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-3481987-1307576615/watcher-3481987-1307576615 -o /tmp/evaluation-result-3481987-1307576615/solver-3481987-1307576615 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481987-1307576615.opb -seed 362458602 -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.12 0.95 0.36 2/511 17918
/proc/meminfo: memFree=23713376/32951124 swapFree=56297244/67111528
[pid=17918] ppid=17916 vsize=15388 CPUtime=0 cores=0,2,4,6
/proc/17918/stat : 17918 (python) R 17916 17918 17566 0 -1 4202496 797 0 0 0 0 0 0 0 17 0 1 0 947892079 15757312 683 33554432000 4194304 5683644 140737142016832 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/17918/statm: 3846 683 322 364 0 333 0
[startup+0.0876211 s]
/proc/loadavg: 2.12 0.95 0.36 2/511 17918
/proc/meminfo: memFree=23713376/32951124 swapFree=56297244/67111528
[pid=17918] ppid=17916 vsize=85368 CPUtime=0.06 cores=0,2,4,6
/proc/17918/stat : 17918 (python) R 17916 17918 17566 0 -1 4202496 2598 0 0 0 5 1 0 0 17 0 1 0 947892079 87416832 2317 33554432000 4194304 5683644 140737142016832 18446744073709551615 5214381 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/17918/statm: 21342 2317 715 364 0 1559 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85368
[startup+0.433552 s]
/proc/loadavg: 2.12 0.95 0.36 2/511 17918
/proc/meminfo: memFree=23713376/32951124 swapFree=56297244/67111528
[pid=17918] ppid=17916 vsize=234444 CPUtime=0.32 cores=0,2,4,6
/proc/17918/stat : 17918 (python) R 17916 17918 17566 0 -1 4202496 7475 928 1 0 23 9 0 0 17 0 1 0 947892079 240070656 5669 33554432000 4194304 5683644 140737142016832 18446744073709551615 252457731608 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/17918/statm: 58611 5669 1578 364 0 4259 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 234444
[startup+0.500525 s]
/proc/loadavg: 2.12 0.95 0.36 2/511 17918
/proc/meminfo: memFree=23713376/32951124 swapFree=56297244/67111528
[pid=17918] ppid=17916 vsize=261408 CPUtime=0.38 cores=0,2,4,6
/proc/17918/stat : 17918 (python) D 17916 17918 17566 0 -1 4202496 8255 928 1 0 27 11 0 0 17 0 1 0 947892079 267681792 6351 33554432000 4194304 5683644 140737142016832 18446744073709551615 252458071607 0 0 16781312 2 18446744071562154983 0 0 17 0 0 0 0
/proc/17918/statm: 65352 6351 1677 364 0 5068 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 261408
[startup+0.700492 s]
/proc/loadavg: 2.12 0.95 0.36 2/511 17918
/proc/meminfo: memFree=23713376/32951124 swapFree=56297244/67111528
[pid=17918] ppid=17916 vsize=261408 CPUtime=0.38 cores=0,2,4,6
/proc/17918/stat : 17918 (python) D 17916 17918 17566 0 -1 4202496 8255 928 1 0 27 11 0 0 17 0 1 0 947892079 267681792 6351 33554432000 4194304 5683644 140737142016832 18446744073709551615 252458071607 0 0 16781312 2 18446744071562154983 0 0 17 0 0 0 0
/proc/17918/statm: 65352 6351 1677 364 0 5068 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 261408
[startup+1.50134 s]
/proc/loadavg: 2.12 0.95 0.36 3/518 17933
/proc/meminfo: memFree=23612656/32951124 swapFree=56297244/67111528
[pid=17918] ppid=17916 vsize=293108 CPUtime=0.46 cores=0,2,4,6
/proc/17918/stat : 17918 (python) S 17916 17918 17566 0 -1 4202496 9646 928 1 0 34 12 0 0 18 0 2 0 947892079 300142592 7147 33554432000 4194304 5683644 140737142016832 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 41
/proc/17918/statm: 73277 7147 1870 364 0 8164 0
[pid=17931] ppid=17918 vsize=282864 CPUtime=0 cores=0,2,4,6
/proc/17931/stat : 17931 (python) S 17918 17918 17566 0 -1 4202560 756 0 0 0 0 0 0 0 15 0 1 0 947892179 289652736 5625 33554432000 4194304 5683644 140737142016832 18446744073709551615 252458085903 0 0 16781312 33554946 54830944070139904 0 0 17 0 0 0 0
/proc/17931/statm: 70716 5625 352 364 0 5603 0
[pid=17933] ppid=17931 vsize=32236 CPUtime=0.49 cores=0,2,4,6
/proc/17933/stat : 17933 (scip-2.0.1.linu) R 17931 17933 17933 0 -1 4202496 6363 0 0 0 48 1 0 0 20 0 1 0 947892179 33009664 5745 33554432000 4194304 13684479 140734290161968 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/17933/statm: 8059 5745 777 2317 0 5737 0
[pid=17918/tid=17932] ppid=17916 vsize=293108 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17932/stat : 17932 (python) S 17916 17918 17566 0 -1 4202560 29 928 0 0 0 0 0 0 19 0 2 0 947892179 300142592 7147 33554432000 4194304 5683644 140737142016832 18446744073709551615 252469889457 0 0 16781312 33554434 18446604444477684480 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 608208
[startup+3.10104 s]
/proc/loadavg: 2.12 0.95 0.36 3/518 17933
/proc/meminfo: memFree=23595544/32951124 swapFree=56297244/67111528
[pid=17918] ppid=17916 vsize=293108 CPUtime=0.46 cores=0,2,4,6
/proc/17918/stat : 17918 (python) S 17916 17918 17566 0 -1 4202496 9646 928 1 0 34 12 0 0 18 0 2 0 947892079 300142592 7147 33554432000 4194304 5683644 140737142016832 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 41
/proc/17918/statm: 73277 7147 1870 364 0 8164 0
[pid=17931] ppid=17918 vsize=282864 CPUtime=0 cores=0,2,4,6
/proc/17931/stat : 17931 (python) S 17918 17918 17566 0 -1 4202560 759 0 0 0 0 0 0 0 15 0 1 0 947892179 289652736 5625 33554432000 4194304 5683644 140737142016832 18446744073709551615 252458085903 0 0 16781312 33554946 2244856234547085312 0 0 17 0 0 0 0
/proc/17931/statm: 70716 5625 352 364 0 5603 0
[pid=17933] ppid=17931 vsize=36680 CPUtime=2.09 cores=0,2,4,6
/proc/17933/stat : 17933 (scip-2.0.1.linu) R 17931 17933 17933 0 -1 4202496 8321 0 0 0 206 3 0 0 19 0 1 0 947892179 37560320 6958 33554432000 4194304 13684479 140734290161968 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/17933/statm: 9170 6958 797 2317 0 6848 0
[pid=17918/tid=17932] ppid=17916 vsize=293108 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17932/stat : 17932 (python) S 17916 17918 17566 0 -1 4202560 29 928 0 0 0 0 0 0 19 0 2 0 947892179 300142592 7147 33554432000 4194304 5683644 140737142016832 18446744073709551615 252469889457 0 0 16781312 33554434 18446604444477684480 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.55
Current children cumulated vsize (KiB) 612652
[startup+6.30046 s]
/proc/loadavg: 2.19 0.98 0.37 3/518 17933
/proc/meminfo: memFree=23589220/32951124 swapFree=56297244/67111528
[pid=17918] ppid=17916 vsize=293108 CPUtime=0.46 cores=0,2,4,6
/proc/17918/stat : 17918 (python) S 17916 17918 17566 0 -1 4202496 9646 928 1 0 34 12 0 0 18 0 2 0 947892079 300142592 7147 33554432000 4194304 5683644 140737142016832 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 41
/proc/17918/statm: 73277 7147 1870 364 0 8164 0
[pid=17931] ppid=17918 vsize=282864 CPUtime=0.02 cores=0,2,4,6
/proc/17931/stat : 17931 (python) S 17918 17918 17566 0 -1 4202560 890 0 0 0 1 1 0 0 15 0 1 0 947892179 289652736 5648 33554432000 4194304 5683644 140737142016832 18446744073709551615 252458085903 0 0 16781312 33554946 10478210199112876290 0 0 17 6 0 0 0
/proc/17931/statm: 70716 5648 375 364 0 5603 0
[pid=17933] ppid=17931 vsize=36680 CPUtime=5.29 cores=0,2,4,6
/proc/17933/stat : 17933 (scip-2.0.1.linu) R 17931 17933 17933 0 -1 4202496 8323 0 0 0 521 8 0 0 25 0 1 0 947892179 37560320 6960 33554432000 4194304 13684479 140734290161968 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/17933/statm: 9170 6960 799 2317 0 6848 0
[pid=17918/tid=17932] ppid=17916 vsize=293108 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17932/stat : 17932 (python) S 17916 17918 17566 0 -1 4202560 29 928 0 0 0 0 0 0 19 0 2 0 947892179 300142592 7147 33554432000 4194304 5683644 140737142016832 18446744073709551615 252469889457 0 0 16781312 33554434 18446604444477684480 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.77
Current children cumulated vsize (KiB) 612652
Solver just ended. Dumping a history of the last processes samples
[startup+6.60039 s]
/proc/loadavg: 2.19 0.98 0.37 3/518 17933
/proc/meminfo: memFree=23589220/32951124 swapFree=56297244/67111528
[pid=17918] ppid=17916 vsize=293108 CPUtime=0.46 cores=0,2,4,6
/proc/17918/stat : 17918 (python) S 17916 17918 17566 0 -1 4202496 9646 928 1 0 34 12 0 0 18 0 2 0 947892079 300142592 7147 33554432000 4194304 5683644 140737142016832 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 41
/proc/17918/statm: 73277 7147 1870 364 0 8164 0
[pid=17931] ppid=17918 vsize=282864 CPUtime=0.02 cores=0,2,4,6
/proc/17931/stat : 17931 (python) S 17918 17918 17566 0 -1 4202560 890 0 0 0 1 1 0 0 15 0 1 0 947892179 289652736 5648 33554432000 4194304 5683644 140737142016832 18446744073709551615 252458085903 0 0 16781312 33554946 10478210199112876290 0 0 17 6 0 0 0
/proc/17931/statm: 70716 5648 375 364 0 5603 0
[pid=17933] ppid=17931 vsize=36680 CPUtime=5.58 cores=0,2,4,6
/proc/17933/stat : 17933 (scip-2.0.1.linu) R 17931 17933 17933 0 -1 4202496 8323 0 0 0 550 8 0 0 25 0 1 0 947892179 37560320 6960 33554432000 4194304 13684479 140734290161968 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/17933/statm: 9170 6960 799 2317 0 6848 0
[pid=17918/tid=17932] ppid=17916 vsize=293108 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17932/stat : 17932 (python) S 17916 17918 17566 0 -1 4202560 29 928 0 0 0 0 0 0 19 0 2 0 947892179 300142592 7147 33554432000 4194304 5683644 140737142016832 18446744073709551615 252469889457 0 0 16781312 33554434 18446604444477684480 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 612652
[startup+9.80082 s]
/proc/loadavg: 2.25 1.01 0.38 3/518 17933
/proc/meminfo: memFree=23562448/32951124 swapFree=56297244/67111528
[pid=17918] ppid=17916 vsize=293108 CPUtime=0.46 cores=0,2,4,6
/proc/17918/stat : 17918 (python) S 17916 17918 17566 0 -1 4202496 9646 928 1 0 34 12 0 0 18 0 2 0 947892079 300142592 7147 33554432000 4194304 5683644 140737142016832 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 41
/proc/17918/statm: 73277 7147 1870 364 0 8164 0
[pid=17931] ppid=17918 vsize=282864 CPUtime=0.04 cores=0,2,4,6
/proc/17931/stat : 17931 (python) S 17918 17918 17566 0 -1 4202560 894 0 0 0 2 2 0 0 15 0 1 0 947892179 289652736 5649 33554432000 4194304 5683644 140737142016832 18446744073709551615 252458085903 0 0 16781312 33554946 72556772316949183 0 0 17 6 0 0 0
/proc/17931/statm: 70716 5649 376 364 0 5603 0
[pid=17933] ppid=17931 vsize=36680 CPUtime=8.79 cores=0,2,4,6
/proc/17933/stat : 17933 (scip-2.0.1.linu) R 17931 17933 17933 0 -1 4202496 8323 0 0 0 864 15 0 0 25 0 1 0 947892179 37560320 6960 33554432000 4194304 13684479 140734290161968 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/17933/statm: 9170 6960 799 2317 0 6848 0
[pid=17918/tid=17932] ppid=17916 vsize=293108 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17932/stat : 17932 (python) S 17916 17918 17566 0 -1 4202560 29 928 0 0 0 0 0 0 19 0 2 0 947892179 300142592 7147 33554432000 4194304 5683644 140737142016832 18446744073709551615 252469889457 0 0 16781312 33554434 18446604444477684480 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.29
Current children cumulated vsize (KiB) 612652
[startup+11.4005 s]
/proc/loadavg: 2.25 1.01 0.38 3/518 17933
/proc/meminfo: memFree=23549444/32951124 swapFree=56297244/67111528
[pid=17918] ppid=17916 vsize=293108 CPUtime=0.46 cores=0,2,4,6
/proc/17918/stat : 17918 (python) S 17916 17918 17566 0 -1 4202496 9646 928 1 0 34 12 0 0 18 0 2 0 947892079 300142592 7147 33554432000 4194304 5683644 140737142016832 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 41
/proc/17918/statm: 73277 7147 1870 364 0 8164 0
[pid=17931] ppid=17918 vsize=282864 CPUtime=0.04 cores=0,2,4,6
/proc/17931/stat : 17931 (python) S 17918 17918 17566 0 -1 4202560 894 0 0 0 2 2 0 0 15 0 1 0 947892179 289652736 5649 33554432000 4194304 5683644 140737142016832 18446744073709551615 252458085903 0 0 16781312 33554946 1318703930812661760 0 0 17 6 0 0 0
/proc/17931/statm: 70716 5649 376 364 0 5603 0
[pid=17933] ppid=17931 vsize=36680 CPUtime=10.39 cores=0,2,4,6
/proc/17933/stat : 17933 (scip-2.0.1.linu) R 17931 17933 17933 0 -1 4202496 8326 0 0 0 1021 18 0 0 25 0 1 0 947892179 37560320 6961 33554432000 4194304 13684479 140734290161968 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/17933/statm: 9170 6961 798 2317 0 6848 0
[pid=17918/tid=17932] ppid=17916 vsize=293108 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17932/stat : 17932 (python) S 17916 17918 17566 0 -1 4202560 29 928 0 0 0 0 0 0 19 0 2 0 947892179 300142592 7147 33554432000 4194304 5683644 140737142016832 18446744073709551615 252469889457 0 0 16781312 33554434 18446604444477684480 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.89
Current children cumulated vsize (KiB) 612652
[startup+11.8004 s]
/proc/loadavg: 2.25 1.01 0.38 3/518 17933
/proc/meminfo: memFree=23549444/32951124 swapFree=56297244/67111528
[pid=17918] ppid=17916 vsize=293108 CPUtime=0.46 cores=0,2,4,6
/proc/17918/stat : 17918 (python) S 17916 17918 17566 0 -1 4202496 9646 928 1 0 34 12 0 0 18 0 2 0 947892079 300142592 7147 33554432000 4194304 5683644 140737142016832 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 41
/proc/17918/statm: 73277 7147 1870 364 0 8164 0
[pid=17931] ppid=17918 vsize=282864 CPUtime=0.04 cores=0,2,4,6
/proc/17931/stat : 17931 (python) S 17918 17918 17566 0 -1 4202560 894 0 0 0 2 2 0 0 15 0 1 0 947892179 289652736 5649 33554432000 4194304 5683644 140737142016832 18446744073709551615 252458085903 0 0 16781312 33554946 1318703930812661760 0 0 17 6 0 0 0
/proc/17931/statm: 70716 5649 376 364 0 5603 0
[pid=17933] ppid=17931 vsize=36680 CPUtime=10.79 cores=0,2,4,6
/proc/17933/stat : 17933 (scip-2.0.1.linu) R 17931 17933 17933 0 -1 4202496 8328 0 0 0 1060 19 0 0 25 0 1 0 947892179 37560320 6963 33554432000 4194304 13684479 140734290161968 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/17933/statm: 9170 6963 800 2317 0 6848 0
[pid=17918/tid=17932] ppid=17916 vsize=293108 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17932/stat : 17932 (python) S 17916 17918 17566 0 -1 4202560 29 928 0 0 0 0 0 0 19 0 2 0 947892179 300142592 7147 33554432000 4194304 5683644 140737142016832 18446744073709551615 252469889457 0 0 16781312 33554434 18446604444477684480 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.29
Current children cumulated vsize (KiB) 612652
[startup+12.2004 s]
/proc/loadavg: 2.25 1.01 0.38 3/518 17933
/proc/meminfo: memFree=23549444/32951124 swapFree=56297244/67111528
[pid=17918] ppid=17916 vsize=293108 CPUtime=0.46 cores=0,2,4,6
/proc/17918/stat : 17918 (python) S 17916 17918 17566 0 -1 4202496 9646 928 1 0 34 12 0 0 18 0 2 0 947892079 300142592 7147 33554432000 4194304 5683644 140737142016832 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 41
/proc/17918/statm: 73277 7147 1870 364 0 8164 0
[pid=17931] ppid=17918 vsize=282864 CPUtime=0.04 cores=0,2,4,6
/proc/17931/stat : 17931 (python) S 17918 17918 17566 0 -1 4202560 894 0 0 0 2 2 0 0 15 0 1 0 947892179 289652736 5649 33554432000 4194304 5683644 140737142016832 18446744073709551615 252458085903 0 0 16781312 33554946 1652848916107886592 0 0 17 6 0 0 0
/proc/17931/statm: 70716 5649 376 364 0 5603 0
[pid=17933] ppid=17931 vsize=36680 CPUtime=11.19 cores=0,2,4,6
/proc/17933/stat : 17933 (scip-2.0.1.linu) R 17931 17933 17933 0 -1 4202496 8328 0 0 0 1099 20 0 0 18 0 1 0 947892179 37560320 6963 33554432000 4194304 13684479 140734290161968 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/17933/statm: 9170 6963 800 2317 0 6848 0
[pid=17918/tid=17932] ppid=17916 vsize=293108 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17932/stat : 17932 (python) S 17916 17918 17566 0 -1 4202560 29 928 0 0 0 0 0 0 19 0 2 0 947892179 300142592 7147 33554432000 4194304 5683644 140737142016832 18446744073709551615 252469889457 0 0 16781312 33554434 18446604444477684480 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.69
Current children cumulated vsize (KiB) 612652
[startup+12.3004 s]
/proc/loadavg: 2.25 1.01 0.38 3/518 17933
/proc/meminfo: memFree=23543616/32951124 swapFree=56297244/67111528
[pid=17918] ppid=17916 vsize=293108 CPUtime=0.46 cores=0,2,4,6
/proc/17918/stat : 17918 (python) S 17916 17918 17566 0 -1 4202496 9646 928 1 0 34 12 0 0 18 0 2 0 947892079 300142592 7147 33554432000 4194304 5683644 140737142016832 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 41
/proc/17918/statm: 73277 7147 1870 364 0 8164 0
[pid=17931] ppid=17918 vsize=282864 CPUtime=0.04 cores=0,2,4,6
/proc/17931/stat : 17931 (python) R 17918 17918 17566 0 -1 4202560 894 0 0 0 2 2 0 0 15 0 1 0 947892179 289652736 5649 33554432000 4194304 5683644 140737142016832 18446744073709551615 252458085903 0 0 16781312 33554946 0 0 0 17 6 0 0 0
/proc/17931/statm: 70716 5649 376 364 0 5603 0
[pid=17933] ppid=17931 vsize=36680 CPUtime=11.29 cores=0,2,4,6
/proc/17933/stat : 17933 (scip-2.0.1.linu) R 17931 17933 17933 0 -1 4202496 8332 0 0 0 1109 20 0 0 18 0 1 0 947892179 37560320 6967 33554432000 4194304 13684479 140734290161968 18446744073709551615 5095428 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/17933/statm: 9170 6967 804 2317 0 6848 0
[pid=17918/tid=17932] ppid=17916 vsize=293088 CPUtime=11.35 cores=0,2,4,6
/proc/17918/task/17932/stat : 17932 (python) S 17916 17918 17566 0 -1 4202560 29 10451 0 0 0 0 1112 23 18 0 2 0 947892179 300122112 7145 33554432000 4194304 5683644 140737142016832 18446744073709551615 252469889457 0 0 16781312 0 18446604444477684480 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.79
Current children cumulated vsize (KiB) 612652
Child status: 0
Real time (s): 12.3347
CPU time (s): 11.8482
CPU user time (s): 11.4893
CPU system time (s): 0.358945
CPU usage (%): 96.0559
Max. virtual memory (cumulated for all children) (KiB): 612652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.4893
system time used= 0.358945
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24505
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= 2923
involuntary context switches= 41
runsolver used 0.06299 second user time and 0.137979 second system time
The end