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-3481701-1307576741/watcher-3481701-1307576741 -o /tmp/evaluation-result-3481701-1307576741/solver-3481701-1307576741 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481701-1307576741.opb -seed 1097835597 -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.13 1.46 0.66 2/449 11406
/proc/meminfo: memFree=28930116/32950904 swapFree=56615552/67111528
[pid=11406] ppid=11404 vsize=15776 CPUtime=0 cores=1,3,5,7
/proc/11406/stat : 11406 (python) S 11404 11406 11000 0 -1 4202496 904 0 0 0 0 0 0 0 20 0 1 0 869273967 16154624 784 33554432000 4194304 5683644 140736914082112 18446744073709551615 237278877696 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 0
/proc/11406/statm: 3944 784 346 364 0 431 0
[startup+0.094703 s]
/proc/loadavg: 2.13 1.46 0.66 2/449 11406
/proc/meminfo: memFree=28930116/32950904 swapFree=56615552/67111528
[pid=11406] ppid=11404 vsize=87836 CPUtime=0.06 cores=1,3,5,7
/proc/11406/stat : 11406 (python) R 11404 11406 11000 0 -1 4202496 2703 0 1 0 4 2 0 0 20 0 1 0 869273967 89944064 2418 33554432000 4194304 5683644 140736914082112 18446744073709551615 237278877696 0 2147483391 16781312 2 0 0 0 17 5 0 0 0
/proc/11406/statm: 21959 2418 746 364 0 1622 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 87836
[startup+0.100871 s]
/proc/loadavg: 2.13 1.46 0.66 2/449 11406
/proc/meminfo: memFree=28930116/32950904 swapFree=56615552/67111528
[pid=11406] ppid=11404 vsize=94064 CPUtime=0.06 cores=1,3,5,7
/proc/11406/stat : 11406 (python) S 11404 11406 11000 0 -1 4202496 2797 0 1 0 4 2 0 0 17 0 1 0 869273967 96321536 2468 33554432000 4194304 5683644 140736914082112 18446744073709551615 237278879488 0 0 16781312 2 18446744071562362840 0 0 17 5 0 0 0
/proc/11406/statm: 23516 2468 788 364 0 1627 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 94064
[startup+0.300664 s]
/proc/loadavg: 2.13 1.46 0.66 2/449 11406
/proc/meminfo: memFree=28930116/32950904 swapFree=56615552/67111528
[pid=11406] ppid=11404 vsize=123740 CPUtime=0.17 cores=1,3,5,7
/proc/11406/stat : 11406 (python) R 11404 11406 11000 0 -1 4202496 5358 928 1 0 10 7 0 0 16 0 1 0 869273967 126709760 3744 33554432000 4194304 5683644 140736914082112 18446744073709551615 237278684955 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/11406/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123740
[startup+0.700592 s]
/proc/loadavg: 2.13 1.46 0.66 2/449 11406
/proc/meminfo: memFree=28930116/32950904 swapFree=56615552/67111528
[pid=11406] ppid=11404 vsize=283356 CPUtime=0.46 cores=1,3,5,7
/proc/11406/stat : 11406 (python) R 11404 11406 11000 0 -1 4202496 9343 928 1 0 33 13 0 0 15 0 1 0 869273967 290156544 7203 33554432000 4194304 5683644 140736914082112 18446744073709551615 47886931386669 0 0 16781312 33554434 0 0 0 17 5 0 0 0
/proc/11406/statm: 70839 7203 1816 364 0 5732 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 283356
[startup+1.50051 s]
/proc/loadavg: 2.13 1.46 0.66 3/453 11414
/proc/meminfo: memFree=28875144/32950904 swapFree=56615552/67111528
[pid=11406] ppid=11404 vsize=293624 CPUtime=0.5 cores=1,3,5,7
/proc/11406/stat : 11406 (python) S 11404 11406 11000 0 -1 4202496 9780 928 1 0 36 14 0 0 18 0 2 0 869273967 300670976 7277 33554432000 4194304 5683644 140736914082112 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/11406/statm: 73406 7277 1870 364 0 8293 0
[pid=11412] ppid=11406 vsize=283380 CPUtime=0 cores=1,3,5,7
/proc/11412/stat : 11412 (python) S 11406 11406 11000 0 -1 4202560 755 0 0 0 0 0 0 0 18 0 1 0 869274040 290181120 5755 33554432000 4194304 5683644 140736914082112 18446744073709551615 237278899727 0 0 16781312 33554946 1281061102263697671 0 0 17 5 0 0 0
/proc/11412/statm: 70845 5755 352 364 0 5732 0
[pid=11414] ppid=11412 vsize=36004 CPUtime=0.75 cores=1,3,5,7
/proc/11414/stat : 11414 (scip-2.0.1.linu) R 11412 11414 11414 0 -1 4202496 7445 0 0 0 73 2 0 0 21 0 1 0 869274040 36868096 6719 33554432000 4194304 13684479 140734969603792 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/11414/statm: 9001 6719 738 2317 0 6679 0
[pid=11406/tid=11413] ppid=11404 vsize=293624 CPUtime=0 cores=1,3,5,7
/proc/11406/task/11413/stat : 11413 (python) S 11404 11406 11000 0 -1 4202560 28 928 0 0 0 0 0 0 18 0 2 0 869274040 300670976 7277 33554432000 4194304 5683644 140736914082112 18446744073709551615 237290703281 0 0 16781312 33554434 18446604468344308096 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 613008
[startup+3.10122 s]
/proc/loadavg: 2.12 1.47 0.67 3/453 11414
/proc/meminfo: memFree=28870436/32950904 swapFree=56615552/67111528
[pid=11406] ppid=11404 vsize=293624 CPUtime=0.5 cores=1,3,5,7
/proc/11406/stat : 11406 (python) S 11404 11406 11000 0 -1 4202496 9780 928 1 0 36 14 0 0 18 0 2 0 869273967 300670976 7277 33554432000 4194304 5683644 140736914082112 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/11406/statm: 73406 7277 1870 364 0 8293 0
[pid=11412] ppid=11406 vsize=283380 CPUtime=0 cores=1,3,5,7
/proc/11412/stat : 11412 (python) S 11406 11406 11000 0 -1 4202560 757 0 0 0 0 0 0 0 18 0 1 0 869274040 290181120 5755 33554432000 4194304 5683644 140736914082112 18446744073709551615 237278899727 0 0 16781312 33554946 1281061102263697671 0 0 17 5 0 0 0
/proc/11412/statm: 70845 5755 352 364 0 5732 0
[pid=11414] ppid=11412 vsize=36004 CPUtime=2.36 cores=1,3,5,7
/proc/11414/stat : 11414 (scip-2.0.1.linu) R 11412 11414 11414 0 -1 4202496 7455 0 0 0 230 6 0 0 25 0 1 0 869274040 36868096 6729 33554432000 4194304 13684479 140734969603792 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/11414/statm: 9001 6729 742 2317 0 6679 0
[pid=11406/tid=11413] ppid=11404 vsize=293624 CPUtime=0 cores=1,3,5,7
/proc/11406/task/11413/stat : 11413 (python) S 11404 11406 11000 0 -1 4202560 28 928 0 0 0 0 0 0 18 0 2 0 869274040 300670976 7277 33554432000 4194304 5683644 140736914082112 18446744073709551615 237290703281 0 0 16781312 33554434 18446604468344308096 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 613008
[startup+6.30059 s]
/proc/loadavg: 2.12 1.47 0.67 3/453 11414
/proc/meminfo: memFree=28857292/32950904 swapFree=56615552/67111528
[pid=11406] ppid=11404 vsize=293624 CPUtime=0.5 cores=1,3,5,7
/proc/11406/stat : 11406 (python) S 11404 11406 11000 0 -1 4202496 9780 928 1 0 36 14 0 0 18 0 2 0 869273967 300670976 7277 33554432000 4194304 5683644 140736914082112 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/11406/statm: 73406 7277 1870 364 0 8293 0
[pid=11412] ppid=11406 vsize=283380 CPUtime=0 cores=1,3,5,7
/proc/11412/stat : 11412 (python) S 11406 11406 11000 0 -1 4202560 909 0 0 0 0 0 0 0 17 0 1 0 869274040 290181120 5779 33554432000 4194304 5683644 140736914082112 18446744073709551615 237278899727 0 0 16781312 33554946 2425402842761134080 0 0 17 5 0 0 0
/proc/11412/statm: 70845 5779 376 364 0 5732 0
[pid=11414] ppid=11412 vsize=40016 CPUtime=5.54 cores=1,3,5,7
/proc/11414/stat : 11414 (scip-2.0.1.linu) R 11412 11414 11414 0 -1 4202496 8462 0 0 0 546 8 0 0 25 0 1 0 869274040 40976384 7736 33554432000 4194304 13684479 140734969603792 18446744073709551615 7399040 0 0 16781312 2 0 0 0 17 7 0 0 0
/proc/11414/statm: 10004 7736 755 2317 0 7682 0
[pid=11406/tid=11413] ppid=11404 vsize=293624 CPUtime=0 cores=1,3,5,7
/proc/11406/task/11413/stat : 11413 (python) S 11404 11406 11000 0 -1 4202560 28 928 0 0 0 0 0 0 18 0 2 0 869274040 300670976 7277 33554432000 4194304 5683644 140736914082112 18446744073709551615 237290703281 0 0 16781312 33554434 18446604468344308096 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 617020
[startup+12.7005 s]
/proc/loadavg: 2.10 1.49 0.68 3/453 11415
/proc/meminfo: memFree=28845756/32950904 swapFree=56615552/67111528
[pid=11406] ppid=11404 vsize=293624 CPUtime=0.5 cores=1,3,5,7
/proc/11406/stat : 11406 (python) S 11404 11406 11000 0 -1 4202496 9780 928 1 0 36 14 0 0 18 0 2 0 869273967 300670976 7277 33554432000 4194304 5683644 140736914082112 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/11406/statm: 73406 7277 1870 364 0 8293 0
[pid=11412] ppid=11406 vsize=283380 CPUtime=0.03 cores=1,3,5,7
/proc/11412/stat : 11412 (python) S 11406 11406 11000 0 -1 4202560 912 0 0 0 1 2 0 0 15 0 1 0 869274040 290181120 5779 33554432000 4194304 5683644 140736914082112 18446744073709551615 237278899727 0 0 16781312 33554946 5623606151888251789 0 0 17 5 0 0 0
/proc/11412/statm: 70845 5779 376 364 0 5732 0
[pid=11414] ppid=11412 vsize=40016 CPUtime=11.93 cores=1,3,5,7
/proc/11414/stat : 11414 (scip-2.0.1.linu) R 11412 11414 11414 0 -1 4202496 8464 0 0 0 1180 13 0 0 25 0 1 0 869274040 40976384 7738 33554432000 4194304 13684479 140734969603792 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/11414/statm: 10004 7738 755 2317 0 7682 0
[pid=11406/tid=11413] ppid=11404 vsize=293624 CPUtime=0 cores=1,3,5,7
/proc/11406/task/11413/stat : 11413 (python) S 11404 11406 11000 0 -1 4202560 28 928 0 0 0 0 0 0 18 0 2 0 869274040 300670976 7277 33554432000 4194304 5683644 140736914082112 18446744073709551615 237290703281 0 0 16781312 33554434 18446604468344308096 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 617020
[startup+25.5002 s]
/proc/loadavg: 2.16 1.52 0.70 3/475 11437
/proc/meminfo: memFree=28776948/32950904 swapFree=56615552/67111528
[pid=11406] ppid=11404 vsize=293624 CPUtime=0.5 cores=1,3,5,7
/proc/11406/stat : 11406 (python) S 11404 11406 11000 0 -1 4202496 9780 928 1 0 36 14 0 0 18 0 2 0 869273967 300670976 7277 33554432000 4194304 5683644 140736914082112 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/11406/statm: 73406 7277 1870 364 0 8293 0
[pid=11412] ppid=11406 vsize=283380 CPUtime=0.08 cores=1,3,5,7
/proc/11412/stat : 11412 (python) S 11406 11406 11000 0 -1 4202560 921 0 0 0 4 4 0 0 15 0 1 0 869274040 290181120 5779 33554432000 4194304 5683644 140736914082112 18446744073709551615 237278899727 0 0 16781312 33554946 5623753486446373773 0 0 17 7 0 0 0
/proc/11412/statm: 70845 5779 376 364 0 5732 0
[pid=11414] ppid=11412 vsize=40016 CPUtime=24.74 cores=1,3,5,7
/proc/11414/stat : 11414 (scip-2.0.1.linu) R 11412 11414 11414 0 -1 4202496 8464 0 0 0 2441 33 0 0 25 0 1 0 869274040 40976384 7738 33554432000 4194304 13684479 140734969603792 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/11414/statm: 10004 7738 755 2317 0 7682 0
[pid=11406/tid=11413] ppid=11404 vsize=293624 CPUtime=0 cores=1,3,5,7
/proc/11406/task/11413/stat : 11413 (python) S 11404 11406 11000 0 -1 4202560 28 928 0 0 0 0 0 0 18 0 2 0 869274040 300670976 7277 33554432000 4194304 5683644 140736914082112 18446744073709551615 237290703281 0 0 16781312 33554434 18446604468344308096 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 617020
[startup+51.1017 s]
/proc/loadavg: 2.11 1.56 0.74 3/497 11460
/proc/meminfo: memFree=28694916/32950904 swapFree=56615552/67111528
[pid=11406] ppid=11404 vsize=304456 CPUtime=0.52 cores=1,3,5,7
/proc/11406/stat : 11406 (python) S 11404 11406 11000 0 -1 4202496 10615 928 1 0 38 14 0 0 19 0 3 0 869273967 311762944 7411 33554432000 4194304 5683644 140736914082112 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/11406/statm: 76114 7411 1873 364 0 10998 0
[pid=11412] ppid=11406 vsize=293624 CPUtime=0.16 cores=1,3,5,7
/proc/11412/stat : 11412 (python) S 11406 11406 11000 0 -1 4202560 1088 0 0 0 8 8 0 0 16 0 2 0 869274040 300670976 5815 33554432000 4194304 5683644 140736914082112 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/11412/statm: 73406 5815 407 364 0 8293 0
[pid=11414] ppid=11412 vsize=81892 CPUtime=46.41 cores=1,3,5,7
/proc/11414/stat : 11414 (scip-2.0.1.linu) T 11412 11414 11414 0 -1 4202496 20319 0 0 0 4583 58 0 0 25 0 1 0 869274040 83857408 18144 33554432000 4194304 13684479 140734969603792 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/11414/statm: 20473 18144 800 2317 0 18151 0
[pid=11412/tid=11438] ppid=11406 vsize=293624 CPUtime=0 cores=1,3,5,7
/proc/11412/task/11438/stat : 11438 (python) S 11406 11406 11000 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869278685 300670976 5815 33554432000 4194304 5683644 140736914082112 18446744073709551615 237290703281 0 0 16781312 33554946 18446604466929479808 0 0 -1 7 0 0 0
[pid=11439] ppid=11406 vsize=294212 CPUtime=0 cores=1,3,5,7
/proc/11439/stat : 11439 (python) R 11406 11406 11000 0 -1 4202560 909 0 0 0 0 0 0 0 15 0 1 0 869278687 301273088 5901 33554432000 4194304 5683644 140736914082112 18446744073709551615 237278922887 0 0 16781312 33554946 0 0 0 17 1 0 0 0
/proc/11439/statm: 73554 5901 367 364 0 8438 0
[pid=11441] ppid=11439 vsize=8536876 CPUtime=4.45 cores=1,3,5,7
/proc/11441/stat : 11441 (java) S 11439 11441 11441 0 -1 4202496 11594 0 1 0 443 2 0 0 20 0 19 0 869278688 8741761024 10300 33554432000 1073741824 1073778376 140734101664864 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11441/statm: 2134219 10300 2251 9 0 2124960 0
[pid=11441/tid=11442] ppid=11439 vsize=8536876 CPUtime=3.82 cores=1,3,5,7
/proc/11441/task/11442/stat : 11442 (java) S 11439 11441 11441 0 -1 4202560 5773 0 1 0 381 1 0 0 25 0 19 0 869278688 8741761024 10300 33554432000 1073741824 1073778376 140734101664864 18446744073709551615 237290695577 0 4 0 16800975 18446604467876513984 0 0 -1 5 0 0 0
[pid=11441/tid=11443] ppid=11439 vsize=8536876 CPUtime=0 cores=1,3,5,7
/proc/11441/task/11443/stat : 11443 (java) S 11439 11441 11441 0 -1 4202560 173 0 0 0 0 0 0 0 15 0 19 0 869278689 8741761024 10300 33554432000 1073741824 1073778376 140734101664864 18446744073709551615 237290695577 0 4 0 16800975 18446604467876513984 0 0 -1 1 0 0 0
[pid=11441/tid=11444] ppid=11439 vsize=8536876 CPUtime=0 cores=1,3,5,7
/proc/11441/task/11444/stat : 11444 (java) R 11439 11441 11441 0 -1 4202560 166 0 0 0 0 0 0 0 15 0 19 0 869278689 8741761024 10300 33554432000 1073741824 1073778376 140734101664864 18446744073709551615 237278832951 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=11441/tid=11445] ppid=11439 vsize=8536876 CPUtime=0 cores=1,3,5,7
/proc/11441/task/11445/stat : 11445 (java) S 11439 11441 11441 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 19 0 869278689 8741761024 10300 33554432000 1073741824 1073778376 140734101664864 18446744073709551615 237290695577 0 4 0 16800975 18446604467876513984 0 0 -1 5 0 0 0
[pid=11441/tid=11446] ppid=11439 vsize=8536876 CPUtime=0 cores=1,3,5,7
/proc/11441/task/11446/stat : 11446 (java) R 11439 11441 11441 0 -1 4202560 206 0 0 0 0 0 0 0 15 0 19 0 869278689 8741761024 10300 33554432000 1073741824 1073778376 140734101664864 18446744073709551615 237278832951 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=11441/tid=11447] ppid=11439 vsize=8536876 CPUtime=0 cores=1,3,5,7
/proc/11441/task/11447/stat : 11447 (java) R 11439 11441 11441 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 869278689 8741761024 10300 33554432000 1073741824 1073778376 140734101664864 18446744073709551615 237278832951 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=11441/tid=11448] ppid=11439 vsize=8536876 CPUtime=0 cores=1,3,5,7
/proc/11441/task/11448/stat : 11448 (java) R 11439 11441 11441 0 -1 4202560 117 0 0 0 0 0 0 0 15 0 19 0 869278689 8741761024 10300 33554432000 1073741824 1073778376 140734101664864 18446744073709551615 237278832951 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=11441/tid=11449] ppid=11439 vsize=8536876 CPUtime=0 cores=1,3,5,7
/proc/11441/task/11449/stat : 11449 (java) R 11439 11441 11441 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869278689 8741761024 10300 33554432000 1073741824 1073778376 140734101664864 18446744073709551615 237278832951 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11441/tid=11450] ppid=11439 vsize=8536876 CPUtime=0 cores=1,3,5,7
/proc/11441/task/11450/stat : 11450 (java) S 11439 11441 11441 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869278689 8741761024 10300 33554432000 1073741824 1073778376 140734101664864 18446744073709551615 237290695577 0 4 0 16800975 18446604467876513984 0 0 -1 7 0 0 0
[pid=11441/tid=11451] ppid=11439 vsize=8536876 CPUtime=0.04 cores=1,3,5,7
/proc/11441/task/11451/stat : 11451 (java) S 11439 11441 11441 0 -1 4202560 567 0 0 0 4 0 0 0 15 0 19 0 869278690 8741761024 10300 33554432000 1073741824 1073778376 140734101664864 18446744073709551615 237290695577 0 0 0 16800975 18446604467876513984 0 0 -1 5 0 0 0
[pid=11441/tid=11452] ppid=11439 vsize=8536876 CPUtime=0 cores=1,3,5,7
/proc/11441/task/11452/stat : 11452 (java) S 11439 11441 11441 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869278690 8741761024 10300 33554432000 1073741824 1073778376 140734101664864 18446744073709551615 237290695577 0 4 0 16800975 18446604467876513984 0 0 -1 5 0 0 0
[pid=11441/tid=11453] ppid=11439 vsize=8536876 CPUtime=0 cores=1,3,5,7
/proc/11441/task/11453/stat : 11453 (java) S 11439 11441 11441 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869278690 8741761024 10300 33554432000 1073741824 1073778376 140734101664864 18446744073709551615 237290695577 0 4 0 16800975 18446604467876513984 0 0 -1 5 0 0 0
[pid=11441/tid=11454] ppid=11439 vsize=8536876 CPUtime=0 cores=1,3,5,7
/proc/11441/task/11454/stat : 11454 (java) S 11439 11441 11441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869278693 8741761024 10300 33554432000 1073741824 1073778376 140734101664864 18446744073709551615 237290703281 0 4 0 16800975 18446604467876513984 0 0 -1 5 0 0 0
[pid=11441/tid=11455] ppid=11439 vsize=8536876 CPUtime=0.25 cores=1,3,5,7
/proc/11441/task/11455/stat : 11455 (java) S 11439 11441 11441 0 -1 4202560 1398 0 0 0 25 0 0 0 15 0 19 0 869278693 8741761024 10300 33554432000 1073741824 1073778376 140734101664864 18446744073709551615 237290695577 0 4 0 16800975 18446604467876513984 0 0 -1 7 0 0 0
[pid=11441/tid=11456] ppid=11439 vsize=8536876 CPUtime=0.29 cores=1,3,5,7
/proc/11441/task/11456/stat : 11456 (java) S 11439 11441 11441 0 -1 4202560 1739 0 0 0 29 0 0 0 15 0 19 0 869278693 8741761024 10300 33554432000 1073741824 1073778376 140734101664864 18446744073709551615 237290695577 0 4 0 16800975 18446604467876513984 0 0 -1 1 0 0 0
[pid=11441/tid=11457] ppid=11439 vsize=8536876 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/11469/stat : 11469 (scip-2.0.1.linu) T 11467 11469 11469 0 -1 4202496 21125 0 0 0 4712 11 0 0 25 0 1 0 869283598 72904704 14939 33554432000 4194304 15243407 140736227715520 18446744073709551615 8108289 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/11469/statm: 17799 14939 919 2698 0 15094 0
[pid=11467/tid=11475] ppid=11406 vsize=304164 CPUtime=0 cores=1,3,5,7
/proc/11467/task/11475/stat : 11475 (python) S 11406 11406 11000 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 869288322 311463936 5854 33554432000 4194304 5683644 140736914082112 18446744073709551615 237290703281 0 0 16781312 33554946 18446604456720025536 0 0 -1 7 0 0 0
[pid=11476] ppid=11406 vsize=314864 CPUtime=0.06 cores=1,3,5,7
/proc/11476/stat : 11476 (python) S 11406 11406 11000 0 -1 4202560 976 0 0 0 3 3 0 0 15 0 1 0 869288325 322420736 5935 33554432000 4194304 5683644 140736914082112 18446744073709551615 237278899782 0 0 16781312 33554946 5623753486446373773 0 0 17 7 0 0 0
/proc/11476/statm: 78716 5935 373 364 0 13594 0
[pid=11478] ppid=11476 vsize=34784 CPUtime=18.71 cores=1,3,5,7
/proc/11478/stat : 11478 (wbo1.4a) R 11476 11478 11478 0 -1 4202496 8568 0 0 0 1844 27 0 0 25 0 1 0 869288325 35618816 8235 33554432000 134512640 135751879 4286727760 18446744073709551615 135206651 0 0 16781312 3 0 0 0 17 3 0 0 0
/proc/11478/statm: 8696 8235 146 303 0 8391 0
[pid=11406/tid=11413] ppid=11404 vsize=325108 CPUtime=0 cores=1,3,5,7
/proc/11406/task/11413/stat : 11413 (python) S 11404 11406 11000 0 -1 4202560 28 928 0 0 0 0 0 0 18 0 5 0 869274040 332910592 7443 33554432000 4194304 5683644 140736914082112 18446744073709551615 237290703281 0 0 16781312 33554434 18446604468344308096 0 0 -1 5 0 0 0
[pid=11406/tid=11440] ppid=11404 vsize=325108 CPUtime=0 cores=1,3,5,7
/proc/11406/task/11440/stat : 11440 (python) S 11404 11406 11000 0 -1 4202560 28 928 0 0 0 0 0 0 20 0 5 0 869278687 332910592 7443 33554432000 4194304 5683644 140736914082112 18446744073709551615 237290703281 0 0 16781312 33554434 18446604468344308096 0 0 -1 1 0 0 0
[pid=11406/tid=11468] ppid=11404 vsize=325108 CPUtime=0 cores=1,3,5,7
/proc/11406/task/11468/stat : 11468 (python) S 11404 11406 11000 0 -1 4202560 27 928 0 0 0 0 0 0 20 0 5 0 869283598 332910592 7443 33554432000 4194304 5683644 140736914082112 18446744073709551615 237290703281 0 0 16781312 33554434 18446604468344308096 0 0 -1 7 0 0 0
[pid=11406/tid=11477] ppid=11404 vsize=325108 CPUtime=0 cores=1,3,5,7
/proc/11406/task/11477/stat : 11477 (python) S 11404 11406 11000 0 -1 4202560 31 928 0 0 0 0 0 0 20 0 5 0 869288325 332910592 7443 33554432000 4194304 5683644 140736914082112 18446744073709551615 237290703281 0 0 16781312 33554434 18446604468344308096 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 163.21
Current children cumulated vsize (KiB) 10256720
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+192.401 s]
/proc/loadavg: 2.36 1.84 0.95 4/544 11576
/proc/meminfo: memFree=28187696/32950904 swapFree=56615552/67111528
[pid=11406] ppid=11404 vsize=335364 CPUtime=0.59 cores=1,3,5,7
/proc/11406/stat : 11406 (python) S 11404 11406 11000 0 -1 4202496 13304 928 1 0 45 14 0 0 20 0 6 0 869273967 343412736 7469 33554432000 4194304 5683644 140736914082112 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/11406/statm: 83841 7469 1879 364 0 18716 0
[pid=11412] ppid=11406 vsize=293624 CPUtime=0.16 cores=1,3,5,7
/proc/11412/stat : 11412 (python) S 11406 11406 11000 0 -1 4202560 1088 0 0 0 8 8 0 0 16 0 2 0 869274040 300670976 5815 33554432000 4194304 5683644 140736914082112 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/11412/statm: 73406 5815 407 364 0 8293 0
[pid=11414] ppid=11412 vsize=81892 CPUtime=46.41 cores=1,3,5,7
/proc/11414/stat : 11414 (scip-2.0.1.linu) T 11412 11414 11414 0 -1 4202496 20319 0 0 0 4583 58 0 0 25 0 1 0 869274040 83857408 18144 33554432000 4194304 13684479 140734969603792 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/11414/statm: 20473 18144 800 2317 0 18151 0
[pid=11412/tid=11438] ppid=11406 vsize=293624 CPUtime=0 cores=1,3,5,7
/proc/11412/task/11438/stat : 11438 (python) S 11406 11406 11000 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869278685 300670976 5815 33554432000 4194304 5683644 140736914082112 18446744073709551615 237290703281 0 0 16781312 33554946 18446604466929479808 0 0 -1 7 0 0 0
[pid=11439] ppid=11406 vsize=294212 CPUtime=0.18 cores=1,3,5,7
/proc/11439/stat : 11439 (python) S 11406 11406 11000 0 -1 4202560 1108 0 0 0 10 8 0 0 16 0 2 0 869278687 301273088 5932 33554432000 4194304 5683644 140736914082112 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/11439/statm: 73553 5932 397 364 0 8437 0
[pid=11441] ppid=11439 vsize=8536876 CPUtime=49.73 cores=1,3,5,7
/proc/11441/stat : 11441 (java) T 11439 11441 11441 0 -1 4202496 12027 0 1 0 4970 3 0 0 18 0 19 0 869278688 8741761024 10693 33554432000 1073741824 1073778376 140734101664864 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11441/statm: 2134219 10693 2251 9 0 2124960 0
[pid=11441/tid=11442] ppid=11439 vsize=8536876 CPUtime=48.47 cores=1,3,5,7
/proc/11441/task/11442/stat : 11442 (java) T 11439 11441 11441 0 -1 4202560 5809 0 1 0 4846 1 0 0 25 0 19 0 869278688 8741761024 10693 33554432000 1073741824 1073778376 140734101664864 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=11441/tid=11443] ppid=11439 vsize=8536876 CPUtime=0.02 cores=1,3,5,7
/proc/11441/task/11443/stat : 11443 (java) T 11439 11441 11441 0 -1 4202560 175 0 0 0 2 0 0 0 15 0 19 0 869278689 8741761024 10693 33554432000 1073741824 1073778376 140734101664864 18446744073709551615 47737785623712 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=11441/tid=11444] ppid=11439 vsize=8536876 CPUtime=0.03 cores=1,3,5,7
/proc/11441/task/11444/stat : 11444 (java) T 11439 11441 11441 0 -1 4202560 169 0 0 0 3 0 0 0 15 0 19 0 869278689 8741761024 10693 33554432000 1073741824 1073778376 140734101664864 18446744073709551615 237278832951 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=11441/tid=11445] ppid=11439 vsize=8536876 CPUtime=0.01 cores=1,3,5,7
/proc/11441/task/11445/stat : 11445 (java) T 11439 11441 11441 0 -1 4202560 55 0 0 0 1 0 0 0 15 0 19 0 869278689 8741761024 10693 33554432000 1073741824 1073778376 140734101664864 18446744073709551615 237278832951 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=11441/tid=11446] ppid=11439 vsize=8536876 CPUtime=0.02 cores=1,3,5,7
/proc/11441/task/11446/stat : 11446 (java) T 11439 11441 11441 0 -1 4202560 207 0 0 0 2 0 0 0 15 0 19 0 869278689 8741761024 10693 33554432000 1073741824 1073778376 140734101664864 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=11441/tid=11447] ppid=11439 vsize=8536876 CPUtime=0.04 cores=1,3,5,7
/proc/11441/task/11447/stat : 11447 (java) T 11439 11441 11441 0 -1 4202560 10 0 0 0 4 0 0 0 15 0 19 0 869278689 8741761024 10693 33554432000 1073741824 1073778376 140734101664864 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=11441/tid=11448] ppid=11439 vsize=8536876 CPUtime=0.03 cores=1,3,5,7
/proc/11441/task/11448/stat : 11448 (java) T 11439 11441 11441 0 -1 4202560 117 0 0 0 3 0 0 0 15 0 19 0 869278689 8741761024 10693 33554432000 1073741824 1073778376 140734101664864 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=11441/tid=11449] ppid=11439 vsize=8536876 CPUtime=0.02 cores=1,3,5,7
/proc/11441/task/11449/stat : 11449 (java) T 11439 11441 11441 0 -1 4202560 3 0 0 0 2 0 0 0 15 0 19 0 869278689 8741761024 10693 33554432000 1073741824 1073778376 140734101664864 18446744073709551615 237278832951 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=11441/tid=11450] ppid=11439 vsize=8536876 CPUtime=0.03 cores=1,3,5,7
/proc/11441/task/11450/stat : 11450 (java) T 11439 11441 11441 0 -1 4202560 6 0 0 0 3 0 0 0 15 0 19 0 869278689 8741761024 10693 33554432000 1073741824 1073778376 140734101664864 18446744073709551615 237278832951 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=11441/tid=11451] ppid=11439 vsize=8536876 CPUtime=0.42 cores=1,3,5,7
/proc/11441/task/11451/stat : 11451 (java) T 11439 11441 11441 0 -1 4202560 945 0 0 0 42 0 0 0 15 0 19 0 869278690 8741761024 10693 33554432000 1073741824 1073778376 140734101664864 18446744073709551615 237290695577 0 0 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=11441/tid=11452] ppid=11439 vsize=8536876 CPUtime=0 cores=1,3,5,7
/proc/11441/task/11452/stat : 11452 (java) T 11439 11441 11441 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869278690 8741761024 10693 33554432000 1073741824 1073778376 140734101664864 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=11441/tid=11453] ppid=11439 vsize=8536876 CPUtime=0 cores=1,3,5,7
/proc/11441/task/11453/stat : 11453 (java) T 11439 11441 11441 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869278690 8741761024 10693 33554432000 1073741824 1073778376 140734101664864 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=11441/tid=11454] ppid=11439 vsize=8536876 CPUtime=0 cores=1,3,5,7
/proc/11441/task/11454/stat : 11454 (java) T 11439 11441 11441 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869278693 8741761024 10693 33554432000 1073741824 1073778376 140734101664864 18446744073709551615 237290703281 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=11441/tid=11455] ppid=11439 vsize=8536876 CPUtime=0.25 cores=1,3,5,7
/proc/11441/task/11455/stat : 11455 (java) T 11439 11441 11441 0 -1 4202560 1398 0 0 0 25 0 0 0 15 0 19 0 869278693 8741761024 10693 33554432000 1073741824 1073778376 140734101664864 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=11441/tid=11456] ppid=11439 vsize=8536876 CPUtime=0.3 cores=1,3,5,7
/proc/11441/task/11456/stat : 11456 (java) T 11439 11441 11441 0 -1 4202560 1739 0 0 0 30 0 0 0 15 0 19 0 869278693 8741761024 10693 33554432000 1073741824 1073778376 140734101664864 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=11441/tid=11457] ppid=11439 vsize=8536876 CPUtime=0 cores=1,3,5,7
/proc/11441/task/11457/stat : 11457 (java) T 11439 11441 11441 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869278693 8741761024 10693 33554432000 1073741824 1073778376 140734101664864 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=11441/tid=11458] ppid=11439 vsize=8536876 CPUtime=0 cores=1,3,5,7
/proc/11441/task/11458/stat : 11458 (java) T 11439 11441 11441 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869278693 8741761024 10693 33554432000 1073741824 1073778376 140734101664864 18446744073709551615 237290696192 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=11441/tid=11459] ppid=11439 vsize=8536876 CPUtime=0 cores=1,3,5,7
/proc/11441/task/11459/stat : 11459 (java) T 11439 11441 11441 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869278719 8741761024 10693 33554432000 1073741824 1073778376 140734101664864 18446744073709551615 237290696192 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=11439/tid=11466] ppid=11406 vsize=294212 CPUtime=0 cores=1,3,5,7
/proc/11439/task/11466/stat : 11466 (python) S 11406 11406 11000 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869283595 301273088 5932 33554432000 4194304 5683644 140736914082112 18446744073709551615 237290703281 0 0 16781312 33554946 18446604466030708032 0 0 -1 7 0 0 0
[pid=11467] ppid=11406 vsize=304164 CPUtime=0.16 cores=1,3,5,7
/proc/11467/stat : 11467 (python) S 11406 11406 11000 0 -1 4202560 1177 0 0 0 8 8 0 0 16 0 2 0 869283597 311463936 5854 33554432000 4194304 5683644 140736914082112 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/11467/statm: 76041 5854 403 364 0 10922 0
[pid=11469] ppid=11467 vsize=71196 CPUtime=47.23 cores=1,3,5,7
/proc/11469/stat : 11469 (scip-2.0.1.linu) T 11467 11469 11469 0 -1 4202496 21125 0 0 0 4712 11 0 0 25 0 1 0 869283598 72904704 14939 33554432000 4194304 15243407 140736227715520 18446744073709551615 8108289 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/11469/statm: 17799 14939 919 2698 0 15094 0
[pid=11467/tid=11475] ppid=11406 vsize=304164 CPUtime=0 cores=1,3,5,7
/proc/11467/task/11475/stat : 11475 (python) S 11406 11406 11000 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 869288322 311463936 5854 33554432000 4194304 5683644 140736914082112 18446744073709551615 237290703281 0 0 16781312 33554946 18446604456720025536 0 0 -1 7 0 0 0
[pid=11476] ppid=11406 vsize=314864 CPUtime=0.19 cores=1,3,5,7
/proc/11476/stat : 11476 (python) S 11406 11406 11000 0 -1 4202560 1165 0 0 0 9 10 0 0 17 0 2 0 869288325 322420736 5960 33554432000 4194304 5683644 140736914082112 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/11476/statm: 78716 5960 397 364 0 13594 0
[pid=11478] ppid=11476 vsize=65020 CPUtime=48.71 cores=1,3,5,7
/proc/11478/stat : 11478 (wbo1.4a) T 11476 11478 11478 0 -1 4202496 16191 0 0 0 4811 60 0 0 25 0 1 0 869288325 66580480 15808 33554432000 134512640 135751879 4286727760 18446744073709551615 134517408 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/11478/statm: 16255 15808 146 303 0 15950 0
[pid=11476/tid=11556] ppid=11406 vsize=314864 CPUtime=0 cores=1,3,5,7
/proc/11476/task/11556/stat : 11556 (python) S 11406 11406 11000 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 869293197 322420736 5960 33554432000 4194304 5683644 140736914082112 18446744073709551615 237290703281 0 0 16781312 33554946 18446604468747527424 0 0 -1 7 0 0 0
[pid=11557] ppid=11406 vsize=325120 CPUtime=0 cores=1,3,5,7
/proc/11557/stat : 11557 (python) S 11406 11406 11000 0 -1 4202560 811 0 0 0 0 0 0 0 18 0 1 0 869293199 332922880 5935 33554432000 4194304 5683644 140736914082112 18446744073709551615 237278899782 0 0 16781312 33554946 435767373262225408 0 0 17 1 0 0 0
/proc/11557/statm: 81280 5935 349 364 0 16155 0
[pid=11559] ppid=11557 vsize=8532852 CPUtime=0.11 cores=1,3,5,7
/proc/11559/stat : 11559 (java) S 11557 11559 11559 0 -1 4202496 5630 0 1 0 11 0 0 0 19 0 18 0 869293200 8737640448 5069 33554432000 1073741824 1073778376 140735987490032 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11559/statm: 2133213 5069 2126 9 0 2123954 0
[pid=11559/tid=11560] ppid=11557 vsize=8532852 CPUtime=0.09 cores=1,3,5,7
/proc/11559/task/11560/stat : 11560 (java) R 11557 11559 11559 0 -1 4202560 3422 0 1 0 9 0 0 0 25 0 18 0 869293200 8737640448 5093 33554432000 1073741824 1073778376 140735987490032 18446744073709551615 46912505226214 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11559/tid=11561] ppid=11557 vsize=8532852 CPUtime=0 cores=1,3,5,7
/proc/11559/task/11561/stat : 11561 (java) S 11557 11559 11559 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869293201 8737640448 5093 33554432000 1073741824 1073778376 140735987490032 18446744073709551615 237290695577 0 4 0 16800975 18446604468747528320 0 0 -1 5 0 0 0
[pid=11559/tid=11562] ppid=11557 vsize=8532852 CPUtime=0 cores=1,3,5,7
/proc/11559/task/11562/stat : 11562 (java) S 11557 11559 11559 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869293201 8737640448 5093 33554432000 1073741824 1073778376 140735987490032 18446744073709551615 237290695577 0 4 0 16800975 18446604468747528320 0 0 -1 3 0 0 0
[pid=11559/tid=11563] ppid=11557 vsize=8532852 CPUtime=0 cores=1,3,5,7
/proc/11559/task/11563/stat : 11563 (java) S 11557 11559 11559 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869293201 8737640448 5093 33554432000 1073741824 1073778376 140735987490032 18446744073709551615 237290695577 0 4 0 16800975 18446604468747528320 0 0 -1 3 0 0 0
[pid=11559/tid=11564] ppid=11557 vsize=8532852 CPUtime=0 cores=1,3,5,7
/proc/11559/task/11564/stat : 11564 (java) S 11557 11559 11559 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869293201 8737640448 5094 33554432000 1073741824 1073778376 140735987490032 18446744073709551615 237290695577 0 4 0 16800975 18446604468747528320 0 0 -1 3 0 0 0
[pid=11559/tid=11565] ppid=11557 vsize=8532852 CPUtime=0 cores=1,3,5,7
/proc/11559/task/11565/stat : 11565 (java) S 11557 11559 11559 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869293201 8737640448 5094 33554432000 1073741824 1073778376 140735987490032 18446744073709551615 237290695577 0 4 0 16800975 18446604468747528320 0 0 -1 3 0 0 0
[pid=11559/tid=11566] ppid=11557 vsize=8532852 CPUtime=0 cores=1,3,5,7
/proc/11559/task/11566/stat : 11566 (java) S 11557 11559 11559 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869293201 8737640448 5094 33554432000 1073741824 1073778376 140735987490032 18446744073709551615 237290695577 0 4 0 16800975 18446604468747528320 0 0 -1 3 0 0 0
[pid=11559/tid=11567] ppid=11557 vsize=8532852 CPUtime=0 cores=1,3,5,7
/proc/11559/task/11567/stat : 11567 (java) S 11557 11559 11559 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869293201 8737640448 5094 33554432000 1073741824 1073778376 140735987490032 18446744073709551615 237290695577 0 4 0 16800975 18446604468747528320 0 0 -1 3 0 0 0
[pid=11559/tid=11568] ppid=11557 vsize=8532852 CPUtime=0 cores=1,3,5,7
/proc/11559/task/11568/stat : 11568 (java) S 11557 11559 11559 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869293201 8737640448 5094 33554432000 1073741824 1073778376 140735987490032 18446744073709551615 237290695577 0 4 0 16800975 18446604468747528320 0 0 -1 3 0 0 0
[pid=11559/tid=11569] ppid=11557 vsize=8532852 CPUtime=0 cores=1,3,5,7
/proc/11559/task/11569/stat : 11569 (java) S 11557 11559 11559 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 18 0 869293202 8737640448 5094 33554432000 1073741824 1073778376 140735987490032 18446744073709551615 237290696192 0 0 0 16800975 18446604468747528320 0 0 -1 3 0 0 0
[pid=11559/tid=11570] ppid=11557 vsize=8532852 CPUtime=0 cores=1,3,5,7
/proc/11559/task/11570/stat : 11570 (java) S 11557 11559 11559 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 18 0 869293202 8737640448 5094 33554432000 1073741824 1073778376 140735987490032 18446744073709551615 237290695577 0 4 0 16800975 18446604468747528320 0 0 -1 5 0 0 0
[pid=11559/tid=11571] ppid=11557 vsize=8532852 CPUtime=0 cores=1,3,5,7
/proc/11559/task/11571/stat : 11571 (java) S 11557 11559 11559 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 18 0 869293202 8737640448 5094 33554432000 1073741824 1073778376 140735987490032 18446744073709551615 237290695577 0 4 0 16800975 18446604468747528320 0 0 -1 5 0 0 0
[pid=11559/tid=11572] ppid=11557 vsize=8532852 CPUtime=0 cores=1,3,5,7
/proc/11559/task/11572/stat : 11572 (java) S 11557 11559 11559 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869293204 8737640448 5094 33554432000 1073741824 1073778376 140735987490032 18446744073709551615 237290703281 0 4 0 16800975 18446604468747528320 0 0 -1 5 0 0 0
[pid=11559/tid=11573] ppid=11557 vsize=8532852 CPUtime=0.01 cores=1,3,5,7
/proc/11559/task/11573/stat : 11573 (java) S 11557 11559 11559 0 -1 4202560 312 0 0 0 1 0 0 0 25 0 18 0 869293204 8737640448 5094 33554432000 1073741824 1073778376 140735987490032 18446744073709551615 237290695577 0 4 0 16800975 18446604468747528320 0 0 -1 3 0 0 0
[pid=11559/tid=11574] ppid=11557 vsize=8532852 CPUtime=0 cores=1,3,5,7
/proc/11559/task/11574/stat : 11574 (java) S 11557 11559 11559 0 -1 4202560 528 0 0 0 0 0 0 0 25 0 18 0 869293204 8737640448 5094 33554432000 1073741824 1073778376 140735987490032 18446744073709551615 237290695577 0 4 0 16800975 18446604468747528320 0 0 -1 3 0 0 0
[pid=11559/tid=11575] ppid=11557 vsize=8532852 CPUtime=0 cores=1,3,5,7
/proc/11559/task/11575/stat : 11575 (java) S 11557 11559 11559 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869293204 8737640448 5095 33554432000 1073741824 1073778376 140735987490032 18446744073709551615 237290695577 0 4 0 16800975 18446604468747528320 0 0 -1 5 0 0 0
[pid=11559/tid=11576] ppid=11557 vsize=8532852 CPUtime=0 cores=1,3,5,7
/proc/11559/task/11576/stat : 11576 (java) S 11557 11559 11559 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869293204 8737640448 5095 33554432000 1073741824 1073778376 140735987490032 18446744073709551615 237290696192 0 4 0 16800975 18446604468747528320 0 0 -1 3 0 0 0
[pid=11406/tid=11413] ppid=11404 vsize=335364 CPUtime=0 cores=1,3,5,7
/proc/11406/task/11413/stat : 11413 (python) S 11404 11406 11000 0 -1 4202560 28 928 0 0 0 0 0 0 18 0 6 0 869274040 343412736 7469 33554432000 4194304 5683644 140736914082112 18446744073709551615 237290703281 0 0 16781312 33554434 18446604468344308096 0 0 -1 5 0 0 0
[pid=11406/tid=11440] ppid=11404 vsize=335364 CPUtime=0 cores=1,3,5,7
/proc/11406/task/11440/stat : 11440 (python) S 11404 11406 11000 0 -1 4202560 28 928 0 0 0 0 0 0 20 0 6 0 869278687 343412736 7469 33554432000 4194304 5683644 140736914082112 18446744073709551615 237290703281 0 0 16781312 33554434 18446604468344308096 0 0 -1 1 0 0 0
[pid=11406/tid=11468] ppid=11404 vsize=335364 CPUtime=0 cores=1,3,5,7
/proc/11406/task/11468/stat : 11468 (python) S 11404 11406 11000 0 -1 4202560 27 928 0 0 0 0 0 0 20 0 6 0 869283598 343412736 7469 33554432000 4194304 5683644 140736914082112 18446744073709551615 237290703281 0 0 16781312 33554434 18446604468344308096 0 0 -1 7 0 0 0
[pid=11406/tid=11477] ppid=11404 vsize=335364 CPUtime=0 cores=1,3,5,7
/proc/11406/task/11477/stat : 11477 (python) S 11404 11406 11000 0 -1 4202560 31 928 0 0 0 0 0 0 20 0 6 0 869288325 343412736 7469 33554432000 4194304 5683644 140736914082112 18446744073709551615 237290703281 0 0 16781312 33554434 18446604468344308096 0 0 -1 1 0 0 0
[pid=11406/tid=11558] ppid=11404 vsize=335364 CPUtime=0 cores=1,3,5,7
/proc/11406/task/11558/stat : 11558 (python) S 11404 11406 11000 0 -1 4202560 29 928 0 0 0 0 0 0 20 0 6 0 869293199 343412736 7469 33554432000 4194304 5683644 140736914082112 18446744073709551615 237290703281 0 0 16781312 33554434 18446604468344308096 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 193.47
Current children cumulated vsize (KiB) 19155184
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11406 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=458930
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=150977
# CPU time returned by wait4() is 0.609907
# while last known CPU time is 193.47
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 192.477
CPU time (s): 193.47
CPU user time (s): 191.67
CPU system time (s): 1.8
CPU usage (%): 100.516
Max. virtual memory (cumulated for all children) (KiB): 19155184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.45893
system time used= 0.150977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14234
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= 2529
involuntary context switches= 17
runsolver used 0.922859 second user time and 2.07868 second system time
The end