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-3730975-1338715971/watcher-3730975-1338715971 -o /tmp/evaluation-result-3730975-1338715971/solver-3730975-1338715971 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3730975-1338715971.opb -seed 179829796 -budget 1800 

running on 4 cores: 0,2,4,6

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: 2.96 3.46 2.72 3/183 5479
/proc/meminfo: memFree=29601224/32873648 swapFree=7628/7628
[pid=5479] ppid=5477 vsize=15276 CPUtime=0 cores=0,2,4,6
/proc/5479/stat : 5479 (python) R 5477 5479 3958 0 -1 4202496 671 0 0 0 0 0 0 0 20 0 1 0 337723196 15642624 559 33554432000 4194304 5683644 140735882572544 140735882558456 217410519952 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0
/proc/5479/statm: 3819 559 324 364 0 261 0

[startup+0.0128489 s]
/proc/loadavg: 2.96 3.46 2.72 3/183 5479
/proc/meminfo: memFree=29601224/32873648 swapFree=7628/7628
[pid=5479] ppid=5477 vsize=15412 CPUtime=0 cores=0,2,4,6
/proc/5479/stat : 5479 (python) R 5477 5479 3958 0 -1 4202496 756 0 0 0 0 0 0 0 20 0 1 0 337723196 15781888 631 33554432000 4194304 5683644 140735882572544 140735882517272 217410520352 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0
/proc/5479/statm: 3845 631 334 364 0 287 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15412

[startup+0.10015 s]
/proc/loadavg: 2.96 3.46 2.72 3/183 5479
/proc/meminfo: memFree=29601224/32873648 swapFree=7628/7628
[pid=5479] ppid=5477 vsize=19088 CPUtime=0.02 cores=0,2,4,6
/proc/5479/stat : 5479 (python) R 5477 5479 3958 0 -1 4202496 1397 0 0 0 2 0 0 0 20 0 1 0 337723196 19546112 1152 33554432000 4194304 5683644 140735882572544 140735882503048 4865436 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0
/proc/5479/statm: 4772 1152 430 364 0 696 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 19088

[startup+0.300153 s]
/proc/loadavg: 2.96 3.46 2.72 3/183 5479
/proc/meminfo: memFree=29601224/32873648 swapFree=7628/7628
[pid=5479] ppid=5477 vsize=96920 CPUtime=0.11 cores=0,2,4,6
/proc/5479/stat : 5479 (python) D 5477 5479 3958 0 -1 4202496 3962 1011 1 0 9 2 0 0 20 0 1 0 337723196 99246080 2653 33554432000 4194304 5683644 140735882572544 140735882440904 217410519952 0 0 16781312 2 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/5479/statm: 24230 2653 823 364 0 1721 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 96920

[startup+0.70013 s]
/proc/loadavg: 2.96 3.46 2.72 3/183 5479
/proc/meminfo: memFree=29601224/32873648 swapFree=7628/7628
[pid=5479] ppid=5477 vsize=138348 CPUtime=0.19 cores=0,2,4,6
/proc/5479/stat : 5479 (python) D 5477 5479 3958 0 -1 4202496 6246 1011 1 0 14 5 0 0 20 0 1 0 337723196 141668352 4083 33554432000 4194304 5683644 140735882572544 140735882490504 217410519952 0 0 16781312 2 18446744072100588836 0 0 17 2 0 0 0 0 0
/proc/5479/statm: 34587 4083 1098 364 0 2953 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 138348

[startup+1.50018 s]
/proc/loadavg: 2.96 3.46 2.72 3/184 5484
/proc/meminfo: memFree=29584808/32873648 swapFree=7628/7628
[pid=5479] ppid=5477 vsize=288544 CPUtime=0.63 cores=0,2,4,6
/proc/5479/stat : 5479 (python) R 5477 5479 3958 0 -1 4202496 12889 1011 1 0 54 9 0 0 20 0 1 0 337723196 295469056 8886 33554432000 4194304 5683644 140735882572544 140735882565544 139661495205559 0 0 16781312 33554434 0 0 0 17 2 0 0 0 0 0
/proc/5479/statm: 72136 8886 1846 364 0 7365 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 288544

[startup+3.10027 s]
/proc/loadavg: 2.96 3.46 2.72 3/187 5487
/proc/meminfo: memFree=29568544/32873648 swapFree=7628/7628
[pid=5479] ppid=5477 vsize=363000 CPUtime=0.9 cores=0,2,4,6
/proc/5479/stat : 5479 (python) S 5477 5479 3958 0 -1 4202496 13363 1011 1 0 81 9 0 0 20 0 2 0 337723196 371712000 8626 33554432000 4194304 5683644 140735882572544 140735882567376 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5479/statm: 90750 8626 1901 364 0 25973 0
[pid=5485] ppid=5479 vsize=288304 CPUtime=0 cores=0,2,4,6
/proc/5485/stat : 5485 (python) S 5479 5479 3958 0 -1 4202560 736 0 0 0 0 0 0 0 20 0 1 0 337723373 295223296 7062 33554432000 4194304 5683644 140735882572544 140735882563632 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/5485/statm: 72076 7062 342 364 0 7299 0
[pid=5487] ppid=5485 vsize=5216 CPUtime=1.32 cores=0,2,4,6
/proc/5487/stat : 5487 (clasp-1.3.7-x86) R 5485 5487 5487 0 -1 4202496 1408 0 0 0 132 0 0 0 20 0 1 0 337723374 5341184 1033 33554432000 134512640 136139019 4291779056 4291777920 134608372 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0
/proc/5487/statm: 1304 1033 182 398 0 904 0
[pid=5479/tid=5486] ppid=5477 vsize=363000 CPUtime=0 cores=0,2,4,6
/proc/5479/task/5486/stat : 5486 (python) S 5477 5479 3958 0 -1 4202560 25 1011 0 0 0 0 0 0 20 0 2 0 337723374 371712000 8626 33554432000 4194304 5683644 140735882572544 139661316284976 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 656520
heavy processes:

