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

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.26 0.99 0.38 2/595 1407
/proc/meminfo: memFree=25934832/32951124 swapFree=53733252/67111528
[pid=1407] ppid=1405 vsize=15184 CPUtime=0 cores=1,3,5,7
/proc/1407/stat : 1407 (python) R 1405 1407 1117 0 -1 4202496 683 0 0 0 0 0 0 0 20 0 1 0 869261912 15548416 577 33554432000 4194304 5683644 140736573999632 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/1407/statm: 3796 581 321 364 0 283 0

[startup+0.0317929 s]
/proc/loadavg: 2.26 0.99 0.38 2/595 1407
/proc/meminfo: memFree=25934832/32951124 swapFree=53733252/67111528
[pid=1407] ppid=1405 vsize=18888 CPUtime=0.01 cores=1,3,5,7
/proc/1407/stat : 1407 (python) R 1405 1407 1117 0 -1 4202496 1281 0 0 0 1 0 0 0 20 0 1 0 869261912 19341312 1133 33554432000 4194304 5683644 140736573999632 18446744073709551615 4865441 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/1407/statm: 4722 1133 421 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18888

[startup+0.10078 s]
/proc/loadavg: 2.26 0.99 0.38 2/595 1407
/proc/meminfo: memFree=25934832/32951124 swapFree=53733252/67111528
[pid=1407] ppid=1405 vsize=96128 CPUtime=0.06 cores=1,3,5,7
/proc/1407/stat : 1407 (python) R 1405 1407 1117 0 -1 4202496 3170 930 1 0 5 1 0 0 18 0 1 0 869261912 98435072 2483 33554432000 4194304 5683644 140736573999632 18446744073709551615 5177337 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/1407/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96128

[startup+0.30072 s]
/proc/loadavg: 2.26 0.99 0.38 2/595 1407
/proc/meminfo: memFree=25934832/32951124 swapFree=53733252/67111528
[pid=1407] ppid=1405 vsize=123744 CPUtime=0.18 cores=1,3,5,7
/proc/1407/stat : 1407 (python) S 1405 1407 1117 0 -1 4202496 5360 930 1 0 14 4 0 0 16 0 1 0 869261912 126713856 3746 33554432000 4194304 5683644 140736573999632 18446744073709551615 253640855557 0 2147483391 16781312 2 18446744071699199166 0 0 17 3 0 0 0
/proc/1407/statm: 30936 3746 987 364 0 2768 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 123744

[startup+0.700672 s]
/proc/loadavg: 2.26 0.99 0.38 2/595 1407
/proc/meminfo: memFree=25934832/32951124 swapFree=53733252/67111528
[pid=1407] ppid=1405 vsize=284832 CPUtime=0.5 cores=1,3,5,7
/proc/1407/stat : 1407 (python) R 1405 1407 1117 0 -1 4202496 10023 930 1 0 41 9 0 0 16 0 1 0 869261912 291667968 7554 33554432000 4194304 5683644 140736573999632 18446744073709551615 253640515591 0 0 16781312 33554434 0 0 0 17 3 0 0 0
/proc/1407/statm: 71208 7554 1815 364 0 6101 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 284832

[startup+1.50053 s]
/proc/loadavg: 2.26 0.99 0.38 3/599 1415
/proc/meminfo: memFree=25886052/32951124 swapFree=53733252/67111528
[pid=1407] ppid=1405 vsize=295100 CPUtime=0.61 cores=1,3,5,7
/proc/1407/stat : 1407 (python) S 1405 1407 1117 0 -1 4202496 10307 930 1 0 52 9 0 0 18 0 2 0 869261912 302182400 7616 33554432000 4194304 5683644 140736573999632 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/1407/statm: 73775 7616 1862 364 0 8662 0
[pid=1413] ppid=1407 vsize=284856 CPUtime=0 cores=1,3,5,7
/proc/1413/stat : 1413 (python) S 1407 1407 1117 0 -1 4202560 854 0 0 0 0 0 0 0 15 0 1 0 869261993 291692544 6108 33554432000 4194304 5683644 140736573999632 18446744073709551615 253640879631 0 0 16781312 33554946 4294934791 0 0 17 3 0 0 0
/proc/1413/statm: 71214 6108 358 364 0 6101 0
[pid=1415] ppid=1413 vsize=57560 CPUtime=0.68 cores=1,3,5,7
/proc/1415/stat : 1415 (scip-2.0.1.linu) R 1413 1415 1415 0 -1 4202496 12717 0 0 0 64 4 0 0 18 0 1 0 869261993 58941440 11967 33554432000 4194304 13684479 140736447598736 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/1415/statm: 14390 11967 769 2317 0 12068 0
[pid=1407/tid=1414] ppid=1405 vsize=295100 CPUtime=0 cores=1,3,5,7
/proc/1407/task/1414/stat : 1414 (python) S 1405 1407 1117 0 -1 4202560 26 930 0 0 0 0 0 0 18 0 2 0 869261993 302182400 7616 33554432000 4194304 5683644 140736573999632 18446744073709551615 253652683185 0 0 16781312 33554434 18446604465796436224 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 637516

