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-3481651-1307577663/watcher-3481651-1307577663 -o /tmp/evaluation-result-3481651-1307577663/solver-3481651-1307577663 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481651-1307577663.opb -seed 1028587990 -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.21 2.09 1.55 2/701 23666
/proc/meminfo: memFree=19896764/32950928 swapFree=61542368/67111528
[pid=23666] ppid=23664 vsize=15904 CPUtime=0 cores=1,3,5,7
/proc/23666/stat : 23666 (python) R 23664 23666 22387 0 -1 4202496 980 0 0 0 0 0 0 0 17 0 1 0 947997034 16285696 854 33554432000 4194304 5683644 140735173566304 18446744073709551615 260905054917 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/23666/statm: 4041 855 362 364 0 528 0
[startup+0.110896 s]
/proc/loadavg: 2.21 2.09 1.55 2/701 23666
/proc/meminfo: memFree=19896764/32950928 swapFree=61542368/67111528
[pid=23666] ppid=23664 vsize=96124 CPUtime=0.09 cores=1,3,5,7
/proc/23666/stat : 23666 (python) R 23664 23666 22387 0 -1 4202496 3168 931 1 0 7 2 0 0 18 0 1 0 947997034 98430976 2483 33554432000 4194304 5683644 140735173566304 18446744073709551615 5158152 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/23666/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 96124
[startup+0.200886 s]
/proc/loadavg: 2.21 2.09 1.55 2/701 23666
/proc/meminfo: memFree=19896764/32950928 swapFree=61542368/67111528
[pid=23666] ppid=23664 vsize=123740 CPUtime=0.15 cores=1,3,5,7
/proc/23666/stat : 23666 (python) R 23664 23666 22387 0 -1 4202496 5357 931 1 0 11 4 0 0 17 0 1 0 947997034 126709760 3744 33554432000 4194304 5683644 140735173566304 18446744073709551615 260905199387 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/23666/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 123740
[startup+0.300864 s]
/proc/loadavg: 2.21 2.09 1.55 2/701 23666
/proc/meminfo: memFree=19896764/32950928 swapFree=61542368/67111528
[pid=23666] ppid=23664 vsize=203280 CPUtime=0.23 cores=1,3,5,7
/proc/23666/stat : 23666 (python) R 23664 23666 22387 0 -1 4202496 6724 931 1 0 16 7 0 0 17 0 1 0 947997034 208158720 5003 33554432000 4194304 5683644 140735173566304 18446744073709551615 4516260 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/23666/statm: 50820 5003 1472 364 0 3782 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 203280
[startup+0.700788 s]
/proc/loadavg: 2.21 2.09 1.55 2/701 23666
/proc/meminfo: memFree=19896764/32950928 swapFree=61542368/67111528
[pid=23666] ppid=23664 vsize=293936 CPUtime=0.61 cores=1,3,5,7
/proc/23666/stat : 23666 (python) R 23664 23666 22387 0 -1 4202496 11943 931 1 0 50 11 0 0 17 0 1 0 947997034 300990464 9805 33554432000 4194304 5683644 140735173566304 18446744073709551615 4602976 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/23666/statm: 73484 9805 1781 364 0 8377 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 293936
[startup+1.50064 s]
/proc/loadavg: 2.20 2.09 1.55 3/702 23671
/proc/meminfo: memFree=19846164/32950928 swapFree=61542368/67111528
[pid=23666] ppid=23664 vsize=307568 CPUtime=1.42 cores=1,3,5,7
/proc/23666/stat : 23666 (python) R 23664 23666 22387 0 -1 4202496 19803 931 1 0 129 13 0 0 18 0 1 0 947997034 314949632 13239 33554432000 4194304 5683644 140735173566304 18446744073709551615 4662704 0 0 16781312 33554434 0 0 0 17 1 0 0 0
/proc/23666/statm: 76892 13239 1815 364 0 11785 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 307568
[startup+3.10035 s]
/proc/loadavg: 2.20 2.09 1.55 3/702 23671
/proc/meminfo: memFree=19845672/32950928 swapFree=61542368/67111528
[pid=23666] ppid=23664 vsize=320580 CPUtime=2.17 cores=1,3,5,7
/proc/23666/stat : 23666 (python) S 23664 23666 22387 0 -1 4202496 20776 931 1 0 204 13 0 0 22 0 2 0 947997034 328273920 13984 33554432000 4194304 5683644 140735173566304 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/23666/statm: 80145 13984 1870 364 0 15032 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 320580
heavy processes:
[startup+6.30077 s]
/proc/loadavg: 2.26 2.10 1.56 3/705 23674
/proc/meminfo: memFree=19527564/32950928 swapFree=61542368/67111528
[pid=23666] ppid=23664 vsize=320580 CPUtime=2.17 cores=1,3,5,7
/proc/23666/stat : 23666 (python) S 23664 23666 22387 0 -1 4202496 20776 931 1 0 204 13 0 0 22 0 2 0 947997034 328273920 13984 33554432000 4194304 5683644 140735173566304 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/23666/statm: 80145 13984 1870 364 0 15032 0
[pid=23672] ppid=23666 vsize=310336 CPUtime=0.02 cores=1,3,5,7
/proc/23672/stat : 23672 (python) S 23666 23666 22387 0 -1 4202560 897 0 0 0 1 1 0 0 16 0 1 0 947997259 317784064 12485 33554432000 4194304 5683644 140735173566304 18446744073709551615 260905414159 0 0 16781312 33554946 15923457491753468166 0 0 17 1 0 0 0
/proc/23672/statm: 77584 12485 375 364 0 12471 0
[pid=23674] ppid=23672 vsize=351596 CPUtime=4.04 cores=1,3,5,7
/proc/23674/stat : 23674 (scip-2.0.1.linu) R 23672 23674 23674 0 -1 4202496 83944 0 0 0 348 56 0 0 25 0 1 0 947997260 360034304 79435 33554432000 4194304 13684479 140733909098560 18446744073709551615 7453962 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/23674/statm: 87899 79435 791 2317 0 85577 0
[pid=23666/tid=23673] ppid=23664 vsize=320580 CPUtime=0 cores=1,3,5,7
/proc/23666/task/23673/stat : 23673 (python) S 23664 23666 22387 0 -1 4202560 25 931 0 0 0 0 0 0 22 0 2 0 947997260 328273920 13984 33554432000 4194304 5683644 140735173566304 18446744073709551615 260917217713 0 0 16781312 33554434 18446604469884114112 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 982512
[startup+12.7006 s]
/proc/loadavg: 2.24 2.10 1.56 3/705 23675
/proc/meminfo: memFree=19505004/32950928 swapFree=61542368/67111528
[pid=23666] ppid=23664 vsize=320580 CPUtime=2.17 cores=1,3,5,7
/proc/23666/stat : 23666 (python) S 23664 23666 22387 0 -1 4202496 20776 931 1 0 204 13 0 0 22 0 2 0 947997034 328273920 13984 33554432000 4194304 5683644 140735173566304 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/23666/statm: 80145 13984 1870 364 0 15032 0
[pid=23672] ppid=23666 vsize=310336 CPUtime=0.04 cores=1,3,5,7
/proc/23672/stat : 23672 (python) S 23666 23666 22387 0 -1 4202560 901 0 0 0 2 2 0 0 15 0 1 0 947997259 317784064 12485 33554432000 4194304 5683644 140735173566304 18446744073709551615 260905414159 0 0 16781312 33554946 5623753486446373697 0 0 17 7 0 0 0
/proc/23672/statm: 77584 12485 375 364 0 12471 0
[pid=23674] ppid=23672 vsize=354044 CPUtime=10.43 cores=1,3,5,7
/proc/23674/stat : 23674 (scip-2.0.1.linu) R 23672 23674 23674 0 -1 4202496 87569 0 0 0 979 64 0 0 25 0 1 0 947997260 362541056 83054 33554432000 4194304 13684479 140733909098560 18446744073709551615 4957285 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/23674/statm: 88511 83054 799 2317 0 86189 0
[pid=23666/tid=23673] ppid=23664 vsize=320580 CPUtime=0 cores=1,3,5,7
/proc/23666/task/23673/stat : 23673 (python) S 23664 23666 22387 0 -1 4202560 25 931 0 0 0 0 0 0 22 0 2 0 947997260 328273920 13984 33554432000 4194304 5683644 140735173566304 18446744073709551615 260917217713 0 0 16781312 33554434 18446604469884114112 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 984960
[startup+25.5002 s]
/proc/loadavg: 2.27 2.11 1.57 3/706 23676
/proc/meminfo: memFree=19462832/32950928 swapFree=61542368/67111528
[pid=23666] ppid=23664 vsize=320580 CPUtime=2.17 cores=1,3,5,7
/proc/23666/stat : 23666 (python) S 23664 23666 22387 0 -1 4202496 20776 931 1 0 204 13 0 0 22 0 2 0 947997034 328273920 13984 33554432000 4194304 5683644 140735173566304 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/23666/statm: 80145 13984 1870 364 0 15032 0
[pid=23672] ppid=23666 vsize=310336 CPUtime=0.1 cores=1,3,5,7
/proc/23672/stat : 23672 (python) S 23666 23666 22387 0 -1 4202560 906 0 0 0 5 5 0 0 15 0 1 0 947997259 317784064 12485 33554432000 4194304 5683644 140735173566304 18446744073709551615 260905414159 0 0 16781312 33554946 4294934791 0 0 17 7 0 0 0
/proc/23672/statm: 77584 12485 375 364 0 12471 0
[pid=23674] ppid=23672 vsize=378540 CPUtime=23.23 cores=1,3,5,7
/proc/23674/stat : 23674 (scip-2.0.1.linu) R 23672 23674 23674 0 -1 4202496 94992 0 0 0 2245 78 0 0 25 0 1 0 947997260 387624960 90338 33554432000 4194304 13684479 140733909098560 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/23674/statm: 94635 90338 857 2317 0 92313 0
[pid=23666/tid=23673] ppid=23664 vsize=320580 CPUtime=0 cores=1,3,5,7
/proc/23666/task/23673/stat : 23673 (python) S 23664 23666 22387 0 -1 4202560 25 931 0 0 0 0 0 0 22 0 2 0 947997260 328273920 13984 33554432000 4194304 5683644 140735173566304 18446744073709551615 260917217713 0 0 16781312 33554434 18446604469884114112 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 1009456
[startup+51.1016 s]
/proc/loadavg: 2.33 2.13 1.59 3/727 23698
/proc/meminfo: memFree=19238492/32950928 swapFree=61542368/67111528
[pid=23666] ppid=23664 vsize=330836 CPUtime=2.19 cores=1,3,5,7
/proc/23666/stat : 23666 (python) S 23664 23666 22387 0 -1 4202496 21623 931 1 0 206 13 0 0 19 0 3 0 947997034 338776064 13991 33554432000 4194304 5683644 140735173566304 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/23666/statm: 82709 13991 1873 364 0 17593 0
[pid=23672] ppid=23666 vsize=320580 CPUtime=0.2 cores=1,3,5,7
/proc/23672/stat : 23672 (python) S 23666 23666 22387 0 -1 4202560 1078 0 0 0 9 11 0 0 17 0 2 0 947997259 328273920 12521 33554432000 4194304 5683644 140735173566304 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23672/statm: 80145 12521 406 364 0 15032 0
[pid=23674] ppid=23672 vsize=378540 CPUtime=47.35 cores=1,3,5,7
/proc/23674/stat : 23674 (scip-2.0.1.linu) T 23672 23674 23674 0 -1 4202496 95094 0 0 0 4633 102 0 0 25 0 1 0 947997260 387624960 90370 33554432000 4194304 13684479 140733909098560 18446744073709551615 7095830 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/23674/statm: 94635 90370 787 2317 0 92313 0
[pid=23672/tid=23678] ppid=23666 vsize=320580 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23678/stat : 23678 (python) S 23666 23666 22387 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 948001996 328273920 12521 33554432000 4194304 5683644 140735173566304 18446744073709551615 260917217713 0 0 16781312 33554946 18446604463634004736 0 0 -1 7 0 0 0
[pid=23679] ppid=23666 vsize=320592 CPUtime=0 cores=1,3,5,7
/proc/23679/stat : 23679 (python) S 23666 23666 22387 0 -1 4202560 784 0 0 0 0 0 0 0 15 0 1 0 948001998 328286208 12462 33554432000 4194304 5683644 140735173566304 18446744073709551615 260905414214 0 0 16781312 33554946 4294934788 0 0 17 1 0 0 0
/proc/23679/statm: 80148 12462 348 364 0 15032 0
[pid=23681] ppid=23679 vsize=8539020 CPUtime=2.59 cores=1,3,5,7
/proc/23681/stat : 23681 (java) S 23679 23681 23681 0 -1 4202496 48958 0 1 0 251 8 0 0 20 0 19 0 948001998 8743956480 45061 33554432000 1073741824 1073778376 140733863123584 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23681/statm: 2134755 45061 2246 9 0 2125496 0
[pid=23681/tid=23682] ppid=23679 vsize=8539020 CPUtime=1.41 cores=1,3,5,7
/proc/23681/task/23682/stat : 23682 (java) R 23679 23681 23681 0 -1 4202560 35220 0 1 0 136 5 0 0 19 0 19 0 948001999 8743956480 45061 33554432000 1073741824 1073778376 140733863123584 18446744073709551615 46912505941074 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23681/tid=23683] ppid=23679 vsize=8539020 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23683/stat : 23683 (java) S 23679 23681 23681 0 -1 4202560 708 0 0 0 0 0 0 0 15 0 19 0 948002000 8743956480 45061 33554432000 1073741824 1073778376 140733863123584 18446744073709551615 260917210009 0 4 0 16800975 18446604462868050944 0 0 -1 5 0 0 0
[pid=23681/tid=23684] ppid=23679 vsize=8539020 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23684/stat : 23684 (java) S 23679 23681 23681 0 -1 4202560 666 0 0 0 0 0 0 0 15 0 19 0 948002000 8743956480 45061 33554432000 1073741824 1073778376 140733863123584 18446744073709551615 260917210009 0 4 0 16800975 18446604462868050944 0 0 -1 3 0 0 0
[pid=23681/tid=23685] ppid=23679 vsize=8539020 CPUtime=0.01 cores=1,3,5,7
/proc/23681/task/23685/stat : 23685 (java) S 23679 23681 23681 0 -1 4202560 1119 0 0 0 1 0 0 0 16 0 19 0 948002000 8743956480 45061 33554432000 1073741824 1073778376 140733863123584 18446744073709551615 260917210009 0 4 0 16800975 18446604462868050944 0 0 -1 7 0 0 0
[pid=23681/tid=23686] ppid=23679 vsize=8539020 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23686/stat : 23686 (java) S 23679 23681 23681 0 -1 4202560 956 0 0 0 0 0 0 0 16 0 19 0 948002000 8743956480 45061 33554432000 1073741824 1073778376 140733863123584 18446744073709551615 260917210009 0 4 0 16800975 18446604462868050944 0 0 -1 5 0 0 0
[pid=23681/tid=23687] ppid=23679 vsize=8539020 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23687/stat : 23687 (java) S 23679 23681 23681 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 948002000 8743956480 45061 33554432000 1073741824 1073778376 140733863123584 18446744073709551615 260917210009 0 4 0 16800975 18446604462868050944 0 0 -1 3 0 0 0
[pid=23681/tid=23688] ppid=23679 vsize=8539020 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23688/stat : 23688 (java) S 23679 23681 23681 0 -1 4202560 818 0 0 0 0 0 0 0 16 0 19 0 948002000 8743956480 45061 33554432000 1073741824 1073778376 140733863123584 18446744073709551615 260917210009 0 4 0 16800975 18446604462868050944 0 0 -1 3 0 0 0
[pid=23681/tid=23689] ppid=23679 vsize=8539020 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23689/stat : 23689 (java) S 23679 23681 23681 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 948002000 8743956480 45061 33554432000 1073741824 1073778376 140733863123584 18446744073709551615 260917210009 0 4 0 16800975 18446604462868050944 0 0 -1 1 0 0 0
[pid=23681/tid=23690] ppid=23679 vsize=8539020 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23690/stat : 23690 (java) S 23679 23681 23681 0 -1 4202560 867 0 0 0 0 0 0 0 17 0 19 0 948002000 8743956480 45061 33554432000 1073741824 1073778376 140733863123584 18446744073709551615 260917210009 0 4 0 16800975 18446604462868050944 0 0 -1 1 0 0 0
[pid=23681/tid=23691] ppid=23679 vsize=8539020 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23691/stat : 23691 (java) S 23679 23681 23681 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 948002001 8743956480 45061 33554432000 1073741824 1073778376 140733863123584 18446744073709551615 260917210624 0 0 0 16800975 18446604462868050944 0 0 -1 3 0 0 0
[pid=23681/tid=23692] ppid=23679 vsize=8539020 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23692/stat : 23692 (java) S 23679 23681 23681 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 948002001 8743956480 45061 33554432000 1073741824 1073778376 140733863123584 18446744073709551615 260917210009 0 4 0 16800975 18446604462868050944 0 0 -1 1 0 0 0
[pid=23681/tid=23693] ppid=23679 vsize=8539020 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23693/stat : 23693 (java) S 23679 23681 23681 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 948002001 8743956480 45061 33554432000 1073741824 1073778376 140733863123584 18446744073709551615 260917210009 0 4 0 16800975 18446604462868050944 0 0 -1 1 0 0 0
[pid=23681/tid=23694] ppid=23679 vsize=8539020 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23694/stat : 23694 (java) S 23679 23681 23681 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 948002003 8743956480 45061 33554432000 1073741824 1073778376 140733863123584 18446744073709551615 260917217713 0 4 0 16800975 18446604462868050944 0 0 -1 5 0 0 0
[pid=23681/tid=23695] ppid=23679 vsize=8539020 CPUtime=0.52 cores=1,3,5,7
/proc/23681/task/23695/stat : 23695 (java) S 23679 23681 23681 0 -1 4202560 3636 0 0 0 52 0 0 0 20 0 19 0 948002003 8743956480 45061 33554432000 1073741824 1073778376 140733863123584 18446744073709551615 260917210009 0 4 0 16800975 18446604462868050944 0 0 -1 1 0 0 0
[pid=23681/tid=23696] ppid=23679 vsize=8539020 CPUtime=0.55 cores=1,3,5,7
/proc/23681/task/23696/stat : 23696 (java) S 23679 23681 23681 0 -1 4202560 3501 0 0 0 55 0 0 0 15 0 19 0 948002004 8743956480 45061 33554432000 1073741824 1073778376 140733863123584 18446744073709551615 260917210009 0 4 0 16800975 18446604462868050944 0 0 -1 3 0 0 0
[pid=23681/tid=23697] ppid=23679 vsize=8539020 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23697/stat : 23697 (java) S 23679 23681 23681 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 948002004 8743956480 45061 33554432000 1073741824 1073778376 140733863123584 18446744073709551615 260917210009 0 4 0 16800975 18446604462868050944 0 0 -1 5 0 0 0
[pid=23681/tid=23698] ppid=23679 vsize=8539020 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23698/stat : 23698 (java) S 23679 23681 23681 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 948002004 8743956480 45061 33554432000 1073741824 1073778376 140733863123584 18446744073709551615 260917210624 0 4 0 16800975 18446604462868050944 0 0 -1 1 0 0 0
[pid=23666/tid=23673] ppid=23664 vsize=330836 CPUtime=0 cores=1,3,5,7
/proc/23666/task/23673/stat : 23673 (python) S 23664 23666 22387 0 -1 4202560 25 931 0 0 0 0 0 0 22 0 3 0 947997260 338776064 13991 33554432000 4194304 5683644 140735173566304 18446744073709551615 260917217713 0 0 16781312 33554434 18446604469884114112 0 0 -1 1 0 0 0
[pid=23666/tid=23680] ppid=23664 vsize=330836 CPUtime=0 cores=1,3,5,7
/proc/23666/task/23680/stat : 23680 (python) S 23664 23666 22387 0 -1 4202560 27 931 0 0 0 0 0 0 20 0 3 0 948001998 338776064 13991 33554432000 4194304 5683644 140735173566304 18446744073709551615 260917217713 0 0 16781312 33554434 18446604469884114112 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 52.33
Current children cumulated vsize (KiB) 9889568
[startup+102.301 s]
/proc/loadavg: 2.14 2.11 1.61 3/732 23704
/proc/meminfo: memFree=18843960/32950928 swapFree=61542368/67111528
[pid=23666] ppid=23664 vsize=341092 CPUtime=2.22 cores=1,3,5,7
/proc/23666/stat : 23666 (python) S 23664 23666 22387 0 -1 4202496 22479 931 1 0 209 13 0 0 20 0 4 0 947997034 349278208 13997 33554432000 4194304 5683644 140735173566304 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
################
# More data... #
################
/proc/23704/stat : 23704 (scip-2.0.1.linu) T 23702 23704 23704 0 -1 4202496 116647 0 0 0 4987 129 0 0 25 0 1 0 948006491 389783552 88250 33554432000 4194304 15243407 140737049219840 18446744073709551615 8308183 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/23704/statm: 95162 88250 957 2698 0 92457 0
[pid=23702/tid=24211] ppid=23666 vsize=330848 CPUtime=0 cores=1,3,5,7
/proc/23702/task/24211/stat : 24211 (python) S 23666 23666 22387 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 948011608 338788352 12515 33554432000 4194304 5683644 140735173566304 18446744073709551615 260917217713 0 0 16781312 33554946 18446604466676893888 0 0 -1 7 0 0 0
[pid=24212] ppid=23666 vsize=341104 CPUtime=0.06 cores=1,3,5,7
/proc/24212/stat : 24212 (python) S 23666 23666 22387 0 -1 4202560 957 0 0 0 3 3 0 0 15 0 1 0 948011611 349290496 12503 33554432000 4194304 5683644 140735173566304 18446744073709551615 260905414214 0 0 16781312 33554946 5623606151888251713 0 0 17 5 0 0 0
/proc/24212/statm: 85276 12503 381 364 0 20154 0
[pid=24214] ppid=24212 vsize=21712 CPUtime=16.49 cores=1,3,5,7
/proc/24214/stat : 24214 (wbo1.4a) R 24212 24214 24214 0 -1 4202496 7223 0 0 0 1639 10 0 0 25 0 1 0 948011611 22233088 4980 33554432000 134512640 135751879 4290356224 18446744073709551615 134606357 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/24214/statm: 5428 4980 146 303 0 5123 0
[pid=23666/tid=23673] ppid=23664 vsize=351348 CPUtime=0 cores=1,3,5,7
/proc/23666/task/23673/stat : 23673 (python) S 23664 23666 22387 0 -1 4202560 25 931 0 0 0 0 0 0 22 0 5 0 947997260 359780352 14003 33554432000 4194304 5683644 140735173566304 18446744073709551615 260917217713 0 0 16781312 33554434 18446604469884114112 0 0 -1 1 0 0 0
[pid=23666/tid=23680] ppid=23664 vsize=351348 CPUtime=0 cores=1,3,5,7
/proc/23666/task/23680/stat : 23680 (python) S 23664 23666 22387 0 -1 4202560 27 931 0 0 0 0 0 0 20 0 5 0 948001998 359780352 14003 33554432000 4194304 5683644 140735173566304 18446744073709551615 260917217713 0 0 16781312 33554434 18446604469884114112 0 0 -1 1 0 0 0
[pid=23666/tid=23703] ppid=23664 vsize=351348 CPUtime=0 cores=1,3,5,7
/proc/23666/task/23703/stat : 23703 (python) S 23664 23666 22387 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 5 0 948006491 359780352 14003 33554432000 4194304 5683644 140735173566304 18446744073709551615 260917217713 0 0 16781312 33554434 18446604469884114112 0 0 -1 7 0 0 0
[pid=23666/tid=24213] ppid=23664 vsize=351348 CPUtime=0 cores=1,3,5,7
/proc/23666/task/24213/stat : 24213 (python) S 23664 23666 22387 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 5 0 948011611 359780352 14003 33554432000 4194304 5683644 140735173566304 18446744073709551615 260917217713 0 0 16781312 33554434 18446604469884114112 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 164.15
Current children cumulated vsize (KiB) 10984392
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+192.502 s]
/proc/loadavg: 2.07 2.10 1.65 4/742 24468
/proc/meminfo: memFree=18521124/32950928 swapFree=61542368/67111528
[pid=23666] ppid=23664 vsize=361604 CPUtime=2.27 cores=1,3,5,7
/proc/23666/stat : 23666 (python) S 23664 23666 22387 0 -1 4202496 24250 931 1 0 214 13 0 0 20 0 6 0 947997034 370282496 14009 33554432000 4194304 5683644 140735173566304 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/23666/statm: 90401 14009 1879 364 0 25276 0
[pid=23672] ppid=23666 vsize=320580 CPUtime=0.2 cores=1,3,5,7
/proc/23672/stat : 23672 (python) S 23666 23666 22387 0 -1 4202560 1078 0 0 0 9 11 0 0 17 0 2 0 947997259 328273920 12521 33554432000 4194304 5683644 140735173566304 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23672/statm: 80145 12521 406 364 0 15032 0
[pid=23674] ppid=23672 vsize=378540 CPUtime=47.35 cores=1,3,5,7
/proc/23674/stat : 23674 (scip-2.0.1.linu) T 23672 23674 23674 0 -1 4202496 95094 0 0 0 4633 102 0 0 25 0 1 0 947997260 387624960 90370 33554432000 4194304 13684479 140733909098560 18446744073709551615 7095830 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/23674/statm: 94635 90370 787 2317 0 92313 0
[pid=23672/tid=23678] ppid=23666 vsize=320580 CPUtime=0 cores=1,3,5,7
/proc/23672/task/23678/stat : 23678 (python) S 23666 23666 22387 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 948001996 328273920 12521 33554432000 4194304 5683644 140735173566304 18446744073709551615 260917217713 0 0 16781312 33554946 18446604463634004736 0 0 -1 7 0 0 0
[pid=23679] ppid=23666 vsize=320592 CPUtime=0.2 cores=1,3,5,7
/proc/23679/stat : 23679 (python) S 23666 23666 22387 0 -1 4202560 1105 0 0 0 9 11 0 0 16 0 2 0 948001998 328286208 12511 33554432000 4194304 5683644 140735173566304 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/23679/statm: 80148 12511 396 364 0 15032 0
[pid=23681] ppid=23679 vsize=8539020 CPUtime=46.21 cores=1,3,5,7
/proc/23681/stat : 23681 (java) T 23679 23681 23681 0 -1 4202496 56216 0 1 0 4612 9 0 0 18 0 19 0 948001998 8743956480 52102 33554432000 1073741824 1073778376 140733863123584 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23681/statm: 2134755 52102 2258 9 0 2125496 0
[pid=23681/tid=23682] ppid=23679 vsize=8539020 CPUtime=44.61 cores=1,3,5,7
/proc/23681/task/23682/stat : 23682 (java) T 23679 23681 23681 0 -1 4202560 35228 0 1 0 4456 5 0 0 25 0 19 0 948001999 8743956480 52102 33554432000 1073741824 1073778376 140733863123584 18446744073709551615 46912505970237 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23681/tid=23683] ppid=23679 vsize=8539020 CPUtime=0.01 cores=1,3,5,7
/proc/23681/task/23683/stat : 23683 (java) T 23679 23681 23681 0 -1 4202560 710 0 0 0 1 0 0 0 15 0 19 0 948002000 8743956480 52102 33554432000 1073741824 1073778376 140733863123584 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23681/tid=23684] ppid=23679 vsize=8539020 CPUtime=0.01 cores=1,3,5,7
/proc/23681/task/23684/stat : 23684 (java) T 23679 23681 23681 0 -1 4202560 1525 0 0 0 1 0 0 0 15 0 19 0 948002000 8743956480 52102 33554432000 1073741824 1073778376 140733863123584 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23681/tid=23685] ppid=23679 vsize=8539020 CPUtime=0.03 cores=1,3,5,7
/proc/23681/task/23685/stat : 23685 (java) T 23679 23681 23681 0 -1 4202560 1934 0 0 0 3 0 0 0 15 0 19 0 948002000 8743956480 52102 33554432000 1073741824 1073778376 140733863123584 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23681/tid=23686] ppid=23679 vsize=8539020 CPUtime=0.02 cores=1,3,5,7
/proc/23681/task/23686/stat : 23686 (java) T 23679 23681 23681 0 -1 4202560 1789 0 0 0 2 0 0 0 15 0 19 0 948002000 8743956480 52102 33554432000 1073741824 1073778376 140733863123584 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23681/tid=23687] ppid=23679 vsize=8539020 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23687/stat : 23687 (java) T 23679 23681 23681 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 948002000 8743956480 52102 33554432000 1073741824 1073778376 140733863123584 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23681/tid=23688] ppid=23679 vsize=8539020 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23688/stat : 23688 (java) T 23679 23681 23681 0 -1 4202560 818 0 0 0 0 0 0 0 15 0 19 0 948002000 8743956480 52102 33554432000 1073741824 1073778376 140733863123584 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23681/tid=23689] ppid=23679 vsize=8539020 CPUtime=0.01 cores=1,3,5,7
/proc/23681/task/23689/stat : 23689 (java) T 23679 23681 23681 0 -1 4202560 945 0 0 0 1 0 0 0 15 0 19 0 948002000 8743956480 52102 33554432000 1073741824 1073778376 140733863123584 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23681/tid=23690] ppid=23679 vsize=8539020 CPUtime=0.01 cores=1,3,5,7
/proc/23681/task/23690/stat : 23690 (java) T 23679 23681 23681 0 -1 4202560 873 0 0 0 1 0 0 0 15 0 19 0 948002000 8743956480 52102 33554432000 1073741824 1073778376 140733863123584 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23681/tid=23691] ppid=23679 vsize=8539020 CPUtime=0.2 cores=1,3,5,7
/proc/23681/task/23691/stat : 23691 (java) T 23679 23681 23681 0 -1 4202560 3834 0 0 0 20 0 0 0 15 0 19 0 948002001 8743956480 52102 33554432000 1073741824 1073778376 140733863123584 18446744073709551615 260917210624 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23681/tid=23692] ppid=23679 vsize=8539020 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23692/stat : 23692 (java) T 23679 23681 23681 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 948002001 8743956480 52102 33554432000 1073741824 1073778376 140733863123584 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23681/tid=23693] ppid=23679 vsize=8539020 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23693/stat : 23693 (java) T 23679 23681 23681 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 948002001 8743956480 52102 33554432000 1073741824 1073778376 140733863123584 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23681/tid=23694] ppid=23679 vsize=8539020 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23694/stat : 23694 (java) T 23679 23681 23681 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948002003 8743956480 52102 33554432000 1073741824 1073778376 140733863123584 18446744073709551615 260917217713 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23681/tid=23695] ppid=23679 vsize=8539020 CPUtime=0.6 cores=1,3,5,7
/proc/23681/task/23695/stat : 23695 (java) T 23679 23681 23681 0 -1 4202560 3654 0 0 0 60 0 0 0 15 0 19 0 948002003 8743956480 52102 33554432000 1073741824 1073778376 140733863123584 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23681/tid=23696] ppid=23679 vsize=8539020 CPUtime=0.6 cores=1,3,5,7
/proc/23681/task/23696/stat : 23696 (java) T 23679 23681 23681 0 -1 4202560 3510 0 0 0 60 0 0 0 15 0 19 0 948002004 8743956480 52102 33554432000 1073741824 1073778376 140733863123584 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23681/tid=23697] ppid=23679 vsize=8539020 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23697/stat : 23697 (java) T 23679 23681 23681 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948002004 8743956480 52102 33554432000 1073741824 1073778376 140733863123584 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23681/tid=23698] ppid=23679 vsize=8539020 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23698/stat : 23698 (java) T 23679 23681 23681 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 948002004 8743956480 52102 33554432000 1073741824 1073778376 140733863123584 18446744073709551615 260917210624 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23681/tid=23699] ppid=23679 vsize=8539020 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23699/stat : 23699 (java) T 23679 23681 23681 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 948002103 8743956480 52102 33554432000 1073741824 1073778376 140733863123584 18446744073709551615 260917210624 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23679/tid=23701] ppid=23666 vsize=320592 CPUtime=0 cores=1,3,5,7
/proc/23679/task/23701/stat : 23701 (python) S 23666 23666 22387 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 948006488 328286208 12511 33554432000 4194304 5683644 140735173566304 18446744073709551615 260917217713 0 0 16781312 33554946 18446604455588729152 0 0 -1 1 0 0 0
[pid=23702] ppid=23666 vsize=330848 CPUtime=0.23 cores=1,3,5,7
/proc/23702/stat : 23702 (python) S 23666 23666 22387 0 -1 4202560 1120 0 0 0 10 13 0 0 17 0 2 0 948006491 338788352 12515 33554432000 4194304 5683644 140735173566304 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23702/statm: 82712 12515 396 364 0 17593 0
[pid=23704] ppid=23702 vsize=380648 CPUtime=51.16 cores=1,3,5,7
/proc/23704/stat : 23704 (scip-2.0.1.linu) T 23702 23704 23704 0 -1 4202496 116647 0 0 0 4987 129 0 0 25 0 1 0 948006491 389783552 88250 33554432000 4194304 15243407 140737049219840 18446744073709551615 8308183 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/23704/statm: 95162 88250 957 2698 0 92457 0
[pid=23702/tid=24211] ppid=23666 vsize=330848 CPUtime=0 cores=1,3,5,7
/proc/23702/task/24211/stat : 24211 (python) S 23666 23666 22387 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 948011608 338788352 12515 33554432000 4194304 5683644 140735173566304 18446744073709551615 260917217713 0 0 16781312 33554946 18446604466676893888 0 0 -1 7 0 0 0
[pid=24212] ppid=23666 vsize=341104 CPUtime=0.21 cores=1,3,5,7
/proc/24212/stat : 24212 (python) S 23666 23666 22387 0 -1 4202560 1133 0 0 0 10 11 0 0 16 0 2 0 948011611 349290496 12528 33554432000 4194304 5683644 140735173566304 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/24212/statm: 85276 12528 405 364 0 20154 0
[pid=24214] ppid=24212 vsize=46800 CPUtime=46.04 cores=1,3,5,7
/proc/24214/stat : 24214 (wbo1.4a) T 24212 24214 24214 0 -1 4202496 13498 0 0 0 4578 26 0 0 25 0 1 0 948011611 47923200 11255 33554432000 134512640 135751879 4290356224 18446744073709551615 134620419 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/24214/statm: 11700 11255 146 303 0 11395 0
[pid=24212/tid=24448] ppid=23666 vsize=341104 CPUtime=0 cores=1,3,5,7
/proc/24212/task/24448/stat : 24448 (python) S 23666 23666 22387 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 948016218 349290496 12528 33554432000 4194304 5683644 140735173566304 18446744073709551615 260917217713 0 0 16781312 33554946 18446604470126528448 0 0 -1 7 0 0 0
[pid=24449] ppid=23666 vsize=351360 CPUtime=0 cores=1,3,5,7
/proc/24449/stat : 24449 (python) S 23666 23666 22387 0 -1 4202560 810 0 0 0 0 0 0 0 19 0 1 0 948016221 359792640 12474 33554432000 4194304 5683644 140735173566304 18446744073709551615 260905414214 0 0 16781312 33554946 292822404860739584 0 0 17 5 0 0 0
/proc/24449/statm: 87840 12474 348 364 0 22715 0
[pid=24451] ppid=24449 vsize=8538180 CPUtime=1.15 cores=1,3,5,7
/proc/24451/stat : 24451 (java) S 24449 24451 24451 0 -1 4202496 42503 0 1 0 109 6 0 0 21 0 18 0 948016221 8743096320 40305 33554432000 1073741824 1073778376 140735844024064 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/24451/statm: 2134545 40306 2214 9 0 2125286 0
[pid=24451/tid=24452] ppid=24449 vsize=8538180 CPUtime=0.63 cores=1,3,5,7
/proc/24451/task/24452/stat : 24452 (java) S 24449 24451 24451 0 -1 4202560 35217 0 1 0 58 5 0 0 25 0 18 0 948016222 8743096320 41004 33554432000 1073741824 1073778376 140735844024064 18446744073709551615 260917210009 0 4 0 16800975 18446604455317104768 0 0 -1 3 0 0 0
[pid=24451/tid=24453] ppid=24449 vsize=8538180 CPUtime=0.01 cores=1,3,5,7
/proc/24451/task/24453/stat : 24453 (java) R 24449 24451 24451 0 -1 4202560 1188 0 0 0 1 0 0 0 17 0 18 0 948016223 8743096320 41005 33554432000 1073741824 1073778376 140735844024064 18446744073709551615 47585791600371 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=24451/tid=24454] ppid=24449 vsize=8538180 CPUtime=0 cores=1,3,5,7
/proc/24451/task/24454/stat : 24454 (java) R 24449 24451 24451 0 -1 4202560 236 0 0 0 0 0 0 0 18 0 18 0 948016223 8743096320 41007 33554432000 1073741824 1073778376 140735844024064 18446744073709551615 47585791600313 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24451/tid=24455] ppid=24449 vsize=8538180 CPUtime=0 cores=1,3,5,7
/proc/24451/task/24455/stat : 24455 (java) S 24449 24451 24451 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948016223 8743096320 41009 33554432000 1073741824 1073778376 140735844024064 18446744073709551615 260917210009 0 4 0 16800975 18446604455317104768 0 0 -1 3 0 0 0
[pid=24451/tid=24456] ppid=24449 vsize=8538180 CPUtime=0 cores=1,3,5,7
/proc/24451/task/24456/stat : 24456 (java) S 24449 24451 24451 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948016223 8743096320 41011 33554432000 1073741824 1073778376 140735844024064 18446744073709551615 260917210009 0 4 0 16800975 18446604455317104768 0 0 -1 3 0 0 0
[pid=24451/tid=24457] ppid=24449 vsize=8538180 CPUtime=0 cores=1,3,5,7
/proc/24451/task/24457/stat : 24457 (java) S 24449 24451 24451 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948016223 8743096320 41012 33554432000 1073741824 1073778376 140735844024064 18446744073709551615 260917210009 0 4 0 16800975 18446604455317104768 0 0 -1 3 0 0 0
[pid=24451/tid=24458] ppid=24449 vsize=8538180 CPUtime=0 cores=1,3,5,7
/proc/24451/task/24458/stat : 24458 (java) S 24449 24451 24451 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948016223 8743096320 41014 33554432000 1073741824 1073778376 140735844024064 18446744073709551615 260917210009 0 4 0 16800975 18446604455317104768 0 0 -1 3 0 0 0
[pid=24451/tid=24459] ppid=24449 vsize=8538180 CPUtime=0 cores=1,3,5,7
/proc/24451/task/24459/stat : 24459 (java) S 24449 24451 24451 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948016223 8743096320 41016 33554432000 1073741824 1073778376 140735844024064 18446744073709551615 260917210009 0 4 0 16800975 18446604455317104768 0 0 -1 3 0 0 0
[pid=24451/tid=24460] ppid=24449 vsize=8538180 CPUtime=0 cores=1,3,5,7
/proc/24451/task/24460/stat : 24460 (java) R 24449 24451 24451 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 948016223 8743096320 41017 33554432000 1073741824 1073778376 140735844024064 18446744073709551615 260917210009 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=24451/tid=24461] ppid=24449 vsize=8538180 CPUtime=0 cores=1,3,5,7
/proc/24451/task/24461/stat : 24461 (java) S 24449 24451 24451 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 18 0 948016224 8743096320 41019 33554432000 1073741824 1073778376 140735844024064 18446744073709551615 260917210009 0 0 0 16800975 18446604455317104768 0 0 -1 3 0 0 0
[pid=24451/tid=24462] ppid=24449 vsize=8538180 CPUtime=0 cores=1,3,5,7
/proc/24451/task/24462/stat : 24462 (java) S 24449 24451 24451 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 948016224 8743096320 41020 33554432000 1073741824 1073778376 140735844024064 18446744073709551615 260917210009 0 4 0 16800975 18446604455317104768 0 0 -1 7 0 0 0
[pid=24451/tid=24463] ppid=24449 vsize=8538180 CPUtime=0 cores=1,3,5,7
/proc/24451/task/24463/stat : 24463 (java) S 24449 24451 24451 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 948016224 8743096320 41022 33554432000 1073741824 1073778376 140735844024064 18446744073709551615 260917210009 0 4 0 16800975 18446604455317104768 0 0 -1 7 0 0 0
[pid=24451/tid=24464] ppid=24449 vsize=8538180 CPUtime=0 cores=1,3,5,7
/proc/24451/task/24464/stat : 24464 (java) S 24449 24451 24451 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948016226 8743096320 41023 33554432000 1073741824 1073778376 140735844024064 18446744073709551615 260917217713 0 4 0 16800975 18446604455317104768 0 0 -1 7 0 0 0
[pid=24451/tid=24465] ppid=24449 vsize=8538180 CPUtime=0.23 cores=1,3,5,7
/proc/24451/task/24465/stat : 24465 (java) S 24449 24451 24451 0 -1 4202560 2089 0 0 0 23 0 0 0 25 0 18 0 948016226 8743096320 41025 33554432000 1073741824 1073778376 140735844024064 18446744073709551615 260917210009 0 4 0 16800975 18446604455317104768 0 0 -1 5 0 0 0
[pid=24451/tid=24466] ppid=24449 vsize=8538180 CPUtime=0.26 cores=1,3,5,7
/proc/24451/task/24466/stat : 24466 (java) S 24449 24451 24451 0 -1 4202560 3086 0 0 0 26 0 0 0 25 0 18 0 948016226 8743096320 41027 33554432000 1073741824 1073778376 140735844024064 18446744073709551615 260917210009 0 4 0 16800975 18446604455317104768 0 0 -1 3 0 0 0
[pid=24451/tid=24467] ppid=24449 vsize=8538180 CPUtime=0 cores=1,3,5,7
/proc/24451/task/24467/stat : 24467 (java) S 24449 24451 24451 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948016226 8743096320 41028 33554432000 1073741824 1073778376 140735844024064 18446744073709551615 260917210009 0 4 0 16800975 18446604455317104768 0 0 -1 7 0 0 0
[pid=24451/tid=24468] ppid=24449 vsize=8538180 CPUtime=0 cores=1,3,5,7
/proc/24451/task/24468/stat : 24468 (java) S 24449 24451 24451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 948016226 8743096320 41030 33554432000 1073741824 1073778376 140735844024064 18446744073709551615 260917210624 0 4 0 16800975 18446604455317104768 0 0 -1 3 0 0 0
[pid=23666/tid=23673] ppid=23664 vsize=361604 CPUtime=0 cores=1,3,5,7
/proc/23666/task/23673/stat : 23673 (python) S 23664 23666 22387 0 -1 4202560 25 931 0 0 0 0 0 0 22 0 6 0 947997260 370282496 14009 33554432000 4194304 5683644 140735173566304 18446744073709551615 260917217713 0 0 16781312 33554434 18446604469884114112 0 0 -1 1 0 0 0
[pid=23666/tid=23680] ppid=23664 vsize=361604 CPUtime=0 cores=1,3,5,7
/proc/23666/task/23680/stat : 23680 (python) S 23664 23666 22387 0 -1 4202560 27 931 0 0 0 0 0 0 20 0 6 0 948001998 370282496 14009 33554432000 4194304 5683644 140735173566304 18446744073709551615 260917217713 0 0 16781312 33554434 18446604469884114112 0 0 -1 1 0 0 0
[pid=23666/tid=23703] ppid=23664 vsize=361604 CPUtime=0 cores=1,3,5,7
/proc/23666/task/23703/stat : 23703 (python) S 23664 23666 22387 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 6 0 948006491 370282496 14009 33554432000 4194304 5683644 140735173566304 18446744073709551615 260917217713 0 0 16781312 33554434 18446604469884114112 0 0 -1 7 0 0 0
[pid=23666/tid=24213] ppid=23664 vsize=361604 CPUtime=0 cores=1,3,5,7
/proc/23666/task/24213/stat : 24213 (python) S 23664 23666 22387 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 6 0 948011611 370282496 14009 33554432000 4194304 5683644 140735173566304 18446744073709551615 260917217713 0 0 16781312 33554434 18446604469884114112 0 0 -1 5 0 0 0
[pid=23666/tid=24450] ppid=23664 vsize=361604 CPUtime=0 cores=1,3,5,7
/proc/23666/task/24450/stat : 24450 (python) S 23664 23666 22387 0 -1 4202560 32 931 0 0 0 0 0 0 20 0 6 0 948016221 370282496 14009 33554432000 4194304 5683644 140735173566304 18446744073709551615 260917217713 0 0 16781312 33554434 18446604469884114112 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 195.02
Current children cumulated vsize (KiB) 19909276
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 23666 and gives
# childrusage.ru_utime.tv_sec=2
# childrusage.ru_utime.tv_usec=144673
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=144977
# CPU time returned by wait4() is 2.28965
# while last known CPU time is 195.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 192.587
CPU time (s): 195.02
CPU user time (s): 191.71
CPU system time (s): 3.31
CPU usage (%): 101.263
Max. virtual memory (cumulated for all children) (KiB): 19909276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.14467
system time used= 0.144977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25183
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= 1009
involuntary context switches= 29
runsolver used 1.16982 second user time and 2.68759 second system time
The end