[startup+6.30027 s]
/proc/loadavg: 2.97 3.46 2.72 3/187 5487
/proc/meminfo: memFree=29567324/32873648 swapFree=7628/7628
[pid=5479] ppid=5477 vsize=363000 CPUtime=0.9 cores=0,2,4,6
/proc/5479/stat : 5479 (python) S 5477 5479 3958 0 -1 4202496 13363 1011 1 0 81 9 0 0 20 0 2 0 337723196 371712000 8626 33554432000 4194304 5683644 140735882572544 140735882567376 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5479/statm: 90750 8626 1901 364 0 25973 0
[pid=5485] ppid=5479 vsize=288304 CPUtime=0 cores=0,2,4,6
/proc/5485/stat : 5485 (python) S 5479 5479 3958 0 -1 4202560 891 0 0 0 0 0 0 0 20 0 1 0 337723373 295223296 7084 33554432000 4194304 5683644 140735882572544 140735882563632 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/5485/statm: 72076 7084 364 364 0 7299 0
[pid=5487] ppid=5485 vsize=6668 CPUtime=4.51 cores=0,2,4,6
/proc/5487/stat : 5487 (clasp-1.3.7-x86) R 5485 5487 5487 0 -1 4202496 1779 0 0 0 451 0 0 0 20 0 1 0 337723374 6828032 1404 33554432000 134512640 136139019 4291779056 4291778032 134876788 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/5487/statm: 1667 1404 182 398 0 1267 0
[pid=5479/tid=5486] ppid=5477 vsize=363000 CPUtime=0 cores=0,2,4,6
/proc/5479/task/5486/stat : 5486 (python) S 5477 5479 3958 0 -1 4202560 25 1011 0 0 0 0 0 0 20 0 2 0 337723374 371712000 8626 33554432000 4194304 5683644 140735882572544 139661316284976 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 5.41
Current children cumulated vsize (KiB) 657972

[startup+12.7003 s]
/proc/loadavg: 2.89 3.43 2.72 3/187 5487
/proc/meminfo: memFree=29565348/32873648 swapFree=7628/7628
[pid=5479] ppid=5477 vsize=363000 CPUtime=0.9 cores=0,2,4,6
/proc/5479/stat : 5479 (python) S 5477 5479 3958 0 -1 4202496 13363 1011 1 0 81 9 0 0 20 0 2 0 337723196 371712000 8626 33554432000 4194304 5683644 140735882572544 140735882567376 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5479/statm: 90750 8626 1901 364 0 25973 0
[pid=5485] ppid=5479 vsize=288304 CPUtime=0 cores=0,2,4,6
/proc/5485/stat : 5485 (python) S 5479 5479 3958 0 -1 4202560 896 0 0 0 0 0 0 0 20 0 1 0 337723373 295223296 7084 33554432000 4194304 5683644 140735882572544 140735882563632 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/5485/statm: 72076 7084 364 364 0 7299 0
[pid=5487] ppid=5485 vsize=8544 CPUtime=10.91 cores=0,2,4,6
/proc/5487/stat : 5487 (clasp-1.3.7-x86) R 5485 5487 5487 0 -1 4202496 2237 0 0 0 1091 0 0 0 20 0 1 0 337723374 8749056 1862 33554432000 134512640 136139019 4291779056 4291778032 134883867 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0
/proc/5487/statm: 2136 1862 182 398 0 1736 0
[pid=5479/tid=5486] ppid=5477 vsize=363000 CPUtime=0 cores=0,2,4,6
/proc/5479/task/5486/stat : 5486 (python) S 5477 5479 3958 0 -1 4202560 25 1011 0 0 0 0 0 0 20 0 2 0 337723374 371712000 8626 33554432000 4194304 5683644 140735882572544 139661316284976 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 11.81
Current children cumulated vsize (KiB) 659848

[startup+25.5002 s]
/proc/loadavg: 2.69 3.36 2.71 3/187 5487
/proc/meminfo: memFree=29563140/32873648 swapFree=7628/7628
[pid=5479] ppid=5477 vsize=363000 CPUtime=0.9 cores=0,2,4,6
/proc/5479/stat : 5479 (python) S 5477 5479 3958 0 -1 4202496 13363 1011 1 0 81 9 0 0 20 0 2 0 337723196 371712000 8626 33554432000 4194304 5683644 140735882572544 140735882567376 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5479/statm: 90750 8626 1901 364 0 25973 0
[pid=5485] ppid=5479 vsize=288304 CPUtime=0.03 cores=0,2,4,6
/proc/5485/stat : 5485 (python) S 5479 5479 3958 0 -1 4202560 908 0 0 0 2 1 0 0 20 0 1 0 337723373 295223296 7085 33554432000 4194304 5683644 140735882572544 140735882563632 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/5485/statm: 72076 7085 365 364 0 7299 0
[pid=5487] ppid=5485 vsize=11332 CPUtime=23.7 cores=0,2,4,6
/proc/5487/stat : 5487 (clasp-1.3.7-x86) R 5485 5487 5487 0 -1 4202496 2943 0 0 0 2370 0 0 0 20 0 1 0 337723374 11603968 2568 33554432000 134512640 136139019 4291779056 4291777920 134608378 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/5487/statm: 2833 2568 182 398 0 2433 0
[pid=5479/tid=5486] ppid=5477 vsize=363000 CPUtime=0 cores=0,2,4,6
/proc/5479/task/5486/stat : 5486 (python) S 5477 5479 3958 0 -1 4202560 25 1011 0 0 0 0 0 0 20 0 2 0 337723374 371712000 8626 33554432000 4194304 5683644 140735882572544 139661316284976 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 24.63
Current children cumulated vsize (KiB) 662636