[startup+3.10024 s]
/proc/loadavg: 2.26 0.99 0.38 3/599 1415
/proc/meminfo: memFree=25886052/32951124 swapFree=53733252/67111528
[pid=1407] ppid=1405 vsize=295100 CPUtime=0.61 cores=1,3,5,7
/proc/1407/stat : 1407 (python) S 1405 1407 1117 0 -1 4202496 10307 930 1 0 52 9 0 0 18 0 2 0 869261912 302182400 7616 33554432000 4194304 5683644 140736573999632 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/1407/statm: 73775 7616 1862 364 0 8662 0
[pid=1413] ppid=1407 vsize=284856 CPUtime=0 cores=1,3,5,7
/proc/1413/stat : 1413 (python) S 1407 1407 1117 0 -1 4202560 854 0 0 0 0 0 0 0 15 0 1 0 869261993 291692544 6108 33554432000 4194304 5683644 140736573999632 18446744073709551615 253640879631 0 0 16781312 33554946 4294934791 0 0 17 3 0 0 0
/proc/1413/statm: 71214 6108 358 364 0 6101 0
[pid=1415] ppid=1413 vsize=88784 CPUtime=2.27 cores=1,3,5,7
/proc/1415/stat : 1415 (scip-2.0.1.linu) R 1413 1415 1415 0 -1 4202496 20420 0 0 0 219 8 0 0 19 0 1 0 869261993 90914816 19517 33554432000 4194304 13684479 140736447598736 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/1415/statm: 22196 19517 779 2317 0 19874 0
[pid=1407/tid=1414] ppid=1405 vsize=295100 CPUtime=0 cores=1,3,5,7
/proc/1407/task/1414/stat : 1414 (python) S 1405 1407 1117 0 -1 4202560 26 930 0 0 0 0 0 0 18 0 2 0 869261993 302182400 7616 33554432000 4194304 5683644 140736573999632 18446744073709551615 253652683185 0 0 16781312 33554434 18446604465796436224 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 668740

[startup+6.30067 s]
/proc/loadavg: 2.56 1.07 0.41 3/599 1415
/proc/meminfo: memFree=25788836/32951124 swapFree=53733252/67111528
[pid=1407] ppid=1405 vsize=295100 CPUtime=0.61 cores=1,3,5,7
/proc/1407/stat : 1407 (python) S 1405 1407 1117 0 -1 4202496 10307 930 1 0 52 9 0 0 18 0 2 0 869261912 302182400 7616 33554432000 4194304 5683644 140736573999632 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/1407/statm: 73775 7616 1862 364 0 8662 0
[pid=1413] ppid=1407 vsize=284856 CPUtime=0.02 cores=1,3,5,7
/proc/1413/stat : 1413 (python) S 1407 1407 1117 0 -1 4202560 985 0 0 0 1 1 0 0 15 0 1 0 869261993 291692544 6131 33554432000 4194304 5683644 140736573999632 18446744073709551615 253640879631 0 0 16781312 33554946 3243058379903467520 0 0 17 3 0 0 0
/proc/1413/statm: 71214 6131 381 364 0 6101 0
[pid=1415] ppid=1413 vsize=110672 CPUtime=5.47 cores=1,3,5,7
/proc/1415/stat : 1415 (scip-2.0.1.linu) R 1413 1415 1415 0 -1 4202496 25757 0 0 0 529 18 0 0 18 0 1 0 869261993 113328128 24787 33554432000 4194304 13684479 140736447598736 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/1415/statm: 27668 24787 814 2317 0 25346 0
[pid=1407/tid=1414] ppid=1405 vsize=295100 CPUtime=0 cores=1,3,5,7
/proc/1407/task/1414/stat : 1414 (python) S 1405 1407 1117 0 -1 4202560 26 930 0 0 0 0 0 0 18 0 2 0 869261993 302182400 7616 33554432000 4194304 5683644 140736573999632 18446744073709551615 253652683185 0 0 16781312 33554434 18446604465796436224 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 690628

