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-3482243-1307578729/watcher-3482243-1307578729 -o /tmp/evaluation-result-3482243-1307578729/solver-3482243-1307578729 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482243-1307578729.opb -seed 2097467692 -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.02 2.10 1.91 3/655 659
/proc/meminfo: memFree=23211040/32951124 swapFree=41082008/67111528
[pid=659] ppid=657 vsize=14820 CPUtime=0 cores=0,2,4,6
/proc/659/stat : 659 (python) R 657 659 31366 0 -1 4202496 477 0 0 0 0 0 0 0 20 0 1 0 869470987 15175680 385 33554432000 4194304 5683644 140734097700000 18446744073709551615 228122407883 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/659/statm: 3705 391 238 364 0 192 0
[startup+0.0779181 s]
/proc/loadavg: 2.02 2.10 1.91 3/655 659
/proc/meminfo: memFree=23211040/32951124 swapFree=41082008/67111528
[pid=659] ppid=657 vsize=84492 CPUtime=0.05 cores=0,2,4,6
/proc/659/stat : 659 (python) R 657 659 31366 0 -1 4202496 2243 0 0 0 3 2 0 0 17 0 1 0 869470987 86519808 1990 33554432000 4194304 5683644 140734097700000 18446744073709551615 228117744491 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/659/statm: 21123 1999 617 364 0 1327 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 84492
[startup+0.100914 s]
/proc/loadavg: 2.02 2.10 1.91 3/655 659
/proc/meminfo: memFree=23211040/32951124 swapFree=41082008/67111528
[pid=659] ppid=657 vsize=96128 CPUtime=0.07 cores=0,2,4,6
/proc/659/stat : 659 (python) R 657 659 31366 0 -1 4202496 3169 932 1 0 5 2 0 0 18 0 1 0 869470987 98435072 2483 33554432000 4194304 5683644 140734097700000 18446744073709551615 5158152 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/659/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.300866 s]
/proc/loadavg: 2.02 2.10 1.91 3/655 659
/proc/meminfo: memFree=23211040/32951124 swapFree=41082008/67111528
[pid=659] ppid=657 vsize=168312 CPUtime=0.19 cores=0,2,4,6
/proc/659/stat : 659 (python) R 657 659 31366 0 -1 4202496 5975 932 1 0 13 6 0 0 17 0 1 0 869470987 172351488 4292 33554432000 4194304 5683644 140734097700000 18446744073709551615 228122369377 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/659/statm: 42078 4292 1200 364 0 3295 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 168312
[startup+0.700827 s]
/proc/loadavg: 2.02 2.10 1.91 3/655 659
/proc/meminfo: memFree=23211040/32951124 swapFree=41082008/67111528
[pid=659] ppid=657 vsize=297328 CPUtime=0.54 cores=0,2,4,6
/proc/659/stat : 659 (python) R 657 659 31366 0 -1 4202496 12785 932 1 0 45 9 0 0 17 0 1 0 869470987 304463872 10647 33554432000 4194304 5683644 140734097700000 18446744073709551615 4603005 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/659/statm: 74332 10647 1781 364 0 9225 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 297328
[startup+1.50062 s]
/proc/loadavg: 2.02 2.10 1.91 3/656 664
/proc/meminfo: memFree=23164036/32951124 swapFree=41082008/67111528
[pid=659] ppid=657 vsize=326680 CPUtime=1.34 cores=0,2,4,6
/proc/659/stat : 659 (python) R 657 659 31366 0 -1 4202496 19963 932 1 0 124 10 0 0 18 0 1 0 869470987 334520320 17825 33554432000 4194304 5683644 140734097700000 18446744073709551615 4603065 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/659/statm: 81670 17826 1781 364 0 16563 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 326680
[startup+3.10033 s]
/proc/loadavg: 2.02 2.10 1.91 3/656 664
/proc/meminfo: memFree=23129936/32951124 swapFree=41082008/67111528
[pid=659] ppid=657 vsize=340228 CPUtime=2.93 cores=0,2,4,6
/proc/659/stat : 659 (python) R 657 659 31366 0 -1 4202496 33027 932 1 0 280 13 0 0 20 0 1 0 869470987 348393472 21404 33554432000 4194304 5683644 140734097700000 18446744073709551615 4662490 0 0 16781312 33554434 0 0 0 17 4 0 0 0
/proc/659/statm: 85057 21404 1816 364 0 19950 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 340228
[startup+6.30078 s]
/proc/loadavg: 2.02 2.10 1.91 3/659 668
/proc/meminfo: memFree=23077448/32951124 swapFree=41082008/67111528
[pid=659] ppid=657 vsize=354496 CPUtime=4.2 cores=0,2,4,6
/proc/659/stat : 659 (python) S 657 659 31366 0 -1 4202496 34310 932 1 0 407 13 0 0 25 0 2 0 869470987 363003904 22462 33554432000 4194304 5683644 140734097700000 18446744073709551615 228134540747 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/659/statm: 88624 22462 1870 364 0 23511 0
[pid=666] ppid=659 vsize=344252 CPUtime=0 cores=0,2,4,6
/proc/666/stat : 666 (python) S 659 659 31366 0 -1 4202560 764 0 0 0 0 0 0 0 15 0 1 0 869471424 352514048 20939 33554432000 4194304 5683644 140734097700000 18446744073709551615 228122734095 0 0 16781312 33554946 3911748272078716928 0 0 17 4 0 0 0
/proc/666/statm: 86063 20939 351 364 0 20950 0
[pid=668] ppid=666 vsize=49852 CPUtime=1.91 cores=0,2,4,6
/proc/668/stat : 668 (wbo1.4a) R 666 668 668 0 -1 4202496 18922 0 0 0 189 2 0 0 25 0 1 0 869471424 51048448 11631 33554432000 134512640 135751879 4292689056 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0
/proc/668/statm: 12463 11631 146 303 0 12158 0
[pid=659/tid=667] ppid=657 vsize=354496 CPUtime=0 cores=0,2,4,6
/proc/659/task/667/stat : 667 (python) S 657 659 31366 0 -1 4202560 26 932 0 0 0 0 0 0 25 0 2 0 869471424 363003904 22462 33554432000 4194304 5683644 140734097700000 18446744073709551615 228134537649 0 0 16781312 33554434 18446604443270414400 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 748600
[startup+12.7006 s]
/proc/loadavg: 2.01 2.09 1.91 3/659 668
/proc/meminfo: memFree=23072528/32951124 swapFree=41082008/67111528
[pid=659] ppid=657 vsize=354496 CPUtime=4.2 cores=0,2,4,6
/proc/659/stat : 659 (python) S 657 659 31366 0 -1 4202496 34310 932 1 0 407 13 0 0 25 0 2 0 869470987 363003904 22462 33554432000 4194304 5683644 140734097700000 18446744073709551615 228134540747 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/659/statm: 88624 22462 1870 364 0 23511 0
[pid=666] ppid=659 vsize=344252 CPUtime=0.04 cores=0,2,4,6
/proc/666/stat : 666 (python) S 659 659 31366 0 -1 4202560 908 0 0 0 2 2 0 0 15 0 1 0 869471424 352514048 20963 33554432000 4194304 5683644 140734097700000 18446744073709551615 228122734095 0 0 16781312 33554946 72409437758827310 0 0 17 4 0 0 0
/proc/666/statm: 86063 20963 375 364 0 20950 0
[pid=668] ppid=666 vsize=55156 CPUtime=8.3 cores=0,2,4,6
/proc/668/stat : 668 (wbo1.4a) R 666 668 668 0 -1 4202496 20812 0 0 0 826 4 0 0 25 0 1 0 869471424 56479744 12839 33554432000 134512640 135751879 4292689056 18446744073709551615 134611297 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/668/statm: 13789 12839 146 303 0 13484 0
[pid=659/tid=667] ppid=657 vsize=354496 CPUtime=0 cores=0,2,4,6
/proc/659/task/667/stat : 667 (python) S 657 659 31366 0 -1 4202560 26 932 0 0 0 0 0 0 25 0 2 0 869471424 363003904 22462 33554432000 4194304 5683644 140734097700000 18446744073709551615 228134537649 0 0 16781312 33554434 18446604443270414400 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 753904
[startup+25.5003 s]
/proc/loadavg: 2.16 2.12 1.92 3/659 668
/proc/meminfo: memFree=23067876/32951124 swapFree=41082008/67111528
[pid=659] ppid=657 vsize=354496 CPUtime=4.2 cores=0,2,4,6
/proc/659/stat : 659 (python) S 657 659 31366 0 -1 4202496 34310 932 1 0 407 13 0 0 25 0 2 0 869470987 363003904 22462 33554432000 4194304 5683644 140734097700000 18446744073709551615 228134540747 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/659/statm: 88624 22462 1870 364 0 23511 0
[pid=666] ppid=659 vsize=344252 CPUtime=0.11 cores=0,2,4,6
/proc/666/stat : 666 (python) S 659 659 31366 0 -1 4202560 913 0 0 0 5 6 0 0 15 0 1 0 869471424 352514048 20963 33554432000 4194304 5683644 140734097700000 18446744073709551615 228122734095 0 0 16781312 33554946 72556772316949294 0 0 17 6 0 0 0
/proc/666/statm: 86063 20963 375 364 0 20950 0
[pid=668] ppid=666 vsize=57416 CPUtime=21.11 cores=0,2,4,6
/proc/668/stat : 668 (wbo1.4a) R 666 668 668 0 -1 4202496 22683 0 0 0 2101 10 0 0 25 0 1 0 869471424 58793984 13451 33554432000 134512640 135751879 4292689056 18446744073709551615 134616465 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/668/statm: 14354 13451 146 303 0 14049 0
[pid=659/tid=667] ppid=657 vsize=354496 CPUtime=0 cores=0,2,4,6
/proc/659/task/667/stat : 667 (python) S 657 659 31366 0 -1 4202560 26 932 0 0 0 0 0 0 25 0 2 0 869471424 363003904 22462 33554432000 4194304 5683644 140734097700000 18446744073709551615 228134537649 0 0 16781312 33554434 18446604443270414400 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 756164
[startup+51.1007 s]
/proc/loadavg: 2.10 2.11 1.92 3/659 669
/proc/meminfo: memFree=23037324/32951124 swapFree=41082008/67111528
[pid=659] ppid=657 vsize=354496 CPUtime=4.2 cores=0,2,4,6
/proc/659/stat : 659 (python) S 657 659 31366 0 -1 4202496 34310 932 1 0 407 13 0 0 25 0 2 0 869470987 363003904 22462 33554432000 4194304 5683644 140734097700000 18446744073709551615 228134540747 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/659/statm: 88624 22462 1870 364 0 23511 0
[pid=666] ppid=659 vsize=344252 CPUtime=0.2 cores=0,2,4,6
/proc/666/stat : 666 (python) S 659 659 31366 0 -1 4202560 925 0 0 0 9 11 0 0 15 0 1 0 869471424 352514048 20963 33554432000 4194304 5683644 140734097700000 18446744073709551615 228122734095 0 0 16781312 33554946 4294934787 0 0 17 6 0 0 0
/proc/666/statm: 86063 20963 375 364 0 20950 0
[pid=668] ppid=666 vsize=81188 CPUtime=46.7 cores=0,2,4,6
/proc/668/stat : 668 (wbo1.4a) R 666 668 668 0 -1 4202496 29623 0 0 0 4652 18 0 0 25 0 1 0 869471424 83136512 19273 33554432000 134512640 135751879 4292689056 18446744073709551615 134616336 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/668/statm: 20297 19273 146 303 0 19992 0
[pid=659/tid=667] ppid=657 vsize=354496 CPUtime=0 cores=0,2,4,6
/proc/659/task/667/stat : 667 (python) S 657 659 31366 0 -1 4202560 26 932 0 0 0 0 0 0 25 0 2 0 869471424 363003904 22462 33554432000 4194304 5683644 140734097700000 18446744073709551615 228134537649 0 0 16781312 33554434 18446604443270414400 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 779936
[startup+102.319 s]
/proc/loadavg: 2.05 2.09 1.92 3/670 790
/proc/meminfo: memFree=21392440/32951124 swapFree=41082008/67111528
[pid=659] ppid=657 vsize=375008 CPUtime=4.26 cores=0,2,4,6
/proc/659/stat : 659 (python) S 657 659 31366 0 -1 4202496 36069 932 1 0 412 14 0 0 20 0 4 0 869470987 384008192 22475 33554432000 4194304 5683644 140734097700000 18446744073709551615 228134540747 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/659/statm: 93752 22475 1875 364 0 28633 0
[pid=666] ppid=659 vsize=354496 CPUtime=0.22 cores=0,2,4,6
/proc/666/stat : 666 (python) S 659 659 31366 0 -1 4202560 1087 0 0 0 10 12 0 0 17 0 2 0 869471424 363003904 20999 33554432000 4194304 5683644 140734097700000 18446744073709551615 228134540747 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/666/statm: 88624 20999 406 364 0 23511 0
[pid=668] ppid=666 vsize=81188 CPUtime=47.66 cores=0,2,4,6
/proc/668/stat : 668 (wbo1.4a) T 666 668 668 0 -1 4202496 29623 0 0 0 4747 19 0 0 25 0 1 0 869471424 83136512 19273 33554432000 134512640 135751879 4292689056 18446744073709551615 134616514 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/668/statm: 20297 19273 146 303 0 19992 0
[pid=666/tid=670] ppid=659 vsize=354496 CPUtime=0 cores=0,2,4,6
/proc/666/task/670/stat : 670 (python) S 659 659 31366 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 869476192 363003904 20999 33554432000 4194304 5683644 140734097700000 18446744073709551615 228134537649 0 0 16781312 33554946 18446604443527303424 0 0 -1 6 0 0 0
[pid=671] ppid=659 vsize=354508 CPUtime=0.2 cores=0,2,4,6
/proc/671/stat : 671 (python) S 659 659 31366 0 -1 4202560 1123 0 0 0 11 9 0 0 16 0 2 0 869476194 363016192 20989 33554432000 4194304 5683644 140734097700000 18446744073709551615 228134540747 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/671/statm: 88627 20989 396 364 0 23511 0
[pid=673] ppid=671 vsize=1014812 CPUtime=46.82 cores=0,2,4,6
/proc/673/stat : 673 (scip-2.0.1.linu) T 671 673 673 0 -1 4202496 251376 0 0 0 4583 99 0 0 25 0 1 0 869476195 1039167488 247235 33554432000 4194304 13684479 140737323304176 18446744073709551615 4865653 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/673/statm: 253703 247235 659 2317 0 251381 0
[pid=671/tid=769] ppid=659 vsize=354508 CPUtime=0 cores=0,2,4,6
/proc/671/task/769/stat : 769 (python) S 659 659 31366 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869480878 363016192 20989 33554432000 4194304 5683644 140734097700000 18446744073709551615 228134537649 0 0 16781312 33554946 18446604453937865728 0 0 -1 0 0 0 0
[pid=770] ppid=659 vsize=364764 CPUtime=0 cores=0,2,4,6
/proc/770/stat : 770 (python) S 659 659 31366 0 -1 4202560 793 0 0 0 0 0 0 0 15 0 1 0 869480880 373518336 20944 33554432000 4194304 5683644 140734097700000 18446744073709551615 228122734150 0 0 16781312 33554946 1574567188608581632 0 0 17 6 0 0 0
/proc/770/statm: 91191 20944 348 364 0 26072 0
[pid=772] ppid=770 vsize=8550996 CPUtime=5.24 cores=0,2,4,6
/proc/772/stat : 772 (java) S 770 772 772 0 -1 4202496 154709 0 1 0 506 18 0 0 20 0 19 0 869480881 8756219904 150682 33554432000 1073741824 1073778376 140735980866176 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/772/statm: 2137749 150686 2242 9 0 2128490 0
[pid=772/tid=773] ppid=770 vsize=8550996 CPUtime=3.23 cores=0,2,4,6
/proc/772/task/773/stat : 773 (java) R 770 772 772 0 -1 4202560 119172 0 1 0 310 13 0 0 19 0 19 0 869480882 8756219904 150689 33554432000 1073741824 1073778376 140735980866176 18446744073709551615 46912505793727 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=772/tid=774] ppid=770 vsize=8550996 CPUtime=0.06 cores=0,2,4,6
/proc/772/task/774/stat : 774 (java) S 770 772 772 0 -1 4202560 4631 0 0 0 6 0 0 0 16 0 19 0 869480882 8756219904 150693 33554432000 1073741824 1073778376 140735980866176 18446744073709551615 228134529945 0 4 0 16800975 18446604443270416192 0 0 -1 6 0 0 0
[pid=772/tid=775] ppid=770 vsize=8550996 CPUtime=0.1 cores=0,2,4,6
/proc/772/task/775/stat : 775 (java) S 770 772 772 0 -1 4202560 7407 0 0 0 9 1 0 0 16 0 19 0 869480882 8756219904 150697 33554432000 1073741824 1073778376 140735980866176 18446744073709551615 228134529945 0 4 0 16800975 18446604443270416192 0 0 -1 4 0 0 0
[pid=772/tid=776] ppid=770 vsize=8550996 CPUtime=0 cores=0,2,4,6
/proc/772/task/776/stat : 776 (java) S 770 772 772 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 19 0 869480882 8756219904 150701 33554432000 1073741824 1073778376 140735980866176 18446744073709551615 228134529945 0 4 0 16800975 18446604443270416192 0 0 -1 4 0 0 0
[pid=772/tid=777] ppid=770 vsize=8550996 CPUtime=0.04 cores=0,2,4,6
/proc/772/task/777/stat : 777 (java) S 770 772 772 0 -1 4202560 3175 0 0 0 4 0 0 0 15 0 19 0 869480882 8756219904 150706 33554432000 1073741824 1073778376 140735980866176 18446744073709551615 228134529945 0 4 0 16800975 18446604443270416192 0 0 -1 6 0 0 0
[pid=772/tid=778] ppid=770 vsize=8550996 CPUtime=0.04 cores=0,2,4,6
/proc/772/task/778/stat : 778 (java) S 770 772 772 0 -1 4202560 3539 0 0 0 4 0 0 0 16 0 19 0 869480882 8756219904 150709 33554432000 1073741824 1073778376 140735980866176 18446744073709551615 228134529945 0 4 0 16800975 18446604443270416192 0 0 -1 0 0 0 0
[pid=772/tid=779] ppid=770 vsize=8550996 CPUtime=0.01 cores=0,2,4,6
/proc/772/task/779/stat : 779 (java) S 770 772 772 0 -1 4202560 926 0 0 0 1 0 0 0 15 0 19 0 869480882 8756219904 150713 33554432000 1073741824 1073778376 140735980866176 18446744073709551615 228134529945 0 4 0 16800975 18446604443270416192 0 0 -1 0 0 0 0
[pid=772/tid=780] ppid=770 vsize=8550996 CPUtime=0 cores=0,2,4,6
/proc/772/task/780/stat : 780 (java) S 770 772 772 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869480882 8756219904 150717 33554432000 1073741824 1073778376 140735980866176 18446744073709551615 228134529945 0 4 0 16800975 18446604443270416192 0 0 -1 0 0 0 0
[pid=772/tid=781] ppid=770 vsize=8550996 CPUtime=0.03 cores=0,2,4,6
/proc/772/task/781/stat : 781 (java) S 770 772 772 0 -1 4202560 2658 0 0 0 3 0 0 0 16 0 19 0 869480882 8756219904 150720 33554432000 1073741824 1073778376 140735980866176 18446744073709551615 228134529945 0 4 0 16800975 18446604443270416192 0 0 -1 2 0 0 0
[pid=772/tid=782] ppid=770 vsize=8550996 CPUtime=0 cores=0,2,4,6
/proc/772/task/782/stat : 782 (java) S 770 772 772 0 -1 4202560 198 0 0 0 0 0 0 0 15 0 19 0 869480883 8756219904 150724 33554432000 1073741824 1073778376 140735980866176 18446744073709551615 228134530560 0 0 0 16800975 18446604443270416192 0 0 -1 0 0 0 0
[pid=772/tid=783] ppid=770 vsize=8550996 CPUtime=0 cores=0,2,4,6
/proc/772/task/783/stat : 783 (java) S 770 772 772 0 -1 4202560 18 0 0 0 0 0 0 0 19 0 19 0 869480884 8756219904 150728 33554432000 1073741824 1073778376 140735980866176 18446744073709551615 228134529945 0 4 0 16800975 18446604443270416192 0 0 -1 6 0 0 0
################
# More data... #
################
/proc/673/stat : 673 (scip-2.0.1.linu) T 671 673 673 0 -1 4202496 251376 0 0 0 4583 99 0 0 25 0 1 0 869476195 1039167488 247235 33554432000 4194304 13684479 140737323304176 18446744073709551615 4865653 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/673/statm: 253703 247235 659 2317 0 251381 0
[pid=671/tid=769] ppid=659 vsize=354508 CPUtime=0 cores=0,2,4,6
/proc/671/task/769/stat : 769 (python) S 659 659 31366 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869480878 363016192 20989 33554432000 4194304 5683644 140734097700000 18446744073709551615 228134537649 0 0 16781312 33554946 18446604453937865728 0 0 -1 0 0 0 0
[pid=770] ppid=659 vsize=364764 CPUtime=0.21 cores=0,2,4,6
/proc/770/stat : 770 (python) S 659 659 31366 0 -1 4202560 1107 0 0 0 11 10 0 0 16 0 2 0 869480880 373518336 20993 33554432000 4194304 5683644 140734097700000 18446744073709551615 228134540747 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/770/statm: 91191 20993 396 364 0 26072 0
[pid=772] ppid=770 vsize=8546768 CPUtime=50.31 cores=0,2,4,6
/proc/772/stat : 772 (java) T 770 772 772 0 -1 4202496 722985 0 1 0 4950 81 0 0 18 0 19 0 869480881 8751890432 711149 33554432000 1073741824 1073778376 140735980866176 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/772/statm: 2136692 711149 2246 9 0 2127433 0
[pid=772/tid=773] ppid=770 vsize=8546768 CPUtime=46.96 cores=0,2,4,6
/proc/772/task/773/stat : 773 (java) T 770 772 772 0 -1 4202560 630546 0 1 0 4629 67 0 0 25 0 19 0 869480882 8751890432 711149 33554432000 1073741824 1073778376 140735980866176 18446744073709551615 46912505793713 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=772/tid=774] ppid=770 vsize=8546768 CPUtime=0.18 cores=0,2,4,6
/proc/772/task/774/stat : 774 (java) T 770 772 772 0 -1 4202560 11869 0 0 0 17 1 0 0 15 0 19 0 869480882 8751890432 711149 33554432000 1073741824 1073778376 140735980866176 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=772/tid=775] ppid=770 vsize=8546768 CPUtime=0.23 cores=0,2,4,6
/proc/772/task/775/stat : 775 (java) T 770 772 772 0 -1 4202560 14982 0 0 0 21 2 0 0 15 0 19 0 869480882 8751890432 711149 33554432000 1073741824 1073778376 140735980866176 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=772/tid=776] ppid=770 vsize=8546768 CPUtime=0.14 cores=0,2,4,6
/proc/772/task/776/stat : 776 (java) T 770 772 772 0 -1 4202560 9258 0 0 0 13 1 0 0 15 0 19 0 869480882 8751890432 711149 33554432000 1073741824 1073778376 140735980866176 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=772/tid=777] ppid=770 vsize=8546768 CPUtime=0.16 cores=0,2,4,6
/proc/772/task/777/stat : 777 (java) T 770 772 772 0 -1 4202560 10701 0 0 0 15 1 0 0 15 0 19 0 869480882 8751890432 711149 33554432000 1073741824 1073778376 140735980866176 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=772/tid=778] ppid=770 vsize=8546768 CPUtime=0.21 cores=0,2,4,6
/proc/772/task/778/stat : 778 (java) T 770 772 772 0 -1 4202560 12012 0 0 0 19 2 0 0 15 0 19 0 869480882 8751890432 711149 33554432000 1073741824 1073778376 140735980866176 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=772/tid=779] ppid=770 vsize=8546768 CPUtime=0.09 cores=0,2,4,6
/proc/772/task/779/stat : 779 (java) T 770 772 772 0 -1 4202560 5743 0 0 0 9 0 0 0 15 0 19 0 869480882 8751890432 711149 33554432000 1073741824 1073778376 140735980866176 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=772/tid=780] ppid=770 vsize=8546768 CPUtime=0.08 cores=0,2,4,6
/proc/772/task/780/stat : 780 (java) T 770 772 772 0 -1 4202560 4513 0 0 0 8 0 0 0 15 0 19 0 869480882 8751890432 711149 33554432000 1073741824 1073778376 140735980866176 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=772/tid=781] ppid=770 vsize=8546768 CPUtime=0.14 cores=0,2,4,6
/proc/772/task/781/stat : 781 (java) T 770 772 772 0 -1 4202560 9129 0 0 0 13 1 0 0 15 0 19 0 869480882 8751890432 711149 33554432000 1073741824 1073778376 140735980866176 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=772/tid=782] ppid=770 vsize=8546768 CPUtime=0 cores=0,2,4,6
/proc/772/task/782/stat : 782 (java) T 770 772 772 0 -1 4202560 1274 0 0 0 0 0 0 0 15 0 19 0 869480883 8751890432 711149 33554432000 1073741824 1073778376 140735980866176 18446744073709551615 228134530560 0 0 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=772/tid=783] ppid=770 vsize=8546768 CPUtime=0 cores=0,2,4,6
/proc/772/task/783/stat : 783 (java) T 770 772 772 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 869480884 8751890432 711149 33554432000 1073741824 1073778376 140735980866176 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=772/tid=784] ppid=770 vsize=8546768 CPUtime=0 cores=0,2,4,6
/proc/772/task/784/stat : 784 (java) T 770 772 772 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869480884 8751890432 711149 33554432000 1073741824 1073778376 140735980866176 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=772/tid=785] ppid=770 vsize=8546768 CPUtime=0 cores=0,2,4,6
/proc/772/task/785/stat : 785 (java) T 770 772 772 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869480886 8751890432 711149 33554432000 1073741824 1073778376 140735980866176 18446744073709551615 228134537649 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=772/tid=786] ppid=770 vsize=8546768 CPUtime=0.97 cores=0,2,4,6
/proc/772/task/786/stat : 786 (java) T 770 772 772 0 -1 4202560 2069 0 0 0 97 0 0 0 15 0 19 0 869480886 8751890432 711149 33554432000 1073741824 1073778376 140735980866176 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=772/tid=787] ppid=770 vsize=8546768 CPUtime=1.05 cores=0,2,4,6
/proc/772/task/787/stat : 787 (java) T 770 772 772 0 -1 4202560 9496 0 0 0 104 1 0 0 15 0 19 0 869480886 8751890432 711149 33554432000 1073741824 1073778376 140735980866176 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=772/tid=788] ppid=770 vsize=8546768 CPUtime=0 cores=0,2,4,6
/proc/772/task/788/stat : 788 (java) T 770 772 772 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869480886 8751890432 711149 33554432000 1073741824 1073778376 140735980866176 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=772/tid=789] ppid=770 vsize=8546768 CPUtime=0 cores=0,2,4,6
/proc/772/task/789/stat : 789 (java) T 770 772 772 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869480886 8751890432 711149 33554432000 1073741824 1073778376 140735980866176 18446744073709551615 228134530560 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=772/tid=790] ppid=770 vsize=8546768 CPUtime=0 cores=0,2,4,6
/proc/772/task/790/stat : 790 (java) T 770 772 772 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869481064 8751890432 711149 33554432000 1073741824 1073778376 140735980866176 18446744073709551615 228134530560 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=770/tid=796] ppid=659 vsize=364764 CPUtime=0 cores=0,2,4,6
/proc/770/task/796/stat : 796 (python) S 659 659 31366 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869485622 373518336 20993 33554432000 4194304 5683644 140734097700000 18446744073709551615 228134537649 0 0 16781312 33554946 18446604453648154944 0 0 -1 0 0 0 0
[pid=797] ppid=659 vsize=375020 CPUtime=6.65 cores=0,2,4,6
/proc/797/stat : 797 (python) S 659 659 31366 0 -1 4202560 1074 0 0 0 325 340 0 0 15 0 1 0 869485624 384020480 20973 33554432000 4194304 5683644 140734097700000 18446744073709551615 228122734150 0 0 16781312 33554946 72409437758827310 0 0 17 4 0 0 0
/proc/797/statm: 93755 20973 373 364 0 28633 0
[pid=799] ppid=797 vsize=1230092 CPUtime=1635.96 cores=0,2,4,6
/proc/799/stat : 799 (bsolo_pb10) R 797 799 799 0 -1 4202496 20283269 0 0 0 161415 2181 0 0 25 0 1 0 869485624 1259614208 304918 33554432000 134512640 137138936 4294508576 18446744073709551615 134542770 0 0 16781312 16384 0 0 0 17 0 0 0 0
/proc/799/statm: 307523 304918 192 642 0 306879 0
[pid=659/tid=667] ppid=657 vsize=385264 CPUtime=0 cores=0,2,4,6
/proc/659/task/667/stat : 667 (python) S 657 659 31366 0 -1 4202560 26 932 0 0 0 0 0 0 25 0 5 0 869471424 394510336 22481 33554432000 4194304 5683644 140734097700000 18446744073709551615 228134537649 0 0 16781312 33554434 18446604443270414400 0 0 -1 6 0 0 0
[pid=659/tid=672] ppid=657 vsize=385264 CPUtime=0 cores=0,2,4,6
/proc/659/task/672/stat : 672 (python) S 657 659 31366 0 -1 4202560 30 932 0 0 0 0 0 0 20 0 5 0 869476195 394510336 22481 33554432000 4194304 5683644 140734097700000 18446744073709551615 228134537649 0 0 16781312 33554434 18446604443270414400 0 0 -1 0 0 0 0
[pid=659/tid=771] ppid=657 vsize=385264 CPUtime=0 cores=0,2,4,6
/proc/659/task/771/stat : 771 (python) S 657 659 31366 0 -1 4202560 31 932 0 0 0 0 0 0 20 0 5 0 869480881 394510336 22481 33554432000 4194304 5683644 140734097700000 18446744073709551615 228134537649 0 0 16781312 33554434 18446604443270414400 0 0 -1 6 0 0 0
[pid=659/tid=798] ppid=657 vsize=385264 CPUtime=0 cores=0,2,4,6
/proc/659/task/798/stat : 798 (python) S 657 659 31366 0 -1 4202560 31 932 0 0 0 0 0 0 20 0 5 0 869485624 394510336 22481 33554432000 4194304 5683644 140734097700000 18446744073709551615 228134537649 0 0 16781312 33554434 18446604443270414400 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1792.31
Current children cumulated vsize (KiB) 12706912
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1790 s]
/proc/loadavg: 1.00 1.02 1.21 3/688 931
/proc/meminfo: memFree=13451464/32951124 swapFree=41082008/67111528
[pid=659] ppid=657 vsize=385264 CPUtime=4.28 cores=0,2,4,6
/proc/659/stat : 659 (python) S 657 659 31366 0 -1 4202496 36955 932 1 0 414 14 0 0 20 0 5 0 869470987 394510336 22481 33554432000 4194304 5683644 140734097700000 18446744073709551615 228134540747 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/659/statm: 96316 22481 1877 364 0 31194 0
[pid=666] ppid=659 vsize=354496 CPUtime=0.22 cores=0,2,4,6
/proc/666/stat : 666 (python) S 659 659 31366 0 -1 4202560 1087 0 0 0 10 12 0 0 17 0 2 0 869471424 363003904 20999 33554432000 4194304 5683644 140734097700000 18446744073709551615 228134540747 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/666/statm: 88624 20999 406 364 0 23511 0
[pid=668] ppid=666 vsize=81188 CPUtime=47.66 cores=0,2,4,6
/proc/668/stat : 668 (wbo1.4a) T 666 668 668 0 -1 4202496 29623 0 0 0 4747 19 0 0 25 0 1 0 869471424 83136512 19273 33554432000 134512640 135751879 4292689056 18446744073709551615 134616514 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/668/statm: 20297 19273 146 303 0 19992 0
[pid=666/tid=670] ppid=659 vsize=354496 CPUtime=0 cores=0,2,4,6
/proc/666/task/670/stat : 670 (python) S 659 659 31366 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 869476192 363003904 20999 33554432000 4194304 5683644 140734097700000 18446744073709551615 228134537649 0 0 16781312 33554946 18446604443527303424 0 0 -1 6 0 0 0
[pid=671] ppid=659 vsize=354508 CPUtime=0.2 cores=0,2,4,6
/proc/671/stat : 671 (python) S 659 659 31366 0 -1 4202560 1123 0 0 0 11 9 0 0 16 0 2 0 869476194 363016192 20989 33554432000 4194304 5683644 140734097700000 18446744073709551615 228134540747 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/671/statm: 88627 20989 396 364 0 23511 0
[pid=673] ppid=671 vsize=1014812 CPUtime=46.82 cores=0,2,4,6
/proc/673/stat : 673 (scip-2.0.1.linu) T 671 673 673 0 -1 4202496 251376 0 0 0 4583 99 0 0 25 0 1 0 869476195 1039167488 247235 33554432000 4194304 13684479 140737323304176 18446744073709551615 4865653 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/673/statm: 253703 247235 659 2317 0 251381 0
[pid=671/tid=769] ppid=659 vsize=354508 CPUtime=0 cores=0,2,4,6
/proc/671/task/769/stat : 769 (python) S 659 659 31366 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869480878 363016192 20989 33554432000 4194304 5683644 140734097700000 18446744073709551615 228134537649 0 0 16781312 33554946 18446604453937865728 0 0 -1 0 0 0 0
[pid=770] ppid=659 vsize=364764 CPUtime=0.21 cores=0,2,4,6
/proc/770/stat : 770 (python) S 659 659 31366 0 -1 4202560 1107 0 0 0 11 10 0 0 16 0 2 0 869480880 373518336 20993 33554432000 4194304 5683644 140734097700000 18446744073709551615 228134540747 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/770/statm: 91191 20993 396 364 0 26072 0
[pid=772] ppid=770 vsize=8546768 CPUtime=50.31 cores=0,2,4,6
/proc/772/stat : 772 (java) T 770 772 772 0 -1 4202496 722985 0 1 0 4950 81 0 0 18 0 19 0 869480881 8751890432 711149 33554432000 1073741824 1073778376 140735980866176 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/772/statm: 2136692 711149 2246 9 0 2127433 0
[pid=772/tid=773] ppid=770 vsize=8546768 CPUtime=46.96 cores=0,2,4,6
/proc/772/task/773/stat : 773 (java) T 770 772 772 0 -1 4202560 630546 0 1 0 4629 67 0 0 25 0 19 0 869480882 8751890432 711149 33554432000 1073741824 1073778376 140735980866176 18446744073709551615 46912505793713 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=772/tid=774] ppid=770 vsize=8546768 CPUtime=0.18 cores=0,2,4,6
/proc/772/task/774/stat : 774 (java) T 770 772 772 0 -1 4202560 11869 0 0 0 17 1 0 0 15 0 19 0 869480882 8751890432 711149 33554432000 1073741824 1073778376 140735980866176 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=772/tid=775] ppid=770 vsize=8546768 CPUtime=0.23 cores=0,2,4,6
/proc/772/task/775/stat : 775 (java) T 770 772 772 0 -1 4202560 14982 0 0 0 21 2 0 0 15 0 19 0 869480882 8751890432 711149 33554432000 1073741824 1073778376 140735980866176 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=772/tid=776] ppid=770 vsize=8546768 CPUtime=0.14 cores=0,2,4,6
/proc/772/task/776/stat : 776 (java) T 770 772 772 0 -1 4202560 9258 0 0 0 13 1 0 0 15 0 19 0 869480882 8751890432 711149 33554432000 1073741824 1073778376 140735980866176 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=772/tid=777] ppid=770 vsize=8546768 CPUtime=0.16 cores=0,2,4,6
/proc/772/task/777/stat : 777 (java) T 770 772 772 0 -1 4202560 10701 0 0 0 15 1 0 0 15 0 19 0 869480882 8751890432 711149 33554432000 1073741824 1073778376 140735980866176 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=772/tid=778] ppid=770 vsize=8546768 CPUtime=0.21 cores=0,2,4,6
/proc/772/task/778/stat : 778 (java) T 770 772 772 0 -1 4202560 12012 0 0 0 19 2 0 0 15 0 19 0 869480882 8751890432 711149 33554432000 1073741824 1073778376 140735980866176 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=772/tid=779] ppid=770 vsize=8546768 CPUtime=0.09 cores=0,2,4,6
/proc/772/task/779/stat : 779 (java) T 770 772 772 0 -1 4202560 5743 0 0 0 9 0 0 0 15 0 19 0 869480882 8751890432 711149 33554432000 1073741824 1073778376 140735980866176 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=772/tid=780] ppid=770 vsize=8546768 CPUtime=0.08 cores=0,2,4,6
/proc/772/task/780/stat : 780 (java) T 770 772 772 0 -1 4202560 4513 0 0 0 8 0 0 0 15 0 19 0 869480882 8751890432 711149 33554432000 1073741824 1073778376 140735980866176 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=772/tid=781] ppid=770 vsize=8546768 CPUtime=0.14 cores=0,2,4,6
/proc/772/task/781/stat : 781 (java) T 770 772 772 0 -1 4202560 9129 0 0 0 13 1 0 0 15 0 19 0 869480882 8751890432 711149 33554432000 1073741824 1073778376 140735980866176 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=772/tid=782] ppid=770 vsize=8546768 CPUtime=0 cores=0,2,4,6
/proc/772/task/782/stat : 782 (java) T 770 772 772 0 -1 4202560 1274 0 0 0 0 0 0 0 15 0 19 0 869480883 8751890432 711149 33554432000 1073741824 1073778376 140735980866176 18446744073709551615 228134530560 0 0 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=772/tid=783] ppid=770 vsize=8546768 CPUtime=0 cores=0,2,4,6
/proc/772/task/783/stat : 783 (java) T 770 772 772 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 869480884 8751890432 711149 33554432000 1073741824 1073778376 140735980866176 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=772/tid=784] ppid=770 vsize=8546768 CPUtime=0 cores=0,2,4,6
/proc/772/task/784/stat : 784 (java) T 770 772 772 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869480884 8751890432 711149 33554432000 1073741824 1073778376 140735980866176 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=772/tid=785] ppid=770 vsize=8546768 CPUtime=0 cores=0,2,4,6
/proc/772/task/785/stat : 785 (java) T 770 772 772 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869480886 8751890432 711149 33554432000 1073741824 1073778376 140735980866176 18446744073709551615 228134537649 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=772/tid=786] ppid=770 vsize=8546768 CPUtime=0.97 cores=0,2,4,6
/proc/772/task/786/stat : 786 (java) T 770 772 772 0 -1 4202560 2069 0 0 0 97 0 0 0 15 0 19 0 869480886 8751890432 711149 33554432000 1073741824 1073778376 140735980866176 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=772/tid=787] ppid=770 vsize=8546768 CPUtime=1.05 cores=0,2,4,6
/proc/772/task/787/stat : 787 (java) T 770 772 772 0 -1 4202560 9496 0 0 0 104 1 0 0 15 0 19 0 869480886 8751890432 711149 33554432000 1073741824 1073778376 140735980866176 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=772/tid=788] ppid=770 vsize=8546768 CPUtime=0 cores=0,2,4,6
/proc/772/task/788/stat : 788 (java) T 770 772 772 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869480886 8751890432 711149 33554432000 1073741824 1073778376 140735980866176 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=772/tid=789] ppid=770 vsize=8546768 CPUtime=0 cores=0,2,4,6
/proc/772/task/789/stat : 789 (java) T 770 772 772 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869480886 8751890432 711149 33554432000 1073741824 1073778376 140735980866176 18446744073709551615 228134530560 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=772/tid=790] ppid=770 vsize=8546768 CPUtime=0 cores=0,2,4,6
/proc/772/task/790/stat : 790 (java) T 770 772 772 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869481064 8751890432 711149 33554432000 1073741824 1073778376 140735980866176 18446744073709551615 228134530560 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=770/tid=796] ppid=659 vsize=364764 CPUtime=0 cores=0,2,4,6
/proc/770/task/796/stat : 796 (python) S 659 659 31366 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869485622 373518336 20993 33554432000 4194304 5683644 140734097700000 18446744073709551615 228134537649 0 0 16781312 33554946 18446604453648154944 0 0 -1 0 0 0 0
[pid=797] ppid=659 vsize=375020 CPUtime=6.7 cores=0,2,4,6
/proc/797/stat : 797 (python) R 659 659 31366 0 -1 4202560 1074 0 0 0 328 342 0 0 16 0 1 0 869485624 384020480 20973 33554432000 4194304 5683644 140734097700000 18446744073709551615 228122757255 0 0 16781312 33554946 0 0 0 17 4 0 0 0
/proc/797/statm: 93756 20973 373 364 0 28634 0
[pid=799] ppid=797 vsize=1233004 CPUtime=1643.67 cores=0,2,4,6
/proc/799/stat : 799 (bsolo_pb10) R 797 799 799 0 -1 4202496 20321027 0 0 0 162181 2186 0 0 25 0 1 0 869485624 1262596096 305639 33554432000 134512640 137138936 4294508576 18446744073709551615 134542787 0 0 16781312 16384 0 0 0 17 0 0 0 0
/proc/799/statm: 308251 305639 192 642 0 307607 0
[pid=659/tid=667] ppid=657 vsize=385264 CPUtime=0 cores=0,2,4,6
/proc/659/task/667/stat : 667 (python) S 657 659 31366 0 -1 4202560 26 932 0 0 0 0 0 0 25 0 5 0 869471424 394510336 22481 33554432000 4194304 5683644 140734097700000 18446744073709551615 228134537649 0 0 16781312 33554434 18446604443270414400 0 0 -1 6 0 0 0
[pid=659/tid=672] ppid=657 vsize=385264 CPUtime=0 cores=0,2,4,6
/proc/659/task/672/stat : 672 (python) S 657 659 31366 0 -1 4202560 30 932 0 0 0 0 0 0 20 0 5 0 869476195 394510336 22481 33554432000 4194304 5683644 140734097700000 18446744073709551615 228134537649 0 0 16781312 33554434 18446604443270414400 0 0 -1 0 0 0 0
[pid=659/tid=771] ppid=657 vsize=385264 CPUtime=0 cores=0,2,4,6
/proc/659/task/771/stat : 771 (python) S 657 659 31366 0 -1 4202560 31 932 0 0 0 0 0 0 20 0 5 0 869480881 394510336 22481 33554432000 4194304 5683644 140734097700000 18446744073709551615 228134537649 0 0 16781312 33554434 18446604443270414400 0 0 -1 6 0 0 0
[pid=659/tid=798] ppid=657 vsize=385264 CPUtime=0 cores=0,2,4,6
/proc/659/task/798/stat : 798 (python) S 657 659 31366 0 -1 4202560 31 932 0 0 0 0 0 0 20 0 5 0 869485624 394510336 22481 33554432000 4194304 5683644 140734097700000 18446744073709551615 228134537649 0 0 16781312 33554434 18446604443270414400 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 12709824
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 659 and gives
# childrusage.ru_utime.tv_sec=4
# childrusage.ru_utime.tv_usec=150369
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=153976
# CPU time returned by wait4() is 4.30435
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1790.06
CPU time (s): 1800.07
CPU user time (s): 1772.35
CPU system time (s): 27.72
CPU usage (%): 100.559
Max. virtual memory (cumulated for all children) (KiB): 12710260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.15037
system time used= 0.153976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37889
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= 1002
involuntary context switches= 53
runsolver used 14.9157 second user time and 31.1923 second system time
The end