[startup+51.1006 s]
/proc/loadavg: 2.45 3.25 2.69 3/195 5495
/proc/meminfo: memFree=28822348/32873648 swapFree=7628/7628
[pid=5479] ppid=5477 vsize=439356 CPUtime=2.55 cores=0,2,4,6
/proc/5479/stat : 5479 (python) S 5477 5479 3958 0 -1 4202496 14411 1011 1 0 245 10 0 0 20 0 3 0 337723196 449900544 8761 33554432000 4194304 5683644 140735882572544 140735882567376 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5479/statm: 109839 8761 1904 364 0 45059 0
[pid=5485] ppid=5479 vsize=364084 CPUtime=0.07 cores=0,2,4,6
/proc/5485/stat : 5485 (python) S 5479 5479 3958 0 -1 4202560 1149 0 0 0 5 2 0 0 20 0 2 0 337723373 372822016 7125 33554432000 4194304 5683644 140735882572544 140735882564192 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5485/statm: 91021 7125 398 364 0 26244 0
[pid=5487] ppid=5485 vsize=16104 CPUtime=47.09 cores=0,2,4,6
/proc/5487/stat : 5487 (clasp-1.3.7-x86) T 5485 5487 5487 0 -1 4202496 4140 0 0 0 4709 0 0 0 20 0 1 0 337723374 16490496 3765 33554432000 134512640 136139019 4291779056 4291778096 134867640 0 0 16781312 16386 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/5487/statm: 4026 3765 182 398 0 3626 0
[pid=5485/tid=5492] ppid=5479 vsize=364084 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5492/stat : 5492 (python) S 5479 5479 3958 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 2 0 337728086 372822016 7125 33554432000 4194304 5683644 140735882572544 139661316284976 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5493] ppid=5479 vsize=363948 CPUtime=0 cores=0,2,4,6
/proc/5493/stat : 5493 (python) S 5479 5479 3958 0 -1 4202560 780 0 0 0 0 0 0 0 20 0 1 0 337728251 372682752 7189 33554432000 4194304 5683644 140735882572544 140735882563632 217410535907 0 0 16781312 33554946 18446744071580425449 0 0 17 6 0 0 0 0 0
/proc/5493/statm: 90987 7189 337 364 0 26207 0
[pid=5495] ppid=5493 vsize=206944 CPUtime=0.54 cores=0,2,4,6
/proc/5495/stat : 5495 (minion) R 5493 5495 5495 0 -1 4202496 39007 0 0 0 49 5 0 0 20 0 1 0 337728251 211910656 44385 33554432000 134512640 165565024 4286666224 4286663456 159737071 0 0 16781312 8396802 0 0 0 17 2 0 0 0 0 0
/proc/5495/statm: 51736 44398 354 7582 0 44151 0
[pid=5479/tid=5486] ppid=5477 vsize=439356 CPUtime=0 cores=0,2,4,6
/proc/5479/task/5486/stat : 5486 (python) S 5477 5479 3958 0 -1 4202560 25 1011 0 0 0 0 0 0 20 0 3 0 337723374 449900544 8761 33554432000 4194304 5683644 140735882572544 139661316284976 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5479/tid=5494] ppid=5477 vsize=439356 CPUtime=0 cores=0,2,4,6
/proc/5479/task/5494/stat : 5494 (python) S 5477 5479 3958 0 -1 4202560 21 1011 0 0 0 0 0 0 20 0 3 0 337728251 449900544 8761 33554432000 4194304 5683644 140735882572544 139661305795120 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 50.25
Current children cumulated vsize (KiB) 1390436

