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-3481610-1307578529/watcher-3481610-1307578529 -o /tmp/evaluation-result-3481610-1307578529/solver-3481610-1307578529 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481610-1307578529.opb -seed 395511426 -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.14 2.05 1.84 2/881 32429
/proc/meminfo: memFree=18202820/32950928 swapFree=43925852/67111528
[pid=32429] ppid=32427 vsize=16532 CPUtime=0.01 cores=0,2,4,6
/proc/32429/stat : 32429 (python) R 32427 32429 30488 0 -1 4202496 1185 0 0 0 1 0 0 0 25 0 1 0 869451768 16928768 1045 33554432000 4194304 5683644 140733605322496 18446744073709551615 268272684901 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/32429/statm: 4133 1045 417 364 0 620 0
[startup+0.092736 s]
/proc/loadavg: 2.14 2.05 1.84 2/881 32429
/proc/meminfo: memFree=18202820/32950928 swapFree=43925852/67111528
[pid=32429] ppid=32427 vsize=96128 CPUtime=0.07 cores=0,2,4,6
/proc/32429/stat : 32429 (python) S 32427 32429 30488 0 -1 4202496 3036 467 1 0 5 2 0 0 18 0 1 0 869451768 98435072 2484 33554432000 4194304 5683644 140733605322496 18446744073709551615 268272688896 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/32429/statm: 24032 2484 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.114517 s]
/proc/loadavg: 2.14 2.05 1.84 2/881 32429
/proc/meminfo: memFree=18202820/32950928 swapFree=43925852/67111528
[pid=32429] ppid=32427 vsize=96124 CPUtime=0.09 cores=0,2,4,6
/proc/32429/stat : 32429 (python) S 32427 32429 30488 0 -1 4202496 3243 931 1 0 7 2 0 0 18 0 1 0 869451768 98430976 2483 33554432000 4194304 5683644 140733605322496 18446744073709551615 268272687104 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/32429/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 96124
[startup+0.300789 s]
/proc/loadavg: 2.14 2.05 1.84 2/881 32429
/proc/meminfo: memFree=18202820/32950928 swapFree=43925852/67111528
[pid=32429] ppid=32427 vsize=203276 CPUtime=0.23 cores=0,2,4,6
/proc/32429/stat : 32429 (python) S 32427 32429 30488 0 -1 4202496 6733 931 1 0 18 5 0 0 17 0 1 0 869451768 208154624 5009 33554432000 4194304 5683644 140733605322496 18446744073709551615 268272687104 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/32429/statm: 50819 5009 1472 364 0 3781 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 203276
[startup+0.700692 s]
/proc/loadavg: 2.14 2.05 1.84 2/881 32429
/proc/meminfo: memFree=18202820/32950928 swapFree=43925852/67111528
[pid=32429] ppid=32427 vsize=293452 CPUtime=0.45 cores=0,2,4,6
/proc/32429/stat : 32429 (python) S 32427 32429 30488 0 -1 4202496 10747 1325 1 0 36 9 0 0 20 0 2 0 869451768 300494848 7214 33554432000 4194304 5683644 140733605322496 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/32429/statm: 73363 7214 1863 364 0 8250 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 293452
[startup+1.50055 s]
/proc/loadavg: 2.14 2.05 1.84 3/885 32438
/proc/meminfo: memFree=18145376/32950928 swapFree=43925852/67111528
[pid=32429] ppid=32427 vsize=293452 CPUtime=0.45 cores=0,2,4,6
/proc/32429/stat : 32429 (python) S 32427 32429 30488 0 -1 4202496 10747 1325 1 0 36 9 0 0 20 0 2 0 869451768 300494848 7214 33554432000 4194304 5683644 140733605322496 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/32429/statm: 73363 7214 1863 364 0 8250 0
[pid=32436] ppid=32429 vsize=283208 CPUtime=0 cores=0,2,4,6
/proc/32436/stat : 32436 (python) S 32429 32429 30488 0 -1 4202560 847 0 0 0 0 0 0 0 15 0 1 0 869451822 290004992 5672 33554432000 4194304 5683644 140733605322496 18446744073709551615 268272709135 0 0 16781312 33554946 3006918745802145792 0 0 17 6 0 0 0
/proc/32436/statm: 70802 5672 325 364 0 5689 0
[pid=32438] ppid=32436 vsize=44836 CPUtime=0.95 cores=0,2,4,6
/proc/32438/stat : 32438 (scip-2.0.1.linu) R 32436 32438 32438 0 -1 4202496 9936 0 0 0 89 6 0 0 18 0 1 0 869451822 45912064 8923 33554432000 4194304 13684479 140735831825200 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/32438/statm: 11209 8923 840 2317 0 8887 0
[pid=32429/tid=32437] ppid=32427 vsize=293452 CPUtime=0 cores=0,2,4,6
/proc/32429/task/32437/stat : 32437 (python) S 32427 32429 30488 0 -1 4202560 28 1325 0 0 0 0 0 0 20 0 2 0 869451822 300494848 7214 33554432000 4194304 5683644 140733605322496 18446744073709551615 268284512689 0 0 16781312 33554434 18446604448860985536 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 621496
[startup+3.10114 s]
/proc/loadavg: 2.29 2.09 1.85 3/885 32438
/proc/meminfo: memFree=18138812/32950928 swapFree=43925852/67111528
[pid=32429] ppid=32427 vsize=293452 CPUtime=0.45 cores=0,2,4,6
/proc/32429/stat : 32429 (python) S 32427 32429 30488 0 -1 4202496 10747 1325 1 0 36 9 0 0 20 0 2 0 869451768 300494848 7214 33554432000 4194304 5683644 140733605322496 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/32429/statm: 73363 7214 1863 364 0 8250 0
[pid=32436] ppid=32429 vsize=283208 CPUtime=0 cores=0,2,4,6
/proc/32436/stat : 32436 (python) S 32429 32429 30488 0 -1 4202560 847 0 0 0 0 0 0 0 15 0 1 0 869451822 290004992 5672 33554432000 4194304 5683644 140733605322496 18446744073709551615 268272709135 0 0 16781312 33554946 3006918745802145792 0 0 17 6 0 0 0
/proc/32436/statm: 70802 5672 325 364 0 5689 0
[pid=32438] ppid=32436 vsize=47420 CPUtime=2.54 cores=0,2,4,6
/proc/32438/stat : 32438 (scip-2.0.1.linu) R 32436 32438 32438 0 -1 4202496 10732 0 0 0 244 10 0 0 20 0 1 0 869451822 48558080 9682 33554432000 4194304 13684479 140735831825200 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/32438/statm: 11855 9682 841 2317 0 9533 0
[pid=32429/tid=32437] ppid=32427 vsize=293452 CPUtime=0 cores=0,2,4,6
/proc/32429/task/32437/stat : 32437 (python) S 32427 32429 30488 0 -1 4202560 28 1325 0 0 0 0 0 0 20 0 2 0 869451822 300494848 7214 33554432000 4194304 5683644 140733605322496 18446744073709551615 268284512689 0 0 16781312 33554434 18446604448860985536 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 624080
[startup+6.30069 s]
/proc/loadavg: 2.29 2.09 1.85 3/885 32438
/proc/meminfo: memFree=18140248/32950928 swapFree=43925852/67111528
[pid=32429] ppid=32427 vsize=293452 CPUtime=0.45 cores=0,2,4,6
/proc/32429/stat : 32429 (python) S 32427 32429 30488 0 -1 4202496 10747 1325 1 0 36 9 0 0 20 0 2 0 869451768 300494848 7214 33554432000 4194304 5683644 140733605322496 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/32429/statm: 73363 7214 1863 364 0 8250 0
[pid=32436] ppid=32429 vsize=283208 CPUtime=0.02 cores=0,2,4,6
/proc/32436/stat : 32436 (python) S 32429 32429 30488 0 -1 4202560 982 0 0 0 1 1 0 0 15 0 1 0 869451822 290004992 5695 33554432000 4194304 5683644 140733605322496 18446744073709551615 268272709135 0 0 16781312 33554946 482391407923822592 0 0 17 6 0 0 0
/proc/32436/statm: 70802 5695 348 364 0 5689 0
[pid=32438] ppid=32436 vsize=48244 CPUtime=5.75 cores=0,2,4,6
/proc/32438/stat : 32438 (scip-2.0.1.linu) R 32436 32438 32438 0 -1 4202496 10874 0 0 0 560 15 0 0 25 0 1 0 869451822 49401856 9824 33554432000 4194304 13684479 140735831825200 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/32438/statm: 12061 9824 842 2317 0 9739 0
[pid=32429/tid=32437] ppid=32427 vsize=293452 CPUtime=0 cores=0,2,4,6
/proc/32429/task/32437/stat : 32437 (python) S 32427 32429 30488 0 -1 4202560 28 1325 0 0 0 0 0 0 20 0 2 0 869451822 300494848 7214 33554432000 4194304 5683644 140733605322496 18446744073709551615 268284512689 0 0 16781312 33554434 18446604448860985536 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 624904
[startup+12.7006 s]
/proc/loadavg: 2.24 2.08 1.85 3/885 32438
/proc/meminfo: memFree=18133648/32950928 swapFree=43925852/67111528
[pid=32429] ppid=32427 vsize=293452 CPUtime=0.45 cores=0,2,4,6
/proc/32429/stat : 32429 (python) S 32427 32429 30488 0 -1 4202496 10747 1325 1 0 36 9 0 0 20 0 2 0 869451768 300494848 7214 33554432000 4194304 5683644 140733605322496 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/32429/statm: 73363 7214 1863 364 0 8250 0
[pid=32436] ppid=32429 vsize=283208 CPUtime=0.04 cores=0,2,4,6
/proc/32436/stat : 32436 (python) S 32429 32429 30488 0 -1 4202560 986 0 0 0 2 2 0 0 15 0 1 0 869451822 290004992 5695 33554432000 4194304 5683644 140733605322496 18446744073709551615 268272709135 0 0 16781312 33554946 4294934785 0 0 17 6 0 0 0
/proc/32436/statm: 70802 5695 348 364 0 5689 0
[pid=32438] ppid=32436 vsize=48244 CPUtime=12.15 cores=0,2,4,6
/proc/32438/stat : 32438 (scip-2.0.1.linu) R 32436 32438 32438 0 -1 4202496 10874 0 0 0 1192 23 0 0 25 0 1 0 869451822 49401856 9824 33554432000 4194304 13684479 140735831825200 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/32438/statm: 12061 9824 842 2317 0 9739 0
[pid=32429/tid=32437] ppid=32427 vsize=293452 CPUtime=0 cores=0,2,4,6
/proc/32429/task/32437/stat : 32437 (python) S 32427 32429 30488 0 -1 4202560 28 1325 0 0 0 0 0 0 20 0 2 0 869451822 300494848 7214 33554432000 4194304 5683644 140733605322496 18446744073709551615 268284512689 0 0 16781312 33554434 18446604448860985536 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 624904
[startup+25.5012 s]
/proc/loadavg: 2.21 2.08 1.85 3/885 32439
/proc/meminfo: memFree=18118036/32950928 swapFree=43925852/67111528
[pid=32429] ppid=32427 vsize=293452 CPUtime=0.45 cores=0,2,4,6
/proc/32429/stat : 32429 (python) S 32427 32429 30488 0 -1 4202496 10747 1325 1 0 36 9 0 0 20 0 2 0 869451768 300494848 7214 33554432000 4194304 5683644 140733605322496 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/32429/statm: 73363 7214 1863 364 0 8250 0
[pid=32436] ppid=32429 vsize=283208 CPUtime=0.13 cores=0,2,4,6
/proc/32436/stat : 32436 (python) S 32429 32429 30488 0 -1 4202560 994 0 0 0 6 7 0 0 15 0 1 0 869451822 290004992 5695 33554432000 4194304 5683644 140733605322496 18446744073709551615 268272709135 0 0 16781312 33554946 2498989402206765056 0 0 17 6 0 0 0
/proc/32436/statm: 70802 5695 348 364 0 5689 0
[pid=32438] ppid=32436 vsize=48244 CPUtime=24.95 cores=0,2,4,6
/proc/32438/stat : 32438 (scip-2.0.1.linu) R 32436 32438 32438 0 -1 4202496 10880 0 0 0 2459 36 0 0 25 0 1 0 869451822 49401856 9830 33554432000 4194304 13684479 140735831825200 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/32438/statm: 12061 9830 843 2317 0 9739 0
[pid=32429/tid=32437] ppid=32427 vsize=293452 CPUtime=0 cores=0,2,4,6
/proc/32429/task/32437/stat : 32437 (python) S 32427 32429 30488 0 -1 4202560 28 1325 0 0 0 0 0 0 20 0 2 0 869451822 300494848 7214 33554432000 4194304 5683644 140733605322496 18446744073709551615 268284512689 0 0 16781312 33554434 18446604448860985536 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 624904
[startup+51.1016 s]
/proc/loadavg: 2.26 2.10 1.87 3/911 32466
/proc/meminfo: memFree=17374924/32950928 swapFree=43925852/67111528
[pid=32429] ppid=32427 vsize=304184 CPUtime=0.48 cores=0,2,4,6
/proc/32429/stat : 32429 (python) S 32427 32429 30488 0 -1 4202496 11628 1325 1 0 38 10 0 0 20 0 3 0 869451768 311484416 7337 33554432000 4194304 5683644 140733605322496 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/32429/statm: 76046 7337 1866 364 0 10930 0
[pid=32436] ppid=32429 vsize=293452 CPUtime=0.29 cores=0,2,4,6
/proc/32436/stat : 32436 (python) S 32429 32429 30488 0 -1 4202560 1175 0 0 0 13 16 0 0 17 0 2 0 869451822 300494848 5763 33554432000 4194304 5683644 140733605322496 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/32436/statm: 73363 5763 411 364 0 8250 0
[pid=32438] ppid=32436 vsize=48244 CPUtime=48.09 cores=0,2,4,6
/proc/32438/stat : 32438 (scip-2.0.1.linu) T 32436 32438 32438 0 -1 4202496 10882 0 0 0 4743 66 0 0 25 0 1 0 869451822 49401856 9832 33554432000 4194304 13684479 140735831825200 18446744073709551615 7398147 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/32438/statm: 12061 9832 843 2317 0 9739 0
[pid=32436/tid=32444] ppid=32429 vsize=293452 CPUtime=0 cores=0,2,4,6
/proc/32436/task/32444/stat : 32444 (python) S 32429 32429 30488 0 -1 4202560 41 0 0 0 0 0 0 0 17 0 2 0 869456632 300494848 5763 33554432000 4194304 5683644 140733605322496 18446744073709551615 268284512689 0 0 16781312 33554946 18446604447121024128 0 0 -1 6 0 0 0
[pid=32445] ppid=32429 vsize=293940 CPUtime=0 cores=0,2,4,6
/proc/32445/stat : 32445 (python) S 32429 32429 30488 0 -1 4202560 765 0 0 0 0 0 0 0 15 0 1 0 869456635 300994560 5787 33554432000 4194304 5683644 140733605322496 18446744073709551615 268272709190 0 0 16781312 33554946 4294934786 0 0 17 6 0 0 0
/proc/32445/statm: 73485 5787 320 364 0 8369 0
[pid=32447] ppid=32445 vsize=8538588 CPUtime=3.07 cores=0,2,4,6
/proc/32447/stat : 32447 (java) S 32445 32447 32447 0 -1 4202496 29373 0 1 0 303 4 0 0 20 0 19 0 869456635 8743514112 27104 33554432000 1073741824 1073778376 140734901417024 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/32447/statm: 2134647 27104 2241 9 0 2125388 0
[pid=32447/tid=32448] ppid=32445 vsize=8538588 CPUtime=2.34 cores=0,2,4,6
/proc/32447/task/32448/stat : 32448 (java) R 32445 32447 32447 0 -1 4202560 21741 0 1 0 232 2 0 0 25 0 19 0 869456636 8743514112 27104 33554432000 1073741824 1073778376 140734901417024 18446744073709551615 46912505640911 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32447/tid=32449] ppid=32445 vsize=8538588 CPUtime=0 cores=0,2,4,6
/proc/32447/task/32449/stat : 32449 (java) S 32445 32447 32447 0 -1 4202560 181 0 0 0 0 0 0 0 15 0 19 0 869456636 8743514112 27104 33554432000 1073741824 1073778376 140734901417024 18446744073709551615 268284504985 0 4 0 16800975 18446604447629285248 0 0 -1 6 0 0 0
[pid=32447/tid=32450] ppid=32445 vsize=8538588 CPUtime=0 cores=0,2,4,6
/proc/32447/task/32450/stat : 32450 (java) S 32445 32447 32447 0 -1 4202560 161 0 0 0 0 0 0 0 15 0 19 0 869456636 8743514112 27104 33554432000 1073741824 1073778376 140734901417024 18446744073709551615 268284504985 0 4 0 16800975 18446604447629285248 0 0 -1 6 0 0 0
[pid=32447/tid=32451] ppid=32445 vsize=8538588 CPUtime=0 cores=0,2,4,6
/proc/32447/task/32451/stat : 32451 (java) S 32445 32447 32447 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869456636 8743514112 27104 33554432000 1073741824 1073778376 140734901417024 18446744073709551615 268284504985 0 4 0 16800975 18446604447629285248 0 0 -1 6 0 0 0
[pid=32447/tid=32452] ppid=32445 vsize=8538588 CPUtime=0 cores=0,2,4,6
/proc/32447/task/32452/stat : 32452 (java) S 32445 32447 32447 0 -1 4202560 326 0 0 0 0 0 0 0 16 0 19 0 869456636 8743514112 27104 33554432000 1073741824 1073778376 140734901417024 18446744073709551615 268284504985 0 4 0 16800975 18446604447629285248 0 0 -1 6 0 0 0
[pid=32447/tid=32453] ppid=32445 vsize=8538588 CPUtime=0 cores=0,2,4,6
/proc/32447/task/32453/stat : 32453 (java) S 32445 32447 32447 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 869456636 8743514112 27104 33554432000 1073741824 1073778376 140734901417024 18446744073709551615 268284504985 0 4 0 16800975 18446604447629285248 0 0 -1 6 0 0 0
[pid=32447/tid=32454] ppid=32445 vsize=8538588 CPUtime=0 cores=0,2,4,6
/proc/32447/task/32454/stat : 32454 (java) S 32445 32447 32447 0 -1 4202560 24 0 0 0 0 0 0 0 15 0 19 0 869456636 8743514112 27104 33554432000 1073741824 1073778376 140734901417024 18446744073709551615 268284504985 0 4 0 16800975 18446604447629285248 0 0 -1 6 0 0 0
[pid=32447/tid=32455] ppid=32445 vsize=8538588 CPUtime=0 cores=0,2,4,6
/proc/32447/task/32455/stat : 32455 (java) S 32445 32447 32447 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869456636 8743514112 27104 33554432000 1073741824 1073778376 140734901417024 18446744073709551615 268284504985 0 4 0 16800975 18446604447629285248 0 0 -1 6 0 0 0
[pid=32447/tid=32456] ppid=32445 vsize=8538588 CPUtime=0 cores=0,2,4,6
/proc/32447/task/32456/stat : 32456 (java) S 32445 32447 32447 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869456636 8743514112 27104 33554432000 1073741824 1073778376 140734901417024 18446744073709551615 268284504985 0 4 0 16800975 18446604447629285248 0 0 -1 0 0 0 0
[pid=32447/tid=32457] ppid=32445 vsize=8538588 CPUtime=0.03 cores=0,2,4,6
/proc/32447/task/32457/stat : 32457 (java) S 32445 32447 32447 0 -1 4202560 628 0 0 0 3 0 0 0 15 0 19 0 869456637 8743514112 27104 33554432000 1073741824 1073778376 140734901417024 18446744073709551615 268284505600 0 0 0 16800975 18446604447629285248 0 0 -1 0 0 0 0
[pid=32447/tid=32458] ppid=32445 vsize=8538588 CPUtime=0 cores=0,2,4,6
/proc/32447/task/32458/stat : 32458 (java) S 32445 32447 32447 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869456638 8743514112 27104 33554432000 1073741824 1073778376 140734901417024 18446744073709551615 268284504985 0 4 0 16800975 18446604447629285248 0 0 -1 6 0 0 0
[pid=32447/tid=32459] ppid=32445 vsize=8538588 CPUtime=0 cores=0,2,4,6
/proc/32447/task/32459/stat : 32459 (java) S 32445 32447 32447 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869456638 8743514112 27104 33554432000 1073741824 1073778376 140734901417024 18446744073709551615 268284504985 0 4 0 16800975 18446604447629285248 0 0 -1 6 0 0 0
[pid=32447/tid=32460] ppid=32445 vsize=8538588 CPUtime=0 cores=0,2,4,6
/proc/32447/task/32460/stat : 32460 (java) S 32445 32447 32447 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869456640 8743514112 27104 33554432000 1073741824 1073778376 140734901417024 18446744073709551615 268284512689 0 4 0 16800975 18446604447629285248 0 0 -1 6 0 0 0
[pid=32447/tid=32461] ppid=32445 vsize=8538588 CPUtime=0.27 cores=0,2,4,6
/proc/32447/task/32461/stat : 32461 (java) S 32445 32447 32447 0 -1 4202560 2312 0 0 0 27 0 0 0 15 0 19 0 869456640 8743514112 27104 33554432000 1073741824 1073778376 140734901417024 18446744073709551615 268284504985 0 4 0 16800975 18446604447629285248 0 0 -1 6 0 0 0
[pid=32447/tid=32462] ppid=32445 vsize=8538588 CPUtime=0.38 cores=0,2,4,6
/proc/32447/task/32462/stat : 32462 (java) S 32445 32447 32447 0 -1 4202560 2596 0 0 0 38 0 0 0 15 0 19 0 869456640 8743514112 27104 33554432000 1073741824 1073778376 140734901417024 18446744073709551615 268284504985 0 4 0 16800975 18446604447629285248 0 0 -1 2 0 0 0
[pid=32447/tid=32463] ppid=32445 vsize=8538588 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[pid=32429/tid=32446] ppid=32427 vsize=345068 CPUtime=0 cores=0,2,4,6
/proc/32429/task/32446/stat : 32446 (python) S 32427 32429 30488 0 -1 4202560 31 1325 0 0 0 0 0 0 20 0 7 0 869456635 353349632 7324 33554432000 4194304 5683644 140733605322496 18446744073709551615 268284512689 0 0 16781312 33554434 18446604448860985536 0 0 -1 0 0 0 0
[pid=32429/tid=32492] ppid=32427 vsize=345068 CPUtime=0 cores=0,2,4,6
/proc/32429/task/32492/stat : 32492 (python) S 32427 32429 30488 0 -1 4202560 31 1325 0 0 0 0 0 0 20 0 7 0 869461258 353349632 7324 33554432000 4194304 5683644 140733605322496 18446744073709551615 268284512689 0 0 16781312 33554434 18446604448860985536 0 0 -1 6 0 0 0
[pid=32429/tid=32502] ppid=32427 vsize=345068 CPUtime=0 cores=0,2,4,6
/proc/32429/task/32502/stat : 32502 (python) S 32427 32429 30488 0 -1 4202560 34 1325 0 0 0 0 0 0 20 0 7 0 869470911 353349632 7324 33554432000 4194304 5683644 140733605322496 18446744073709551615 268284512689 0 0 16781312 33554434 18446604448860985536 0 0 -1 2 0 0 0
[pid=32429/tid=32571] ppid=32427 vsize=345068 CPUtime=0 cores=0,2,4,6
/proc/32429/task/32571/stat : 32571 (python) S 32427 32429 30488 0 -1 4202560 27 1325 0 0 0 0 0 0 20 0 7 0 869480386 353349632 7324 33554432000 4194304 5683644 140733605322496 18446744073709551615 268284512689 0 0 16781312 33554434 18446604448860985536 0 0 -1 6 0 0 0
[pid=32429/tid=32576] ppid=32427 vsize=345068 CPUtime=0 cores=0,2,4,6
/proc/32429/task/32576/stat : 32576 (python) S 32427 32429 30488 0 -1 4202560 29 1325 0 0 0 0 0 0 18 0 7 0 869485169 353349632 7324 33554432000 4194304 5683644 140733605322496 18446744073709551615 268284512689 0 0 16781312 33554434 18446604448860985536 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 337.59
Current children cumulated vsize (KiB) 19540468
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+334.302 s]
/proc/loadavg: 1.99 2.07 1.91 7/988 32616
/proc/meminfo: memFree=13562356/32950928 swapFree=43925852/67111528
[pid=32429] ppid=32427 vsize=345068 CPUtime=0.61 cores=0,2,4,6
/proc/32429/stat : 32429 (python) S 32427 32429 30488 0 -1 4202496 15325 1325 1 0 51 10 0 0 19 0 7 0 869451768 353349632 7324 33554432000 4194304 5683644 140733605322496 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/32429/statm: 86267 7324 1883 364 0 21139 0
[pid=32436] ppid=32429 vsize=293452 CPUtime=0.58 cores=0,2,4,6
/proc/32436/stat : 32436 (python) S 32429 32429 30488 0 -1 4202560 1205 0 0 0 27 31 0 0 15 0 2 0 869451822 300494848 5764 33554432000 4194304 5683644 140733605322496 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/32436/statm: 73363 5764 412 364 0 8250 0
[pid=32438] ppid=32436 vsize=48244 CPUtime=92.8 cores=0,2,4,6
/proc/32438/stat : 32438 (scip-2.0.1.linu) T 32436 32438 32438 0 -1 4202496 10883 0 0 0 9153 127 0 0 18 0 1 0 869451822 49401856 9833 33554432000 4194304 13684479 140735831825200 18446744073709551615 7399101 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/32438/statm: 12061 9833 843 2317 0 9739 0
[pid=32436/tid=32444] ppid=32429 vsize=293452 CPUtime=0 cores=0,2,4,6
/proc/32436/task/32444/stat : 32444 (python) S 32429 32429 30488 0 -1 4202560 42 0 0 0 0 0 0 0 15 0 2 0 869456632 300494848 5764 33554432000 4194304 5683644 140733605322496 18446744073709551615 268284512689 0 0 16781312 33554946 18446604447121024128 0 0 -1 6 0 0 0
[pid=32445] ppid=32429 vsize=293940 CPUtime=0.3 cores=0,2,4,6
/proc/32445/stat : 32445 (python) S 32429 32429 30488 0 -1 4202560 1122 0 0 0 16 14 0 0 16 0 2 0 869456635 300994560 5859 33554432000 4194304 5683644 140733605322496 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/32445/statm: 73485 5859 391 364 0 8369 0
[pid=32447] ppid=32445 vsize=8538588 CPUtime=47.33 cores=0,2,4,6
/proc/32447/stat : 32447 (java) T 32445 32447 32447 0 -1 4202496 36905 0 1 0 4726 7 0 0 18 0 19 0 869456635 8743514112 34156 33554432000 1073741824 1073778376 140734901417024 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/32447/statm: 2134647 34156 2242 9 0 2125388 0
[pid=32447/tid=32448] ppid=32445 vsize=8538588 CPUtime=44.55 cores=0,2,4,6
/proc/32447/task/32448/stat : 32448 (java) T 32445 32447 32447 0 -1 4202560 28342 0 1 0 4452 3 0 0 25 0 19 0 869456636 8743514112 34156 33554432000 1073741824 1073778376 140734901417024 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=32447/tid=32449] ppid=32445 vsize=8538588 CPUtime=0.11 cores=0,2,4,6
/proc/32447/task/32449/stat : 32449 (java) T 32445 32447 32447 0 -1 4202560 193 0 0 0 11 0 0 0 15 0 19 0 869456636 8743514112 34156 33554432000 1073741824 1073778376 140734901417024 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=32447/tid=32450] ppid=32445 vsize=8538588 CPUtime=0.12 cores=0,2,4,6
/proc/32447/task/32450/stat : 32450 (java) T 32445 32447 32447 0 -1 4202560 177 0 0 0 12 0 0 0 15 0 19 0 869456636 8743514112 34156 33554432000 1073741824 1073778376 140734901417024 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=32447/tid=32451] ppid=32445 vsize=8538588 CPUtime=0.1 cores=0,2,4,6
/proc/32447/task/32451/stat : 32451 (java) T 32445 32447 32447 0 -1 4202560 18 0 0 0 10 0 0 0 15 0 19 0 869456636 8743514112 34156 33554432000 1073741824 1073778376 140734901417024 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=32447/tid=32452] ppid=32445 vsize=8538588 CPUtime=0.1 cores=0,2,4,6
/proc/32447/task/32452/stat : 32452 (java) T 32445 32447 32447 0 -1 4202560 327 0 0 0 10 0 0 0 15 0 19 0 869456636 8743514112 34156 33554432000 1073741824 1073778376 140734901417024 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=32447/tid=32453] ppid=32445 vsize=8538588 CPUtime=0.11 cores=0,2,4,6
/proc/32447/task/32453/stat : 32453 (java) T 32445 32447 32447 0 -1 4202560 23 0 0 0 11 0 0 0 15 0 19 0 869456636 8743514112 34156 33554432000 1073741824 1073778376 140734901417024 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=32447/tid=32454] ppid=32445 vsize=8538588 CPUtime=0.1 cores=0,2,4,6
/proc/32447/task/32454/stat : 32454 (java) T 32445 32447 32447 0 -1 4202560 40 0 0 0 10 0 0 0 15 0 19 0 869456636 8743514112 34156 33554432000 1073741824 1073778376 140734901417024 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=32447/tid=32455] ppid=32445 vsize=8538588 CPUtime=0.11 cores=0,2,4,6
/proc/32447/task/32455/stat : 32455 (java) T 32445 32447 32447 0 -1 4202560 17 0 0 0 11 0 0 0 15 0 19 0 869456636 8743514112 34156 33554432000 1073741824 1073778376 140734901417024 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=32447/tid=32456] ppid=32445 vsize=8538588 CPUtime=0.06 cores=0,2,4,6
/proc/32447/task/32456/stat : 32456 (java) T 32445 32447 32447 0 -1 4202560 19 0 0 0 6 0 0 0 15 0 19 0 869456636 8743514112 34156 33554432000 1073741824 1073778376 140734901417024 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=32447/tid=32457] ppid=32445 vsize=8538588 CPUtime=1.18 cores=0,2,4,6
/proc/32447/task/32457/stat : 32457 (java) T 32445 32447 32447 0 -1 4202560 1207 0 0 0 117 1 0 0 15 0 19 0 869456637 8743514112 34156 33554432000 1073741824 1073778376 140734901417024 18446744073709551615 47561387770229 0 0 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=32447/tid=32458] ppid=32445 vsize=8538588 CPUtime=0 cores=0,2,4,6
/proc/32447/task/32458/stat : 32458 (java) T 32445 32447 32447 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869456638 8743514112 34156 33554432000 1073741824 1073778376 140734901417024 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=32447/tid=32459] ppid=32445 vsize=8538588 CPUtime=0 cores=0,2,4,6
/proc/32447/task/32459/stat : 32459 (java) T 32445 32447 32447 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869456638 8743514112 34156 33554432000 1073741824 1073778376 140734901417024 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=32447/tid=32460] ppid=32445 vsize=8538588 CPUtime=0 cores=0,2,4,6
/proc/32447/task/32460/stat : 32460 (java) T 32445 32447 32447 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869456640 8743514112 34156 33554432000 1073741824 1073778376 140734901417024 18446744073709551615 268284512689 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=32447/tid=32461] ppid=32445 vsize=8538588 CPUtime=0.27 cores=0,2,4,6
/proc/32447/task/32461/stat : 32461 (java) T 32445 32447 32447 0 -1 4202560 2312 0 0 0 27 0 0 0 15 0 19 0 869456640 8743514112 34156 33554432000 1073741824 1073778376 140734901417024 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=32447/tid=32462] ppid=32445 vsize=8538588 CPUtime=0.42 cores=0,2,4,6
/proc/32447/task/32462/stat : 32462 (java) T 32445 32447 32447 0 -1 4202560 2834 0 0 0 42 0 0 0 15 0 19 0 869456640 8743514112 34156 33554432000 1073741824 1073778376 140734901417024 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=32447/tid=32463] ppid=32445 vsize=8538588 CPUtime=0 cores=0,2,4,6
/proc/32447/task/32463/stat : 32463 (java) T 32445 32447 32447 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869456640 8743514112 34156 33554432000 1073741824 1073778376 140734901417024 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=32447/tid=32464] ppid=32445 vsize=8538588 CPUtime=0 cores=0,2,4,6
/proc/32447/task/32464/stat : 32464 (java) T 32445 32447 32447 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869456640 8743514112 34156 33554432000 1073741824 1073778376 140734901417024 18446744073709551615 268284505600 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=32447/tid=32465] ppid=32445 vsize=8538588 CPUtime=0 cores=0,2,4,6
/proc/32447/task/32465/stat : 32465 (java) T 32445 32447 32447 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869456658 8743514112 34156 33554432000 1073741824 1073778376 140734901417024 18446744073709551615 268284505600 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=32445/tid=32490] ppid=32429 vsize=293940 CPUtime=0 cores=0,2,4,6
/proc/32445/task/32490/stat : 32490 (python) S 32429 32429 30488 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869461255 300994560 5859 33554432000 4194304 5683644 140733605322496 18446744073709551615 268284512689 0 0 16781312 33554946 18446604446075000640 0 0 -1 6 0 0 0
[pid=32491] ppid=32429 vsize=303896 CPUtime=0.59 cores=0,2,4,6
/proc/32491/stat : 32491 (python) S 32429 32429 30488 0 -1 4202560 1161 0 0 0 31 28 0 0 17 0 2 0 869461258 311189504 5786 33554432000 4194304 5683644 140733605322496 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/32491/statm: 75974 5786 391 364 0 10855 0
[pid=32493] ppid=32491 vsize=62652 CPUtime=96.49 cores=0,2,4,6
/proc/32493/stat : 32493 (scip-2.0.1.linu) T 32491 32493 32493 0 -1 4202496 25142 0 0 0 9562 87 0 0 25 0 1 0 869461258 64155648 12759 33554432000 4194304 15243407 140733440810544 18446744073709551615 8113497 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/32493/statm: 15663 12759 959 2698 0 12958 0
[pid=32491/tid=32500] ppid=32429 vsize=303896 CPUtime=0 cores=0,2,4,6
/proc/32491/task/32500/stat : 32500 (python) S 32429 32429 30488 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 869470908 311189504 5786 33554432000 4194304 5683644 140733605322496 18446744073709551615 268284512689 0 0 16781312 33554946 18446604450919180352 0 0 -1 4 0 0 0
[pid=32501] ppid=32429 vsize=314596 CPUtime=0.29 cores=0,2,4,6
/proc/32501/stat : 32501 (python) S 32429 32429 30488 0 -1 4202560 1151 0 0 0 14 15 0 0 16 0 2 0 869470910 322146304 5887 33554432000 4194304 5683644 140733605322496 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/32501/statm: 78649 5887 391 364 0 13527 0
[pid=32503] ppid=32501 vsize=100596 CPUtime=49.98 cores=0,2,4,6
/proc/32503/stat : 32503 (wbo1.4a) T 32501 32503 32503 0 -1 4202496 24980 0 0 0 4957 41 0 0 25 0 1 0 869470911 103010304 24697 33554432000 134512640 135751879 4287887328 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/32503/statm: 25149 24697 146 303 0 24844 0
[pid=32501/tid=32564] ppid=32429 vsize=314596 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32564/stat : 32564 (python) S 32429 32429 30488 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 869475910 322146304 5887 33554432000 4194304 5683644 140733605322496 18446744073709551615 268284512689 0 0 16781312 33554946 18446604449351337792 0 0 -1 0 0 0 0
[pid=32570] ppid=32429 vsize=325008 CPUtime=0.26 cores=0,2,4,6
/proc/32570/stat : 32570 (python) S 32429 32429 30488 0 -1 4202560 1144 0 0 0 13 13 0 0 16 0 2 0 869480386 332808192 5930 33554432000 4194304 5683644 140733605322496 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/32570/statm: 81252 5930 391 364 0 16127 0
[pid=32572] ppid=32570 vsize=41896 CPUtime=47.79 cores=0,2,4,6
/proc/32572/stat : 32572 (bsolo_pb10) T 32570 32572 32572 0 -1 4202496 8321 0 0 0 4776 3 0 0 25 0 1 0 869480386 42901504 8037 33554432000 134512640 137138936 4290790368 18446744073709551615 134542613 0 0 16781312 16384 18446744071562691360 0 0 17 0 0 0 0
/proc/32572/statm: 10474 8037 192 642 0 9830 0
[pid=32570/tid=32574] ppid=32429 vsize=325008 CPUtime=0 cores=0,2,4,6
/proc/32570/task/32574/stat : 32574 (python) S 32429 32429 30488 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 869485166 332808192 5930 33554432000 4194304 5683644 140733605322496 18446744073709551615 268284512689 0 0 16781312 33554946 18446604453607180416 0 0 -1 6 0 0 0
[pid=32575] ppid=32429 vsize=334824 CPUtime=0 cores=0,2,4,6
/proc/32575/stat : 32575 (python) S 32429 32429 30488 0 -1 4202560 816 0 0 0 0 0 0 0 16 0 1 0 869485169 342859776 5757 33554432000 4194304 5683644 140733605322496 18446744073709551615 268272709190 0 0 16781312 33554946 2648685698420310016 0 0 17 2 0 0 0
/proc/32575/statm: 83706 5757 320 364 0 18578 0
[pid=32577] ppid=32575 vsize=8537708 CPUtime=0.57 cores=0,2,4,6
/proc/32577/stat : 32577 (java) S 32575 32577 32577 0 -1 4202496 10972 0 1 0 55 2 0 0 20 0 19 0 869485169 8742612992 9288 33554432000 1073741824 1073778376 140737330407472 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/32577/statm: 2134427 9288 2204 9 0 2125168 0
[pid=32577/tid=32578] ppid=32575 vsize=8537708 CPUtime=0.31 cores=0,2,4,6
/proc/32577/task/32578/stat : 32578 (java) R 32575 32577 32577 0 -1 4202560 4922 0 1 0 30 1 0 0 18 0 19 0 869485170 8742612992 9297 33554432000 1073741824 1073778376 140737330407472 18446744073709551615 46912505561832 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=32577/tid=32580] ppid=32575 vsize=8537708 CPUtime=0 cores=0,2,4,6
/proc/32577/task/32580/stat : 32580 (java) S 32575 32577 32577 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869485170 8742612992 9297 33554432000 1073741824 1073778376 140737330407472 18446744073709551615 268284504985 0 4 0 16800975 18446604447152863168 0 0 -1 2 0 0 0
[pid=32577/tid=32581] ppid=32575 vsize=8537708 CPUtime=0 cores=0,2,4,6
/proc/32577/task/32581/stat : 32581 (java) S 32575 32577 32577 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869485170 8742612992 9297 33554432000 1073741824 1073778376 140737330407472 18446744073709551615 268284504985 0 4 0 16800975 18446604447152863168 0 0 -1 2 0 0 0
[pid=32577/tid=32582] ppid=32575 vsize=8537708 CPUtime=0 cores=0,2,4,6
/proc/32577/task/32582/stat : 32582 (java) S 32575 32577 32577 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869485170 8742612992 9297 33554432000 1073741824 1073778376 140737330407472 18446744073709551615 268284504985 0 4 0 16800975 18446604447152863168 0 0 -1 2 0 0 0
[pid=32577/tid=32583] ppid=32575 vsize=8537708 CPUtime=0 cores=0,2,4,6
/proc/32577/task/32583/stat : 32583 (java) S 32575 32577 32577 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869485170 8742612992 9297 33554432000 1073741824 1073778376 140737330407472 18446744073709551615 268284504985 0 4 0 16800975 18446604447152863168 0 0 -1 0 0 0 0
[pid=32577/tid=32584] ppid=32575 vsize=8537708 CPUtime=0 cores=0,2,4,6
/proc/32577/task/32584/stat : 32584 (java) S 32575 32577 32577 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869485170 8742612992 9297 33554432000 1073741824 1073778376 140737330407472 18446744073709551615 268284504985 0 4 0 16800975 18446604447152863168 0 0 -1 6 0 0 0
[pid=32577/tid=32585] ppid=32575 vsize=8537708 CPUtime=0 cores=0,2,4,6
/proc/32577/task/32585/stat : 32585 (java) S 32575 32577 32577 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869485170 8742612992 9297 33554432000 1073741824 1073778376 140737330407472 18446744073709551615 268284504985 0 4 0 16800975 18446604447152863168 0 0 -1 0 0 0 0
[pid=32577/tid=32586] ppid=32575 vsize=8537708 CPUtime=0 cores=0,2,4,6
/proc/32577/task/32586/stat : 32586 (java) S 32575 32577 32577 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869485170 8742612992 9297 33554432000 1073741824 1073778376 140737330407472 18446744073709551615 268284504985 0 4 0 16800975 18446604447152863168 0 0 -1 6 0 0 0
[pid=32577/tid=32587] ppid=32575 vsize=8537708 CPUtime=0 cores=0,2,4,6
/proc/32577/task/32587/stat : 32587 (java) S 32575 32577 32577 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869485170 8742612992 9297 33554432000 1073741824 1073778376 140737330407472 18446744073709551615 268284504985 0 4 0 16800975 18446604447152863168 0 0 -1 0 0 0 0
[pid=32577/tid=32588] ppid=32575 vsize=8537708 CPUtime=0 cores=0,2,4,6
/proc/32577/task/32588/stat : 32588 (java) S 32575 32577 32577 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 869485171 8742612992 9297 33554432000 1073741824 1073778376 140737330407472 18446744073709551615 268284505600 0 0 0 16800975 18446604447152863168 0 0 -1 2 0 0 0
[pid=32577/tid=32589] ppid=32575 vsize=8537708 CPUtime=0 cores=0,2,4,6
/proc/32577/task/32589/stat : 32589 (java) S 32575 32577 32577 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869485172 8742612992 9297 33554432000 1073741824 1073778376 140737330407472 18446744073709551615 268284504985 0 4 0 16800975 18446604447152863168 0 0 -1 2 0 0 0
[pid=32577/tid=32590] ppid=32575 vsize=8537708 CPUtime=0 cores=0,2,4,6
/proc/32577/task/32590/stat : 32590 (java) S 32575 32577 32577 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869485172 8742612992 9297 33554432000 1073741824 1073778376 140737330407472 18446744073709551615 268284504985 0 4 0 16800975 18446604447152863168 0 0 -1 2 0 0 0
[pid=32577/tid=32595] ppid=32575 vsize=8537708 CPUtime=0 cores=0,2,4,6
/proc/32577/task/32595/stat : 32595 (java) S 32575 32577 32577 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869485174 8742612992 9297 33554432000 1073741824 1073778376 140737330407472 18446744073709551615 268284512689 0 4 0 16800975 18446604447152863168 0 0 -1 2 0 0 0
[pid=32577/tid=32596] ppid=32575 vsize=8537708 CPUtime=0.1 cores=0,2,4,6
/proc/32577/task/32596/stat : 32596 (java) R 32575 32577 32577 0 -1 4202560 1805 0 0 0 10 0 0 0 17 0 19 0 869485174 8742612992 9297 33554432000 1073741824 1073778376 140737330407472 18446744073709551615 46982352864592 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=32577/tid=32597] ppid=32575 vsize=8537708 CPUtime=0.14 cores=0,2,4,6
/proc/32577/task/32597/stat : 32597 (java) R 32575 32577 32577 0 -1 4202560 2846 0 0 0 14 0 0 0 17 0 19 0 869485174 8742612992 9297 33554432000 1073741824 1073778376 140737330407472 18446744073709551615 46982350380269 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32577/tid=32598] ppid=32575 vsize=8537708 CPUtime=0 cores=0,2,4,6
/proc/32577/task/32598/stat : 32598 (java) S 32575 32577 32577 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869485174 8742612992 9297 33554432000 1073741824 1073778376 140737330407472 18446744073709551615 268284504985 0 4 0 16800975 18446604447152863168 0 0 -1 2 0 0 0
[pid=32577/tid=32599] ppid=32575 vsize=8537708 CPUtime=0 cores=0,2,4,6
/proc/32577/task/32599/stat : 32599 (java) S 32575 32577 32577 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869485174 8742612992 9297 33554432000 1073741824 1073778376 140737330407472 18446744073709551615 268284505600 0 4 0 16800975 18446604447152863168 0 0 -1 4 0 0 0
[pid=32577/tid=32616] ppid=32575 vsize=8537708 CPUtime=0 cores=0,2,4,6
/proc/32577/task/32616/stat : 32616 (java) S 32575 32577 32577 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869485191 8742612992 9297 33554432000 1073741824 1073778376 140737330407472 18446744073709551615 268284505600 0 4 0 16800975 18446604447152863168 0 0 -1 6 0 0 0
[pid=32429/tid=32437] ppid=32427 vsize=345068 CPUtime=0 cores=0,2,4,6
/proc/32429/task/32437/stat : 32437 (python) S 32427 32429 30488 0 -1 4202560 33 1325 0 0 0 0 0 0 18 0 7 0 869451822 353349632 7324 33554432000 4194304 5683644 140733605322496 18446744073709551615 268284512689 0 0 16781312 33554434 18446604448860985536 0 0 -1 6 0 0 0
[pid=32429/tid=32446] ppid=32427 vsize=345068 CPUtime=0 cores=0,2,4,6
/proc/32429/task/32446/stat : 32446 (python) S 32427 32429 30488 0 -1 4202560 31 1325 0 0 0 0 0 0 20 0 7 0 869456635 353349632 7324 33554432000 4194304 5683644 140733605322496 18446744073709551615 268284512689 0 0 16781312 33554434 18446604448860985536 0 0 -1 0 0 0 0
[pid=32429/tid=32492] ppid=32427 vsize=345068 CPUtime=0 cores=0,2,4,6
/proc/32429/task/32492/stat : 32492 (python) S 32427 32429 30488 0 -1 4202560 31 1325 0 0 0 0 0 0 20 0 7 0 869461258 353349632 7324 33554432000 4194304 5683644 140733605322496 18446744073709551615 268284512689 0 0 16781312 33554434 18446604448860985536 0 0 -1 6 0 0 0
[pid=32429/tid=32502] ppid=32427 vsize=345068 CPUtime=0 cores=0,2,4,6
/proc/32429/task/32502/stat : 32502 (python) S 32427 32429 30488 0 -1 4202560 34 1325 0 0 0 0 0 0 20 0 7 0 869470911 353349632 7324 33554432000 4194304 5683644 140733605322496 18446744073709551615 268284512689 0 0 16781312 33554434 18446604448860985536 0 0 -1 2 0 0 0
[pid=32429/tid=32571] ppid=32427 vsize=345068 CPUtime=0 cores=0,2,4,6
/proc/32429/task/32571/stat : 32571 (python) S 32427 32429 30488 0 -1 4202560 27 1325 0 0 0 0 0 0 20 0 7 0 869480386 353349632 7324 33554432000 4194304 5683644 140733605322496 18446744073709551615 268284512689 0 0 16781312 33554434 18446604448860985536 0 0 -1 6 0 0 0
[pid=32429/tid=32576] ppid=32427 vsize=345068 CPUtime=0 cores=0,2,4,6
/proc/32429/task/32576/stat : 32576 (python) S 32427 32429 30488 0 -1 4202560 29 1325 0 0 0 0 0 0 18 0 7 0 869485169 353349632 7324 33554432000 4194304 5683644 140733605322496 18446744073709551615 268284512689 0 0 16781312 33554434 18446604448860985536 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 337.59
Current children cumulated vsize (KiB) 19540468
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 32429 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=519920
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=112982
# CPU time returned by wait4() is 0.632902
# while last known CPU time is 337.59
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 334.4
CPU time (s): 337.59
CPU user time (s): 333.81
CPU system time (s): 3.78
CPU usage (%): 100.954
Max. virtual memory (cumulated for all children) (KiB): 19540468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.51992
system time used= 0.112982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16654
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= 1704
involuntary context switches= 27
runsolver used 2.80057 second user time and 5.70013 second system time
The end