runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3728999-1338713492/watcher-3728999-1338713492 -o /tmp/evaluation-result-3728999-1338713492/solver-3728999-1338713492 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3728999-1338713492.opb -seed 1769158785 -budget 1800
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 1.84 1.66 1.82 2/183 4112
/proc/meminfo: memFree=29864628/32873648 swapFree=7628/7628
[pid=4112] ppid=4110 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/4112/stat : 4112 (python) D 4110 4112 3958 0 -1 4202496 671 0 0 0 0 0 0 0 20 0 1 0 337475301 15642624 559 33554432000 4194304 5683644 140735686107536 140735686075480 217410519952 0 0 16781312 2 18446744072100588836 0 0 17 1 0 0 0 0 0
/proc/4112/statm: 3819 559 324 364 0 261 0
[startup+0.0583871 s]
/proc/loadavg: 1.84 1.66 1.82 2/183 4112
/proc/meminfo: memFree=29864628/32873648 swapFree=7628/7628
[pid=4112] ppid=4110 vsize=16592 CPUtime=0.01 cores=1,3,5,7
/proc/4112/stat : 4112 (python) D 4110 4112 3958 0 -1 4202496 1201 0 0 0 1 0 0 0 20 0 1 0 337475301 16990208 1001 33554432000 4194304 5683644 140735686107536 140735686085304 217410519952 0 0 16781312 2 18446744072100588836 0 0 17 1 0 0 0 0 0
/proc/4112/statm: 4148 1001 422 364 0 590 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16592
[startup+0.100311 s]
/proc/loadavg: 1.84 1.66 1.82 2/183 4112
/proc/meminfo: memFree=29864628/32873648 swapFree=7628/7628
[pid=4112] ppid=4110 vsize=21304 CPUtime=0.02 cores=1,3,5,7
/proc/4112/stat : 4112 (python) D 4110 4112 3958 0 -1 4202496 1430 0 0 0 2 0 0 0 20 0 1 0 337475301 21815296 1178 33554432000 4194304 5683644 140735686107536 140735686039528 217401355559 0 0 16781312 2 18446744072100588836 0 0 17 1 0 0 0 0 0
/proc/4112/statm: 5326 1178 437 364 0 728 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 21304
[startup+0.300255 s]
/proc/loadavg: 1.84 1.66 1.82 2/183 4112
/proc/meminfo: memFree=29864628/32873648 swapFree=7628/7628
[pid=4112] ppid=4110 vsize=104484 CPUtime=0.11 cores=1,3,5,7
/proc/4112/stat : 4112 (python) R 4110 4112 3958 0 -1 4202496 4273 1012 1 0 9 2 0 0 20 0 1 0 337475301 106991616 2800 33554432000 4194304 5683644 140735686107536 140735685966408 4620076 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/4112/statm: 26121 2800 895 364 0 1780 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 104484
[startup+0.70023 s]
/proc/loadavg: 1.84 1.66 1.82 2/183 4112
/proc/meminfo: memFree=29864628/32873648 swapFree=7628/7628
[pid=4112] ppid=4110 vsize=176320 CPUtime=0.24 cores=1,3,5,7
/proc/4112/stat : 4112 (python) D 4110 4112 3958 0 -1 4202496 6864 1012 1 0 18 6 0 0 20 0 1 0 337475301 180551680 4619 33554432000 4194304 5683644 140735686107536 140735685998024 217410519952 0 0 16781312 2 18446744072100588836 0 0 17 1 0 0 0 0 0
/proc/4112/statm: 44080 4619 1265 364 0 3528 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 176320
[startup+1.50023 s]
/proc/loadavg: 1.84 1.66 1.82 2/184 4117
/proc/meminfo: memFree=29845136/32873648 swapFree=7628/7628
[pid=4112] ppid=4110 vsize=357292 CPUtime=0.44 cores=1,3,5,7
/proc/4112/stat : 4112 (python) S 4110 4112 3958 0 -1 4202496 10518 1012 1 0 35 9 0 0 20 0 2 0 337475301 365867008 7204 33554432000 4194304 5683644 140735686107536 140735686102368 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4112/statm: 89323 7204 1892 364 0 24546 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 357292
[startup+3.10028 s]
/proc/loadavg: 1.85 1.66 1.82 3/191 4124
/proc/meminfo: memFree=29751220/32873648 swapFree=7628/7628
[pid=4112] ppid=4110 vsize=357292 CPUtime=0.44 cores=1,3,5,7
/proc/4112/stat : 4112 (python) S 4110 4112 3958 0 -1 4202496 10518 1012 1 0 35 9 0 0 20 0 2 0 337475301 365867008 7204 33554432000 4194304 5683644 140735686107536 140735686102368 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4112/statm: 89323 7204 1892 364 0 24546 0
[pid=4119] ppid=4112 vsize=281512 CPUtime=0 cores=1,3,5,7
/proc/4119/stat : 4119 (python) S 4112 4112 3958 0 -1 4202560 772 0 0 0 0 0 0 0 20 0 1 0 337475418 288268288 5647 33554432000 4194304 5683644 140735686107536 140735686098624 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/4119/statm: 70378 5647 341 364 0 5601 0
[pid=4121] ppid=4119 vsize=37024 CPUtime=1.91 cores=1,3,5,7
/proc/4121/stat : 4121 (scip-2.0.1.linu) R 4119 4121 4121 0 -1 4202496 8478 0 0 0 188 3 0 0 20 0 1 0 337475418 37912576 7049 33554432000 4194304 13684479 140734928328544 140734928322296 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/4121/statm: 9256 7049 817 2317 0 6934 0
[pid=4112/tid=4120] ppid=4110 vsize=357292 CPUtime=0 cores=1,3,5,7
/proc/4112/task/4120/stat : 4120 (python) S 4110 4112 3958 0 -1 4202560 27 1012 0 0 0 0 0 0 20 0 2 0 337475418 365867008 7204 33554432000 4194304 5683644 140735686107536 140078043845168 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.35
Current children cumulated vsize (KiB) 675828
heavy processes:
[startup+6.30033 s]
/proc/loadavg: 1.85 1.66 1.82 3/191 4124
/proc/meminfo: memFree=29746916/32873648 swapFree=7628/7628
[pid=4112] ppid=4110 vsize=357292 CPUtime=0.44 cores=1,3,5,7
/proc/4112/stat : 4112 (python) S 4110 4112 3958 0 -1 4202496 10518 1012 1 0 35 9 0 0 20 0 2 0 337475301 365867008 7204 33554432000 4194304 5683644 140735686107536 140735686102368 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4112/statm: 89323 7204 1892 364 0 24546 0
[pid=4119] ppid=4112 vsize=281512 CPUtime=0 cores=1,3,5,7
/proc/4119/stat : 4119 (python) S 4112 4112 3958 0 -1 4202560 969 0 0 0 0 0 0 0 20 0 1 0 337475418 288268288 5675 33554432000 4194304 5683644 140735686107536 140735686098624 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/4119/statm: 70378 5675 369 364 0 5601 0
[pid=4121] ppid=4119 vsize=37024 CPUtime=5.11 cores=1,3,5,7
/proc/4121/stat : 4121 (scip-2.0.1.linu) R 4119 4121 4121 0 -1 4202496 8487 0 0 0 504 7 0 0 20 0 1 0 337475418 37912576 7058 33554432000 4194304 13684479 140734928328544 140734928322344 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/4121/statm: 9256 7058 820 2317 0 6934 0
[pid=4112/tid=4120] ppid=4110 vsize=357292 CPUtime=0 cores=1,3,5,7
/proc/4112/task/4120/stat : 4120 (python) S 4110 4112 3958 0 -1 4202560 27 1012 0 0 0 0 0 0 20 0 2 0 337475418 365867008 7204 33554432000 4194304 5683644 140735686107536 140078043845168 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 5.55
Current children cumulated vsize (KiB) 675828
[startup+12.7003 s]
/proc/loadavg: 1.87 1.67 1.82 3/191 4124
/proc/meminfo: memFree=29749028/32873648 swapFree=7628/7628
[pid=4112] ppid=4110 vsize=357292 CPUtime=0.44 cores=1,3,5,7
/proc/4112/stat : 4112 (python) S 4110 4112 3958 0 -1 4202496 10518 1012 1 0 35 9 0 0 20 0 2 0 337475301 365867008 7204 33554432000 4194304 5683644 140735686107536 140735686102368 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4112/statm: 89323 7204 1892 364 0 24546 0
[pid=4119] ppid=4112 vsize=281512 CPUtime=0.01 cores=1,3,5,7
/proc/4119/stat : 4119 (python) S 4112 4112 3958 0 -1 4202560 980 0 0 0 1 0 0 0 20 0 1 0 337475418 288268288 5675 33554432000 4194304 5683644 140735686107536 140735686098624 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/4119/statm: 70378 5675 369 364 0 5601 0
[pid=4121] ppid=4119 vsize=37532 CPUtime=11.51 cores=1,3,5,7
/proc/4121/stat : 4121 (scip-2.0.1.linu) R 4119 4121 4121 0 -1 4202496 8591 0 0 0 1129 22 0 0 20 0 1 0 337475418 38432768 7162 33554432000 4194304 13684479 140734928328544 140734928322424 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/4121/statm: 9383 7162 821 2317 0 7061 0
[pid=4112/tid=4120] ppid=4110 vsize=357292 CPUtime=0 cores=1,3,5,7
/proc/4112/task/4120/stat : 4120 (python) S 4110 4112 3958 0 -1 4202560 27 1012 0 0 0 0 0 0 20 0 2 0 337475418 365867008 7204 33554432000 4194304 5683644 140735686107536 140078043845168 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 11.96
Current children cumulated vsize (KiB) 676336
[startup+25.5003 s]
/proc/loadavg: 1.89 1.68 1.82 3/191 4124
/proc/meminfo: memFree=29749236/32873648 swapFree=7628/7628
[pid=4112] ppid=4110 vsize=357292 CPUtime=0.44 cores=1,3,5,7
/proc/4112/stat : 4112 (python) S 4110 4112 3958 0 -1 4202496 10518 1012 1 0 35 9 0 0 20 0 2 0 337475301 365867008 7204 33554432000 4194304 5683644 140735686107536 140735686102368 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4112/statm: 89323 7204 1892 364 0 24546 0
[pid=4119] ppid=4112 vsize=281512 CPUtime=0.04 cores=1,3,5,7
/proc/4119/stat : 4119 (python) S 4112 4112 3958 0 -1 4202560 1005 0 0 0 2 2 0 0 20 0 1 0 337475418 288268288 5675 33554432000 4194304 5683644 140735686107536 140735686098624 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/4119/statm: 70378 5675 369 364 0 5601 0
[pid=4121] ppid=4119 vsize=38480 CPUtime=24.31 cores=1,3,5,7
/proc/4121/stat : 4121 (scip-2.0.1.linu) R 4119 4121 4121 0 -1 4202496 8833 0 0 0 2375 56 0 0 20 0 1 0 337475418 39403520 7404 33554432000 4194304 13684479 140734928328544 140734928322376 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/4121/statm: 9620 7404 821 2317 0 7298 0
[pid=4112/tid=4120] ppid=4110 vsize=357292 CPUtime=0 cores=1,3,5,7
/proc/4112/task/4120/stat : 4120 (python) S 4110 4112 3958 0 -1 4202560 27 1012 0 0 0 0 0 0 20 0 2 0 337475418 365867008 7204 33554432000 4194304 5683644 140735686107536 140078043845168 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 24.79
Current children cumulated vsize (KiB) 677284
Solver just ended. Dumping a history of the last processes samples
[startup+27.1003 s]
/proc/loadavg: 1.89 1.68 1.82 3/191 4124
/proc/meminfo: memFree=29750228/32873648 swapFree=7628/7628
[pid=4112] ppid=4110 vsize=357292 CPUtime=0.44 cores=1,3,5,7
/proc/4112/stat : 4112 (python) S 4110 4112 3958 0 -1 4202496 10518 1012 1 0 35 9 0 0 20 0 2 0 337475301 365867008 7204 33554432000 4194304 5683644 140735686107536 140735686102368 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4112/statm: 89323 7204 1892 364 0 24546 0
[pid=4119] ppid=4112 vsize=281512 CPUtime=0.05 cores=1,3,5,7
/proc/4119/stat : 4119 (python) S 4112 4112 3958 0 -1 4202560 1009 0 0 0 3 2 0 0 20 0 1 0 337475418 288268288 5675 33554432000 4194304 5683644 140735686107536 140735686098624 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/4119/statm: 70378 5675 369 364 0 5601 0
[pid=4121] ppid=4119 vsize=38480 CPUtime=25.91 cores=1,3,5,7
/proc/4121/stat : 4121 (scip-2.0.1.linu) R 4119 4121 4121 0 -1 4202496 8836 0 0 0 2531 60 0 0 20 0 1 0 337475418 39403520 7407 33554432000 4194304 13684479 140734928328544 140734928322472 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/4121/statm: 9620 7407 821 2317 0 7298 0
[pid=4112/tid=4120] ppid=4110 vsize=357292 CPUtime=0 cores=1,3,5,7
/proc/4112/task/4120/stat : 4120 (python) S 4110 4112 3958 0 -1 4202560 27 1012 0 0 0 0 0 0 20 0 2 0 337475418 365867008 7204 33554432000 4194304 5683644 140735686107536 140078043845168 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 26.4
Current children cumulated vsize (KiB) 677284
[startup+27.9003 s]
/proc/loadavg: 1.90 1.69 1.82 3/191 4124
/proc/meminfo: memFree=29749344/32873648 swapFree=7628/7628
[pid=4112] ppid=4110 vsize=357292 CPUtime=0.44 cores=1,3,5,7
/proc/4112/stat : 4112 (python) S 4110 4112 3958 0 -1 4202496 10518 1012 1 0 35 9 0 0 20 0 2 0 337475301 365867008 7204 33554432000 4194304 5683644 140735686107536 140735686102368 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4112/statm: 89323 7204 1892 364 0 24546 0
[pid=4119] ppid=4112 vsize=281512 CPUtime=0.05 cores=1,3,5,7
/proc/4119/stat : 4119 (python) S 4112 4112 3958 0 -1 4202560 1009 0 0 0 3 2 0 0 20 0 1 0 337475418 288268288 5675 33554432000 4194304 5683644 140735686107536 140735686098624 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/4119/statm: 70378 5675 369 364 0 5601 0
[pid=4121] ppid=4119 vsize=38752 CPUtime=26.72 cores=1,3,5,7
/proc/4121/stat : 4121 (scip-2.0.1.linu) R 4119 4121 4121 0 -1 4202496 8893 0 0 0 2610 62 0 0 20 0 1 0 337475418 39682048 7464 33554432000 4194304 13684479 140734928328544 140734928321496 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/4121/statm: 9688 7464 821 2317 0 7366 0
[pid=4112/tid=4120] ppid=4110 vsize=357292 CPUtime=0 cores=1,3,5,7
/proc/4112/task/4120/stat : 4120 (python) S 4110 4112 3958 0 -1 4202560 27 1012 0 0 0 0 0 0 20 0 2 0 337475418 365867008 7204 33554432000 4194304 5683644 140735686107536 140078043845168 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 27.21
Current children cumulated vsize (KiB) 677556
[startup+28.7003 s]
/proc/loadavg: 1.90 1.69 1.82 3/191 4124
/proc/meminfo: memFree=29749468/32873648 swapFree=7628/7628
[pid=4112] ppid=4110 vsize=357292 CPUtime=0.44 cores=1,3,5,7
/proc/4112/stat : 4112 (python) S 4110 4112 3958 0 -1 4202496 10518 1012 1 0 35 9 0 0 20 0 2 0 337475301 365867008 7204 33554432000 4194304 5683644 140735686107536 140735686102368 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4112/statm: 89323 7204 1892 364 0 24546 0
[pid=4119] ppid=4112 vsize=281512 CPUtime=0.05 cores=1,3,5,7
/proc/4119/stat : 4119 (python) S 4112 4112 3958 0 -1 4202560 1009 0 0 0 3 2 0 0 20 0 1 0 337475418 288268288 5675 33554432000 4194304 5683644 140735686107536 140735686098624 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/4119/statm: 70378 5675 369 364 0 5601 0
[pid=4121] ppid=4119 vsize=39152 CPUtime=27.51 cores=1,3,5,7
/proc/4121/stat : 4121 (scip-2.0.1.linu) R 4119 4121 4121 0 -1 4202496 8960 0 0 0 2688 63 0 0 20 0 1 0 337475418 40091648 7531 33554432000 4194304 13684479 140734928328544 140734928322376 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/4121/statm: 9788 7531 821 2317 0 7466 0
[pid=4112/tid=4120] ppid=4110 vsize=357292 CPUtime=0 cores=1,3,5,7
/proc/4112/task/4120/stat : 4120 (python) S 4110 4112 3958 0 -1 4202560 27 1012 0 0 0 0 0 0 20 0 2 0 337475418 365867008 7204 33554432000 4194304 5683644 140735686107536 140078043845168 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 28
Current children cumulated vsize (KiB) 677956
[startup+28.9003 s]
/proc/loadavg: 1.90 1.69 1.82 3/191 4124
/proc/meminfo: memFree=29749468/32873648 swapFree=7628/7628
[pid=4112] ppid=4110 vsize=357292 CPUtime=0.44 cores=1,3,5,7
/proc/4112/stat : 4112 (python) S 4110 4112 3958 0 -1 4202496 10518 1012 1 0 35 9 0 0 20 0 2 0 337475301 365867008 7204 33554432000 4194304 5683644 140735686107536 140735686102368 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4112/statm: 89323 7204 1892 364 0 24546 0
[pid=4119] ppid=4112 vsize=281512 CPUtime=0.05 cores=1,3,5,7
/proc/4119/stat : 4119 (python) S 4112 4112 3958 0 -1 4202560 1009 0 0 0 3 2 0 0 20 0 1 0 337475418 288268288 5675 33554432000 4194304 5683644 140735686107536 140735686098624 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/4119/statm: 70378 5675 369 364 0 5601 0
[pid=4121] ppid=4119 vsize=39152 CPUtime=27.71 cores=1,3,5,7
/proc/4121/stat : 4121 (scip-2.0.1.linu) R 4119 4121 4121 0 -1 4202496 8962 0 0 0 2707 64 0 0 20 0 1 0 337475418 40091648 7533 33554432000 4194304 13684479 140734928328544 140734928325224 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/4121/statm: 9788 7533 821 2317 0 7466 0
[pid=4112/tid=4120] ppid=4110 vsize=357292 CPUtime=0 cores=1,3,5,7
/proc/4112/task/4120/stat : 4120 (python) S 4110 4112 3958 0 -1 4202560 27 1012 0 0 0 0 0 0 20 0 2 0 337475418 365867008 7204 33554432000 4194304 5683644 140735686107536 140078043845168 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 28.2
Current children cumulated vsize (KiB) 677956
[startup+29.0004 s]
/proc/loadavg: 1.90 1.69 1.82 3/191 4124
/proc/meminfo: memFree=29749468/32873648 swapFree=7628/7628
[pid=4112] ppid=4110 vsize=357292 CPUtime=0.44 cores=1,3,5,7
/proc/4112/stat : 4112 (python) S 4110 4112 3958 0 -1 4202496 10518 1012 1 0 35 9 0 0 20 0 2 0 337475301 365867008 7204 33554432000 4194304 5683644 140735686107536 140735686102368 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4112/statm: 89323 7204 1892 364 0 24546 0
[pid=4119] ppid=4112 vsize=281512 CPUtime=0.05 cores=1,3,5,7
/proc/4119/stat : 4119 (python) S 4112 4112 3958 0 -1 4202560 1009 0 0 0 3 2 0 0 20 0 1 0 337475418 288268288 5675 33554432000 4194304 5683644 140735686107536 140735686098624 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/4119/statm: 70378 5675 369 364 0 5601 0
[pid=4121] ppid=4119 vsize=39152 CPUtime=27.81 cores=1,3,5,7
/proc/4121/stat : 4121 (scip-2.0.1.linu) R 4119 4121 4121 0 -1 4202496 8968 0 0 0 2717 64 0 0 20 0 1 0 337475418 40091648 7539 33554432000 4194304 13684479 140734928328544 140734928325224 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/4121/statm: 9788 7539 821 2317 0 7466 0
[pid=4112/tid=4120] ppid=4110 vsize=357292 CPUtime=0 cores=1,3,5,7
/proc/4112/task/4120/stat : 4120 (python) S 4110 4112 3958 0 -1 4202560 27 1012 0 0 0 0 0 0 20 0 2 0 337475418 365867008 7204 33554432000 4194304 5683644 140735686107536 140078043845168 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 28.3
Current children cumulated vsize (KiB) 677956
Child status: 0
Real time (s): 29.0849
CPU time (s): 28.4207
CPU user time (s): 27.6468
CPU system time (s): 0.773882
CPU usage (%): 97.7163
Max. virtual memory (cumulated for all children) (KiB): 677956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.6468
system time used= 0.773882
maximum resident set size= 31152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26205
page faults= 1
swaps= 0
block input operations= 0
block output operations= 448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2132
involuntary context switches= 115
runsolver used 0.073988 second user time and 0.158975 second system time
The end