[startup+102.3 s]
/proc/loadavg: 2.20 3.06 2.65 3/203 5503
/proc/meminfo: memFree=27602176/32873648 swapFree=7628/7628
[pid=5479] ppid=5477 vsize=515148 CPUtime=2.58 cores=0,2,4,6
/proc/5479/stat : 5479 (python) S 5477 5479 3958 0 -1 4202496 15269 1011 1 0 248 10 0 0 20 0 4 0 337723196 527511552 8769 33554432000 4194304 5683644 140735882572544 140735882567376 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5479/statm: 128787 8769 1906 364 0 64004 0
[pid=5485] ppid=5479 vsize=364084 CPUtime=0.07 cores=0,2,4,6
/proc/5485/stat : 5485 (python) S 5479 5479 3958 0 -1 4202560 1149 0 0 0 5 2 0 0 20 0 2 0 337723373 372822016 7125 33554432000 4194304 5683644 140735882572544 140735882564192 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5485/statm: 91021 7125 398 364 0 26244 0
[pid=5487] ppid=5485 vsize=16104 CPUtime=47.09 cores=0,2,4,6
/proc/5487/stat : 5487 (clasp-1.3.7-x86) T 5485 5487 5487 0 -1 4202496 4140 0 0 0 4709 0 0 0 20 0 1 0 337723374 16490496 3765 33554432000 134512640 136139019 4291779056 4291778096 134867640 0 0 16781312 16386 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/5487/statm: 4026 3765 182 398 0 3626 0
[pid=5485/tid=5492] ppid=5479 vsize=364084 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5492/stat : 5492 (python) S 5479 5479 3958 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 2 0 337728086 372822016 7125 33554432000 4194304 5683644 140735882572544 139661316284976 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5493] ppid=5479 vsize=363948 CPUtime=0.07 cores=0,2,4,6
/proc/5493/stat : 5493 (python) S 5479 5479 3958 0 -1 4202560 1082 0 0 0 4 3 0 0 20 0 2 0 337728251 372682752 7238 33554432000 4194304 5683644 140735882572544 140735882564192 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5493/statm: 90987 7238 385 364 0 26207 0
[pid=5495] ppid=5493 vsize=450788 CPUtime=47.6 cores=0,2,4,6
/proc/5495/stat : 5495 (minion) T 5493 5495 5495 0 -1 4202496 100022 0 0 0 4748 12 0 0 20 0 1 0 337728251 461606912 105399 33554432000 134512640 165565024 4286666224 4286663472 159737071 0 0 16781312 8396802 18446744071579387992 0 0 17 2 0 0 0 0 0
/proc/5495/statm: 112697 105399 354 7582 0 105112 0
[pid=5493/tid=5500] ppid=5479 vsize=363948 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5500/stat : 5500 (python) S 5479 5479 3958 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 2 0 337733013 372682752 7238 33554432000 4194304 5683644 140735882572544 139661316284976 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5501] ppid=5479 vsize=439812 CPUtime=0 cores=0,2,4,6
/proc/5501/stat : 5501 (python) S 5479 5479 3958 0 -1 4202560 920 0 0 0 0 0 0 0 20 0 1 0 337733016 450367488 7218 33554432000 4194304 5683644 140735882572544 140735882563632 217410535907 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/5501/statm: 109953 7218 360 364 0 45170 0
[pid=5503] ppid=5501 vsize=21116 CPUtime=4.1 cores=0,2,4,6
/proc/5503/stat : 5503 (wbo1.4b-fixed) R 5501 5503 5503 0 -1 4202496 5317 0 0 0 407 3 0 0 20 0 1 0 337733016 21622784 4795 33554432000 134512640 135752315 4287690560 4287688636 135270849 0 0 16781312 3 0 0 0 17 2 0 0 0 0 0
/proc/5503/statm: 5279 4795 147 303 0 4974 0
[pid=5479/tid=5486] ppid=5477 vsize=515148 CPUtime=0 cores=0,2,4,6
/proc/5479/task/5486/stat : 5486 (python) S 5477 5479 3958 0 -1 4202560 25 1011 0 0 0 0 0 0 20 0 4 0 337723374 527511552 8769 33554432000 4194304 5683644 140735882572544 139661316284976 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5479/tid=5494] ppid=5477 vsize=515148 CPUtime=0 cores=0,2,4,6

################
# More data... #
################

/proc/5509/stat : 5509 (scip-2.0.1.linu) T 5507 5509 5509 0 -1 4202496 30733 0 0 0 4808 11 0 0 20 0 1 0 337738046 127688704 28715 33554432000 4194304 13684479 140733541044432 140733541036568 7155211 0 0 16781312 2 18446744071579387992 0 0 17 2 0 0 0 0 0
/proc/5509/statm: 31174 28715 764 2317 0 28852 0
[pid=5507/tid=5513] ppid=5479 vsize=515684 CPUtime=0 cores=0,2,4,6
/proc/5507/task/5513/stat : 5513 (python) S 5479 5479 3958 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 2 0 337742867 528060416 7250 33554432000 4194304 5683644 140735882572544 139661295305264 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5479/tid=5486] ppid=5477 vsize=590940 CPUtime=0 cores=0,2,4,6
/proc/5479/task/5486/stat : 5486 (python) S 5477 5479 3958 0 -1 4202560 29 1011 0 0 0 0 0 0 20 0 5 0 337723374 605122560 8778 33554432000 4194304 5683644 140735882572544 139661316284976 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5479/tid=5494] ppid=5477 vsize=590940 CPUtime=0 cores=0,2,4,6
/proc/5479/task/5494/stat : 5494 (python) S 5477 5479 3958 0 -1 4202560 21 1011 0 0 0 0 0 0 20 0 5 0 337728251 605122560 8778 33554432000 4194304 5683644 140735882572544 139661305795120 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5479/tid=5502] ppid=5477 vsize=590940 CPUtime=0 cores=0,2,4,6
/proc/5479/task/5502/stat : 5502 (python) S 5477 5479 3958 0 -1 4202560 21 1011 0 0 0 0 0 0 20 0 5 0 337733016 605122560 8778 33554432000 4194304 5683644 140735882572544 139661295305264 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5479/tid=5508] ppid=5477 vsize=590940 CPUtime=0 cores=0,2,4,6
/proc/5479/task/5508/stat : 5508 (python) S 5477 5479 3958 0 -1 4202560 21 1011 0 0 0 0 0 0 20 0 5 0 337738045 605122560 8778 33554432000 4194304 5683644 140735882572544 139661284815408 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 200.93
Current children cumulated vsize (KiB) 3006868