[startup+12.7005 s]
/proc/loadavg: 2.48 1.10 0.42 3/599 1415
/proc/meminfo: memFree=25766440/32951124 swapFree=53733252/67111528
[pid=1407] ppid=1405 vsize=295100 CPUtime=0.61 cores=1,3,5,7
/proc/1407/stat : 1407 (python) S 1405 1407 1117 0 -1 4202496 10307 930 1 0 52 9 0 0 18 0 2 0 869261912 302182400 7616 33554432000 4194304 5683644 140736573999632 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/1407/statm: 73775 7616 1862 364 0 8662 0
[pid=1413] ppid=1407 vsize=284856 CPUtime=0.04 cores=1,3,5,7
/proc/1413/stat : 1413 (python) S 1407 1407 1117 0 -1 4202560 990 0 0 0 2 2 0 0 15 0 1 0 869261993 291692544 6131 33554432000 4194304 5683644 140736573999632 18446744073709551615 253640879631 0 0 16781312 33554946 5623458817330129601 0 0 17 3 0 0 0
/proc/1413/statm: 71214 6131 381 364 0 6101 0
[pid=1415] ppid=1413 vsize=110672 CPUtime=11.87 cores=1,3,5,7
/proc/1415/stat : 1415 (scip-2.0.1.linu) R 1413 1415 1415 0 -1 4202496 25761 0 0 0 1152 35 0 0 25 0 1 0 869261993 113328128 24790 33554432000 4194304 13684479 140736447598736 18446744073709551615 7416013 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/1415/statm: 27668 24790 813 2317 0 25346 0
[pid=1407/tid=1414] ppid=1405 vsize=295100 CPUtime=0 cores=1,3,5,7
/proc/1407/task/1414/stat : 1414 (python) S 1405 1407 1117 0 -1 4202560 26 930 0 0 0 0 0 0 18 0 2 0 869261993 302182400 7616 33554432000 4194304 5683644 140736573999632 18446744073709551615 253652683185 0 0 16781312 33554434 18446604465796436224 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 690628

[startup+25.5012 s]
/proc/loadavg: 2.40 1.13 0.44 3/599 1415
/proc/meminfo: memFree=25766136/32951124 swapFree=53733252/67111528
[pid=1407] ppid=1405 vsize=295100 CPUtime=0.61 cores=1,3,5,7
/proc/1407/stat : 1407 (python) S 1405 1407 1117 0 -1 4202496 10307 930 1 0 52 9 0 0 18 0 2 0 869261912 302182400 7616 33554432000 4194304 5683644 140736573999632 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/1407/statm: 73775 7616 1862 364 0 8662 0
[pid=1413] ppid=1407 vsize=284856 CPUtime=0.11 cores=1,3,5,7
/proc/1413/stat : 1413 (python) S 1407 1407 1117 0 -1 4202560 996 0 0 0 6 5 0 0 15 0 1 0 869261993 291692544 6131 33554432000 4194304 5683644 140736573999632 18446744073709551615 253640879631 0 0 16781312 33554946 427646358904635392 0 0 17 7 0 0 0
/proc/1413/statm: 71214 6131 381 364 0 6101 0
[pid=1415] ppid=1413 vsize=111596 CPUtime=24.67 cores=1,3,5,7
/proc/1415/stat : 1415 (scip-2.0.1.linu) R 1413 1415 1415 0 -1 4202496 26247 0 0 0 2399 68 0 0 18 0 1 0 869261993 114274304 25276 33554432000 4194304 13684479 140736447598736 18446744073709551615 7419480 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/1415/statm: 27899 25276 813 2317 0 25577 0
[pid=1407/tid=1414] ppid=1405 vsize=295100 CPUtime=0 cores=1,3,5,7
/proc/1407/task/1414/stat : 1414 (python) S 1405 1407 1117 0 -1 4202560 26 930 0 0 0 0 0 0 18 0 2 0 869261993 302182400 7616 33554432000 4194304 5683644 140736573999632 18446744073709551615 253652683185 0 0 16781312 33554434 18446604465796436224 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 691552

