runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3317254-1304268521/watcher-3317254-1304268521 -o /tmp/evaluation-result-3317254-1304268521/solver-3317254-1304268521 -C 4800 -W 1300 -M 15500 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3317254-1304268521.cnf -seed 979871631 -budget 4800 -cores 4
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 8.27 8.04 5.91 5/234 13999
/proc/meminfo: memFree=29428232/32951124 swapFree=67111516/67111528
[pid=13999] ppid=13997 vsize=15384 CPUtime=0 cores=0,2,4,6
/proc/13999/stat : 13999 (python) S 13997 13999 13600 0 -1 4202496 795 0 0 0 0 0 0 0 25 0 1 0 538453038 15753216 682 33554432000 4194304 5683644 140735164390720 18446744073709551615 270613108736 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/13999/statm: 3846 682 322 364 0 333 0
[startup+0.107186 s]
/proc/loadavg: 8.27 8.04 5.91 5/234 13999
/proc/meminfo: memFree=29428232/32951124 swapFree=67111516/67111528
[pid=13999] ppid=13997 vsize=93960 CPUtime=0.05 cores=0,2,4,6
/proc/13999/stat : 13999 (python) S 13997 13999 13600 0 -1 4202496 2696 0 0 0 4 1 0 0 25 0 1 0 538453038 96215040 2407 33554432000 4194304 5683644 140735164390720 18446744073709551615 270613108736 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/13999/statm: 23490 2407 764 364 0 1622 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 93960
[startup+0.201059 s]
/proc/loadavg: 8.27 8.04 5.91 5/234 13999
/proc/meminfo: memFree=29428232/32951124 swapFree=67111516/67111528
[pid=13999] ppid=13997 vsize=124072 CPUtime=0.09 cores=0,2,4,6
/proc/13999/stat : 13999 (python) R 13997 13999 13600 0 -1 4202496 4233 0 1 0 7 2 0 0 25 0 1 0 538453038 127049728 3843 33554432000 4194304 5683644 140735164390720 18446744073709551615 5213754 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/13999/statm: 31018 3843 991 364 0 2829 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 124072
[startup+0.301052 s]
/proc/loadavg: 8.27 8.04 5.91 5/234 13999
/proc/meminfo: memFree=29428232/32951124 swapFree=67111516/67111528
[pid=13999] ppid=13997 vsize=135752 CPUtime=0.15 cores=0,2,4,6
/proc/13999/stat : 13999 (python) S 13997 13999 13600 0 -1 4202496 5966 935 1 0 12 3 0 0 17 0 1 0 538453038 139010048 4152 33554432000 4194304 5683644 140735164390720 18446744073709551615 270613108736 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/13999/statm: 33938 4152 1032 364 0 3124 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 135752
[startup+0.705999 s]
/proc/loadavg: 8.27 8.04 5.91 5/234 13999
/proc/meminfo: memFree=29428232/32951124 swapFree=67111516/67111528
[pid=13999] ppid=13997 vsize=278480 CPUtime=0.37 cores=0,2,4,6
/proc/13999/stat : 13999 (python) R 13997 13999 13600 0 -1 4202496 9367 935 1 0 30 7 0 0 16 0 1 0 538453038 285163520 7033 33554432000 4194304 5683644 140735164390720 18446744073709551615 4620076 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/13999/statm: 69620 7033 1826 364 0 5544 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 278480
[startup+1.50081 s]
/proc/loadavg: 8.09 8.01 5.91 9/247 14016
/proc/meminfo: memFree=29388428/32951124 swapFree=67111516/67111528
[pid=13999] ppid=13997 vsize=320272 CPUtime=0.56 cores=0,2,4,6
/proc/13999/stat : 13999 (python) S 13997 13999 13600 0 -1 4202496 12353 935 1 0 48 8 0 0 22 0 5 0 538453038 327958528 7265 33554432000 4194304 5683644 140735164390720 18446744073709551615 270624937419 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13999/statm: 80068 7265 1881 364 0 15977 0
[pid=14005] ppid=13999 vsize=278636 CPUtime=0 cores=0,2,4,6
/proc/14005/stat : 14005 (python) S 13999 13999 13600 0 -1 4202560 740 0 0 0 0 0 0 0 18 0 1 0 538453119 285323264 5576 33554432000 4194304 5683644 140735164390720 18446744073709551615 270613130767 0 0 16781312 514 10337585238900735999 0 0 17 0 0 0 0
/proc/14005/statm: 69659 5576 354 364 0 5577 0
[pid=14007] ppid=14005 vsize=1017940 CPUtime=0.68 cores=0,2,4,6
/proc/14007/stat : 14007 (gnovelty+2) R 14005 14007 14007 0 -1 4202496 458 0 0 0 68 0 0 0 21 0 1 0 538453119 1042370560 192 33554432000 134512640 135663704 4292408368 18446744073709551615 134524509 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/14007/statm: 254485 192 113 282 0 254201 0
[pid=14008] ppid=13999 vsize=289416 CPUtime=0 cores=0,2,4,6
/proc/14008/stat : 14008 (python) S 13999 13999 13600 0 -1 4202560 746 0 0 0 0 0 0 0 15 0 1 0 538453122 296361984 5712 33554432000 4194304 5683644 140735164390720 18446744073709551615 270613130822 0 0 16781312 514 15285137974753198337 0 0 17 4 0 0 0
/proc/14008/statm: 72354 5712 348 364 0 8269 0
[pid=14010] ppid=14008 vsize=2736 CPUtime=0.64 cores=0,2,4,6
/proc/14010/stat : 14010 (march_hi) R 14008 14010 14010 0 -1 4202496 751 0 0 0 64 0 0 0 25 0 1 0 538453122 2801664 489 33554432000 4194304 4955518 140734193201936 18446744073709551615 4224642 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/14010/statm: 684 489 104 186 0 497 0
[pid=14011] ppid=13999 vsize=299332 CPUtime=0 cores=0,2,4,6
/proc/14011/stat : 14011 (python) S 13999 13999 13600 0 -1 4202560 740 0 0 0 0 0 0 0 19 0 1 0 538453125 306515968 5616 33554432000 4194304 5683644 140735164390720 18446744073709551615 270613130822 0 0 16781312 514 14181400374035873791 0 0 17 0 0 0 0
/proc/14011/statm: 74833 5616 348 364 0 10745 0
[pid=14013] ppid=14011 vsize=1017940 CPUtime=0.62 cores=0,2,4,6
/proc/14013/stat : 14013 (gnovelty+2) R 14011 14013 14013 0 -1 4202496 456 0 0 0 62 0 0 0 22 0 1 0 538453125 1042370560 191 33554432000 134512640 135663704 4289997616 18446744073709551615 134525529 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/14013/statm: 254485 191 113 282 0 254201 0
[pid=14014] ppid=13999 vsize=310028 CPUtime=0 cores=0,2,4,6
/proc/14014/stat : 14014 (python) S 13999 13999 13600 0 -1 4202560 765 0 0 0 0 0 0 0 16 0 1 0 538453128 317468672 5728 33554432000 4194304 5683644 140735164390720 18446744073709551615 270613130822 0 0 16781312 514 11999638901284110593 0 0 17 4 0 0 0
/proc/14014/statm: 77507 5728 348 364 0 13416 0
[pid=14016] ppid=14014 vsize=2736 CPUtime=0.58 cores=0,2,4,6
/proc/14016/stat : 14016 (march_hi) R 14014 14016 14016 0 -1 4202496 752 0 0 0 58 0 0 0 25 0 1 0 538453128 2801664 487 33554432000 4194304 4955518 140736576738224 18446744073709551615 4227917 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/14016/statm: 684 487 104 186 0 497 0
[pid=13999/tid=14006] ppid=13997 vsize=320272 CPUtime=0 cores=0,2,4,6
/proc/13999/task/14006/stat : 14006 (python) S 13997 13999 13600 0 -1 4202560 26 935 0 0 0 0 0 0 18 0 5 0 538453119 327958528 7265 33554432000 4194304 5683644 140735164390720 18446744073709551615 270624934321 0 0 16781312 2 18446604453925558272 0 0 -1 6 0 0 0
[pid=13999/tid=14009] ppid=13997 vsize=320272 CPUtime=0 cores=0,2,4,6
/proc/13999/task/14009/stat : 14009 (python) S 13997 13999 13600 0 -1 4202560 21 935 0 0 0 0 0 0 20 0 5 0 538453122 327958528 7265 33554432000 4194304 5683644 140735164390720 18446744073709551615 270624934321 0 0 16781312 2 18446604453925558272 0 0 -1 6 0 0 0
[pid=13999/tid=14012] ppid=13997 vsize=320272 CPUtime=0 cores=0,2,4,6
/proc/13999/task/14012/stat : 14012 (python) S 13997 13999 13600 0 -1 4202560 19 935 0 0 0 0 0 0 20 0 5 0 538453125 327958528 7265 33554432000 4194304 5683644 140735164390720 18446744073709551615 270624934321 0 0 16781312 2 18446604453925558272 0 0 -1 0 0 0 0
[pid=13999/tid=14015] ppid=13997 vsize=320272 CPUtime=0 cores=0,2,4,6
/proc/13999/task/14015/stat : 14015 (python) S 13997 13999 13600 0 -1 4202560 26 935 0 0 0 0 0 0 22 0 5 0 538453128 327958528 7265 33554432000 4194304 5683644 140735164390720 18446744073709551615 270624934321 0 0 16781312 2 18446604453925558272 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 3539036
[startup+3.10053 s]
/proc/loadavg: 8.09 8.01 5.91 9/247 14016
/proc/meminfo: memFree=29387188/32951124 swapFree=67111516/67111528
[pid=13999] ppid=13997 vsize=320272 CPUtime=0.56 cores=0,2,4,6
/proc/13999/stat : 13999 (python) S 13997 13999 13600 0 -1 4202496 12353 935 1 0 48 8 0 0 22 0 5 0 538453038 327958528 7265 33554432000 4194304 5683644 140735164390720 18446744073709551615 270624937419 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13999/statm: 80068 7265 1881 364 0 15977 0
[pid=14005] ppid=13999 vsize=278636 CPUtime=0 cores=0,2,4,6
/proc/14005/stat : 14005 (python) S 13999 13999 13600 0 -1 4202560 740 0 0 0 0 0 0 0 18 0 1 0 538453119 285323264 5576 33554432000 4194304 5683644 140735164390720 18446744073709551615 270613130767 0 0 16781312 514 10337585238900703491 0 0 17 0 0 0 0
/proc/14005/statm: 69659 5576 354 364 0 5577 0
[pid=14007] ppid=14005 vsize=1017940 CPUtime=2.28 cores=0,2,4,6
/proc/14007/stat : 14007 (gnovelty+2) R 14005 14007 14007 0 -1 4202496 458 0 0 0 228 0 0 0 25 0 1 0 538453119 1042370560 192 33554432000 134512640 135663704 4292408368 18446744073709551615 134544259 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/14007/statm: 254485 192 113 282 0 254201 0
[pid=14008] ppid=13999 vsize=289416 CPUtime=0 cores=0,2,4,6
/proc/14008/stat : 14008 (python) S 13999 13999 13600 0 -1 4202560 750 0 0 0 0 0 0 0 15 0 1 0 538453122 296361984 5712 33554432000 4194304 5683644 140735164390720 18446744073709551615 270613130822 0 0 16781312 514 15285137974753198337 0 0 17 4 0 0 0
/proc/14008/statm: 72354 5712 348 364 0 8269 0
[pid=14010] ppid=14008 vsize=3056 CPUtime=2.24 cores=0,2,4,6
/proc/14010/stat : 14010 (march_hi) R 14008 14010 14010 0 -1 4202496 814 0 0 0 224 0 0 0 25 0 1 0 538453122 3129344 552 33554432000 4194304 4955518 140734193201936 18446744073709551615 4238703 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/14010/statm: 764 552 104 186 0 577 0
[pid=14011] ppid=13999 vsize=299332 CPUtime=0 cores=0,2,4,6
/proc/14011/stat : 14011 (python) S 13999 13999 13600 0 -1 4202560 740 0 0 0 0 0 0 0 18 0 1 0 538453125 306515968 5616 33554432000 4194304 5683644 140735164390720 18446744073709551615 270613130822 0 0 16781312 514 14181400374035841283 0 0 17 0 0 0 0
/proc/14011/statm: 74833 5616 348 364 0 10745 0
[pid=14013] ppid=14011 vsize=1017940 CPUtime=2.22 cores=0,2,4,6
/proc/14013/stat : 14013 (gnovelty+2) R 14011 14013 14013 0 -1 4202496 456 0 0 0 222 0 0 0 25 0 1 0 538453125 1042370560 191 33554432000 134512640 135663704 4289997616 18446744073709551615 134546752 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/14013/statm: 254485 191 113 282 0 254201 0
[pid=14014] ppid=13999 vsize=310028 CPUtime=0 cores=0,2,4,6
/proc/14014/stat : 14014 (python) S 13999 13999 13600 0 -1 4202560 767 0 0 0 0 0 0 0 15 0 1 0 538453128 317468672 5728 33554432000 4194304 5683644 140735164390720 18446744073709551615 270613130822 0 0 16781312 514 11999638901284110593 0 0 17 4 0 0 0
/proc/14014/statm: 77507 5728 348 364 0 13416 0
[pid=14016] ppid=14014 vsize=3056 CPUtime=2.18 cores=0,2,4,6
/proc/14016/stat : 14016 (march_hi) R 14014 14016 14016 0 -1 4202496 815 0 0 0 218 0 0 0 25 0 1 0 538453128 3129344 550 33554432000 4194304 4955518 140736576738224 18446744073709551615 4307000 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/14016/statm: 764 550 104 186 0 577 0
[pid=13999/tid=14006] ppid=13997 vsize=320272 CPUtime=0 cores=0,2,4,6
/proc/13999/task/14006/stat : 14006 (python) S 13997 13999 13600 0 -1 4202560 26 935 0 0 0 0 0 0 18 0 5 0 538453119 327958528 7265 33554432000 4194304 5683644 140735164390720 18446744073709551615 270624934321 0 0 16781312 2 18446604453925558272 0 0 -1 6 0 0 0
[pid=13999/tid=14009] ppid=13997 vsize=320272 CPUtime=0 cores=0,2,4,6
/proc/13999/task/14009/stat : 14009 (python) S 13997 13999 13600 0 -1 4202560 21 935 0 0 0 0 0 0 20 0 5 0 538453122 327958528 7265 33554432000 4194304 5683644 140735164390720 18446744073709551615 270624934321 0 0 16781312 2 18446604453925558272 0 0 -1 6 0 0 0
[pid=13999/tid=14012] ppid=13997 vsize=320272 CPUtime=0 cores=0,2,4,6
/proc/13999/task/14012/stat : 14012 (python) S 13997 13999 13600 0 -1 4202560 19 935 0 0 0 0 0 0 20 0 5 0 538453125 327958528 7265 33554432000 4194304 5683644 140735164390720 18446744073709551615 270624934321 0 0 16781312 2 18446604453925558272 0 0 -1 0 0 0 0
[pid=13999/tid=14015] ppid=13997 vsize=320272 CPUtime=0 cores=0,2,4,6
/proc/13999/task/14015/stat : 14015 (python) S 13997 13999 13600 0 -1 4202560 26 935 0 0 0 0 0 0 22 0 5 0 538453128 327958528 7265 33554432000 4194304 5683644 140735164390720 18446744073709551615 270624934321 0 0 16781312 2 18446604453925558272 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 9.48
Current children cumulated vsize (KiB) 3539676
[startup+6.30096 s]
/proc/loadavg: 8.09 8.01 5.91 9/247 14016
/proc/meminfo: memFree=29384100/32951124 swapFree=67111516/67111528
[pid=13999] ppid=13997 vsize=320272 CPUtime=0.56 cores=0,2,4,6
/proc/13999/stat : 13999 (python) S 13997 13999 13600 0 -1 4202496 12353 935 1 0 48 8 0 0 22 0 5 0 538453038 327958528 7265 33554432000 4194304 5683644 140735164390720 18446744073709551615 270624937419 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13999/statm: 80068 7265 1881 364 0 15977 0
[pid=14005] ppid=13999 vsize=278636 CPUtime=0 cores=0,2,4,6
/proc/14005/stat : 14005 (python) S 13999 13999 13600 0 -1 4202560 897 0 0 0 0 0 0 0 18 0 1 0 538453119 285323264 5598 33554432000 4194304 5683644 140735164390720 18446744073709551615 270613130767 0 0 16781312 514 10337585238900703491 0 0 17 0 0 0 0
/proc/14005/statm: 69659 5598 376 364 0 5577 0
[pid=14007] ppid=14005 vsize=1017940 CPUtime=5.46 cores=0,2,4,6
/proc/14007/stat : 14007 (gnovelty+2) R 14005 14007 14007 0 -1 4202496 458 0 0 0 546 0 0 0 25 0 1 0 538453119 1042370560 192 33554432000 134512640 135663704 4292408368 18446744073709551615 134524548 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/14007/statm: 254485 192 113 282 0 254201 0
[pid=14008] ppid=13999 vsize=289416 CPUtime=0 cores=0,2,4,6
/proc/14008/stat : 14008 (python) S 13999 13999 13600 0 -1 4202560 898 0 0 0 0 0 0 0 15 0 1 0 538453122 296361984 5735 33554432000 4194304 5683644 140735164390720 18446744073709551615 270613130822 0 0 16781312 514 15285137974753198337 0 0 17 4 0 0 0
/proc/14008/statm: 72354 5735 371 364 0 8269 0
[pid=14010] ppid=14008 vsize=3772 CPUtime=5.42 cores=0,2,4,6
/proc/14010/stat : 14010 (march_hi) R 14008 14010 14010 0 -1 4202496 958 0 0 0 542 0 0 0 25 0 1 0 538453122 3862528 696 33554432000 4194304 4955518 140734193201936 18446744073709551615 4229245 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/14010/statm: 943 696 104 186 0 756 0
[pid=14011] ppid=13999 vsize=299332 CPUtime=0 cores=0,2,4,6
/proc/14011/stat : 14011 (python) S 13999 13999 13600 0 -1 4202560 898 0 0 0 0 0 0 0 18 0 1 0 538453125 306515968 5639 33554432000 4194304 5683644 140735164390720 18446744073709551615 270613130822 0 0 16781312 514 14181400374035841283 0 0 17 0 0 0 0
/proc/14011/statm: 74833 5639 371 364 0 10745 0
[pid=14013] ppid=14011 vsize=1017940 CPUtime=5.42 cores=0,2,4,6
/proc/14013/stat : 14013 (gnovelty+2) R 14011 14013 14013 0 -1 4202496 456 0 0 0 542 0 0 0 25 0 1 0 538453125 1042370560 191 33554432000 134512640 135663704 4289997616 18446744073709551615 134546267 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/14013/statm: 254485 191 113 282 0 254201 0
[pid=14014] ppid=13999 vsize=310028 CPUtime=0 cores=0,2,4,6
/proc/14014/stat : 14014 (python) S 13999 13999 13600 0 -1 4202560 916 0 0 0 0 0 0 0 15 0 1 0 538453128 317468672 5751 33554432000 4194304 5683644 140735164390720 18446744073709551615 270613130822 0 0 16781312 514 11999638901284110593 0 0 17 4 0 0 0
/proc/14014/statm: 77507 5751 371 364 0 13416 0
[pid=14016] ppid=14014 vsize=3772 CPUtime=5.35 cores=0,2,4,6
/proc/14016/stat : 14016 (march_hi) R 14014 14016 14016 0 -1 4202496 958 0 0 0 535 0 0 0 25 0 1 0 538453128 3862528 693 33554432000 4194304 4955518 140736576738224 18446744073709551615 4227814 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/14016/statm: 943 693 104 186 0 756 0
[pid=13999/tid=14006] ppid=13997 vsize=320272 CPUtime=0 cores=0,2,4,6
/proc/13999/task/14006/stat : 14006 (python) S 13997 13999 13600 0 -1 4202560 26 935 0 0 0 0 0 0 18 0 5 0 538453119 327958528 7265 33554432000 4194304 5683644 140735164390720 18446744073709551615 270624934321 0 0 16781312 2 18446604453925558272 0 0 -1 6 0 0 0
[pid=13999/tid=14009] ppid=13997 vsize=320272 CPUtime=0 cores=0,2,4,6
/proc/13999/task/14009/stat : 14009 (python) S 13997 13999 13600 0 -1 4202560 21 935 0 0 0 0 0 0 20 0 5 0 538453122 327958528 7265 33554432000 4194304 5683644 140735164390720 18446744073709551615 270624934321 0 0 16781312 2 18446604453925558272 0 0 -1 6 0 0 0
[pid=13999/tid=14012] ppid=13997 vsize=320272 CPUtime=0 cores=0,2,4,6
/proc/13999/task/14012/stat : 14012 (python) S 13997 13999 13600 0 -1 4202560 19 935 0 0 0 0 0 0 20 0 5 0 538453125 327958528 7265 33554432000 4194304 5683644 140735164390720 18446744073709551615 270624934321 0 0 16781312 2 18446604453925558272 0 0 -1 0 0 0 0
[pid=13999/tid=14015] ppid=13997 vsize=320272 CPUtime=0 cores=0,2,4,6
/proc/13999/task/14015/stat : 14015 (python) S 13997 13999 13600 0 -1 4202560 26 935 0 0 0 0 0 0 22 0 5 0 538453128 327958528 7265 33554432000 4194304 5683644 140735164390720 18446744073709551615 270624934321 0 0 16781312 2 18446604453925558272 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 22.21
Current children cumulated vsize (KiB) 3541108
[startup+12.7008 s]
/proc/loadavg: 8.07 8.01 5.93 9/247 14017
/proc/meminfo: memFree=29381940/32951124 swapFree=67111516/67111528
[pid=13999] ppid=13997 vsize=320272 CPUtime=0.56 cores=0,2,4,6
/proc/13999/stat : 13999 (python) S 13997 13999 13600 0 -1 4202496 12353 935 1 0 48 8 0 0 22 0 5 0 538453038 327958528 7265 33554432000 4194304 5683644 140735164390720 18446744073709551615 270624937419 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13999/statm: 80068 7265 1881 364 0 15977 0
[pid=14005] ppid=13999 vsize=278636 CPUtime=0.01 cores=0,2,4,6
/proc/14005/stat : 14005 (python) S 13999 13999 13600 0 -1 4202560 902 0 0 0 1 0 0 0 18 0 1 0 538453119 285323264 5599 33554432000 4194304 5683644 140735164390720 18446744073709551615 270613130767 0 0 16781312 514 11938796321554530563 0 0 17 0 0 0 0
/proc/14005/statm: 69659 5599 377 364 0 5577 0
[pid=14007] ppid=14005 vsize=1017940 CPUtime=11.84 cores=0,2,4,6
/proc/14007/stat : 14007 (gnovelty+2) R 14005 14007 14007 0 -1 4202496 458 0 0 0 1184 0 0 0 25 0 1 0 538453119 1042370560 192 33554432000 134512640 135663704 4292408368 18446744073709551615 134546768 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/14007/statm: 254485 192 113 282 0 254201 0
[pid=14008] ppid=13999 vsize=289416 CPUtime=0.02 cores=0,2,4,6
################
# More data... #
################
/proc/14016/stat : 14016 (march_hi) R 14014 14016 14016 0 -1 4202496 35267 0 0 0 100756 11 0 0 25 0 1 0 538453128 177745920 35002 33554432000 4194304 4955518 140736576738224 18446744073709551615 4314200 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/14016/statm: 43395 35002 104 186 0 43208 0
[pid=14014/tid=14049] ppid=13999 vsize=310028 CPUtime=0 cores=0,2,4,6
/proc/14014/task/14049/stat : 14049 (python) S 13999 13999 13600 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 2 0 538492543 317468672 5781 33554432000 4194304 5683644 140735164390720 18446744073709551615 270624934321 0 0 16781312 514 18446604453715626816 0 0 -1 4 0 0 0
[pid=14021] ppid=13999 vsize=320284 CPUtime=1.4 cores=0,2,4,6
/proc/14021/stat : 14021 (python) S 13999 13999 13600 0 -1 4202560 1174 0 0 0 76 64 0 0 15 0 2 0 538463135 327970816 5785 33554432000 4194304 5683644 140735164390720 18446744073709551615 270624937419 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/14021/statm: 80071 5785 400 364 0 15977 0
[pid=14023] ppid=14021 vsize=173580 CPUtime=873.86 cores=0,2,4,6
/proc/14023/stat : 14023 (march_hi) T 14021 14023 14023 0 -1 4202496 30907 0 0 0 87380 6 0 0 25 0 1 0 538463136 177745920 30643 33554432000 4194304 4955518 140736216226064 18446744073709551615 4235338 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/14023/statm: 43395 30643 104 186 0 43208 0
[pid=14021/tid=14161] ppid=13999 vsize=320284 CPUtime=0 cores=0,2,4,6
/proc/14021/task/14161/stat : 14161 (python) S 13999 13999 13600 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 2 0 538511974 327970816 5785 33554432000 4194304 5683644 140735164390720 18446744073709551615 270624934321 0 0 16781312 514 18446604453895504192 0 0 -1 2 0 0 0
[pid=14025] ppid=13999 vsize=330148 CPUtime=1.25 cores=0,2,4,6
/proc/14025/stat : 14025 (python) S 13999 13999 13600 0 -1 4202560 1172 0 0 0 67 58 0 0 15 0 2 0 538463142 338071552 5723 33554432000 4194304 5683644 140735164390720 18446744073709551615 270624937419 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/14025/statm: 82537 5723 400 364 0 18440 0
[pid=14027] ppid=14025 vsize=129380 CPUtime=778.56 cores=0,2,4,6
/proc/14027/stat : 14027 (march_hi) T 14025 14027 14027 0 -1 4202496 27691 0 0 0 77850 6 0 0 25 0 1 0 538463142 132485120 27426 33554432000 4194304 4955518 140736954593488 18446744073709551615 4235390 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/14027/statm: 32345 27426 104 186 0 32158 0
[pid=14025/tid=14162] ppid=13999 vsize=330148 CPUtime=0 cores=0,2,4,6
/proc/14025/task/14162/stat : 14162 (python) S 13999 13999 13600 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 2 0 538512592 338071552 5723 33554432000 4194304 5683644 140735164390720 18446744073709551615 270624934321 0 0 16781312 514 18446604453895505088 0 0 -1 6 0 0 0
[pid=14205] ppid=13999 vsize=340524 CPUtime=0.71 cores=0,2,4,6
/proc/14205/stat : 14205 (python) S 13999 13999 13600 0 -1 4202560 1017 0 0 0 40 31 0 0 15 0 1 0 538531317 348696576 5697 33554432000 4194304 5683644 140735164390720 18446744073709551615 270613130822 0 0 16781312 514 11938796321554530564 0 0 17 4 0 0 0
/proc/14205/statm: 85131 5697 371 364 0 21031 0
[pid=14207] ppid=14205 vsize=80924 CPUtime=419.36 cores=0,2,4,6
/proc/14207/stat : 14207 (march_hi) R 14205 14207 14207 0 -1 4202496 15738 0 0 0 41933 3 0 0 25 0 1 0 538531317 82866176 15470 33554432000 4194304 4955518 140736423058768 18446744073709551615 4235355 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/14207/statm: 20231 15470 104 186 0 20044 0
[pid=14208] ppid=13999 vsize=351268 CPUtime=0.66 cores=0,2,4,6
/proc/14208/stat : 14208 (python) S 13999 13999 13600 0 -1 4202560 1037 0 0 0 37 29 0 0 18 0 1 0 538531444 359698432 5827 33554432000 4194304 5683644 140735164390720 18446744073709551615 270613130822 0 0 16781312 514 11938796321554530564 0 0 17 4 0 0 0
/proc/14208/statm: 87817 5827 377 364 0 23714 0
[pid=14210] ppid=14208 vsize=182580 CPUtime=413.33 cores=0,2,4,6
/proc/14210/stat : 14210 (kcnfs-2006) R 14208 14210 14210 0 -1 4202496 661 0 0 0 41332 1 0 0 25 0 1 0 538531445 186961920 389 33554432000 134512640 135163436 4287028704 18446744073709551615 134675116 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/14210/statm: 45645 389 77 159 0 45485 0
[pid=14218] ppid=13999 vsize=361652 CPUtime=0.54 cores=0,2,4,6
/proc/14218/stat : 14218 (python) S 13999 13999 13600 0 -1 4202560 1019 0 0 0 32 22 0 0 15 0 1 0 538541485 370331648 5857 33554432000 4194304 5683644 140735164390720 18446744073709551615 270613130822 0 0 16781312 514 11938796321554530564 0 0 17 4 0 0 0
/proc/14218/statm: 90413 5857 371 364 0 26307 0
[pid=14220] ppid=14218 vsize=51784 CPUtime=318.27 cores=0,2,4,6
/proc/14220/stat : 14220 (march_hi) R 14218 14220 14220 0 -1 4202496 12228 0 0 0 31825 2 0 0 25 0 1 0 538541486 53026816 11960 33554432000 4194304 4955518 140733540029824 18446744073709551615 4238643 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/14220/statm: 12946 11960 104 186 0 12759 0
[pid=13999/tid=14006] ppid=13997 vsize=371896 CPUtime=0 cores=0,2,4,6
/proc/13999/task/14006/stat : 14006 (python) S 13997 13999 13600 0 -1 4202560 26 935 0 0 0 0 0 0 18 0 10 0 538453119 380821504 7382 33554432000 4194304 5683644 140735164390720 18446744073709551615 270624934321 0 0 16781312 2 18446604453925558272 0 0 -1 6 0 0 0
[pid=13999/tid=14009] ppid=13997 vsize=371896 CPUtime=0 cores=0,2,4,6
/proc/13999/task/14009/stat : 14009 (python) S 13997 13999 13600 0 -1 4202560 26 935 0 0 0 0 0 0 18 0 10 0 538453122 380821504 7382 33554432000 4194304 5683644 140735164390720 18446744073709551615 270624934321 0 0 16781312 2 18446604453925558272 0 0 -1 6 0 0 0
[pid=13999/tid=14012] ppid=13997 vsize=371896 CPUtime=0 cores=0,2,4,6
/proc/13999/task/14012/stat : 14012 (python) S 13997 13999 13600 0 -1 4202560 19 935 0 0 0 0 0 0 20 0 10 0 538453125 380821504 7382 33554432000 4194304 5683644 140735164390720 18446744073709551615 270624934321 0 0 16781312 2 18446604453925558272 0 0 -1 0 0 0 0
[pid=13999/tid=14015] ppid=13997 vsize=371896 CPUtime=0 cores=0,2,4,6
/proc/13999/task/14015/stat : 14015 (python) S 13997 13999 13600 0 -1 4202560 36 935 0 0 0 0 0 0 18 0 10 0 538453128 380821504 7382 33554432000 4194304 5683644 140735164390720 18446744073709551615 270624934321 0 0 16781312 2 18446604453925558272 0 0 -1 4 0 0 0
[pid=13999/tid=14022] ppid=13997 vsize=371896 CPUtime=0 cores=0,2,4,6
/proc/13999/task/14022/stat : 14022 (python) S 13997 13999 13600 0 -1 4202560 38 935 0 0 0 0 0 0 18 0 10 0 538463135 380821504 7382 33554432000 4194304 5683644 140735164390720 18446744073709551615 270624934321 0 0 16781312 2 18446604453925558272 0 0 -1 4 0 0 0
[pid=13999/tid=14026] ppid=13997 vsize=371896 CPUtime=0 cores=0,2,4,6
/proc/13999/task/14026/stat : 14026 (python) S 13997 13999 13600 0 -1 4202560 31 935 0 0 0 0 0 0 18 0 10 0 538463142 380821504 7382 33554432000 4194304 5683644 140735164390720 18446744073709551615 270624934321 0 0 16781312 2 18446604453925558272 0 0 -1 4 0 0 0
[pid=13999/tid=14206] ppid=13997 vsize=371896 CPUtime=0 cores=0,2,4,6
/proc/13999/task/14206/stat : 14206 (python) S 13997 13999 13600 0 -1 4202560 31 935 0 0 0 0 0 0 20 0 10 0 538531317 380821504 7382 33554432000 4194304 5683644 140735164390720 18446744073709551615 270624934321 0 0 16781312 2 18446604453925558272 0 0 -1 4 0 0 0
[pid=13999/tid=14209] ppid=13997 vsize=371896 CPUtime=0 cores=0,2,4,6
/proc/13999/task/14209/stat : 14209 (python) S 13997 13999 13600 0 -1 4202560 30 935 0 0 0 0 0 0 20 0 10 0 538531445 380821504 7382 33554432000 4194304 5683644 140735164390720 18446744073709551615 270624934321 0 0 16781312 2 18446604453925558272 0 0 -1 4 0 0 0
[pid=13999/tid=14219] ppid=13997 vsize=371896 CPUtime=0 cores=0,2,4,6
/proc/13999/task/14219/stat : 14219 (python) S 13997 13999 13600 0 -1 4202560 31 935 0 0 0 0 0 0 20 0 10 0 538541486 380821504 7382 33554432000 4194304 5683644 140735164390720 18446744073709551615 270624934321 0 0 16781312 2 18446604453925558272 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.03
Current children cumulated vsize (KiB) 6220516
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1203.6 s]
/proc/loadavg: 8.16 8.18 7.52 9/260 14283
/proc/meminfo: memFree=28672616/32951124 swapFree=67111516/67111528
[pid=13999] ppid=13997 vsize=371896 CPUtime=1.12 cores=0,2,4,6
/proc/13999/stat : 13999 (python) S 13997 13999 13600 0 -1 4202496 18102 935 1 0 102 10 0 0 18 0 10 0 538453038 380821504 7382 33554432000 4194304 5683644 140735164390720 18446744073709551615 270624937419 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13999/statm: 92974 7382 1892 364 0 28868 0
[pid=14005] ppid=13999 vsize=288880 CPUtime=0.14 cores=0,2,4,6
/proc/14005/stat : 14005 (python) S 13999 13999 13600 0 -1 4202560 1084 0 0 0 8 6 0 0 19 0 2 0 538453119 295813120 5637 33554432000 4194304 5683644 140735164390720 18446744073709551615 270624937419 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/14005/statm: 72220 5637 410 364 0 8138 0
[pid=14007] ppid=14005 vsize=1017940 CPUtime=99.83 cores=0,2,4,6
/proc/14007/stat : 14007 (gnovelty+2) T 14005 14007 14007 0 -1 4202496 458 0 0 0 9982 1 0 0 25 0 1 0 538453119 1042370560 192 33554432000 134512640 135663704 4292408368 18446744073709551615 135007681 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/14007/statm: 254485 192 113 282 0 254201 0
[pid=14005/tid=14020] ppid=13999 vsize=288880 CPUtime=0 cores=0,2,4,6
/proc/14005/task/14020/stat : 14020 (python) S 13999 13999 13600 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 538463132 295813120 5637 33554432000 4194304 5683644 140735164390720 18446744073709551615 270624934321 0 0 16781312 514 18446604442434697984 0 0 -1 0 0 0 0
[pid=14008] ppid=13999 vsize=289416 CPUtime=1.23 cores=0,2,4,6
/proc/14008/stat : 14008 (python) S 13999 13999 13600 0 -1 4202560 1131 0 0 0 69 54 0 0 15 0 2 0 538453122 296361984 5765 33554432000 4194304 5683644 140735164390720 18446744073709551615 270624937419 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/14008/statm: 72354 5765 400 364 0 8269 0
[pid=14010] ppid=14008 vsize=129380 CPUtime=780.22 cores=0,2,4,6
/proc/14010/stat : 14010 (march_hi) T 14008 14010 14010 0 -1 4202496 27952 0 0 0 78014 8 0 0 25 0 1 0 538453122 132485120 27690 33554432000 4194304 4955518 140734193201936 18446744073709551615 4227677 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/14010/statm: 32345 27690 104 186 0 32158 0
[pid=14008/tid=14036] ppid=13999 vsize=289416 CPUtime=0 cores=0,2,4,6
/proc/14008/task/14036/stat : 14036 (python) S 13999 13999 13600 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 2 0 538472926 296361984 5765 33554432000 4194304 5683644 140735164390720 18446744073709551615 270624934321 0 0 16781312 514 18446604453902075904 0 0 -1 4 0 0 0
[pid=14011] ppid=13999 vsize=299332 CPUtime=0.14 cores=0,2,4,6
/proc/14011/stat : 14011 (python) S 13999 13999 13600 0 -1 4202560 1086 0 0 0 9 5 0 0 19 0 2 0 538453125 306515968 5669 33554432000 4194304 5683644 140735164390720 18446744073709551615 270624937419 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/14011/statm: 74833 5669 400 364 0 10745 0
[pid=14013] ppid=14011 vsize=1017940 CPUtime=100.13 cores=0,2,4,6
/proc/14013/stat : 14013 (gnovelty+2) T 14011 14013 14013 0 -1 4202496 456 0 0 0 10013 0 0 0 25 0 1 0 538453125 1042370560 191 33554432000 134512640 135663704 4289997616 18446744073709551615 134544370 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/14013/statm: 254485 191 113 282 0 254201 0
[pid=14011/tid=14024] ppid=13999 vsize=299332 CPUtime=0 cores=0,2,4,6
/proc/14011/task/14024/stat : 14024 (python) S 13999 13999 13600 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 538463139 306515968 5669 33554432000 4194304 5683644 140735164390720 18446744073709551615 270624934321 0 0 16781312 514 18446604451919590528 0 0 -1 0 0 0 0
[pid=14014] ppid=13999 vsize=310028 CPUtime=1.61 cores=0,2,4,6
/proc/14014/stat : 14014 (python) S 13999 13999 13600 0 -1 4202560 1173 0 0 0 90 71 0 0 15 0 2 0 538453128 317468672 5781 33554432000 4194304 5683644 140735164390720 18446744073709551615 270613130822 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/14014/statm: 77507 5781 400 364 0 13416 0
[pid=14016] ppid=14014 vsize=173580 CPUtime=1007.67 cores=0,2,4,6
/proc/14016/stat : 14016 (march_hi) R 14014 14016 14016 0 -1 4202496 35267 0 0 0 100756 11 0 0 25 0 1 0 538453128 177745920 35002 33554432000 4194304 4955518 140736576738224 18446744073709551615 4314200 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/14016/statm: 43395 35002 104 186 0 43208 0
[pid=14014/tid=14049] ppid=13999 vsize=310028 CPUtime=0 cores=0,2,4,6
/proc/14014/task/14049/stat : 14049 (python) S 13999 13999 13600 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 2 0 538492543 317468672 5781 33554432000 4194304 5683644 140735164390720 18446744073709551615 270624934321 0 0 16781312 514 18446604453715626816 0 0 -1 4 0 0 0
[pid=14021] ppid=13999 vsize=320284 CPUtime=1.4 cores=0,2,4,6
/proc/14021/stat : 14021 (python) S 13999 13999 13600 0 -1 4202560 1174 0 0 0 76 64 0 0 15 0 2 0 538463135 327970816 5785 33554432000 4194304 5683644 140735164390720 18446744073709551615 270624937419 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/14021/statm: 80071 5785 400 364 0 15977 0
[pid=14023] ppid=14021 vsize=173580 CPUtime=873.86 cores=0,2,4,6
/proc/14023/stat : 14023 (march_hi) T 14021 14023 14023 0 -1 4202496 30907 0 0 0 87380 6 0 0 25 0 1 0 538463136 177745920 30643 33554432000 4194304 4955518 140736216226064 18446744073709551615 4235338 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/14023/statm: 43395 30643 104 186 0 43208 0
[pid=14021/tid=14161] ppid=13999 vsize=320284 CPUtime=0 cores=0,2,4,6
/proc/14021/task/14161/stat : 14161 (python) S 13999 13999 13600 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 2 0 538511974 327970816 5785 33554432000 4194304 5683644 140735164390720 18446744073709551615 270624934321 0 0 16781312 514 18446604453895504192 0 0 -1 2 0 0 0
[pid=14025] ppid=13999 vsize=330148 CPUtime=1.25 cores=0,2,4,6
/proc/14025/stat : 14025 (python) S 13999 13999 13600 0 -1 4202560 1172 0 0 0 67 58 0 0 15 0 2 0 538463142 338071552 5723 33554432000 4194304 5683644 140735164390720 18446744073709551615 270624937419 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/14025/statm: 82537 5723 400 364 0 18440 0
[pid=14027] ppid=14025 vsize=129380 CPUtime=778.56 cores=0,2,4,6
/proc/14027/stat : 14027 (march_hi) T 14025 14027 14027 0 -1 4202496 27691 0 0 0 77850 6 0 0 25 0 1 0 538463142 132485120 27426 33554432000 4194304 4955518 140736954593488 18446744073709551615 4235390 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/14027/statm: 32345 27426 104 186 0 32158 0
[pid=14025/tid=14162] ppid=13999 vsize=330148 CPUtime=0 cores=0,2,4,6
/proc/14025/task/14162/stat : 14162 (python) S 13999 13999 13600 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 2 0 538512592 338071552 5723 33554432000 4194304 5683644 140735164390720 18446744073709551615 270624934321 0 0 16781312 514 18446604453895505088 0 0 -1 6 0 0 0
[pid=14205] ppid=13999 vsize=340524 CPUtime=0.71 cores=0,2,4,6
/proc/14205/stat : 14205 (python) S 13999 13999 13600 0 -1 4202560 1017 0 0 0 40 31 0 0 15 0 1 0 538531317 348696576 5697 33554432000 4194304 5683644 140735164390720 18446744073709551615 270613130822 0 0 16781312 514 11938796321554530564 0 0 17 4 0 0 0
/proc/14205/statm: 85131 5697 371 364 0 21031 0
[pid=14207] ppid=14205 vsize=80924 CPUtime=419.36 cores=0,2,4,6
/proc/14207/stat : 14207 (march_hi) R 14205 14207 14207 0 -1 4202496 15738 0 0 0 41933 3 0 0 25 0 1 0 538531317 82866176 15470 33554432000 4194304 4955518 140736423058768 18446744073709551615 4235355 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/14207/statm: 20231 15470 104 186 0 20044 0
[pid=14208] ppid=13999 vsize=351268 CPUtime=0.66 cores=0,2,4,6
/proc/14208/stat : 14208 (python) S 13999 13999 13600 0 -1 4202560 1037 0 0 0 37 29 0 0 18 0 1 0 538531444 359698432 5827 33554432000 4194304 5683644 140735164390720 18446744073709551615 270613130822 0 0 16781312 514 11938796321554530564 0 0 17 4 0 0 0
/proc/14208/statm: 87817 5827 377 364 0 23714 0
[pid=14210] ppid=14208 vsize=182580 CPUtime=413.33 cores=0,2,4,6
/proc/14210/stat : 14210 (kcnfs-2006) R 14208 14210 14210 0 -1 4202496 661 0 0 0 41332 1 0 0 25 0 1 0 538531445 186961920 389 33554432000 134512640 135163436 4287028704 18446744073709551615 134675116 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/14210/statm: 45645 389 77 159 0 45485 0
[pid=14218] ppid=13999 vsize=361652 CPUtime=0.54 cores=0,2,4,6
/proc/14218/stat : 14218 (python) S 13999 13999 13600 0 -1 4202560 1019 0 0 0 32 22 0 0 15 0 1 0 538541485 370331648 5857 33554432000 4194304 5683644 140735164390720 18446744073709551615 270613130822 0 0 16781312 514 11938796321554530564 0 0 17 4 0 0 0
/proc/14218/statm: 90413 5857 371 364 0 26307 0
[pid=14220] ppid=14218 vsize=51784 CPUtime=318.27 cores=0,2,4,6
/proc/14220/stat : 14220 (march_hi) R 14218 14220 14220 0 -1 4202496 12228 0 0 0 31825 2 0 0 25 0 1 0 538541486 53026816 11960 33554432000 4194304 4955518 140733540029824 18446744073709551615 4238643 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/14220/statm: 12946 11960 104 186 0 12759 0
[pid=13999/tid=14006] ppid=13997 vsize=371896 CPUtime=0 cores=0,2,4,6
/proc/13999/task/14006/stat : 14006 (python) S 13997 13999 13600 0 -1 4202560 26 935 0 0 0 0 0 0 18 0 10 0 538453119 380821504 7382 33554432000 4194304 5683644 140735164390720 18446744073709551615 270624934321 0 0 16781312 2 18446604453925558272 0 0 -1 6 0 0 0
[pid=13999/tid=14009] ppid=13997 vsize=371896 CPUtime=0 cores=0,2,4,6
/proc/13999/task/14009/stat : 14009 (python) S 13997 13999 13600 0 -1 4202560 26 935 0 0 0 0 0 0 18 0 10 0 538453122 380821504 7382 33554432000 4194304 5683644 140735164390720 18446744073709551615 270624934321 0 0 16781312 2 18446604453925558272 0 0 -1 6 0 0 0
[pid=13999/tid=14012] ppid=13997 vsize=371896 CPUtime=0 cores=0,2,4,6
/proc/13999/task/14012/stat : 14012 (python) S 13997 13999 13600 0 -1 4202560 19 935 0 0 0 0 0 0 20 0 10 0 538453125 380821504 7382 33554432000 4194304 5683644 140735164390720 18446744073709551615 270624934321 0 0 16781312 2 18446604453925558272 0 0 -1 0 0 0 0
[pid=13999/tid=14015] ppid=13997 vsize=371896 CPUtime=0 cores=0,2,4,6
/proc/13999/task/14015/stat : 14015 (python) S 13997 13999 13600 0 -1 4202560 36 935 0 0 0 0 0 0 18 0 10 0 538453128 380821504 7382 33554432000 4194304 5683644 140735164390720 18446744073709551615 270624934321 0 0 16781312 2 18446604453925558272 0 0 -1 4 0 0 0
[pid=13999/tid=14022] ppid=13997 vsize=371896 CPUtime=0 cores=0,2,4,6
/proc/13999/task/14022/stat : 14022 (python) S 13997 13999 13600 0 -1 4202560 38 935 0 0 0 0 0 0 18 0 10 0 538463135 380821504 7382 33554432000 4194304 5683644 140735164390720 18446744073709551615 270624934321 0 0 16781312 2 18446604453925558272 0 0 -1 4 0 0 0
[pid=13999/tid=14026] ppid=13997 vsize=371896 CPUtime=0 cores=0,2,4,6
/proc/13999/task/14026/stat : 14026 (python) S 13997 13999 13600 0 -1 4202560 31 935 0 0 0 0 0 0 18 0 10 0 538463142 380821504 7382 33554432000 4194304 5683644 140735164390720 18446744073709551615 270624934321 0 0 16781312 2 18446604453925558272 0 0 -1 4 0 0 0
[pid=13999/tid=14206] ppid=13997 vsize=371896 CPUtime=0 cores=0,2,4,6
/proc/13999/task/14206/stat : 14206 (python) S 13997 13999 13600 0 -1 4202560 31 935 0 0 0 0 0 0 20 0 10 0 538531317 380821504 7382 33554432000 4194304 5683644 140735164390720 18446744073709551615 270624934321 0 0 16781312 2 18446604453925558272 0 0 -1 4 0 0 0
[pid=13999/tid=14209] ppid=13997 vsize=371896 CPUtime=0 cores=0,2,4,6
/proc/13999/task/14209/stat : 14209 (python) S 13997 13999 13600 0 -1 4202560 30 935 0 0 0 0 0 0 20 0 10 0 538531445 380821504 7382 33554432000 4194304 5683644 140735164390720 18446744073709551615 270624934321 0 0 16781312 2 18446604453925558272 0 0 -1 4 0 0 0
[pid=13999/tid=14219] ppid=13997 vsize=371896 CPUtime=0 cores=0,2,4,6
/proc/13999/task/14219/stat : 14219 (python) S 13997 13999 13600 0 -1 4202560 31 935 0 0 0 0 0 0 20 0 10 0 538541486 380821504 7382 33554432000 4194304 5683644 140735164390720 18446744073709551615 270624934321 0 0 16781312 2 18446604453925558272 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.03
Current children cumulated vsize (KiB) 6220516
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13999 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=45841
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=104984
# CPU time returned by wait4() is 1.15082
# while last known CPU time is 4800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1203.66
CPU time (s): 4800.03
CPU user time (s): 4796.15
CPU system time (s): 3.88
CPU usage (%): 398.785
Max. virtual memory (cumulated for all children) (KiB): 6220520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.04584
system time used= 0.104984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19077
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= 2940
involuntary context switches= 36
runsolver used 3.80342 second user time and 7.41987 second system time
The end