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-3482057-1307576812/watcher-3482057-1307576812 -o /tmp/evaluation-result-3482057-1307576812/solver-3482057-1307576812 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482057-1307576812.opb -seed 485288358 -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.08 1.62 0.77 2/615 19674
/proc/meminfo: memFree=26643544/32950928 swapFree=26914392/67111528
[pid=19674] ppid=19672 vsize=16236 CPUtime=0 cores=0,2,4,6
/proc/19674/stat : 19674 (python) R 19672 19674 19061 0 -1 4202496 996 0 0 0 0 0 0 0 17 0 1 0 869277944 16625664 869 33554432000 4194304 5683644 140734029716400 18446744073709551615 254500352709 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/19674/statm: 4059 869 368 364 0 546 0
[startup+0.0368269 s]
/proc/loadavg: 2.08 1.62 0.77 2/615 19674
/proc/meminfo: memFree=26643544/32950928 swapFree=26914392/67111528
[pid=19674] ppid=19672 vsize=18884 CPUtime=0.01 cores=0,2,4,6
/proc/19674/stat : 19674 (python) S 19672 19674 19061 0 -1 4202496 1237 0 0 0 1 0 0 0 17 0 1 0 869277944 19337216 1093 33554432000 4194304 5683644 140734029716400 18446744073709551615 254500689920 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/19674/statm: 4721 1093 421 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18884
[startup+0.100665 s]
/proc/loadavg: 2.08 1.62 0.77 2/615 19674
/proc/meminfo: memFree=26643544/32950928 swapFree=26914392/67111528
[pid=19674] ppid=19672 vsize=85620 CPUtime=0.05 cores=0,2,4,6
/proc/19674/stat : 19674 (python) S 19672 19674 19061 0 -1 4202496 2664 0 0 0 4 1 0 0 17 0 1 0 869277944 87674880 2382 33554432000 4194304 5683644 140734029716400 18446744073709551615 254500687717 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/19674/statm: 21405 2382 715 364 0 1622 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85620
[startup+0.300614 s]
/proc/loadavg: 2.08 1.62 0.77 2/615 19674
/proc/meminfo: memFree=26643544/32950928 swapFree=26914392/67111528
[pid=19674] ppid=19672 vsize=123740 CPUtime=0.15 cores=0,2,4,6
/proc/19674/stat : 19674 (python) S 19672 19674 19061 0 -1 4202496 5357 929 1 0 11 4 0 0 18 0 1 0 869277944 126709760 3744 33554432000 4194304 5683644 140734029716400 18446744073709551615 254500689920 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/19674/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 123740
[startup+0.700542 s]
/proc/loadavg: 2.08 1.62 0.77 2/615 19674
/proc/meminfo: memFree=26643544/32950928 swapFree=26914392/67111528
[pid=19674] ppid=19672 vsize=282536 CPUtime=0.4 cores=0,2,4,6
/proc/19674/stat : 19674 (python) R 19672 19674 19061 0 -1 4202496 9140 929 1 0 30 10 0 0 17 0 1 0 869277944 289316864 7001 33554432000 4194304 5683644 140734029716400 18446744073709551615 47973862840079 0 0 16781312 33554434 0 0 0 17 6 0 0 0
/proc/19674/statm: 70634 7001 1819 364 0 5527 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282536
[startup+1.50042 s]
/proc/loadavg: 2.08 1.62 0.77 3/619 19682
/proc/meminfo: memFree=26606932/32950928 swapFree=26914392/67111528
[pid=19674] ppid=19672 vsize=293200 CPUtime=0.42 cores=0,2,4,6
/proc/19674/stat : 19674 (python) S 19672 19674 19061 0 -1 4202496 9645 929 1 0 32 10 0 0 19 0 2 0 869277944 300236800 7154 33554432000 4194304 5683644 140734029716400 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/19674/statm: 73300 7154 1870 364 0 8187 0
[pid=19680] ppid=19674 vsize=282956 CPUtime=0 cores=0,2,4,6
/proc/19680/stat : 19680 (python) S 19674 19674 19061 0 -1 4202560 752 0 0 0 0 0 0 0 15 0 1 0 869278017 289746944 5632 33554432000 4194304 5683644 140734029716400 18446744073709551615 254500711951 0 0 16781312 33554946 2415780509700325376 0 0 17 4 0 0 0
/proc/19680/statm: 70739 5632 352 364 0 5626 0
[pid=19682] ppid=19680 vsize=33316 CPUtime=0.76 cores=0,2,4,6
/proc/19682/stat : 19682 (scip-2.0.1.linu) R 19680 19682 19682 0 -1 4202496 6629 0 0 0 75 1 0 0 18 0 1 0 869278017 34115584 6007 33554432000 4194304 13684479 140733659175536 18446744073709551615 7434857 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/19682/statm: 8329 6007 775 2317 0 6007 0
[pid=19674/tid=19681] ppid=19672 vsize=293200 CPUtime=0 cores=0,2,4,6
/proc/19674/task/19681/stat : 19681 (python) S 19672 19674 19061 0 -1 4202560 25 929 0 0 0 0 0 0 19 0 2 0 869278017 300236800 7154 33554432000 4194304 5683644 140734029716400 18446744073709551615 254512515505 0 0 16781312 33554434 18446604443989442688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 609472
[startup+3.10111 s]
/proc/loadavg: 2.08 1.62 0.77 3/619 19682
/proc/meminfo: memFree=26588208/32950928 swapFree=26914392/67111528
[pid=19674] ppid=19672 vsize=293200 CPUtime=0.42 cores=0,2,4,6
/proc/19674/stat : 19674 (python) S 19672 19674 19061 0 -1 4202496 9645 929 1 0 32 10 0 0 19 0 2 0 869277944 300236800 7154 33554432000 4194304 5683644 140734029716400 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/19674/statm: 73300 7154 1870 364 0 8187 0
[pid=19680] ppid=19674 vsize=282956 CPUtime=0 cores=0,2,4,6
/proc/19680/stat : 19680 (python) S 19674 19674 19061 0 -1 4202560 757 0 0 0 0 0 0 0 15 0 1 0 869278017 289746944 5632 33554432000 4194304 5683644 140734029716400 18446744073709551615 254500711951 0 0 16781312 33554946 700715049529901056 0 0 17 4 0 0 0
/proc/19680/statm: 70739 5632 352 364 0 5626 0
[pid=19682] ppid=19680 vsize=49400 CPUtime=2.36 cores=0,2,4,6
/proc/19682/stat : 19682 (scip-2.0.1.linu) R 19680 19682 19682 0 -1 4202496 10719 0 0 0 233 3 0 0 18 0 1 0 869278017 50585600 10097 33554432000 4194304 13684479 140733659175536 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/19682/statm: 12350 10097 794 2317 0 10028 0
[pid=19674/tid=19681] ppid=19672 vsize=293200 CPUtime=0 cores=0,2,4,6
/proc/19674/task/19681/stat : 19681 (python) S 19672 19674 19061 0 -1 4202560 25 929 0 0 0 0 0 0 19 0 2 0 869278017 300236800 7154 33554432000 4194304 5683644 140734029716400 18446744073709551615 254512515505 0 0 16781312 33554434 18446604443989442688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 625556
[startup+6.30047 s]
/proc/loadavg: 2.15 1.64 0.79 3/619 19682
/proc/meminfo: memFree=26577712/32950928 swapFree=26914392/67111528
[pid=19674] ppid=19672 vsize=293200 CPUtime=0.42 cores=0,2,4,6
/proc/19674/stat : 19674 (python) S 19672 19674 19061 0 -1 4202496 9645 929 1 0 32 10 0 0 19 0 2 0 869277944 300236800 7154 33554432000 4194304 5683644 140734029716400 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/19674/statm: 73300 7154 1870 364 0 8187 0
[pid=19680] ppid=19674 vsize=282956 CPUtime=0.02 cores=0,2,4,6
/proc/19680/stat : 19680 (python) S 19674 19674 19061 0 -1 4202560 895 0 0 0 1 1 0 0 15 0 1 0 869278017 289746944 5656 33554432000 4194304 5683644 140734029716400 18446744073709551615 254500711951 0 0 16781312 33554946 3891238325771567104 0 0 17 4 0 0 0
/proc/19680/statm: 70739 5656 376 364 0 5626 0
[pid=19682] ppid=19680 vsize=51448 CPUtime=5.56 cores=0,2,4,6
/proc/19682/stat : 19682 (scip-2.0.1.linu) R 19680 19682 19682 0 -1 4202496 12057 0 0 0 549 7 0 0 22 0 1 0 869278017 52682752 10680 33554432000 4194304 13684479 140733659175536 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/19682/statm: 12862 10680 796 2317 0 10540 0
[pid=19674/tid=19681] ppid=19672 vsize=293200 CPUtime=0 cores=0,2,4,6
/proc/19674/task/19681/stat : 19681 (python) S 19672 19674 19061 0 -1 4202560 25 929 0 0 0 0 0 0 19 0 2 0 869278017 300236800 7154 33554432000 4194304 5683644 140734029716400 18446744073709551615 254512515505 0 0 16781312 33554434 18446604443989442688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6
Current children cumulated vsize (KiB) 627604
[startup+12.7012 s]
/proc/loadavg: 2.14 1.65 0.79 3/623 19686
/proc/meminfo: memFree=26519812/32950928 swapFree=26914392/67111528
[pid=19674] ppid=19672 vsize=293200 CPUtime=0.42 cores=0,2,4,6
/proc/19674/stat : 19674 (python) S 19672 19674 19061 0 -1 4202496 9645 929 1 0 32 10 0 0 19 0 2 0 869277944 300236800 7154 33554432000 4194304 5683644 140734029716400 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/19674/statm: 73300 7154 1870 364 0 8187 0
[pid=19680] ppid=19674 vsize=282956 CPUtime=0.03 cores=0,2,4,6
/proc/19680/stat : 19680 (python) S 19674 19674 19061 0 -1 4202560 898 0 0 0 2 1 0 0 15 0 1 0 869278017 289746944 5656 33554432000 4194304 5683644 140734029716400 18446744073709551615 254500711951 0 0 16781312 33554946 72409437758827425 0 0 17 4 0 0 0
/proc/19680/statm: 70739 5656 376 364 0 5626 0
[pid=19682] ppid=19680 vsize=51448 CPUtime=11.96 cores=0,2,4,6
/proc/19682/stat : 19682 (scip-2.0.1.linu) R 19680 19682 19682 0 -1 4202496 12058 0 0 0 1179 17 0 0 25 0 1 0 869278017 52682752 10681 33554432000 4194304 13684479 140733659175536 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/19682/statm: 12862 10681 797 2317 0 10540 0
[pid=19674/tid=19681] ppid=19672 vsize=293200 CPUtime=0 cores=0,2,4,6
/proc/19674/task/19681/stat : 19681 (python) S 19672 19674 19061 0 -1 4202560 25 929 0 0 0 0 0 0 19 0 2 0 869278017 300236800 7154 33554432000 4194304 5683644 140734029716400 18446744073709551615 254512515505 0 0 16781312 33554434 18446604443989442688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.41
Current children cumulated vsize (KiB) 627604
Solver just ended. Dumping a history of the last processes samples
[startup+13.801 s]
/proc/loadavg: 2.14 1.65 0.79 3/623 19686
/proc/meminfo: memFree=26473188/32950928 swapFree=26914392/67111528
[pid=19674] ppid=19672 vsize=293200 CPUtime=0.42 cores=0,2,4,6
/proc/19674/stat : 19674 (python) S 19672 19674 19061 0 -1 4202496 9645 929 1 0 32 10 0 0 19 0 2 0 869277944 300236800 7154 33554432000 4194304 5683644 140734029716400 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/19674/statm: 73300 7154 1870 364 0 8187 0
[pid=19680] ppid=19674 vsize=282956 CPUtime=0.06 cores=0,2,4,6
/proc/19680/stat : 19680 (python) S 19674 19674 19061 0 -1 4202560 900 0 0 0 3 3 0 0 15 0 1 0 869278017 289746944 5656 33554432000 4194304 5683644 140734029716400 18446744073709551615 254500711951 0 0 16781312 33554946 72409437758827425 0 0 17 4 0 0 0
/proc/19680/statm: 70739 5656 376 364 0 5626 0
[pid=19682] ppid=19680 vsize=51448 CPUtime=13.07 cores=0,2,4,6
/proc/19682/stat : 19682 (scip-2.0.1.linu) R 19680 19682 19682 0 -1 4202496 12058 0 0 0 1288 19 0 0 25 0 1 0 869278017 52682752 10681 33554432000 4194304 13684479 140733659175536 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/19682/statm: 12862 10681 797 2317 0 10540 0
[pid=19674/tid=19681] ppid=19672 vsize=293200 CPUtime=0 cores=0,2,4,6
/proc/19674/task/19681/stat : 19681 (python) S 19672 19674 19061 0 -1 4202560 25 929 0 0 0 0 0 0 19 0 2 0 869278017 300236800 7154 33554432000 4194304 5683644 140734029716400 18446744073709551615 254512515505 0 0 16781312 33554434 18446604443989442688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 13.55
Current children cumulated vsize (KiB) 627604
[startup+17.0003 s]
/proc/loadavg: 2.13 1.65 0.80 3/623 19686
/proc/meminfo: memFree=26455704/32950928 swapFree=26914392/67111528
[pid=19674] ppid=19672 vsize=293200 CPUtime=0.42 cores=0,2,4,6
/proc/19674/stat : 19674 (python) S 19672 19674 19061 0 -1 4202496 9645 929 1 0 32 10 0 0 19 0 2 0 869277944 300236800 7154 33554432000 4194304 5683644 140734029716400 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/19674/statm: 73300 7154 1870 364 0 8187 0
[pid=19680] ppid=19674 vsize=282956 CPUtime=0.06 cores=0,2,4,6
/proc/19680/stat : 19680 (python) S 19674 19674 19061 0 -1 4202560 900 0 0 0 3 3 0 0 15 0 1 0 869278017 289746944 5656 33554432000 4194304 5683644 140734029716400 18446744073709551615 254500711951 0 0 16781312 33554946 72409437758827425 0 0 17 4 0 0 0
/proc/19680/statm: 70739 5656 376 364 0 5626 0
[pid=19682] ppid=19680 vsize=51448 CPUtime=16.26 cores=0,2,4,6
/proc/19682/stat : 19682 (scip-2.0.1.linu) R 19680 19682 19682 0 -1 4202496 12058 0 0 0 1604 22 0 0 25 0 1 0 869278017 52682752 10681 33554432000 4194304 13684479 140733659175536 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/19682/statm: 12862 10681 797 2317 0 10540 0
[pid=19674/tid=19681] ppid=19672 vsize=293200 CPUtime=0 cores=0,2,4,6
/proc/19674/task/19681/stat : 19681 (python) S 19672 19674 19061 0 -1 4202560 25 929 0 0 0 0 0 0 19 0 2 0 869278017 300236800 7154 33554432000 4194304 5683644 140734029716400 18446744073709551615 254512515505 0 0 16781312 33554434 18446604443989442688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 16.74
Current children cumulated vsize (KiB) 627604
[startup+17.8012 s]
/proc/loadavg: 2.13 1.65 0.80 3/623 19686
/proc/meminfo: memFree=26453472/32950928 swapFree=26914392/67111528
[pid=19674] ppid=19672 vsize=293200 CPUtime=0.42 cores=0,2,4,6
/proc/19674/stat : 19674 (python) S 19672 19674 19061 0 -1 4202496 9645 929 1 0 32 10 0 0 19 0 2 0 869277944 300236800 7154 33554432000 4194304 5683644 140734029716400 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/19674/statm: 73300 7154 1870 364 0 8187 0
[pid=19680] ppid=19674 vsize=282956 CPUtime=0.06 cores=0,2,4,6
/proc/19680/stat : 19680 (python) S 19674 19674 19061 0 -1 4202560 900 0 0 0 3 3 0 0 15 0 1 0 869278017 289746944 5656 33554432000 4194304 5683644 140734029716400 18446744073709551615 254500711951 0 0 16781312 33554946 72409437758827425 0 0 17 4 0 0 0
/proc/19680/statm: 70739 5656 376 364 0 5626 0
[pid=19682] ppid=19680 vsize=51448 CPUtime=17.06 cores=0,2,4,6
/proc/19682/stat : 19682 (scip-2.0.1.linu) R 19680 19682 19682 0 -1 4202496 12058 0 0 0 1683 23 0 0 25 0 1 0 869278017 52682752 10681 33554432000 4194304 13684479 140733659175536 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/19682/statm: 12862 10681 797 2317 0 10540 0
[pid=19674/tid=19681] ppid=19672 vsize=293200 CPUtime=0 cores=0,2,4,6
/proc/19674/task/19681/stat : 19681 (python) S 19672 19674 19061 0 -1 4202560 25 929 0 0 0 0 0 0 19 0 2 0 869278017 300236800 7154 33554432000 4194304 5683644 140734029716400 18446744073709551615 254512515505 0 0 16781312 33554434 18446604443989442688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 17.54
Current children cumulated vsize (KiB) 627604
[startup+18.2011 s]
/proc/loadavg: 2.13 1.65 0.80 3/623 19686
/proc/meminfo: memFree=26453472/32950928 swapFree=26914392/67111528
[pid=19674] ppid=19672 vsize=293200 CPUtime=0.42 cores=0,2,4,6
/proc/19674/stat : 19674 (python) S 19672 19674 19061 0 -1 4202496 9645 929 1 0 32 10 0 0 19 0 2 0 869277944 300236800 7154 33554432000 4194304 5683644 140734029716400 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/19674/statm: 73300 7154 1870 364 0 8187 0
[pid=19680] ppid=19674 vsize=282956 CPUtime=0.06 cores=0,2,4,6
/proc/19680/stat : 19680 (python) S 19674 19674 19061 0 -1 4202560 900 0 0 0 3 3 0 0 15 0 1 0 869278017 289746944 5656 33554432000 4194304 5683644 140734029716400 18446744073709551615 254500711951 0 0 16781312 33554946 72409437758827425 0 0 17 4 0 0 0
/proc/19680/statm: 70739 5656 376 364 0 5626 0
[pid=19682] ppid=19680 vsize=51448 CPUtime=17.46 cores=0,2,4,6
/proc/19682/stat : 19682 (scip-2.0.1.linu) R 19680 19682 19682 0 -1 4202496 12058 0 0 0 1723 23 0 0 25 0 1 0 869278017 52682752 10681 33554432000 4194304 13684479 140733659175536 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/19682/statm: 12862 10681 797 2317 0 10540 0
[pid=19674/tid=19681] ppid=19672 vsize=293200 CPUtime=0 cores=0,2,4,6
/proc/19674/task/19681/stat : 19681 (python) S 19672 19674 19061 0 -1 4202560 25 929 0 0 0 0 0 0 19 0 2 0 869278017 300236800 7154 33554432000 4194304 5683644 140734029716400 18446744073709551615 254512515505 0 0 16781312 33554434 18446604443989442688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 17.94
Current children cumulated vsize (KiB) 627604
[startup+18.601 s]
/proc/loadavg: 2.13 1.65 0.80 3/623 19686
/proc/meminfo: memFree=26451240/32950928 swapFree=26914392/67111528
[pid=19674] ppid=19672 vsize=293200 CPUtime=0.42 cores=0,2,4,6
/proc/19674/stat : 19674 (python) S 19672 19674 19061 0 -1 4202496 9645 929 1 0 32 10 0 0 19 0 2 0 869277944 300236800 7154 33554432000 4194304 5683644 140734029716400 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/19674/statm: 73300 7154 1870 364 0 8187 0
[pid=19680] ppid=19674 vsize=282956 CPUtime=0.08 cores=0,2,4,6
/proc/19680/stat : 19680 (python) S 19674 19674 19061 0 -1 4202560 901 0 0 0 5 3 0 0 15 0 1 0 869278017 289746944 5656 33554432000 4194304 5683644 140734029716400 18446744073709551615 254500711951 0 0 16781312 33554946 72409437758827425 0 0 17 4 0 0 0
/proc/19680/statm: 70739 5656 376 364 0 5626 0
[pid=19682] ppid=19680 vsize=51448 CPUtime=17.88 cores=0,2,4,6
/proc/19682/stat : 19682 (scip-2.0.1.linu) R 19680 19682 19682 0 -1 4202496 12058 0 0 0 1764 24 0 0 25 0 1 0 869278017 52682752 10681 33554432000 4194304 13684479 140733659175536 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/19682/statm: 12862 10681 797 2317 0 10540 0
[pid=19674/tid=19681] ppid=19672 vsize=293200 CPUtime=0 cores=0,2,4,6
/proc/19674/task/19681/stat : 19681 (python) S 19672 19674 19061 0 -1 4202560 25 929 0 0 0 0 0 0 19 0 2 0 869278017 300236800 7154 33554432000 4194304 5683644 140734029716400 18446744073709551615 254512515505 0 0 16781312 33554434 18446604443989442688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 18.38
Current children cumulated vsize (KiB) 627604
Child status: 0
Real time (s): 18.6918
CPU time (s): 18.4942
CPU user time (s): 18.0902
CPU system time (s): 0.403938
CPU usage (%): 98.9425
Max. virtual memory (cumulated for all children) (KiB): 627604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.0902
system time used= 0.403938
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28245
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= 2931
involuntary context switches= 55
runsolver used 0.109983 second user time and 0.216967 second system time
The end