[startup+203.201 s]
/proc/loadavg: 2.03 2.75 2.58 3/212 5513
/proc/meminfo: memFree=27269168/32873648 swapFree=7628/7628
[pid=5479] ppid=5477 vsize=590940 CPUtime=2.63 cores=0,2,4,6
/proc/5479/stat : 5479 (python) S 5477 5479 3958 0 -1 4202496 16803 1011 1 0 253 10 0 0 20 0 5 0 337723196 605122560 8778 33554432000 4194304 5683644 140735882572544 140735882567376 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5479/statm: 147735 8778 1908 364 0 82949 0
[pid=5485] ppid=5479 vsize=364084 CPUtime=0.08 cores=0,2,4,6
/proc/5485/stat : 5485 (python) S 5479 5479 3958 0 -1 4202560 1156 0 0 0 6 2 0 0 20 0 2 0 337723373 372822016 7126 33554432000 4194304 5683644 140735882572544 140735882563632 217410535907 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5485/statm: 91021 7126 399 364 0 26244 0
[pid=5487] ppid=5485 vsize=17560 CPUtime=53.56 cores=0,2,4,6
/proc/5487/stat : 5487 (clasp-1.3.7-x86) R 5485 5487 5487 0 -1 4202496 4494 0 0 0 5356 0 0 0 20 0 1 0 337723374 17981440 4119 33554432000 134512640 136139019 4291779056 4291777888 134832310 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/5487/statm: 4390 4119 182 398 0 3990 0
[pid=5485/tid=5492] ppid=5479 vsize=364084 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5492/stat : 5492 (python) S 5479 5479 3958 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 2 0 337728086 372822016 7126 33554432000 4194304 5683644 140735882572544 139661316284976 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5493] ppid=5479 vsize=363948 CPUtime=0.07 cores=0,2,4,6
/proc/5493/stat : 5493 (python) S 5479 5479 3958 0 -1 4202560 1082 0 0 0 4 3 0 0 20 0 2 0 337728251 372682752 7238 33554432000 4194304 5683644 140735882572544 140735882564192 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5493/statm: 90987 7238 385 364 0 26207 0
[pid=5495] ppid=5493 vsize=450788 CPUtime=47.6 cores=0,2,4,6
/proc/5495/stat : 5495 (minion) T 5493 5495 5495 0 -1 4202496 100022 0 0 0 4748 12 0 0 20 0 1 0 337728251 461606912 105399 33554432000 134512640 165565024 4286666224 4286663472 159737071 0 0 16781312 8396802 18446744071579387992 0 0 17 2 0 0 0 0 0
/proc/5495/statm: 112697 105399 354 7582 0 105112 0
[pid=5493/tid=5500] ppid=5479 vsize=363948 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5500/stat : 5500 (python) S 5479 5479 3958 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 2 0 337733013 372682752 7238 33554432000 4194304 5683644 140735882572544 139661316284976 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5501] ppid=5479 vsize=439812 CPUtime=0.08 cores=0,2,4,6
/proc/5501/stat : 5501 (python) S 5479 5479 3958 0 -1 4202560 1112 0 0 0 4 4 0 0 20 0 2 0 337733016 450367488 7244 33554432000 4194304 5683644 140735882572544 140735882564192 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5501/statm: 109953 7244 385 364 0 45170 0
[pid=5503] ppid=5501 vsize=139624 CPUtime=50.25 cores=0,2,4,6
/proc/5503/stat : 5503 (wbo1.4b-fixed) T 5501 5503 5503 0 -1 4202496 34888 0 0 0 4997 28 0 0 20 0 1 0 337733016 142974976 34366 33554432000 134512640 135752315 4287690560 4287688080 134639130 0 0 16781312 3 18446744071579387992 0 0 17 2 0 0 0 0 0
/proc/5503/statm: 34906 34366 147 303 0 34601 0
[pid=5501/tid=5506] ppid=5479 vsize=439812 CPUtime=0 cores=0,2,4,6
/proc/5501/task/5506/stat : 5506 (python) S 5479 5479 3958 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 2 0 337738043 450367488 7244 33554432000 4194304 5683644 140735882572544 139661305795120 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5507] ppid=5479 vsize=515684 CPUtime=0.08 cores=0,2,4,6
/proc/5507/stat : 5507 (python) S 5479 5479 3958 0 -1 4202560 1119 0 0 0 4 4 0 0 20 0 2 0 337738045 528060416 7250 33554432000 4194304 5683644 140735882572544 140735882564192 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5507/statm: 128921 7250 385 364 0 64135 0
[pid=5509] ppid=5507 vsize=124696 CPUtime=48.19 cores=0,2,4,6
/proc/5509/stat : 5509 (scip-2.0.1.linu) T 5507 5509 5509 0 -1 4202496 30733 0 0 0 4808 11 0 0 20 0 1 0 337738046 127688704 28715 33554432000 4194304 13684479 140733541044432 140733541036568 7155211 0 0 16781312 2 18446744071579387992 0 0 17 2 0 0 0 0 0
/proc/5509/statm: 31174 28715 764 2317 0 28852 0
[pid=5507/tid=5513] ppid=5479 vsize=515684 CPUtime=0 cores=0,2,4,6
/proc/5507/task/5513/stat : 5513 (python) S 5479 5479 3958 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 2 0 337742867 528060416 7250 33554432000 4194304 5683644 140735882572544 139661295305264 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5479/tid=5486] ppid=5477 vsize=590940 CPUtime=0 cores=0,2,4,6
/proc/5479/task/5486/stat : 5486 (python) S 5477 5479 3958 0 -1 4202560 29 1011 0 0 0 0 0 0 20 0 5 0 337723374 605122560 8778 33554432000 4194304 5683644 140735882572544 139661316284976 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5479/tid=5494] ppid=5477 vsize=590940 CPUtime=0 cores=0,2,4,6
/proc/5479/task/5494/stat : 5494 (python) S 5477 5479 3958 0 -1 4202560 21 1011 0 0 0 0 0 0 20 0 5 0 337728251 605122560 8778 33554432000 4194304 5683644 140735882572544 139661305795120 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5479/tid=5502] ppid=5477 vsize=590940 CPUtime=0 cores=0,2,4,6
/proc/5479/task/5502/stat : 5502 (python) S 5477 5479 3958 0 -1 4202560 21 1011 0 0 0 0 0 0 20 0 5 0 337733016 605122560 8778 33554432000 4194304 5683644 140735882572544 139661295305264 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5479/tid=5508] ppid=5477 vsize=590940 CPUtime=0 cores=0,2,4,6
/proc/5479/task/5508/stat : 5508 (python) S 5477 5479 3958 0 -1 4202560 21 1011 0 0 0 0 0 0 20 0 5 0 337738045 605122560 8778 33554432000 4194304 5683644 140735882572544 139661284815408 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 202.54
Current children cumulated vsize (KiB) 3007136

