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-3481761-1307577285/watcher-3481761-1307577285 -o /tmp/evaluation-result-3481761-1307577285/solver-3481761-1307577285 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481761-1307577285.opb -seed 1637073118 -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.55 2.08 1.30 2/548 2305
/proc/meminfo: memFree=21458272/32951124 swapFree=43359760/67111528
[pid=2305] ppid=2303 vsize=15384 CPUtime=0 cores=1,3,5,7
/proc/2305/stat : 2305 (python) R 2303 2305 1406 0 -1 4202496 811 0 0 0 0 0 0 0 25 0 1 0 869326733 15753216 696 33554432000 4194304 5683644 140734213184752 18446744073709551615 4433760 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/2305/statm: 3846 696 334 364 0 333 0
[startup+0.0353339 s]
/proc/loadavg: 2.55 2.08 1.30 2/548 2305
/proc/meminfo: memFree=21458272/32951124 swapFree=43359760/67111528
[pid=2305] ppid=2303 vsize=18888 CPUtime=0.02 cores=1,3,5,7
/proc/2305/stat : 2305 (python) R 2303 2305 1406 0 -1 4202496 1286 0 0 0 2 0 0 0 25 0 1 0 869326733 19341312 1138 33554432000 4194304 5683644 140734213184752 18446744073709551615 4509088 0 0 16781312 2 0 0 0 17 7 0 0 0
/proc/2305/statm: 4722 1138 421 364 0 691 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18888
[startup+0.100364 s]
/proc/loadavg: 2.55 2.08 1.30 2/548 2305
/proc/meminfo: memFree=21458272/32951124 swapFree=43359760/67111528
[pid=2305] ppid=2303 vsize=85364 CPUtime=0.05 cores=1,3,5,7
/proc/2305/stat : 2305 (python) D 2303 2305 1406 0 -1 4202496 2587 0 0 0 4 1 0 0 18 0 1 0 869326733 87412736 2311 33554432000 4194304 5683644 140734213184752 18446744073709551615 246516839991 0 0 16781312 2 18446744071562154983 0 0 17 7 0 0 0
/proc/2305/statm: 21341 2311 709 364 0 1558 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85364
[startup+0.30029 s]
/proc/loadavg: 2.55 2.08 1.30 2/548 2305
/proc/meminfo: memFree=21458272/32951124 swapFree=43359760/67111528
[pid=2305] ppid=2303 vsize=119992 CPUtime=0.12 cores=1,3,5,7
/proc/2305/stat : 2305 (python) R 2303 2305 1406 0 -1 4202496 4939 931 1 0 9 3 0 0 18 0 1 0 869326733 122871808 3359 33554432000 4194304 5683644 140734213184752 18446744073709551615 246516834048 0 0 16781312 2 0 0 0 17 7 0 0 13
/proc/2305/statm: 29998 3359 919 364 0 2447 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 119992
[startup+0.700251 s]
/proc/loadavg: 2.55 2.08 1.30 2/548 2305
/proc/meminfo: memFree=21458272/32951124 swapFree=43359760/67111528
[pid=2305] ppid=2303 vsize=285220 CPUtime=0.47 cores=1,3,5,7
/proc/2305/stat : 2305 (python) R 2303 2305 1406 0 -1 4202496 9901 931 1 0 38 9 0 0 18 0 1 0 869326733 292065280 7636 33554432000 4194304 5683644 140734213184752 18446744073709551615 5007344 0 0 16781312 2 0 0 0 17 3 0 0 13
/proc/2305/statm: 71305 7636 1781 364 0 6198 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 285220
[startup+1.5011 s]
/proc/loadavg: 2.59 2.09 1.31 5/552 2313
/proc/meminfo: memFree=21422528/32951124 swapFree=43359760/67111528
[pid=2305] ppid=2303 vsize=296360 CPUtime=0.75 cores=1,3,5,7
/proc/2305/stat : 2305 (python) S 2303 2305 1406 0 -1 4202496 11165 931 1 0 65 10 0 0 21 0 2 0 869326733 303472640 7947 33554432000 4194304 5683644 140734213184752 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 13
/proc/2305/statm: 74090 7947 1870 364 0 8977 0
[pid=2311] ppid=2305 vsize=286116 CPUtime=0 cores=1,3,5,7
/proc/2311/stat : 2311 (python) S 2305 2305 1406 0 -1 4202560 766 0 0 0 0 0 0 0 16 0 1 0 869326830 292982784 6425 33554432000 4194304 5683644 140734213184752 18446744073709551615 246516854287 0 0 16781312 33554946 1423009732741824512 0 0 17 7 0 0 0
/proc/2311/statm: 71529 6425 352 364 0 6416 0
[pid=2313] ppid=2311 vsize=54612 CPUtime=0.51 cores=1,3,5,7
/proc/2313/stat : 2313 (scip-2.0.1.linu) R 2311 2313 2313 0 -1 4202496 13119 0 0 0 47 4 0 0 18 0 1 0 869326831 55922688 11175 33554432000 4194304 13684479 140737349501856 18446744073709551615 4907029 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/2313/statm: 13653 11175 768 2317 0 11331 0
[pid=2305/tid=2312] ppid=2303 vsize=296360 CPUtime=0 cores=1,3,5,7
/proc/2305/task/2312/stat : 2312 (python) S 2303 2305 1406 0 -1 4202560 29 931 0 0 0 0 0 0 21 0 2 0 869326830 303472640 7947 33554432000 4194304 5683644 140734213184752 18446744073709551615 246528657841 0 0 16781312 33554434 18446604470769071936 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 637088
[startup+3.10077 s]
/proc/loadavg: 2.59 2.09 1.31 5/552 2313
/proc/meminfo: memFree=21366756/32951124 swapFree=43359760/67111528
[pid=2305] ppid=2303 vsize=296360 CPUtime=0.75 cores=1,3,5,7
/proc/2305/stat : 2305 (python) S 2303 2305 1406 0 -1 4202496 11165 931 1 0 65 10 0 0 21 0 2 0 869326733 303472640 7947 33554432000 4194304 5683644 140734213184752 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 13
/proc/2305/statm: 74090 7947 1870 364 0 8977 0
[pid=2311] ppid=2305 vsize=286116 CPUtime=0 cores=1,3,5,7
/proc/2311/stat : 2311 (python) S 2305 2305 1406 0 -1 4202560 774 0 0 0 0 0 0 0 15 0 1 0 869326830 292982784 6425 33554432000 4194304 5683644 140734213184752 18446744073709551615 246516854287 0 0 16781312 33554946 3663792916658126848 0 0 17 7 0 0 0
/proc/2311/statm: 71529 6425 352 364 0 6416 0
[pid=2313] ppid=2311 vsize=95228 CPUtime=2.1 cores=1,3,5,7
/proc/2313/stat : 2313 (scip-2.0.1.linu) R 2311 2313 2313 0 -1 4202496 23239 0 0 0 195 15 0 0 20 0 1 0 869326831 97513472 20993 33554432000 4194304 13684479 140737349501856 18446744073709551615 4958894 0 0 16781312 2 0 0 0 17 7 0 0 0
/proc/2313/statm: 23807 20993 811 2317 0 21485 0
[pid=2305/tid=2312] ppid=2303 vsize=296360 CPUtime=0 cores=1,3,5,7
/proc/2305/task/2312/stat : 2312 (python) S 2303 2305 1406 0 -1 4202560 29 931 0 0 0 0 0 0 21 0 2 0 869326830 303472640 7947 33554432000 4194304 5683644 140734213184752 18446744073709551615 246528657841 0 0 16781312 33554434 18446604470769071936 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 677704
[startup+6.30024 s]
/proc/loadavg: 2.59 2.09 1.31 5/552 2313
/proc/meminfo: memFree=21351264/32951124 swapFree=43359760/67111528
[pid=2305] ppid=2303 vsize=296360 CPUtime=0.75 cores=1,3,5,7
/proc/2305/stat : 2305 (python) S 2303 2305 1406 0 -1 4202496 11165 931 1 0 65 10 0 0 21 0 2 0 869326733 303472640 7947 33554432000 4194304 5683644 140734213184752 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 13
/proc/2305/statm: 74090 7947 1870 364 0 8977 0
[pid=2311] ppid=2305 vsize=286116 CPUtime=0.01 cores=1,3,5,7
/proc/2311/stat : 2311 (python) S 2305 2305 1406 0 -1 4202560 910 0 0 0 1 0 0 0 15 0 1 0 869326830 292982784 6449 33554432000 4194304 5683644 140734213184752 18446744073709551615 246516854287 0 0 16781312 33554946 3584152480549699584 0 0 17 7 0 0 0
/proc/2311/statm: 71529 6449 376 364 0 6416 0
[pid=2313] ppid=2311 vsize=95228 CPUtime=5.3 cores=1,3,5,7
/proc/2313/stat : 2313 (scip-2.0.1.linu) R 2311 2313 2313 0 -1 4202496 23259 0 0 0 506 24 0 0 25 0 1 0 869326831 97513472 21013 33554432000 4194304 13684479 140737349501856 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/2313/statm: 23807 21013 814 2317 0 21485 0
[pid=2305/tid=2312] ppid=2303 vsize=296360 CPUtime=0 cores=1,3,5,7
/proc/2305/task/2312/stat : 2312 (python) S 2303 2305 1406 0 -1 4202560 29 931 0 0 0 0 0 0 21 0 2 0 869326830 303472640 7947 33554432000 4194304 5683644 140734213184752 18446744073709551615 246528657841 0 0 16781312 33554434 18446604470769071936 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 677704
[startup+12.7011 s]
/proc/loadavg: 2.72 2.14 1.33 5/552 2313
/proc/meminfo: memFree=21350936/32951124 swapFree=43359760/67111528
[pid=2305] ppid=2303 vsize=296360 CPUtime=0.75 cores=1,3,5,7
/proc/2305/stat : 2305 (python) S 2303 2305 1406 0 -1 4202496 11165 931 1 0 65 10 0 0 21 0 2 0 869326733 303472640 7947 33554432000 4194304 5683644 140734213184752 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 13
/proc/2305/statm: 74090 7947 1870 364 0 8977 0
[pid=2311] ppid=2305 vsize=286116 CPUtime=0.03 cores=1,3,5,7
/proc/2311/stat : 2311 (python) S 2305 2305 1406 0 -1 4202560 916 0 0 0 2 1 0 0 15 0 1 0 869326830 292982784 6449 33554432000 4194304 5683644 140734213184752 18446744073709551615 246516854287 0 0 16781312 33554946 4250136947055394816 0 0 17 7 0 0 0
/proc/2311/statm: 71529 6449 376 364 0 6416 0
[pid=2313] ppid=2311 vsize=95228 CPUtime=11.7 cores=1,3,5,7
/proc/2313/stat : 2313 (scip-2.0.1.linu) R 2311 2313 2313 0 -1 4202496 23259 0 0 0 1129 41 0 0 25 0 1 0 869326831 97513472 21013 33554432000 4194304 13684479 140737349501856 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/2313/statm: 23807 21013 814 2317 0 21485 0
[pid=2305/tid=2312] ppid=2303 vsize=296360 CPUtime=0 cores=1,3,5,7
/proc/2305/task/2312/stat : 2312 (python) S 2303 2305 1406 0 -1 4202560 29 931 0 0 0 0 0 0 21 0 2 0 869326830 303472640 7947 33554432000 4194304 5683644 140734213184752 18446744073709551615 246528657841 0 0 16781312 33554434 18446604470769071936 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 677704
Solver just ended. Dumping a history of the last processes samples
[startup+15.9005 s]
/proc/loadavg: 2.72 2.14 1.33 5/552 2313
/proc/meminfo: memFree=21352060/32951124 swapFree=43359760/67111528
[pid=2305] ppid=2303 vsize=296360 CPUtime=0.75 cores=1,3,5,7
/proc/2305/stat : 2305 (python) S 2303 2305 1406 0 -1 4202496 11165 931 1 0 65 10 0 0 21 0 2 0 869326733 303472640 7947 33554432000 4194304 5683644 140734213184752 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 13
/proc/2305/statm: 74090 7947 1870 364 0 8977 0
[pid=2311] ppid=2305 vsize=286116 CPUtime=0.05 cores=1,3,5,7
/proc/2311/stat : 2311 (python) S 2305 2305 1406 0 -1 4202560 921 0 0 0 3 2 0 0 15 0 1 0 869326830 292982784 6449 33554432000 4194304 5683644 140734213184752 18446744073709551615 246516854287 0 0 16781312 33554946 5623753486446373713 0 0 17 7 0 0 0
/proc/2311/statm: 71529 6449 376 364 0 6416 0
[pid=2313] ppid=2311 vsize=95228 CPUtime=14.9 cores=1,3,5,7
/proc/2313/stat : 2313 (scip-2.0.1.linu) R 2311 2313 2313 0 -1 4202496 23259 0 0 0 1439 51 0 0 25 0 1 0 869326831 97513472 21013 33554432000 4194304 13684479 140737349501856 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/2313/statm: 23807 21013 814 2317 0 21485 0
[pid=2305/tid=2312] ppid=2303 vsize=296360 CPUtime=0 cores=1,3,5,7
/proc/2305/task/2312/stat : 2312 (python) S 2303 2305 1406 0 -1 4202560 29 931 0 0 0 0 0 0 21 0 2 0 869326830 303472640 7947 33554432000 4194304 5683644 140734213184752 18446744073709551615 246528657841 0 0 16781312 33554434 18446604470769071936 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 15.7
Current children cumulated vsize (KiB) 677704
[startup+19.1009 s]
/proc/loadavg: 2.74 2.15 1.34 5/552 2313
/proc/meminfo: memFree=21352308/32951124 swapFree=43359760/67111528
[pid=2305] ppid=2303 vsize=296360 CPUtime=0.75 cores=1,3,5,7
/proc/2305/stat : 2305 (python) S 2303 2305 1406 0 -1 4202496 11165 931 1 0 65 10 0 0 21 0 2 0 869326733 303472640 7947 33554432000 4194304 5683644 140734213184752 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 13
/proc/2305/statm: 74090 7947 1870 364 0 8977 0
[pid=2311] ppid=2305 vsize=286116 CPUtime=0.07 cores=1,3,5,7
/proc/2311/stat : 2311 (python) S 2305 2305 1406 0 -1 4202560 925 0 0 0 3 4 0 0 15 0 1 0 869326830 292982784 6449 33554432000 4194304 5683644 140734213184752 18446744073709551615 246516854287 0 0 16781312 33554946 1444074356895383552 0 0 17 7 0 0 0
/proc/2311/statm: 71529 6449 376 364 0 6416 0
[pid=2313] ppid=2311 vsize=95228 CPUtime=18.1 cores=1,3,5,7
/proc/2313/stat : 2313 (scip-2.0.1.linu) R 2311 2313 2313 0 -1 4202496 23260 0 0 0 1750 60 0 0 20 0 1 0 869326831 97513472 21014 33554432000 4194304 13684479 140737349501856 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/2313/statm: 23807 21014 815 2317 0 21485 0
[pid=2305/tid=2312] ppid=2303 vsize=296360 CPUtime=0 cores=1,3,5,7
/proc/2305/task/2312/stat : 2312 (python) S 2303 2305 1406 0 -1 4202560 29 931 0 0 0 0 0 0 21 0 2 0 869326830 303472640 7947 33554432000 4194304 5683644 140734213184752 18446744073709551615 246528657841 0 0 16781312 33554434 18446604470769071936 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 18.92
Current children cumulated vsize (KiB) 677704
[startup+20.7006 s]
/proc/loadavg: 2.74 2.15 1.34 5/552 2313
/proc/meminfo: memFree=21352428/32951124 swapFree=43359760/67111528
[pid=2305] ppid=2303 vsize=296360 CPUtime=0.75 cores=1,3,5,7
/proc/2305/stat : 2305 (python) S 2303 2305 1406 0 -1 4202496 11165 931 1 0 65 10 0 0 21 0 2 0 869326733 303472640 7947 33554432000 4194304 5683644 140734213184752 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 13
/proc/2305/statm: 74090 7947 1870 364 0 8977 0
[pid=2311] ppid=2305 vsize=286116 CPUtime=0.07 cores=1,3,5,7
/proc/2311/stat : 2311 (python) S 2305 2305 1406 0 -1 4202560 925 0 0 0 3 4 0 0 15 0 1 0 869326830 292982784 6449 33554432000 4194304 5683644 140734213184752 18446744073709551615 246516854287 0 0 16781312 33554946 1444074356895383552 0 0 17 7 0 0 0
/proc/2311/statm: 71529 6449 376 364 0 6416 0
[pid=2313] ppid=2311 vsize=95228 CPUtime=19.7 cores=1,3,5,7
/proc/2313/stat : 2313 (scip-2.0.1.linu) R 2311 2313 2313 0 -1 4202496 23260 0 0 0 1905 65 0 0 25 0 1 0 869326831 97513472 21014 33554432000 4194304 13684479 140737349501856 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/2313/statm: 23807 21014 815 2317 0 21485 0
[pid=2305/tid=2312] ppid=2303 vsize=296360 CPUtime=0 cores=1,3,5,7
/proc/2305/task/2312/stat : 2312 (python) S 2303 2305 1406 0 -1 4202560 29 931 0 0 0 0 0 0 21 0 2 0 869326830 303472640 7947 33554432000 4194304 5683644 140734213184752 18446744073709551615 246528657841 0 0 16781312 33554434 18446604470769071936 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 20.52
Current children cumulated vsize (KiB) 677704
[startup+21.1005 s]
/proc/loadavg: 2.68 2.15 1.35 5/552 2313
/proc/meminfo: memFree=21352676/32951124 swapFree=43359760/67111528
[pid=2305] ppid=2303 vsize=296360 CPUtime=0.75 cores=1,3,5,7
/proc/2305/stat : 2305 (python) S 2303 2305 1406 0 -1 4202496 11165 931 1 0 65 10 0 0 21 0 2 0 869326733 303472640 7947 33554432000 4194304 5683644 140734213184752 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 13
/proc/2305/statm: 74090 7947 1870 364 0 8977 0
[pid=2311] ppid=2305 vsize=286116 CPUtime=0.07 cores=1,3,5,7
/proc/2311/stat : 2311 (python) S 2305 2305 1406 0 -1 4202560 925 0 0 0 3 4 0 0 15 0 1 0 869326830 292982784 6449 33554432000 4194304 5683644 140734213184752 18446744073709551615 246516854287 0 0 16781312 33554946 3851549082745044992 0 0 17 7 0 0 0
/proc/2311/statm: 71529 6449 376 364 0 6416 0
[pid=2313] ppid=2311 vsize=95228 CPUtime=20.1 cores=1,3,5,7
/proc/2313/stat : 2313 (scip-2.0.1.linu) R 2311 2313 2313 0 -1 4202496 23260 0 0 0 1944 66 0 0 18 0 1 0 869326831 97513472 21014 33554432000 4194304 13684479 140737349501856 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/2313/statm: 23807 21014 815 2317 0 21485 0
[pid=2305/tid=2312] ppid=2303 vsize=296360 CPUtime=0 cores=1,3,5,7
/proc/2305/task/2312/stat : 2312 (python) S 2303 2305 1406 0 -1 4202560 29 931 0 0 0 0 0 0 21 0 2 0 869326830 303472640 7947 33554432000 4194304 5683644 140734213184752 18446744073709551615 246528657841 0 0 16781312 33554434 18446604470769071936 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 20.92
Current children cumulated vsize (KiB) 677704
[startup+21.3005 s]
/proc/loadavg: 2.68 2.15 1.35 5/552 2313
/proc/meminfo: memFree=21352676/32951124 swapFree=43359760/67111528
[pid=2305] ppid=2303 vsize=296360 CPUtime=0.75 cores=1,3,5,7
/proc/2305/stat : 2305 (python) S 2303 2305 1406 0 -1 4202496 11165 931 1 0 65 10 0 0 21 0 2 0 869326733 303472640 7947 33554432000 4194304 5683644 140734213184752 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 13
/proc/2305/statm: 74090 7947 1870 364 0 8977 0
[pid=2311] ppid=2305 vsize=286116 CPUtime=0.07 cores=1,3,5,7
/proc/2311/stat : 2311 (python) S 2305 2305 1406 0 -1 4202560 925 0 0 0 3 4 0 0 15 0 1 0 869326830 292982784 6449 33554432000 4194304 5683644 140734213184752 18446744073709551615 246516854287 0 0 16781312 33554946 3851549082745044992 0 0 17 7 0 0 0
/proc/2311/statm: 71529 6449 376 364 0 6416 0
[pid=2313] ppid=2311 vsize=95228 CPUtime=20.31 cores=1,3,5,7
/proc/2313/stat : 2313 (scip-2.0.1.linu) R 2311 2313 2313 0 -1 4202496 23260 0 0 0 1964 67 0 0 18 0 1 0 869326831 97513472 21014 33554432000 4194304 13684479 140737349501856 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/2313/statm: 23807 21014 815 2317 0 21485 0
[pid=2305/tid=2312] ppid=2303 vsize=296360 CPUtime=0 cores=1,3,5,7
/proc/2305/task/2312/stat : 2312 (python) S 2303 2305 1406 0 -1 4202560 29 931 0 0 0 0 0 0 21 0 2 0 869326830 303472640 7947 33554432000 4194304 5683644 140734213184752 18446744073709551615 246528657841 0 0 16781312 33554434 18446604470769071936 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 21.13
Current children cumulated vsize (KiB) 677704
[startup+21.4005 s]
/proc/loadavg: 2.68 2.15 1.35 5/552 2313
/proc/meminfo: memFree=21352676/32951124 swapFree=43359760/67111528
[pid=2305] ppid=2303 vsize=295764 CPUtime=21.25 cores=1,3,5,7
/proc/2305/stat : 2305 (python) R 2303 2305 1406 0 -1 4202496 12621 25721 1 0 66 10 1977 72 18 0 2 0 869326733 302862336 7801 33554432000 4194304 5683644 140734213184752 18446744073709551615 5116756 0 0 16781312 0 18446744073709551615 0 0 17 3 0 0 13
/proc/2305/statm: 73941 7801 1868 364 0 8833 0
[pid=2305/tid=2312] ppid=2303 vsize=295764 CPUtime=20.49 cores=1,3,5,7
/proc/2305/task/2312/stat : 2312 (python) S 2303 2305 1406 0 -1 4202560 29 25721 0 0 0 0 1977 72 18 0 2 0 869326830 302862336 7801 33554432000 4194304 5683644 140734213184752 18446744073709551615 246528657841 0 0 16781312 0 18446604470769071936 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 21.25
Current children cumulated vsize (KiB) 295764
Child status: 0
Real time (s): 21.4193
CPU time (s): 21.2788
CPU user time (s): 20.4479
CPU system time (s): 0.830873
CPU usage (%): 99.3439
Max. virtual memory (cumulated for all children) (KiB): 677708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.4479
system time used= 0.830873
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41661
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= 1133
involuntary context switches= 157
runsolver used 0.102984 second user time and 0.217966 second system time
The end