runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4080542-1465279689/watcher-4080542-1465279689 -o /tmp/evaluation-result-4080542-1465279689/solver-4080542-1465279689 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1465279688-19203 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080542-1465279689.opb
pid=19231
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.18 2.38 3.14 1/177 19234
/proc/meminfo: memFree=31783152/32872528 swapFree=9100/9100
[pid=19234] ppid=19231 vsize=96324 CPUtime=0 cores=0,2,4,6
/proc/19234/stat : 19234 (java) S 19231 19234 14331 0 -1 4202496 1312 0 0 0 0 0 0 0 20 0 2 0 109900019 98635776 944 33554432000 1073741824 1073778376 140737262957488 140737262948624 243768787005 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19234/statm: 24081 952 722 9 0 16771 0
[pid=19234/tid=19243] ppid=19231 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19243/stat : 19243 (java) R 19231 19234 14331 0 -1 4202560 125 0 0 0 0 0 0 0 20 0 2 0 109900019 98570240 973 33554432000 1073741824 1073778376 140737262957488 139665254768168 139665261331575 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0
[startup+0.100164 s]
/proc/loadavg: 2.18 2.38 3.14 1/177 19234
/proc/meminfo: memFree=31783152/32872528 swapFree=9100/9100
[pid=19234] ppid=19231 vsize=9558476 CPUtime=0.11 cores=0,2,4,6
/proc/19234/stat : 19234 (java) S 19231 19234 14331 0 -1 4202496 4467 0 1 0 10 1 0 0 20 0 18 0 109900019 9787879424 6105 33554432000 1073741824 1073778376 140737262957488 140737262948624 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19234/statm: 2389619 6105 2156 9 0 2380296 0
[pid=19234/tid=19243] ppid=19231 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/19234/task/19243/stat : 19243 (java) R 19231 19234 14331 0 -1 4202560 2387 0 1 0 7 0 0 0 20 0 18 0 109900019 9787879424 6105 33554432000 1073741824 1073778376 140737262957488 139665254771616 243768812813 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476
[startup+0.200264 s]
/proc/loadavg: 2.18 2.38 3.14 1/177 19234
/proc/meminfo: memFree=31783152/32872528 swapFree=9100/9100
[pid=19234] ppid=19231 vsize=9558476 CPUtime=0.31 cores=0,2,4,6
/proc/19234/stat : 19234 (java) S 19231 19234 14331 0 -1 4202496 6674 0 1 0 29 2 0 0 20 0 18 0 109900019 9787879424 8495 33554432000 1073741824 1073778376 140737262957488 140737262948624 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19234/statm: 2389619 8495 2218 9 0 2380296 0
[pid=19234/tid=19243] ppid=19231 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/19234/task/19243/stat : 19243 (java) R 19231 19234 14331 0 -1 4202560 2404 0 1 0 16 1 0 0 20 0 18 0 109900019 9787879424 8495 33554432000 1073741824 1073778376 140737262957488 139665254771616 139665105921549 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 9558476
[startup+0.30036 s]
/proc/loadavg: 2.18 2.38 3.14 1/177 19234
/proc/meminfo: memFree=31783152/32872528 swapFree=9100/9100
[pid=19234] ppid=19231 vsize=9558476 CPUtime=0.57 cores=0,2,4,6
/proc/19234/stat : 19234 (java) S 19231 19234 14331 0 -1 4202496 7103 0 1 0 55 2 0 0 20 0 18 0 109900019 9787879424 12730 33554432000 1073741824 1073778376 140737262957488 140737262948624 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19234/statm: 2389619 12730 2234 9 0 2380296 0
[pid=19234/tid=19243] ppid=19231 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/19234/task/19243/stat : 19243 (java) R 19231 19234 14331 0 -1 4202560 2412 0 1 0 26 1 0 0 20 0 18 0 109900019 9787879424 12730 33554432000 1073741824 1073778376 140737262957488 139665254771616 139665105508998 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 9558476
[startup+0.700224 s]
/proc/loadavg: 2.18 2.38 3.14 1/177 19234
/proc/meminfo: memFree=31783152/32872528 swapFree=9100/9100
[pid=19234] ppid=19231 vsize=9558476 CPUtime=1.62 cores=0,2,4,6
/proc/19234/stat : 19234 (java) S 19231 19234 14331 0 -1 4202496 21118 0 1 0 156 6 0 0 20 0 18 0 109900019 9787879424 43155 33554432000 1073741824 1073778376 140737262957488 140737262948624 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19234/statm: 2389619 43155 2251 9 0 2380296 0
[pid=19234/tid=19243] ppid=19231 vsize=9558476 CPUtime=0.67 cores=0,2,4,6
/proc/19234/task/19243/stat : 19243 (java) R 19231 19234 14331 0 -1 4202560 2461 0 1 0 64 3 0 0 20 0 18 0 109900019 9787879424 43155 33554432000 1073741824 1073778376 140737262957488 139665254765320 139665257712580 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 9558476
[startup+1.50085 s]
/proc/loadavg: 2.18 2.38 3.14 9/219 19276
/proc/meminfo: memFree=31384120/32872528 swapFree=9100/9100
[pid=19234] ppid=19231 vsize=9824732 CPUtime=4.62 cores=0,2,4,6
/proc/19234/stat : 19234 (java) S 19231 19234 14331 0 -1 4202496 27335 0 1 0 453 9 0 0 20 0 22 0 109900019 10060525568 54056 33554432000 1073741824 1073778376 140737262957488 140737262948624 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19234/statm: 2456183 54056 2282 9 0 2446860 0
[pid=19234/tid=19243] ppid=19231 vsize=9824732 CPUtime=0.85 cores=0,2,4,6
/proc/19234/task/19243/stat : 19243 (java) S 19231 19234 14331 0 -1 4202560 2486 0 1 0 81 4 0 0 20 0 22 0 109900019 10060525568 54056 33554432000 1073741824 1073778376 140737262957488 139665254773624 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19234/tid=19245] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19245/stat : 19245 (java) S 19231 19234 14331 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 109900020 10060525568 54056 33554432000 1073741824 1073778376 140737262957488 139665227225896 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19234/tid=19246] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19246/stat : 19246 (java) S 19231 19234 14331 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 109900020 10060525568 54056 33554432000 1073741824 1073778376 140737262957488 139665226173096 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19234/tid=19247] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19247/stat : 19247 (java) S 19231 19234 14331 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 109900020 10060525568 54056 33554432000 1073741824 1073778376 140737262957488 139665225120808 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19234/tid=19248] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19248/stat : 19248 (java) S 19231 19234 14331 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 109900020 10060525568 54056 33554432000 1073741824 1073778376 140737262957488 139665224068008 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19234/tid=19249] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19249/stat : 19249 (java) S 19231 19234 14331 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109900020 10060525568 54056 33554432000 1073741824 1073778376 140737262957488 139665094519080 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19234/tid=19250] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19250/stat : 19250 (java) S 19231 19234 14331 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 109900020 10060525568 54056 33554432000 1073741824 1073778376 140737262957488 139665093466280 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19234/tid=19251] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19251/stat : 19251 (java) S 19231 19234 14331 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 109900020 10060525568 54056 33554432000 1073741824 1073778376 140737262957488 139665092413992 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19234/tid=19252] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19252/stat : 19252 (java) S 19231 19234 14331 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109900020 10060525568 54056 33554432000 1073741824 1073778376 140737262957488 139665091361192 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19234/tid=19256] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19256/stat : 19256 (java) S 19231 19234 14331 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 22 0 109900021 10060525568 54056 33554432000 1073741824 1073778376 140737262957488 139664608848616 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19234/tid=19257] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19257/stat : 19257 (java) S 19231 19234 14331 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 109900021 10060525568 54056 33554432000 1073741824 1073778376 140737262957488 139664607794680 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19234/tid=19258] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19258/stat : 19258 (java) S 19231 19234 14331 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109900021 10060525568 54056 33554432000 1073741824 1073778376 140737262957488 139664606742280 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19234/tid=19264] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19264/stat : 19264 (java) S 19231 19234 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109900024 10060525568 54056 33554432000 1073741824 1073778376 140737262957488 139664605690768 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19234/tid=19265] ppid=19231 vsize=9824732 CPUtime=1.21 cores=0,2,4,6
/proc/19234/task/19265/stat : 19265 (java) R 19231 19234 14331 0 -1 4202560 13990 0 0 0 119 2 0 0 20 0 22 0 109900024 10060525568 54056 33554432000 1073741824 1073778376 140737262957488 139664604636936 139665262536098 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=19234/tid=19266] ppid=19231 vsize=9824732 CPUtime=1.25 cores=0,2,4,6
/proc/19234/task/19266/stat : 19266 (java) R 19231 19234 14331 0 -1 4202560 9419 0 0 0 123 2 0 0 20 0 22 0 109900024 10060525568 54056 33554432000 1073741824 1073778376 140737262957488 139664603571312 139665261748293 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=19234/tid=19267] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19267/stat : 19267 (java) S 19231 19234 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109900024 10060525568 54056 33554432000 1073741824 1073778376 140737262957488 139664602532472 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19234/tid=19268] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19268/stat : 19268 (java) S 19231 19234 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109900024 10060525568 54056 33554432000 1073741824 1073778376 140737262957488 139664601479880 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19234/tid=19271] ppid=19231 vsize=9824732 CPUtime=0.59 cores=0,2,4,6
/proc/19234/task/19271/stat : 19271 (java) R 19231 19234 14331 0 -1 4202560 16 0 0 0 59 0 0 0 20 0 22 0 109900108 10060525568 54056 33554432000 1073741824 1073778376 140737262957488 139664600423920 139665106097408 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19234/tid=19272] ppid=19231 vsize=9824732 CPUtime=0.58 cores=0,2,4,6
/proc/19234/task/19272/stat : 19272 (java) R 19231 19234 14331 0 -1 4202560 34 0 0 0 58 0 0 0 20 0 22 0 109900108 10060525568 54056 33554432000 1073741824 1073778376 140737262957488 139664599370016 139665258058647 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19234/tid=19275] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19275/stat : 19275 (java) S 19231 19234 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109900111 10060525568 54056 33554432000 1073741824 1073778376 140737262957488 139664598320808 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19234/tid=19276] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19276/stat : 19276 (java) S 19231 19234 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109900111 10060525568 54056 33554432000 1073741824 1073778376 140737262957488 139664597268008 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.62
Current children cumulated vsize (KiB) 9824732
[startup+3.10091 s]
/proc/loadavg: 2.18 2.38 3.14 6/219 19276
/proc/meminfo: memFree=31317828/32872528 swapFree=9100/9100
[pid=19234] ppid=19231 vsize=9824732 CPUtime=8.26 cores=0,2,4,6
/proc/19234/stat : 19234 (java) S 19231 19234 14331 0 -1 4202496 27385 0 1 0 817 9 0 0 20 0 22 0 109900019 10060525568 53753 33554432000 1073741824 1073778376 140737262957488 140737262948624 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19234/statm: 2456183 53753 2286 9 0 2446860 0
[pid=19234/tid=19243] ppid=19231 vsize=9824732 CPUtime=0.85 cores=0,2,4,6
/proc/19234/task/19243/stat : 19243 (java) S 19231 19234 14331 0 -1 4202560 2486 0 1 0 81 4 0 0 20 0 22 0 109900019 10060525568 53753 33554432000 1073741824 1073778376 140737262957488 139665254773624 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19234/tid=19245] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19245/stat : 19245 (java) S 19231 19234 14331 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 109900020 10060525568 53753 33554432000 1073741824 1073778376 140737262957488 139665227225896 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19234/tid=19246] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19246/stat : 19246 (java) S 19231 19234 14331 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 109900020 10060525568 53753 33554432000 1073741824 1073778376 140737262957488 139665226173096 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19234/tid=19247] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19247/stat : 19247 (java) S 19231 19234 14331 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 109900020 10060525568 53753 33554432000 1073741824 1073778376 140737262957488 139665225120808 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19234/tid=19248] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19248/stat : 19248 (java) S 19231 19234 14331 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 109900020 10060525568 53753 33554432000 1073741824 1073778376 140737262957488 139665224068008 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19234/tid=19249] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19249/stat : 19249 (java) S 19231 19234 14331 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109900020 10060525568 53753 33554432000 1073741824 1073778376 140737262957488 139665094519080 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19234/tid=19250] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19250/stat : 19250 (java) S 19231 19234 14331 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 109900020 10060525568 53753 33554432000 1073741824 1073778376 140737262957488 139665093466280 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19234/tid=19251] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19251/stat : 19251 (java) S 19231 19234 14331 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 109900020 10060525568 53753 33554432000 1073741824 1073778376 140737262957488 139665092413992 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19234/tid=19252] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19252/stat : 19252 (java) S 19231 19234 14331 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109900020 10060525568 53753 33554432000 1073741824 1073778376 140737262957488 139665091361192 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19234/tid=19256] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19256/stat : 19256 (java) S 19231 19234 14331 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 22 0 109900021 10060525568 53753 33554432000 1073741824 1073778376 140737262957488 139664608848616 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19234/tid=19257] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19257/stat : 19257 (java) S 19231 19234 14331 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 109900021 10060525568 53753 33554432000 1073741824 1073778376 140737262957488 139664607794680 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19234/tid=19258] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19258/stat : 19258 (java) S 19231 19234 14331 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109900021 10060525568 53753 33554432000 1073741824 1073778376 140737262957488 139664606742280 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19234/tid=19264] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19264/stat : 19264 (java) S 19231 19234 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109900024 10060525568 53753 33554432000 1073741824 1073778376 140737262957488 139664605690768 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19234/tid=19265] ppid=19231 vsize=9824732 CPUtime=1.45 cores=0,2,4,6
/proc/19234/task/19265/stat : 19265 (java) S 19231 19234 14331 0 -1 4202560 13990 0 0 0 142 3 0 0 20 0 22 0 109900024 10060525568 53753 33554432000 1073741824 1073778376 140737262957488 139664604637368 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19234/tid=19266] ppid=19231 vsize=9824732 CPUtime=1.45 cores=0,2,4,6
/proc/19234/task/19266/stat : 19266 (java) S 19231 19234 14331 0 -1 4202560 9467 0 0 0 143 2 0 0 20 0 22 0 109900024 10060525568 53753 33554432000 1073741824 1073778376 140737262957488 139664603584568 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19234/tid=19267] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19267/stat : 19267 (java) S 19231 19234 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109900024 10060525568 53753 33554432000 1073741824 1073778376 140737262957488 139664602532472 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19234/tid=19268] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19268/stat : 19268 (java) S 19231 19234 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109900024 10060525568 53753 33554432000 1073741824 1073778376 140737262957488 139664601479880 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19234/tid=19271] ppid=19231 vsize=9824732 CPUtime=2.19 cores=0,2,4,6
/proc/19234/task/19271/stat : 19271 (java) R 19231 19234 14331 0 -1 4202560 18 0 0 0 219 0 0 0 20 0 22 0 109900108 10060525568 53753 33554432000 1073741824 1073778376 140737262957488 139664600423080 139665106179415 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19234/tid=19272] ppid=19231 vsize=9824732 CPUtime=2.18 cores=0,2,4,6
/proc/19234/task/19272/stat : 19272 (java) R 19231 19234 14331 0 -1 4202560 34 0 0 0 218 0 0 0 20 0 22 0 109900108 10060525568 53753 33554432000 1073741824 1073778376 140737262957488 139664599370568 139665106208327 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19234/tid=19275] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19275/stat : 19275 (java) S 19231 19234 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109900111 10060525568 53753 33554432000 1073741824 1073778376 140737262957488 139664598320808 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19234/tid=19276] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19276/stat : 19276 (java) S 19231 19234 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109900111 10060525568 53753 33554432000 1073741824 1073778376 140737262957488 139664597268008 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 8.26
Current children cumulated vsize (KiB) 9824732
[startup+6.30093 s]
/proc/loadavg: 2.40 2.42 3.15 5/219 19276
/proc/meminfo: memFree=30944760/32872528 swapFree=9100/9100
[pid=19234] ppid=19231 vsize=9824732 CPUtime=14.71 cores=0,2,4,6
/proc/19234/stat : 19234 (java) S 19231 19234 14331 0 -1 4202496 27392 0 1 0 1462 9 0 0 20 0 22 0 109900019 10060525568 53559 33554432000 1073741824 1073778376 140737262957488 140737262948624 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19234/statm: 2456183 53559 2291 9 0 2446860 0
[pid=19234/tid=19243] ppid=19231 vsize=9824732 CPUtime=0.85 cores=0,2,4,6
/proc/19234/task/19243/stat : 19243 (java) S 19231 19234 14331 0 -1 4202560 2486 0 1 0 81 4 0 0 20 0 22 0 109900019 10060525568 53559 33554432000 1073741824 1073778376 140737262957488 139665254773624 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19234/tid=19245] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19245/stat : 19245 (java) S 19231 19234 14331 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 109900020 10060525568 53559 33554432000 1073741824 1073778376 140737262957488 139665227225896 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19234/tid=19246] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19246/stat : 19246 (java) S 19231 19234 14331 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 109900020 10060525568 53559 33554432000 1073741824 1073778376 140737262957488 139665226173096 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19234/tid=19247] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19247/stat : 19247 (java) S 19231 19234 14331 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 109900020 10060525568 53559 33554432000 1073741824 1073778376 140737262957488 139665225120808 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19234/tid=19248] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19248/stat : 19248 (java) S 19231 19234 14331 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 109900020 10060525568 53559 33554432000 1073741824 1073778376 140737262957488 139665224068008 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19234/tid=19249] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19249/stat : 19249 (java) S 19231 19234 14331 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109900020 10060525568 53559 33554432000 1073741824 1073778376 140737262957488 139665094519080 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19234/tid=19250] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19250/stat : 19250 (java) S 19231 19234 14331 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 109900020 10060525568 53559 33554432000 1073741824 1073778376 140737262957488 139665093466280 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19234/tid=19251] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19251/stat : 19251 (java) S 19231 19234 14331 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 109900020 10060525568 53559 33554432000 1073741824 1073778376 140737262957488 139665092413992 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19234/tid=19252] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.06 3.95 3.66 5/219 19298
/proc/meminfo: memFree=24268316/32872528 swapFree=9100/9100
[pid=19234] ppid=19231 vsize=9824732 CPUtime=1650.32 cores=0,2,4,6
/proc/19234/stat : 19234 (java) S 19231 19234 14331 0 -1 4202496 45696 0 1 0 164816 216 0 0 20 0 22 0 109900019 10060525568 942136 33554432000 1073741824 1073778376 140737262957488 140737262948624 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19234/statm: 2456183 942136 2301 9 0 2446860 0
[pid=19234/tid=19243] ppid=19231 vsize=9824732 CPUtime=0.89 cores=0,2,4,6
/proc/19234/task/19243/stat : 19243 (java) S 19231 19234 14331 0 -1 4202560 2492 0 1 0 83 6 0 0 20 0 22 0 109900019 10060525568 942136 33554432000 1073741824 1073778376 140737262957488 139665254773624 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19234/tid=19245] ppid=19231 vsize=9824732 CPUtime=2.63 cores=0,2,4,6
/proc/19234/task/19245/stat : 19245 (java) S 19231 19234 14331 0 -1 4202560 1766 0 0 0 246 17 0 0 20 0 22 0 109900020 10060525568 942136 33554432000 1073741824 1073778376 140737262957488 139665227225896 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19234/tid=19246] ppid=19231 vsize=9824732 CPUtime=2.5 cores=0,2,4,6
/proc/19234/task/19246/stat : 19246 (java) S 19231 19234 14331 0 -1 4202560 998 0 0 0 228 22 0 0 20 0 22 0 109900020 10060525568 942136 33554432000 1073741824 1073778376 140737262957488 139665226173096 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19234/tid=19247] ppid=19231 vsize=9824732 CPUtime=2.63 cores=0,2,4,6
/proc/19234/task/19247/stat : 19247 (java) S 19231 19234 14331 0 -1 4202560 1856 0 0 0 241 22 0 0 20 0 22 0 109900020 10060525568 942136 33554432000 1073741824 1073778376 140737262957488 139665225120808 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19234/tid=19248] ppid=19231 vsize=9824732 CPUtime=2.88 cores=0,2,4,6
/proc/19234/task/19248/stat : 19248 (java) S 19231 19234 14331 0 -1 4202560 2032 0 0 0 268 20 0 0 20 0 22 0 109900020 10060525568 942136 33554432000 1073741824 1073778376 140737262957488 139665224068008 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19234/tid=19249] ppid=19231 vsize=9824732 CPUtime=2.47 cores=0,2,4,6
/proc/19234/task/19249/stat : 19249 (java) S 19231 19234 14331 0 -1 4202560 2119 0 0 0 228 19 0 0 20 0 22 0 109900020 10060525568 942136 33554432000 1073741824 1073778376 140737262957488 139665094519080 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19234/tid=19250] ppid=19231 vsize=9824732 CPUtime=2.81 cores=0,2,4,6
/proc/19234/task/19250/stat : 19250 (java) S 19231 19234 14331 0 -1 4202560 1641 0 0 0 262 19 0 0 20 0 22 0 109900020 10060525568 942136 33554432000 1073741824 1073778376 140737262957488 139665093466280 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19234/tid=19251] ppid=19231 vsize=9824732 CPUtime=2.74 cores=0,2,4,6
/proc/19234/task/19251/stat : 19251 (java) S 19231 19234 14331 0 -1 4202560 1852 0 0 0 255 19 0 0 20 0 22 0 109900020 10060525568 942136 33554432000 1073741824 1073778376 140737262957488 139665092413992 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19234/tid=19252] ppid=19231 vsize=9824732 CPUtime=2.72 cores=0,2,4,6
/proc/19234/task/19252/stat : 19252 (java) S 19231 19234 14331 0 -1 4202560 1942 0 0 0 249 23 0 0 20 0 22 0 109900020 10060525568 942136 33554432000 1073741824 1073778376 140737262957488 139665091361192 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19234/tid=19256] ppid=19231 vsize=9824732 CPUtime=7.25 cores=0,2,4,6
/proc/19234/task/19256/stat : 19256 (java) S 19231 19234 14331 0 -1 4202560 2345 0 0 0 720 5 0 0 20 0 22 0 109900021 10060525568 942136 33554432000 1073741824 1073778376 140737262957488 139664608848616 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19234/tid=19257] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19257/stat : 19257 (java) S 19231 19234 14331 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 109900021 10060525568 942136 33554432000 1073741824 1073778376 140737262957488 139664607794680 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19234/tid=19258] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19258/stat : 19258 (java) S 19231 19234 14331 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109900021 10060525568 942136 33554432000 1073741824 1073778376 140737262957488 139664606742280 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19234/tid=19264] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19264/stat : 19264 (java) S 19231 19234 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109900024 10060525568 942136 33554432000 1073741824 1073778376 140737262957488 139664605690768 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19234/tid=19265] ppid=19231 vsize=9824732 CPUtime=2.1 cores=0,2,4,6
/proc/19234/task/19265/stat : 19265 (java) S 19231 19234 14331 0 -1 4202560 14010 0 0 0 207 3 0 0 20 0 22 0 109900024 10060525568 942136 33554432000 1073741824 1073778376 140737262957488 139664604637368 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19234/tid=19266] ppid=19231 vsize=9824732 CPUtime=1.83 cores=0,2,4,6
/proc/19234/task/19266/stat : 19266 (java) S 19231 19234 14331 0 -1 4202560 9475 0 0 0 181 2 0 0 20 0 22 0 109900024 10060525568 942136 33554432000 1073741824 1073778376 140737262957488 139664603584568 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19234/tid=19267] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19267/stat : 19267 (java) S 19231 19234 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109900024 10060525568 942136 33554432000 1073741824 1073778376 140737262957488 139664602532472 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19234/tid=19268] ppid=19231 vsize=9824732 CPUtime=0.27 cores=0,2,4,6
/proc/19234/task/19268/stat : 19268 (java) S 19231 19234 14331 0 -1 4202560 47 0 0 0 12 15 0 0 20 0 22 0 109900024 10060525568 942136 33554432000 1073741824 1073778376 140737262957488 139664601479880 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19234/tid=19271] ppid=19231 vsize=9824732 CPUtime=808.48 cores=0,2,4,6
/proc/19234/task/19271/stat : 19271 (java) R 19231 19234 14331 0 -1 4202560 68 0 0 0 80836 12 0 0 20 0 22 0 109900108 10060525568 942136 33554432000 1073741824 1073778376 140737262957488 139664600424192 139665106381406 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19234/tid=19272] ppid=19231 vsize=9824732 CPUtime=808.36 cores=0,2,4,6
/proc/19234/task/19272/stat : 19272 (java) R 19231 19234 14331 0 -1 4202560 1789 0 0 0 80791 45 0 0 20 0 22 0 109900108 10060525568 942136 33554432000 1073741824 1073778376 140737262957488 139664599370560 139665106085386 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=19234/tid=19275] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19275/stat : 19275 (java) S 19231 19234 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109900111 10060525568 942136 33554432000 1073741824 1073778376 140737262957488 139664598320808 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19234/tid=19276] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19276/stat : 19276 (java) S 19231 19234 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109900111 10060525568 942136 33554432000 1073741824 1073778376 140737262957488 139664597268008 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1650.32
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.02 3.95 3.67 5/219 19299
/proc/meminfo: memFree=24222136/32872528 swapFree=9100/9100
[pid=19234] ppid=19231 vsize=9824732 CPUtime=1771.3 cores=0,2,4,6
/proc/19234/stat : 19234 (java) S 19231 19234 14331 0 -1 4202496 45866 0 1 0 176910 220 0 0 20 0 22 0 109900019 10060525568 942280 33554432000 1073741824 1073778376 140737262957488 140737262948624 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19234/statm: 2456183 942280 2301 9 0 2446860 0
[pid=19234/tid=19243] ppid=19231 vsize=9824732 CPUtime=0.89 cores=0,2,4,6
/proc/19234/task/19243/stat : 19243 (java) S 19231 19234 14331 0 -1 4202560 2493 0 1 0 83 6 0 0 20 0 22 0 109900019 10060525568 942280 33554432000 1073741824 1073778376 140737262957488 139665254773624 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19234/tid=19245] ppid=19231 vsize=9824732 CPUtime=2.78 cores=0,2,4,6
/proc/19234/task/19245/stat : 19245 (java) S 19231 19234 14331 0 -1 4202560 1811 0 0 0 261 17 0 0 20 0 22 0 109900020 10060525568 942280 33554432000 1073741824 1073778376 140737262957488 139665227225896 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19234/tid=19246] ppid=19231 vsize=9824732 CPUtime=2.76 cores=0,2,4,6
/proc/19234/task/19246/stat : 19246 (java) S 19231 19234 14331 0 -1 4202560 1023 0 0 0 254 22 0 0 20 0 22 0 109900020 10060525568 942280 33554432000 1073741824 1073778376 140737262957488 139665226173096 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19234/tid=19247] ppid=19231 vsize=9824732 CPUtime=2.87 cores=0,2,4,6
/proc/19234/task/19247/stat : 19247 (java) S 19231 19234 14331 0 -1 4202560 1856 0 0 0 264 23 0 0 20 0 22 0 109900020 10060525568 942280 33554432000 1073741824 1073778376 140737262957488 139665225120808 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19234/tid=19248] ppid=19231 vsize=9824732 CPUtime=3.24 cores=0,2,4,6
/proc/19234/task/19248/stat : 19248 (java) S 19231 19234 14331 0 -1 4202560 2032 0 0 0 304 20 0 0 20 0 22 0 109900020 10060525568 942280 33554432000 1073741824 1073778376 140737262957488 139665224068008 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19234/tid=19249] ppid=19231 vsize=9824732 CPUtime=2.84 cores=0,2,4,6
/proc/19234/task/19249/stat : 19249 (java) S 19231 19234 14331 0 -1 4202560 2129 0 0 0 265 19 0 0 20 0 22 0 109900020 10060525568 942280 33554432000 1073741824 1073778376 140737262957488 139665094519080 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19234/tid=19250] ppid=19231 vsize=9824732 CPUtime=2.97 cores=0,2,4,6
/proc/19234/task/19250/stat : 19250 (java) S 19231 19234 14331 0 -1 4202560 1684 0 0 0 278 19 0 0 20 0 22 0 109900020 10060525568 942280 33554432000 1073741824 1073778376 140737262957488 139665093466280 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19234/tid=19251] ppid=19231 vsize=9824732 CPUtime=2.97 cores=0,2,4,6
/proc/19234/task/19251/stat : 19251 (java) S 19231 19234 14331 0 -1 4202560 1862 0 0 0 278 19 0 0 20 0 22 0 109900020 10060525568 942280 33554432000 1073741824 1073778376 140737262957488 139665092413992 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19234/tid=19252] ppid=19231 vsize=9824732 CPUtime=2.98 cores=0,2,4,6
/proc/19234/task/19252/stat : 19252 (java) S 19231 19234 14331 0 -1 4202560 1958 0 0 0 275 23 0 0 20 0 22 0 109900020 10060525568 942280 33554432000 1073741824 1073778376 140737262957488 139665091361192 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19234/tid=19256] ppid=19231 vsize=9824732 CPUtime=7.26 cores=0,2,4,6
/proc/19234/task/19256/stat : 19256 (java) S 19231 19234 14331 0 -1 4202560 2355 0 0 0 720 6 0 0 20 0 22 0 109900021 10060525568 942280 33554432000 1073741824 1073778376 140737262957488 139664608848616 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19234/tid=19257] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19257/stat : 19257 (java) S 19231 19234 14331 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 109900021 10060525568 942280 33554432000 1073741824 1073778376 140737262957488 139664607794680 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19234/tid=19258] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19258/stat : 19258 (java) S 19231 19234 14331 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109900021 10060525568 942280 33554432000 1073741824 1073778376 140737262957488 139664606742280 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19234/tid=19264] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19264/stat : 19264 (java) S 19231 19234 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109900024 10060525568 942280 33554432000 1073741824 1073778376 140737262957488 139664605690768 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19234/tid=19265] ppid=19231 vsize=9824732 CPUtime=2.1 cores=0,2,4,6
/proc/19234/task/19265/stat : 19265 (java) S 19231 19234 14331 0 -1 4202560 14010 0 0 0 207 3 0 0 20 0 22 0 109900024 10060525568 942280 33554432000 1073741824 1073778376 140737262957488 139664604637368 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19234/tid=19266] ppid=19231 vsize=9824732 CPUtime=1.83 cores=0,2,4,6
/proc/19234/task/19266/stat : 19266 (java) S 19231 19234 14331 0 -1 4202560 9475 0 0 0 181 2 0 0 20 0 22 0 109900024 10060525568 942280 33554432000 1073741824 1073778376 140737262957488 139664603584568 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19234/tid=19267] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19267/stat : 19267 (java) S 19231 19234 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109900024 10060525568 942280 33554432000 1073741824 1073778376 140737262957488 139664602532472 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19234/tid=19268] ppid=19231 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/19234/task/19268/stat : 19268 (java) S 19231 19234 14331 0 -1 4202560 51 0 0 0 14 16 0 0 20 0 22 0 109900024 10060525568 942280 33554432000 1073741824 1073778376 140737262957488 139664601479880 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19234/tid=19271] ppid=19231 vsize=9824732 CPUtime=867.94 cores=0,2,4,6
/proc/19234/task/19271/stat : 19271 (java) R 19231 19234 14331 0 -1 4202560 70 0 0 0 86781 13 0 0 20 0 22 0 109900108 10060525568 942280 33554432000 1073741824 1073778376 140737262957488 139664600423552 139665106161219 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19234/tid=19272] ppid=19231 vsize=9824732 CPUtime=867.83 cores=0,2,4,6
/proc/19234/task/19272/stat : 19272 (java) R 19231 19234 14331 0 -1 4202560 1793 0 0 0 86737 46 0 0 20 0 22 0 109900108 10060525568 942280 33554432000 1073741824 1073778376 140737262957488 139664599371424 139665107016086 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=19234/tid=19275] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19275/stat : 19275 (java) S 19231 19234 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109900111 10060525568 942280 33554432000 1073741824 1073778376 140737262957488 139664598320808 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19234/tid=19276] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19276/stat : 19276 (java) S 19231 19234 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109900111 10060525568 942280 33554432000 1073741824 1073778376 140737262957488 139664597268008 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1771.3
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+896.608 s]
/proc/loadavg: 4.02 3.95 3.68 6/215 19364
/proc/meminfo: memFree=27979048/32872528 swapFree=9100/9100
[pid=19234] ppid=19231 vsize=9824732 CPUtime=1800.09 cores=0,2,4,6
/proc/19234/stat : 19234 (java) S 19231 19234 14331 0 -1 4202496 45875 0 1 0 179789 220 0 0 20 0 22 0 109900019 10060525568 942286 33554432000 1073741824 1073778376 140737262957488 140737262948624 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19234/statm: 2456183 942286 2301 9 0 2446860 0
[pid=19234/tid=19243] ppid=19231 vsize=9824732 CPUtime=0.89 cores=0,2,4,6
/proc/19234/task/19243/stat : 19243 (java) S 19231 19234 14331 0 -1 4202560 2493 0 1 0 83 6 0 0 20 0 22 0 109900019 10060525568 942286 33554432000 1073741824 1073778376 140737262957488 139665254773624 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19234/tid=19245] ppid=19231 vsize=9824732 CPUtime=2.8 cores=0,2,4,6
/proc/19234/task/19245/stat : 19245 (java) S 19231 19234 14331 0 -1 4202560 1811 0 0 0 263 17 0 0 20 0 22 0 109900020 10060525568 942286 33554432000 1073741824 1073778376 140737262957488 139665227225896 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19234/tid=19246] ppid=19231 vsize=9824732 CPUtime=2.85 cores=0,2,4,6
/proc/19234/task/19246/stat : 19246 (java) S 19231 19234 14331 0 -1 4202560 1024 0 0 0 263 22 0 0 20 0 22 0 109900020 10060525568 942286 33554432000 1073741824 1073778376 140737262957488 139665226173096 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19234/tid=19247] ppid=19231 vsize=9824732 CPUtime=2.91 cores=0,2,4,6
/proc/19234/task/19247/stat : 19247 (java) S 19231 19234 14331 0 -1 4202560 1856 0 0 0 268 23 0 0 20 0 22 0 109900020 10060525568 942286 33554432000 1073741824 1073778376 140737262957488 139665225120808 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19234/tid=19248] ppid=19231 vsize=9824732 CPUtime=3.27 cores=0,2,4,6
/proc/19234/task/19248/stat : 19248 (java) S 19231 19234 14331 0 -1 4202560 2032 0 0 0 307 20 0 0 20 0 22 0 109900020 10060525568 942286 33554432000 1073741824 1073778376 140737262957488 139665224068008 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19234/tid=19249] ppid=19231 vsize=9824732 CPUtime=2.91 cores=0,2,4,6
/proc/19234/task/19249/stat : 19249 (java) S 19231 19234 14331 0 -1 4202560 2129 0 0 0 272 19 0 0 20 0 22 0 109900020 10060525568 942286 33554432000 1073741824 1073778376 140737262957488 139665094519080 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19234/tid=19250] ppid=19231 vsize=9824732 CPUtime=3.02 cores=0,2,4,6
/proc/19234/task/19250/stat : 19250 (java) S 19231 19234 14331 0 -1 4202560 1684 0 0 0 283 19 0 0 20 0 22 0 109900020 10060525568 942286 33554432000 1073741824 1073778376 140737262957488 139665093466280 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19234/tid=19251] ppid=19231 vsize=9824732 CPUtime=3.07 cores=0,2,4,6
/proc/19234/task/19251/stat : 19251 (java) S 19231 19234 14331 0 -1 4202560 1862 0 0 0 288 19 0 0 20 0 22 0 109900020 10060525568 942286 33554432000 1073741824 1073778376 140737262957488 139665092413992 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19234/tid=19252] ppid=19231 vsize=9824732 CPUtime=3 cores=0,2,4,6
/proc/19234/task/19252/stat : 19252 (java) S 19231 19234 14331 0 -1 4202560 1958 0 0 0 277 23 0 0 20 0 22 0 109900020 10060525568 942286 33554432000 1073741824 1073778376 140737262957488 139665091361192 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19234/tid=19256] ppid=19231 vsize=9824732 CPUtime=7.27 cores=0,2,4,6
/proc/19234/task/19256/stat : 19256 (java) S 19231 19234 14331 0 -1 4202560 2360 0 0 0 720 7 0 0 20 0 22 0 109900021 10060525568 942286 33554432000 1073741824 1073778376 140737262957488 139664608848616 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19234/tid=19257] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19257/stat : 19257 (java) S 19231 19234 14331 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 109900021 10060525568 942286 33554432000 1073741824 1073778376 140737262957488 139664607794680 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19234/tid=19258] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19258/stat : 19258 (java) S 19231 19234 14331 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109900021 10060525568 942286 33554432000 1073741824 1073778376 140737262957488 139664606742280 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19234/tid=19264] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19264/stat : 19264 (java) S 19231 19234 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109900024 10060525568 942286 33554432000 1073741824 1073778376 140737262957488 139664605690768 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19234/tid=19265] ppid=19231 vsize=9824732 CPUtime=2.1 cores=0,2,4,6
/proc/19234/task/19265/stat : 19265 (java) S 19231 19234 14331 0 -1 4202560 14010 0 0 0 207 3 0 0 20 0 22 0 109900024 10060525568 942286 33554432000 1073741824 1073778376 140737262957488 139664604637368 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19234/tid=19266] ppid=19231 vsize=9824732 CPUtime=1.83 cores=0,2,4,6
/proc/19234/task/19266/stat : 19266 (java) S 19231 19234 14331 0 -1 4202560 9475 0 0 0 181 2 0 0 20 0 22 0 109900024 10060525568 942286 33554432000 1073741824 1073778376 140737262957488 139664603584568 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19234/tid=19267] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19267/stat : 19267 (java) S 19231 19234 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109900024 10060525568 942286 33554432000 1073741824 1073778376 140737262957488 139664602532472 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19234/tid=19268] ppid=19231 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/19234/task/19268/stat : 19268 (java) S 19231 19234 14331 0 -1 4202560 53 0 0 0 14 16 0 0 20 0 22 0 109900024 10060525568 942286 33554432000 1073741824 1073778376 140737262957488 139664601479880 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19234/tid=19271] ppid=19231 vsize=9824732 CPUtime=882.13 cores=0,2,4,6
/proc/19234/task/19271/stat : 19271 (java) R 19231 19234 14331 0 -1 4202560 70 0 0 0 88200 13 0 0 20 0 22 0 109900108 10060525568 942286 33554432000 1073741824 1073778376 140737262957488 139664600424192 139665106108162 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19234/tid=19272] ppid=19231 vsize=9824732 CPUtime=882.01 cores=0,2,4,6
/proc/19234/task/19272/stat : 19272 (java) R 19231 19234 14331 0 -1 4202560 1794 0 0 0 88155 46 0 0 20 0 22 0 109900108 10060525568 942286 33554432000 1073741824 1073778376 140737262957488 139664599370560 139665106359635 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=19234/tid=19275] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19275/stat : 19275 (java) S 19231 19234 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109900111 10060525568 942286 33554432000 1073741824 1073778376 140737262957488 139664598320808 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19234/tid=19276] ppid=19231 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19234/task/19276/stat : 19276 (java) S 19231 19234 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109900111 10060525568 942286 33554432000 1073741824 1073778376 140737262957488 139664597268008 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9824732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 19234 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 896.686
CPU time (s): 1800.83
CPU user time (s): 1798.11
CPU system time (s): 2.72159
CPU usage (%): 200.832
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.11
system time used= 2.72159
maximum resident set size= 3769260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45910
page faults= 1
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25116
involuntary context switches= 31525
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.47317 second user time and 7.56485 second system time
The end