runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201007051233/inesct-1.0/cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debian-dudf.log.runsolver ./inesct-1.0 /home/misc2010/data/2010/debian-dudf//cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf /home/misc2010/tmp/201007051233/inesct-1.0/cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debian-dudf.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.06 1.04 1.00 5/34 15939 /proc/meminfo: memFree=749908/1048576 swapFree=2094596/2097144 [pid=15938] ppid=15937 vsize=2384 CPUtime=0 /proc/15938/stat : 15938 (inesct-1.0) S 15937 15938 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 528661323 2441216 260 1283457024 134512640 135191968 4287675376 18446744073709551615 4159609246 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15938/statm: 596 260 222 166 0 28 0 [pid=15939] ppid=15938 vsize=3444 CPUtime=0.01 /proc/15939/stat : 15939 (cudf-solver.py) R 15938 15938 3447 769 3447 4202496 520 0 0 0 1 0 0 0 25 0 1 0 528661323 3526656 430 1283457024 134512640 135539072 4288070752 18446744073709551615 134778251 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/15939/statm: 861 430 275 251 0 162 0 [startup+0.164691 s] /proc/loadavg: 1.06 1.04 1.00 5/34 15939 /proc/meminfo: memFree=749908/1048576 swapFree=2094596/2097144 [pid=15938] ppid=15937 vsize=2384 CPUtime=0 /proc/15938/stat : 15938 (inesct-1.0) S 15937 15938 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 528661323 2441216 260 1283457024 134512640 135191968 4287675376 18446744073709551615 4159609246 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15938/statm: 596 260 222 166 0 28 0 [pid=15939] ppid=15938 vsize=4008 CPUtime=0.01 /proc/15939/stat : 15939 (cudf-solver.py) S 15938 15938 3447 769 3447 4202496 749 0 0 0 1 0 0 0 25 0 1 0 528661323 4104192 644 1283457024 134512640 135539072 4288070752 18446744073709551615 4158728606 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/15939/statm: 1002 644 348 251 0 303 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 6392 [startup+0.204693 s] /proc/loadavg: 1.06 1.04 1.00 5/34 15939 /proc/meminfo: memFree=749908/1048576 swapFree=2094596/2097144 [pid=15938] ppid=15937 vsize=2384 CPUtime=0 /proc/15938/stat : 15938 (inesct-1.0) S 15937 15938 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 528661323 2441216 260 1283457024 134512640 135191968 4287675376 18446744073709551615 4159609246 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15938/statm: 596 260 222 166 0 28 0 [pid=15939] ppid=15938 vsize=4008 CPUtime=0.01 /proc/15939/stat : 15939 (cudf-solver.py) S 15938 15938 3447 769 3447 4202496 749 0 0 0 1 0 0 0 25 0 1 0 528661323 4104192 644 1283457024 134512640 135539072 4288070752 18446744073709551615 4158728606 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/15939/statm: 1002 644 348 251 0 303 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 6392 [startup+0.304707 s] /proc/loadavg: 1.06 1.04 1.00 5/34 15939 /proc/meminfo: memFree=749908/1048576 swapFree=2094596/2097144 [pid=15938] ppid=15937 vsize=2384 CPUtime=0 /proc/15938/stat : 15938 (inesct-1.0) S 15937 15938 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 528661323 2441216 260 1283457024 134512640 135191968 4287675376 18446744073709551615 4159609246 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15938/statm: 596 260 222 166 0 28 0 [pid=15939] ppid=15938 vsize=4008 CPUtime=0.01 /proc/15939/stat : 15939 (cudf-solver.py) S 15938 15938 3447 769 3447 4202496 749 0 0 0 1 0 0 0 25 0 1 0 528661323 4104192 644 1283457024 134512640 135539072 4288070752 18446744073709551615 4158728606 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/15939/statm: 1002 644 348 251 0 303 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 6392 [startup+0.704811 s] /proc/loadavg: 1.06 1.04 1.00 5/34 15939 /proc/meminfo: memFree=749908/1048576 swapFree=2094596/2097144 [pid=15938] ppid=15937 vsize=2384 CPUtime=0 /proc/15938/stat : 15938 (inesct-1.0) S 15937 15938 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 528661323 2441216 260 1283457024 134512640 135191968 4287675376 18446744073709551615 4159609246 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15938/statm: 596 260 222 166 0 28 0 [pid=15939] ppid=15938 vsize=4008 CPUtime=0.01 /proc/15939/stat : 15939 (cudf-solver.py) S 15938 15938 3447 769 3447 4202496 749 0 0 0 1 0 0 0 25 0 1 0 528661323 4104192 644 1283457024 134512640 135539072 4288070752 18446744073709551615 4158728606 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/15939/statm: 1002 644 348 251 0 303 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 6392 [startup+1.515 s] /proc/loadavg: 1.06 1.04 1.00 3/44 15949 /proc/meminfo: memFree=717568/1048576 swapFree=2094596/2097144 [pid=15938] ppid=15937 vsize=2384 CPUtime=0 /proc/15938/stat : 15938 (inesct-1.0) S 15937 15938 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 528661323 2441216 260 1283457024 134512640 135191968 4287675376 18446744073709551615 4159609246 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15938/statm: 596 260 222 166 0 28 0 [pid=15939] ppid=15938 vsize=4008 CPUtime=0.01 /proc/15939/stat : 15939 (cudf-solver.py) S 15938 15938 3447 769 3447 4202496 749 0 0 0 1 0 0 0 25 0 1 0 528661323 4104192 644 1283457024 134512640 135539072 4288070752 18446744073709551615 4158728606 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/15939/statm: 1002 644 348 251 0 303 0 [pid=15941] ppid=15939 vsize=865540 CPUtime=1.5 /proc/15941/stat : 15941 (java) S 15939 15938 3447 769 3447 4202496 15603 0 1 0 143 7 0 0 25 0 9 0 528661324 886312960 14186 1283457024 134512640 134550932 4287941520 18446744073709551615 4160464018 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15941/statm: 216385 14186 2719 10 0 210723 0 [pid=15941/tid=15942] ppid=15939 vsize=865540 CPUtime=1 /proc/15941/task/15942/stat : 15942 (java) R 15939 15938 3447 769 3447 4202560 3312 0 1 0 98 2 0 0 25 0 9 0 528661324 886312960 14186 1283457024 134512640 134550932 4287941520 18446744073709551615 4160488135 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=15941/tid=15943] ppid=15939 vsize=865540 CPUtime=0.41 /proc/15941/task/15943/stat : 15943 (java) R 15939 15938 3447 769 3447 4202560 10749 0 0 0 37 4 0 0 15 0 9 0 528661325 886312960 14186 1283457024 134512640 134550932 4287941520 18446744073709551615 102758168 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=15941/tid=15944] ppid=15939 vsize=865540 CPUtime=0 /proc/15941/task/15944/stat : 15944 (java) S 15939 15938 3447 769 3447 4202560 15 0 0 0 0 0 0 0 15 0 9 0 528661325 886312960 14186 1283457024 134512640 134550932 4287941520 18446744073709551615 4160477424 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=15941/tid=15945] ppid=15939 vsize=865540 CPUtime=0 /proc/15941/task/15945/stat : 15945 (java) S 15939 15938 3447 769 3447 4202560 8 0 0 0 0 0 0 0 18 0 9 0 528661325 886312960 14186 1283457024 134512640 134550932 4287941520 18446744073709551615 4160477424 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=15941/tid=15946] ppid=15939 vsize=865540 CPUtime=0 /proc/15941/task/15946/stat : 15946 (java) S 15939 15938 3447 769 3447 4202560 1 0 0 0 0 0 0 0 25 0 9 0 528661326 886312960 14186 1283457024 134512640 134550932 4287941520 18446744073709551615 4160485712 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=15941/tid=15947] ppid=15939 vsize=865540 CPUtime=0.06 /proc/15941/task/15947/stat : 15947 (java) S 15939 15938 3447 769 3447 4202560 426 0 0 0 6 0 0 0 17 0 9 0 528661326 886312960 14186 1283457024 134512640 134550932 4287941520 18446744073709551615 4160477424 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=15941/tid=15948] ppid=15939 vsize=865540 CPUtime=0 /proc/15941/task/15948/stat : 15948 (java) S 15939 15938 3447 769 3447 4202560 0 0 0 0 0 0 0 0 25 0 9 0 528661326 886312960 14186 1283457024 134512640 134550932 4287941520 18446744073709551615 4160477424 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=15941/tid=15949] ppid=15939 vsize=865540 CPUtime=0 /proc/15941/task/15949/stat : 15949 (java) S 15939 15938 3447 769 3447 4202560 1 0 0 0 0 0 0 0 15 0 9 0 528661326 886312960 14186 1283457024 134512640 134550932 4287941520 18446744073709551615 4160478216 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.51 Current children cumulated vsize (KiB) 871932 [startup+3.11096 s] /proc/loadavg: 1.05 1.03 1.00 2/37 15952 /proc/meminfo: memFree=743904/1048576 swapFree=2094596/2097144 [pid=15938] ppid=15937 vsize=2384 CPUtime=0 /proc/15938/stat : 15938 (inesct-1.0) S 15937 15938 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 528661323 2441216 260 1283457024 134512640 135191968 4287675376 18446744073709551615 4159609246 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15938/statm: 596 260 222 166 0 28 0 [pid=15939] ppid=15938 vsize=4008 CPUtime=2.63 /proc/15939/stat : 15939 (cudf-solver.py) S 15938 15938 3447 769 3447 4202496 807 20084 0 1 1 0 238 24 15 0 1 0 528661323 4104192 644 1283457024 134512640 135539072 4288070752 18446744073709551615 4158728606 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/15939/statm: 1002 644 348 251 0 303 0 Current children cumulated CPU time (s) 2.63 Current children cumulated vsize (KiB) 6392 [startup+6.31151 s] /proc/loadavg: 1.05 1.03 1.00 2/37 15954 /proc/meminfo: memFree=702860/1048576 swapFree=2094596/2097144 [pid=15938] ppid=15937 vsize=2384 CPUtime=0 /proc/15938/stat : 15938 (inesct-1.0) S 15937 15938 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 528661323 2441216 260 1283457024 134512640 135191968 4287675376 18446744073709551615 4159609246 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15938/statm: 596 260 222 166 0 28 0 [pid=15939] ppid=15938 vsize=4008 CPUtime=2.63 /proc/15939/stat : 15939 (cudf-solver.py) S 15938 15938 3447 769 3447 4202496 807 20084 0 1 1 0 238 24 15 0 1 0 528661323 4104192 644 1283457024 134512640 135539072 4288070752 18446744073709551615 4158728606 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/15939/statm: 1002 644 348 251 0 303 0 [pid=15953] ppid=15939 vsize=2900 CPUtime=0.01 /proc/15953/stat : 15953 (sh) S 15939 15938 3447 769 3447 4194304 362 0 0 0 1 0 0 0 15 0 1 0 528661590 2969600 325 1283457024 134512640 135191968 4289517136 18446744073709551615 4158781854 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15953/statm: 725 325 221 166 0 157 0 [pid=15954] ppid=15953 vsize=42328 CPUtime=3.62 /proc/15954/stat : 15954 (msuncore) R 15953 15938 3447 769 3447 4202496 11107 0 0 0 358 4 0 0 25 0 1 0 528661591 43343872 10368 1283457024 134512640 135858300 4294308608 18446744073709551615 135343221 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/15954/statm: 10582 10368 137 329 0 10251 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 51620 [startup+12.713 s] /proc/loadavg: 1.05 1.03 1.00 2/37 15954 /proc/meminfo: memFree=701868/1048576 swapFree=2094596/2097144 [pid=15938] ppid=15937 vsize=2384 CPUtime=0 /proc/15938/stat : 15938 (inesct-1.0) S 15937 15938 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 528661323 2441216 260 1283457024 134512640 135191968 4287675376 18446744073709551615 4159609246 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15938/statm: 596 260 222 166 0 28 0 [pid=15939] ppid=15938 vsize=4008 CPUtime=2.63 /proc/15939/stat : 15939 (cudf-solver.py) S 15938 15938 3447 769 3447 4202496 807 20084 0 1 1 0 238 24 15 0 1 0 528661323 4104192 644 1283457024 134512640 135539072 4288070752 18446744073709551615 4158728606 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/15939/statm: 1002 644 348 251 0 303 0 [pid=15953] ppid=15939 vsize=2900 CPUtime=0.01 /proc/15953/stat : 15953 (sh) S 15939 15938 3447 769 3447 4194304 362 0 0 0 1 0 0 0 15 0 1 0 528661590 2969600 325 1283457024 134512640 135191968 4289517136 18446744073709551615 4158781854 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15953/statm: 725 325 221 166 0 157 0 [pid=15954] ppid=15953 vsize=43228 CPUtime=10.01 /proc/15954/stat : 15954 (msuncore) R 15953 15938 3447 769 3447 4202496 11819 0 0 0 996 5 0 0 25 0 1 0 528661591 44265472 10587 1283457024 134512640 135858300 4294308608 18446744073709551615 134658919 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/15954/statm: 10807 10587 137 329 0 10476 0 Current children cumulated CPU time (s) 12.65 Current children cumulated vsize (KiB) 52520 [startup+25.5064 s] /proc/loadavg: 1.04 1.03 1.00 2/37 15954 /proc/meminfo: memFree=699016/1048576 swapFree=2094596/2097144 [pid=15938] ppid=15937 vsize=2384 CPUtime=0 /proc/15938/stat : 15938 (inesct-1.0) S 15937 15938 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 528661323 2441216 260 1283457024 134512640 135191968 4287675376 18446744073709551615 4159609246 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15938/statm: 596 260 222 166 0 28 0 [pid=15939] ppid=15938 vsize=4008 CPUtime=2.63 /proc/15939/stat : 15939 (cudf-solver.py) S 15938 15938 3447 769 3447 4202496 807 20084 0 1 1 0 238 24 15 0 1 0 528661323 4104192 644 1283457024 134512640 135539072 4288070752 18446744073709551615 4158728606 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/15939/statm: 1002 644 348 251 0 303 0 [pid=15953] ppid=15939 vsize=2900 CPUtime=0.01 /proc/15953/stat : 15953 (sh) S 15939 15938 3447 769 3447 4194304 362 0 0 0 1 0 0 0 15 0 1 0 528661590 2969600 325 1283457024 134512640 135191968 4289517136 18446744073709551615 4158781854 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15953/statm: 725 325 221 166 0 157 0 [pid=15954] ppid=15953 vsize=46360 CPUtime=22.8 /proc/15954/stat : 15954 (msuncore) R 15953 15938 3447 769 3447 4202496 13284 0 0 0 2274 6 0 0 25 0 1 0 528661591 47472640 11366 1283457024 134512640 135858300 4294308608 18446744073709551615 134658791 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/15954/statm: 11590 11366 137 329 0 11259 0 Current children cumulated CPU time (s) 25.44 Current children cumulated vsize (KiB) 55652 Solver just ended. Dumping a history of the last processes samples [startup+25.6064 s] /proc/loadavg: 1.04 1.03 1.00 2/37 15954 /proc/meminfo: memFree=699016/1048576 swapFree=2094596/2097144 [pid=15938] ppid=15937 vsize=2384 CPUtime=0 /proc/15938/stat : 15938 (inesct-1.0) S 15937 15938 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 528661323 2441216 260 1283457024 134512640 135191968 4287675376 18446744073709551615 4159609246 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15938/statm: 596 260 222 166 0 28 0 [pid=15939] ppid=15938 vsize=4008 CPUtime=2.63 /proc/15939/stat : 15939 (cudf-solver.py) S 15938 15938 3447 769 3447 4202496 807 20084 0 1 1 0 238 24 15 0 1 0 528661323 4104192 644 1283457024 134512640 135539072 4288070752 18446744073709551615 4158728606 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/15939/statm: 1002 644 348 251 0 303 0 [pid=15953] ppid=15939 vsize=2900 CPUtime=0.01 /proc/15953/stat : 15953 (sh) S 15939 15938 3447 769 3447 4194304 362 0 0 0 1 0 0 0 15 0 1 0 528661590 2969600 325 1283457024 134512640 135191968 4289517136 18446744073709551615 4158781854 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15953/statm: 725 325 221 166 0 157 0 [pid=15954] ppid=15953 vsize=46360 CPUtime=22.9 /proc/15954/stat : 15954 (msuncore) R 15953 15938 3447 769 3447 4202496 13284 0 0 0 2284 6 0 0 25 0 1 0 528661591 47472640 11366 1283457024 134512640 135858300 4294308608 18446744073709551615 134663726 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/15954/statm: 11590 11366 137 329 0 11259 0 Current children cumulated CPU time (s) 25.54 Current children cumulated vsize (KiB) 55652 [startup+32.0074 s] /proc/loadavg: 1.03 1.03 1.00 2/37 15954 /proc/meminfo: memFree=699016/1048576 swapFree=2094596/2097144 [pid=15938] ppid=15937 vsize=2384 CPUtime=0 /proc/15938/stat : 15938 (inesct-1.0) S 15937 15938 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 528661323 2441216 260 1283457024 134512640 135191968 4287675376 18446744073709551615 4159609246 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15938/statm: 596 260 222 166 0 28 0 [pid=15939] ppid=15938 vsize=4008 CPUtime=2.63 /proc/15939/stat : 15939 (cudf-solver.py) S 15938 15938 3447 769 3447 4202496 807 20084 0 1 1 0 238 24 15 0 1 0 528661323 4104192 644 1283457024 134512640 135539072 4288070752 18446744073709551615 4158728606 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/15939/statm: 1002 644 348 251 0 303 0 [pid=15953] ppid=15939 vsize=2900 CPUtime=0.01 /proc/15953/stat : 15953 (sh) S 15939 15938 3447 769 3447 4194304 362 0 0 0 1 0 0 0 15 0 1 0 528661590 2969600 325 1283457024 134512640 135191968 4289517136 18446744073709551615 4158781854 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15953/statm: 725 325 221 166 0 157 0 [pid=15954] ppid=15953 vsize=46360 CPUtime=29.3 /proc/15954/stat : 15954 (msuncore) R 15953 15938 3447 769 3447 4202496 13284 0 0 0 2924 6 0 0 25 0 1 0 528661591 47472640 11366 1283457024 134512640 135858300 4294308608 18446744073709551615 134657269 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/15954/statm: 11590 11366 137 329 0 11259 0 Current children cumulated CPU time (s) 31.94 Current children cumulated vsize (KiB) 55652 [startup+33.6079 s] /proc/loadavg: 1.03 1.03 1.00 2/37 15954 /proc/meminfo: memFree=699016/1048576 swapFree=2094596/2097144 [pid=15938] ppid=15937 vsize=2384 CPUtime=0 /proc/15938/stat : 15938 (inesct-1.0) S 15937 15938 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 528661323 2441216 260 1283457024 134512640 135191968 4287675376 18446744073709551615 4159609246 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15938/statm: 596 260 222 166 0 28 0 [pid=15939] ppid=15938 vsize=4008 CPUtime=2.63 /proc/15939/stat : 15939 (cudf-solver.py) S 15938 15938 3447 769 3447 4202496 807 20084 0 1 1 0 238 24 15 0 1 0 528661323 4104192 644 1283457024 134512640 135539072 4288070752 18446744073709551615 4158728606 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/15939/statm: 1002 644 348 251 0 303 0 [pid=15953] ppid=15939 vsize=2900 CPUtime=0.01 /proc/15953/stat : 15953 (sh) S 15939 15938 3447 769 3447 4194304 362 0 0 0 1 0 0 0 15 0 1 0 528661590 2969600 325 1283457024 134512640 135191968 4289517136 18446744073709551615 4158781854 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15953/statm: 725 325 221 166 0 157 0 [pid=15954] ppid=15953 vsize=46360 CPUtime=30.89 /proc/15954/stat : 15954 (msuncore) R 15953 15938 3447 769 3447 4202496 13284 0 0 0 3083 6 0 0 25 0 1 0 528661591 47472640 11366 1283457024 134512640 135858300 4294308608 18446744073709551615 134626508 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/15954/statm: 11590 11366 137 329 0 11259 0 Current children cumulated CPU time (s) 33.53 Current children cumulated vsize (KiB) 55652 [startup+34.408 s] /proc/loadavg: 1.03 1.03 1.00 2/37 15954 /proc/meminfo: memFree=699016/1048576 swapFree=2094596/2097144 [pid=15938] ppid=15937 vsize=2384 CPUtime=0 /proc/15938/stat : 15938 (inesct-1.0) S 15937 15938 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 528661323 2441216 260 1283457024 134512640 135191968 4287675376 18446744073709551615 4159609246 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15938/statm: 596 260 222 166 0 28 0 [pid=15939] ppid=15938 vsize=4008 CPUtime=2.63 /proc/15939/stat : 15939 (cudf-solver.py) S 15938 15938 3447 769 3447 4202496 807 20084 0 1 1 0 238 24 15 0 1 0 528661323 4104192 644 1283457024 134512640 135539072 4288070752 18446744073709551615 4158728606 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/15939/statm: 1002 644 348 251 0 303 0 [pid=15953] ppid=15939 vsize=2900 CPUtime=0.01 /proc/15953/stat : 15953 (sh) S 15939 15938 3447 769 3447 4194304 362 0 0 0 1 0 0 0 15 0 1 0 528661590 2969600 325 1283457024 134512640 135191968 4289517136 18446744073709551615 4158781854 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15953/statm: 725 325 221 166 0 157 0 [pid=15954] ppid=15953 vsize=46360 CPUtime=31.69 /proc/15954/stat : 15954 (msuncore) R 15953 15938 3447 769 3447 4202496 13284 0 0 0 3163 6 0 0 25 0 1 0 528661591 47472640 11366 1283457024 134512640 135858300 4294308608 18446744073709551615 134626804 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/15954/statm: 11590 11366 137 329 0 11259 0 Current children cumulated CPU time (s) 34.33 Current children cumulated vsize (KiB) 55652 [startup+34.8081 s] /proc/loadavg: 1.03 1.03 1.00 2/37 15954 /proc/meminfo: memFree=699016/1048576 swapFree=2094596/2097144 [pid=15938] ppid=15937 vsize=2384 CPUtime=0 /proc/15938/stat : 15938 (inesct-1.0) S 15937 15938 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 528661323 2441216 260 1283457024 134512640 135191968 4287675376 18446744073709551615 4159609246 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15938/statm: 596 260 222 166 0 28 0 [pid=15939] ppid=15938 vsize=4008 CPUtime=2.63 /proc/15939/stat : 15939 (cudf-solver.py) S 15938 15938 3447 769 3447 4202496 807 20084 0 1 1 0 238 24 15 0 1 0 528661323 4104192 644 1283457024 134512640 135539072 4288070752 18446744073709551615 4158728606 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/15939/statm: 1002 644 348 251 0 303 0 [pid=15953] ppid=15939 vsize=2900 CPUtime=0.01 /proc/15953/stat : 15953 (sh) S 15939 15938 3447 769 3447 4194304 362 0 0 0 1 0 0 0 15 0 1 0 528661590 2969600 325 1283457024 134512640 135191968 4289517136 18446744073709551615 4158781854 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15953/statm: 725 325 221 166 0 157 0 [pid=15954] ppid=15953 vsize=46360 CPUtime=32.09 /proc/15954/stat : 15954 (msuncore) R 15953 15938 3447 769 3447 4202496 13284 0 0 0 3203 6 0 0 25 0 1 0 528661591 47472640 11366 1283457024 134512640 135858300 4294308608 18446744073709551615 134626443 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/15954/statm: 11590 11366 137 329 0 11259 0 Current children cumulated CPU time (s) 34.73 Current children cumulated vsize (KiB) 55652 [startup+35.0082 s] /proc/loadavg: 1.03 1.03 1.00 2/37 15954 /proc/meminfo: memFree=699016/1048576 swapFree=2094596/2097144 [pid=15938] ppid=15937 vsize=2384 CPUtime=0 /proc/15938/stat : 15938 (inesct-1.0) S 15937 15938 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 528661323 2441216 260 1283457024 134512640 135191968 4287675376 18446744073709551615 4159609246 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15938/statm: 596 260 222 166 0 28 0 [pid=15939] ppid=15938 vsize=4008 CPUtime=2.63 /proc/15939/stat : 15939 (cudf-solver.py) S 15938 15938 3447 769 3447 4202496 807 20084 0 1 1 0 238 24 15 0 1 0 528661323 4104192 644 1283457024 134512640 135539072 4288070752 18446744073709551615 4158728606 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/15939/statm: 1002 644 348 251 0 303 0 [pid=15953] ppid=15939 vsize=2900 CPUtime=0.01 /proc/15953/stat : 15953 (sh) S 15939 15938 3447 769 3447 4194304 362 0 0 0 1 0 0 0 15 0 1 0 528661590 2969600 325 1283457024 134512640 135191968 4289517136 18446744073709551615 4158781854 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15953/statm: 725 325 221 166 0 157 0 [pid=15954] ppid=15953 vsize=46360 CPUtime=32.29 /proc/15954/stat : 15954 (msuncore) R 15953 15938 3447 769 3447 4202496 13284 0 0 0 3223 6 0 0 25 0 1 0 528661591 47472640 11366 1283457024 134512640 135858300 4294308608 18446744073709551615 134670986 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/15954/statm: 11590 11366 137 329 0 11259 0 Current children cumulated CPU time (s) 34.93 Current children cumulated vsize (KiB) 55652 [startup+35.1282 s] /proc/loadavg: 1.03 1.03 1.00 2/37 15954 /proc/meminfo: memFree=699016/1048576 swapFree=2094596/2097144 [pid=15938] ppid=15937 vsize=2384 CPUtime=0 /proc/15938/stat : 15938 (inesct-1.0) S 15937 15938 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 528661323 2441216 260 1283457024 134512640 135191968 4287675376 18446744073709551615 4159609246 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15938/statm: 596 260 222 166 0 28 0 [pid=15939] ppid=15938 vsize=8008 CPUtime=35.06 /proc/15939/stat : 15939 (cudf-solver.py) R 15938 15938 3447 769 3447 4202496 2027 33753 0 1 9 0 3466 31 15 0 1 0 528661323 8200192 1654 1283457024 134512640 135539072 4288070752 18446744073709551615 135043630 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/15939/statm: 2002 1654 348 251 0 1303 0 Current children cumulated CPU time (s) 35.06 Current children cumulated vsize (KiB) 10392 Child status: 0 Real time (s): 35.1956 CPU time (s): 35.1262 CPU user time (s): 34.8062 CPU system time (s): 0.32002 CPU usage (%): 99.8027 Max. virtual memory (cumulated for all children) (KiB): 872252 getrusage(RUSAGE_CHILDREN,...) data: user time used= 34.8062 system time used= 0.32002 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 37722 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1307 involuntary context switches= 1683 runsolver used 0 second user time and 0 second system time The end