[startup+204.001 s]
/proc/loadavg: 2.03 2.74 2.57 3/212 5513
/proc/meminfo: memFree=27268920/32873648 swapFree=7628/7628
[pid=5479] ppid=5477 vsize=590940 CPUtime=2.63 cores=0,2,4,6
/proc/5479/stat : 5479 (python) S 5477 5479 3958 0 -1 4202496 16803 1011 1 0 253 10 0 0 20 0 5 0 337723196 605122560 8778 33554432000 4194304 5683644 140735882572544 140735882567376 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5479/statm: 147735 8778 1908 364 0 82949 0
[pid=5485] ppid=5479 vsize=364084 CPUtime=0.08 cores=0,2,4,6
/proc/5485/stat : 5485 (python) S 5479 5479 3958 0 -1 4202560 1156 0 0 0 6 2 0 0 20 0 2 0 337723373 372822016 7126 33554432000 4194304 5683644 140735882572544 140735882563632 217410535907 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5485/statm: 91021 7126 399 364 0 26244 0
[pid=5487] ppid=5485 vsize=17560 CPUtime=54.36 cores=0,2,4,6
/proc/5487/stat : 5487 (clasp-1.3.7-x86) R 5485 5487 5487 0 -1 4202496 4494 0 0 0 5436 0 0 0 20 0 1 0 337723374 17981440 4119 33554432000 134512640 136139019 4291779056 4291777920 134608376 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/5487/statm: 4390 4119 182 398 0 3990 0
[pid=5485/tid=5492] ppid=5479 vsize=364084 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5492/stat : 5492 (python) S 5479 5479 3958 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 2 0 337728086 372822016 7126 33554432000 4194304 5683644 140735882572544 139661316284976 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5493] ppid=5479 vsize=363948 CPUtime=0.07 cores=0,2,4,6
/proc/5493/stat : 5493 (python) S 5479 5479 3958 0 -1 4202560 1082 0 0 0 4 3 0 0 20 0 2 0 337728251 372682752 7238 33554432000 4194304 5683644 140735882572544 140735882564192 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5493/statm: 90987 7238 385 364 0 26207 0
[pid=5495] ppid=5493 vsize=450788 CPUtime=47.6 cores=0,2,4,6
/proc/5495/stat : 5495 (minion) T 5493 5495 5495 0 -1 4202496 100022 0 0 0 4748 12 0 0 20 0 1 0 337728251 461606912 105399 33554432000 134512640 165565024 4286666224 4286663472 159737071 0 0 16781312 8396802 18446744071579387992 0 0 17 2 0 0 0 0 0
/proc/5495/statm: 112697 105399 354 7582 0 105112 0
[pid=5493/tid=5500] ppid=5479 vsize=363948 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5500/stat : 5500 (python) S 5479 5479 3958 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 2 0 337733013 372682752 7238 33554432000 4194304 5683644 140735882572544 139661316284976 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5501] ppid=5479 vsize=439812 CPUtime=0.08 cores=0,2,4,6
/proc/5501/stat : 5501 (python) S 5479 5479 3958 0 -1 4202560 1112 0 0 0 4 4 0 0 20 0 2 0 337733016 450367488 7244 33554432000 4194304 5683644 140735882572544 140735882564192 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5501/statm: 109953 7244 385 364 0 45170 0
[pid=5503] ppid=5501 vsize=139624 CPUtime=50.25 cores=0,2,4,6
/proc/5503/stat : 5503 (wbo1.4b-fixed) T 5501 5503 5503 0 -1 4202496 34888 0 0 0 4997 28 0 0 20 0 1 0 337733016 142974976 34366 33554432000 134512640 135752315 4287690560 4287688080 134639130 0 0 16781312 3 18446744071579387992 0 0 17 2 0 0 0 0 0
/proc/5503/statm: 34906 34366 147 303 0 34601 0
[pid=5501/tid=5506] ppid=5479 vsize=439812 CPUtime=0 cores=0,2,4,6
/proc/5501/task/5506/stat : 5506 (python) S 5479 5479 3958 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 2 0 337738043 450367488 7244 33554432000 4194304 5683644 140735882572544 139661305795120 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5507] ppid=5479 vsize=515684 CPUtime=0.08 cores=0,2,4,6
/proc/5507/stat : 5507 (python) S 5479 5479 3958 0 -1 4202560 1119 0 0 0 4 4 0 0 20 0 2 0 337738045 528060416 7250 33554432000 4194304 5683644 140735882572544 140735882564192 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5507/statm: 128921 7250 385 364 0 64135 0
[pid=5509] ppid=5507 vsize=124696 CPUtime=48.19 cores=0,2,4,6
/proc/5509/stat : 5509 (scip-2.0.1.linu) T 5507 5509 5509 0 -1 4202496 30733 0 0 0 4808 11 0 0 20 0 1 0 337738046 127688704 28715 33554432000 4194304 13684479 140733541044432 140733541036568 7155211 0 0 16781312 2 18446744071579387992 0 0 17 2 0 0 0 0 0
/proc/5509/statm: 31174 28715 764 2317 0 28852 0
[pid=5507/tid=5513] ppid=5479 vsize=515684 CPUtime=0 cores=0,2,4,6
/proc/5507/task/5513/stat : 5513 (python) S 5479 5479 3958 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 2 0 337742867 528060416 7250 33554432000 4194304 5683644 140735882572544 139661295305264 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5479/tid=5486] ppid=5477 vsize=590940 CPUtime=0 cores=0,2,4,6
/proc/5479/task/5486/stat : 5486 (python) S 5477 5479 3958 0 -1 4202560 29 1011 0 0 0 0 0 0 20 0 5 0 337723374 605122560 8778 33554432000 4194304 5683644 140735882572544 139661316284976 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5479/tid=5494] ppid=5477 vsize=590940 CPUtime=0 cores=0,2,4,6
/proc/5479/task/5494/stat : 5494 (python) S 5477 5479 3958 0 -1 4202560 21 1011 0 0 0 0 0 0 20 0 5 0 337728251 605122560 8778 33554432000 4194304 5683644 140735882572544 139661305795120 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5479/tid=5502] ppid=5477 vsize=590940 CPUtime=0 cores=0,2,4,6
/proc/5479/task/5502/stat : 5502 (python) S 5477 5479 3958 0 -1 4202560 21 1011 0 0 0 0 0 0 20 0 5 0 337733016 605122560 8778 33554432000 4194304 5683644 140735882572544 139661295305264 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5479/tid=5508] ppid=5477 vsize=590940 CPUtime=0 cores=0,2,4,6
/proc/5479/task/5508/stat : 5508 (python) S 5477 5479 3958 0 -1 4202560 21 1011 0 0 0 0 0 0 20 0 5 0 337738045 605122560 8778 33554432000 4194304 5683644 140735882572544 139661284815408 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 203.34
Current children cumulated vsize (KiB) 3007136

