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-3481709-1307576864/watcher-3481709-1307576864 -o /tmp/evaluation-result-3481709-1307576864/solver-3481709-1307576864 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481709-1307576864.opb -seed 485288358 -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.16 1.69 0.86 3/636 23465
/proc/meminfo: memFree=21811448/32950928 swapFree=67056572/67111528
[pid=23465] ppid=23463 vsize=16236 CPUtime=0 cores=1,3,5,7
/proc/23465/stat : 23465 (python) R 23463 23465 23102 0 -1 4202496 1037 0 0 0 0 0 0 0 17 0 1 0 869283515 16625664 909 33554432000 4194304 5683644 140736884530912 18446744073709551615 5114640 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23465/statm: 4059 909 380 364 0 546 0
[startup+0.906765 s]
/proc/loadavg: 2.16 1.69 0.86 3/636 23465
/proc/meminfo: memFree=21811448/32950928 swapFree=67056572/67111528
[pid=23465] ppid=23463 vsize=266500 CPUtime=0.39 cores=1,3,5,7
/proc/23465/stat : 23465 (python) R 23463 23465 23102 0 -1 4202496 8575 929 1 0 28 11 0 0 15 0 1 0 869283515 272896000 6616 33554432000 4194304 5683644 140736884530912 18446744073709551615 239476694784 0 0 16781312 2 0 0 0 17 5 0 0 25
/proc/23465/statm: 66625 6616 1701 364 0 5289 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 266500
[startup+1.00074 s]
/proc/loadavg: 2.16 1.69 0.86 3/636 23465
/proc/meminfo: memFree=21811448/32950928 swapFree=67056572/67111528
[pid=23465] ppid=23463 vsize=285288 CPUtime=0.49 cores=1,3,5,7
/proc/23465/stat : 23465 (python) R 23463 23465 23102 0 -1 4202496 9747 929 1 0 37 12 0 0 16 0 1 0 869283515 292134912 7610 33554432000 4194304 5683644 140736884530912 18446744073709551615 4643473 0 0 16781312 2 0 0 0 17 3 0 0 25
/proc/23465/statm: 71322 7610 1781 364 0 6215 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 285288
[startup+1.10072 s]
/proc/loadavg: 2.16 1.69 0.86 3/636 23465
/proc/meminfo: memFree=21811448/32950928 swapFree=67056572/67111528
[pid=23465] ppid=23463 vsize=285656 CPUtime=0.59 cores=1,3,5,7
/proc/23465/stat : 23465 (python) R 23463 23465 23102 0 -1 4202496 10209 929 1 0 47 12 0 0 16 0 1 0 869283515 292511744 7759 33554432000 4194304 5683644 140736884530912 18446744073709551615 4527948 0 0 16781312 33554434 0 0 0 17 3 0 0 25
/proc/23465/statm: 71414 7759 1816 364 0 6307 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 285656
[startup+1.20071 s]
/proc/loadavg: 2.16 1.69 0.86 3/636 23465
/proc/meminfo: memFree=21811448/32950928 swapFree=67056572/67111528
[pid=23465] ppid=23463 vsize=296288 CPUtime=0.67 cores=1,3,5,7
/proc/23465/stat : 23465 (python) S 23463 23465 23102 0 -1 4202496 10591 929 1 0 55 12 0 0 18 0 2 0 869283515 303398912 7911 33554432000 4194304 5683644 140736884530912 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 25
/proc/23465/statm: 74072 7911 1870 364 0 8959 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 296288
[startup+1.50064 s]
/proc/loadavg: 2.16 1.69 0.86 3/636 23465
/proc/meminfo: memFree=21811448/32950928 swapFree=67056572/67111528
[pid=23465] ppid=23463 vsize=296288 CPUtime=0.67 cores=1,3,5,7
/proc/23465/stat : 23465 (python) S 23463 23465 23102 0 -1 4202496 10591 929 1 0 55 12 0 0 18 0 2 0 869283515 303398912 7911 33554432000 4194304 5683644 140736884530912 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 25
/proc/23465/statm: 74072 7911 1870 364 0 8959 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 296288
[startup+3.12233 s]
/proc/loadavg: 2.39 1.75 0.88 3/640 23473
/proc/meminfo: memFree=21729388/32950928 swapFree=67056572/67111528
[pid=23465] ppid=23463 vsize=296288 CPUtime=0.67 cores=1,3,5,7
/proc/23465/stat : 23465 (python) S 23463 23465 23102 0 -1 4202496 10591 929 1 0 55 12 0 0 18 0 2 0 869283515 303398912 7911 33554432000 4194304 5683644 140736884530912 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 25
/proc/23465/statm: 74072 7911 1870 364 0 8959 0
[pid=23471] ppid=23465 vsize=286044 CPUtime=0 cores=1,3,5,7
/proc/23471/stat : 23471 (python) S 23465 23465 23102 0 -1 4202560 866 0 0 0 0 0 0 0 15 0 1 0 869283633 292909056 6395 33554432000 4194304 5683644 140736884530912 18446744073709551615 239476715023 0 0 16781312 33554946 1203159784312799232 0 0 17 3 0 0 0
/proc/23471/statm: 71511 6395 358 364 0 6398 0
[pid=23473] ppid=23471 vsize=64784 CPUtime=1.93 cores=1,3,5,7
/proc/23473/stat : 23473 (scip-2.0.1.linu) R 23471 23473 23473 0 -1 4202496 14849 0 0 0 164 29 0 0 19 0 1 0 869283633 66338816 14000 33554432000 4194304 13684479 140733512067648 18446744073709551615 6427716 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23473/statm: 16196 14000 766 2317 0 13874 0
[pid=23465/tid=23472] ppid=23463 vsize=296288 CPUtime=0 cores=1,3,5,7
/proc/23465/task/23472/stat : 23472 (python) S 23463 23465 23102 0 -1 4202560 27 929 0 0 0 0 0 0 18 0 2 0 869283633 303398912 7911 33554432000 4194304 5683644 140736884530912 18446744073709551615 239488518577 0 0 16781312 33554434 18446604462047441024 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.6
Current children cumulated vsize (KiB) 647116
[startup+6.30073 s]
/proc/loadavg: 2.36 1.75 0.88 3/640 23473
/proc/meminfo: memFree=21717724/32950928 swapFree=67056572/67111528
[pid=23465] ppid=23463 vsize=296288 CPUtime=0.67 cores=1,3,5,7
/proc/23465/stat : 23465 (python) S 23463 23465 23102 0 -1 4202496 10591 929 1 0 55 12 0 0 18 0 2 0 869283515 303398912 7911 33554432000 4194304 5683644 140736884530912 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 25
/proc/23465/statm: 74072 7911 1870 364 0 8959 0
[pid=23471] ppid=23465 vsize=286044 CPUtime=0.02 cores=1,3,5,7
/proc/23471/stat : 23471 (python) S 23465 23465 23102 0 -1 4202560 1001 0 0 0 1 1 0 0 15 0 1 0 869283633 292909056 6418 33554432000 4194304 5683644 140736884530912 18446744073709551615 239476715023 0 0 16781312 33554946 259443293425762304 0 0 17 1 0 0 0
/proc/23471/statm: 71511 6418 381 364 0 6398 0
[pid=23473] ppid=23471 vsize=78428 CPUtime=5.13 cores=1,3,5,7
/proc/23473/stat : 23473 (scip-2.0.1.linu) R 23471 23473 23473 0 -1 4202496 18304 0 0 0 477 36 0 0 18 0 1 0 869283633 80310272 17090 33554432000 4194304 13684479 140733512067648 18446744073709551615 11828667 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23473/statm: 19607 17107 825 2317 0 17285 0
[pid=23465/tid=23472] ppid=23463 vsize=296288 CPUtime=0 cores=1,3,5,7
/proc/23465/task/23472/stat : 23472 (python) S 23463 23465 23102 0 -1 4202560 27 929 0 0 0 0 0 0 18 0 2 0 869283633 303398912 7911 33554432000 4194304 5683644 140736884530912 18446744073709551615 239488518577 0 0 16781312 33554434 18446604462047441024 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.82
Current children cumulated vsize (KiB) 660760
[startup+12.7005 s]
/proc/loadavg: 2.33 1.76 0.89 3/640 23474
/proc/meminfo: memFree=21690836/32950928 swapFree=67056572/67111528
[pid=23465] ppid=23463 vsize=296288 CPUtime=0.67 cores=1,3,5,7
/proc/23465/stat : 23465 (python) S 23463 23465 23102 0 -1 4202496 10591 929 1 0 55 12 0 0 18 0 2 0 869283515 303398912 7911 33554432000 4194304 5683644 140736884530912 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 25
/proc/23465/statm: 74072 7911 1870 364 0 8959 0
[pid=23471] ppid=23465 vsize=286044 CPUtime=0.05 cores=1,3,5,7
/proc/23471/stat : 23471 (python) S 23465 23465 23102 0 -1 4202560 1007 0 0 0 3 2 0 0 15 0 1 0 869283633 292909056 6418 33554432000 4194304 5683644 140736884530912 18446744073709551615 239476715023 0 0 16781312 33554946 2289917888955416576 0 0 17 7 0 0 0
/proc/23471/statm: 71511 6418 381 364 0 6398 0
[pid=23473] ppid=23471 vsize=106140 CPUtime=11.51 cores=1,3,5,7
/proc/23473/stat : 23473 (scip-2.0.1.linu) R 23471 23473 23473 0 -1 4202496 27629 0 0 0 1105 46 0 0 18 0 1 0 869283633 108687360 23977 33554432000 4194304 13684479 140733512067648 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23473/statm: 26535 23977 906 2317 0 24213 0
[pid=23465/tid=23472] ppid=23463 vsize=296288 CPUtime=0 cores=1,3,5,7
/proc/23465/task/23472/stat : 23472 (python) S 23463 23465 23102 0 -1 4202560 27 929 0 0 0 0 0 0 18 0 2 0 869283633 303398912 7911 33554432000 4194304 5683644 140736884530912 18446744073709551615 239488518577 0 0 16781312 33554434 18446604462047441024 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.23
Current children cumulated vsize (KiB) 688472
[startup+25.501 s]
/proc/loadavg: 2.28 1.76 0.90 3/640 23474
/proc/meminfo: memFree=21664332/32950928 swapFree=67056572/67111528
[pid=23465] ppid=23463 vsize=296288 CPUtime=0.67 cores=1,3,5,7
/proc/23465/stat : 23465 (python) S 23463 23465 23102 0 -1 4202496 10591 929 1 0 55 12 0 0 18 0 2 0 869283515 303398912 7911 33554432000 4194304 5683644 140736884530912 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 25
/proc/23465/statm: 74072 7911 1870 364 0 8959 0
[pid=23471] ppid=23465 vsize=286044 CPUtime=0.11 cores=1,3,5,7
/proc/23471/stat : 23471 (python) S 23465 23465 23102 0 -1 4202560 1016 0 0 0 5 6 0 0 15 0 1 0 869283633 292909056 6418 33554432000 4194304 5683644 140736884530912 18446744073709551615 239476715023 0 0 16781312 33554946 1141247439898935296 0 0 17 7 0 0 0
/proc/23471/statm: 71511 6418 381 364 0 6398 0
[pid=23473] ppid=23471 vsize=133832 CPUtime=24.31 cores=1,3,5,7
/proc/23473/stat : 23473 (scip-2.0.1.linu) R 23471 23473 23473 0 -1 4202496 39909 0 0 0 2364 67 0 0 25 0 1 0 869283633 137043968 30571 33554432000 4194304 13684479 140733512067648 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23473/statm: 33458 30571 916 2317 0 31136 0
[pid=23465/tid=23472] ppid=23463 vsize=296288 CPUtime=0 cores=1,3,5,7
/proc/23465/task/23472/stat : 23472 (python) S 23463 23465 23102 0 -1 4202560 27 929 0 0 0 0 0 0 18 0 2 0 869283633 303398912 7911 33554432000 4194304 5683644 140736884530912 18446744073709551615 239488518577 0 0 16781312 33554434 18446604462047441024 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 716164
[startup+51.1011 s]
/proc/loadavg: 2.18 1.78 0.93 3/662 23497
/proc/meminfo: memFree=21571288/32950928 swapFree=67056572/67111528
[pid=23465] ppid=23463 vsize=306544 CPUtime=0.7 cores=1,3,5,7
/proc/23465/stat : 23465 (python) S 23463 23465 23102 0 -1 4202496 11479 929 1 0 57 13 0 0 20 0 3 0 869283515 313901056 7918 33554432000 4194304 5683644 140736884530912 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 25
/proc/23465/statm: 76636 7918 1873 364 0 11520 0
[pid=23471] ppid=23465 vsize=296288 CPUtime=0.26 cores=1,3,5,7
/proc/23471/stat : 23471 (python) S 23465 23465 23102 0 -1 4202560 1157 0 0 0 13 13 0 0 16 0 2 0 869283633 303398912 6454 33554432000 4194304 5683644 140736884530912 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/23471/statm: 74072 6454 412 364 0 8959 0
[pid=23473] ppid=23471 vsize=155124 CPUtime=46.69 cores=1,3,5,7
/proc/23473/stat : 23473 (scip-2.0.1.linu) T 23471 23473 23473 0 -1 4202496 57291 0 0 0 4563 106 0 0 25 0 1 0 869283633 158846976 35903 33554432000 4194304 13684479 140733512067648 18446744073709551615 7401022 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/23473/statm: 38781 35903 825 2317 0 36459 0
[pid=23471/tid=23476] ppid=23465 vsize=296288 CPUtime=0 cores=1,3,5,7
/proc/23471/task/23476/stat : 23476 (python) S 23465 23465 23102 0 -1 4202560 40 0 0 0 0 0 0 0 16 0 2 0 869288303 303398912 6454 33554432000 4194304 5683644 140736884530912 18446744073709551615 239488518577 0 0 16781312 33554946 18446604454948693248 0 0 -1 3 0 0 0
[pid=23477] ppid=23465 vsize=296300 CPUtime=0 cores=1,3,5,7
/proc/23477/stat : 23477 (python) S 23465 23465 23102 0 -1 4202560 785 0 0 0 0 0 0 0 15 0 1 0 869288305 303411200 6390 33554432000 4194304 5683644 140736884530912 18446744073709551615 239476715078 0 0 16781312 33554946 1495866920841248768 0 0 17 7 0 0 0
/proc/23477/statm: 74075 6390 349 364 0 8959 0
[pid=23479] ppid=23477 vsize=8540232 CPUtime=4.07 cores=1,3,5,7
/proc/23479/stat : 23479 (java) S 23477 23479 23479 0 -1 4202496 21515 0 1 0 404 3 0 0 17 0 19 0 869288305 8745197568 17139 33554432000 1073741824 1073778376 140736900924848 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23479/statm: 2135058 17139 2236 9 0 2125799 0
[pid=23479/tid=23480] ppid=23477 vsize=8540232 CPUtime=3.15 cores=1,3,5,7
/proc/23479/task/23480/stat : 23480 (java) R 23477 23479 23479 0 -1 4202560 12474 0 1 0 314 1 0 0 25 0 19 0 869288306 8745197568 17139 33554432000 1073741824 1073778376 140736900924848 18446744073709551615 46912505887229 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23479/tid=23481] ppid=23477 vsize=8540232 CPUtime=0 cores=1,3,5,7
/proc/23479/task/23481/stat : 23481 (java) S 23477 23479 23479 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869288307 8745197568 17139 33554432000 1073741824 1073778376 140736900924848 18446744073709551615 239488510873 0 4 0 16800975 18446604460144819136 0 0 -1 5 0 0 0
[pid=23479/tid=23482] ppid=23477 vsize=8540232 CPUtime=0 cores=1,3,5,7
/proc/23479/task/23482/stat : 23482 (java) S 23477 23479 23479 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869288307 8745197568 17139 33554432000 1073741824 1073778376 140736900924848 18446744073709551615 239488510873 0 4 0 16800975 18446604460144819136 0 0 -1 5 0 0 0
[pid=23479/tid=23483] ppid=23477 vsize=8540232 CPUtime=0 cores=1,3,5,7
/proc/23479/task/23483/stat : 23483 (java) S 23477 23479 23479 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869288307 8745197568 17139 33554432000 1073741824 1073778376 140736900924848 18446744073709551615 239488510873 0 4 0 16800975 18446604460144819136 0 0 -1 5 0 0 0
[pid=23479/tid=23484] ppid=23477 vsize=8540232 CPUtime=0 cores=1,3,5,7
/proc/23479/task/23484/stat : 23484 (java) S 23477 23479 23479 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869288307 8745197568 17139 33554432000 1073741824 1073778376 140736900924848 18446744073709551615 239488510873 0 4 0 16800975 18446604460144819136 0 0 -1 5 0 0 0
[pid=23479/tid=23485] ppid=23477 vsize=8540232 CPUtime=0 cores=1,3,5,7
/proc/23479/task/23485/stat : 23485 (java) S 23477 23479 23479 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869288307 8745197568 17139 33554432000 1073741824 1073778376 140736900924848 18446744073709551615 239488510873 0 4 0 16800975 18446604460144819136 0 0 -1 5 0 0 0
[pid=23479/tid=23486] ppid=23477 vsize=8540232 CPUtime=0 cores=1,3,5,7
/proc/23479/task/23486/stat : 23486 (java) S 23477 23479 23479 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869288307 8745197568 17139 33554432000 1073741824 1073778376 140736900924848 18446744073709551615 239488510873 0 4 0 16800975 18446604460144819136 0 0 -1 5 0 0 0
[pid=23479/tid=23487] ppid=23477 vsize=8540232 CPUtime=0 cores=1,3,5,7
/proc/23479/task/23487/stat : 23487 (java) S 23477 23479 23479 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869288307 8745197568 17139 33554432000 1073741824 1073778376 140736900924848 18446744073709551615 239488510873 0 4 0 16800975 18446604460144819136 0 0 -1 5 0 0 0
[pid=23479/tid=23488] ppid=23477 vsize=8540232 CPUtime=0 cores=1,3,5,7
/proc/23479/task/23488/stat : 23488 (java) S 23477 23479 23479 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869288307 8745197568 17139 33554432000 1073741824 1073778376 140736900924848 18446744073709551615 239488510873 0 4 0 16800975 18446604460144819136 0 0 -1 5 0 0 0
[pid=23479/tid=23489] ppid=23477 vsize=8540232 CPUtime=0 cores=1,3,5,7
/proc/23479/task/23489/stat : 23489 (java) S 23477 23479 23479 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 869288308 8745197568 17139 33554432000 1073741824 1073778376 140736900924848 18446744073709551615 239488511488 0 0 0 16800975 18446604460144819136 0 0 -1 3 0 0 0
[pid=23479/tid=23490] ppid=23477 vsize=8540232 CPUtime=0 cores=1,3,5,7
/proc/23479/task/23490/stat : 23490 (java) S 23477 23479 23479 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 869288308 8745197568 17139 33554432000 1073741824 1073778376 140736900924848 18446744073709551615 239488510873 0 4 0 16800975 18446604460144819136 0 0 -1 3 0 0 0
[pid=23479/tid=23491] ppid=23477 vsize=8540232 CPUtime=0 cores=1,3,5,7
/proc/23479/task/23491/stat : 23491 (java) S 23477 23479 23479 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 869288308 8745197568 17139 33554432000 1073741824 1073778376 140736900924848 18446744073709551615 239488510873 0 4 0 16800975 18446604460144819136 0 0 -1 3 0 0 0
[pid=23479/tid=23492] ppid=23477 vsize=8540232 CPUtime=0 cores=1,3,5,7
/proc/23479/task/23492/stat : 23492 (java) S 23477 23479 23479 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869288311 8745197568 17139 33554432000 1073741824 1073778376 140736900924848 18446744073709551615 239488518577 0 4 0 16800975 18446604460144819136 0 0 -1 3 0 0 0
[pid=23479/tid=23493] ppid=23477 vsize=8540232 CPUtime=0.47 cores=1,3,5,7
/proc/23479/task/23493/stat : 23493 (java) S 23477 23479 23479 0 -1 4202560 2908 0 0 0 47 0 0 0 18 0 19 0 869288311 8745197568 17139 33554432000 1073741824 1073778376 140736900924848 18446744073709551615 239488510873 0 4 0 16800975 18446604460144819136 0 0 -1 5 0 0 0
[pid=23479/tid=23494] ppid=23477 vsize=8540232 CPUtime=0.41 cores=1,3,5,7
/proc/23479/task/23494/stat : 23494 (java) S 23477 23479 23479 0 -1 4202560 4728 0 0 0 41 0 0 0 18 0 19 0 869288311 8745197568 17139 33554432000 1073741824 1073778376 140736900924848 18446744073709551615 239488510873 0 4 0 16800975 18446604460144819136 0 0 -1 3 0 0 0
[pid=23479/tid=23495] ppid=23477 vsize=8540232 CPUtime=0 cores=1,3,5,7
/proc/23479/task/23495/stat : 23495 (java) S 23477 23479 23479 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869288311 8745197568 17139 33554432000 1073741824 1073778376 140736900924848 18446744073709551615 239488510873 0 4 0 16800975 18446604460144819136 0 0 -1 3 0 0 0
[pid=23479/tid=23496] ppid=23477 vsize=8540232 CPUtime=0 cores=1,3,5,7
/proc/23479/task/23496/stat : 23496 (java) S 23477 23479 23479 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869288311 8745197568 17139 33554432000 1073741824 1073778376 140736900924848 18446744073709551615 239488511488 0 4 0 16800975 18446604460144819136 0 0 -1 1 0 0 0
[pid=23479/tid=23497] ppid=23477 vsize=8540232 CPUtime=0 cores=1,3,5,7
/proc/23479/task/23497/stat : 23497 (java) S 23477 23479 23479 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 869288364 8745197568 17139 33554432000 1073741824 1073778376 140736900924848 18446744073709551615 239488511488 0 4 0 16800975 18446604460144819136 0 0 -1 7 0 0 0
[pid=23465/tid=23472] ppid=23463 vsize=306544 CPUtime=0 cores=1,3,5,7
/proc/23465/task/23472/stat : 23472 (python) S 23463 23465 23102 0 -1 4202560 27 929 0 0 0 0 0 0 18 0 3 0 869283633 313901056 7918 33554432000 4194304 5683644 140736884530912 18446744073709551615 239488518577 0 0 16781312 33554434 18446604462047441024 0 0 -1 7 0 0 0
[pid=23465/tid=23478] ppid=23463 vsize=306544 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[pid=23591/tid=23603] ppid=23589 vsize=8534164 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23603/stat : 23603 (java) S 23589 23591 23591 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869302502 8738983936 6203 33554432000 1073741824 1073778376 140736168895264 18446744073709551615 239488510873 0 4 0 16800975 18446604460173569024 0 0 -1 1 0 0 0
[pid=23591/tid=23604] ppid=23589 vsize=8534164 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23604/stat : 23604 (java) S 23589 23591 23591 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869302504 8738983936 6203 33554432000 1073741824 1073778376 140736168895264 18446744073709551615 239488518577 0 4 0 16800975 18446604460173569024 0 0 -1 1 0 0 0
[pid=23591/tid=23605] ppid=23589 vsize=8534164 CPUtime=0.04 cores=1,3,5,7
/proc/23591/task/23605/stat : 23605 (java) R 23589 23591 23591 0 -1 4202560 258 0 0 0 4 0 0 0 25 0 18 0 869302504 8738983936 6203 33554432000 1073741824 1073778376 140736168895264 18446744073709551615 46962660466722 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23591/tid=23606] ppid=23589 vsize=8534164 CPUtime=0.05 cores=1,3,5,7
/proc/23591/task/23606/stat : 23606 (java) R 23589 23591 23591 0 -1 4202560 957 0 0 0 5 0 0 0 25 0 18 0 869302504 8738983936 6203 33554432000 1073741824 1073778376 140736168895264 18446744073709551615 239488510873 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23591/tid=23607] ppid=23589 vsize=8534164 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23607/stat : 23607 (java) S 23589 23591 23591 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869302504 8738983936 6204 33554432000 1073741824 1073778376 140736168895264 18446744073709551615 239488510873 0 4 0 16800975 18446604460173569024 0 0 -1 1 0 0 0
[pid=23591/tid=23608] ppid=23589 vsize=8534164 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23608/stat : 23608 (java) S 23589 23591 23591 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869302504 8738983936 6204 33554432000 1073741824 1073778376 140736168895264 18446744073709551615 239488511488 0 4 0 16800975 18446604460173569024 0 0 -1 5 0 0 0
[pid=23465/tid=23472] ppid=23463 vsize=337816 CPUtime=0 cores=1,3,5,7
/proc/23465/task/23472/stat : 23472 (python) S 23463 23465 23102 0 -1 4202560 27 929 0 0 0 0 0 0 18 0 6 0 869283633 345923584 8082 33554432000 4194304 5683644 140736884530912 18446744073709551615 239488518577 0 0 16781312 33554434 18446604462047441024 0 0 -1 7 0 0 0
[pid=23465/tid=23478] ppid=23463 vsize=337816 CPUtime=0 cores=1,3,5,7
/proc/23465/task/23478/stat : 23478 (python) S 23463 23465 23102 0 -1 4202560 28 929 0 0 0 0 0 0 20 0 6 0 869288305 345923584 8082 33554432000 4194304 5683644 140736884530912 18446744073709551615 239488518577 0 0 16781312 33554434 18446604462047441024 0 0 -1 5 0 0 0
[pid=23465/tid=23501] ppid=23463 vsize=337816 CPUtime=0 cores=1,3,5,7
/proc/23465/task/23501/stat : 23501 (python) S 23463 23465 23102 0 -1 4202560 32 929 0 0 0 0 0 0 20 0 6 0 869292909 345923584 8082 33554432000 4194304 5683644 140736884530912 18446744073709551615 239488518577 0 0 16781312 33554434 18446604462047441024 0 0 -1 3 0 0 0
[pid=23465/tid=23563] ppid=23463 vsize=337816 CPUtime=0 cores=1,3,5,7
/proc/23465/task/23563/stat : 23563 (python) S 23463 23465 23102 0 -1 4202560 27 929 0 0 0 0 0 0 20 0 6 0 869297825 345923584 8082 33554432000 4194304 5683644 140736884530912 18446744073709551615 239488518577 0 0 16781312 33554434 18446604462047441024 0 0 -1 7 0 0 0
[pid=23465/tid=23590] ppid=23463 vsize=337816 CPUtime=0 cores=1,3,5,7
/proc/23465/task/23590/stat : 23590 (python) S 23463 23465 23102 0 -1 4202560 26 929 0 0 0 0 0 0 20 0 6 0 869302499 345923584 8082 33554432000 4194304 5683644 140736884530912 18446744073709551615 239488518577 0 0 16781312 33554434 18446604462047441024 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 191.73
Current children cumulated vsize (KiB) 19335028
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+190.001 s]
/proc/loadavg: 2.21 1.97 1.12 4/701 23608
/proc/meminfo: memFree=20913272/32950928 swapFree=67056572/67111528
[pid=23465] ppid=23463 vsize=337816 CPUtime=0.77 cores=1,3,5,7
/proc/23465/stat : 23465 (python) S 23463 23465 23102 0 -1 4202496 14179 929 1 0 64 13 0 0 19 0 6 0 869283515 345923584 8082 33554432000 4194304 5683644 140736884530912 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 25
/proc/23465/statm: 84454 8082 1879 364 0 19329 0
[pid=23471] ppid=23465 vsize=296288 CPUtime=0.26 cores=1,3,5,7
/proc/23471/stat : 23471 (python) S 23465 23465 23102 0 -1 4202560 1157 0 0 0 13 13 0 0 16 0 2 0 869283633 303398912 6454 33554432000 4194304 5683644 140736884530912 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/23471/statm: 74072 6454 412 364 0 8959 0
[pid=23473] ppid=23471 vsize=155124 CPUtime=46.69 cores=1,3,5,7
/proc/23473/stat : 23473 (scip-2.0.1.linu) T 23471 23473 23473 0 -1 4202496 57291 0 0 0 4563 106 0 0 25 0 1 0 869283633 158846976 35903 33554432000 4194304 13684479 140733512067648 18446744073709551615 7401022 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/23473/statm: 38781 35903 825 2317 0 36459 0
[pid=23471/tid=23476] ppid=23465 vsize=296288 CPUtime=0 cores=1,3,5,7
/proc/23471/task/23476/stat : 23476 (python) S 23465 23465 23102 0 -1 4202560 40 0 0 0 0 0 0 0 16 0 2 0 869288303 303398912 6454 33554432000 4194304 5683644 140736884530912 18446744073709551615 239488518577 0 0 16781312 33554946 18446604454948693248 0 0 -1 3 0 0 0
[pid=23477] ppid=23465 vsize=296300 CPUtime=0.22 cores=1,3,5,7
/proc/23477/stat : 23477 (python) S 23465 23465 23102 0 -1 4202560 1106 0 0 0 11 11 0 0 17 0 2 0 869288305 303411200 6439 33554432000 4194304 5683644 140736884530912 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/23477/statm: 74075 6439 397 364 0 8959 0
[pid=23479] ppid=23477 vsize=8540232 CPUtime=47.08 cores=1,3,5,7
/proc/23479/stat : 23479 (java) T 23477 23479 23479 0 -1 4202496 24867 0 1 0 4704 4 0 0 15 0 19 0 869288305 8745197568 19984 33554432000 1073741824 1073778376 140736900924848 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23479/statm: 2135058 19984 2261 9 0 2125799 0
[pid=23479/tid=23480] ppid=23477 vsize=8540232 CPUtime=45.79 cores=1,3,5,7
/proc/23479/task/23480/stat : 23480 (java) T 23477 23479 23479 0 -1 4202560 12532 0 1 0 4578 1 0 0 25 0 19 0 869288306 8745197568 19984 33554432000 1073741824 1073778376 140736900924848 18446744073709551615 46912505900392 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23479/tid=23481] ppid=23477 vsize=8540232 CPUtime=0.01 cores=1,3,5,7
/proc/23479/task/23481/stat : 23481 (java) T 23477 23479 23479 0 -1 4202560 103 0 0 0 1 0 0 0 15 0 19 0 869288307 8745197568 19984 33554432000 1073741824 1073778376 140736900924848 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23479/tid=23482] ppid=23477 vsize=8540232 CPUtime=0.01 cores=1,3,5,7
/proc/23479/task/23482/stat : 23482 (java) T 23477 23479 23479 0 -1 4202560 1 0 0 0 1 0 0 0 15 0 19 0 869288307 8745197568 19984 33554432000 1073741824 1073778376 140736900924848 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23479/tid=23483] ppid=23477 vsize=8540232 CPUtime=0.01 cores=1,3,5,7
/proc/23479/task/23483/stat : 23483 (java) T 23477 23479 23479 0 -1 4202560 93 0 0 0 1 0 0 0 15 0 19 0 869288307 8745197568 19984 33554432000 1073741824 1073778376 140736900924848 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23479/tid=23484] ppid=23477 vsize=8540232 CPUtime=0 cores=1,3,5,7
/proc/23479/task/23484/stat : 23484 (java) T 23477 23479 23479 0 -1 4202560 81 0 0 0 0 0 0 0 15 0 19 0 869288307 8745197568 19984 33554432000 1073741824 1073778376 140736900924848 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23479/tid=23485] ppid=23477 vsize=8540232 CPUtime=0.01 cores=1,3,5,7
/proc/23479/task/23485/stat : 23485 (java) T 23477 23479 23479 0 -1 4202560 52 0 0 0 1 0 0 0 15 0 19 0 869288307 8745197568 19984 33554432000 1073741824 1073778376 140736900924848 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23479/tid=23486] ppid=23477 vsize=8540232 CPUtime=0.01 cores=1,3,5,7
/proc/23479/task/23486/stat : 23486 (java) T 23477 23479 23479 0 -1 4202560 413 0 0 0 1 0 0 0 15 0 19 0 869288307 8745197568 19984 33554432000 1073741824 1073778376 140736900924848 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23479/tid=23487] ppid=23477 vsize=8540232 CPUtime=0.01 cores=1,3,5,7
/proc/23479/task/23487/stat : 23487 (java) T 23477 23479 23479 0 -1 4202560 441 0 0 0 1 0 0 0 15 0 19 0 869288307 8745197568 19984 33554432000 1073741824 1073778376 140736900924848 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23479/tid=23488] ppid=23477 vsize=8540232 CPUtime=0.01 cores=1,3,5,7
/proc/23479/task/23488/stat : 23488 (java) T 23477 23479 23479 0 -1 4202560 156 0 0 0 1 0 0 0 15 0 19 0 869288307 8745197568 19984 33554432000 1073741824 1073778376 140736900924848 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23479/tid=23489] ppid=23477 vsize=8540232 CPUtime=0.09 cores=1,3,5,7
/proc/23479/task/23489/stat : 23489 (java) T 23477 23479 23479 0 -1 4202560 1466 0 0 0 9 0 0 0 15 0 19 0 869288308 8745197568 19984 33554432000 1073741824 1073778376 140736900924848 18446744073709551615 239488511488 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23479/tid=23490] ppid=23477 vsize=8540232 CPUtime=0 cores=1,3,5,7
/proc/23479/task/23490/stat : 23490 (java) T 23477 23479 23479 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 869288308 8745197568 19984 33554432000 1073741824 1073778376 140736900924848 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23479/tid=23491] ppid=23477 vsize=8540232 CPUtime=0 cores=1,3,5,7
/proc/23479/task/23491/stat : 23491 (java) T 23477 23479 23479 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869288308 8745197568 19984 33554432000 1073741824 1073778376 140736900924848 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23479/tid=23492] ppid=23477 vsize=8540232 CPUtime=0 cores=1,3,5,7
/proc/23479/task/23492/stat : 23492 (java) T 23477 23479 23479 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869288311 8745197568 19984 33554432000 1073741824 1073778376 140736900924848 18446744073709551615 239488518577 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23479/tid=23493] ppid=23477 vsize=8540232 CPUtime=0.54 cores=1,3,5,7
/proc/23479/task/23493/stat : 23493 (java) T 23477 23479 23479 0 -1 4202560 2924 0 0 0 54 0 0 0 15 0 19 0 869288311 8745197568 19984 33554432000 1073741824 1073778376 140736900924848 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23479/tid=23494] ppid=23477 vsize=8540232 CPUtime=0.5 cores=1,3,5,7
/proc/23479/task/23494/stat : 23494 (java) T 23477 23479 23479 0 -1 4202560 5209 0 0 0 50 0 0 0 15 0 19 0 869288311 8745197568 19984 33554432000 1073741824 1073778376 140736900924848 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23479/tid=23495] ppid=23477 vsize=8540232 CPUtime=0 cores=1,3,5,7
/proc/23479/task/23495/stat : 23495 (java) T 23477 23479 23479 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869288311 8745197568 19984 33554432000 1073741824 1073778376 140736900924848 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23479/tid=23496] ppid=23477 vsize=8540232 CPUtime=0 cores=1,3,5,7
/proc/23479/task/23496/stat : 23496 (java) T 23477 23479 23479 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869288311 8745197568 19984 33554432000 1073741824 1073778376 140736900924848 18446744073709551615 239488511488 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23479/tid=23497] ppid=23477 vsize=8540232 CPUtime=0 cores=1,3,5,7
/proc/23479/task/23497/stat : 23497 (java) T 23477 23479 23479 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 869288364 8745197568 19984 33554432000 1073741824 1073778376 140736900924848 18446744073709551615 239488511488 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23477/tid=23499] ppid=23465 vsize=296300 CPUtime=0 cores=1,3,5,7
/proc/23477/task/23499/stat : 23499 (python) S 23465 23465 23102 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 869292906 303411200 6439 33554432000 4194304 5683644 140736884530912 18446744073709551615 239488518577 0 0 16781312 33554946 18446604455695669248 0 0 -1 5 0 0 0
[pid=23500] ppid=23465 vsize=307060 CPUtime=0.26 cores=1,3,5,7
/proc/23500/stat : 23500 (python) S 23465 23465 23102 0 -1 4202560 1121 0 0 0 12 14 0 0 16 0 2 0 869292909 314429440 6569 33554432000 4194304 5683644 140736884530912 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23500/statm: 76765 6569 397 364 0 11646 0
[pid=23502] ppid=23500 vsize=116092 CPUtime=49.13 cores=1,3,5,7
/proc/23502/stat : 23502 (scip-2.0.1.linu) T 23500 23502 23502 0 -1 4202496 47776 0 0 0 4862 51 0 0 25 0 1 0 869292909 118878208 24516 33554432000 4194304 15243407 140733563759984 18446744073709551615 8109731 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/23502/statm: 29023 24516 921 2698 0 26318 0
[pid=23500/tid=23561] ppid=23465 vsize=307060 CPUtime=0 cores=1,3,5,7
/proc/23500/task/23561/stat : 23561 (python) S 23465 23465 23102 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869297823 314429440 6569 33554432000 4194304 5683644 140736884530912 18446744073709551615 239488518577 0 0 16781312 33554946 18446604456944422976 0 0 -1 7 0 0 0
[pid=23562] ppid=23465 vsize=317316 CPUtime=0.33 cores=1,3,5,7
/proc/23562/stat : 23562 (python) S 23465 23465 23102 0 -1 4202560 1175 0 0 0 19 14 0 0 17 0 2 0 869297825 324931584 6573 33554432000 4194304 5683644 140736884530912 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23562/statm: 79329 6573 397 364 0 14207 0
[pid=23564] ppid=23562 vsize=107064 CPUtime=46.7 cores=1,3,5,7
/proc/23564/stat : 23564 (wbo1.4a) T 23562 23564 23564 0 -1 4202496 86037 0 0 0 4636 34 0 0 25 0 1 0 869297825 109633536 26261 33554432000 134512640 135751879 4289277248 18446744073709551615 134517414 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/23564/statm: 26766 26261 146 303 0 26461 0
[pid=23562/tid=23588] ppid=23465 vsize=317316 CPUtime=0 cores=1,3,5,7
/proc/23562/task/23588/stat : 23588 (python) S 23465 23465 23102 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 869302496 324931584 6573 33554432000 4194304 5683644 140736884530912 18446744073709551615 239488518577 0 0 16781312 33554946 18446604466781729024 0 0 -1 7 0 0 0
[pid=23589] ppid=23465 vsize=327572 CPUtime=0 cores=1,3,5,7
/proc/23589/stat : 23589 (python) S 23465 23465 23102 0 -1 4202560 807 0 0 0 0 0 0 0 18 0 1 0 869302499 335433728 6548 33554432000 4194304 5683644 140736884530912 18446744073709551615 239476715078 0 0 16781312 33554946 4162171060441055232 0 0 17 5 0 0 0
/proc/23589/statm: 81893 6548 349 364 0 16768 0
[pid=23591] ppid=23589 vsize=8534164 CPUtime=0.29 cores=1,3,5,7
/proc/23591/stat : 23591 (java) S 23589 23591 23591 0 -1 4202496 6717 0 1 0 28 1 0 0 18 0 18 0 869302499 8738983936 6172 33554432000 1073741824 1073778376 140736168895264 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23591/statm: 2133541 6172 2183 9 0 2124282 0
[pid=23591/tid=23592] ppid=23589 vsize=8534164 CPUtime=0.18 cores=1,3,5,7
/proc/23591/task/23592/stat : 23592 (java) R 23589 23591 23591 0 -1 4202560 4139 0 1 0 18 0 0 0 18 0 18 0 869302500 8738983936 6200 33554432000 1073741824 1073778376 140736168895264 18446744073709551615 46962660640392 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23591/tid=23593] ppid=23589 vsize=8534164 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23593/stat : 23593 (java) S 23589 23591 23591 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869302500 8738983936 6200 33554432000 1073741824 1073778376 140736168895264 18446744073709551615 239488510873 0 4 0 16800975 18446604460173569024 0 0 -1 1 0 0 0
[pid=23591/tid=23594] ppid=23589 vsize=8534164 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23594/stat : 23594 (java) S 23589 23591 23591 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869302500 8738983936 6200 33554432000 1073741824 1073778376 140736168895264 18446744073709551615 239488510873 0 4 0 16800975 18446604460173569024 0 0 -1 5 0 0 0
[pid=23591/tid=23595] ppid=23589 vsize=8534164 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23595/stat : 23595 (java) S 23589 23591 23591 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869302500 8738983936 6201 33554432000 1073741824 1073778376 140736168895264 18446744073709551615 239488510873 0 4 0 16800975 18446604460173569024 0 0 -1 5 0 0 0
[pid=23591/tid=23596] ppid=23589 vsize=8534164 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23596/stat : 23596 (java) S 23589 23591 23591 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869302500 8738983936 6201 33554432000 1073741824 1073778376 140736168895264 18446744073709551615 239488510873 0 4 0 16800975 18446604460173569024 0 0 -1 5 0 0 0
[pid=23591/tid=23597] ppid=23589 vsize=8534164 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23597/stat : 23597 (java) S 23589 23591 23591 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869302500 8738983936 6201 33554432000 1073741824 1073778376 140736168895264 18446744073709551615 239488510873 0 4 0 16800975 18446604460173569024 0 0 -1 5 0 0 0
[pid=23591/tid=23598] ppid=23589 vsize=8534164 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23598/stat : 23598 (java) S 23589 23591 23591 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869302500 8738983936 6201 33554432000 1073741824 1073778376 140736168895264 18446744073709551615 239488510873 0 4 0 16800975 18446604460173569024 0 0 -1 5 0 0 0
[pid=23591/tid=23599] ppid=23589 vsize=8534164 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23599/stat : 23599 (java) S 23589 23591 23591 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869302500 8738983936 6202 33554432000 1073741824 1073778376 140736168895264 18446744073709551615 239488510873 0 4 0 16800975 18446604460173569024 0 0 -1 5 0 0 0
[pid=23591/tid=23600] ppid=23589 vsize=8534164 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23600/stat : 23600 (java) S 23589 23591 23591 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869302500 8738983936 6202 33554432000 1073741824 1073778376 140736168895264 18446744073709551615 239488510873 0 4 0 16800975 18446604460173569024 0 0 -1 5 0 0 0
[pid=23591/tid=23601] ppid=23589 vsize=8534164 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23601/stat : 23601 (java) S 23589 23591 23591 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 18 0 869302501 8738983936 6202 33554432000 1073741824 1073778376 140736168895264 18446744073709551615 239488511488 0 0 0 16800975 18446604460173569024 0 0 -1 5 0 0 0
[pid=23591/tid=23602] ppid=23589 vsize=8534164 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23602/stat : 23602 (java) S 23589 23591 23591 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 18 0 869302502 8738983936 6202 33554432000 1073741824 1073778376 140736168895264 18446744073709551615 239488510873 0 4 0 16800975 18446604460173569024 0 0 -1 1 0 0 0
[pid=23591/tid=23603] ppid=23589 vsize=8534164 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23603/stat : 23603 (java) S 23589 23591 23591 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869302502 8738983936 6203 33554432000 1073741824 1073778376 140736168895264 18446744073709551615 239488510873 0 4 0 16800975 18446604460173569024 0 0 -1 1 0 0 0
[pid=23591/tid=23604] ppid=23589 vsize=8534164 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23604/stat : 23604 (java) S 23589 23591 23591 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869302504 8738983936 6203 33554432000 1073741824 1073778376 140736168895264 18446744073709551615 239488518577 0 4 0 16800975 18446604460173569024 0 0 -1 1 0 0 0
[pid=23591/tid=23605] ppid=23589 vsize=8534164 CPUtime=0.04 cores=1,3,5,7
/proc/23591/task/23605/stat : 23605 (java) R 23589 23591 23591 0 -1 4202560 258 0 0 0 4 0 0 0 25 0 18 0 869302504 8738983936 6203 33554432000 1073741824 1073778376 140736168895264 18446744073709551615 46962660466722 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23591/tid=23606] ppid=23589 vsize=8534164 CPUtime=0.05 cores=1,3,5,7
/proc/23591/task/23606/stat : 23606 (java) R 23589 23591 23591 0 -1 4202560 957 0 0 0 5 0 0 0 25 0 18 0 869302504 8738983936 6203 33554432000 1073741824 1073778376 140736168895264 18446744073709551615 239488510873 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23591/tid=23607] ppid=23589 vsize=8534164 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23607/stat : 23607 (java) S 23589 23591 23591 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869302504 8738983936 6204 33554432000 1073741824 1073778376 140736168895264 18446744073709551615 239488510873 0 4 0 16800975 18446604460173569024 0 0 -1 1 0 0 0
[pid=23591/tid=23608] ppid=23589 vsize=8534164 CPUtime=0 cores=1,3,5,7
/proc/23591/task/23608/stat : 23608 (java) S 23589 23591 23591 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869302504 8738983936 6204 33554432000 1073741824 1073778376 140736168895264 18446744073709551615 239488511488 0 4 0 16800975 18446604460173569024 0 0 -1 5 0 0 0
[pid=23465/tid=23472] ppid=23463 vsize=337816 CPUtime=0 cores=1,3,5,7
/proc/23465/task/23472/stat : 23472 (python) S 23463 23465 23102 0 -1 4202560 27 929 0 0 0 0 0 0 18 0 6 0 869283633 345923584 8082 33554432000 4194304 5683644 140736884530912 18446744073709551615 239488518577 0 0 16781312 33554434 18446604462047441024 0 0 -1 7 0 0 0
[pid=23465/tid=23478] ppid=23463 vsize=337816 CPUtime=0 cores=1,3,5,7
/proc/23465/task/23478/stat : 23478 (python) S 23463 23465 23102 0 -1 4202560 28 929 0 0 0 0 0 0 20 0 6 0 869288305 345923584 8082 33554432000 4194304 5683644 140736884530912 18446744073709551615 239488518577 0 0 16781312 33554434 18446604462047441024 0 0 -1 5 0 0 0
[pid=23465/tid=23501] ppid=23463 vsize=337816 CPUtime=0 cores=1,3,5,7
/proc/23465/task/23501/stat : 23501 (python) S 23463 23465 23102 0 -1 4202560 32 929 0 0 0 0 0 0 20 0 6 0 869292909 345923584 8082 33554432000 4194304 5683644 140736884530912 18446744073709551615 239488518577 0 0 16781312 33554434 18446604462047441024 0 0 -1 3 0 0 0
[pid=23465/tid=23563] ppid=23463 vsize=337816 CPUtime=0 cores=1,3,5,7
/proc/23465/task/23563/stat : 23563 (python) S 23463 23465 23102 0 -1 4202560 27 929 0 0 0 0 0 0 20 0 6 0 869297825 345923584 8082 33554432000 4194304 5683644 140736884530912 18446744073709551615 239488518577 0 0 16781312 33554434 18446604462047441024 0 0 -1 7 0 0 0
[pid=23465/tid=23590] ppid=23463 vsize=337816 CPUtime=0 cores=1,3,5,7
/proc/23465/task/23590/stat : 23590 (python) S 23463 23465 23102 0 -1 4202560 26 929 0 0 0 0 0 0 20 0 6 0 869302499 345923584 8082 33554432000 4194304 5683644 140736884530912 18446744073709551615 239488518577 0 0 16781312 33554434 18446604462047441024 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 191.73
Current children cumulated vsize (KiB) 19335028
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23465 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=649901
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=138978
# CPU time returned by wait4() is 0.788879
# while last known CPU time is 191.73
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 190.088
CPU time (s): 191.73
CPU user time (s): 189.12
CPU system time (s): 2.61
CPU usage (%): 100.864
Max. virtual memory (cumulated for all children) (KiB): 19335028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.649901
system time used= 0.138978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15111
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= 2649
involuntary context switches= 22
runsolver used 1.3278 second user time and 2.93555 second system time
The end