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-3482021-1307576709/watcher-3482021-1307576709 -o /tmp/evaluation-result-3482021-1307576709/solver-3482021-1307576709 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482021-1307576709.opb -seed 1300517719 -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.01 1.36 0.60 2/553 4434
/proc/meminfo: memFree=22402944/32951124 swapFree=56930356/67111528
[pid=4434] ppid=4432 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/4434/stat : 4434 (python) S 4432 4434 4191 0 -1 4202496 811 0 0 0 0 0 0 0 25 0 1 0 869268654 15749120 696 33554432000 4194304 5683644 140734324955840 18446744073709551615 218905729024 0 2147483391 16781312 2 18446744071699207358 0 0 17 2 0 0 0
/proc/4434/statm: 3845 696 334 364 0 332 0
[startup+0.052339 s]
/proc/loadavg: 2.01 1.36 0.60 2/553 4434
/proc/meminfo: memFree=22402944/32951124 swapFree=56930356/67111528
[pid=4434] ppid=4432 vsize=23204 CPUtime=0.02 cores=0,2,4,6
/proc/4434/stat : 4434 (python) S 4432 4434 4191 0 -1 4202496 1324 0 0 0 2 0 0 0 25 0 1 0 869268654 23760896 1172 33554432000 4194304 5683644 140734324955840 18446744073709551615 218905729024 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/4434/statm: 5801 1172 432 364 0 728 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 23204
[startup+0.10034 s]
/proc/loadavg: 2.01 1.36 0.60 2/553 4434
/proc/meminfo: memFree=22402944/32951124 swapFree=56930356/67111528
[pid=4434] ppid=4432 vsize=85620 CPUtime=0.06 cores=0,2,4,6
/proc/4434/stat : 4434 (python) S 4432 4434 4191 0 -1 4202496 2664 0 0 0 4 2 0 0 18 0 1 0 869268654 87674880 2382 33554432000 4194304 5683644 140734324955840 18446744073709551615 218905729024 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/4434/statm: 21405 2382 715 364 0 1622 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85620
[startup+0.300346 s]
/proc/loadavg: 2.01 1.36 0.60 2/553 4434
/proc/meminfo: memFree=22402944/32951124 swapFree=56930356/67111528
[pid=4434] ppid=4432 vsize=123740 CPUtime=0.17 cores=0,2,4,6
/proc/4434/stat : 4434 (python) S 4432 4434 4191 0 -1 4202496 5358 929 1 0 12 5 0 0 17 0 1 0 869268654 126709760 3744 33554432000 4194304 5683644 140734324955840 18446744073709551615 218905726981 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/4434/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123740
[startup+0.700979 s]
/proc/loadavg: 2.01 1.36 0.60 2/553 4434
/proc/meminfo: memFree=22402944/32951124 swapFree=56930356/67111528
[pid=4434] ppid=4432 vsize=282532 CPUtime=0.42 cores=0,2,4,6
/proc/4434/stat : 4434 (python) S 4432 4434 4191 0 -1 4202496 9139 929 1 0 32 10 0 0 16 0 1 0 869268654 289312768 6998 33554432000 4194304 5683644 140734324955840 18446744073709551615 218905729024 0 2147483391 16781312 33554434 18446744071699207358 0 0 17 6 0 0 0
/proc/4434/statm: 70633 6998 1828 364 0 5526 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 282532
[startup+1.50111 s]
/proc/loadavg: 2.01 1.36 0.60 3/557 4442
/proc/meminfo: memFree=22366084/32951124 swapFree=56930356/67111528
[pid=4434] ppid=4432 vsize=293104 CPUtime=0.44 cores=0,2,4,6
/proc/4434/stat : 4434 (python) S 4432 4434 4191 0 -1 4202496 9641 929 1 0 34 10 0 0 18 0 2 0 869268654 300138496 7147 33554432000 4194304 5683644 140734324955840 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/4434/statm: 73276 7147 1870 364 0 8163 0
[pid=4440] ppid=4434 vsize=282860 CPUtime=0 cores=0,2,4,6
/proc/4440/stat : 4440 (python) S 4434 4434 4191 0 -1 4202560 755 0 0 0 0 0 0 0 15 0 1 0 869268726 289648640 5625 33554432000 4194304 5683644 140734324955840 18446744073709551615 218905751055 0 0 16781312 33554946 1729579786751180800 0 0 17 6 0 0 0
/proc/4440/statm: 70715 5625 352 364 0 5602 0
[pid=4442] ppid=4440 vsize=32868 CPUtime=0.76 cores=0,2,4,6
/proc/4442/stat : 4442 (scip-2.0.1.linu) R 4440 4442 4442 0 -1 4202496 6571 0 0 0 74 2 0 0 18 0 1 0 869268727 33656832 5943 33554432000 4194304 13684479 140735756601696 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/4442/statm: 8217 5943 775 2317 0 5895 0
[pid=4434/tid=4441] ppid=4432 vsize=293104 CPUtime=0 cores=0,2,4,6
/proc/4434/task/4441/stat : 4441 (python) S 4432 4434 4191 0 -1 4202560 27 929 0 0 0 0 0 0 18 0 2 0 869268727 300138496 7147 33554432000 4194304 5683644 140734324955840 18446744073709551615 218917554609 0 0 16781312 33554434 18446604453071271872 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 608832
[startup+3.10083 s]
/proc/loadavg: 2.01 1.36 0.60 3/557 4442
/proc/meminfo: memFree=22345620/32951124 swapFree=56930356/67111528
[pid=4434] ppid=4432 vsize=293104 CPUtime=0.44 cores=0,2,4,6
/proc/4434/stat : 4434 (python) S 4432 4434 4191 0 -1 4202496 9641 929 1 0 34 10 0 0 18 0 2 0 869268654 300138496 7147 33554432000 4194304 5683644 140734324955840 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/4434/statm: 73276 7147 1870 364 0 8163 0
[pid=4440] ppid=4434 vsize=282860 CPUtime=0 cores=0,2,4,6
/proc/4440/stat : 4440 (python) S 4434 4434 4191 0 -1 4202560 757 0 0 0 0 0 0 0 15 0 1 0 869268726 289648640 5625 33554432000 4194304 5683644 140734324955840 18446744073709551615 218905751055 0 0 16781312 33554946 4258858891762204672 0 0 17 6 0 0 0
/proc/4440/statm: 70715 5625 352 364 0 5602 0
[pid=4442] ppid=4440 vsize=38440 CPUtime=2.36 cores=0,2,4,6
/proc/4442/stat : 4442 (scip-2.0.1.linu) R 4440 4442 4442 0 -1 4202496 8783 0 0 0 232 4 0 0 19 0 1 0 869268727 39362560 7349 33554432000 4194304 13684479 140735756601696 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/4442/statm: 9610 7349 796 2317 0 7288 0
[pid=4434/tid=4441] ppid=4432 vsize=293104 CPUtime=0 cores=0,2,4,6
/proc/4434/task/4441/stat : 4441 (python) S 4432 4434 4191 0 -1 4202560 27 929 0 0 0 0 0 0 18 0 2 0 869268727 300138496 7147 33554432000 4194304 5683644 140734324955840 18446744073709551615 218917554609 0 0 16781312 33554434 18446604453071271872 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 614404
[startup+6.30027 s]
/proc/loadavg: 2.01 1.37 0.61 3/557 4442
/proc/meminfo: memFree=22341668/32951124 swapFree=56930356/67111528
[pid=4434] ppid=4432 vsize=293104 CPUtime=0.44 cores=0,2,4,6
/proc/4434/stat : 4434 (python) S 4432 4434 4191 0 -1 4202496 9641 929 1 0 34 10 0 0 18 0 2 0 869268654 300138496 7147 33554432000 4194304 5683644 140734324955840 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/4434/statm: 73276 7147 1870 364 0 8163 0
[pid=4440] ppid=4434 vsize=282860 CPUtime=0.02 cores=0,2,4,6
/proc/4440/stat : 4440 (python) S 4434 4434 4191 0 -1 4202560 891 0 0 0 1 1 0 0 15 0 1 0 869268726 289648640 5649 33554432000 4194304 5683644 140734324955840 18446744073709551615 218905751055 0 0 16781312 33554946 3766995204049993728 0 0 17 6 0 0 0
/proc/4440/statm: 70715 5649 376 364 0 5602 0
[pid=4442] ppid=4440 vsize=38440 CPUtime=5.56 cores=0,2,4,6
/proc/4442/stat : 4442 (scip-2.0.1.linu) R 4440 4442 4442 0 -1 4202496 8784 0 0 0 548 8 0 0 19 0 1 0 869268727 39362560 7350 33554432000 4194304 13684479 140735756601696 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/4442/statm: 9610 7350 797 2317 0 7288 0
[pid=4434/tid=4441] ppid=4432 vsize=293104 CPUtime=0 cores=0,2,4,6
/proc/4434/task/4441/stat : 4441 (python) S 4432 4434 4191 0 -1 4202560 27 929 0 0 0 0 0 0 18 0 2 0 869268727 300138496 7147 33554432000 4194304 5683644 140734324955840 18446744073709551615 218917554609 0 0 16781312 33554434 18446604453071271872 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 614404
Solver just ended. Dumping a history of the last processes samples
[startup+9.50071 s]
/proc/loadavg: 2.01 1.37 0.61 3/557 4442
/proc/meminfo: memFree=22338344/32951124 swapFree=56930356/67111528
[pid=4434] ppid=4432 vsize=293104 CPUtime=0.44 cores=0,2,4,6
/proc/4434/stat : 4434 (python) S 4432 4434 4191 0 -1 4202496 9641 929 1 0 34 10 0 0 18 0 2 0 869268654 300138496 7147 33554432000 4194304 5683644 140734324955840 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/4434/statm: 73276 7147 1870 364 0 8163 0
[pid=4440] ppid=4434 vsize=282860 CPUtime=0.04 cores=0,2,4,6
/proc/4440/stat : 4440 (python) S 4434 4434 4191 0 -1 4202560 893 0 0 0 2 2 0 0 15 0 1 0 869268726 289648640 5649 33554432000 4194304 5683644 140734324955840 18446744073709551615 218905751055 0 0 16781312 33554946 72556772316949289 0 0 17 6 0 0 0
/proc/4440/statm: 70715 5649 376 364 0 5602 0
[pid=4442] ppid=4440 vsize=38440 CPUtime=8.76 cores=0,2,4,6
/proc/4442/stat : 4442 (scip-2.0.1.linu) R 4440 4442 4442 0 -1 4202496 8784 0 0 0 861 15 0 0 25 0 1 0 869268727 39362560 7350 33554432000 4194304 13684479 140735756601696 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/4442/statm: 9610 7350 797 2317 0 7288 0
[pid=4434/tid=4441] ppid=4432 vsize=293104 CPUtime=0 cores=0,2,4,6
/proc/4434/task/4441/stat : 4441 (python) S 4432 4434 4191 0 -1 4202560 27 929 0 0 0 0 0 0 18 0 2 0 869268727 300138496 7147 33554432000 4194304 5683644 140734324955840 18446744073709551615 218917554609 0 0 16781312 33554434 18446604453071271872 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 9.24
Current children cumulated vsize (KiB) 614404
[startup+11.1004 s]
/proc/loadavg: 2.01 1.38 0.62 3/557 4442
/proc/meminfo: memFree=22332268/32951124 swapFree=56930356/67111528
[pid=4434] ppid=4432 vsize=293104 CPUtime=0.44 cores=0,2,4,6
/proc/4434/stat : 4434 (python) S 4432 4434 4191 0 -1 4202496 9641 929 1 0 34 10 0 0 18 0 2 0 869268654 300138496 7147 33554432000 4194304 5683644 140734324955840 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/4434/statm: 73276 7147 1870 364 0 8163 0
[pid=4440] ppid=4434 vsize=282860 CPUtime=0.04 cores=0,2,4,6
/proc/4440/stat : 4440 (python) S 4434 4434 4191 0 -1 4202560 893 0 0 0 2 2 0 0 15 0 1 0 869268726 289648640 5649 33554432000 4194304 5683644 140734324955840 18446744073709551615 218905751055 0 0 16781312 33554946 3556997657194921984 0 0 17 6 0 0 0
/proc/4440/statm: 70715 5649 376 364 0 5602 0
[pid=4442] ppid=4440 vsize=38440 CPUtime=10.36 cores=0,2,4,6
/proc/4442/stat : 4442 (scip-2.0.1.linu) R 4440 4442 4442 0 -1 4202496 8785 0 0 0 1018 18 0 0 25 0 1 0 869268727 39362560 7351 33554432000 4194304 13684479 140735756601696 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/4442/statm: 9610 7351 798 2317 0 7288 0
[pid=4434/tid=4441] ppid=4432 vsize=293104 CPUtime=0 cores=0,2,4,6
/proc/4434/task/4441/stat : 4441 (python) S 4432 4434 4191 0 -1 4202560 27 929 0 0 0 0 0 0 18 0 2 0 869268727 300138496 7147 33554432000 4194304 5683644 140734324955840 18446744073709551615 218917554609 0 0 16781312 33554434 18446604453071271872 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 10.84
Current children cumulated vsize (KiB) 614404
[startup+11.9003 s]
/proc/loadavg: 2.01 1.38 0.62 3/557 4442
/proc/meminfo: memFree=22332268/32951124 swapFree=56930356/67111528
[pid=4434] ppid=4432 vsize=293104 CPUtime=0.44 cores=0,2,4,6
/proc/4434/stat : 4434 (python) S 4432 4434 4191 0 -1 4202496 9641 929 1 0 34 10 0 0 18 0 2 0 869268654 300138496 7147 33554432000 4194304 5683644 140734324955840 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/4434/statm: 73276 7147 1870 364 0 8163 0
[pid=4440] ppid=4434 vsize=282860 CPUtime=0.04 cores=0,2,4,6
/proc/4440/stat : 4440 (python) S 4434 4434 4191 0 -1 4202560 893 0 0 0 2 2 0 0 15 0 1 0 869268726 289648640 5649 33554432000 4194304 5683644 140734324955840 18446744073709551615 218905751055 0 0 16781312 33554946 3556997657194921984 0 0 17 6 0 0 0
/proc/4440/statm: 70715 5649 376 364 0 5602 0
[pid=4442] ppid=4440 vsize=38440 CPUtime=11.17 cores=0,2,4,6
/proc/4442/stat : 4442 (scip-2.0.1.linu) R 4440 4442 4442 0 -1 4202496 8785 0 0 0 1098 19 0 0 25 0 1 0 869268727 39362560 7351 33554432000 4194304 13684479 140735756601696 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/4442/statm: 9610 7351 798 2317 0 7288 0
[pid=4434/tid=4441] ppid=4432 vsize=293104 CPUtime=0 cores=0,2,4,6
/proc/4434/task/4441/stat : 4441 (python) S 4432 4434 4191 0 -1 4202560 27 929 0 0 0 0 0 0 18 0 2 0 869268727 300138496 7147 33554432000 4194304 5683644 140734324955840 18446744073709551615 218917554609 0 0 16781312 33554434 18446604453071271872 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 11.65
Current children cumulated vsize (KiB) 614404
[startup+12.3012 s]
/proc/loadavg: 2.01 1.38 0.62 3/557 4442
/proc/meminfo: memFree=22331524/32951124 swapFree=56930356/67111528
[pid=4434] ppid=4432 vsize=293104 CPUtime=0.44 cores=0,2,4,6
/proc/4434/stat : 4434 (python) S 4432 4434 4191 0 -1 4202496 9641 929 1 0 34 10 0 0 18 0 2 0 869268654 300138496 7147 33554432000 4194304 5683644 140734324955840 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/4434/statm: 73276 7147 1870 364 0 8163 0
[pid=4440] ppid=4434 vsize=282860 CPUtime=0.04 cores=0,2,4,6
/proc/4440/stat : 4440 (python) S 4434 4434 4191 0 -1 4202560 893 0 0 0 2 2 0 0 15 0 1 0 869268726 289648640 5649 33554432000 4194304 5683644 140734324955840 18446744073709551615 218905751055 0 0 16781312 33554946 3556997657194921984 0 0 17 6 0 0 0
/proc/4440/statm: 70715 5649 376 364 0 5602 0
[pid=4442] ppid=4440 vsize=38440 CPUtime=11.56 cores=0,2,4,6
/proc/4442/stat : 4442 (scip-2.0.1.linu) R 4440 4442 4442 0 -1 4202496 8785 0 0 0 1136 20 0 0 25 0 1 0 869268727 39362560 7351 33554432000 4194304 13684479 140735756601696 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/4442/statm: 9610 7351 798 2317 0 7288 0
[pid=4434/tid=4441] ppid=4432 vsize=293104 CPUtime=0 cores=0,2,4,6
/proc/4434/task/4441/stat : 4441 (python) S 4432 4434 4191 0 -1 4202560 27 929 0 0 0 0 0 0 18 0 2 0 869268727 300138496 7147 33554432000 4194304 5683644 140734324955840 18446744073709551615 218917554609 0 0 16781312 33554434 18446604453071271872 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.04
Current children cumulated vsize (KiB) 614404
[startup+12.5012 s]
/proc/loadavg: 2.01 1.38 0.62 3/557 4442
/proc/meminfo: memFree=22331524/32951124 swapFree=56930356/67111528
[pid=4434] ppid=4432 vsize=293104 CPUtime=0.44 cores=0,2,4,6
/proc/4434/stat : 4434 (python) S 4432 4434 4191 0 -1 4202496 9641 929 1 0 34 10 0 0 18 0 2 0 869268654 300138496 7147 33554432000 4194304 5683644 140734324955840 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/4434/statm: 73276 7147 1870 364 0 8163 0
[pid=4440] ppid=4434 vsize=282860 CPUtime=0.04 cores=0,2,4,6
/proc/4440/stat : 4440 (python) S 4434 4434 4191 0 -1 4202560 893 0 0 0 2 2 0 0 15 0 1 0 869268726 289648640 5649 33554432000 4194304 5683644 140734324955840 18446744073709551615 218905751055 0 0 16781312 33554946 3556997657194921984 0 0 17 6 0 0 0
/proc/4440/statm: 70715 5649 376 364 0 5602 0
[pid=4442] ppid=4440 vsize=38440 CPUtime=11.76 cores=0,2,4,6
/proc/4442/stat : 4442 (scip-2.0.1.linu) R 4440 4442 4442 0 -1 4202496 8785 0 0 0 1156 20 0 0 25 0 1 0 869268727 39362560 7351 33554432000 4194304 13684479 140735756601696 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/4442/statm: 9610 7351 798 2317 0 7288 0
[pid=4434/tid=4441] ppid=4432 vsize=293104 CPUtime=0 cores=0,2,4,6
/proc/4434/task/4441/stat : 4441 (python) S 4432 4434 4191 0 -1 4202560 27 929 0 0 0 0 0 0 18 0 2 0 869268727 300138496 7147 33554432000 4194304 5683644 140734324955840 18446744073709551615 218917554609 0 0 16781312 33554434 18446604453071271872 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.24
Current children cumulated vsize (KiB) 614404
[startup+12.6011 s]
/proc/loadavg: 2.01 1.38 0.62 3/557 4442
/proc/meminfo: memFree=22331524/32951124 swapFree=56930356/67111528
[pid=4434] ppid=4432 vsize=293104 CPUtime=0.44 cores=0,2,4,6
/proc/4434/stat : 4434 (python) S 4432 4434 4191 0 -1 4202496 9641 929 1 0 34 10 0 0 18 0 2 0 869268654 300138496 7147 33554432000 4194304 5683644 140734324955840 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/4434/statm: 73276 7147 1870 364 0 8163 0
[pid=4440] ppid=4434 vsize=282860 CPUtime=0.04 cores=0,2,4,6
/proc/4440/stat : 4440 (python) S 4434 4434 4191 0 -1 4202560 893 0 0 0 2 2 0 0 15 0 1 0 869268726 289648640 5649 33554432000 4194304 5683644 140734324955840 18446744073709551615 218905751055 0 0 16781312 33554946 3556997657194921984 0 0 17 6 0 0 0
/proc/4440/statm: 70715 5649 376 364 0 5602 0
[pid=4442] ppid=4440 vsize=38440 CPUtime=11.87 cores=0,2,4,6
/proc/4442/stat : 4442 (scip-2.0.1.linu) R 4440 4442 4442 0 -1 4202496 8785 0 0 0 1166 21 0 0 25 0 1 0 869268727 39362560 7351 33554432000 4194304 13684479 140735756601696 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/4442/statm: 9610 7351 798 2317 0 7288 0
[pid=4434/tid=4441] ppid=4432 vsize=293104 CPUtime=0 cores=0,2,4,6
/proc/4434/task/4441/stat : 4441 (python) S 4432 4434 4191 0 -1 4202560 27 929 0 0 0 0 0 0 18 0 2 0 869268727 300138496 7147 33554432000 4194304 5683644 140734324955840 18446744073709551615 218917554609 0 0 16781312 33554434 18446604453071271872 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 614404
Child status: 0
Real time (s): 12.6798
CPU time (s): 12.4571
CPU user time (s): 12.1002
CPU system time (s): 0.356945
CPU usage (%): 98.2438
Max. virtual memory (cumulated for all children) (KiB): 615428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.1002
system time used= 0.356945
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24966
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= 2920
involuntary context switches= 53
runsolver used 0.079987 second user time and 0.147977 second system time
The end