runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3710201-1338178264/watcher-3710201-1338178264 -o /tmp/evaluation-result-3710201-1338178264/solver-3710201-1338178264 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710201-1338178264.opb
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: 1.92 1.99 1.99 3/194 15208
/proc/meminfo: memFree=28394352/32873844 swapFree=7372/7372
[pid=15208] ppid=15206 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/15208/stat : 15208 (java) R 15206 15208 12979 0 -1 4202496 1063 0 0 0 0 0 0 0 20 0 1 0 283952546 23793664 791 33554432000 1073741824 1073778376 140737169985232 140737169974296 139890798546921 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15208/statm: 5809 811 605 9 0 128 0
[startup+0.041408 s]
/proc/loadavg: 1.92 1.99 1.99 3/194 15208
/proc/meminfo: memFree=28394352/32873844 swapFree=7372/7372
[pid=15208] ppid=15206 vsize=9225560 CPUtime=0.02 cores=0,2,4,6
/proc/15208/stat : 15208 (java) S 15206 15208 12979 0 -1 4202496 3062 0 1 0 2 0 0 0 20 0 13 0 283952546 9446973440 3759 33554432000 1073741824 1073778376 140737169985232 140737169976368 251035418685 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15208/statm: 2306390 3759 1707 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560
[startup+0.100191 s]
/proc/loadavg: 1.92 1.99 1.99 3/194 15208
/proc/meminfo: memFree=28394352/32873844 swapFree=7372/7372
[pid=15208] ppid=15206 vsize=9558440 CPUtime=0.1 cores=0,2,4,6
/proc/15208/stat : 15208 (java) S 15206 15208 12979 0 -1 4202496 4385 0 1 0 10 0 0 0 20 0 18 0 283952546 9787842560 6103 33554432000 1073741824 1073778376 140737169985232 140737169976368 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15208/statm: 2389610 6103 2131 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558440
[startup+0.300267 s]
/proc/loadavg: 1.92 1.99 1.99 3/194 15208
/proc/meminfo: memFree=28394352/32873844 swapFree=7372/7372
[pid=15208] ppid=15206 vsize=9558440 CPUtime=0.46 cores=0,2,4,6
/proc/15208/stat : 15208 (java) S 15206 15208 12979 0 -1 4202496 5210 0 1 0 45 1 0 0 20 0 18 0 283952546 9787842560 15302 33554432000 1073741824 1073778376 140737169985232 140737169976368 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15208/statm: 2389610 15302 2223 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558440
[startup+0.700319 s]
/proc/loadavg: 1.92 1.99 1.99 3/194 15208
/proc/meminfo: memFree=28394352/32873844 swapFree=7372/7372
[pid=15208] ppid=15206 vsize=9558440 CPUtime=0.94 cores=0,2,4,6
/proc/15208/stat : 15208 (java) S 15206 15208 12979 0 -1 4202496 5405 0 1 0 89 5 0 0 20 0 18 0 283952546 9787842560 45102 33554432000 1073741824 1073778376 140737169985232 140737169976368 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15208/statm: 2389610 45102 2239 9 0 2380296 0
Current children cumulated CPU time (s) 0.94
Current children cumulated vsize (KiB) 9558440
[startup+1.50061 s]
/proc/loadavg: 1.92 1.99 1.99 10/212 15226
/proc/meminfo: memFree=28160708/32873844 swapFree=7372/7372
[pid=15208] ppid=15206 vsize=9558440 CPUtime=2.46 cores=0,2,4,6
/proc/15208/stat : 15208 (java) S 15206 15208 12979 0 -1 4202496 10091 0 1 0 222 24 0 0 20 0 18 0 283952546 9787842560 107522 33554432000 1073741824 1073778376 140737169985232 140737169976368 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15208/statm: 2389610 107522 2254 9 0 2380296 0
[pid=15208/tid=15210] ppid=15206 vsize=9558440 CPUtime=1.3 cores=0,2,4,6
/proc/15208/task/15210/stat : 15210 (java) S 15206 15208 12979 0 -1 4202560 2624 0 1 0 125 5 0 0 20 0 18 0 283952546 9787842560 107522 33554432000 1073741824 1073778376 140737169985232 139890792021016 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15208/tid=15211] ppid=15206 vsize=9558440 CPUtime=0.1 cores=0,2,4,6
/proc/15208/task/15211/stat : 15211 (java) R 15206 15208 12979 0 -1 4202560 154 0 0 0 7 3 0 0 20 0 18 0 283952547 9787842560 107522 33554432000 1073741824 1073778376 140737169985232 139890781084592 139890795300764 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=15208/tid=15212] ppid=15206 vsize=9558440 CPUtime=0.07 cores=0,2,4,6
/proc/15208/task/15212/stat : 15212 (java) R 15206 15208 12979 0 -1 4202560 50 0 0 0 5 2 0 0 20 0 18 0 283952547 9787842560 107522 33554432000 1073741824 1073778376 140737169985232 139890780031936 139890798918572 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15208/tid=15213] ppid=15206 vsize=9558440 CPUtime=0.07 cores=0,2,4,6
/proc/15208/task/15213/stat : 15213 (java) R 15206 15208 12979 0 -1 4202560 337 0 0 0 5 2 0 0 20 0 18 0 283952547 9787842560 107522 33554432000 1073741824 1073778376 140737169985232 139890778978872 139890794493641 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=15208/tid=15214] ppid=15206 vsize=9558440 CPUtime=0.04 cores=0,2,4,6
/proc/15208/task/15214/stat : 15214 (java) R 15206 15208 12979 0 -1 4202560 32 0 0 0 3 1 0 0 20 0 18 0 283952547 9787842560 107522 33554432000 1073741824 1073778376 140737169985232 139890777926336 139890798918572 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15208/tid=15215] ppid=15206 vsize=9558440 CPUtime=0.09 cores=0,2,4,6
/proc/15208/task/15215/stat : 15215 (java) R 15206 15208 12979 0 -1 4202560 142 0 0 0 6 3 0 0 20 0 18 0 283952547 9787842560 107522 33554432000 1073741824 1073778376 140737169985232 139890776873688 139890798918572 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=15208/tid=15216] ppid=15206 vsize=9558440 CPUtime=0.07 cores=0,2,4,6
/proc/15208/task/15216/stat : 15216 (java) R 15206 15208 12979 0 -1 4202560 42 0 0 0 5 2 0 0 20 0 18 0 283952547 9787842560 107522 33554432000 1073741824 1073778376 140737169985232 139890630802008 139890795779183 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=15208/tid=15217] ppid=15206 vsize=9558440 CPUtime=0.11 cores=0,2,4,6
/proc/15208/task/15217/stat : 15217 (java) R 15206 15208 12979 0 -1 4202560 135 0 0 0 8 3 0 0 20 0 18 0 283952547 9787842560 107522 33554432000 1073741824 1073778376 140737169985232 139890629749032 139890798918572 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=15208/tid=15218] ppid=15206 vsize=9558440 CPUtime=0.04 cores=0,2,4,6
/proc/15208/task/15218/stat : 15218 (java) R 15206 15208 12979 0 -1 4202560 102 0 0 0 3 1 0 0 20 0 18 0 283952547 9787842560 107522 33554432000 1073741824 1073778376 140737169985232 139890628696408 139890798918572 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15208/tid=15219] ppid=15206 vsize=9558440 CPUtime=0 cores=0,2,4,6
/proc/15208/task/15219/stat : 15219 (java) S 15206 15208 12979 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 18 0 283952548 9787842560 107522 33554432000 1073741824 1073778376 140737169985232 139890616285064 251035431996 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15208/tid=15220] ppid=15206 vsize=9558440 CPUtime=0 cores=0,2,4,6
/proc/15208/task/15220/stat : 15220 (java) S 15206 15208 12979 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 283952548 9787842560 107522 33554432000 1073741824 1073778376 140737169985232 139890615232248 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15208/tid=15221] ppid=15206 vsize=9558440 CPUtime=0 cores=0,2,4,6
/proc/15208/task/15221/stat : 15221 (java) S 15206 15208 12979 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 283952548 9787842560 107522 33554432000 1073741824 1073778376 140737169985232 139890614179336 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15208/tid=15222] ppid=15206 vsize=9558440 CPUtime=0 cores=0,2,4,6
/proc/15208/task/15222/stat : 15222 (java) S 15206 15208 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 283952550 9787842560 107522 33554432000 1073741824 1073778376 140737169985232 139890613127824 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15208/tid=15223] ppid=15206 vsize=9558440 CPUtime=0.2 cores=0,2,4,6
/proc/15208/task/15223/stat : 15223 (java) S 15206 15208 12979 0 -1 4202560 1479 0 0 0 20 0 0 0 20 0 18 0 283952550 9787842560 107522 33554432000 1073741824 1073778376 140737169985232 139890612074936 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15208/tid=15224] ppid=15206 vsize=9558440 CPUtime=0.21 cores=0,2,4,6
/proc/15208/task/15224/stat : 15224 (java) S 15206 15208 12979 0 -1 4202560 3749 0 0 0 21 0 0 0 20 0 18 0 283952550 9787842560 107522 33554432000 1073741824 1073778376 140737169985232 139890611022136 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15208/tid=15225] ppid=15206 vsize=9558440 CPUtime=0 cores=0,2,4,6
/proc/15208/task/15225/stat : 15225 (java) S 15206 15208 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 283952550 9787842560 107522 33554432000 1073741824 1073778376 140737169985232 139890609969528 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15208/tid=15226] ppid=15206 vsize=9558440 CPUtime=0 cores=0,2,4,6
/proc/15208/task/15226/stat : 15226 (java) S 15206 15208 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 283952550 9787842560 107522 33554432000 1073741824 1073778376 140737169985232 139890608916936 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.46
Current children cumulated vsize (KiB) 9558440
[startup+3.10082 s]
/proc/loadavg: 1.92 1.99 1.99 3/212 15226
/proc/meminfo: memFree=27869400/32873844 swapFree=7372/7372
[pid=15208] ppid=15206 vsize=9558440 CPUtime=4.96 cores=0,2,4,6
/proc/15208/stat : 15208 (java) S 15206 15208 12979 0 -1 4202496 12846 0 1 0 440 56 0 0 20 0 18 0 283952546 9787842560 330274 33554432000 1073741824 1073778376 140737169985232 140737169976368 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15208/statm: 2389610 330274 2254 9 0 2380296 0
[pid=15208/tid=15210] ppid=15206 vsize=9558440 CPUtime=2.58 cores=0,2,4,6
/proc/15208/task/15210/stat : 15210 (java) R 15206 15208 12979 0 -1 4202560 3609 0 1 0 243 15 0 0 20 0 18 0 283952546 9787842560 330274 33554432000 1073741824 1073778376 140737169985232 139890792020352 139890799787095 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15208/tid=15211] ppid=15206 vsize=9558440 CPUtime=0.22 cores=0,2,4,6
/proc/15208/task/15211/stat : 15211 (java) S 15206 15208 12979 0 -1 4202560 241 0 0 0 17 5 0 0 20 0 18 0 283952547 9787842560 330274 33554432000 1073741824 1073778376 140737169985232 139890781084712 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15208/tid=15212] ppid=15206 vsize=9558440 CPUtime=0.24 cores=0,2,4,6
/proc/15208/task/15212/stat : 15212 (java) S 15206 15208 12979 0 -1 4202560 117 0 0 0 18 6 0 0 20 0 18 0 283952547 9787842560 330274 33554432000 1073741824 1073778376 140737169985232 139890780031912 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15208/tid=15213] ppid=15206 vsize=9558440 CPUtime=0.24 cores=0,2,4,6
/proc/15208/task/15213/stat : 15213 (java) S 15206 15208 12979 0 -1 4202560 389 0 0 0 19 5 0 0 20 0 18 0 283952547 9787842560 330274 33554432000 1073741824 1073778376 140737169985232 139890778979112 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15208/tid=15214] ppid=15206 vsize=9558440 CPUtime=0.17 cores=0,2,4,6
/proc/15208/task/15214/stat : 15214 (java) S 15206 15208 12979 0 -1 4202560 341 0 0 0 14 3 0 0 20 0 18 0 283952547 9787842560 330274 33554432000 1073741824 1073778376 140737169985232 139890777926312 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15208/tid=15215] ppid=15206 vsize=9558440 CPUtime=0.25 cores=0,2,4,6
/proc/15208/task/15215/stat : 15215 (java) S 15206 15208 12979 0 -1 4202560 199 0 0 0 19 6 0 0 20 0 18 0 283952547 9787842560 330274 33554432000 1073741824 1073778376 140737169985232 139890776873512 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15208/tid=15216] ppid=15206 vsize=9558440 CPUtime=0.2 cores=0,2,4,6
/proc/15208/task/15216/stat : 15216 (java) S 15206 15208 12979 0 -1 4202560 94 0 0 0 15 5 0 0 20 0 18 0 283952547 9787842560 330274 33554432000 1073741824 1073778376 140737169985232 139890630801832 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15208/tid=15217] ppid=15206 vsize=9558440 CPUtime=0.27 cores=0,2,4,6
/proc/15208/task/15217/stat : 15217 (java) S 15206 15208 12979 0 -1 4202560 260 0 0 0 20 7 0 0 20 0 18 0 283952547 9787842560 330274 33554432000 1073741824 1073778376 140737169985232 139890629749032 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15208/tid=15218] ppid=15206 vsize=9558440 CPUtime=0.18 cores=0,2,4,6
/proc/15208/task/15218/stat : 15218 (java) S 15206 15208 12979 0 -1 4202560 153 0 0 0 14 4 0 0 20 0 18 0 283952547 9787842560 330274 33554432000 1073741824 1073778376 140737169985232 139890628696232 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15208/tid=15219] ppid=15206 vsize=9558440 CPUtime=0 cores=0,2,4,6
/proc/15208/task/15219/stat : 15219 (java) S 15206 15208 12979 0 -1 4202560 1040 0 0 0 0 0 0 0 20 0 18 0 283952548 9787842560 330274 33554432000 1073741824 1073778376 140737169985232 139890616286184 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15208/tid=15220] ppid=15206 vsize=9558440 CPUtime=0 cores=0,2,4,6
/proc/15208/task/15220/stat : 15220 (java) S 15206 15208 12979 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 283952548 9787842560 330274 33554432000 1073741824 1073778376 140737169985232 139890615232248 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15208/tid=15221] ppid=15206 vsize=9558440 CPUtime=0 cores=0,2,4,6
/proc/15208/task/15221/stat : 15221 (java) S 15206 15208 12979 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 283952548 9787842560 330274 33554432000 1073741824 1073778376 140737169985232 139890614179336 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15208/tid=15222] ppid=15206 vsize=9558440 CPUtime=0 cores=0,2,4,6
/proc/15208/task/15222/stat : 15222 (java) S 15206 15208 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 283952550 9787842560 330274 33554432000 1073741824 1073778376 140737169985232 139890613127824 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15208/tid=15223] ppid=15206 vsize=9558440 CPUtime=0.21 cores=0,2,4,6
/proc/15208/task/15223/stat : 15223 (java) S 15206 15208 12979 0 -1 4202560 1479 0 0 0 21 0 0 0 20 0 18 0 283952550 9787842560 330274 33554432000 1073741824 1073778376 140737169985232 139890612074936 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15208/tid=15224] ppid=15206 vsize=9558440 CPUtime=0.23 cores=0,2,4,6
/proc/15208/task/15224/stat : 15224 (java) S 15206 15208 12979 0 -1 4202560 3749 0 0 0 23 0 0 0 20 0 18 0 283952550 9787842560 330274 33554432000 1073741824 1073778376 140737169985232 139890611022136 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15208/tid=15225] ppid=15206 vsize=9558440 CPUtime=0 cores=0,2,4,6
/proc/15208/task/15225/stat : 15225 (java) S 15206 15208 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 283952550 9787842560 330274 33554432000 1073741824 1073778376 140737169985232 139890609969528 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15208/tid=15226] ppid=15206 vsize=9558440 CPUtime=0 cores=0,2,4,6
/proc/15208/task/15226/stat : 15226 (java) S 15206 15208 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 283952550 9787842560 330274 33554432000 1073741824 1073778376 140737169985232 139890608916936 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.96
Current children cumulated vsize (KiB) 9558440
[startup+6.30062 s]
/proc/loadavg: 2.49 2.10 2.03 3/212 15226
/proc/meminfo: memFree=25627904/32873844 swapFree=7372/7372
[pid=15208] ppid=15206 vsize=9558440 CPUtime=8.42 cores=0,2,4,6
/proc/15208/stat : 15208 (java) S 15206 15208 12979 0 -1 4202496 14011 0 1 0 758 84 0 0 20 0 18 0 283952546 9787842560 693947 33554432000 1073741824 1073778376 140737169985232 140737169976368 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15208/statm: 2389610 693947 2254 9 0 2380296 0
[pid=15208/tid=15210] ppid=15206 vsize=9558440 CPUtime=5.67 cores=0,2,4,6
/proc/15208/task/15210/stat : 15210 (java) R 15206 15208 12979 0 -1 4202560 4318 0 1 0 525 42 0 0 20 0 18 0 283952546 9787842560 693947 33554432000 1073741824 1073778376 140737169985232 139890792013648 139890658854048 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=15208/tid=15211] ppid=15206 vsize=9558440 CPUtime=0.27 cores=0,2,4,6
/proc/15208/task/15211/stat : 15211 (java) S 15206 15208 12979 0 -1 4202560 242 0 0 0 21 6 0 0 20 0 18 0 283952547 9787842560 693947 33554432000 1073741824 1073778376 140737169985232 139890781084712 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15208/tid=15212] ppid=15206 vsize=9558440 CPUtime=0.27 cores=0,2,4,6
/proc/15208/task/15212/stat : 15212 (java) S 15206 15208 12979 0 -1 4202560 122 0 0 0 21 6 0 0 20 0 18 0 283952547 9787842560 693947 33554432000 1073741824 1073778376 140737169985232 139890780031912 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15208/tid=15213] ppid=15206 vsize=9558440 CPUtime=0.28 cores=0,2,4,6
/proc/15208/task/15213/stat : 15213 (java) S 15206 15208 12979 0 -1 4202560 396 0 0 0 22 6 0 0 20 0 18 0 283952547 9787842560 693947 33554432000 1073741824 1073778376 140737169985232 139890778979112 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15208/tid=15214] ppid=15206 vsize=9558440 CPUtime=0.22 cores=0,2,4,6
/proc/15208/task/15214/stat : 15214 (java) S 15206 15208 12979 0 -1 4202560 344 0 0 0 19 3 0 0 20 0 18 0 283952547 9787842560 693947 33554432000 1073741824 1073778376 140737169985232 139890777926312 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15208/tid=15215] ppid=15206 vsize=9558440 CPUtime=0.29 cores=0,2,4,6
/proc/15208/task/15215/stat : 15215 (java) S 15206 15208 12979 0 -1 4202560 204 0 0 0 23 6 0 0 20 0 18 0 283952547 9787842560 693947 33554432000 1073741824 1073778376 140737169985232 139890776873512 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15208/tid=15216] ppid=15206 vsize=9558440 CPUtime=0.26 cores=0,2,4,6
/proc/15208/task/15216/stat : 15216 (java) S 15206 15208 12979 0 -1 4202560 103 0 0 0 21 5 0 0 20 0 18 0 283952547 9787842560 693947 33554432000 1073741824 1073778376 140737169985232 139890630801832 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15208/tid=15217] ppid=15206 vsize=9558440 CPUtime=0.29 cores=0,2,4,6
/proc/15208/task/15217/stat : 15217 (java) S 15206 15208 12979 0 -1 4202560 262 0 0 0 22 7 0 0 20 0 18 0 283952547 9787842560 693947 33554432000 1073741824 1073778376 140737169985232 139890629749032 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15208/tid=15218] ppid=15206 vsize=9558440 CPUtime=0.21 cores=0,2,4,6
/proc/15208/task/15218/stat : 15218 (java) S 15206 15208 12979 0 -1 4202560 162 0 0 0 17 4 0 0 20 0 18 0 283952547 9787842560 693947 33554432000 1073741824 1073778376 140737169985232 139890628696232 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15208/tid=15219] ppid=15206 vsize=9558440 CPUtime=0 cores=0,2,4,6
/proc/15208/task/15219/stat : 15219 (java) S 15206 15208 12979 0 -1 4202560 1262 0 0 0 0 0 0 0 20 0 18 0 283952548 9787842560 693947 33554432000 1073741824 1073778376 140737169985232 139890616286184 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15208/tid=15220] ppid=15206 vsize=9558440 CPUtime=0 cores=0,2,4,6
/proc/15208/task/15220/stat : 15220 (java) S 15206 15208 12979 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 283952548 9787842560 693947 33554432000 1073741824 1073778376 140737169985232 139890615232248 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15208/tid=15221] ppid=15206 vsize=9558440 CPUtime=0 cores=0,2,4,6
/proc/15208/task/15221/stat : 15221 (java) S 15206 15208 12979 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 283952548 9787842560 693947 33554432000 1073741824 1073778376 140737169985232 139890614179336 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15208/tid=15222] ppid=15206 vsize=9558440 CPUtime=0 cores=0,2,4,6
/proc/15208/task/15222/stat : 15222 (java) S 15206 15208 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 283952550 9787842560 693947 33554432000 1073741824 1073778376 140737169985232 139890613127824 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15208/tid=15223] ppid=15206 vsize=9558440 CPUtime=0.24 cores=0,2,4,6
/proc/15208/task/15223/stat : 15223 (java) S 15206 15208 12979 0 -1 4202560 1647 0 0 0 24 0 0 0 20 0 18 0 283952550 9787842560 693947 33554432000 1073741824 1073778376 140737169985232 139890612074936 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15208/tid=15224] ppid=15206 vsize=9558440 CPUtime=0.27 cores=0,2,4,6
/proc/15208/task/15224/stat : 15224 (java) S 15206 15208 12979 0 -1 4202560 3774 0 0 0 27 0 0 0 20 0 18 0 283952550 9787842560 693947 33554432000 1073741824 1073778376 140737169985232 139890611022136 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15208/tid=15225] ppid=15206 vsize=9558440 CPUtime=0 cores=0,2,4,6
/proc/15208/task/15225/stat : 15225 (java) S 15206 15208 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 283952550 9787842560 693947 33554432000 1073741824 1073778376 140737169985232 139890609969528 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15208/tid=15226] ppid=15206 vsize=9558440 CPUtime=0 cores=0,2,4,6
/proc/15208/task/15226/stat : 15226 (java) S 15206 15208 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 283952550 9787842560 693947 33554432000 1073741824 1073778376 140737169985232 139890608916936 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 8.42
Current children cumulated vsize (KiB) 9558440
[startup+12.7008 s]
/proc/loadavg: 2.45 2.10 2.03 3/213 15227
/proc/meminfo: memFree=25591688/32873844 swapFree=7372/7372
[pid=15208] ppid=15206 vsize=9625004 CPUtime=15.43 cores=0,2,4,6
/proc/15208/stat : 15208 (java) S 15206 15208 12979 0 -1 4202496 15285 0 1 0 1458 85 0 0 20 0 19 0 283952546 9856004096 701279 33554432000 1073741824 1073778376 140737169985232 140737169976368 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15208/statm: 2406251 701279 2278 9 0 2396937 0
[pid=15208/tid=15210] ppid=15206 vsize=9625004 CPUtime=12.03 cores=0,2,4,6
################
# More data... #
################
[pid=15208/tid=15216] ppid=15206 vsize=9625004 CPUtime=1.57 cores=0,2,4,6
/proc/15208/task/15216/stat : 15216 (java) S 15206 15208 12979 0 -1 4202560 284 0 0 0 150 7 0 0 20 0 19 0 283952547 9856004096 813361 33554432000 1073741824 1073778376 140737169985232 139890630801832 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15208/tid=15217] ppid=15206 vsize=9625004 CPUtime=1.81 cores=0,2,4,6
/proc/15208/task/15217/stat : 15217 (java) S 15206 15208 12979 0 -1 4202560 502 0 0 0 170 11 0 0 20 0 19 0 283952547 9856004096 813361 33554432000 1073741824 1073778376 140737169985232 139890629749032 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15208/tid=15218] ppid=15206 vsize=9625004 CPUtime=1.69 cores=0,2,4,6
/proc/15208/task/15218/stat : 15218 (java) S 15206 15208 12979 0 -1 4202560 449 0 0 0 164 5 0 0 20 0 19 0 283952547 9856004096 813361 33554432000 1073741824 1073778376 140737169985232 139890628696232 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15208/tid=15219] ppid=15206 vsize=9625004 CPUtime=71.24 cores=0,2,4,6
/proc/15208/task/15219/stat : 15219 (java) S 15206 15208 12979 0 -1 4202560 406805 0 0 0 7037 87 0 0 20 0 19 0 283952548 9856004096 813361 33554432000 1073741824 1073778376 140737169985232 139890616286184 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15208/tid=15220] ppid=15206 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15208/task/15220/stat : 15220 (java) S 15206 15208 12979 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283952548 9856004096 813361 33554432000 1073741824 1073778376 140737169985232 139890615232248 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15208/tid=15221] ppid=15206 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15208/task/15221/stat : 15221 (java) S 15206 15208 12979 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283952548 9856004096 813361 33554432000 1073741824 1073778376 140737169985232 139890614179336 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15208/tid=15222] ppid=15206 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15208/task/15222/stat : 15222 (java) S 15206 15208 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283952550 9856004096 813361 33554432000 1073741824 1073778376 140737169985232 139890613127824 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15208/tid=15223] ppid=15206 vsize=9625004 CPUtime=0.52 cores=0,2,4,6
/proc/15208/task/15223/stat : 15223 (java) S 15206 15208 12979 0 -1 4202560 2404 0 0 0 52 0 0 0 20 0 19 0 283952550 9856004096 813361 33554432000 1073741824 1073778376 140737169985232 139890612074936 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15208/tid=15224] ppid=15206 vsize=9625004 CPUtime=0.74 cores=0,2,4,6
/proc/15208/task/15224/stat : 15224 (java) S 15206 15208 12979 0 -1 4202560 4253 0 0 0 74 0 0 0 20 0 19 0 283952550 9856004096 813361 33554432000 1073741824 1073778376 140737169985232 139890611022136 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15208/tid=15225] ppid=15206 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15208/task/15225/stat : 15225 (java) S 15206 15208 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283952550 9856004096 813361 33554432000 1073741824 1073778376 140737169985232 139890609969528 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15208/tid=15226] ppid=15206 vsize=9625004 CPUtime=0.65 cores=0,2,4,6
/proc/15208/task/15226/stat : 15226 (java) S 15206 15208 12979 0 -1 4202560 99 0 0 0 32 33 0 0 20 0 19 0 283952550 9856004096 813361 33554432000 1073741824 1073778376 140737169985232 139890608916936 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15208/tid=15227] ppid=15206 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15208/task/15227/stat : 15227 (java) S 15206 15208 12979 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283953353 9856004096 813361 33554432000 1073741824 1073778376 140737169985232 139890607863464 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1733.51
Current children cumulated vsize (KiB) 9625004
[startup+1782.3 s]
/proc/loadavg: 1.93 1.99 1.99 3/214 15416
/proc/meminfo: memFree=25965592/32873844 swapFree=7372/7372
[pid=15208] ppid=15206 vsize=9625004 CPUtime=1794.15 cores=0,2,4,6
/proc/15208/stat : 15208 (java) S 15206 15208 12979 0 -1 4202496 422430 0 1 0 179204 211 0 0 20 0 19 0 283952546 9856004096 814451 33554432000 1073741824 1073778376 140737169985232 140737169976368 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15208/statm: 2406251 814451 2291 9 0 2396937 0
[pid=15208/tid=15210] ppid=15206 vsize=9625004 CPUtime=1705 cores=0,2,4,6
/proc/15208/task/15210/stat : 15210 (java) R 15206 15208 12979 0 -1 4202560 4433 0 1 0 170431 69 0 0 20 0 19 0 283952546 9856004096 814451 33554432000 1073741824 1073778376 140737169985232 139890792022320 139890659203364 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=15208/tid=15211] ppid=15206 vsize=9625004 CPUtime=1.79 cores=0,2,4,6
/proc/15208/task/15211/stat : 15211 (java) S 15206 15208 12979 0 -1 4202560 401 0 0 0 172 7 0 0 20 0 19 0 283952547 9856004096 814451 33554432000 1073741824 1073778376 140737169985232 139890781084712 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15208/tid=15212] ppid=15206 vsize=9625004 CPUtime=1.64 cores=0,2,4,6
/proc/15208/task/15212/stat : 15212 (java) S 15206 15208 12979 0 -1 4202560 290 0 0 0 156 8 0 0 20 0 19 0 283952547 9856004096 814451 33554432000 1073741824 1073778376 140737169985232 139890780031912 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15208/tid=15213] ppid=15206 vsize=9625004 CPUtime=2.01 cores=0,2,4,6
/proc/15208/task/15213/stat : 15213 (java) S 15206 15208 12979 0 -1 4202560 419 0 0 0 193 8 0 0 20 0 19 0 283952547 9856004096 814451 33554432000 1073741824 1073778376 140737169985232 139890778979112 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15208/tid=15214] ppid=15206 vsize=9625004 CPUtime=1.62 cores=0,2,4,6
/proc/15208/task/15214/stat : 15214 (java) S 15206 15208 12979 0 -1 4202560 365 0 0 0 157 5 0 0 20 0 19 0 283952547 9856004096 814451 33554432000 1073741824 1073778376 140737169985232 139890777926312 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15208/tid=15215] ppid=15206 vsize=9625004 CPUtime=1.8 cores=0,2,4,6
/proc/15208/task/15215/stat : 15215 (java) S 15206 15208 12979 0 -1 4202560 498 0 0 0 172 8 0 0 20 0 19 0 283952547 9856004096 814451 33554432000 1073741824 1073778376 140737169985232 139890776873512 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15208/tid=15216] ppid=15206 vsize=9625004 CPUtime=1.68 cores=0,2,4,6
/proc/15208/task/15216/stat : 15216 (java) S 15206 15208 12979 0 -1 4202560 294 0 0 0 161 7 0 0 20 0 19 0 283952547 9856004096 814451 33554432000 1073741824 1073778376 140737169985232 139890630801832 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15208/tid=15217] ppid=15206 vsize=9625004 CPUtime=1.92 cores=0,2,4,6
/proc/15208/task/15217/stat : 15217 (java) S 15206 15208 12979 0 -1 4202560 509 0 0 0 181 11 0 0 20 0 19 0 283952547 9856004096 814451 33554432000 1073741824 1073778376 140737169985232 139890629749032 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15208/tid=15218] ppid=15206 vsize=9625004 CPUtime=1.83 cores=0,2,4,6
/proc/15208/task/15218/stat : 15218 (java) S 15206 15208 12979 0 -1 4202560 461 0 0 0 178 5 0 0 20 0 19 0 283952547 9856004096 814451 33554432000 1073741824 1073778376 140737169985232 139890628696232 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15208/tid=15219] ppid=15206 vsize=9625004 CPUtime=73.32 cores=0,2,4,6
/proc/15208/task/15219/stat : 15219 (java) S 15206 15208 12979 0 -1 4202560 406819 0 0 0 7244 88 0 0 20 0 19 0 283952548 9856004096 814451 33554432000 1073741824 1073778376 140737169985232 139890616286184 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15208/tid=15220] ppid=15206 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15208/task/15220/stat : 15220 (java) S 15206 15208 12979 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283952548 9856004096 814451 33554432000 1073741824 1073778376 140737169985232 139890615232248 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15208/tid=15221] ppid=15206 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15208/task/15221/stat : 15221 (java) S 15206 15208 12979 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283952548 9856004096 814451 33554432000 1073741824 1073778376 140737169985232 139890614179336 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15208/tid=15222] ppid=15206 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15208/task/15222/stat : 15222 (java) S 15206 15208 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283952550 9856004096 814451 33554432000 1073741824 1073778376 140737169985232 139890613127824 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15208/tid=15223] ppid=15206 vsize=9625004 CPUtime=0.52 cores=0,2,4,6
/proc/15208/task/15223/stat : 15223 (java) S 15206 15208 12979 0 -1 4202560 2404 0 0 0 52 0 0 0 20 0 19 0 283952550 9856004096 814451 33554432000 1073741824 1073778376 140737169985232 139890612074936 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15208/tid=15224] ppid=15206 vsize=9625004 CPUtime=0.74 cores=0,2,4,6
/proc/15208/task/15224/stat : 15224 (java) S 15206 15208 12979 0 -1 4202560 4253 0 0 0 74 0 0 0 20 0 19 0 283952550 9856004096 814451 33554432000 1073741824 1073778376 140737169985232 139890611022136 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15208/tid=15225] ppid=15206 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15208/task/15225/stat : 15225 (java) S 15206 15208 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283952550 9856004096 814451 33554432000 1073741824 1073778376 140737169985232 139890609969528 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15208/tid=15226] ppid=15206 vsize=9625004 CPUtime=0.68 cores=0,2,4,6
/proc/15208/task/15226/stat : 15226 (java) S 15206 15208 12979 0 -1 4202560 103 0 0 0 33 35 0 0 20 0 19 0 283952550 9856004096 814451 33554432000 1073741824 1073778376 140737169985232 139890608916936 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15208/tid=15227] ppid=15206 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15208/task/15227/stat : 15227 (java) S 15206 15208 12979 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283953353 9856004096 814451 33554432000 1073741824 1073778376 140737169985232 139890607863464 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1794.15
Current children cumulated vsize (KiB) 9625004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1788.2 s]
/proc/loadavg: 1.94 1.99 1.99 4/214 15416
/proc/meminfo: memFree=25969808/32873844 swapFree=7372/7372
[pid=15208] ppid=15206 vsize=9625004 CPUtime=1800.06 cores=0,2,4,6
/proc/15208/stat : 15208 (java) S 15206 15208 12979 0 -1 4202496 422430 0 1 0 179795 211 0 0 20 0 19 0 283952546 9856004096 814451 33554432000 1073741824 1073778376 140737169985232 140737169976368 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15208/statm: 2406251 814451 2291 9 0 2396937 0
[pid=15208/tid=15210] ppid=15206 vsize=9625004 CPUtime=1710.9 cores=0,2,4,6
/proc/15208/task/15210/stat : 15210 (java) R 15206 15208 12979 0 -1 4202560 4433 0 1 0 171021 69 0 0 20 0 19 0 283952546 9856004096 814451 33554432000 1073741824 1073778376 140737169985232 139890792022320 139890659203303 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=15208/tid=15211] ppid=15206 vsize=9625004 CPUtime=1.79 cores=0,2,4,6
/proc/15208/task/15211/stat : 15211 (java) S 15206 15208 12979 0 -1 4202560 401 0 0 0 172 7 0 0 20 0 19 0 283952547 9856004096 814451 33554432000 1073741824 1073778376 140737169985232 139890781084712 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15208/tid=15212] ppid=15206 vsize=9625004 CPUtime=1.64 cores=0,2,4,6
/proc/15208/task/15212/stat : 15212 (java) S 15206 15208 12979 0 -1 4202560 290 0 0 0 156 8 0 0 20 0 19 0 283952547 9856004096 814451 33554432000 1073741824 1073778376 140737169985232 139890780031912 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15208/tid=15213] ppid=15206 vsize=9625004 CPUtime=2.01 cores=0,2,4,6
/proc/15208/task/15213/stat : 15213 (java) S 15206 15208 12979 0 -1 4202560 419 0 0 0 193 8 0 0 20 0 19 0 283952547 9856004096 814451 33554432000 1073741824 1073778376 140737169985232 139890778979112 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15208/tid=15214] ppid=15206 vsize=9625004 CPUtime=1.62 cores=0,2,4,6
/proc/15208/task/15214/stat : 15214 (java) S 15206 15208 12979 0 -1 4202560 365 0 0 0 157 5 0 0 20 0 19 0 283952547 9856004096 814451 33554432000 1073741824 1073778376 140737169985232 139890777926312 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15208/tid=15215] ppid=15206 vsize=9625004 CPUtime=1.8 cores=0,2,4,6
/proc/15208/task/15215/stat : 15215 (java) S 15206 15208 12979 0 -1 4202560 498 0 0 0 172 8 0 0 20 0 19 0 283952547 9856004096 814451 33554432000 1073741824 1073778376 140737169985232 139890776873512 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15208/tid=15216] ppid=15206 vsize=9625004 CPUtime=1.68 cores=0,2,4,6
/proc/15208/task/15216/stat : 15216 (java) S 15206 15208 12979 0 -1 4202560 294 0 0 0 161 7 0 0 20 0 19 0 283952547 9856004096 814451 33554432000 1073741824 1073778376 140737169985232 139890630801832 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15208/tid=15217] ppid=15206 vsize=9625004 CPUtime=1.92 cores=0,2,4,6
/proc/15208/task/15217/stat : 15217 (java) S 15206 15208 12979 0 -1 4202560 509 0 0 0 181 11 0 0 20 0 19 0 283952547 9856004096 814451 33554432000 1073741824 1073778376 140737169985232 139890629749032 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15208/tid=15218] ppid=15206 vsize=9625004 CPUtime=1.83 cores=0,2,4,6
/proc/15208/task/15218/stat : 15218 (java) S 15206 15208 12979 0 -1 4202560 461 0 0 0 178 5 0 0 20 0 19 0 283952547 9856004096 814451 33554432000 1073741824 1073778376 140737169985232 139890628696232 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15208/tid=15219] ppid=15206 vsize=9625004 CPUtime=73.32 cores=0,2,4,6
/proc/15208/task/15219/stat : 15219 (java) S 15206 15208 12979 0 -1 4202560 406819 0 0 0 7244 88 0 0 20 0 19 0 283952548 9856004096 814451 33554432000 1073741824 1073778376 140737169985232 139890616286184 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15208/tid=15220] ppid=15206 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15208/task/15220/stat : 15220 (java) S 15206 15208 12979 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283952548 9856004096 814451 33554432000 1073741824 1073778376 140737169985232 139890615232248 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15208/tid=15221] ppid=15206 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15208/task/15221/stat : 15221 (java) S 15206 15208 12979 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283952548 9856004096 814451 33554432000 1073741824 1073778376 140737169985232 139890614179336 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15208/tid=15222] ppid=15206 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15208/task/15222/stat : 15222 (java) S 15206 15208 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283952550 9856004096 814451 33554432000 1073741824 1073778376 140737169985232 139890613127824 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15208/tid=15223] ppid=15206 vsize=9625004 CPUtime=0.52 cores=0,2,4,6
/proc/15208/task/15223/stat : 15223 (java) S 15206 15208 12979 0 -1 4202560 2404 0 0 0 52 0 0 0 20 0 19 0 283952550 9856004096 814451 33554432000 1073741824 1073778376 140737169985232 139890612074936 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15208/tid=15224] ppid=15206 vsize=9625004 CPUtime=0.74 cores=0,2,4,6
/proc/15208/task/15224/stat : 15224 (java) S 15206 15208 12979 0 -1 4202560 4253 0 0 0 74 0 0 0 20 0 19 0 283952550 9856004096 814451 33554432000 1073741824 1073778376 140737169985232 139890611022136 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15208/tid=15225] ppid=15206 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15208/task/15225/stat : 15225 (java) S 15206 15208 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283952550 9856004096 814451 33554432000 1073741824 1073778376 140737169985232 139890609969528 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15208/tid=15226] ppid=15206 vsize=9625004 CPUtime=0.68 cores=0,2,4,6
/proc/15208/task/15226/stat : 15226 (java) S 15206 15208 12979 0 -1 4202560 103 0 0 0 33 35 0 0 20 0 19 0 283952550 9856004096 814451 33554432000 1073741824 1073778376 140737169985232 139890608916936 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15208/tid=15227] ppid=15206 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15208/task/15227/stat : 15227 (java) S 15206 15208 12979 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283953353 9856004096 814451 33554432000 1073741824 1073778376 140737169985232 139890607863464 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9625004
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1788.2 s]
/proc/loadavg: 1.94 1.99 1.99 4/214 15416
/proc/meminfo: memFree=25969808/32873844 swapFree=7372/7372
[pid=15208] ppid=15206 vsize=9625004 CPUtime=1800.06 cores=0,2,4,6
/proc/15208/stat : 15208 (java) S 15206 15208 12979 0 -1 4202496 422430 0 1 0 179795 211 0 0 20 0 19 0 283952546 9856004096 814451 33554432000 1073741824 1073778376 140737169985232 140737169976368 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15208/statm: 2406251 814451 2291 9 0 2396937 0
[pid=15208/tid=15210] ppid=15206 vsize=9625004 CPUtime=1710.9 cores=0,2,4,6
/proc/15208/task/15210/stat : 15210 (java) R 15206 15208 12979 0 -1 4202560 4433 0 1 0 171021 69 0 0 20 0 19 0 283952546 9856004096 814451 33554432000 1073741824 1073778376 140737169985232 139890792022320 139890659203303 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=15208/tid=15211] ppid=15206 vsize=9625004 CPUtime=1.79 cores=0,2,4,6
/proc/15208/task/15211/stat : 15211 (java) S 15206 15208 12979 0 -1 4202560 401 0 0 0 172 7 0 0 20 0 19 0 283952547 9856004096 814451 33554432000 1073741824 1073778376 140737169985232 139890781084712 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15208/tid=15212] ppid=15206 vsize=9625004 CPUtime=1.64 cores=0,2,4,6
/proc/15208/task/15212/stat : 15212 (java) S 15206 15208 12979 0 -1 4202560 290 0 0 0 156 8 0 0 20 0 19 0 283952547 9856004096 814451 33554432000 1073741824 1073778376 140737169985232 139890780031912 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15208/tid=15213] ppid=15206 vsize=9625004 CPUtime=2.01 cores=0,2,4,6
/proc/15208/task/15213/stat : 15213 (java) S 15206 15208 12979 0 -1 4202560 419 0 0 0 193 8 0 0 20 0 19 0 283952547 9856004096 814451 33554432000 1073741824 1073778376 140737169985232 139890778979112 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15208/tid=15214] ppid=15206 vsize=9625004 CPUtime=1.62 cores=0,2,4,6
/proc/15208/task/15214/stat : 15214 (java) S 15206 15208 12979 0 -1 4202560 365 0 0 0 157 5 0 0 20 0 19 0 283952547 9856004096 814451 33554432000 1073741824 1073778376 140737169985232 139890777926312 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15208/tid=15215] ppid=15206 vsize=9625004 CPUtime=1.8 cores=0,2,4,6
/proc/15208/task/15215/stat : 15215 (java) S 15206 15208 12979 0 -1 4202560 498 0 0 0 172 8 0 0 20 0 19 0 283952547 9856004096 814451 33554432000 1073741824 1073778376 140737169985232 139890776873512 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15208/tid=15216] ppid=15206 vsize=9625004 CPUtime=1.68 cores=0,2,4,6
/proc/15208/task/15216/stat : 15216 (java) S 15206 15208 12979 0 -1 4202560 294 0 0 0 161 7 0 0 20 0 19 0 283952547 9856004096 814451 33554432000 1073741824 1073778376 140737169985232 139890630801832 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15208/tid=15217] ppid=15206 vsize=9625004 CPUtime=1.92 cores=0,2,4,6
/proc/15208/task/15217/stat : 15217 (java) S 15206 15208 12979 0 -1 4202560 509 0 0 0 181 11 0 0 20 0 19 0 283952547 9856004096 814451 33554432000 1073741824 1073778376 140737169985232 139890629749032 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15208/tid=15218] ppid=15206 vsize=9625004 CPUtime=1.83 cores=0,2,4,6
/proc/15208/task/15218/stat : 15218 (java) S 15206 15208 12979 0 -1 4202560 461 0 0 0 178 5 0 0 20 0 19 0 283952547 9856004096 814451 33554432000 1073741824 1073778376 140737169985232 139890628696232 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15208/tid=15219] ppid=15206 vsize=9625004 CPUtime=73.32 cores=0,2,4,6
/proc/15208/task/15219/stat : 15219 (java) S 15206 15208 12979 0 -1 4202560 406819 0 0 0 7244 88 0 0 20 0 19 0 283952548 9856004096 814451 33554432000 1073741824 1073778376 140737169985232 139890616286184 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15208/tid=15220] ppid=15206 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15208/task/15220/stat : 15220 (java) S 15206 15208 12979 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283952548 9856004096 814451 33554432000 1073741824 1073778376 140737169985232 139890615232248 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15208/tid=15221] ppid=15206 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15208/task/15221/stat : 15221 (java) S 15206 15208 12979 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283952548 9856004096 814451 33554432000 1073741824 1073778376 140737169985232 139890614179336 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15208/tid=15222] ppid=15206 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15208/task/15222/stat : 15222 (java) S 15206 15208 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283952550 9856004096 814451 33554432000 1073741824 1073778376 140737169985232 139890613127824 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15208/tid=15223] ppid=15206 vsize=9625004 CPUtime=0.52 cores=0,2,4,6
/proc/15208/task/15223/stat : 15223 (java) S 15206 15208 12979 0 -1 4202560 2404 0 0 0 52 0 0 0 20 0 19 0 283952550 9856004096 814451 33554432000 1073741824 1073778376 140737169985232 139890612074936 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15208/tid=15224] ppid=15206 vsize=9625004 CPUtime=0.74 cores=0,2,4,6
/proc/15208/task/15224/stat : 15224 (java) S 15206 15208 12979 0 -1 4202560 4253 0 0 0 74 0 0 0 20 0 19 0 283952550 9856004096 814451 33554432000 1073741824 1073778376 140737169985232 139890611022136 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15208/tid=15225] ppid=15206 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15208/task/15225/stat : 15225 (java) S 15206 15208 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283952550 9856004096 814451 33554432000 1073741824 1073778376 140737169985232 139890609969528 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15208/tid=15226] ppid=15206 vsize=9625004 CPUtime=0.68 cores=0,2,4,6
/proc/15208/task/15226/stat : 15226 (java) S 15206 15208 12979 0 -1 4202560 103 0 0 0 33 35 0 0 20 0 19 0 283952550 9856004096 814451 33554432000 1073741824 1073778376 140737169985232 139890608916936 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15208/tid=15227] ppid=15206 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/15208/task/15227/stat : 15227 (java) S 15206 15208 12979 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283953353 9856004096 814451 33554432000 1073741824 1073778376 140737169985232 139890607863464 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9625004
Child status: 143
Real time (s): 1788.26
CPU time (s): 1800.8
CPU user time (s): 1798.13
CPU system time (s): 2.67059
CPU usage (%): 100.701
Max. virtual memory (cumulated for all children) (KiB): 9625004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.13
system time used= 2.67059
maximum resident set size= 3257920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 422461
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39892
involuntary context switches= 21610
runsolver used 4.37033 second user time and 16.2135 second system time
The end