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-3481854-1307576440/watcher-3481854-1307576440 -o /tmp/evaluation-result-3481854-1307576440/solver-3481854-1307576440 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481854-1307576440.opb -seed 1919133569 -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: 0.31 0.07 0.02 2/549 1154
/proc/meminfo: memFree=26972020/32951124 swapFree=53733252/67111528
[pid=1152] ppid=1148 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/1152/stat : 1152 (runsolver) S 1148 1152 1117 0 -1 4202560 43 0 0 0 0 0 0 0 18 0 1 0 869245365 12079104 50 33554432000 4194304 5432328 140734550354672 18446744073709551615 4881591 0 2147483391 4096 24578 18446744071699960631 0 0 17 3 0 0 0
/proc/1152/statm: 2949 50 31 303 0 2643 0
[startup+0.063349 s]
/proc/loadavg: 0.31 0.07 0.02 2/549 1154
/proc/meminfo: memFree=26972020/32951124 swapFree=53733252/67111528
[pid=1152] ppid=1148 vsize=1964 CPUtime=0 cores=1,3,5,7
/proc/1152/stat : 1152 (python) D 1148 1152 1117 0 -1 4194304 75 0 1 0 0 0 0 0 17 0 1 0 869245365 2011136 28 33554432000 4194304 5683644 140734722633392 18446744073709551615 253635937296 0 0 4096 0 18446744071562234166 0 0 17 5 0 0 1
/proc/1152/statm: 491 28 21 364 0 37 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1964
[startup+0.774204 s]
/proc/loadavg: 0.31 0.07 0.02 2/549 1154
/proc/meminfo: memFree=26972020/32951124 swapFree=53733252/67111528
[pid=1152] ppid=1148 vsize=16392 CPUtime=0.01 cores=1,3,5,7
/proc/1152/stat : 1152 (python) D 1148 1152 1117 0 -1 4202496 1111 0 6 0 1 0 0 0 16 0 1 0 869245365 16785408 984 33554432000 4194304 5683644 140734722633392 18446744073709551615 253640857600 0 0 16781312 2 0 0 0 17 5 0 0 14
/proc/1152/statm: 4098 984 409 364 0 585 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16392
[startup+0.800199 s]
/proc/loadavg: 0.31 0.07 0.02 2/549 1154
/proc/meminfo: memFree=26972020/32951124 swapFree=53733252/67111528
[pid=1152] ppid=1148 vsize=16392 CPUtime=0.01 cores=1,3,5,7
/proc/1152/stat : 1152 (python) D 1148 1152 1117 0 -1 4202496 1111 0 6 0 1 0 0 0 16 0 1 0 869245365 16785408 984 33554432000 4194304 5683644 140734722633392 18446744073709551615 253640857600 0 0 16781312 2 0 0 0 17 5 0 0 14
/proc/1152/statm: 4098 984 409 364 0 585 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16392
[startup+0.90018 s]
/proc/loadavg: 0.31 0.07 0.02 2/549 1154
/proc/meminfo: memFree=26972020/32951124 swapFree=53733252/67111528
[pid=1152] ppid=1148 vsize=16392 CPUtime=0.01 cores=1,3,5,7
/proc/1152/stat : 1152 (python) D 1148 1152 1117 0 -1 4202496 1111 0 6 0 1 0 0 0 16 0 1 0 869245365 16785408 984 33554432000 4194304 5683644 140734722633392 18446744073709551615 253640857600 0 0 16781312 2 0 0 0 17 5 0 0 14
/proc/1152/statm: 4098 984 409 364 0 585 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16392
[startup+1.50107 s]
/proc/loadavg: 0.31 0.07 0.02 2/549 1154
/proc/meminfo: memFree=26972020/32951124 swapFree=53733252/67111528
[pid=1152] ppid=1148 vsize=16812 CPUtime=0.02 cores=1,3,5,7
/proc/1152/stat : 1152 (python) S 1148 1152 1117 0 -1 4202496 1207 0 6 0 1 1 0 0 15 0 1 0 869245365 17215488 1071 33554432000 4194304 5683644 140734722633392 18446744073709551615 253640857600 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 18
/proc/1152/statm: 4203 1071 417 364 0 690 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16812
[startup+3.10078 s]
/proc/loadavg: 0.52 0.11 0.04 1/551 1156
/proc/meminfo: memFree=26950564/32951124 swapFree=53733252/67111528
[pid=1152] ppid=1148 vsize=94064 CPUtime=0.09 cores=1,3,5,7
/proc/1152/stat : 1152 (python) S 1148 1152 1117 0 -1 4202496 2772 0 25 0 5 4 0 0 15 0 1 0 869245365 96321536 2468 33554432000 4194304 5683644 140734722633392 18446744073709551615 253640859392 0 0 16781312 2 18446744071562362840 0 0 17 5 0 0 27
/proc/1152/statm: 23516 2468 788 364 0 1627 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 94064
heavy processes:
[startup+6.30924 s]
/proc/loadavg: 0.52 0.11 0.04 4/551 1164
/proc/meminfo: memFree=26911280/32951124 swapFree=53733252/67111528
[pid=1152] ppid=1148 vsize=234044 CPUtime=0.4 cores=1,3,5,7
/proc/1152/stat : 1152 (python) R 1148 1152 1117 0 -1 4202496 7267 919 98 11 22 18 0 0 15 0 1 0 869245365 239661056 5559 33554432000 4194304 5683644 140734722633392 18446744073709551615 4620076 0 0 16781312 2 0 0 0 17 3 0 0 84
/proc/1152/statm: 58511 5560 1578 364 0 4159 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 234044
heavy processes:
[startup+12.722 s]
/proc/loadavg: 0.75 0.18 0.06 3/557 1170
/proc/meminfo: memFree=26733920/32951124 swapFree=53733252/67111528
[pid=1152] ppid=1148 vsize=293876 CPUtime=0.64 cores=1,3,5,7
/proc/1152/stat : 1152 (python) S 1148 1152 1117 0 -1 4202496 9694 919 112 11 40 24 0 0 18 0 2 0 869245365 300929024 7308 33554432000 4194304 5683644 140734722633392 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 120
/proc/1152/statm: 73469 7308 1870 364 0 8356 0
[pid=1165] ppid=1152 vsize=283632 CPUtime=0.02 cores=1,3,5,7
/proc/1165/stat : 1165 (python) S 1152 1152 1117 0 -1 4202560 917 0 0 0 1 1 0 0 15 0 1 0 869246091 290439168 5809 33554432000 4194304 5683644 140734722633392 18446744073709551615 253640879631 0 0 16781312 33554946 2598434314769137664 0 0 17 3 0 0 0
/proc/1165/statm: 70908 5809 375 364 0 5795 0
[pid=1169] ppid=1165 vsize=93392 CPUtime=5.45 cores=1,3,5,7
/proc/1169/stat : 1169 (scip-2.0.1.linu) R 1165 1169 1169 0 -1 4202496 22708 0 0 0 530 15 0 0 18 0 1 0 869246091 95633408 20897 33554432000 4194304 13684479 140735108598288 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/1169/statm: 23348 20897 769 2317 0 21026 0
[pid=1152/tid=1167] ppid=1148 vsize=293876 CPUtime=0 cores=1,3,5,7
/proc/1152/task/1167/stat : 1167 (python) S 1148 1152 1117 0 -1 4202560 30 919 0 11 0 0 0 0 18 0 2 0 869246091 300929024 7308 33554432000 4194304 5683644 140734722633392 18446744073709551615 253652683185 0 0 16781312 33554434 18446604465796436224 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 670900
heavy processes:
[startup+25.5007 s]
/proc/loadavg: 0.94 0.24 0.08 3/557 1171
/proc/meminfo: memFree=26677412/32951124 swapFree=53733252/67111528
[pid=1152] ppid=1148 vsize=293876 CPUtime=0.64 cores=1,3,5,7
/proc/1152/stat : 1152 (python) S 1148 1152 1117 0 -1 4202496 9694 919 112 11 40 24 0 0 18 0 2 0 869245365 300929024 7308 33554432000 4194304 5683644 140734722633392 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 120
/proc/1152/statm: 73469 7308 1870 364 0 8356 0
[pid=1165] ppid=1152 vsize=283632 CPUtime=0.09 cores=1,3,5,7
/proc/1165/stat : 1165 (python) S 1152 1152 1117 0 -1 4202560 933 0 0 0 3 6 0 0 15 0 1 0 869246091 290439168 5810 33554432000 4194304 5683644 140734722633392 18446744073709551615 253640879631 0 0 16781312 33554946 5623753486446373570 0 0 17 7 0 0 0
/proc/1165/statm: 70908 5810 376 364 0 5795 0
[pid=1169] ppid=1165 vsize=120880 CPUtime=18.22 cores=1,3,5,7
/proc/1169/stat : 1169 (scip-2.0.1.linu) R 1165 1169 1169 0 -1 4202496 30848 0 0 0 1788 34 0 0 25 0 1 0 869246091 123781120 27613 33554432000 4194304 13684479 140735108598288 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/1169/statm: 30220 27613 791 2317 0 27898 0
[pid=1152/tid=1167] ppid=1148 vsize=293876 CPUtime=0 cores=1,3,5,7
/proc/1152/task/1167/stat : 1167 (python) S 1148 1152 1117 0 -1 4202560 30 919 0 11 0 0 0 0 18 0 2 0 869246091 300929024 7308 33554432000 4194304 5683644 140734722633392 18446744073709551615 253652683185 0 0 16781312 33554434 18446604465796436224 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 18.95
Current children cumulated vsize (KiB) 698388
heavy processes:
[startup+51.1011 s]
/proc/loadavg: 1.36 0.39 0.13 3/557 1171
/proc/meminfo: memFree=26676984/32951124 swapFree=53733252/67111528
[pid=1152] ppid=1148 vsize=293876 CPUtime=0.64 cores=1,3,5,7
/proc/1152/stat : 1152 (python) S 1148 1152 1117 0 -1 4202496 9694 919 112 11 40 24 0 0 18 0 2 0 869245365 300929024 7308 33554432000 4194304 5683644 140734722633392 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 120
/proc/1152/statm: 73469 7308 1870 364 0 8356 0
[pid=1165] ppid=1152 vsize=283632 CPUtime=0.2 cores=1,3,5,7
/proc/1165/stat : 1165 (python) S 1152 1152 1117 0 -1 4202560 942 0 0 0 8 12 0 0 15 0 1 0 869246091 290439168 5810 33554432000 4194304 5683644 140734722633392 18446744073709551615 253640879631 0 0 16781312 33554946 5623753486446373570 0 0 17 7 0 0 0
/proc/1165/statm: 70908 5810 376 364 0 5795 0
[pid=1169] ppid=1165 vsize=120880 CPUtime=43.83 cores=1,3,5,7
/proc/1169/stat : 1169 (scip-2.0.1.linu) R 1165 1169 1169 0 -1 4202496 30852 0 0 0 4293 90 0 0 25 0 1 0 869246091 123781120 27617 33554432000 4194304 13684479 140735108598288 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/1169/statm: 30220 27617 795 2317 0 27898 0
[pid=1152/tid=1167] ppid=1148 vsize=293876 CPUtime=0 cores=1,3,5,7
/proc/1152/task/1167/stat : 1167 (python) S 1148 1152 1117 0 -1 4202560 30 919 0 11 0 0 0 0 18 0 2 0 869246091 300929024 7308 33554432000 4194304 5683644 140734722633392 18446744073709551615 253652683185 0 0 16781312 33554434 18446604465796436224 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 44.67
Current children cumulated vsize (KiB) 698388
[startup+102.302 s]
/proc/loadavg: 1.80 0.67 0.24 3/601 1217
/proc/meminfo: memFree=26277188/32951124 swapFree=53733252/67111528
[pid=1152] ppid=1148 vsize=304524 CPUtime=0.66 cores=1,3,5,7
/proc/1152/stat : 1152 (python) S 1148 1152 1117 0 -1 4202496 10516 919 112 11 42 24 0 0 19 0 3 0 869245365 311832576 7429 33554432000 4194304 5683644 140734722633392 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 120
/proc/1152/statm: 76131 7429 1873 364 0 11015 0
[pid=1165] ppid=1152 vsize=293876 CPUtime=0.22 cores=1,3,5,7
/proc/1165/stat : 1165 (python) S 1152 1152 1117 0 -1 4202560 1103 0 0 0 9 13 0 0 16 0 2 0 869246091 300929024 5846 33554432000 4194304 5683644 140734722633392 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/1165/statm: 73469 5846 407 364 0 8356 0
[pid=1169] ppid=1165 vsize=121892 CPUtime=46.69 cores=1,3,5,7
/proc/1169/stat : 1169 (scip-2.0.1.linu) T 1165 1169 1169 0 -1 4202496 30908 0 0 0 4573 96 0 0 25 0 1 0 869246091 124817408 27673 33554432000 4194304 13684479 140735108598288 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/1169/statm: 30473 27673 795 2317 0 28151 0
[pid=1165/tid=1173] ppid=1152 vsize=293876 CPUtime=0 cores=1,3,5,7
/proc/1165/task/1173/stat : 1173 (python) S 1152 1152 1117 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869250762 300929024 5846 33554432000 4194304 5683644 140734722633392 18446744073709551615 253652683185 0 0 16781312 33554946 18446604462580176896 0 0 -1 7 0 0 0
[pid=1174] ppid=1152 vsize=294280 CPUtime=0.22 cores=1,3,5,7
/proc/1174/stat : 1174 (python) S 1152 1152 1117 0 -1 4202560 1041 0 0 0 10 12 0 0 15 0 1 0 869250764 301342720 5931 33554432000 4194304 5683644 140734722633392 18446744073709551615 253640879686 0 0 16781312 33554946 4294934791 0 0 17 7 0 0 0
/proc/1174/statm: 73570 5931 379 364 0 8454 0
[pid=1176] ppid=1174 vsize=8538156 CPUtime=49.08 cores=1,3,5,7
/proc/1176/stat : 1176 (java) S 1174 1176 1176 0 -1 4202496 56714 0 118 0 4897 11 0 0 17 0 19 0 869250764 8743071744 48057 33554432000 1073741824 1073778376 140733210156496 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 8
/proc/1176/statm: 2134539 48057 2254 9 0 2125280 0
[pid=1176/tid=1177] ppid=1174 vsize=8538156 CPUtime=47.58 cores=1,3,5,7
/proc/1176/task/1177/stat : 1177 (java) R 1174 1176 1176 0 -1 4202560 14762 0 57 0 4755 3 0 0 25 0 19 0 869250774 8743071744 48057 33554432000 1073741824 1073778376 140733210156496 18446744073709551615 46912505770995 0 4 0 16800975 0 0 0 -1 1 0 0 11
[pid=1176/tid=1178] ppid=1174 vsize=8538156 CPUtime=0.06 cores=1,3,5,7
/proc/1176/task/1178/stat : 1178 (java) S 1174 1176 1176 0 -1 4202560 3627 0 0 0 6 0 0 0 15 0 19 0 869250778 8743071744 48057 33554432000 1073741824 1073778376 140733210156496 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 1 0 0 0
[pid=1176/tid=1179] ppid=1174 vsize=8538156 CPUtime=0.02 cores=1,3,5,7
/proc/1176/task/1179/stat : 1179 (java) S 1174 1176 1176 0 -1 4202560 2499 0 0 0 2 0 0 0 15 0 19 0 869250778 8743071744 48057 33554432000 1073741824 1073778376 140733210156496 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 1 0 0 0
[pid=1176/tid=1180] ppid=1174 vsize=8538156 CPUtime=0.04 cores=1,3,5,7
/proc/1176/task/1180/stat : 1180 (java) S 1174 1176 1176 0 -1 4202560 3455 0 0 0 4 0 0 0 16 0 19 0 869250778 8743071744 48057 33554432000 1073741824 1073778376 140733210156496 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 1 0 0 0
[pid=1176/tid=1181] ppid=1174 vsize=8538156 CPUtime=0.06 cores=1,3,5,7
/proc/1176/task/1181/stat : 1181 (java) S 1174 1176 1176 0 -1 4202560 6826 0 0 0 5 1 0 0 16 0 19 0 869250778 8743071744 48057 33554432000 1073741824 1073778376 140733210156496 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0
[pid=1176/tid=1182] ppid=1174 vsize=8538156 CPUtime=0.04 cores=1,3,5,7
/proc/1176/task/1182/stat : 1182 (java) S 1174 1176 1176 0 -1 4202560 2136 0 0 0 4 0 0 0 16 0 19 0 869250778 8743071744 48057 33554432000 1073741824 1073778376 140733210156496 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0
[pid=1176/tid=1183] ppid=1174 vsize=8538156 CPUtime=0.03 cores=1,3,5,7
/proc/1176/task/1183/stat : 1183 (java) S 1174 1176 1176 0 -1 4202560 1226 0 0 0 3 0 0 0 15 0 19 0 869250778 8743071744 48057 33554432000 1073741824 1073778376 140733210156496 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0
[pid=1176/tid=1184] ppid=1174 vsize=8538156 CPUtime=0.04 cores=1,3,5,7
/proc/1176/task/1184/stat : 1184 (java) S 1174 1176 1176 0 -1 4202560 2839 0 0 0 4 0 0 0 15 0 19 0 869250778 8743071744 48057 33554432000 1073741824 1073778376 140733210156496 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 1 0 0 0
[pid=1176/tid=1185] ppid=1174 vsize=8538156 CPUtime=0.04 cores=1,3,5,7
/proc/1176/task/1185/stat : 1185 (java) S 1174 1176 1176 0 -1 4202560 6253 0 0 0 3 1 0 0 16 0 19 0 869250778 8743071744 48057 33554432000 1073741824 1073778376 140733210156496 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0
[pid=1176/tid=1186] ppid=1174 vsize=8538156 CPUtime=0.31 cores=1,3,5,7
/proc/1176/task/1186/stat : 1186 (java) S 1174 1176 1176 0 -1 4202560 7068 0 0 0 30 1 0 0 15 0 19 0 869250781 8743071744 48057 33554432000 1073741824 1073778376 140733210156496 18446744073709551615 253652676096 0 0 0 16800975 18446604455110149312 0 0 -1 5 0 0 0
[pid=1176/tid=1187] ppid=1174 vsize=8538156 CPUtime=0 cores=1,3,5,7
/proc/1176/task/1187/stat : 1187 (java) S 1174 1176 1176 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869250782 8743071744 48057 33554432000 1073741824 1073778376 140733210156496 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0
[pid=1176/tid=1188] ppid=1174 vsize=8538156 CPUtime=0 cores=1,3,5,7
/proc/1176/task/1188/stat : 1188 (java) S 1174 1176 1176 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869250782 8743071744 48057 33554432000 1073741824 1073778376 140733210156496 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0
[pid=1176/tid=1189] ppid=1174 vsize=8538156 CPUtime=0 cores=1,3,5,7
/proc/1176/task/1189/stat : 1189 (java) S 1174 1176 1176 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869250788 8743071744 48057 33554432000 1073741824 1073778376 140733210156496 18446744073709551615 253652683185 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0
[pid=1176/tid=1190] ppid=1174 vsize=8538156 CPUtime=0.31 cores=1,3,5,7
/proc/1176/task/1190/stat : 1190 (java) S 1174 1176 1176 0 -1 4202560 2702 0 2 0 30 1 0 0 15 0 19 0 869250788 8743071744 48057 33554432000 1073741824 1073778376 140733210156496 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0
[pid=1176/tid=1191] ppid=1174 vsize=8538156 CPUtime=0.44 cores=1,3,5,7
/proc/1176/task/1191/stat : 1191 (java) S 1174 1176 1176 0 -1 4202560 1981 0 2 0 44 0 0 0 15 0 19 0 869250788 8743071744 48057 33554432000 1073741824 1073778376 140733210156496 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0
[pid=1176/tid=1192] ppid=1174 vsize=8538156 CPUtime=0 cores=1,3,5,7
/proc/1176/task/1192/stat : 1192 (java) S 1174 1176 1176 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869250788 8743071744 48057 33554432000 1073741824 1073778376 140733210156496 18446744073709551615 253652675481 0 4 0 16800975 18446604455110149312 0 0 -1 7 0 0 0
[pid=1176/tid=1193] ppid=1174 vsize=8538156 CPUtime=0 cores=1,3,5,7
/proc/1176/task/1193/stat : 1193 (java) S 1174 1176 1176 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869250788 8743071744 48057 33554432000 1073741824 1073778376 140733210156496 18446744073709551615 253652676096 0 4 0 16800975 18446604455110149312 0 0 -1 3 0 0 0
[pid=1176/tid=1194] ppid=1174 vsize=8538156 CPUtime=0 cores=1,3,5,7
/proc/1176/task/1194/stat : 1194 (java) S 1174 1176 1176 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869250821 8743071744 48057 33554432000 1073741824 1073778376 140733210156496 18446744073709551615 253652676096 0 4 0 16800975 18446604455110149312 0 0 -1 5 0 0 0
[pid=1152/tid=1167] ppid=1148 vsize=304524 CPUtime=0 cores=1,3,5,7
/proc/1152/task/1167/stat : 1167 (python) S 1148 1152 1117 0 -1 4202560 30 919 0 11 0 0 0 0 18 0 3 0 869246091 311832576 7429 33554432000 4194304 5683644 140734722633392 18446744073709551615 253652683185 0 0 16781312 33554434 18446604465796436224 0 0 -1 3 0 0 0
[pid=1152/tid=1175] ppid=1148 vsize=304524 CPUtime=0 cores=1,3,5,7
/proc/1152/task/1175/stat : 1175 (python) S 1148 1152 1117 0 -1 4202560 27 919 0 11 0 0 0 0 20 0 3 0 869250764 311832576 7429 33554432000 4194304 5683644 140734722633392 18446744073709551615 253652683185 0 0 16781312 33554434 18446604465796436224 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 96.87
Current children cumulated vsize (KiB) 9552728
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+151.202 s]
/proc/loadavg: 1.91 0.87 0.33 6/631 1248
/proc/meminfo: memFree=25994868/32951124 swapFree=53733252/67111528
[pid=1152] ppid=1148 vsize=325288 CPUtime=0.71 cores=1,3,5,7
/proc/1152/stat : 1152 (python) S 1148 1152 1117 0 -1 4202496 12350 919 112 11 47 24 0 0 19 0 5 0 869245365 333094912 7488 33554432000 4194304 5683644 140734722633392 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 120
/proc/1152/statm: 81322 7488 1877 364 0 16200 0
[pid=1165] ppid=1152 vsize=293876 CPUtime=0.22 cores=1,3,5,7
/proc/1165/stat : 1165 (python) S 1152 1152 1117 0 -1 4202560 1103 0 0 0 9 13 0 0 16 0 2 0 869246091 300929024 5846 33554432000 4194304 5683644 140734722633392 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/1165/statm: 73469 5846 407 364 0 8356 0
[pid=1169] ppid=1165 vsize=121892 CPUtime=46.69 cores=1,3,5,7
/proc/1169/stat : 1169 (scip-2.0.1.linu) T 1165 1169 1169 0 -1 4202496 30908 0 0 0 4573 96 0 0 25 0 1 0 869246091 124817408 27673 33554432000 4194304 13684479 140735108598288 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/1169/statm: 30473 27673 795 2317 0 28151 0
[pid=1165/tid=1173] ppid=1152 vsize=293876 CPUtime=0 cores=1,3,5,7
/proc/1165/task/1173/stat : 1173 (python) S 1152 1152 1117 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869250762 300929024 5846 33554432000 4194304 5683644 140734722633392 18446744073709551615 253652683185 0 0 16781312 33554946 18446604462580176896 0 0 -1 7 0 0 0
[pid=1174] ppid=1152 vsize=294280 CPUtime=0.24 cores=1,3,5,7
/proc/1174/stat : 1174 (python) S 1152 1152 1117 0 -1 4202560 1167 0 0 0 11 13 0 0 16 0 2 0 869250764 301342720 5956 33554432000 4194304 5683644 140734722633392 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/1174/statm: 73570 5956 403 364 0 8454 0
[pid=1176] ppid=1174 vsize=8538156 CPUtime=50.27 cores=1,3,5,7
/proc/1176/stat : 1176 (java) T 1174 1176 1176 0 -1 4202496 56714 0 118 0 5016 11 0 0 15 0 19 0 869250764 8743071744 48057 33554432000 1073741824 1073778376 140733210156496 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 8
/proc/1176/statm: 2134539 48057 2254 9 0 2125280 0
[pid=1176/tid=1177] ppid=1174 vsize=8538156 CPUtime=48.77 cores=1,3,5,7
/proc/1176/task/1177/stat : 1177 (java) T 1174 1176 1176 0 -1 4202560 14762 0 57 0 4874 3 0 0 25 0 19 0 869250774 8743071744 48057 33554432000 1073741824 1073778376 140733210156496 18446744073709551615 46912505722041 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 11
[pid=1176/tid=1178] ppid=1174 vsize=8538156 CPUtime=0.06 cores=1,3,5,7
/proc/1176/task/1178/stat : 1178 (java) T 1174 1176 1176 0 -1 4202560 3627 0 0 0 6 0 0 0 15 0 19 0 869250778 8743071744 48057 33554432000 1073741824 1073778376 140733210156496 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=1176/tid=1179] ppid=1174 vsize=8538156 CPUtime=0.02 cores=1,3,5,7
/proc/1176/task/1179/stat : 1179 (java) T 1174 1176 1176 0 -1 4202560 2499 0 0 0 2 0 0 0 15 0 19 0 869250778 8743071744 48057 33554432000 1073741824 1073778376 140733210156496 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=1176/tid=1180] ppid=1174 vsize=8538156 CPUtime=0.04 cores=1,3,5,7
/proc/1176/task/1180/stat : 1180 (java) T 1174 1176 1176 0 -1 4202560 3455 0 0 0 4 0 0 0 15 0 19 0 869250778 8743071744 48057 33554432000 1073741824 1073778376 140733210156496 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=1176/tid=1181] ppid=1174 vsize=8538156 CPUtime=0.06 cores=1,3,5,7
/proc/1176/task/1181/stat : 1181 (java) T 1174 1176 1176 0 -1 4202560 6826 0 0 0 5 1 0 0 15 0 19 0 869250778 8743071744 48057 33554432000 1073741824 1073778376 140733210156496 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=1176/tid=1182] ppid=1174 vsize=8538156 CPUtime=0.04 cores=1,3,5,7
/proc/1176/task/1182/stat : 1182 (java) T 1174 1176 1176 0 -1 4202560 2136 0 0 0 4 0 0 0 15 0 19 0 869250778 8743071744 48057 33554432000 1073741824 1073778376 140733210156496 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=1176/tid=1183] ppid=1174 vsize=8538156 CPUtime=0.03 cores=1,3,5,7
/proc/1176/task/1183/stat : 1183 (java) T 1174 1176 1176 0 -1 4202560 1226 0 0 0 3 0 0 0 15 0 19 0 869250778 8743071744 48057 33554432000 1073741824 1073778376 140733210156496 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=1176/tid=1184] ppid=1174 vsize=8538156 CPUtime=0.04 cores=1,3,5,7
/proc/1176/task/1184/stat : 1184 (java) T 1174 1176 1176 0 -1 4202560 2839 0 0 0 4 0 0 0 15 0 19 0 869250778 8743071744 48057 33554432000 1073741824 1073778376 140733210156496 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=1176/tid=1185] ppid=1174 vsize=8538156 CPUtime=0.04 cores=1,3,5,7
/proc/1176/task/1185/stat : 1185 (java) T 1174 1176 1176 0 -1 4202560 6253 0 0 0 3 1 0 0 15 0 19 0 869250778 8743071744 48057 33554432000 1073741824 1073778376 140733210156496 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=1176/tid=1186] ppid=1174 vsize=8538156 CPUtime=0.31 cores=1,3,5,7
/proc/1176/task/1186/stat : 1186 (java) T 1174 1176 1176 0 -1 4202560 7068 0 0 0 30 1 0 0 15 0 19 0 869250781 8743071744 48057 33554432000 1073741824 1073778376 140733210156496 18446744073709551615 253652676096 0 0 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=1176/tid=1187] ppid=1174 vsize=8538156 CPUtime=0 cores=1,3,5,7
/proc/1176/task/1187/stat : 1187 (java) T 1174 1176 1176 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869250782 8743071744 48057 33554432000 1073741824 1073778376 140733210156496 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=1176/tid=1188] ppid=1174 vsize=8538156 CPUtime=0 cores=1,3,5,7
/proc/1176/task/1188/stat : 1188 (java) T 1174 1176 1176 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869250782 8743071744 48057 33554432000 1073741824 1073778376 140733210156496 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=1176/tid=1189] ppid=1174 vsize=8538156 CPUtime=0 cores=1,3,5,7
/proc/1176/task/1189/stat : 1189 (java) T 1174 1176 1176 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869250788 8743071744 48057 33554432000 1073741824 1073778376 140733210156496 18446744073709551615 253652683185 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=1176/tid=1190] ppid=1174 vsize=8538156 CPUtime=0.31 cores=1,3,5,7
/proc/1176/task/1190/stat : 1190 (java) T 1174 1176 1176 0 -1 4202560 2702 0 2 0 30 1 0 0 15 0 19 0 869250788 8743071744 48057 33554432000 1073741824 1073778376 140733210156496 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=1176/tid=1191] ppid=1174 vsize=8538156 CPUtime=0.44 cores=1,3,5,7
/proc/1176/task/1191/stat : 1191 (java) T 1174 1176 1176 0 -1 4202560 1981 0 2 0 44 0 0 0 15 0 19 0 869250788 8743071744 48057 33554432000 1073741824 1073778376 140733210156496 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=1176/tid=1192] ppid=1174 vsize=8538156 CPUtime=0 cores=1,3,5,7
/proc/1176/task/1192/stat : 1192 (java) T 1174 1176 1176 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869250788 8743071744 48057 33554432000 1073741824 1073778376 140733210156496 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=1176/tid=1193] ppid=1174 vsize=8538156 CPUtime=0 cores=1,3,5,7
/proc/1176/task/1193/stat : 1193 (java) T 1174 1176 1176 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869250788 8743071744 48057 33554432000 1073741824 1073778376 140733210156496 18446744073709551615 253652676096 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=1176/tid=1194] ppid=1174 vsize=8538156 CPUtime=0 cores=1,3,5,7
/proc/1176/task/1194/stat : 1194 (java) T 1174 1176 1176 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869250821 8743071744 48057 33554432000 1073741824 1073778376 140733210156496 18446744073709551615 253652676096 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=1174/tid=1218] ppid=1152 vsize=294280 CPUtime=0 cores=1,3,5,7
/proc/1174/task/1218/stat : 1218 (python) S 1152 1152 1117 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869255714 301342720 5956 33554432000 4194304 5683644 140734722633392 18446744073709551615 253652683185 0 0 16781312 33554946 18446604455235811136 0 0 -1 7 0 0 0
[pid=1219] ppid=1152 vsize=304276 CPUtime=0.26 cores=1,3,5,7
/proc/1219/stat : 1219 (python) S 1152 1152 1117 0 -1 4202560 1185 0 0 0 14 12 0 0 16 0 2 0 869255717 311578624 5906 33554432000 4194304 5683644 140734722633392 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/1219/statm: 76069 5906 403 364 0 10950 0
[pid=1221] ppid=1219 vsize=130604 CPUtime=46.69 cores=1,3,5,7
/proc/1221/stat : 1221 (scip-2.0.1.linu) T 1219 1221 1221 0 -1 4202496 34712 0 0 0 4647 22 0 0 21 0 1 0 869255717 133738496 28614 33554432000 4194304 15243407 140736474662160 18446744073709551615 8112819 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/1221/statm: 32651 28614 902 2698 0 29946 0
[pid=1219/tid=1227] ppid=1152 vsize=304276 CPUtime=0 cores=1,3,5,7
/proc/1219/task/1227/stat : 1227 (python) S 1152 1152 1117 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869260387 311578624 5906 33554432000 4194304 5683644 140734722633392 18446744073709551615 253652683185 0 0 16781312 33554946 18446604465242872832 0 0 -1 7 0 0 0
[pid=1228] ppid=1152 vsize=315044 CPUtime=0 cores=1,3,5,7
/proc/1228/stat : 1228 (python) S 1152 1152 1117 0 -1 4202560 810 0 0 0 0 0 0 0 15 0 1 0 869260390 322605056 5956 33554432000 4194304 5683644 140734722633392 18446744073709551615 253640879686 0 0 16781312 33554946 4294934791 0 0 17 5 0 0 0
/proc/1228/statm: 78761 5956 349 364 0 13639 0
[pid=1230] ppid=1228 vsize=8539172 CPUtime=1.57 cores=1,3,5,7
/proc/1230/stat : 1230 (java) S 1228 1230 1230 0 -1 4202496 14813 0 1 0 155 2 0 0 17 0 19 0 869260390 8744112128 13047 33554432000 1073741824 1073778376 140734940959824 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/1230/statm: 2134793 13047 2224 9 0 2125534 0
[pid=1230/tid=1231] ppid=1228 vsize=8539172 CPUtime=0.92 cores=1,3,5,7
/proc/1230/task/1231/stat : 1231 (java) R 1228 1230 1230 0 -1 4202560 9277 0 1 0 91 1 0 0 25 0 19 0 869260391 8744112128 13152 33554432000 1073741824 1073778376 140734940959824 18446744073709551615 46912505738450 0 4 0 16800975 0 0 0 -1 5 0 0 4
[pid=1230/tid=1232] ppid=1228 vsize=8539172 CPUtime=0 cores=1,3,5,7
/proc/1230/task/1232/stat : 1232 (java) S 1228 1230 1230 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869260392 8744112128 13152 33554432000 1073741824 1073778376 140734940959824 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 7 0 0 0
[pid=1230/tid=1233] ppid=1228 vsize=8539172 CPUtime=0 cores=1,3,5,7
/proc/1230/task/1233/stat : 1233 (java) S 1228 1230 1230 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869260392 8744112128 13152 33554432000 1073741824 1073778376 140734940959824 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 5 0 0 0
[pid=1230/tid=1234] ppid=1228 vsize=8539172 CPUtime=0 cores=1,3,5,7
/proc/1230/task/1234/stat : 1234 (java) S 1228 1230 1230 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869260392 8744112128 13152 33554432000 1073741824 1073778376 140734940959824 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 5 0 0 0
[pid=1230/tid=1235] ppid=1228 vsize=8539172 CPUtime=0 cores=1,3,5,7
/proc/1230/task/1235/stat : 1235 (java) S 1228 1230 1230 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869260392 8744112128 13152 33554432000 1073741824 1073778376 140734940959824 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 5 0 0 0
[pid=1230/tid=1236] ppid=1228 vsize=8539172 CPUtime=0 cores=1,3,5,7
/proc/1230/task/1236/stat : 1236 (java) S 1228 1230 1230 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869260392 8744112128 13152 33554432000 1073741824 1073778376 140734940959824 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 5 0 0 0
[pid=1230/tid=1237] ppid=1228 vsize=8539172 CPUtime=0 cores=1,3,5,7
/proc/1230/task/1237/stat : 1237 (java) S 1228 1230 1230 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869260392 8744112128 13152 33554432000 1073741824 1073778376 140734940959824 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 5 0 0 0
[pid=1230/tid=1238] ppid=1228 vsize=8539172 CPUtime=0 cores=1,3,5,7
/proc/1230/task/1238/stat : 1238 (java) S 1228 1230 1230 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869260392 8744112128 13152 33554432000 1073741824 1073778376 140734940959824 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 5 0 0 0
[pid=1230/tid=1239] ppid=1228 vsize=8539172 CPUtime=0 cores=1,3,5,7
/proc/1230/task/1239/stat : 1239 (java) S 1228 1230 1230 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869260392 8744112128 13152 33554432000 1073741824 1073778376 140734940959824 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 5 0 0 0
[pid=1230/tid=1240] ppid=1228 vsize=8539172 CPUtime=0 cores=1,3,5,7
/proc/1230/task/1240/stat : 1240 (java) S 1228 1230 1230 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 19 0 869260393 8744112128 13152 33554432000 1073741824 1073778376 140734940959824 18446744073709551615 253652676096 0 0 0 16800975 18446604468954801280 0 0 -1 5 0 0 0
[pid=1230/tid=1241] ppid=1228 vsize=8539172 CPUtime=0 cores=1,3,5,7
/proc/1230/task/1241/stat : 1241 (java) S 1228 1230 1230 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 869260393 8744112128 13152 33554432000 1073741824 1073778376 140734940959824 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 7 0 0 0
[pid=1230/tid=1242] ppid=1228 vsize=8539172 CPUtime=0 cores=1,3,5,7
/proc/1230/task/1242/stat : 1242 (java) S 1228 1230 1230 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 869260393 8744112128 13152 33554432000 1073741824 1073778376 140734940959824 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 7 0 0 0
[pid=1230/tid=1243] ppid=1228 vsize=8539172 CPUtime=0 cores=1,3,5,7
/proc/1230/task/1243/stat : 1243 (java) S 1228 1230 1230 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869260396 8744112128 13152 33554432000 1073741824 1073778376 140734940959824 18446744073709551615 253652683185 0 4 0 16800975 18446604468954801280 0 0 -1 7 0 0 0
[pid=1230/tid=1244] ppid=1228 vsize=8539172 CPUtime=0.34 cores=1,3,5,7
/proc/1230/task/1244/stat : 1244 (java) R 1228 1230 1230 0 -1 4202560 1828 0 0 0 34 0 0 0 23 0 19 0 869260396 8744112128 13152 33554432000 1073741824 1073778376 140734940959824 18446744073709551615 47637364166513 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1230/tid=1245] ppid=1228 vsize=8539172 CPUtime=0.31 cores=1,3,5,7
/proc/1230/task/1245/stat : 1245 (java) R 1228 1230 1230 0 -1 4202560 2415 0 0 0 31 0 0 0 23 0 19 0 869260396 8744112128 13152 33554432000 1073741824 1073778376 140734940959824 18446744073709551615 253652685493 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=1230/tid=1246] ppid=1228 vsize=8539172 CPUtime=0 cores=1,3,5,7
/proc/1230/task/1246/stat : 1246 (java) S 1228 1230 1230 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869260396 8744112128 13152 33554432000 1073741824 1073778376 140734940959824 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 7 0 0 0
[pid=1230/tid=1247] ppid=1228 vsize=8539172 CPUtime=0 cores=1,3,5,7
/proc/1230/task/1247/stat : 1247 (java) S 1228 1230 1230 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 869260396 8744112128 13152 33554432000 1073741824 1073778376 140734940959824 18446744073709551615 253652676096 0 4 0 16800975 18446604468954801280 0 0 -1 5 0 0 0
[pid=1230/tid=1248] ppid=1228 vsize=8539172 CPUtime=0 cores=1,3,5,7
/proc/1230/task/1248/stat : 1248 (java) S 1228 1230 1230 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869260430 8744112128 13152 33554432000 1073741824 1073778376 140734940959824 18446744073709551615 253652676096 0 4 0 16800975 18446604468954801280 0 0 -1 5 0 0 0
[pid=1152/tid=1167] ppid=1148 vsize=325288 CPUtime=0 cores=1,3,5,7
/proc/1152/task/1167/stat : 1167 (python) S 1148 1152 1117 0 -1 4202560 30 919 0 11 0 0 0 0 18 0 5 0 869246091 333094912 7488 33554432000 4194304 5683644 140734722633392 18446744073709551615 253652683185 0 0 16781312 33554434 18446604465796436224 0 0 -1 3 0 0 0
[pid=1152/tid=1175] ppid=1148 vsize=325288 CPUtime=0 cores=1,3,5,7
/proc/1152/task/1175/stat : 1175 (python) S 1148 1152 1117 0 -1 4202560 27 919 0 11 0 0 0 0 20 0 5 0 869250764 333094912 7488 33554432000 4194304 5683644 140734722633392 18446744073709551615 253652683185 0 0 16781312 33554434 18446604465796436224 0 0 -1 3 0 0 0
[pid=1152/tid=1220] ppid=1148 vsize=325288 CPUtime=0 cores=1,3,5,7
/proc/1152/task/1220/stat : 1220 (python) S 1148 1152 1117 0 -1 4202560 27 919 0 11 0 0 0 0 20 0 5 0 869255717 333094912 7488 33554432000 4194304 5683644 140734722633392 18446744073709551615 253652683185 0 0 16781312 33554434 18446604465796436224 0 0 -1 3 0 0 0
[pid=1152/tid=1229] ppid=1148 vsize=325288 CPUtime=0 cores=1,3,5,7
/proc/1152/task/1229/stat : 1229 (python) S 1148 1152 1117 0 -1 4202560 32 919 0 11 0 0 0 0 20 0 5 0 869260390 333094912 7488 33554432000 4194304 5683644 140734722633392 18446744073709551615 253652683185 0 0 16781312 33554434 18446604465796436224 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 146.65
Current children cumulated vsize (KiB) 18862588
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 1152 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=472928
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=254961
# CPU time returned by wait4() is 0.727889
# while last known CPU time is 146.65
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 151.285
CPU time (s): 146.65
CPU user time (s): 144.72
CPU system time (s): 1.93
CPU usage (%): 96.9365
Max. virtual memory (cumulated for all children) (KiB): 18862588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.472928
system time used= 0.254961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13271
page faults= 123
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18344
involuntary context switches= 67
runsolver used 0.884865 second user time and 2.26365 second system time
The end