[startup+204.401 s]
/proc/loadavg: 2.03 2.74 2.57 3/212 5513
/proc/meminfo: memFree=27268920/32873648 swapFree=7628/7628
[pid=5479] ppid=5477 vsize=590940 CPUtime=2.63 cores=0,2,4,6
/proc/5479/stat : 5479 (python) S 5477 5479 3958 0 -1 4202496 16803 1011 1 0 253 10 0 0 20 0 5 0 337723196 605122560 8778 33554432000 4194304 5683644 140735882572544 140735882567376 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5479/statm: 147735 8778 1908 364 0 82949 0
[pid=5485] ppid=5479 vsize=364084 CPUtime=0.08 cores=0,2,4,6
/proc/5485/stat : 5485 (python) S 5479 5479 3958 0 -1 4202560 1156 0 0 0 6 2 0 0 20 0 2 0 337723373 372822016 7126 33554432000 4194304 5683644 140735882572544 140735882563632 217410535907 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5485/statm: 91021 7126 399 364 0 26244 0
[pid=5487] ppid=5485 vsize=17560 CPUtime=54.76 cores=0,2,4,6
/proc/5487/stat : 5487 (clasp-1.3.7-x86) R 5485 5487 5487 0 -1 4202496 4494 0 0 0 5476 0 0 0 20 0 1 0 337723374 17981440 4119 33554432000 134512640 136139019 4291779056 4291777920 134608376 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/5487/statm: 4390 4119 182 398 0 3990 0
[pid=5485/tid=5492] ppid=5479 vsize=364084 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5492/stat : 5492 (python) S 5479 5479 3958 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 2 0 337728086 372822016 7126 33554432000 4194304 5683644 140735882572544 139661316284976 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5493] ppid=5479 vsize=363948 CPUtime=0.07 cores=0,2,4,6
/proc/5493/stat : 5493 (python) S 5479 5479 3958 0 -1 4202560 1082 0 0 0 4 3 0 0 20 0 2 0 337728251 372682752 7238 33554432000 4194304 5683644 140735882572544 140735882564192 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5493/statm: 90987 7238 385 364 0 26207 0
[pid=5495] ppid=5493 vsize=450788 CPUtime=47.6 cores=0,2,4,6
/proc/5495/stat : 5495 (minion) T 5493 5495 5495 0 -1 4202496 100022 0 0 0 4748 12 0 0 20 0 1 0 337728251 461606912 105399 33554432000 134512640 165565024 4286666224 4286663472 159737071 0 0 16781312 8396802 18446744071579387992 0 0 17 2 0 0 0 0 0
/proc/5495/statm: 112697 105399 354 7582 0 105112 0
[pid=5493/tid=5500] ppid=5479 vsize=363948 CPUtime=0 cores=0,2,4,6
/proc/5493/task/5500/stat : 5500 (python) S 5479 5479 3958 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 2 0 337733013 372682752 7238 33554432000 4194304 5683644 140735882572544 139661316284976 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5501] ppid=5479 vsize=439812 CPUtime=0.08 cores=0,2,4,6
/proc/5501/stat : 5501 (python) S 5479 5479 3958 0 -1 4202560 1112 0 0 0 4 4 0 0 20 0 2 0 337733016 450367488 7244 33554432000 4194304 5683644 140735882572544 140735882564192 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5501/statm: 109953 7244 385 364 0 45170 0
[pid=5503] ppid=5501 vsize=139624 CPUtime=50.25 cores=0,2,4,6
/proc/5503/stat : 5503 (wbo1.4b-fixed) T 5501 5503 5503 0 -1 4202496 34888 0 0 0 4997 28 0 0 20 0 1 0 337733016 142974976 34366 33554432000 134512640 135752315 4287690560 4287688080 134639130 0 0 16781312 3 18446744071579387992 0 0 17 2 0 0 0 0 0
/proc/5503/statm: 34906 34366 147 303 0 34601 0
[pid=5501/tid=5506] ppid=5479 vsize=439812 CPUtime=0 cores=0,2,4,6
/proc/5501/task/5506/stat : 5506 (python) S 5479 5479 3958 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 2 0 337738043 450367488 7244 33554432000 4194304 5683644 140735882572544 139661305795120 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5507] ppid=5479 vsize=515684 CPUtime=0.08 cores=0,2,4,6
/proc/5507/stat : 5507 (python) S 5479 5479 3958 0 -1 4202560 1119 0 0 0 4 4 0 0 20 0 2 0 337738045 528060416 7250 33554432000 4194304 5683644 140735882572544 140735882564192 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5507/statm: 128921 7250 385 364 0 64135 0
[pid=5509] ppid=5507 vsize=124696 CPUtime=48.19 cores=0,2,4,6
/proc/5509/stat : 5509 (scip-2.0.1.linu) T 5507 5509 5509 0 -1 4202496 30733 0 0 0 4808 11 0 0 20 0 1 0 337738046 127688704 28715 33554432000 4194304 13684479 140733541044432 140733541036568 7155211 0 0 16781312 2 18446744071579387992 0 0 17 2 0 0 0 0 0
/proc/5509/statm: 31174 28715 764 2317 0 28852 0
[pid=5507/tid=5513] ppid=5479 vsize=515684 CPUtime=0 cores=0,2,4,6
/proc/5507/task/5513/stat : 5513 (python) S 5479 5479 3958 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 2 0 337742867 528060416 7250 33554432000 4194304 5683644 140735882572544 139661295305264 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5479/tid=5486] ppid=5477 vsize=590940 CPUtime=0 cores=0,2,4,6
/proc/5479/task/5486/stat : 5486 (python) S 5477 5479 3958 0 -1 4202560 29 1011 0 0 0 0 0 0 20 0 5 0 337723374 605122560 8778 33554432000 4194304 5683644 140735882572544 139661316284976 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5479/tid=5494] ppid=5477 vsize=590940 CPUtime=0 cores=0,2,4,6
/proc/5479/task/5494/stat : 5494 (python) S 5477 5479 3958 0 -1 4202560 21 1011 0 0 0 0 0 0 20 0 5 0 337728251 605122560 8778 33554432000 4194304 5683644 140735882572544 139661305795120 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5479/tid=5502] ppid=5477 vsize=590940 CPUtime=0 cores=0,2,4,6
/proc/5479/task/5502/stat : 5502 (python) S 5477 5479 3958 0 -1 4202560 21 1011 0 0 0 0 0 0 20 0 5 0 337733016 605122560 8778 33554432000 4194304 5683644 140735882572544 139661295305264 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5479/tid=5508] ppid=5477 vsize=590940 CPUtime=0 cores=0,2,4,6
/proc/5479/task/5508/stat : 5508 (python) S 5477 5479 3958 0 -1 4202560 21 1011 0 0 0 0 0 0 20 0 5 0 337738045 605122560 8778 33554432000 4194304 5683644 140735882572544 139661284815408 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 203.74
Current children cumulated vsize (KiB) 3007136