Solver just ended. Dumping a history of the last processes samples

[startup+25.8011 s]
/proc/loadavg: 2.40 1.13 0.44 3/599 1415
/proc/meminfo: memFree=25766136/32951124 swapFree=53733252/67111528
[pid=1407] ppid=1405 vsize=295100 CPUtime=0.61 cores=1,3,5,7
/proc/1407/stat : 1407 (python) S 1405 1407 1117 0 -1 4202496 10307 930 1 0 52 9 0 0 18 0 2 0 869261912 302182400 7616 33554432000 4194304 5683644 140736573999632 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/1407/statm: 73775 7616 1862 364 0 8662 0
[pid=1413] ppid=1407 vsize=284856 CPUtime=0.11 cores=1,3,5,7
/proc/1413/stat : 1413 (python) S 1407 1407 1117 0 -1 4202560 996 0 0 0 6 5 0 0 15 0 1 0 869261993 291692544 6131 33554432000 4194304 5683644 140736573999632 18446744073709551615 253640879631 0 0 16781312 33554946 2098085176134336512 0 0 17 7 0 0 0
/proc/1413/statm: 71214 6131 381 364 0 6101 0
[pid=1415] ppid=1413 vsize=111596 CPUtime=24.98 cores=1,3,5,7
/proc/1415/stat : 1415 (scip-2.0.1.linu) R 1413 1415 1415 0 -1 4202496 26247 0 0 0 2429 69 0 0 18 0 1 0 869261993 114274304 25276 33554432000 4194304 13684479 140736447598736 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/1415/statm: 27899 25276 813 2317 0 25577 0
[pid=1407/tid=1414] ppid=1405 vsize=295100 CPUtime=0 cores=1,3,5,7
/proc/1407/task/1414/stat : 1414 (python) S 1405 1407 1117 0 -1 4202560 26 930 0 0 0 0 0 0 18 0 2 0 869261993 302182400 7616 33554432000 4194304 5683644 140736573999632 18446744073709551615 253652683185 0 0 16781312 33554434 18446604465796436224 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.7
Current children cumulated vsize (KiB) 691552

[startup+26.2011 s]
/proc/loadavg: 2.40 1.13 0.44 3/599 1415
/proc/meminfo: memFree=25766136/32951124 swapFree=53733252/67111528
[pid=1407] ppid=1405 vsize=295100 CPUtime=0.61 cores=1,3,5,7
/proc/1407/stat : 1407 (python) S 1405 1407 1117 0 -1 4202496 10307 930 1 0 52 9 0 0 18 0 2 0 869261912 302182400 7616 33554432000 4194304 5683644 140736573999632 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/1407/statm: 73775 7616 1862 364 0 8662 0
[pid=1413] ppid=1407 vsize=284856 CPUtime=0.11 cores=1,3,5,7
/proc/1413/stat : 1413 (python) S 1407 1407 1117 0 -1 4202560 997 0 0 0 6 5 0 0 15 0 1 0 869261993 291692544 6131 33554432000 4194304 5683644 140736573999632 18446744073709551615 253640879631 0 0 16781312 33554946 3536637888714244096 0 0 17 7 0 0 0
/proc/1413/statm: 71214 6131 381 364 0 6101 0
[pid=1415] ppid=1413 vsize=111596 CPUtime=25.38 cores=1,3,5,7
/proc/1415/stat : 1415 (scip-2.0.1.linu) R 1413 1415 1415 0 -1 4202496 26247 0 0 0 2468 70 0 0 18 0 1 0 869261993 114274304 25276 33554432000 4194304 13684479 140736447598736 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/1415/statm: 27899 25276 813 2317 0 25577 0
[pid=1407/tid=1414] ppid=1405 vsize=295100 CPUtime=0 cores=1,3,5,7
/proc/1407/task/1414/stat : 1414 (python) S 1405 1407 1117 0 -1 4202560 26 930 0 0 0 0 0 0 18 0 2 0 869261993 302182400 7616 33554432000 4194304 5683644 140736573999632 18446744073709551615 253652683185 0 0 16781312 33554434 18446604465796436224 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 26.1
Current children cumulated vsize (KiB) 691552

