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-3481879-1307576845/watcher-3481879-1307576845 -o /tmp/evaluation-result-3481879-1307576845/solver-3481879-1307576845 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481879-1307576845.opb -seed 127171270 -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.41 1.73 0.84 2/641 7594
/proc/meminfo: memFree=29954816/32951124 swapFree=33333036/67111528
[pid=7594] ppid=7592 vsize=15184 CPUtime=0 cores=1,3,5,7
/proc/7594/stat : 7594 (python) R 7592 7594 7156 0 -1 4202496 734 0 0 0 0 0 0 0 17 0 1 0 947915265 15548416 622 33554432000 4194304 5683644 140737043162912 18446744073709551615 224284923904 0 2147483391 16781312 2 0 0 0 17 3 0 0 0
/proc/7594/statm: 3796 622 322 364 0 283 0
[startup+0.0590879 s]
/proc/loadavg: 2.41 1.73 0.84 2/641 7594
/proc/meminfo: memFree=29954816/32951124 swapFree=33333036/67111528
[pid=7594] ppid=7592 vsize=29792 CPUtime=0.03 cores=1,3,5,7
/proc/7594/stat : 7594 (python) S 7592 7594 7156 0 -1 4202496 1415 0 0 0 3 0 0 0 17 0 1 0 947915265 30507008 1258 33554432000 4194304 5683644 140737043162912 18446744073709551615 224284923904 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/7594/statm: 7448 1258 443 364 0 818 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 29792
[startup+0.104267 s]
/proc/loadavg: 2.41 1.73 0.84 2/641 7594
/proc/meminfo: memFree=29954816/32951124 swapFree=33333036/67111528
[pid=7594] ppid=7592 vsize=85624 CPUtime=0.06 cores=1,3,5,7
/proc/7594/stat : 7594 (python) R 7592 7594 7156 0 -1 4202496 2664 0 0 0 5 1 0 0 17 0 1 0 947915265 87678976 2382 33554432000 4194304 5683644 140737043162912 18446744073709551615 224284921701 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/7594/statm: 21406 2382 715 364 0 1623 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85624
[startup+0.30022 s]
/proc/loadavg: 2.41 1.73 0.84 2/641 7594
/proc/meminfo: memFree=29954816/32951124 swapFree=33333036/67111528
[pid=7594] ppid=7592 vsize=123744 CPUtime=0.16 cores=1,3,5,7
/proc/7594/stat : 7594 (python) S 7592 7594 7156 0 -1 4202496 5358 931 1 0 12 4 0 0 17 0 1 0 947915265 126713856 3744 33554432000 4194304 5683644 140737043162912 18446744073709551615 224284921861 0 2147483391 16781312 2 18446744071699945619 0 0 17 3 0 0 0
/proc/7594/statm: 30936 3744 987 364 0 2768 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 123744
[startup+0.700127 s]
/proc/loadavg: 2.41 1.73 0.84 2/641 7594
/proc/meminfo: memFree=29954816/32951124 swapFree=33333036/67111528
[pid=7594] ppid=7592 vsize=247964 CPUtime=0.39 cores=1,3,5,7
/proc/7594/stat : 7594 (python) R 7592 7594 7156 0 -1 4202496 8053 931 1 0 27 12 0 0 16 0 1 0 947915265 253915136 6173 33554432000 4194304 5683644 140737043162912 18446744073709551615 224284586693 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/7594/statm: 61991 6175 1613 364 0 4995 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 247964
[startup+1.50099 s]
/proc/loadavg: 2.41 1.73 0.84 3/653 7614
/proc/meminfo: memFree=29864060/32951124 swapFree=33333036/67111528
[pid=7594] ppid=7592 vsize=293400 CPUtime=0.5 cores=1,3,5,7
/proc/7594/stat : 7594 (python) S 7592 7594 7156 0 -1 4202496 9707 931 1 0 36 14 0 0 18 0 2 0 947915265 300441600 7212 33554432000 4194304 5683644 140737043162912 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/7594/statm: 73350 7212 1870 364 0 8237 0
[pid=7609] ppid=7594 vsize=283156 CPUtime=0 cores=1,3,5,7
/proc/7609/stat : 7609 (python) S 7594 7594 7156 0 -1 4202560 767 0 0 0 0 0 0 0 15 0 1 0 947915348 289951744 5690 33554432000 4194304 5683644 140737043162912 18446744073709551615 224284945935 0 0 16781312 33554946 4131959620530864128 0 0 17 7 0 0 0
/proc/7609/statm: 70789 5690 352 364 0 5676 0
[pid=7611] ppid=7609 vsize=40620 CPUtime=0.66 cores=1,3,5,7
/proc/7611/stat : 7611 (scip-2.0.1.linu) R 7609 7611 7611 0 -1 4202496 8345 0 0 0 60 6 0 0 18 0 1 0 947915348 41594880 7663 33554432000 4194304 13684479 140733747252256 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/7611/statm: 10155 7663 775 2317 0 7833 0
[pid=7594/tid=7610] ppid=7592 vsize=293400 CPUtime=0 cores=1,3,5,7
/proc/7594/task/7610/stat : 7610 (python) S 7592 7594 7156 0 -1 4202560 27 931 0 0 0 0 0 0 18 0 2 0 947915348 300441600 7212 33554432000 4194304 5683644 140737043162912 18446744073709551615 224296749489 0 0 16781312 33554434 18446604454977831232 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 617176
[startup+3.10073 s]
/proc/loadavg: 2.70 1.81 0.87 3/653 7614
/proc/meminfo: memFree=29831572/32951124 swapFree=33333036/67111528
[pid=7594] ppid=7592 vsize=293400 CPUtime=0.5 cores=1,3,5,7
/proc/7594/stat : 7594 (python) S 7592 7594 7156 0 -1 4202496 9707 931 1 0 36 14 0 0 18 0 2 0 947915265 300441600 7212 33554432000 4194304 5683644 140737043162912 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/7594/statm: 73350 7212 1870 364 0 8237 0
[pid=7609] ppid=7594 vsize=283156 CPUtime=0 cores=1,3,5,7
/proc/7609/stat : 7609 (python) S 7594 7594 7156 0 -1 4202560 777 0 0 0 0 0 0 0 15 0 1 0 947915348 289951744 5690 33554432000 4194304 5683644 140737043162912 18446744073709551615 224284945935 0 0 16781312 33554946 2696243781094604800 0 0 17 7 0 0 0
/proc/7609/statm: 70789 5690 352 364 0 5676 0
[pid=7611] ppid=7609 vsize=45052 CPUtime=2.26 cores=1,3,5,7
/proc/7611/stat : 7611 (scip-2.0.1.linu) R 7609 7611 7611 0 -1 4202496 9367 0 0 0 211 15 0 0 18 0 1 0 947915348 46133248 8670 33554432000 4194304 13684479 140733747252256 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/7611/statm: 11263 8670 775 2317 0 8941 0
[pid=7594/tid=7610] ppid=7592 vsize=293400 CPUtime=0 cores=1,3,5,7
/proc/7594/task/7610/stat : 7610 (python) S 7592 7594 7156 0 -1 4202560 27 931 0 0 0 0 0 0 18 0 2 0 947915348 300441600 7212 33554432000 4194304 5683644 140737043162912 18446744073709551615 224296749489 0 0 16781312 33554434 18446604454977831232 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 621608
[startup+6.30119 s]
/proc/loadavg: 2.70 1.81 0.87 3/653 7614
/proc/meminfo: memFree=29822064/32951124 swapFree=33333036/67111528
[pid=7594] ppid=7592 vsize=293400 CPUtime=0.5 cores=1,3,5,7
/proc/7594/stat : 7594 (python) S 7592 7594 7156 0 -1 4202496 9707 931 1 0 36 14 0 0 18 0 2 0 947915265 300441600 7212 33554432000 4194304 5683644 140737043162912 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/7594/statm: 73350 7212 1870 364 0 8237 0
[pid=7609] ppid=7594 vsize=283156 CPUtime=0.02 cores=1,3,5,7
/proc/7609/stat : 7609 (python) S 7594 7594 7156 0 -1 4202560 913 0 0 0 1 1 0 0 15 0 1 0 947915348 289951744 5714 33554432000 4194304 5683644 140737043162912 18446744073709551615 224284945935 0 0 16781312 33554946 3253777802230497280 0 0 17 7 0 0 0
/proc/7609/statm: 70789 5714 376 364 0 5676 0
[pid=7611] ppid=7609 vsize=44884 CPUtime=5.46 cores=1,3,5,7
/proc/7611/stat : 7611 (scip-2.0.1.linu) R 7609 7611 7611 0 -1 4202496 10157 0 0 0 521 25 0 0 25 0 1 0 947915348 45961216 8723 33554432000 4194304 13684479 140733747252256 18446744073709551615 7430616 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/7611/statm: 11221 8723 796 2317 0 8899 0
[pid=7594/tid=7610] ppid=7592 vsize=293400 CPUtime=0 cores=1,3,5,7
/proc/7594/task/7610/stat : 7610 (python) S 7592 7594 7156 0 -1 4202560 27 931 0 0 0 0 0 0 18 0 2 0 947915348 300441600 7212 33554432000 4194304 5683644 140737043162912 18446744073709551615 224296749489 0 0 16781312 33554434 18446604454977831232 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 621440
[startup+12.7211 s]
/proc/loadavg: 2.74 1.84 0.89 3/653 7614
/proc/meminfo: memFree=29825752/32951124 swapFree=33333036/67111528
[pid=7594] ppid=7592 vsize=293400 CPUtime=0.5 cores=1,3,5,7
/proc/7594/stat : 7594 (python) S 7592 7594 7156 0 -1 4202496 9707 931 1 0 36 14 0 0 18 0 2 0 947915265 300441600 7212 33554432000 4194304 5683644 140737043162912 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/7594/statm: 73350 7212 1870 364 0 8237 0
[pid=7609] ppid=7594 vsize=283156 CPUtime=0.04 cores=1,3,5,7
/proc/7609/stat : 7609 (python) S 7594 7594 7156 0 -1 4202560 914 0 0 0 2 2 0 0 15 0 1 0 947915348 289951744 5714 33554432000 4194304 5683644 140737043162912 18446744073709551615 224284945935 0 0 16781312 33554946 5623753486446373780 0 0 17 7 0 0 0
/proc/7609/statm: 70789 5714 376 364 0 5676 0
[pid=7611] ppid=7609 vsize=44884 CPUtime=11.88 cores=1,3,5,7
/proc/7611/stat : 7611 (scip-2.0.1.linu) R 7609 7611 7611 0 -1 4202496 10158 0 0 0 1146 42 0 0 25 0 1 0 947915348 45961216 8724 33554432000 4194304 13684479 140733747252256 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/7611/statm: 11221 8724 796 2317 0 8899 0
[pid=7594/tid=7610] ppid=7592 vsize=293400 CPUtime=0 cores=1,3,5,7
/proc/7594/task/7610/stat : 7610 (python) S 7592 7594 7156 0 -1 4202560 27 931 0 0 0 0 0 0 18 0 2 0 947915348 300441600 7212 33554432000 4194304 5683644 140737043162912 18446744073709551615 224296749489 0 0 16781312 33554434 18446604454977831232 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.42
Current children cumulated vsize (KiB) 621440
[startup+25.501 s]
/proc/loadavg: 2.63 1.85 0.90 3/653 7614
/proc/meminfo: memFree=29815724/32951124 swapFree=33333036/67111528
[pid=7594] ppid=7592 vsize=293400 CPUtime=0.5 cores=1,3,5,7
/proc/7594/stat : 7594 (python) S 7592 7594 7156 0 -1 4202496 9707 931 1 0 36 14 0 0 18 0 2 0 947915265 300441600 7212 33554432000 4194304 5683644 140737043162912 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/7594/statm: 73350 7212 1870 364 0 8237 0
[pid=7609] ppid=7594 vsize=283156 CPUtime=0.11 cores=1,3,5,7
/proc/7609/stat : 7609 (python) S 7594 7594 7156 0 -1 4202560 924 0 0 0 4 7 0 0 16 0 1 0 947915348 289951744 5714 33554432000 4194304 5683644 140737043162912 18446744073709551615 224284945935 0 0 16781312 33554946 4114719346926813184 0 0 17 3 0 0 0
/proc/7609/statm: 70789 5714 376 364 0 5676 0
[pid=7611] ppid=7609 vsize=56708 CPUtime=24.66 cores=1,3,5,7
/proc/7611/stat : 7611 (scip-2.0.1.linu) R 7609 7611 7611 0 -1 4202496 15370 0 0 0 2376 90 0 0 18 0 1 0 947915348 58068992 11568 33554432000 4194304 13684479 140733747252256 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/7611/statm: 14177 11568 820 2317 0 11855 0
[pid=7594/tid=7610] ppid=7592 vsize=293400 CPUtime=0 cores=1,3,5,7
/proc/7594/task/7610/stat : 7610 (python) S 7592 7594 7156 0 -1 4202560 27 931 0 0 0 0 0 0 18 0 2 0 947915348 300441600 7212 33554432000 4194304 5683644 140737043162912 18446744073709551615 224296749489 0 0 16781312 33554434 18446604454977831232 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 633264
[startup+51.1007 s]
/proc/loadavg: 2.49 1.88 0.93 4/675 7638
/proc/meminfo: memFree=29762480/32951124 swapFree=33333036/67111528
[pid=7594] ppid=7592 vsize=293400 CPUtime=0.5 cores=1,3,5,7
/proc/7594/stat : 7594 (python) S 7592 7594 7156 0 -1 4202496 9707 931 1 0 36 14 0 0 18 0 2 0 947915265 300441600 7212 33554432000 4194304 5683644 140737043162912 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/7594/statm: 73350 7212 1870 364 0 8237 0
[pid=7609] ppid=7594 vsize=283156 CPUtime=0.25 cores=1,3,5,7
/proc/7609/stat : 7609 (python) S 7594 7594 7156 0 -1 4202560 944 0 0 0 11 14 0 0 15 0 1 0 947915348 289951744 5714 33554432000 4194304 5683644 140737043162912 18446744073709551615 224284945935 0 0 16781312 33554946 2717588458590699520 0 0 17 3 0 0 0
/proc/7609/statm: 70789 5714 376 364 0 5676 0
[pid=7611] ppid=7609 vsize=57396 CPUtime=50.26 cores=1,3,5,7
/proc/7611/stat : 7611 (scip-2.0.1.linu) R 7609 7611 7611 0 -1 4202496 15560 0 0 0 4838 188 0 0 18 0 1 0 947915348 58773504 11758 33554432000 4194304 13684479 140733747252256 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/7611/statm: 14349 11758 821 2317 0 12027 0
[pid=7594/tid=7610] ppid=7592 vsize=293400 CPUtime=0 cores=1,3,5,7
/proc/7594/task/7610/stat : 7610 (python) S 7592 7594 7156 0 -1 4202560 27 931 0 0 0 0 0 0 18 0 2 0 947915348 300441600 7212 33554432000 4194304 5683644 140737043162912 18446744073709551615 224296749489 0 0 16781312 33554434 18446604454977831232 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 633952
[startup+102.301 s]
/proc/loadavg: 2.42 1.97 1.01 3/705 7668
/proc/meminfo: memFree=29637100/32951124 swapFree=33333036/67111528
[pid=7594] ppid=7592 vsize=314100 CPUtime=0.55 cores=1,3,5,7
/proc/7594/stat : 7594 (python) S 7592 7594 7156 0 -1 4202496 11419 931 1 0 40 15 0 0 20 0 4 0 947915265 321638400 7264 33554432000 4194304 5683644 140737043162912 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/7594/statm: 78525 7264 1875 364 0 13406 0
[pid=7609] ppid=7594 vsize=293400 CPUtime=0.28 cores=1,3,5,7
/proc/7609/stat : 7609 (python) S 7594 7594 7156 0 -1 4202560 1103 0 0 0 12 16 0 0 17 0 2 0 947915348 300441600 5750 33554432000 4194304 5683644 140737043162912 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/7609/statm: 73350 5750 407 364 0 8237 0
[pid=7611] ppid=7609 vsize=57396 CPUtime=51.3 cores=1,3,5,7
/proc/7611/stat : 7611 (scip-2.0.1.linu) T 7609 7611 7611 0 -1 4202496 15560 0 0 0 4940 190 0 0 18 0 1 0 947915348 58773504 11758 33554432000 4194304 13684479 140733747252256 18446744073709551615 7430071 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/7611/statm: 14349 11758 821 2317 0 12027 0
[pid=7609/tid=7639] ppid=7594 vsize=293400 CPUtime=0 cores=1,3,5,7
/proc/7609/task/7639/stat : 7639 (python) S 7594 7594 7156 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 947920480 300441600 5750 33554432000 4194304 5683644 140737043162912 18446744073709551615 224296749489 0 0 16781312 33554946 18446604464853851136 0 0 -1 7 0 0 0
[pid=7640] ppid=7594 vsize=293900 CPUtime=0.26 cores=1,3,5,7
/proc/7640/stat : 7640 (python) S 7594 7594 7156 0 -1 4202560 1170 0 0 0 12 14 0 0 16 0 2 0 947920483 300953600 5860 33554432000 4194304 5683644 140737043162912 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/7640/statm: 73475 5860 403 364 0 8359 0
[pid=7642] ppid=7640 vsize=8536700 CPUtime=48.68 cores=1,3,5,7
/proc/7642/stat : 7642 (java) T 7640 7642 7642 0 -1 4202496 17857 0 1 0 4864 4 0 0 18 0 19 0 947920483 8741580800 14161 33554432000 1073741824 1073778376 140735733243216 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/7642/statm: 2134175 14161 2243 9 0 2124916 0
[pid=7642/tid=7643] ppid=7640 vsize=8536700 CPUtime=46.9 cores=1,3,5,7
/proc/7642/task/7643/stat : 7643 (java) T 7640 7642 7642 0 -1 4202560 5693 0 1 0 4689 1 0 0 25 0 19 0 947920483 8741580800 14161 33554432000 1073741824 1073778376 140735733243216 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=7642/tid=7644] ppid=7640 vsize=8536700 CPUtime=0.05 cores=1,3,5,7
/proc/7642/task/7644/stat : 7644 (java) T 7640 7642 7642 0 -1 4202560 657 0 0 0 5 0 0 0 16 0 19 0 947920484 8741580800 14161 33554432000 1073741824 1073778376 140735733243216 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=7642/tid=7645] ppid=7640 vsize=8536700 CPUtime=0.07 cores=1,3,5,7
/proc/7642/task/7645/stat : 7645 (java) T 7640 7642 7642 0 -1 4202560 692 0 0 0 7 0 0 0 15 0 19 0 947920484 8741580800 14161 33554432000 1073741824 1073778376 140735733243216 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=7642/tid=7646] ppid=7640 vsize=8536700 CPUtime=0.04 cores=1,3,5,7
/proc/7642/task/7646/stat : 7646 (java) T 7640 7642 7642 0 -1 4202560 114 0 0 0 4 0 0 0 15 0 19 0 947920484 8741580800 14161 33554432000 1073741824 1073778376 140735733243216 18446744073709551615 224284879159 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=7642/tid=7647] ppid=7640 vsize=8536700 CPUtime=0.06 cores=1,3,5,7
/proc/7642/task/7647/stat : 7647 (java) T 7640 7642 7642 0 -1 4202560 260 0 0 0 6 0 0 0 16 0 19 0 947920484 8741580800 14161 33554432000 1073741824 1073778376 140735733243216 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=7642/tid=7648] ppid=7640 vsize=8536700 CPUtime=0.02 cores=1,3,5,7
/proc/7642/task/7648/stat : 7648 (java) T 7640 7642 7642 0 -1 4202560 90 0 0 0 2 0 0 0 15 0 19 0 947920484 8741580800 14161 33554432000 1073741824 1073778376 140735733243216 18446744073709551615 224284879159 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=7642/tid=7649] ppid=7640 vsize=8536700 CPUtime=0.08 cores=1,3,5,7
/proc/7642/task/7649/stat : 7649 (java) T 7640 7642 7642 0 -1 4202560 143 0 0 0 8 0 0 0 15 0 19 0 947920484 8741580800 14161 33554432000 1073741824 1073778376 140735733243216 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
################
# More data... #
################
[pid=7730/tid=7744] ppid=7728 vsize=8554216 CPUtime=0.55 cores=1,3,5,7
/proc/7730/task/7744/stat : 7744 (java) S 7728 7730 7730 0 -1 4202560 6194 0 0 0 54 1 0 0 15 0 19 0 947934799 8759517184 45745 33554432000 1073741824 1073778376 140737057884816 18446744073709551615 224296741785 0 4 0 16800975 18446604466419792704 0 0 -1 3 0 0 0
[pid=7730/tid=7745] ppid=7728 vsize=8554216 CPUtime=0.61 cores=1,3,5,7
/proc/7730/task/7745/stat : 7745 (java) S 7728 7730 7730 0 -1 4202560 7638 0 0 0 61 0 0 0 17 0 19 0 947934799 8759517184 45745 33554432000 1073741824 1073778376 140737057884816 18446744073709551615 224296741785 0 4 0 16800975 18446604466419792704 0 0 -1 1 0 0 0
[pid=7730/tid=7746] ppid=7728 vsize=8554216 CPUtime=0 cores=1,3,5,7
/proc/7730/task/7746/stat : 7746 (java) S 7728 7730 7730 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 947934799 8759517184 45745 33554432000 1073741824 1073778376 140737057884816 18446744073709551615 224296741785 0 4 0 16800975 18446604466419792704 0 0 -1 1 0 0 0
[pid=7730/tid=7747] ppid=7728 vsize=8554216 CPUtime=0 cores=1,3,5,7
/proc/7730/task/7747/stat : 7747 (java) S 7728 7730 7730 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947934799 8759517184 45745 33554432000 1073741824 1073778376 140737057884816 18446744073709551615 224296742400 0 4 0 16800975 18446604466419792704 0 0 -1 3 0 0 0
[pid=7730/tid=7749] ppid=7728 vsize=8554216 CPUtime=0 cores=1,3,5,7
/proc/7730/task/7749/stat : 7749 (java) S 7728 7730 7730 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947934820 8759517184 45745 33554432000 1073741824 1073778376 140737057884816 18446744073709551615 224296742400 0 4 0 16800975 18446604466419792704 0 0 -1 7 0 0 0
[pid=7594/tid=7610] ppid=7592 vsize=335116 CPUtime=0 cores=1,3,5,7
/proc/7594/task/7610/stat : 7610 (python) S 7592 7594 7156 0 -1 4202560 27 931 0 0 0 0 0 0 18 0 6 0 947915348 343158784 7406 33554432000 4194304 5683644 140737043162912 18446744073709551615 224296749489 0 0 16781312 33554434 18446604454977831232 0 0 -1 3 0 0 0
[pid=7594/tid=7641] ppid=7592 vsize=335116 CPUtime=0 cores=1,3,5,7
/proc/7594/task/7641/stat : 7641 (python) S 7592 7594 7156 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 6 0 947920483 343158784 7406 33554432000 4194304 5683644 140737043162912 18446744073709551615 224296749489 0 0 16781312 33554434 18446604454977831232 0 0 -1 7 0 0 0
[pid=7594/tid=7667] ppid=7592 vsize=335116 CPUtime=0 cores=1,3,5,7
/proc/7594/task/7667/stat : 7667 (python) S 7592 7594 7156 0 -1 4202560 31 931 0 0 0 0 0 0 20 0 6 0 947925271 343158784 7406 33554432000 4194304 5683644 140737043162912 18446744073709551615 224296749489 0 0 16781312 33554434 18446604454977831232 0 0 -1 7 0 0 0
[pid=7594/tid=7677] ppid=7592 vsize=335116 CPUtime=0 cores=1,3,5,7
/proc/7594/task/7677/stat : 7677 (python) S 7592 7594 7156 0 -1 4202560 27 931 0 0 0 0 0 0 20 0 6 0 947930103 343158784 7406 33554432000 4194304 5683644 140737043162912 18446744073709551615 224296749489 0 0 16781312 33554434 18446604454977831232 0 0 -1 7 0 0 0
[pid=7594/tid=7729] ppid=7592 vsize=335116 CPUtime=0 cores=1,3,5,7
/proc/7594/task/7729/stat : 7729 (python) S 7592 7594 7156 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 6 0 947934790 343158784 7406 33554432000 4194304 5683644 140737043162912 18446744073709551615 224296749489 0 0 16781312 33554434 18446604454977831232 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 198.93
Current children cumulated vsize (KiB) 19156604
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+196.301 s]
/proc/loadavg: 2.25 2.03 1.13 4/724 7758
/proc/meminfo: memFree=29206876/32951124 swapFree=33333036/67111528
[pid=7594] ppid=7592 vsize=335116 CPUtime=0.6 cores=1,3,5,7
/proc/7594/stat : 7594 (python) S 7592 7594 7156 0 -1 4202496 13209 931 1 0 45 15 0 0 20 0 6 0 947915265 343158784 7406 33554432000 4194304 5683644 140737043162912 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/7594/statm: 83779 7406 1879 364 0 18654 0
[pid=7609] ppid=7594 vsize=293400 CPUtime=0.28 cores=1,3,5,7
/proc/7609/stat : 7609 (python) S 7594 7594 7156 0 -1 4202560 1103 0 0 0 12 16 0 0 17 0 2 0 947915348 300441600 5750 33554432000 4194304 5683644 140737043162912 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/7609/statm: 73350 5750 407 364 0 8237 0
[pid=7611] ppid=7609 vsize=57396 CPUtime=51.3 cores=1,3,5,7
/proc/7611/stat : 7611 (scip-2.0.1.linu) T 7609 7611 7611 0 -1 4202496 15560 0 0 0 4940 190 0 0 18 0 1 0 947915348 58773504 11758 33554432000 4194304 13684479 140733747252256 18446744073709551615 7430071 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/7611/statm: 14349 11758 821 2317 0 12027 0
[pid=7609/tid=7639] ppid=7594 vsize=293400 CPUtime=0 cores=1,3,5,7
/proc/7609/task/7639/stat : 7639 (python) S 7594 7594 7156 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 947920480 300441600 5750 33554432000 4194304 5683644 140737043162912 18446744073709551615 224296749489 0 0 16781312 33554946 18446604464853851136 0 0 -1 7 0 0 0
[pid=7640] ppid=7594 vsize=293900 CPUtime=0.26 cores=1,3,5,7
/proc/7640/stat : 7640 (python) S 7594 7594 7156 0 -1 4202560 1170 0 0 0 12 14 0 0 16 0 2 0 947920483 300953600 5860 33554432000 4194304 5683644 140737043162912 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/7640/statm: 73475 5860 403 364 0 8359 0
[pid=7642] ppid=7640 vsize=8536700 CPUtime=48.68 cores=1,3,5,7
/proc/7642/stat : 7642 (java) T 7640 7642 7642 0 -1 4202496 17857 0 1 0 4864 4 0 0 18 0 19 0 947920483 8741580800 14161 33554432000 1073741824 1073778376 140735733243216 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/7642/statm: 2134175 14161 2243 9 0 2124916 0
[pid=7642/tid=7643] ppid=7640 vsize=8536700 CPUtime=46.9 cores=1,3,5,7
/proc/7642/task/7643/stat : 7643 (java) T 7640 7642 7642 0 -1 4202560 5693 0 1 0 4689 1 0 0 25 0 19 0 947920483 8741580800 14161 33554432000 1073741824 1073778376 140735733243216 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=7642/tid=7644] ppid=7640 vsize=8536700 CPUtime=0.05 cores=1,3,5,7
/proc/7642/task/7644/stat : 7644 (java) T 7640 7642 7642 0 -1 4202560 657 0 0 0 5 0 0 0 16 0 19 0 947920484 8741580800 14161 33554432000 1073741824 1073778376 140735733243216 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=7642/tid=7645] ppid=7640 vsize=8536700 CPUtime=0.07 cores=1,3,5,7
/proc/7642/task/7645/stat : 7645 (java) T 7640 7642 7642 0 -1 4202560 692 0 0 0 7 0 0 0 15 0 19 0 947920484 8741580800 14161 33554432000 1073741824 1073778376 140735733243216 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=7642/tid=7646] ppid=7640 vsize=8536700 CPUtime=0.04 cores=1,3,5,7
/proc/7642/task/7646/stat : 7646 (java) T 7640 7642 7642 0 -1 4202560 114 0 0 0 4 0 0 0 15 0 19 0 947920484 8741580800 14161 33554432000 1073741824 1073778376 140735733243216 18446744073709551615 224284879159 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=7642/tid=7647] ppid=7640 vsize=8536700 CPUtime=0.06 cores=1,3,5,7
/proc/7642/task/7647/stat : 7647 (java) T 7640 7642 7642 0 -1 4202560 260 0 0 0 6 0 0 0 16 0 19 0 947920484 8741580800 14161 33554432000 1073741824 1073778376 140735733243216 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=7642/tid=7648] ppid=7640 vsize=8536700 CPUtime=0.02 cores=1,3,5,7
/proc/7642/task/7648/stat : 7648 (java) T 7640 7642 7642 0 -1 4202560 90 0 0 0 2 0 0 0 15 0 19 0 947920484 8741580800 14161 33554432000 1073741824 1073778376 140735733243216 18446744073709551615 224284879159 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=7642/tid=7649] ppid=7640 vsize=8536700 CPUtime=0.08 cores=1,3,5,7
/proc/7642/task/7649/stat : 7649 (java) T 7640 7642 7642 0 -1 4202560 143 0 0 0 8 0 0 0 15 0 19 0 947920484 8741580800 14161 33554432000 1073741824 1073778376 140735733243216 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=7642/tid=7650] ppid=7640 vsize=8536700 CPUtime=0.08 cores=1,3,5,7
/proc/7642/task/7650/stat : 7650 (java) T 7640 7642 7642 0 -1 4202560 209 0 0 0 8 0 0 0 16 0 19 0 947920484 8741580800 14161 33554432000 1073741824 1073778376 140735733243216 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=7642/tid=7651] ppid=7640 vsize=8536700 CPUtime=0.05 cores=1,3,5,7
/proc/7642/task/7651/stat : 7651 (java) T 7640 7642 7642 0 -1 4202560 212 0 0 0 5 0 0 0 15 0 19 0 947920484 8741580800 14161 33554432000 1073741824 1073778376 140735733243216 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=7642/tid=7652] ppid=7640 vsize=8536700 CPUtime=0.6 cores=1,3,5,7
/proc/7642/task/7652/stat : 7652 (java) T 7640 7642 7642 0 -1 4202560 2284 0 0 0 60 0 0 0 15 0 19 0 947920485 8741580800 14161 33554432000 1073741824 1073778376 140735733243216 18446744073709551615 224296741785 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=7642/tid=7653] ppid=7640 vsize=8536700 CPUtime=0 cores=1,3,5,7
/proc/7642/task/7653/stat : 7653 (java) T 7640 7642 7642 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947920485 8741580800 14161 33554432000 1073741824 1073778376 140735733243216 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=7642/tid=7654] ppid=7640 vsize=8536700 CPUtime=0 cores=1,3,5,7
/proc/7642/task/7654/stat : 7654 (java) T 7640 7642 7642 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 947920485 8741580800 14161 33554432000 1073741824 1073778376 140735733243216 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=7642/tid=7655] ppid=7640 vsize=8536700 CPUtime=0 cores=1,3,5,7
/proc/7642/task/7655/stat : 7655 (java) T 7640 7642 7642 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947920487 8741580800 14161 33554432000 1073741824 1073778376 140735733243216 18446744073709551615 224296749489 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=7642/tid=7656] ppid=7640 vsize=8536700 CPUtime=0.38 cores=1,3,5,7
/proc/7642/task/7656/stat : 7656 (java) T 7640 7642 7642 0 -1 4202560 4263 0 0 0 38 0 0 0 15 0 19 0 947920487 8741580800 14161 33554432000 1073741824 1073778376 140735733243216 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=7642/tid=7657] ppid=7640 vsize=8536700 CPUtime=0.27 cores=1,3,5,7
/proc/7642/task/7657/stat : 7657 (java) T 7640 7642 7642 0 -1 4202560 1843 0 0 0 27 0 0 0 15 0 19 0 947920487 8741580800 14161 33554432000 1073741824 1073778376 140735733243216 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=7642/tid=7658] ppid=7640 vsize=8536700 CPUtime=0 cores=1,3,5,7
/proc/7642/task/7658/stat : 7658 (java) T 7640 7642 7642 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947920488 8741580800 14161 33554432000 1073741824 1073778376 140735733243216 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=7642/tid=7659] ppid=7640 vsize=8536700 CPUtime=0 cores=1,3,5,7
/proc/7642/task/7659/stat : 7659 (java) T 7640 7642 7642 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 947920488 8741580800 14161 33554432000 1073741824 1073778376 140735733243216 18446744073709551615 224296742400 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=7642/tid=7660] ppid=7640 vsize=8536700 CPUtime=0 cores=1,3,5,7
/proc/7642/task/7660/stat : 7660 (java) T 7640 7642 7642 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 947920508 8741580800 14161 33554432000 1073741824 1073778376 140735733243216 18446744073709551615 224296742400 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=7640/tid=7665] ppid=7594 vsize=293900 CPUtime=0 cores=1,3,5,7
/proc/7640/task/7665/stat : 7665 (python) S 7594 7594 7156 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 947925268 300953600 5860 33554432000 4194304 5683644 140737043162912 18446744073709551615 224296749489 0 0 16781312 33554946 18446604464853848448 0 0 -1 7 0 0 0
[pid=7666] ppid=7594 vsize=303856 CPUtime=0.26 cores=1,3,5,7
/proc/7666/stat : 7666 (python) S 7594 7594 7156 0 -1 4202560 1183 0 0 0 11 15 0 0 16 0 2 0 947925270 311148544 5789 33554432000 4194304 5683644 140737043162912 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/7666/statm: 75964 5789 403 364 0 10845 0
[pid=7668] ppid=7666 vsize=42920 CPUtime=48.28 cores=1,3,5,7
/proc/7668/stat : 7668 (scip-2.0.1.linu) T 7666 7668 7668 0 -1 4202496 54466 0 0 0 4750 78 0 0 20 0 1 0 947925271 43950080 7325 33554432000 4194304 15243407 140735842202384 18446744073709551615 8078641 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/7668/statm: 10730 7325 934 2698 0 8025 0
[pid=7666/tid=7675] ppid=7594 vsize=303856 CPUtime=0 cores=1,3,5,7
/proc/7666/task/7675/stat : 7675 (python) S 7594 7594 7156 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 947930100 311148544 5789 33554432000 4194304 5683644 140737043162912 18446744073709551615 224296749489 0 0 16781312 33554946 18446604456155511744 0 0 -1 7 0 0 0
[pid=7676] ppid=7594 vsize=314616 CPUtime=0.23 cores=1,3,5,7
/proc/7676/stat : 7676 (python) S 7594 7594 7156 0 -1 4202560 1152 0 0 0 11 12 0 0 17 0 2 0 947930102 322166784 5897 33554432000 4194304 5683644 140737043162912 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/7676/statm: 78654 5897 397 364 0 13532 0
[pid=7678] ppid=7676 vsize=99612 CPUtime=46.84 cores=1,3,5,7
/proc/7678/stat : 7678 (wbo1.4a) T 7676 7678 7678 0 -1 4202496 24709 0 0 0 4615 69 0 0 25 0 1 0 947930103 102002688 24423 33554432000 134512640 135751879 4294724864 18446744073709551615 134516976 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/7678/statm: 24903 24423 146 303 0 24598 0
[pid=7676/tid=7727] ppid=7594 vsize=314616 CPUtime=0 cores=1,3,5,7
/proc/7676/task/7727/stat : 7727 (python) S 7594 7594 7156 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 947934788 322166784 5897 33554432000 4194304 5683644 140737043162912 18446744073709551615 224296749489 0 0 16781312 33554946 18446604468271933376 0 0 -1 7 0 0 0
[pid=7728] ppid=7594 vsize=324872 CPUtime=0 cores=1,3,5,7
/proc/7728/stat : 7728 (python) S 7594 7594 7156 0 -1 4202560 788 0 0 0 0 0 0 0 17 0 1 0 947934790 332668928 5872 33554432000 4194304 5683644 140737043162912 18446744073709551615 224284945990 0 0 16781312 33554946 401890019851108352 0 0 17 1 0 0 0
/proc/7728/statm: 81218 5872 349 364 0 16093 0
[pid=7730] ppid=7728 vsize=8554216 CPUtime=2.2 cores=1,3,5,7
/proc/7730/stat : 7730 (java) S 7728 7730 7730 0 -1 4202496 51014 0 1 0 214 6 0 0 20 0 19 0 947934791 8759517184 45745 33554432000 1073741824 1073778376 140737057884816 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7730/statm: 2138554 45745 2233 9 0 2129295 0
[pid=7730/tid=7731] ppid=7728 vsize=8554216 CPUtime=1.03 cores=1,3,5,7
/proc/7730/task/7731/stat : 7731 (java) R 7728 7730 7730 0 -1 4202560 35297 0 1 0 99 4 0 0 18 0 19 0 947934795 8759517184 45745 33554432000 1073741824 1073778376 140737057884816 18446744073709551615 46912505657878 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=7730/tid=7732] ppid=7728 vsize=8554216 CPUtime=0 cores=1,3,5,7
/proc/7730/task/7732/stat : 7732 (java) S 7728 7730 7730 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 947934796 8759517184 45745 33554432000 1073741824 1073778376 140737057884816 18446744073709551615 224296741785 0 4 0 16800975 18446604466419792704 0 0 -1 1 0 0 0
[pid=7730/tid=7733] ppid=7728 vsize=8554216 CPUtime=0 cores=1,3,5,7
/proc/7730/task/7733/stat : 7733 (java) S 7728 7730 7730 0 -1 4202560 212 0 0 0 0 0 0 0 18 0 19 0 947934796 8759517184 45745 33554432000 1073741824 1073778376 140737057884816 18446744073709551615 224296741785 0 4 0 16800975 18446604466419792704 0 0 -1 7 0 0 0
[pid=7730/tid=7734] ppid=7728 vsize=8554216 CPUtime=0 cores=1,3,5,7
/proc/7730/task/7734/stat : 7734 (java) S 7728 7730 7730 0 -1 4202560 215 0 0 0 0 0 0 0 18 0 19 0 947934796 8759517184 45745 33554432000 1073741824 1073778376 140737057884816 18446744073709551615 224296741785 0 4 0 16800975 18446604466419792704 0 0 -1 1 0 0 0
[pid=7730/tid=7735] ppid=7728 vsize=8554216 CPUtime=0 cores=1,3,5,7
/proc/7730/task/7735/stat : 7735 (java) S 7728 7730 7730 0 -1 4202560 54 0 0 0 0 0 0 0 18 0 19 0 947934796 8759517184 45745 33554432000 1073741824 1073778376 140737057884816 18446744073709551615 224296741785 0 4 0 16800975 18446604466419792704 0 0 -1 7 0 0 0
[pid=7730/tid=7736] ppid=7728 vsize=8554216 CPUtime=0 cores=1,3,5,7
/proc/7730/task/7736/stat : 7736 (java) S 7728 7730 7730 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947934796 8759517184 45745 33554432000 1073741824 1073778376 140737057884816 18446744073709551615 224296741785 0 4 0 16800975 18446604466419792704 0 0 -1 3 0 0 0
[pid=7730/tid=7737] ppid=7728 vsize=8554216 CPUtime=0 cores=1,3,5,7
/proc/7730/task/7737/stat : 7737 (java) S 7728 7730 7730 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947934796 8759517184 45745 33554432000 1073741824 1073778376 140737057884816 18446744073709551615 224296741785 0 4 0 16800975 18446604466419792704 0 0 -1 1 0 0 0
[pid=7730/tid=7738] ppid=7728 vsize=8554216 CPUtime=0 cores=1,3,5,7
/proc/7730/task/7738/stat : 7738 (java) S 7728 7730 7730 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947934796 8759517184 45745 33554432000 1073741824 1073778376 140737057884816 18446744073709551615 224296741785 0 4 0 16800975 18446604466419792704 0 0 -1 1 0 0 0
[pid=7730/tid=7739] ppid=7728 vsize=8554216 CPUtime=0 cores=1,3,5,7
/proc/7730/task/7739/stat : 7739 (java) S 7728 7730 7730 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947934796 8759517184 45745 33554432000 1073741824 1073778376 140737057884816 18446744073709551615 224296741785 0 4 0 16800975 18446604466419792704 0 0 -1 5 0 0 0
[pid=7730/tid=7740] ppid=7728 vsize=8554216 CPUtime=0 cores=1,3,5,7
/proc/7730/task/7740/stat : 7740 (java) S 7728 7730 7730 0 -1 4202560 10 0 0 0 0 0 0 0 17 0 19 0 947934797 8759517184 45745 33554432000 1073741824 1073778376 140737057884816 18446744073709551615 224296742400 0 0 0 16800975 18446604466419792704 0 0 -1 1 0 0 0
[pid=7730/tid=7741] ppid=7728 vsize=8554216 CPUtime=0 cores=1,3,5,7
/proc/7730/task/7741/stat : 7741 (java) S 7728 7730 7730 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947934797 8759517184 45745 33554432000 1073741824 1073778376 140737057884816 18446744073709551615 224296741785 0 4 0 16800975 18446604466419792704 0 0 -1 1 0 0 0
[pid=7730/tid=7742] ppid=7728 vsize=8554216 CPUtime=0 cores=1,3,5,7
/proc/7730/task/7742/stat : 7742 (java) S 7728 7730 7730 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 947934797 8759517184 45745 33554432000 1073741824 1073778376 140737057884816 18446744073709551615 224296741785 0 4 0 16800975 18446604466419792704 0 0 -1 1 0 0 0
[pid=7730/tid=7743] ppid=7728 vsize=8554216 CPUtime=0 cores=1,3,5,7
/proc/7730/task/7743/stat : 7743 (java) S 7728 7730 7730 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947934799 8759517184 45745 33554432000 1073741824 1073778376 140737057884816 18446744073709551615 224296749489 0 4 0 16800975 18446604466419792704 0 0 -1 1 0 0 0
[pid=7730/tid=7744] ppid=7728 vsize=8554216 CPUtime=0.55 cores=1,3,5,7
/proc/7730/task/7744/stat : 7744 (java) S 7728 7730 7730 0 -1 4202560 6194 0 0 0 54 1 0 0 15 0 19 0 947934799 8759517184 45745 33554432000 1073741824 1073778376 140737057884816 18446744073709551615 224296741785 0 4 0 16800975 18446604466419792704 0 0 -1 3 0 0 0
[pid=7730/tid=7745] ppid=7728 vsize=8554216 CPUtime=0.61 cores=1,3,5,7
/proc/7730/task/7745/stat : 7745 (java) S 7728 7730 7730 0 -1 4202560 7638 0 0 0 61 0 0 0 17 0 19 0 947934799 8759517184 45745 33554432000 1073741824 1073778376 140737057884816 18446744073709551615 224296741785 0 4 0 16800975 18446604466419792704 0 0 -1 1 0 0 0
[pid=7730/tid=7746] ppid=7728 vsize=8554216 CPUtime=0 cores=1,3,5,7
/proc/7730/task/7746/stat : 7746 (java) S 7728 7730 7730 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 947934799 8759517184 45745 33554432000 1073741824 1073778376 140737057884816 18446744073709551615 224296741785 0 4 0 16800975 18446604466419792704 0 0 -1 1 0 0 0
[pid=7730/tid=7747] ppid=7728 vsize=8554216 CPUtime=0 cores=1,3,5,7
/proc/7730/task/7747/stat : 7747 (java) S 7728 7730 7730 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947934799 8759517184 45745 33554432000 1073741824 1073778376 140737057884816 18446744073709551615 224296742400 0 4 0 16800975 18446604466419792704 0 0 -1 3 0 0 0
[pid=7730/tid=7749] ppid=7728 vsize=8554216 CPUtime=0 cores=1,3,5,7
/proc/7730/task/7749/stat : 7749 (java) S 7728 7730 7730 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947934820 8759517184 45745 33554432000 1073741824 1073778376 140737057884816 18446744073709551615 224296742400 0 4 0 16800975 18446604466419792704 0 0 -1 7 0 0 0
[pid=7594/tid=7610] ppid=7592 vsize=335116 CPUtime=0 cores=1,3,5,7
/proc/7594/task/7610/stat : 7610 (python) S 7592 7594 7156 0 -1 4202560 27 931 0 0 0 0 0 0 18 0 6 0 947915348 343158784 7406 33554432000 4194304 5683644 140737043162912 18446744073709551615 224296749489 0 0 16781312 33554434 18446604454977831232 0 0 -1 3 0 0 0
[pid=7594/tid=7641] ppid=7592 vsize=335116 CPUtime=0 cores=1,3,5,7
/proc/7594/task/7641/stat : 7641 (python) S 7592 7594 7156 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 6 0 947920483 343158784 7406 33554432000 4194304 5683644 140737043162912 18446744073709551615 224296749489 0 0 16781312 33554434 18446604454977831232 0 0 -1 7 0 0 0
[pid=7594/tid=7667] ppid=7592 vsize=335116 CPUtime=0 cores=1,3,5,7
/proc/7594/task/7667/stat : 7667 (python) S 7592 7594 7156 0 -1 4202560 31 931 0 0 0 0 0 0 20 0 6 0 947925271 343158784 7406 33554432000 4194304 5683644 140737043162912 18446744073709551615 224296749489 0 0 16781312 33554434 18446604454977831232 0 0 -1 7 0 0 0
[pid=7594/tid=7677] ppid=7592 vsize=335116 CPUtime=0 cores=1,3,5,7
/proc/7594/task/7677/stat : 7677 (python) S 7592 7594 7156 0 -1 4202560 27 931 0 0 0 0 0 0 20 0 6 0 947930103 343158784 7406 33554432000 4194304 5683644 140737043162912 18446744073709551615 224296749489 0 0 16781312 33554434 18446604454977831232 0 0 -1 7 0 0 0
[pid=7594/tid=7729] ppid=7592 vsize=335116 CPUtime=0 cores=1,3,5,7
/proc/7594/task/7729/stat : 7729 (python) S 7592 7594 7156 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 6 0 947934790 343158784 7406 33554432000 4194304 5683644 140737043162912 18446744073709551615 224296749489 0 0 16781312 33554434 18446604454977831232 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 198.93
Current children cumulated vsize (KiB) 19156604
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7594 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=458930
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=160975
# CPU time returned by wait4() is 0.619905
# while last known CPU time is 198.93
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 196.39
CPU time (s): 198.93
CPU user time (s): 194.74
CPU system time (s): 4.19
CPU usage (%): 101.293
Max. virtual memory (cumulated for all children) (KiB): 19156604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.45893
system time used= 0.160975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14143
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= 9864
involuntary context switches= 24
runsolver used 1.26481 second user time and 2.81557 second system time
The end