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-3481876-1307576695/watcher-3481876-1307576695 -o /tmp/evaluation-result-3481876-1307576695/solver-3481876-1307576695 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481876-1307576695.opb -seed 683913730 -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.14 1.35 0.58 2/625 7450
/proc/meminfo: memFree=30318428/32951124 swapFree=33333036/67111528
[pid=7450] ppid=7448 vsize=15384 CPUtime=0 cores=1,3,5,7
/proc/7450/stat : 7450 (python) R 7448 7450 7156 0 -1 4202496 813 0 0 0 0 0 0 0 21 0 1 0 947900430 15753216 698 33554432000 4194304 5683644 140736192762480 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/7450/statm: 3846 698 334 364 0 333 0
[startup+0.10608 s]
/proc/loadavg: 2.14 1.35 0.58 2/625 7450
/proc/meminfo: memFree=30318428/32951124 swapFree=33333036/67111528
[pid=7450] ppid=7448 vsize=85360 CPUtime=0.05 cores=1,3,5,7
/proc/7450/stat : 7450 (python) D 7448 7450 7156 0 -1 4202496 2586 0 0 0 4 1 0 0 18 0 1 0 947900430 87408640 2310 33554432000 4194304 5683644 140736192762480 18446744073709551615 224284931639 0 0 16781312 2 18446744071562154983 0 0 17 5 0 0 0
/proc/7450/statm: 21340 2310 709 364 0 1557 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85360
[startup+0.201059 s]
/proc/loadavg: 2.14 1.35 0.58 2/625 7450
/proc/meminfo: memFree=30318428/32951124 swapFree=33333036/67111528
[pid=7450] ppid=7448 vsize=85360 CPUtime=0.05 cores=1,3,5,7
/proc/7450/stat : 7450 (python) D 7448 7450 7156 0 -1 4202496 2586 0 0 0 4 1 0 0 18 0 1 0 947900430 87408640 2310 33554432000 4194304 5683644 140736192762480 18446744073709551615 224284931639 0 0 16781312 2 18446744071562154983 0 0 17 5 0 0 0
/proc/7450/statm: 21340 2310 709 364 0 1557 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85360
[startup+0.301023 s]
/proc/loadavg: 2.14 1.35 0.58 2/625 7450
/proc/meminfo: memFree=30318428/32951124 swapFree=33333036/67111528
[pid=7450] ppid=7448 vsize=85360 CPUtime=0.05 cores=1,3,5,7
/proc/7450/stat : 7450 (python) D 7448 7450 7156 0 -1 4202496 2586 0 0 0 4 1 0 0 18 0 1 0 947900430 87408640 2310 33554432000 4194304 5683644 140736192762480 18446744073709551615 224284931639 0 0 16781312 2 18446744071562154983 0 0 17 5 0 0 0
/proc/7450/statm: 21340 2310 709 364 0 1557 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85360
[startup+0.700976 s]
/proc/loadavg: 2.14 1.35 0.58 2/625 7450
/proc/meminfo: memFree=30318428/32951124 swapFree=33333036/67111528
[pid=7450] ppid=7448 vsize=85360 CPUtime=0.05 cores=1,3,5,7
/proc/7450/stat : 7450 (python) D 7448 7450 7156 0 -1 4202496 2586 0 0 0 4 1 0 0 18 0 1 0 947900430 87408640 2310 33554432000 4194304 5683644 140736192762480 18446744073709551615 224284931639 0 0 16781312 2 18446744071562154983 0 0 17 5 0 0 0
/proc/7450/statm: 21340 2310 709 364 0 1557 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85360
[startup+1.50078 s]
/proc/loadavg: 2.29 1.39 0.60 2/626 7451
/proc/meminfo: memFree=30308004/32951124 swapFree=33333036/67111528
[pid=7450] ppid=7448 vsize=123448 CPUtime=0.13 cores=1,3,5,7
/proc/7450/stat : 7450 (python) R 7448 7450 7156 0 -1 4202496 5248 930 1 0 10 3 0 0 17 0 1 0 947900430 126410752 3654 33554432000 4194304 5683644 140736192762480 18446744073709551615 224284923904 0 0 16781312 2 0 0 0 17 5 0 0 131
/proc/7450/statm: 30862 3654 970 364 0 2694 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 123448
[startup+3.10055 s]
/proc/loadavg: 2.29 1.39 0.60 3/629 7458
/proc/meminfo: memFree=30260828/32951124 swapFree=33333036/67111528
[pid=7450] ppid=7448 vsize=293740 CPUtime=0.47 cores=1,3,5,7
/proc/7450/stat : 7450 (python) S 7448 7450 7156 0 -1 4202496 9773 930 1 0 37 10 0 0 18 0 2 0 947900430 300789760 7284 33554432000 4194304 5683644 140736192762480 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 131
/proc/7450/statm: 73435 7284 1870 364 0 8322 0
[pid=7456] ppid=7450 vsize=283496 CPUtime=0 cores=1,3,5,7
/proc/7456/stat : 7456 (python) S 7450 7450 7156 0 -1 4202560 770 0 0 0 0 0 0 0 15 0 1 0 947900626 290299904 5762 33554432000 4194304 5683644 140736192762480 18446744073709551615 224284945935 0 0 16781312 33554946 702670913211990016 0 0 17 5 0 0 0
/proc/7456/statm: 70874 5762 352 364 0 5761 0
[pid=7458] ppid=7456 vsize=41844 CPUtime=1.12 cores=1,3,5,7
/proc/7458/stat : 7458 (scip-2.0.1.linu) R 7456 7458 7458 0 -1 4202496 8893 0 0 0 106 6 0 0 22 0 1 0 947900627 42848256 8191 33554432000 4194304 13684479 140736018812720 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/7458/statm: 10461 8191 776 2317 0 8139 0
[pid=7450/tid=7457] ppid=7448 vsize=293740 CPUtime=0 cores=1,3,5,7
/proc/7450/task/7457/stat : 7457 (python) S 7448 7450 7156 0 -1 4202560 25 930 0 0 0 0 0 0 18 0 2 0 947900626 300789760 7284 33554432000 4194304 5683644 140736192762480 18446744073709551615 224296749489 0 0 16781312 33554434 18446604464853850240 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 619080
heavy processes:
[startup+6.30101 s]
/proc/loadavg: 2.29 1.39 0.60 3/629 7458
/proc/meminfo: memFree=30229168/32951124 swapFree=33333036/67111528
[pid=7450] ppid=7448 vsize=293740 CPUtime=0.47 cores=1,3,5,7
/proc/7450/stat : 7450 (python) S 7448 7450 7156 0 -1 4202496 9773 930 1 0 37 10 0 0 18 0 2 0 947900430 300789760 7284 33554432000 4194304 5683644 140736192762480 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 131
/proc/7450/statm: 73435 7284 1870 364 0 8322 0
[pid=7456] ppid=7450 vsize=283496 CPUtime=0.02 cores=1,3,5,7
/proc/7456/stat : 7456 (python) S 7450 7450 7156 0 -1 4202560 918 0 0 0 1 1 0 0 15 0 1 0 947900626 290299904 5786 33554432000 4194304 5683644 140736192762480 18446744073709551615 224284945935 0 0 16781312 33554946 1907199842904440832 0 0 17 5 0 0 0
/proc/7456/statm: 70874 5786 376 364 0 5761 0
[pid=7458] ppid=7456 vsize=52348 CPUtime=4.3 cores=1,3,5,7
/proc/7458/stat : 7458 (scip-2.0.1.linu) R 7456 7458 7458 0 -1 4202496 11364 0 0 0 411 19 0 0 25 0 1 0 947900627 53604352 10650 33554432000 4194304 13684479 140736018812720 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/7458/statm: 13087 10650 795 2317 0 10765 0
[pid=7450/tid=7457] ppid=7448 vsize=293740 CPUtime=0 cores=1,3,5,7
/proc/7450/task/7457/stat : 7457 (python) S 7448 7450 7156 0 -1 4202560 25 930 0 0 0 0 0 0 18 0 2 0 947900626 300789760 7284 33554432000 4194304 5683644 140736192762480 18446744073709551615 224296749489 0 0 16781312 33554434 18446604464853850240 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.79
Current children cumulated vsize (KiB) 629584
heavy processes:
[startup+12.701 s]
/proc/loadavg: 2.32 1.43 0.62 3/629 7458
/proc/meminfo: memFree=30229564/32951124 swapFree=33333036/67111528
[pid=7450] ppid=7448 vsize=293740 CPUtime=0.47 cores=1,3,5,7
/proc/7450/stat : 7450 (python) S 7448 7450 7156 0 -1 4202496 9773 930 1 0 37 10 0 0 18 0 2 0 947900430 300789760 7284 33554432000 4194304 5683644 140736192762480 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 131
/proc/7450/statm: 73435 7284 1870 364 0 8322 0
[pid=7456] ppid=7450 vsize=283496 CPUtime=0.06 cores=1,3,5,7
/proc/7456/stat : 7456 (python) S 7450 7450 7156 0 -1 4202560 923 0 0 0 3 3 0 0 15 0 1 0 947900626 290299904 5786 33554432000 4194304 5683644 140736192762480 18446744073709551615 224284945935 0 0 16781312 33554946 4294934788 0 0 17 5 0 0 0
/proc/7456/statm: 70874 5786 376 364 0 5761 0
[pid=7458] ppid=7456 vsize=50516 CPUtime=10.7 cores=1,3,5,7
/proc/7458/stat : 7458 (scip-2.0.1.linu) R 7456 7458 7458 0 -1 4202496 11926 0 0 0 1030 40 0 0 25 0 1 0 947900627 51728384 10479 33554432000 4194304 13684479 140736018812720 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/7458/statm: 12629 10479 798 2317 0 10307 0
[pid=7450/tid=7457] ppid=7448 vsize=293740 CPUtime=0 cores=1,3,5,7
/proc/7450/task/7457/stat : 7457 (python) S 7448 7450 7156 0 -1 4202560 25 930 0 0 0 0 0 0 18 0 2 0 947900626 300789760 7284 33554432000 4194304 5683644 140736192762480 18446744073709551615 224296749489 0 0 16781312 33554434 18446604464853850240 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 11.23
Current children cumulated vsize (KiB) 627752
[startup+25.5008 s]
/proc/loadavg: 2.27 1.45 0.64 3/629 7458
/proc/meminfo: memFree=30229820/32951124 swapFree=33333036/67111528
[pid=7450] ppid=7448 vsize=293740 CPUtime=0.47 cores=1,3,5,7
/proc/7450/stat : 7450 (python) S 7448 7450 7156 0 -1 4202496 9773 930 1 0 37 10 0 0 18 0 2 0 947900430 300789760 7284 33554432000 4194304 5683644 140736192762480 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 131
/proc/7450/statm: 73435 7284 1870 364 0 8322 0
[pid=7456] ppid=7450 vsize=283496 CPUtime=0.13 cores=1,3,5,7
/proc/7456/stat : 7456 (python) S 7450 7450 7156 0 -1 4202560 927 0 0 0 6 7 0 0 15 0 1 0 947900626 290299904 5786 33554432000 4194304 5683644 140736192762480 18446744073709551615 224284945935 0 0 16781312 33554946 1837726092601851904 0 0 17 5 0 0 0
/proc/7456/statm: 70874 5786 376 364 0 5761 0
[pid=7458] ppid=7456 vsize=50516 CPUtime=23.49 cores=1,3,5,7
/proc/7458/stat : 7458 (scip-2.0.1.linu) R 7456 7458 7458 0 -1 4202496 11926 0 0 0 2272 77 0 0 25 0 1 0 947900627 51728384 10479 33554432000 4194304 13684479 140736018812720 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/7458/statm: 12629 10479 798 2317 0 10307 0
[pid=7450/tid=7457] ppid=7448 vsize=293740 CPUtime=0 cores=1,3,5,7
/proc/7450/task/7457/stat : 7457 (python) S 7448 7450 7156 0 -1 4202560 25 930 0 0 0 0 0 0 18 0 2 0 947900626 300789760 7284 33554432000 4194304 5683644 140736192762480 18446744073709551615 224296749489 0 0 16781312 33554434 18446604464853850240 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 24.09
Current children cumulated vsize (KiB) 627752
[startup+51.1005 s]
/proc/loadavg: 2.30 1.53 0.69 3/633 7464
/proc/meminfo: memFree=30167216/32951124 swapFree=33333036/67111528
[pid=7450] ppid=7448 vsize=293740 CPUtime=0.47 cores=1,3,5,7
/proc/7450/stat : 7450 (python) S 7448 7450 7156 0 -1 4202496 9773 930 1 0 37 10 0 0 18 0 2 0 947900430 300789760 7284 33554432000 4194304 5683644 140736192762480 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 131
/proc/7450/statm: 73435 7284 1870 364 0 8322 0
[pid=7456] ppid=7450 vsize=283496 CPUtime=0.26 cores=1,3,5,7
/proc/7456/stat : 7456 (python) S 7450 7450 7156 0 -1 4202560 937 0 0 0 13 13 0 0 15 0 1 0 947900626 290299904 5786 33554432000 4194304 5683644 140736192762480 18446744073709551615 224284945935 0 0 16781312 33554946 676778956271124480 0 0 17 3 0 0 0
/proc/7456/statm: 70874 5786 376 364 0 5761 0
[pid=7458] ppid=7456 vsize=67064 CPUtime=49.04 cores=1,3,5,7
/proc/7458/stat : 7458 (scip-2.0.1.linu) R 7456 7458 7458 0 -1 4202496 15965 0 0 0 4766 138 0 0 25 0 1 0 947900627 68673536 14509 33554432000 4194304 13684479 140736018812720 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/7458/statm: 16766 14509 822 2317 0 14444 0
[pid=7450/tid=7457] ppid=7448 vsize=293740 CPUtime=0 cores=1,3,5,7
/proc/7450/task/7457/stat : 7457 (python) S 7448 7450 7156 0 -1 4202560 25 930 0 0 0 0 0 0 18 0 2 0 947900626 300789760 7284 33554432000 4194304 5683644 140736192762480 18446744073709551615 224296749489 0 0 16781312 33554434 18446604464853850240 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 49.77
Current children cumulated vsize (KiB) 644300
[startup+102.302 s]
/proc/loadavg: 2.13 1.60 0.76 3/663 7494
/proc/meminfo: memFree=30013164/32951124 swapFree=33333036/67111528
[pid=7450] ppid=7448 vsize=314328 CPUtime=0.52 cores=1,3,5,7
/proc/7450/stat : 7450 (python) S 7448 7450 7156 0 -1 4202496 11509 930 1 0 42 10 0 0 20 0 4 0 947900430 321871872 7335 33554432000 4194304 5683644 140736192762480 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 131
/proc/7450/statm: 78582 7335 1875 364 0 13463 0
[pid=7456] ppid=7450 vsize=293740 CPUtime=0.29 cores=1,3,5,7
/proc/7456/stat : 7456 (python) S 7450 7450 7156 0 -1 4202560 1097 0 0 0 14 15 0 0 16 0 2 0 947900626 300789760 5822 33554432000 4194304 5683644 140736192762480 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/7456/statm: 73435 5822 407 364 0 8322 0
[pid=7458] ppid=7456 vsize=67064 CPUtime=49.93 cores=1,3,5,7
/proc/7458/stat : 7458 (scip-2.0.1.linu) T 7456 7458 7458 0 -1 4202496 15967 0 0 0 4853 140 0 0 25 0 1 0 947900627 68673536 14511 33554432000 4194304 13684479 140736018812720 18446744073709551615 7430431 0 0 16781312 2 18446744071562691360 0 0 17 7 0 0 0
/proc/7458/statm: 16766 14511 822 2317 0 14444 0
[pid=7456/tid=7465] ppid=7450 vsize=293740 CPUtime=0 cores=1,3,5,7
/proc/7456/task/7465/stat : 7465 (python) S 7450 7450 7156 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 947905630 300789760 5822 33554432000 4194304 5683644 140736192762480 18446744073709551615 224296749489 0 0 16781312 33554946 18446604470983619840 0 0 -1 3 0 0 0
[pid=7466] ppid=7450 vsize=294124 CPUtime=0.23 cores=1,3,5,7
/proc/7466/stat : 7466 (python) S 7450 7450 7156 0 -1 4202560 1104 0 0 0 11 12 0 0 17 0 2 0 947905632 301182976 5911 33554432000 4194304 5683644 140736192762480 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/7466/statm: 73531 5911 397 364 0 8415 0
[pid=7468] ppid=7466 vsize=8538604 CPUtime=45.72 cores=1,3,5,7
/proc/7468/stat : 7468 (java) T 7466 7468 7468 0 -1 4202496 24590 0 1 0 4568 4 0 0 15 0 19 0 947905632 8743530496 22103 33554432000 1073741824 1073778376 140736280645632 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7468/statm: 2134651 22103 2255 9 0 2125392 0
[pid=7468/tid=7469] ppid=7466 vsize=8538604 CPUtime=44.39 cores=1,3,5,7
/proc/7468/task/7469/stat : 7469 (java) T 7466 7468 7468 0 -1 4202560 7706 0 1 0 4438 1 0 0 25 0 19 0 947905633 8743530496 22103 33554432000 1073741824 1073778376 140736280645632 18446744073709551615 46912505694038 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=7468/tid=7470] ppid=7466 vsize=8538604 CPUtime=0.03 cores=1,3,5,7
/proc/7468/task/7470/stat : 7470 (java) T 7466 7468 7468 0 -1 4202560 1264 0 0 0 3 0 0 0 15 0 19 0 947905634 8743530496 22103 33554432000 1073741824 1073778376 140736280645632 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=7468/tid=7471] ppid=7466 vsize=8538604 CPUtime=0.01 cores=1,3,5,7
/proc/7468/task/7471/stat : 7471 (java) T 7466 7468 7468 0 -1 4202560 727 0 0 0 1 0 0 0 15 0 19 0 947905634 8743530496 22103 33554432000 1073741824 1073778376 140736280645632 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=7468/tid=7472] ppid=7466 vsize=8538604 CPUtime=0.03 cores=1,3,5,7
/proc/7468/task/7472/stat : 7472 (java) T 7466 7468 7468 0 -1 4202560 777 0 0 0 3 0 0 0 15 0 19 0 947905634 8743530496 22103 33554432000 1073741824 1073778376 140736280645632 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=7468/tid=7473] ppid=7466 vsize=8538604 CPUtime=0.02 cores=1,3,5,7
/proc/7468/task/7473/stat : 7473 (java) T 7466 7468 7468 0 -1 4202560 312 0 0 0 2 0 0 0 15 0 19 0 947905634 8743530496 22103 33554432000 1073741824 1073778376 140736280645632 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=7468/tid=7474] ppid=7466 vsize=8538604 CPUtime=0.02 cores=1,3,5,7
/proc/7468/task/7474/stat : 7474 (java) T 7466 7468 7468 0 -1 4202560 275 0 0 0 2 0 0 0 15 0 19 0 947905634 8743530496 22103 33554432000 1073741824 1073778376 140736280645632 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=7468/tid=7475] ppid=7466 vsize=8538604 CPUtime=0.02 cores=1,3,5,7
/proc/7468/task/7475/stat : 7475 (java) T 7466 7468 7468 0 -1 4202560 662 0 0 0 2 0 0 0 15 0 19 0 947905634 8743530496 22103 33554432000 1073741824 1073778376 140736280645632 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=7468/tid=7476] ppid=7466 vsize=8538604 CPUtime=0.01 cores=1,3,5,7
/proc/7468/task/7476/stat : 7476 (java) T 7466 7468 7468 0 -1 4202560 27 0 0 0 1 0 0 0 15 0 19 0 947905634 8743530496 22103 33554432000 1073741824 1073778376 140736280645632 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=7468/tid=7477] ppid=7466 vsize=8538604 CPUtime=0.03 cores=1,3,5,7
/proc/7468/task/7477/stat : 7477 (java) T 7466 7468 7468 0 -1 4202560 1349 0 0 0 3 0 0 0 15 0 19 0 947905634 8743530496 22103 33554432000 1073741824 1073778376 140736280645632 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=7468/tid=7478] ppid=7466 vsize=8538604 CPUtime=0.42 cores=1,3,5,7
/proc/7468/task/7478/stat : 7478 (java) T 7466 7468 7468 0 -1 4202560 5182 0 0 0 41 1 0 0 15 0 19 0 947905635 8743530496 22103 33554432000 1073741824 1073778376 140736280645632 18446744073709551615 224296742400 0 0 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
################
# More data... #
################
[pid=7521/tid=7529] ppid=7519 vsize=8547820 CPUtime=0 cores=1,3,5,7
/proc/7521/task/7529/stat : 7529 (java) S 7519 7521 7521 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947914869 8752967680 35481 33554432000 1073741824 1073778376 140736141761744 18446744073709551615 224296741785 0 4 0 16800975 18446604466570558528 0 0 -1 5 0 0 0
[pid=7521/tid=7530] ppid=7519 vsize=8547820 CPUtime=0 cores=1,3,5,7
/proc/7521/task/7530/stat : 7530 (java) S 7519 7521 7521 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947914869 8752967680 35481 33554432000 1073741824 1073778376 140736141761744 18446744073709551615 224296741785 0 4 0 16800975 18446604466570558528 0 0 -1 7 0 0 0
[pid=7521/tid=7531] ppid=7519 vsize=8547820 CPUtime=0 cores=1,3,5,7
/proc/7521/task/7531/stat : 7531 (java) S 7519 7521 7521 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 947914870 8752967680 35481 33554432000 1073741824 1073778376 140736141761744 18446744073709551615 224296742400 0 0 0 16800975 18446604466570558528 0 0 -1 1 0 0 0
[pid=7521/tid=7532] ppid=7519 vsize=8547820 CPUtime=0 cores=1,3,5,7
/proc/7521/task/7532/stat : 7532 (java) S 7519 7521 7521 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 947914871 8752967680 35481 33554432000 1073741824 1073778376 140736141761744 18446744073709551615 224296741785 0 4 0 16800975 18446604466570558528 0 0 -1 1 0 0 0
[pid=7521/tid=7533] ppid=7519 vsize=8547820 CPUtime=0 cores=1,3,5,7
/proc/7521/task/7533/stat : 7533 (java) S 7519 7521 7521 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947914871 8752967680 35482 33554432000 1073741824 1073778376 140736141761744 18446744073709551615 224296741785 0 4 0 16800975 18446604466570558528 0 0 -1 1 0 0 0
[pid=7521/tid=7534] ppid=7519 vsize=8547820 CPUtime=0 cores=1,3,5,7
/proc/7521/task/7534/stat : 7534 (java) S 7519 7521 7521 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947914873 8752967680 35482 33554432000 1073741824 1073778376 140736141761744 18446744073709551615 224296749489 0 4 0 16800975 18446604466570558528 0 0 -1 1 0 0 0
[pid=7521/tid=7535] ppid=7519 vsize=8547820 CPUtime=0.48 cores=1,3,5,7
/proc/7521/task/7535/stat : 7535 (java) R 7519 7521 7521 0 -1 4202560 3921 0 0 0 48 0 0 0 25 0 19 0 947914873 8752967680 35482 33554432000 1073741824 1073778376 140736141761744 18446744073709551615 224284619742 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=7521/tid=7536] ppid=7519 vsize=8547820 CPUtime=0.57 cores=1,3,5,7
/proc/7521/task/7536/stat : 7536 (java) R 7519 7521 7521 0 -1 4202560 10071 0 0 0 56 1 0 0 16 0 19 0 947914873 8752967680 35483 33554432000 1073741824 1073778376 140736141761744 18446744073709551615 47021925995616 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=7521/tid=7537] ppid=7519 vsize=8547820 CPUtime=0 cores=1,3,5,7
/proc/7521/task/7537/stat : 7537 (java) S 7519 7521 7521 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947914873 8752967680 35483 33554432000 1073741824 1073778376 140736141761744 18446744073709551615 224296741785 0 4 0 16800975 18446604466570558528 0 0 -1 1 0 0 0
[pid=7521/tid=7538] ppid=7519 vsize=8547820 CPUtime=0 cores=1,3,5,7
/proc/7521/task/7538/stat : 7538 (java) S 7519 7521 7521 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947914873 8752967680 35486 33554432000 1073741824 1073778376 140736141761744 18446744073709551615 224296742400 0 4 0 16800975 18446604466570558528 0 0 -1 5 0 0 0
[pid=7521/tid=7539] ppid=7519 vsize=8547820 CPUtime=0 cores=1,3,5,7
/proc/7521/task/7539/stat : 7539 (java) S 7519 7521 7521 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947914900 8752967680 35486 33554432000 1073741824 1073778376 140736141761744 18446744073709551615 224296742400 0 4 0 16800975 18446604466570558528 0 0 -1 5 0 0 0
[pid=7450/tid=7457] ppid=7448 vsize=325088 CPUtime=0 cores=1,3,5,7
/proc/7450/task/7457/stat : 7457 (python) S 7448 7450 7156 0 -1 4202560 25 930 0 0 0 0 0 0 18 0 5 0 947900626 332890112 7438 33554432000 4194304 5683644 140736192762480 18446744073709551615 224296749489 0 0 16781312 33554434 18446604464853850240 0 0 -1 5 0 0 0
[pid=7450/tid=7467] ppid=7448 vsize=325088 CPUtime=0 cores=1,3,5,7
/proc/7450/task/7467/stat : 7467 (python) S 7448 7450 7156 0 -1 4202560 28 930 0 0 0 0 0 0 20 0 5 0 947905632 332890112 7438 33554432000 4194304 5683644 140736192762480 18446744073709551615 224296749489 0 0 16781312 33554434 18446604464853850240 0 0 -1 3 0 0 0
[pid=7450/tid=7493] ppid=7448 vsize=325088 CPUtime=0 cores=1,3,5,7
/proc/7450/task/7493/stat : 7493 (python) S 7448 7450 7156 0 -1 4202560 26 930 0 0 0 0 0 0 20 0 5 0 947910131 332890112 7438 33554432000 4194304 5683644 140736192762480 18446744073709551615 224296749489 0 0 16781312 33554434 18446604464853850240 0 0 -1 5 0 0 0
[pid=7450/tid=7520] ppid=7448 vsize=325088 CPUtime=0 cores=1,3,5,7
/proc/7450/task/7520/stat : 7520 (python) S 7448 7450 7156 0 -1 4202560 24 930 0 0 0 0 0 0 20 0 5 0 947914868 332890112 7438 33554432000 4194304 5683644 140736192762480 18446744073709551615 224296749489 0 0 16781312 33554434 18446604464853850240 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 146.19
Current children cumulated vsize (KiB) 18736700
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+145.202 s]
/proc/loadavg: 2.19 1.68 0.82 8/707 7540
/proc/meminfo: memFree=29721756/32951124 swapFree=33333036/67111528
[pid=7450] ppid=7448 vsize=325088 CPUtime=0.54 cores=1,3,5,7
/proc/7450/stat : 7450 (python) S 7448 7450 7156 0 -1 4202496 12384 930 1 0 44 10 0 0 20 0 5 0 947900430 332890112 7438 33554432000 4194304 5683644 140736192762480 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 131
/proc/7450/statm: 81272 7438 1877 364 0 16150 0
[pid=7456] ppid=7450 vsize=293740 CPUtime=0.29 cores=1,3,5,7
/proc/7456/stat : 7456 (python) S 7450 7450 7156 0 -1 4202560 1097 0 0 0 14 15 0 0 16 0 2 0 947900626 300789760 5822 33554432000 4194304 5683644 140736192762480 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/7456/statm: 73435 5822 407 364 0 8322 0
[pid=7458] ppid=7456 vsize=67064 CPUtime=49.93 cores=1,3,5,7
/proc/7458/stat : 7458 (scip-2.0.1.linu) T 7456 7458 7458 0 -1 4202496 15967 0 0 0 4853 140 0 0 25 0 1 0 947900627 68673536 14511 33554432000 4194304 13684479 140736018812720 18446744073709551615 7430431 0 0 16781312 2 18446744071562691360 0 0 17 7 0 0 0
/proc/7458/statm: 16766 14511 822 2317 0 14444 0
[pid=7456/tid=7465] ppid=7450 vsize=293740 CPUtime=0 cores=1,3,5,7
/proc/7456/task/7465/stat : 7465 (python) S 7450 7450 7156 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 947905630 300789760 5822 33554432000 4194304 5683644 140736192762480 18446744073709551615 224296749489 0 0 16781312 33554946 18446604470983619840 0 0 -1 3 0 0 0
[pid=7466] ppid=7450 vsize=294124 CPUtime=0.23 cores=1,3,5,7
/proc/7466/stat : 7466 (python) S 7450 7450 7156 0 -1 4202560 1104 0 0 0 11 12 0 0 17 0 2 0 947905632 301182976 5911 33554432000 4194304 5683644 140736192762480 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/7466/statm: 73531 5911 397 364 0 8415 0
[pid=7468] ppid=7466 vsize=8538604 CPUtime=45.72 cores=1,3,5,7
/proc/7468/stat : 7468 (java) T 7466 7468 7468 0 -1 4202496 24590 0 1 0 4568 4 0 0 15 0 19 0 947905632 8743530496 22103 33554432000 1073741824 1073778376 140736280645632 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7468/statm: 2134651 22103 2255 9 0 2125392 0
[pid=7468/tid=7469] ppid=7466 vsize=8538604 CPUtime=44.39 cores=1,3,5,7
/proc/7468/task/7469/stat : 7469 (java) T 7466 7468 7468 0 -1 4202560 7706 0 1 0 4438 1 0 0 25 0 19 0 947905633 8743530496 22103 33554432000 1073741824 1073778376 140736280645632 18446744073709551615 46912505694038 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=7468/tid=7470] ppid=7466 vsize=8538604 CPUtime=0.03 cores=1,3,5,7
/proc/7468/task/7470/stat : 7470 (java) T 7466 7468 7468 0 -1 4202560 1264 0 0 0 3 0 0 0 15 0 19 0 947905634 8743530496 22103 33554432000 1073741824 1073778376 140736280645632 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=7468/tid=7471] ppid=7466 vsize=8538604 CPUtime=0.01 cores=1,3,5,7
/proc/7468/task/7471/stat : 7471 (java) T 7466 7468 7468 0 -1 4202560 727 0 0 0 1 0 0 0 15 0 19 0 947905634 8743530496 22103 33554432000 1073741824 1073778376 140736280645632 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=7468/tid=7472] ppid=7466 vsize=8538604 CPUtime=0.03 cores=1,3,5,7
/proc/7468/task/7472/stat : 7472 (java) T 7466 7468 7468 0 -1 4202560 777 0 0 0 3 0 0 0 15 0 19 0 947905634 8743530496 22103 33554432000 1073741824 1073778376 140736280645632 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=7468/tid=7473] ppid=7466 vsize=8538604 CPUtime=0.02 cores=1,3,5,7
/proc/7468/task/7473/stat : 7473 (java) T 7466 7468 7468 0 -1 4202560 312 0 0 0 2 0 0 0 15 0 19 0 947905634 8743530496 22103 33554432000 1073741824 1073778376 140736280645632 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=7468/tid=7474] ppid=7466 vsize=8538604 CPUtime=0.02 cores=1,3,5,7
/proc/7468/task/7474/stat : 7474 (java) T 7466 7468 7468 0 -1 4202560 275 0 0 0 2 0 0 0 15 0 19 0 947905634 8743530496 22103 33554432000 1073741824 1073778376 140736280645632 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=7468/tid=7475] ppid=7466 vsize=8538604 CPUtime=0.02 cores=1,3,5,7
/proc/7468/task/7475/stat : 7475 (java) T 7466 7468 7468 0 -1 4202560 662 0 0 0 2 0 0 0 15 0 19 0 947905634 8743530496 22103 33554432000 1073741824 1073778376 140736280645632 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=7468/tid=7476] ppid=7466 vsize=8538604 CPUtime=0.01 cores=1,3,5,7
/proc/7468/task/7476/stat : 7476 (java) T 7466 7468 7468 0 -1 4202560 27 0 0 0 1 0 0 0 15 0 19 0 947905634 8743530496 22103 33554432000 1073741824 1073778376 140736280645632 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=7468/tid=7477] ppid=7466 vsize=8538604 CPUtime=0.03 cores=1,3,5,7
/proc/7468/task/7477/stat : 7477 (java) T 7466 7468 7468 0 -1 4202560 1349 0 0 0 3 0 0 0 15 0 19 0 947905634 8743530496 22103 33554432000 1073741824 1073778376 140736280645632 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=7468/tid=7478] ppid=7466 vsize=8538604 CPUtime=0.42 cores=1,3,5,7
/proc/7468/task/7478/stat : 7478 (java) T 7466 7468 7468 0 -1 4202560 5182 0 0 0 41 1 0 0 15 0 19 0 947905635 8743530496 22103 33554432000 1073741824 1073778376 140736280645632 18446744073709551615 224296742400 0 0 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=7468/tid=7479] ppid=7466 vsize=8538604 CPUtime=0 cores=1,3,5,7
/proc/7468/task/7479/stat : 7479 (java) T 7466 7468 7468 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947905635 8743530496 22103 33554432000 1073741824 1073778376 140736280645632 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=7468/tid=7480] ppid=7466 vsize=8538604 CPUtime=0 cores=1,3,5,7
/proc/7468/task/7480/stat : 7480 (java) T 7466 7468 7468 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 947905635 8743530496 22103 33554432000 1073741824 1073778376 140736280645632 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=7468/tid=7481] ppid=7466 vsize=8538604 CPUtime=0 cores=1,3,5,7
/proc/7468/task/7481/stat : 7481 (java) T 7466 7468 7468 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947905638 8743530496 22103 33554432000 1073741824 1073778376 140736280645632 18446744073709551615 224296749489 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=7468/tid=7482] ppid=7466 vsize=8538604 CPUtime=0.37 cores=1,3,5,7
/proc/7468/task/7482/stat : 7482 (java) T 7466 7468 7468 0 -1 4202560 1769 0 0 0 37 0 0 0 15 0 19 0 947905638 8743530496 22103 33554432000 1073741824 1073778376 140736280645632 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=7468/tid=7483] ppid=7466 vsize=8538604 CPUtime=0.3 cores=1,3,5,7
/proc/7468/task/7483/stat : 7483 (java) T 7466 7468 7468 0 -1 4202560 3146 0 0 0 30 0 0 0 15 0 19 0 947905638 8743530496 22103 33554432000 1073741824 1073778376 140736280645632 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=7468/tid=7484] ppid=7466 vsize=8538604 CPUtime=0 cores=1,3,5,7
/proc/7468/task/7484/stat : 7484 (java) T 7466 7468 7468 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947905638 8743530496 22103 33554432000 1073741824 1073778376 140736280645632 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=7468/tid=7485] ppid=7466 vsize=8538604 CPUtime=0 cores=1,3,5,7
/proc/7468/task/7485/stat : 7485 (java) T 7466 7468 7468 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 947905638 8743530496 22103 33554432000 1073741824 1073778376 140736280645632 18446744073709551615 224296742400 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=7468/tid=7486] ppid=7466 vsize=8538604 CPUtime=0 cores=1,3,5,7
/proc/7468/task/7486/stat : 7486 (java) T 7466 7468 7468 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 947905665 8743530496 22103 33554432000 1073741824 1073778376 140736280645632 18446744073709551615 224296742400 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=7466/tid=7491] ppid=7450 vsize=294124 CPUtime=0 cores=1,3,5,7
/proc/7466/task/7491/stat : 7491 (python) S 7450 7450 7156 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 947910128 301182976 5911 33554432000 4194304 5683644 140736192762480 18446744073709551615 224296749489 0 0 16781312 33554946 18446604458112623936 0 0 -1 7 0 0 0
[pid=7492] ppid=7450 vsize=304084 CPUtime=0.26 cores=1,3,5,7
/proc/7492/stat : 7492 (python) S 7450 7450 7156 0 -1 4202560 1119 0 0 0 11 15 0 0 17 0 2 0 947910131 311382016 5854 33554432000 4194304 5683644 140736192762480 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/7492/statm: 76021 5854 397 364 0 10902 0
[pid=7494] ppid=7492 vsize=51332 CPUtime=47.33 cores=1,3,5,7
/proc/7494/stat : 7494 (scip-2.0.1.linu) T 7492 7494 7494 0 -1 4202496 78001 0 0 0 4676 57 0 0 18 0 1 0 947910131 52563968 10227 33554432000 4194304 15243407 140733391386208 18446744073709551615 8067071 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/7494/statm: 12833 10227 946 2698 0 10128 0
[pid=7492/tid=7513] ppid=7450 vsize=304084 CPUtime=0 cores=1,3,5,7
/proc/7492/task/7513/stat : 7513 (python) S 7450 7450 7156 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 947914865 311382016 5854 33554432000 4194304 5683644 140736192762480 18446744073709551615 224296749489 0 0 16781312 33554946 18446604467674767552 0 0 -1 7 0 0 0
[pid=7519] ppid=7450 vsize=314844 CPUtime=0 cores=1,3,5,7
/proc/7519/stat : 7519 (python) S 7450 7450 7156 0 -1 4202560 790 0 0 0 0 0 0 0 15 0 1 0 947914868 322400256 5906 33554432000 4194304 5683644 140736192762480 18446744073709551615 224284945990 0 0 16781312 33554946 4294934790 0 0 17 5 0 0 0
/proc/7519/statm: 78711 5906 349 364 0 13589 0
[pid=7521] ppid=7519 vsize=8547820 CPUtime=1.89 cores=1,3,5,7
/proc/7521/stat : 7521 (java) S 7519 7521 7521 0 -1 4202496 40332 0 1 0 184 5 0 0 20 0 19 0 947914868 8752967680 35091 33554432000 1073741824 1073778376 140736141761744 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7521/statm: 2136955 35092 2226 9 0 2127696 0
[pid=7521/tid=7522] ppid=7519 vsize=8547820 CPUtime=0.84 cores=1,3,5,7
/proc/7521/task/7522/stat : 7522 (java) R 7519 7521 7521 0 -1 4202560 25331 0 1 0 82 2 0 0 19 0 19 0 947914869 8752967680 35479 33554432000 1073741824 1073778376 140736141761744 18446744073709551615 46912505822327 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=7521/tid=7523] ppid=7519 vsize=8547820 CPUtime=0 cores=1,3,5,7
/proc/7521/task/7523/stat : 7523 (java) S 7519 7521 7521 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 947914869 8752967680 35479 33554432000 1073741824 1073778376 140736141761744 18446744073709551615 224296741785 0 4 0 16800975 18446604466570558528 0 0 -1 1 0 0 0
[pid=7521/tid=7524] ppid=7519 vsize=8547820 CPUtime=0 cores=1,3,5,7
/proc/7521/task/7524/stat : 7524 (java) S 7519 7521 7521 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 947914869 8752967680 35479 33554432000 1073741824 1073778376 140736141761744 18446744073709551615 224296741785 0 4 0 16800975 18446604466570558528 0 0 -1 1 0 0 0
[pid=7521/tid=7525] ppid=7519 vsize=8547820 CPUtime=0 cores=1,3,5,7
/proc/7521/task/7525/stat : 7525 (java) S 7519 7521 7521 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 947914869 8752967680 35480 33554432000 1073741824 1073778376 140736141761744 18446744073709551615 224296741785 0 4 0 16800975 18446604466570558528 0 0 -1 1 0 0 0
[pid=7521/tid=7526] ppid=7519 vsize=8547820 CPUtime=0 cores=1,3,5,7
/proc/7521/task/7526/stat : 7526 (java) S 7519 7521 7521 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947914869 8752967680 35480 33554432000 1073741824 1073778376 140736141761744 18446744073709551615 224296741785 0 4 0 16800975 18446604466570558528 0 0 -1 7 0 0 0
[pid=7521/tid=7527] ppid=7519 vsize=8547820 CPUtime=0 cores=1,3,5,7
/proc/7521/task/7527/stat : 7527 (java) S 7519 7521 7521 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947914869 8752967680 35480 33554432000 1073741824 1073778376 140736141761744 18446744073709551615 224296741785 0 4 0 16800975 18446604466570558528 0 0 -1 5 0 0 0
[pid=7521/tid=7528] ppid=7519 vsize=8547820 CPUtime=0 cores=1,3,5,7
/proc/7521/task/7528/stat : 7528 (java) S 7519 7521 7521 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947914869 8752967680 35480 33554432000 1073741824 1073778376 140736141761744 18446744073709551615 224296741785 0 4 0 16800975 18446604466570558528 0 0 -1 7 0 0 0
[pid=7521/tid=7529] ppid=7519 vsize=8547820 CPUtime=0 cores=1,3,5,7
/proc/7521/task/7529/stat : 7529 (java) S 7519 7521 7521 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947914869 8752967680 35481 33554432000 1073741824 1073778376 140736141761744 18446744073709551615 224296741785 0 4 0 16800975 18446604466570558528 0 0 -1 5 0 0 0
[pid=7521/tid=7530] ppid=7519 vsize=8547820 CPUtime=0 cores=1,3,5,7
/proc/7521/task/7530/stat : 7530 (java) S 7519 7521 7521 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947914869 8752967680 35481 33554432000 1073741824 1073778376 140736141761744 18446744073709551615 224296741785 0 4 0 16800975 18446604466570558528 0 0 -1 7 0 0 0
[pid=7521/tid=7531] ppid=7519 vsize=8547820 CPUtime=0 cores=1,3,5,7
/proc/7521/task/7531/stat : 7531 (java) S 7519 7521 7521 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 947914870 8752967680 35481 33554432000 1073741824 1073778376 140736141761744 18446744073709551615 224296742400 0 0 0 16800975 18446604466570558528 0 0 -1 1 0 0 0
[pid=7521/tid=7532] ppid=7519 vsize=8547820 CPUtime=0 cores=1,3,5,7
/proc/7521/task/7532/stat : 7532 (java) S 7519 7521 7521 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 947914871 8752967680 35481 33554432000 1073741824 1073778376 140736141761744 18446744073709551615 224296741785 0 4 0 16800975 18446604466570558528 0 0 -1 1 0 0 0
[pid=7521/tid=7533] ppid=7519 vsize=8547820 CPUtime=0 cores=1,3,5,7
/proc/7521/task/7533/stat : 7533 (java) S 7519 7521 7521 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947914871 8752967680 35482 33554432000 1073741824 1073778376 140736141761744 18446744073709551615 224296741785 0 4 0 16800975 18446604466570558528 0 0 -1 1 0 0 0
[pid=7521/tid=7534] ppid=7519 vsize=8547820 CPUtime=0 cores=1,3,5,7
/proc/7521/task/7534/stat : 7534 (java) S 7519 7521 7521 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947914873 8752967680 35482 33554432000 1073741824 1073778376 140736141761744 18446744073709551615 224296749489 0 4 0 16800975 18446604466570558528 0 0 -1 1 0 0 0
[pid=7521/tid=7535] ppid=7519 vsize=8547820 CPUtime=0.48 cores=1,3,5,7
/proc/7521/task/7535/stat : 7535 (java) R 7519 7521 7521 0 -1 4202560 3921 0 0 0 48 0 0 0 25 0 19 0 947914873 8752967680 35482 33554432000 1073741824 1073778376 140736141761744 18446744073709551615 224284619742 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=7521/tid=7536] ppid=7519 vsize=8547820 CPUtime=0.57 cores=1,3,5,7
/proc/7521/task/7536/stat : 7536 (java) R 7519 7521 7521 0 -1 4202560 10071 0 0 0 56 1 0 0 16 0 19 0 947914873 8752967680 35483 33554432000 1073741824 1073778376 140736141761744 18446744073709551615 47021925995616 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=7521/tid=7537] ppid=7519 vsize=8547820 CPUtime=0 cores=1,3,5,7
/proc/7521/task/7537/stat : 7537 (java) S 7519 7521 7521 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947914873 8752967680 35483 33554432000 1073741824 1073778376 140736141761744 18446744073709551615 224296741785 0 4 0 16800975 18446604466570558528 0 0 -1 1 0 0 0
[pid=7521/tid=7538] ppid=7519 vsize=8547820 CPUtime=0 cores=1,3,5,7
/proc/7521/task/7538/stat : 7538 (java) S 7519 7521 7521 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947914873 8752967680 35486 33554432000 1073741824 1073778376 140736141761744 18446744073709551615 224296742400 0 4 0 16800975 18446604466570558528 0 0 -1 5 0 0 0
[pid=7521/tid=7539] ppid=7519 vsize=8547820 CPUtime=0 cores=1,3,5,7
/proc/7521/task/7539/stat : 7539 (java) S 7519 7521 7521 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947914900 8752967680 35486 33554432000 1073741824 1073778376 140736141761744 18446744073709551615 224296742400 0 4 0 16800975 18446604466570558528 0 0 -1 5 0 0 0
[pid=7450/tid=7457] ppid=7448 vsize=325088 CPUtime=0 cores=1,3,5,7
/proc/7450/task/7457/stat : 7457 (python) S 7448 7450 7156 0 -1 4202560 25 930 0 0 0 0 0 0 18 0 5 0 947900626 332890112 7438 33554432000 4194304 5683644 140736192762480 18446744073709551615 224296749489 0 0 16781312 33554434 18446604464853850240 0 0 -1 5 0 0 0
[pid=7450/tid=7467] ppid=7448 vsize=325088 CPUtime=0 cores=1,3,5,7
/proc/7450/task/7467/stat : 7467 (python) S 7448 7450 7156 0 -1 4202560 28 930 0 0 0 0 0 0 20 0 5 0 947905632 332890112 7438 33554432000 4194304 5683644 140736192762480 18446744073709551615 224296749489 0 0 16781312 33554434 18446604464853850240 0 0 -1 3 0 0 0
[pid=7450/tid=7493] ppid=7448 vsize=325088 CPUtime=0 cores=1,3,5,7
/proc/7450/task/7493/stat : 7493 (python) S 7448 7450 7156 0 -1 4202560 26 930 0 0 0 0 0 0 20 0 5 0 947910131 332890112 7438 33554432000 4194304 5683644 140736192762480 18446744073709551615 224296749489 0 0 16781312 33554434 18446604464853850240 0 0 -1 5 0 0 0
[pid=7450/tid=7520] ppid=7448 vsize=325088 CPUtime=0 cores=1,3,5,7
/proc/7450/task/7520/stat : 7520 (python) S 7448 7450 7156 0 -1 4202560 24 930 0 0 0 0 0 0 20 0 5 0 947914868 332890112 7438 33554432000 4194304 5683644 140736192762480 18446744073709551615 224296749489 0 0 16781312 33554434 18446604464853850240 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 146.19
Current children cumulated vsize (KiB) 18736700
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7450 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=450931
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=106983
# CPU time returned by wait4() is 0.557914
# while last known CPU time is 146.19
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 145.285
CPU time (s): 146.19
CPU user time (s): 143.61
CPU system time (s): 2.58
CPU usage (%): 100.623
Max. virtual memory (cumulated for all children) (KiB): 18736700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.450931
system time used= 0.106983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13316
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= 1606
involuntary context switches= 15
runsolver used 0.940856 second user time and 1.9857 second system time
The end