[startup+26.421 s]
/proc/loadavg: 2.40 1.13 0.44 3/599 1415
/proc/meminfo: memFree=25766136/32951124 swapFree=53733252/67111528
[pid=1407] ppid=1405 vsize=295100 CPUtime=0.61 cores=1,3,5,7
/proc/1407/stat : 1407 (python) S 1405 1407 1117 0 -1 4202496 10307 930 1 0 52 9 0 0 18 0 2 0 869261912 302182400 7616 33554432000 4194304 5683644 140736573999632 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/1407/statm: 73775 7616 1862 364 0 8662 0
[pid=1413] ppid=1407 vsize=284856 CPUtime=0.11 cores=1,3,5,7
/proc/1413/stat : 1413 (python) S 1407 1407 1117 0 -1 4202560 997 0 0 0 6 5 0 0 15 0 1 0 869261993 291692544 6131 33554432000 4194304 5683644 140736573999632 18446744073709551615 253640879631 0 0 16781312 33554946 542809314172076032 0 0 17 7 0 0 0
/proc/1413/statm: 71214 6131 381 364 0 6101 0
[pid=1415] ppid=1413 vsize=111596 CPUtime=25.59 cores=1,3,5,7
/proc/1415/stat : 1415 (scip-2.0.1.linu) R 1413 1415 1415 0 -1 4202496 26247 0 0 0 2489 70 0 0 19 0 1 0 869261993 114274304 25276 33554432000 4194304 13684479 140736447598736 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/1415/statm: 27899 25276 813 2317 0 25577 0
[pid=1407/tid=1414] ppid=1405 vsize=295100 CPUtime=0 cores=1,3,5,7
/proc/1407/task/1414/stat : 1414 (python) S 1405 1407 1117 0 -1 4202560 26 930 0 0 0 0 0 0 18 0 2 0 869261993 302182400 7616 33554432000 4194304 5683644 140736573999632 18446744073709551615 253652683185 0 0 16781312 33554434 18446604465796436224 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 26.31
Current children cumulated vsize (KiB) 691552

[startup+26.501 s]
/proc/loadavg: 2.40 1.13 0.44 3/599 1415
/proc/meminfo: memFree=25766136/32951124 swapFree=53733252/67111528
[pid=1407] ppid=1405 vsize=295100 CPUtime=0.61 cores=1,3,5,7
/proc/1407/stat : 1407 (python) S 1405 1407 1117 0 -1 4202496 10307 930 1 0 52 9 0 0 18 0 2 0 869261912 302182400 7616 33554432000 4194304 5683644 140736573999632 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/1407/statm: 73775 7616 1862 364 0 8662 0
[pid=1413] ppid=1407 vsize=284856 CPUtime=0.11 cores=1,3,5,7
/proc/1413/stat : 1413 (python) S 1407 1407 1117 0 -1 4202560 997 0 0 0 6 5 0 0 15 0 1 0 869261993 291692544 6131 33554432000 4194304 5683644 140736573999632 18446744073709551615 253640879631 0 0 16781312 33554946 542809314172076032 0 0 17 7 0 0 0
/proc/1413/statm: 71214 6131 381 364 0 6101 0
[pid=1415] ppid=1413 vsize=111596 CPUtime=25.67 cores=1,3,5,7
/proc/1415/stat : 1415 (scip-2.0.1.linu) R 1413 1415 1415 0 -1 4202496 26247 0 0 0 2497 70 0 0 19 0 1 0 869261993 114274304 25276 33554432000 4194304 13684479 140736447598736 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/1415/statm: 27899 25276 813 2317 0 25577 0
[pid=1407/tid=1414] ppid=1405 vsize=295100 CPUtime=0 cores=1,3,5,7
/proc/1407/task/1414/stat : 1414 (python) S 1405 1407 1117 0 -1 4202560 26 930 0 0 0 0 0 0 18 0 2 0 869261993 302182400 7616 33554432000 4194304 5683644 140736573999632 18446744073709551615 253652683185 0 0 16781312 33554434 18446604465796436224 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 26.39
Current children cumulated vsize (KiB) 691552

Child status: 0
Real time (s): 26.5531
CPU time (s): 26.484
CPU user time (s): 25.6081
CPU system time (s): 0.875866
CPU usage (%): 99.7395
Max. virtual memory (cumulated for all children) (KiB): 691552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.6081
system time used= 0.875866
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43784
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= 1963
involuntary context switches= 55

runsolver used 0.156976 second user time and 0.32695 second system time

The end