[startup+204.601 s]
/proc/loadavg: 2.03 2.74 2.57 3/202 5513
/proc/meminfo: memFree=27971572/32873648 swapFree=7628/7628
[pid=5479] ppid=5477 vsize=579868 CPUtime=204.02 cores=0,2,4,6
/proc/5479/stat : 5479 (python) R 5477 5479 3958 0 -1 4202496 17114 176368 1 0 253 10 20066 73 20 0 1 0 337723196 593784832 8573 33554432000 4194304 5683644 140735882572544 140735882569976 4633907 0 0 16781312 0 0 0 0 17 2 0 0 0 0 0
/proc/5479/statm: 144967 8573 1899 364 0 80196 0
Current children cumulated CPU time (s) 204.02
Current children cumulated vsize (KiB) 579868

Child status: 0
Real time (s): 204.628
CPU time (s): 204.064
CPU user time (s): 203.213
CPU system time (s): 0.85087
CPU usage (%): 99.7241
Max. virtual memory (cumulated for all children) (KiB): 3007136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 203.213
system time used= 0.85087
maximum resident set size= 421596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 197995
page faults= 1
swaps= 0
block input operations= 0
block output operations= 3872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2671
involuntary context switches= 281

runsolver used 0.569913 second user time and 1.51877 second system time

The end