runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3482841-1307578350/watcher-3482841-1307578350 -o /tmp/evaluation-result-3482841-1307578350/solver-3482841-1307578350 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482841-1307578350.opb -seed 531559170 -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.10 2.06 1.78 2/555 16419
/proc/meminfo: memFree=28241652/32951124 swapFree=53876552/67111528
[pid=16419] ppid=16417 vsize=16244 CPUtime=0 cores=0,2,4,6
/proc/16419/stat : 16419 (python) R 16417 16419 15018 0 -1 4202496 1039 0 0 0 0 0 0 0 21 0 1 0 869436068 16633856 910 33554432000 4194304 5683644 140735875228816 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/16419/statm: 4061 910 380 364 0 548 0
[startup+0.118784 s]
/proc/loadavg: 2.10 2.06 1.78 2/555 16419
/proc/meminfo: memFree=28241652/32951124 swapFree=53876552/67111528
[pid=16419] ppid=16417 vsize=98564 CPUtime=0.09 cores=0,2,4,6
/proc/16419/stat : 16419 (python) S 16417 16419 15018 0 -1 4202496 3616 931 1 0 8 1 0 0 18 0 1 0 869436068 100929536 2587 33554432000 4194304 5683644 140735875228816 18446744073709551615 270613108736 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/16419/statm: 24641 2587 794 364 0 1721 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 98564
[startup+0.200868 s]
/proc/loadavg: 2.10 2.06 1.78 2/555 16419
/proc/meminfo: memFree=28241652/32951124 swapFree=53876552/67111528
[pid=16419] ppid=16417 vsize=123744 CPUtime=0.16 cores=0,2,4,6
/proc/16419/stat : 16419 (python) S 16417 16419 15018 0 -1 4202496 5357 931 1 0 13 3 0 0 17 0 1 0 869436068 126713856 3744 33554432000 4194304 5683644 140735875228816 18446744073709551615 270613108736 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/16419/statm: 30936 3744 987 364 0 2768 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 123744
[startup+0.301742 s]
/proc/loadavg: 2.10 2.06 1.78 2/555 16419
/proc/meminfo: memFree=28241652/32951124 swapFree=53876552/67111528
[pid=16419] ppid=16417 vsize=202996 CPUtime=0.24 cores=0,2,4,6
/proc/16419/stat : 16419 (python) S 16417 16419 15018 0 -1 4202496 6677 931 1 0 19 5 0 0 17 0 1 0 869436068 207867904 4962 33554432000 4194304 5683644 140735875228816 18446744073709551615 270613108736 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/16419/statm: 50749 4962 1472 364 0 3711 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 202996
[startup+0.700631 s]
/proc/loadavg: 2.10 2.06 1.78 2/555 16419
/proc/meminfo: memFree=28241652/32951124 swapFree=53876552/67111528
[pid=16419] ppid=16417 vsize=290916 CPUtime=0.62 cores=0,2,4,6
/proc/16419/stat : 16419 (python) R 16417 16419 15018 0 -1 4202496 12609 931 1 0 54 8 0 0 17 0 1 0 869436068 297897984 9098 33554432000 4194304 5683644 140735875228816 18446744073709551615 47935786033214 0 0 16781312 33554434 0 0 0 17 6 0 0 0
/proc/16419/statm: 72729 9098 1815 364 0 7622 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 290916
[startup+1.50054 s]
/proc/loadavg: 2.10 2.06 1.78 3/556 16424
/proc/meminfo: memFree=28210024/32951124 swapFree=53876552/67111528
[pid=16419] ppid=16417 vsize=302192 CPUtime=1.07 cores=0,2,4,6
/proc/16419/stat : 16419 (python) S 16417 16419 15018 0 -1 4202496 13125 931 1 0 98 9 0 0 20 0 2 0 869436068 309444608 9386 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/16419/statm: 75548 9386 1870 364 0 10435 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 302192
[startup+3.10121 s]
/proc/loadavg: 2.10 2.06 1.78 3/559 16427
/proc/meminfo: memFree=28202480/32951124 swapFree=53876552/67111528
[pid=16419] ppid=16417 vsize=302192 CPUtime=1.07 cores=0,2,4,6
/proc/16419/stat : 16419 (python) S 16417 16419 15018 0 -1 4202496 13125 931 1 0 98 9 0 0 20 0 2 0 869436068 309444608 9386 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/16419/statm: 75548 9386 1870 364 0 10435 0
[pid=16425] ppid=16419 vsize=291948 CPUtime=0 cores=0,2,4,6
/proc/16425/stat : 16425 (python) S 16419 16419 15018 0 -1 4202560 720 0 0 0 0 0 0 0 18 0 1 0 869436182 298954752 7863 33554432000 4194304 5683644 140735875228816 18446744073709551615 270613130767 0 0 16781312 33554946 6241210874116145409 0 0 17 6 0 0 0
/proc/16425/statm: 72987 7863 351 364 0 7874 0
[pid=16427] ppid=16425 vsize=6076 CPUtime=1.95 cores=0,2,4,6
/proc/16427/stat : 16427 (clasp-1.3.7-x86) R 16425 16427 16427 0 -1 4202496 1731 0 0 0 195 0 0 0 25 0 1 0 869436182 6221824 1249 33554432000 134512640 136139019 4287804720 18446744073709551615 134882904 0 0 16781312 16386 0 0 0 17 2 0 0 0
/proc/16427/statm: 1519 1249 184 398 0 1119 0
[pid=16419/tid=16426] ppid=16417 vsize=302192 CPUtime=0 cores=0,2,4,6
/proc/16419/task/16426/stat : 16426 (python) S 16417 16419 15018 0 -1 4202560 25 931 0 0 0 0 0 0 20 0 2 0 869436182 309444608 9386 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624934321 0 0 16781312 33554434 18446604440447400704 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 600216
[startup+6.30067 s]
/proc/loadavg: 2.09 2.06 1.78 3/559 16427
/proc/meminfo: memFree=28202044/32951124 swapFree=53876552/67111528
[pid=16419] ppid=16417 vsize=302192 CPUtime=1.07 cores=0,2,4,6
/proc/16419/stat : 16419 (python) S 16417 16419 15018 0 -1 4202496 13125 931 1 0 98 9 0 0 20 0 2 0 869436068 309444608 9386 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/16419/statm: 75548 9386 1870 364 0 10435 0
[pid=16425] ppid=16419 vsize=291948 CPUtime=0.02 cores=0,2,4,6
/proc/16425/stat : 16425 (python) S 16419 16419 15018 0 -1 4202560 877 0 0 0 1 1 0 0 18 0 1 0 869436182 298954752 7886 33554432000 4194304 5683644 140735875228816 18446744073709551615 270613130767 0 0 16781312 33554946 16232123940774838529 0 0 17 6 0 0 0
/proc/16425/statm: 72987 7886 374 364 0 7874 0
[pid=16427] ppid=16425 vsize=7792 CPUtime=5.15 cores=0,2,4,6
/proc/16427/stat : 16427 (clasp-1.3.7-x86) R 16425 16427 16427 0 -1 4202496 2177 0 0 0 515 0 0 0 25 0 1 0 869436182 7979008 1695 33554432000 134512640 136139019 4287804720 18446744073709551615 134832319 0 0 16781312 16386 0 0 0 17 2 0 0 0
/proc/16427/statm: 1948 1695 184 398 0 1548 0
[pid=16419/tid=16426] ppid=16417 vsize=302192 CPUtime=0 cores=0,2,4,6
/proc/16419/task/16426/stat : 16426 (python) S 16417 16419 15018 0 -1 4202560 25 931 0 0 0 0 0 0 20 0 2 0 869436182 309444608 9386 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624934321 0 0 16781312 33554434 18446604440447400704 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 601932
[startup+12.7005 s]
/proc/loadavg: 2.16 2.08 1.79 3/559 16427
/proc/meminfo: memFree=28192776/32951124 swapFree=53876552/67111528
[pid=16419] ppid=16417 vsize=302192 CPUtime=1.07 cores=0,2,4,6
/proc/16419/stat : 16419 (python) S 16417 16419 15018 0 -1 4202496 13125 931 1 0 98 9 0 0 20 0 2 0 869436068 309444608 9386 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/16419/statm: 75548 9386 1870 364 0 10435 0
[pid=16425] ppid=16419 vsize=291948 CPUtime=0.03 cores=0,2,4,6
/proc/16425/stat : 16425 (python) S 16419 16419 15018 0 -1 4202560 882 0 0 0 2 1 0 0 18 0 1 0 869436182 298954752 7887 33554432000 4194304 5683644 140735875228816 18446744073709551615 270613130767 0 0 16781312 33554946 72556772316949400 0 0 17 6 0 0 0
/proc/16425/statm: 72987 7887 375 364 0 7874 0
[pid=16427] ppid=16425 vsize=8584 CPUtime=11.54 cores=0,2,4,6
/proc/16427/stat : 16427 (clasp-1.3.7-x86) R 16425 16427 16427 0 -1 4202496 2373 0 0 0 1154 0 0 0 25 0 1 0 869436182 8790016 1891 33554432000 134512640 136139019 4287804720 18446744073709551615 134608547 0 0 16781312 16386 0 0 0 17 2 0 0 0
/proc/16427/statm: 2146 1891 184 398 0 1746 0
[pid=16419/tid=16426] ppid=16417 vsize=302192 CPUtime=0 cores=0,2,4,6
/proc/16419/task/16426/stat : 16426 (python) S 16417 16419 15018 0 -1 4202560 25 931 0 0 0 0 0 0 20 0 2 0 869436182 309444608 9386 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624934321 0 0 16781312 33554434 18446604440447400704 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 602724
[startup+25.5013 s]
/proc/loadavg: 2.20 2.09 1.80 3/559 16428
/proc/meminfo: memFree=28190012/32951124 swapFree=53876552/67111528
[pid=16419] ppid=16417 vsize=302192 CPUtime=1.07 cores=0,2,4,6
/proc/16419/stat : 16419 (python) S 16417 16419 15018 0 -1 4202496 13125 931 1 0 98 9 0 0 20 0 2 0 869436068 309444608 9386 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/16419/statm: 75548 9386 1870 364 0 10435 0
[pid=16425] ppid=16419 vsize=291948 CPUtime=0.09 cores=0,2,4,6
/proc/16425/stat : 16425 (python) S 16419 16419 15018 0 -1 4202560 887 0 0 0 5 4 0 0 18 0 1 0 869436182 298954752 7887 33554432000 4194304 5683644 140735875228816 18446744073709551615 270613130767 0 0 16781312 33554946 72556772316949400 0 0 17 6 0 0 0
/proc/16425/statm: 72987 7887 375 364 0 7874 0
[pid=16427] ppid=16425 vsize=10176 CPUtime=24.34 cores=0,2,4,6
/proc/16427/stat : 16427 (clasp-1.3.7-x86) R 16425 16427 16427 0 -1 4202496 2766 0 0 0 2434 0 0 0 25 0 1 0 869436182 10420224 2284 33554432000 134512640 136139019 4287804720 18446744073709551615 134871037 0 0 16781312 16386 0 0 0 17 2 0 0 0
/proc/16427/statm: 2544 2284 184 398 0 2144 0
[pid=16419/tid=16426] ppid=16417 vsize=302192 CPUtime=0 cores=0,2,4,6
/proc/16419/task/16426/stat : 16426 (python) S 16417 16419 15018 0 -1 4202560 25 931 0 0 0 0 0 0 20 0 2 0 869436182 309444608 9386 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624934321 0 0 16781312 33554434 18446604440447400704 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 604316
[startup+51.1007 s]
/proc/loadavg: 2.13 2.08 1.80 3/564 16433
/proc/meminfo: memFree=27488452/32951124 swapFree=53876552/67111528
[pid=16419] ppid=16417 vsize=302196 CPUtime=2.82 cores=0,2,4,6
/proc/16419/stat : 16419 (python) R 16417 16419 15018 0 -1 4202496 13745 931 1 0 273 9 0 0 20 0 2 0 869436068 309448704 9388 33554432000 4194304 5683644 140735875228816 18446744073709551615 4865422 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/16419/statm: 75549 9388 1871 364 0 10436 0
[pid=16425] ppid=16419 vsize=302192 CPUtime=0.2 cores=0,2,4,6
/proc/16425/stat : 16425 (python) S 16419 16419 15018 0 -1 4202560 1133 0 0 0 11 9 0 0 19 0 2 0 869436182 309444608 7928 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624937419 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/16425/statm: 75548 7928 411 364 0 10435 0
[pid=16427] ppid=16425 vsize=13084 CPUtime=48.2 cores=0,2,4,6
/proc/16427/stat : 16427 (clasp-1.3.7-x86) T 16425 16427 16427 0 -1 4202496 3494 0 0 0 4819 1 0 0 25 0 1 0 869436182 13398016 3012 33554432000 134512640 136139019 4287804720 18446744073709551615 134882965 0 0 16781312 16386 18446744071562691360 0 0 17 2 0 0 0
/proc/16427/statm: 3271 3012 184 398 0 2871 0
[pid=16425/tid=16433] ppid=16419 vsize=302192 CPUtime=0 cores=0,2,4,6
/proc/16425/task/16433/stat : 16433 (python) S 16419 16419 15018 0 -1 4202560 41 0 0 0 0 0 0 0 19 0 2 0 869441002 309444608 7928 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624934321 0 0 16781312 33554946 18446604442553652160 0 0 -1 2 0 0 0
[pid=16419/tid=16426] ppid=16417 vsize=302196 CPUtime=0 cores=0,2,4,6
/proc/16419/task/16426/stat : 16426 (python) S 16417 16419 15018 0 -1 4202560 25 931 0 0 0 0 0 0 20 0 2 0 869436182 309448704 9388 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624934321 0 0 16781312 33554434 18446604440447400704 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 51.22
Current children cumulated vsize (KiB) 617472
[startup+102.301 s]
/proc/loadavg: 2.06 2.07 1.81 3/575 16446
/proc/meminfo: memFree=27052756/32951124 swapFree=53876552/67111528
[pid=16419] ppid=16417 vsize=322704 CPUtime=3.03 cores=0,2,4,6
/proc/16419/stat : 16419 (python) S 16417 16419 15018 0 -1 4202496 15009 931 1 0 294 9 0 0 19 0 4 0 869436068 330448896 9399 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/16419/statm: 80676 9399 1875 364 0 15557 0
[pid=16425] ppid=16419 vsize=302192 CPUtime=0.2 cores=0,2,4,6
/proc/16425/stat : 16425 (python) S 16419 16419 15018 0 -1 4202560 1133 0 0 0 11 9 0 0 19 0 2 0 869436182 309444608 7928 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624937419 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/16425/statm: 75548 7928 411 364 0 10435 0
[pid=16427] ppid=16425 vsize=13084 CPUtime=48.2 cores=0,2,4,6
/proc/16427/stat : 16427 (clasp-1.3.7-x86) T 16425 16427 16427 0 -1 4202496 3494 0 0 0 4819 1 0 0 25 0 1 0 869436182 13398016 3012 33554432000 134512640 136139019 4287804720 18446744073709551615 134882965 0 0 16781312 16386 18446744071562691360 0 0 17 2 0 0 0
/proc/16427/statm: 3271 3012 184 398 0 2871 0
[pid=16425/tid=16433] ppid=16419 vsize=302192 CPUtime=0 cores=0,2,4,6
/proc/16425/task/16433/stat : 16433 (python) S 16419 16419 15018 0 -1 4202560 41 0 0 0 0 0 0 0 19 0 2 0 869441002 309444608 7928 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624934321 0 0 16781312 33554946 18446604442553652160 0 0 -1 2 0 0 0
[pid=16434] ppid=16419 vsize=302204 CPUtime=0.2 cores=0,2,4,6
/proc/16434/stat : 16434 (python) S 16419 16419 15018 0 -1 4202560 1106 0 0 0 10 10 0 0 19 0 2 0 869441196 309456896 7913 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624937419 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/16434/statm: 75551 7913 396 364 0 10435 0
[pid=16436] ppid=16434 vsize=86028 CPUtime=48.79 cores=0,2,4,6
/proc/16436/stat : 16436 (minion) T 16434 16436 16436 0 -1 4202496 16304 0 0 0 4877 2 0 0 25 0 1 0 869441196 88092672 14174 33554432000 134512640 165565024 4289655296 18446744073709551615 142853038 0 0 16781312 8396802 18446744071562691360 0 0 17 4 0 0 0
/proc/16436/statm: 21507 14174 346 7582 0 13922 0
[pid=16434/tid=16443] ppid=16419 vsize=302204 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16443/stat : 16443 (python) S 16419 16419 15018 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 869446076 309456896 7913 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624934321 0 0 16781312 33554946 18446604443110125952 0 0 -1 4 0 0 0
[pid=16444] ppid=16419 vsize=312460 CPUtime=0 cores=0,2,4,6
/proc/16444/stat : 16444 (python) S 16419 16419 15018 0 -1 4202560 794 0 0 0 0 0 0 0 15 0 1 0 869446078 319959040 7868 33554432000 4194304 5683644 140735875228816 18446744073709551615 270613130822 0 0 16781312 33554946 4294934786 0 0 17 4 0 0 0
/proc/16444/statm: 78115 7868 348 364 0 12996 0
[pid=16446] ppid=16444 vsize=12332 CPUtime=2.19 cores=0,2,4,6
/proc/16446/stat : 16446 (wbo1.4b-fixed) R 16444 16446 16446 0 -1 4202496 3163 0 0 0 218 1 0 0 25 0 1 0 869446079 12627968 2562 33554432000 134512640 135752315 4289684768 18446744073709551615 135270849 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/16446/statm: 3083 2562 146 303 0 2778 0
[pid=16419/tid=16426] ppid=16417 vsize=322704 CPUtime=0 cores=0,2,4,6
/proc/16419/task/16426/stat : 16426 (python) S 16417 16419 15018 0 -1 4202560 25 931 0 0 0 0 0 0 20 0 4 0 869436182 330448896 9399 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624934321 0 0 16781312 33554434 18446604440447400704 0 0 -1 6 0 0 0
[pid=16419/tid=16435] ppid=16417 vsize=322704 CPUtime=0 cores=0,2,4,6
/proc/16419/task/16435/stat : 16435 (python) S 16417 16419 15018 0 -1 4202560 30 931 0 0 0 0 0 0 23 0 4 0 869441196 330448896 9399 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624934321 0 0 16781312 33554434 18446604440447400704 0 0 -1 6 0 0 0
[pid=16419/tid=16445] ppid=16417 vsize=322704 CPUtime=0 cores=0,2,4,6
/proc/16419/task/16445/stat : 16445 (python) S 16417 16419 15018 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 4 0 869446079 330448896 9399 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624934321 0 0 16781312 33554434 18446604440447400704 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 102.61
Current children cumulated vsize (KiB) 1351004
[startup+162.301 s]
/proc/loadavg: 2.07 2.07 1.83 3/583 16455
/proc/meminfo: memFree=26110280/32951124 swapFree=53876552/67111528
################
# More data... #
################
[pid=16436] ppid=16434 vsize=86028 CPUtime=48.79 cores=0,2,4,6
/proc/16436/stat : 16436 (minion) T 16434 16436 16436 0 -1 4202496 16304 0 0 0 4877 2 0 0 25 0 1 0 869441196 88092672 14174 33554432000 134512640 165565024 4289655296 18446744073709551615 142853038 0 0 16781312 8396802 18446744071562691360 0 0 17 4 0 0 0
/proc/16436/statm: 21507 14174 346 7582 0 13922 0
[pid=16434/tid=16443] ppid=16419 vsize=302204 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16443/stat : 16443 (python) S 16419 16419 15018 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 869446076 309456896 7913 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624934321 0 0 16781312 33554946 18446604443110125952 0 0 -1 4 0 0 0
[pid=16444] ppid=16419 vsize=312460 CPUtime=0.2 cores=0,2,4,6
/proc/16444/stat : 16444 (python) S 16419 16419 15018 0 -1 4202560 1112 0 0 0 10 10 0 0 16 0 2 0 869446078 319959040 7917 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624937419 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/16444/statm: 78115 7917 396 364 0 12996 0
[pid=16446] ppid=16444 vsize=46692 CPUtime=46.64 cores=0,2,4,6
/proc/16446/stat : 16446 (wbo1.4b-fixed) T 16444 16446 16446 0 -1 4202496 11745 0 0 0 4647 17 0 0 25 0 1 0 869446079 47812608 11144 33554432000 134512640 135752315 4289684768 18446744073709551615 134611174 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/16446/statm: 11673 11144 147 303 0 11368 0
[pid=16444/tid=16452] ppid=16419 vsize=312460 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16452/stat : 16452 (python) S 16419 16419 15018 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869450744 319959040 7917 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624934321 0 0 16781312 33554946 18446604441569043392 0 0 -1 6 0 0 0
[pid=16453] ppid=16419 vsize=322716 CPUtime=0.14 cores=0,2,4,6
/proc/16453/stat : 16453 (python) S 16419 16419 15018 0 -1 4202560 951 0 0 0 6 8 0 0 15 0 1 0 869450747 330461184 7896 33554432000 4194304 5683644 140735875228816 18446744073709551615 270613130822 0 0 16781312 33554946 72114768642583448 0 0 17 0 0 0 0
/proc/16453/statm: 80679 7896 372 364 0 15557 0
[pid=16455] ppid=16453 vsize=241264 CPUtime=30.76 cores=0,2,4,6
/proc/16455/stat : 16455 (scip-2.0.1.linu) R 16453 16455 16455 0 -1 4202496 57890 0 0 0 3056 20 0 0 25 0 1 0 869450747 247054336 56789 33554432000 4194304 13684479 140737048687568 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/16455/statm: 60316 56789 766 2317 0 57994 0
[pid=16419/tid=16426] ppid=16417 vsize=332960 CPUtime=0 cores=0,2,4,6
/proc/16419/task/16426/stat : 16426 (python) S 16417 16419 15018 0 -1 4202560 25 931 0 0 0 0 0 0 20 0 5 0 869436182 340951040 9405 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624934321 0 0 16781312 33554434 18446604440447400704 0 0 -1 6 0 0 0
[pid=16419/tid=16435] ppid=16417 vsize=332960 CPUtime=0 cores=0,2,4,6
/proc/16419/task/16435/stat : 16435 (python) S 16417 16419 15018 0 -1 4202560 30 931 0 0 0 0 0 0 23 0 5 0 869441196 340951040 9405 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624934321 0 0 16781312 33554434 18446604440447400704 0 0 -1 6 0 0 0
[pid=16419/tid=16445] ppid=16417 vsize=332960 CPUtime=0 cores=0,2,4,6
/proc/16419/task/16445/stat : 16445 (python) S 16417 16419 15018 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 5 0 869446079 340951040 9405 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624934321 0 0 16781312 33554434 18446604440447400704 0 0 -1 4 0 0 0
[pid=16419/tid=16454] ppid=16417 vsize=332960 CPUtime=0 cores=0,2,4,6
/proc/16419/task/16454/stat : 16454 (python) S 16417 16419 15018 0 -1 4202560 31 931 0 0 0 0 0 0 20 0 5 0 869450747 340951040 9405 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624934321 0 0 16781312 33554434 18446604440447400704 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 178.18
Current children cumulated vsize (KiB) 1959600
[startup+179.201 s]
/proc/loadavg: 2.26 2.11 1.84 3/583 16456
/proc/meminfo: memFree=25996692/32951124 swapFree=53876552/67111528
[pid=16419] ppid=16417 vsize=332960 CPUtime=3.05 cores=0,2,4,6
/proc/16419/stat : 16419 (python) S 16417 16419 15018 0 -1 4202496 15924 931 1 0 296 9 0 0 20 0 5 0 869436068 340951040 9405 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/16419/statm: 83240 9405 1877 364 0 18118 0
[pid=16425] ppid=16419 vsize=302192 CPUtime=0.2 cores=0,2,4,6
/proc/16425/stat : 16425 (python) S 16419 16419 15018 0 -1 4202560 1133 0 0 0 11 9 0 0 19 0 2 0 869436182 309444608 7928 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624937419 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/16425/statm: 75548 7928 411 364 0 10435 0
[pid=16427] ppid=16425 vsize=13084 CPUtime=48.2 cores=0,2,4,6
/proc/16427/stat : 16427 (clasp-1.3.7-x86) T 16425 16427 16427 0 -1 4202496 3494 0 0 0 4819 1 0 0 25 0 1 0 869436182 13398016 3012 33554432000 134512640 136139019 4287804720 18446744073709551615 134882965 0 0 16781312 16386 18446744071562691360 0 0 17 2 0 0 0
/proc/16427/statm: 3271 3012 184 398 0 2871 0
[pid=16425/tid=16433] ppid=16419 vsize=302192 CPUtime=0 cores=0,2,4,6
/proc/16425/task/16433/stat : 16433 (python) S 16419 16419 15018 0 -1 4202560 41 0 0 0 0 0 0 0 19 0 2 0 869441002 309444608 7928 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624934321 0 0 16781312 33554946 18446604442553652160 0 0 -1 2 0 0 0
[pid=16434] ppid=16419 vsize=302204 CPUtime=0.2 cores=0,2,4,6
/proc/16434/stat : 16434 (python) S 16419 16419 15018 0 -1 4202560 1106 0 0 0 10 10 0 0 19 0 2 0 869441196 309456896 7913 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624937419 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/16434/statm: 75551 7913 396 364 0 10435 0
[pid=16436] ppid=16434 vsize=86028 CPUtime=48.79 cores=0,2,4,6
/proc/16436/stat : 16436 (minion) T 16434 16436 16436 0 -1 4202496 16304 0 0 0 4877 2 0 0 25 0 1 0 869441196 88092672 14174 33554432000 134512640 165565024 4289655296 18446744073709551615 142853038 0 0 16781312 8396802 18446744071562691360 0 0 17 4 0 0 0
/proc/16436/statm: 21507 14174 346 7582 0 13922 0
[pid=16434/tid=16443] ppid=16419 vsize=302204 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16443/stat : 16443 (python) S 16419 16419 15018 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 869446076 309456896 7913 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624934321 0 0 16781312 33554946 18446604443110125952 0 0 -1 4 0 0 0
[pid=16444] ppid=16419 vsize=312460 CPUtime=0.2 cores=0,2,4,6
/proc/16444/stat : 16444 (python) S 16419 16419 15018 0 -1 4202560 1112 0 0 0 10 10 0 0 16 0 2 0 869446078 319959040 7917 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624937419 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/16444/statm: 78115 7917 396 364 0 12996 0
[pid=16446] ppid=16444 vsize=46692 CPUtime=46.64 cores=0,2,4,6
/proc/16446/stat : 16446 (wbo1.4b-fixed) T 16444 16446 16446 0 -1 4202496 11745 0 0 0 4647 17 0 0 25 0 1 0 869446079 47812608 11144 33554432000 134512640 135752315 4289684768 18446744073709551615 134611174 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/16446/statm: 11673 11144 147 303 0 11368 0
[pid=16444/tid=16452] ppid=16419 vsize=312460 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16452/stat : 16452 (python) S 16419 16419 15018 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869450744 319959040 7917 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624934321 0 0 16781312 33554946 18446604441569043392 0 0 -1 6 0 0 0
[pid=16453] ppid=16419 vsize=322716 CPUtime=0.14 cores=0,2,4,6
/proc/16453/stat : 16453 (python) S 16419 16419 15018 0 -1 4202560 951 0 0 0 6 8 0 0 15 0 1 0 869450747 330461184 7896 33554432000 4194304 5683644 140735875228816 18446744073709551615 270613130822 0 0 16781312 33554946 72114768642583448 0 0 17 0 0 0 0
/proc/16453/statm: 80679 7896 372 364 0 15557 0
[pid=16455] ppid=16453 vsize=241264 CPUtime=32.35 cores=0,2,4,6
/proc/16455/stat : 16455 (scip-2.0.1.linu) R 16453 16455 16455 0 -1 4202496 58076 0 0 0 3215 20 0 0 25 0 1 0 869450747 247054336 56975 33554432000 4194304 13684479 140737048687568 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/16455/statm: 60316 56975 766 2317 0 57994 0
[pid=16419/tid=16426] ppid=16417 vsize=332960 CPUtime=0 cores=0,2,4,6
/proc/16419/task/16426/stat : 16426 (python) S 16417 16419 15018 0 -1 4202560 25 931 0 0 0 0 0 0 20 0 5 0 869436182 340951040 9405 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624934321 0 0 16781312 33554434 18446604440447400704 0 0 -1 6 0 0 0
[pid=16419/tid=16435] ppid=16417 vsize=332960 CPUtime=0 cores=0,2,4,6
/proc/16419/task/16435/stat : 16435 (python) S 16417 16419 15018 0 -1 4202560 30 931 0 0 0 0 0 0 23 0 5 0 869441196 340951040 9405 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624934321 0 0 16781312 33554434 18446604440447400704 0 0 -1 6 0 0 0
[pid=16419/tid=16445] ppid=16417 vsize=332960 CPUtime=0 cores=0,2,4,6
/proc/16419/task/16445/stat : 16445 (python) S 16417 16419 15018 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 5 0 869446079 340951040 9405 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624934321 0 0 16781312 33554434 18446604440447400704 0 0 -1 4 0 0 0
[pid=16419/tid=16454] ppid=16417 vsize=332960 CPUtime=0 cores=0,2,4,6
/proc/16419/task/16454/stat : 16454 (python) S 16417 16419 15018 0 -1 4202560 31 931 0 0 0 0 0 0 20 0 5 0 869450747 340951040 9405 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624934321 0 0 16781312 33554434 18446604440447400704 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 179.77
Current children cumulated vsize (KiB) 1959600
[startup+180.001 s]
/proc/loadavg: 2.24 2.11 1.85 3/583 16456
/proc/meminfo: memFree=25991732/32951124 swapFree=53876552/67111528
[pid=16419] ppid=16417 vsize=332960 CPUtime=3.05 cores=0,2,4,6
/proc/16419/stat : 16419 (python) S 16417 16419 15018 0 -1 4202496 15924 931 1 0 296 9 0 0 20 0 5 0 869436068 340951040 9405 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/16419/statm: 83240 9405 1877 364 0 18118 0
[pid=16425] ppid=16419 vsize=302192 CPUtime=0.2 cores=0,2,4,6
/proc/16425/stat : 16425 (python) S 16419 16419 15018 0 -1 4202560 1133 0 0 0 11 9 0 0 19 0 2 0 869436182 309444608 7928 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624937419 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/16425/statm: 75548 7928 411 364 0 10435 0
[pid=16427] ppid=16425 vsize=13084 CPUtime=48.2 cores=0,2,4,6
/proc/16427/stat : 16427 (clasp-1.3.7-x86) T 16425 16427 16427 0 -1 4202496 3494 0 0 0 4819 1 0 0 25 0 1 0 869436182 13398016 3012 33554432000 134512640 136139019 4287804720 18446744073709551615 134882965 0 0 16781312 16386 18446744071562691360 0 0 17 2 0 0 0
/proc/16427/statm: 3271 3012 184 398 0 2871 0
[pid=16425/tid=16433] ppid=16419 vsize=302192 CPUtime=0 cores=0,2,4,6
/proc/16425/task/16433/stat : 16433 (python) S 16419 16419 15018 0 -1 4202560 41 0 0 0 0 0 0 0 19 0 2 0 869441002 309444608 7928 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624934321 0 0 16781312 33554946 18446604442553652160 0 0 -1 2 0 0 0
[pid=16434] ppid=16419 vsize=302204 CPUtime=0.2 cores=0,2,4,6
/proc/16434/stat : 16434 (python) S 16419 16419 15018 0 -1 4202560 1106 0 0 0 10 10 0 0 19 0 2 0 869441196 309456896 7913 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624937419 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/16434/statm: 75551 7913 396 364 0 10435 0
[pid=16436] ppid=16434 vsize=86028 CPUtime=48.79 cores=0,2,4,6
/proc/16436/stat : 16436 (minion) T 16434 16436 16436 0 -1 4202496 16304 0 0 0 4877 2 0 0 25 0 1 0 869441196 88092672 14174 33554432000 134512640 165565024 4289655296 18446744073709551615 142853038 0 0 16781312 8396802 18446744071562691360 0 0 17 4 0 0 0
/proc/16436/statm: 21507 14174 346 7582 0 13922 0
[pid=16434/tid=16443] ppid=16419 vsize=302204 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16443/stat : 16443 (python) S 16419 16419 15018 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 869446076 309456896 7913 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624934321 0 0 16781312 33554946 18446604443110125952 0 0 -1 4 0 0 0
[pid=16444] ppid=16419 vsize=312460 CPUtime=0.2 cores=0,2,4,6
/proc/16444/stat : 16444 (python) S 16419 16419 15018 0 -1 4202560 1112 0 0 0 10 10 0 0 16 0 2 0 869446078 319959040 7917 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624937419 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/16444/statm: 78115 7917 396 364 0 12996 0
[pid=16446] ppid=16444 vsize=46692 CPUtime=46.64 cores=0,2,4,6
/proc/16446/stat : 16446 (wbo1.4b-fixed) T 16444 16446 16446 0 -1 4202496 11745 0 0 0 4647 17 0 0 25 0 1 0 869446079 47812608 11144 33554432000 134512640 135752315 4289684768 18446744073709551615 134611174 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/16446/statm: 11673 11144 147 303 0 11368 0
[pid=16444/tid=16452] ppid=16419 vsize=312460 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16452/stat : 16452 (python) S 16419 16419 15018 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869450744 319959040 7917 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624934321 0 0 16781312 33554946 18446604441569043392 0 0 -1 6 0 0 0
[pid=16453] ppid=16419 vsize=322716 CPUtime=0.16 cores=0,2,4,6
/proc/16453/stat : 16453 (python) S 16419 16419 15018 0 -1 4202560 954 0 0 0 7 9 0 0 15 0 1 0 869450747 330461184 7896 33554432000 4194304 5683644 140735875228816 18446744073709551615 270613130822 0 0 16781312 33554946 72114768642583448 0 0 17 0 0 0 0
/proc/16453/statm: 80679 7896 372 364 0 15557 0
[pid=16455] ppid=16453 vsize=241264 CPUtime=33.15 cores=0,2,4,6
/proc/16455/stat : 16455 (scip-2.0.1.linu) R 16453 16455 16455 0 -1 4202496 58076 0 0 0 3295 20 0 0 25 0 1 0 869450747 247054336 56975 33554432000 4194304 13684479 140737048687568 18446744073709551615 7390783 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/16455/statm: 60316 56975 766 2317 0 57994 0
[pid=16419/tid=16426] ppid=16417 vsize=332960 CPUtime=0 cores=0,2,4,6
/proc/16419/task/16426/stat : 16426 (python) S 16417 16419 15018 0 -1 4202560 25 931 0 0 0 0 0 0 20 0 5 0 869436182 340951040 9405 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624934321 0 0 16781312 33554434 18446604440447400704 0 0 -1 6 0 0 0
[pid=16419/tid=16435] ppid=16417 vsize=332960 CPUtime=0 cores=0,2,4,6
/proc/16419/task/16435/stat : 16435 (python) S 16417 16419 15018 0 -1 4202560 30 931 0 0 0 0 0 0 23 0 5 0 869441196 340951040 9405 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624934321 0 0 16781312 33554434 18446604440447400704 0 0 -1 6 0 0 0
[pid=16419/tid=16445] ppid=16417 vsize=332960 CPUtime=0 cores=0,2,4,6
/proc/16419/task/16445/stat : 16445 (python) S 16417 16419 15018 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 5 0 869446079 340951040 9405 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624934321 0 0 16781312 33554434 18446604440447400704 0 0 -1 4 0 0 0
[pid=16419/tid=16454] ppid=16417 vsize=332960 CPUtime=0 cores=0,2,4,6
/proc/16419/task/16454/stat : 16454 (python) S 16417 16419 15018 0 -1 4202560 31 931 0 0 0 0 0 0 20 0 5 0 869450747 340951040 9405 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624934321 0 0 16781312 33554434 18446604440447400704 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 180.59
Current children cumulated vsize (KiB) 1959600
[startup+180.401 s]
/proc/loadavg: 2.24 2.11 1.85 3/583 16456
/proc/meminfo: memFree=25988728/32951124 swapFree=53876552/67111528
[pid=16419] ppid=16417 vsize=332960 CPUtime=3.05 cores=0,2,4,6
/proc/16419/stat : 16419 (python) S 16417 16419 15018 0 -1 4202496 15924 931 1 0 296 9 0 0 20 0 5 0 869436068 340951040 9405 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/16419/statm: 83240 9405 1877 364 0 18118 0
[pid=16425] ppid=16419 vsize=302192 CPUtime=0.2 cores=0,2,4,6
/proc/16425/stat : 16425 (python) S 16419 16419 15018 0 -1 4202560 1133 0 0 0 11 9 0 0 19 0 2 0 869436182 309444608 7928 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624937419 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/16425/statm: 75548 7928 411 364 0 10435 0
[pid=16427] ppid=16425 vsize=13084 CPUtime=48.2 cores=0,2,4,6
/proc/16427/stat : 16427 (clasp-1.3.7-x86) T 16425 16427 16427 0 -1 4202496 3494 0 0 0 4819 1 0 0 25 0 1 0 869436182 13398016 3012 33554432000 134512640 136139019 4287804720 18446744073709551615 134882965 0 0 16781312 16386 18446744071562691360 0 0 17 2 0 0 0
/proc/16427/statm: 3271 3012 184 398 0 2871 0
[pid=16425/tid=16433] ppid=16419 vsize=302192 CPUtime=0 cores=0,2,4,6
/proc/16425/task/16433/stat : 16433 (python) S 16419 16419 15018 0 -1 4202560 41 0 0 0 0 0 0 0 19 0 2 0 869441002 309444608 7928 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624934321 0 0 16781312 33554946 18446604442553652160 0 0 -1 2 0 0 0
[pid=16434] ppid=16419 vsize=302204 CPUtime=0.2 cores=0,2,4,6
/proc/16434/stat : 16434 (python) S 16419 16419 15018 0 -1 4202560 1106 0 0 0 10 10 0 0 19 0 2 0 869441196 309456896 7913 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624937419 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/16434/statm: 75551 7913 396 364 0 10435 0
[pid=16436] ppid=16434 vsize=86028 CPUtime=48.79 cores=0,2,4,6
/proc/16436/stat : 16436 (minion) T 16434 16436 16436 0 -1 4202496 16304 0 0 0 4877 2 0 0 25 0 1 0 869441196 88092672 14174 33554432000 134512640 165565024 4289655296 18446744073709551615 142853038 0 0 16781312 8396802 18446744071562691360 0 0 17 4 0 0 0
/proc/16436/statm: 21507 14174 346 7582 0 13922 0
[pid=16434/tid=16443] ppid=16419 vsize=302204 CPUtime=0 cores=0,2,4,6
/proc/16434/task/16443/stat : 16443 (python) S 16419 16419 15018 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 869446076 309456896 7913 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624934321 0 0 16781312 33554946 18446604443110125952 0 0 -1 4 0 0 0
[pid=16444] ppid=16419 vsize=312460 CPUtime=0.2 cores=0,2,4,6
/proc/16444/stat : 16444 (python) S 16419 16419 15018 0 -1 4202560 1112 0 0 0 10 10 0 0 16 0 2 0 869446078 319959040 7917 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624937419 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/16444/statm: 78115 7917 396 364 0 12996 0
[pid=16446] ppid=16444 vsize=46692 CPUtime=46.64 cores=0,2,4,6
/proc/16446/stat : 16446 (wbo1.4b-fixed) T 16444 16446 16446 0 -1 4202496 11745 0 0 0 4647 17 0 0 25 0 1 0 869446079 47812608 11144 33554432000 134512640 135752315 4289684768 18446744073709551615 134611174 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/16446/statm: 11673 11144 147 303 0 11368 0
[pid=16444/tid=16452] ppid=16419 vsize=312460 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16452/stat : 16452 (python) S 16419 16419 15018 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869450744 319959040 7917 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624934321 0 0 16781312 33554946 18446604441569043392 0 0 -1 6 0 0 0
[pid=16453] ppid=16419 vsize=322716 CPUtime=0.17 cores=0,2,4,6
/proc/16453/stat : 16453 (python) S 16419 16419 15018 0 -1 4202560 961 0 0 0 8 9 0 0 16 0 1 0 869450747 330461184 7896 33554432000 4194304 5683644 140735875228816 18446744073709551615 270613130822 0 0 16781312 33554946 847994696495005696 0 0 17 0 0 0 0
/proc/16453/statm: 80679 7896 372 364 0 15557 0
[pid=16455] ppid=16453 vsize=241264 CPUtime=33.56 cores=0,2,4,6
/proc/16455/stat : 16455 (scip-2.0.1.linu) R 16453 16455 16455 0 -1 4202496 58231 0 0 0 3336 20 0 0 18 0 1 0 869450747 247054336 57130 33554432000 4194304 13684479 140737048687568 18446744073709551615 6738019 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/16455/statm: 60316 57130 776 2317 0 57994 0
[pid=16419/tid=16426] ppid=16417 vsize=332960 CPUtime=0 cores=0,2,4,6
/proc/16419/task/16426/stat : 16426 (python) S 16417 16419 15018 0 -1 4202560 25 931 0 0 0 0 0 0 20 0 5 0 869436182 340951040 9405 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624934321 0 0 16781312 33554434 18446604440447400704 0 0 -1 6 0 0 0
[pid=16419/tid=16435] ppid=16417 vsize=332960 CPUtime=0 cores=0,2,4,6
/proc/16419/task/16435/stat : 16435 (python) S 16417 16419 15018 0 -1 4202560 30 931 0 0 0 0 0 0 23 0 5 0 869441196 340951040 9405 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624934321 0 0 16781312 33554434 18446604440447400704 0 0 -1 6 0 0 0
[pid=16419/tid=16445] ppid=16417 vsize=332960 CPUtime=0 cores=0,2,4,6
/proc/16419/task/16445/stat : 16445 (python) S 16417 16419 15018 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 5 0 869446079 340951040 9405 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624934321 0 0 16781312 33554434 18446604440447400704 0 0 -1 4 0 0 0
[pid=16419/tid=16454] ppid=16417 vsize=332960 CPUtime=0 cores=0,2,4,6
/proc/16419/task/16454/stat : 16454 (python) S 16417 16419 15018 0 -1 4202560 31 931 0 0 0 0 0 0 20 0 5 0 869450747 340951040 9405 33554432000 4194304 5683644 140735875228816 18446744073709551615 270624934321 0 0 16781312 33554434 18446604440447400704 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 181.01
Current children cumulated vsize (KiB) 1959600
Child status: 0
Real time (s): 180.514
CPU time (s): 181.214
CPU user time (s): 180.272
CPU system time (s): 0.942856
CPU usage (%): 100.388
Max. virtual memory (cumulated for all children) (KiB): 1959600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 180.272
system time used= 0.942856
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116625
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= 1351
involuntary context switches= 511
runsolver used 1.03784 second user time and 2.06569 second system time
The end