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-4103434-1466240588/watcher-4103434-1466240588 -o /tmp/evaluation-result-4103434-1466240588/solver-4103434-1466240588 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466240588-22107 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4103434-1466240588.opb
pid=22123
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.11 1.30 1.75 3/170 22126
/proc/meminfo: memFree=30397704/32872528 swapFree=1459628/1655852
[pid=22126] ppid=22123 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/22126/stat : 22126 (java) D 22123 22126 22091 0 -1 4202496 156 0 1 0 0 0 0 0 20 0 1 0 26104371 278528 33 33554432000 1073741824 1073778376 140736959732880 140736959730056 239863950631 0 0 4096 0 18446744072100588836 0 0 17 2 0 0 0 0 0
/proc/22126/statm: 68 33 25 9 0 25 0
[startup+0.100132 s]
/proc/loadavg: 1.11 1.30 1.75 3/170 22126
/proc/meminfo: memFree=30397704/32872528 swapFree=1459628/1655852
[pid=22126] ppid=22123 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/22126/stat : 22126 (java) D 22123 22126 22091 0 -1 4202496 1137 0 17 0 0 0 0 0 20 0 1 0 26104371 23793664 805 33554432000 1073741824 1073778376 140733621058736 140733621048728 140623466615568 0 0 4096 0 18446744071579943789 0 0 17 4 0 0 6 0 0
/proc/22126/statm: 5809 805 599 9 0 128 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23236
[startup+0.200252 s]
/proc/loadavg: 1.11 1.30 1.75 3/170 22126
/proc/meminfo: memFree=30397704/32872528 swapFree=1459628/1655852
[pid=22126] ppid=22123 vsize=9014776 CPUtime=0.01 cores=0,2,4,6
/proc/22126/stat : 22126 (java) S 22123 22126 22091 0 -1 4202496 2281 0 25 0 0 1 0 0 20 0 10 0 26104371 9231130624 2929 33554432000 1073741824 1073778376 140733621058736 140733621049872 239876472893 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 7 0 0
/proc/22126/statm: 2253694 2929 1079 9 0 2244803 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9014776
[startup+0.300193 s]
/proc/loadavg: 1.11 1.30 1.75 3/170 22126
/proc/meminfo: memFree=30397704/32872528 swapFree=1459628/1655852
[pid=22126] ppid=22123 vsize=9225560 CPUtime=0.04 cores=0,2,4,6
/proc/22126/stat : 22126 (java) S 22123 22126 22091 0 -1 4202496 3109 0 27 0 3 1 0 0 20 0 13 0 26104371 9446973440 3756 33554432000 1073741824 1073778376 140733621058736 140733621049872 239876472893 0 0 0 16800971 18446744073709551615 0 0 17 4 0 0 7 0 0
/proc/22126/statm: 2306390 3756 1705 9 0 2297091 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9225560
[startup+0.700179 s]
/proc/loadavg: 1.11 1.30 1.75 3/170 22126
/proc/meminfo: memFree=30397704/32872528 swapFree=1459628/1655852
[pid=22126] ppid=22123 vsize=9558476 CPUtime=0.58 cores=0,2,4,6
/proc/22126/stat : 22126 (java) S 22123 22126 22091 0 -1 4202496 6380 0 29 0 56 2 0 0 20 0 18 0 26104371 9787879424 14413 33554432000 1073741824 1073778376 140733621058736 140733621049872 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0
/proc/22126/statm: 2389619 14413 2236 9 0 2380296 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 9558476
[startup+1.50071 s]
/proc/loadavg: 1.11 1.30 1.75 10/211 22172
/proc/meminfo: memFree=30000016/32872528 swapFree=1459628/1655852
[pid=22126] ppid=22123 vsize=9691604 CPUtime=2.19 cores=0,2,4,6
/proc/22126/stat : 22126 (java) S 22123 22126 22091 0 -1 4202496 15429 0 29 0 211 8 0 0 20 0 20 0 26104371 9924202496 52024 33554432000 1073741824 1073778376 140733621058736 140733621049872 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0
/proc/22126/statm: 2422901 52024 2279 9 0 2413578 0
[pid=22126/tid=22139] ppid=22123 vsize=9691604 CPUtime=1.01 cores=0,2,4,6
/proc/22126/task/22139/stat : 22139 (java) S 22123 22126 22091 0 -1 4202560 2458 0 7 0 98 3 0 0 20 0 20 0 26104383 9924202496 52024 33554432000 1073741824 1073778376 140733621058736 140623460971384 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 20 0 0
[pid=22126/tid=22145] ppid=22123 vsize=9691604 CPUtime=0 cores=0,2,4,6
/proc/22126/task/22145/stat : 22145 (java) S 22123 22126 22091 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 26104391 9924202496 52024 33554432000 1073741824 1073778376 140733621058736 140623422462248 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22126/tid=22147] ppid=22123 vsize=9691604 CPUtime=0.01 cores=0,2,4,6
/proc/22126/task/22147/stat : 22147 (java) S 22123 22126 22091 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 20 0 26104391 9924202496 52024 33554432000 1073741824 1073778376 140733621058736 140623421409448 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22126/tid=22149] ppid=22123 vsize=9691604 CPUtime=0.01 cores=0,2,4,6
/proc/22126/task/22149/stat : 22149 (java) S 22123 22126 22091 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 20 0 26104391 9924202496 52024 33554432000 1073741824 1073778376 140733621058736 140623420357160 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22126/tid=22150] ppid=22123 vsize=9691604 CPUtime=0.02 cores=0,2,4,6
/proc/22126/task/22150/stat : 22150 (java) S 22123 22126 22091 0 -1 4202560 22 0 0 0 2 0 0 0 20 0 20 0 26104391 9924202496 52024 33554432000 1073741824 1073778376 140733621058736 140623419304360 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22126/tid=22152] ppid=22123 vsize=9691604 CPUtime=0.01 cores=0,2,4,6
/proc/22126/task/22152/stat : 22152 (java) S 22123 22126 22091 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 20 0 26104391 9924202496 52024 33554432000 1073741824 1073778376 140733621058736 140623418252072 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22126/tid=22154] ppid=22123 vsize=9691604 CPUtime=0 cores=0,2,4,6
/proc/22126/task/22154/stat : 22154 (java) S 22123 22126 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 26104391 9924202496 52024 33554432000 1073741824 1073778376 140733621058736 140623417199272 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22126/tid=22155] ppid=22123 vsize=9691604 CPUtime=0 cores=0,2,4,6
/proc/22126/task/22155/stat : 22155 (java) S 22123 22126 22091 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 20 0 26104391 9924202496 52024 33554432000 1073741824 1073778376 140733621058736 140623416146984 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22126/tid=22156] ppid=22123 vsize=9691604 CPUtime=0 cores=0,2,4,6
/proc/22126/task/22156/stat : 22156 (java) S 22123 22126 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 26104391 9924202496 52024 33554432000 1073741824 1073778376 140733621058736 140623415094184 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22126/tid=22157] ppid=22123 vsize=9691604 CPUtime=0 cores=0,2,4,6
/proc/22126/task/22157/stat : 22157 (java) S 22123 22126 22091 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 20 0 26104394 9924202496 52024 33554432000 1073741824 1073778376 140733621058736 140623284787432 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22126/tid=22160] ppid=22123 vsize=9691604 CPUtime=0 cores=0,2,4,6
/proc/22126/task/22160/stat : 22160 (java) S 22123 22126 22091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 26104396 9924202496 52024 33554432000 1073741824 1073778376 140733621058736 140623283733496 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22126/tid=22162] ppid=22123 vsize=9691604 CPUtime=0 cores=0,2,4,6
/proc/22126/task/22162/stat : 22162 (java) S 22123 22126 22091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 26104396 9924202496 52024 33554432000 1073741824 1073778376 140733621058736 140623282681096 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22126/tid=22163] ppid=22123 vsize=9691604 CPUtime=0 cores=0,2,4,6
/proc/22126/task/22163/stat : 22163 (java) S 22123 22126 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 26104407 9924202496 52024 33554432000 1073741824 1073778376 140733621058736 140623281629584 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22126/tid=22165] ppid=22123 vsize=9691604 CPUtime=0.43 cores=0,2,4,6
/proc/22126/task/22165/stat : 22165 (java) S 22123 22126 22091 0 -1 4202560 7218 0 1 0 43 0 0 0 20 0 20 0 26104407 9924202496 52024 33554432000 1073741824 1073778376 140733621058736 140623280577208 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22126/tid=22166] ppid=22123 vsize=9691604 CPUtime=0.43 cores=0,2,4,6
/proc/22126/task/22166/stat : 22166 (java) R 22123 22126 22091 0 -1 4202560 4351 0 1 0 43 0 0 0 20 0 20 0 26104407 9924202496 52024 33554432000 1073741824 1073778376 140733621058736 140623279524408 140623463674947 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22126/tid=22168] ppid=22123 vsize=9691604 CPUtime=0 cores=0,2,4,6
/proc/22126/task/22168/stat : 22168 (java) S 22123 22126 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 26104407 9924202496 52024 33554432000 1073741824 1073778376 140733621058736 140623278472312 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22126/tid=22170] ppid=22123 vsize=9691604 CPUtime=0 cores=0,2,4,6
/proc/22126/task/22170/stat : 22170 (java) S 22123 22126 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 26104407 9924202496 52024 33554432000 1073741824 1073778376 140733621058736 140623277419720 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 9691604
[startup+3.10085 s]
/proc/loadavg: 1.11 1.30 1.75 5/219 22180
/proc/meminfo: memFree=29849196/32872528 swapFree=1459628/1655852
[pid=22126] ppid=22123 vsize=9824732 CPUtime=6.36 cores=0,2,4,6
/proc/22126/stat : 22126 (java) S 22123 22126 22091 0 -1 4202496 16747 0 29 0 620 16 0 0 20 0 22 0 26104371 10060525568 88314 33554432000 1073741824 1073778376 140733621058736 140733621049872 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0
/proc/22126/statm: 2456183 88314 2285 9 0 2446860 0
[pid=22126/tid=22139] ppid=22123 vsize=9824732 CPUtime=1.01 cores=0,2,4,6
/proc/22126/task/22139/stat : 22139 (java) S 22123 22126 22091 0 -1 4202560 2458 0 7 0 98 3 0 0 20 0 22 0 26104383 10060525568 88314 33554432000 1073741824 1073778376 140733621058736 140623460971384 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 20 0 0
[pid=22126/tid=22145] ppid=22123 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/22126/task/22145/stat : 22145 (java) S 22123 22126 22091 0 -1 4202560 137 0 0 0 5 2 0 0 20 0 22 0 26104391 10060525568 88314 33554432000 1073741824 1073778376 140733621058736 140623422462248 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22126/tid=22147] ppid=22123 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/22126/task/22147/stat : 22147 (java) S 22123 22126 22091 0 -1 4202560 24 0 0 0 3 1 0 0 20 0 22 0 26104391 10060525568 88314 33554432000 1073741824 1073778376 140733621058736 140623421409448 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22126/tid=22149] ppid=22123 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/22126/task/22149/stat : 22149 (java) S 22123 22126 22091 0 -1 4202560 26 0 0 0 2 1 0 0 20 0 22 0 26104391 10060525568 88314 33554432000 1073741824 1073778376 140733621058736 140623420357160 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22126/tid=22150] ppid=22123 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/22126/task/22150/stat : 22150 (java) S 22123 22126 22091 0 -1 4202560 31 0 0 0 2 2 0 0 20 0 22 0 26104391 10060525568 88314 33554432000 1073741824 1073778376 140733621058736 140623419304360 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22126/tid=22152] ppid=22123 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/22126/task/22152/stat : 22152 (java) S 22123 22126 22091 0 -1 4202560 22 0 0 0 4 0 0 0 20 0 22 0 26104391 10060525568 88314 33554432000 1073741824 1073778376 140733621058736 140623418252072 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22126/tid=22154] ppid=22123 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/22126/task/22154/stat : 22154 (java) S 22123 22126 22091 0 -1 4202560 86 0 0 0 2 2 0 0 20 0 22 0 26104391 10060525568 88314 33554432000 1073741824 1073778376 140733621058736 140623417199272 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22126/tid=22155] ppid=22123 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/22126/task/22155/stat : 22155 (java) S 22123 22126 22091 0 -1 4202560 70 0 0 0 2 0 0 0 20 0 22 0 26104391 10060525568 88314 33554432000 1073741824 1073778376 140733621058736 140623416146984 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22126/tid=22156] ppid=22123 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/22126/task/22156/stat : 22156 (java) S 22123 22126 22091 0 -1 4202560 132 0 0 0 3 0 0 0 20 0 22 0 26104391 10060525568 88314 33554432000 1073741824 1073778376 140733621058736 140623415094184 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22126/tid=22157] ppid=22123 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22126/task/22157/stat : 22157 (java) S 22123 22126 22091 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 26104394 10060525568 88314 33554432000 1073741824 1073778376 140733621058736 140623284787432 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22126/tid=22160] ppid=22123 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22126/task/22160/stat : 22160 (java) S 22123 22126 22091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26104396 10060525568 88314 33554432000 1073741824 1073778376 140733621058736 140623283733496 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22126/tid=22162] ppid=22123 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22126/task/22162/stat : 22162 (java) S 22123 22126 22091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 26104396 10060525568 88314 33554432000 1073741824 1073778376 140733621058736 140623282681096 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22126/tid=22163] ppid=22123 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22126/task/22163/stat : 22163 (java) S 22123 22126 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26104407 10060525568 88314 33554432000 1073741824 1073778376 140733621058736 140623281629584 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22126/tid=22165] ppid=22123 vsize=9824732 CPUtime=0.86 cores=0,2,4,6
/proc/22126/task/22165/stat : 22165 (java) S 22123 22126 22091 0 -1 4202560 7227 0 1 0 86 0 0 0 20 0 22 0 26104407 10060525568 88314 33554432000 1073741824 1073778376 140733621058736 140623280577208 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22126/tid=22166] ppid=22123 vsize=9824732 CPUtime=0.88 cores=0,2,4,6
/proc/22126/task/22166/stat : 22166 (java) S 22123 22126 22091 0 -1 4202560 5123 0 1 0 88 0 0 0 20 0 22 0 26104407 10060525568 88314 33554432000 1073741824 1073778376 140733621058736 140623279524408 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22126/tid=22168] ppid=22123 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22126/task/22168/stat : 22168 (java) S 22123 22126 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26104407 10060525568 88314 33554432000 1073741824 1073778376 140733621058736 140623278472312 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22126/tid=22170] ppid=22123 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22126/task/22170/stat : 22170 (java) S 22123 22126 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26104407 10060525568 88314 33554432000 1073741824 1073778376 140733621058736 140623277419720 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22126/tid=22173] ppid=22123 vsize=9824732 CPUtime=1.57 cores=0,2,4,6
/proc/22126/task/22173/stat : 22173 (java) R 22123 22126 22091 0 -1 4202560 28 0 0 0 157 0 0 0 20 0 22 0 26104515 10060525568 88314 33554432000 1073741824 1073778376 140733621058736 140623276364392 140623286557941 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22126/tid=22174] ppid=22123 vsize=9824732 CPUtime=1.56 cores=0,2,4,6
/proc/22126/task/22174/stat : 22174 (java) R 22123 22126 22091 0 -1 4202560 62 0 0 0 154 2 0 0 20 0 22 0 26104515 10060525568 88314 33554432000 1073741824 1073778376 140733621058736 140623275309248 140623286803161 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=22126/tid=22175] ppid=22123 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22126/task/22175/stat : 22175 (java) S 22123 22126 22091 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 26104526 10060525568 88314 33554432000 1073741824 1073778376 140733621058736 140623274259624 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22126/tid=22176] ppid=22123 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22126/task/22176/stat : 22176 (java) S 22123 22126 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26104526 10060525568 88314 33554432000 1073741824 1073778376 140733621058736 140623273206824 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.36
Current children cumulated vsize (KiB) 9824732
[startup+6.30099 s]
/proc/loadavg: 1.34 1.34 1.76 5/219 22180
/proc/meminfo: memFree=29367404/32872528 swapFree=1459628/1655852
[pid=22126] ppid=22123 vsize=9824732 CPUtime=13.1 cores=0,2,4,6
/proc/22126/stat : 22126 (java) S 22123 22126 22091 0 -1 4202496 17156 0 29 0 1281 29 0 0 20 0 22 0 26104371 10060525568 114487 33554432000 1073741824 1073778376 140733621058736 140733621049872 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0
/proc/22126/statm: 2456183 114487 2285 9 0 2446860 0
[pid=22126/tid=22139] ppid=22123 vsize=9824732 CPUtime=1.01 cores=0,2,4,6
/proc/22126/task/22139/stat : 22139 (java) S 22123 22126 22091 0 -1 4202560 2458 0 7 0 98 3 0 0 20 0 22 0 26104383 10060525568 114487 33554432000 1073741824 1073778376 140733621058736 140623460971384 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 20 0 0
[pid=22126/tid=22145] ppid=22123 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/22126/task/22145/stat : 22145 (java) S 22123 22126 22091 0 -1 4202560 162 0 0 0 7 3 0 0 20 0 22 0 26104391 10060525568 114487 33554432000 1073741824 1073778376 140733621058736 140623422462248 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22126/tid=22147] ppid=22123 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/22126/task/22147/stat : 22147 (java) S 22123 22126 22091 0 -1 4202560 52 0 0 0 6 3 0 0 20 0 22 0 26104391 10060525568 114487 33554432000 1073741824 1073778376 140733621058736 140623421409448 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22126/tid=22149] ppid=22123 vsize=9824732 CPUtime=0.16 cores=0,2,4,6
/proc/22126/task/22149/stat : 22149 (java) S 22123 22126 22091 0 -1 4202560 92 0 0 0 12 4 0 0 20 0 22 0 26104391 10060525568 114487 33554432000 1073741824 1073778376 140733621058736 140623420357160 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22126/tid=22150] ppid=22123 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/22126/task/22150/stat : 22150 (java) S 22123 22126 22091 0 -1 4202560 53 0 0 0 5 3 0 0 20 0 22 0 26104391 10060525568 114487 33554432000 1073741824 1073778376 140733621058736 140623419304360 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22126/tid=22152] ppid=22123 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/22126/task/22152/stat : 22152 (java) S 22123 22126 22091 0 -1 4202560 43 0 0 0 7 2 0 0 20 0 22 0 26104391 10060525568 114487 33554432000 1073741824 1073778376 140733621058736 140623418252072 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22126/tid=22154] ppid=22123 vsize=9824732 CPUtime=0.12 cores=0,2,4,6
/proc/22126/task/22154/stat : 22154 (java) S 22123 22126 22091 0 -1 4202560 129 0 0 0 9 3 0 0 20 0 22 0 26104391 10060525568 114487 33554432000 1073741824 1073778376 140733621058736 140623417199272 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22126/tid=22155] ppid=22123 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/22126/task/22155/stat : 22155 (java) S 22123 22126 22091 0 -1 4202560 90 0 0 0 6 2 0 0 20 0 22 0 26104391 10060525568 114487 33554432000 1073741824 1073778376 140733621058736 140623416146984 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22126/tid=22156] ppid=22123 vsize=9824732 CPUtime=0.13 cores=0,2,4,6
/proc/22126/task/22156/stat : 22156 (java) S 22123 22126 22091 0 -1 4202560 181 0 0 0 10 3 0 0 20 0 22 0 26104391 10060525568 114487 33554432000 1073741824 1073778376 140733621058736 140623415094184 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22126/tid=22157] ppid=22123 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22126/task/22157/stat : 22157 (java) S 22123 22126 22091 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 22 0 26104394 10060525568 114487 33554432000 1073741824 1073778376 140733621058736 140623284787432 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22126/tid=22160] ppid=22123 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22126/task/22160/stat : 22160 (java) S 22123 22126 22091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26104396 10060525568 114487 33554432000 1073741824 1073778376 140733621058736 140623283733496 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22126/tid=22162] ppid=22123 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22126/task/22162/stat : 22162 (java) S 22123 22126 22091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 26104396 10060525568 114487 33554432000 1073741824 1073778376 140733621058736 140623282681096 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22126/tid=22163] ppid=22123 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22126/task/22163/stat : 22163 (java) S 22123 22126 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26104407 10060525568 114487 33554432000 1073741824 1073778376 140733621058736 140623281629584 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22126/tid=22165] ppid=22123 vsize=9824732 CPUtime=0.88 cores=0,2,4,6
/proc/22126/task/22165/stat : 22165 (java) S 22123 22126 22091 0 -1 4202560 7227 0 1 0 88 0 0 0 20 0 22 0 26104407 10060525568 114487 33554432000 1073741824 1073778376 140733621058736 140623280577208 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22126/tid=22166] ppid=22123 vsize=9824732 CPUtime=0.94 cores=0,2,4,6
/proc/22126/task/22166/stat : 22166 (java) S 22123 22126 22091 0 -1 4202560 5123 0 1 0 94 0 0 0 20 0 22 0 26104407 10060525568 114487 33554432000 1073741824 1073778376 140733621058736 140623279524408 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22126/tid=22168] ppid=22123 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22126/task/22168/stat : 22168 (java) S 22123 22126 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26104407 10060525568 114487 33554432000 1073741824 1073778376 140733621058736 140623278472312 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22126/tid=22170] ppid=22123 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22126/task/22170/stat : 22170 (java) S 22123 22126 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26104407 10060525568 114487 33554432000 1073741824 1073778376 140733621058736 140623277419720 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22126/tid=22173] ppid=22123 vsize=9824732 CPUtime=4.62 cores=0,2,4,6
################
# More data... #
################
/proc/22126/task/22149/stat : 22149 (java) S 22123 22126 22091 0 -1 4202560 461 0 0 0 99 18 0 0 20 0 22 0 26104391 10060525568 851349 33554432000 1073741824 1073778376 140733621058736 140623420357160 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22126/tid=22150] ppid=22123 vsize=9824732 CPUtime=1.01 cores=0,2,4,6
/proc/22126/task/22150/stat : 22150 (java) S 22123 22126 22091 0 -1 4202560 426 0 0 0 86 15 0 0 20 0 22 0 26104391 10060525568 851349 33554432000 1073741824 1073778376 140733621058736 140623419304360 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22126/tid=22152] ppid=22123 vsize=9824732 CPUtime=1.39 cores=0,2,4,6
/proc/22126/task/22152/stat : 22152 (java) S 22123 22126 22091 0 -1 4202560 799 0 0 0 116 23 0 0 20 0 22 0 26104391 10060525568 851349 33554432000 1073741824 1073778376 140733621058736 140623418252072 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22126/tid=22154] ppid=22123 vsize=9824732 CPUtime=1.38 cores=0,2,4,6
/proc/22126/task/22154/stat : 22154 (java) S 22123 22126 22091 0 -1 4202560 575 0 0 0 117 21 0 0 20 0 22 0 26104391 10060525568 851349 33554432000 1073741824 1073778376 140733621058736 140623417199272 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22126/tid=22155] ppid=22123 vsize=9824732 CPUtime=1.56 cores=0,2,4,6
/proc/22126/task/22155/stat : 22155 (java) S 22123 22126 22091 0 -1 4202560 505 0 0 0 133 23 0 0 20 0 22 0 26104391 10060525568 851349 33554432000 1073741824 1073778376 140733621058736 140623416146984 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22126/tid=22156] ppid=22123 vsize=9824732 CPUtime=1.34 cores=0,2,4,6
/proc/22126/task/22156/stat : 22156 (java) S 22123 22126 22091 0 -1 4202560 598 0 0 0 111 23 0 0 20 0 22 0 26104391 10060525568 851349 33554432000 1073741824 1073778376 140733621058736 140623415094184 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22126/tid=22157] ppid=22123 vsize=9824732 CPUtime=2.71 cores=0,2,4,6
/proc/22126/task/22157/stat : 22157 (java) S 22123 22126 22091 0 -1 4202560 2470 0 0 0 267 4 0 0 20 0 22 0 26104394 10060525568 851349 33554432000 1073741824 1073778376 140733621058736 140623284787432 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22126/tid=22160] ppid=22123 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22126/task/22160/stat : 22160 (java) S 22123 22126 22091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26104396 10060525568 851349 33554432000 1073741824 1073778376 140733621058736 140623283733496 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22126/tid=22162] ppid=22123 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22126/task/22162/stat : 22162 (java) S 22123 22126 22091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 26104396 10060525568 851349 33554432000 1073741824 1073778376 140733621058736 140623282681096 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22126/tid=22163] ppid=22123 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22126/task/22163/stat : 22163 (java) S 22123 22126 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26104407 10060525568 851349 33554432000 1073741824 1073778376 140733621058736 140623281629584 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22126/tid=22165] ppid=22123 vsize=9824732 CPUtime=0.99 cores=0,2,4,6
/proc/22126/task/22165/stat : 22165 (java) S 22123 22126 22091 0 -1 4202560 7248 0 1 0 99 0 0 0 20 0 22 0 26104407 10060525568 851349 33554432000 1073741824 1073778376 140733621058736 140623280577208 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22126/tid=22166] ppid=22123 vsize=9824732 CPUtime=1.29 cores=0,2,4,6
/proc/22126/task/22166/stat : 22166 (java) S 22123 22126 22091 0 -1 4202560 5142 0 1 0 129 0 0 0 20 0 22 0 26104407 10060525568 851349 33554432000 1073741824 1073778376 140733621058736 140623279524408 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22126/tid=22168] ppid=22123 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22126/task/22168/stat : 22168 (java) S 22123 22126 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26104407 10060525568 851349 33554432000 1073741824 1073778376 140733621058736 140623278472312 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22126/tid=22170] ppid=22123 vsize=9824732 CPUtime=0.24 cores=0,2,4,6
/proc/22126/task/22170/stat : 22170 (java) S 22123 22126 22091 0 -1 4202560 47 0 0 0 11 13 0 0 20 0 22 0 26104407 10060525568 851349 33554432000 1073741824 1073778376 140733621058736 140623277419720 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22126/tid=22173] ppid=22123 vsize=9824732 CPUtime=813.26 cores=0,2,4,6
/proc/22126/task/22173/stat : 22173 (java) R 22123 22126 22091 0 -1 4202560 426 0 0 0 81302 24 0 0 20 0 22 0 26104515 10060525568 851349 33554432000 1073741824 1073778376 140733621058736 140623276363056 140623286472039 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22126/tid=22174] ppid=22123 vsize=9824732 CPUtime=813.24 cores=0,2,4,6
/proc/22126/task/22174/stat : 22174 (java) R 22123 22126 22091 0 -1 4202560 1143 0 0 0 81298 26 0 0 20 0 22 0 26104515 10060525568 851349 33554432000 1073741824 1073778376 140733621058736 140623275308976 140623287132841 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22126/tid=22175] ppid=22123 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22126/task/22175/stat : 22175 (java) S 22123 22126 22091 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 26104526 10060525568 851349 33554432000 1073741824 1073778376 140733621058736 140623274259624 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22126/tid=22176] ppid=22123 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22126/task/22176/stat : 22176 (java) S 22123 22126 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26104526 10060525568 851349 33554432000 1073741824 1073778376 140733621058736 140623273206824 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1647.08
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.21 4.07 3.25 5/219 22200
/proc/meminfo: memFree=25416708/32872528 swapFree=1459628/1655852
[pid=22126] ppid=22123 vsize=9824732 CPUtime=1767.05 cores=0,2,4,6
/proc/22126/stat : 22126 (java) S 22123 22126 22091 0 -1 4202496 24512 0 29 0 176498 207 0 0 20 0 22 0 26104371 10060525568 851349 33554432000 1073741824 1073778376 140733621058736 140733621049872 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0
/proc/22126/statm: 2456183 851349 2298 9 0 2446860 0
[pid=22126/tid=22139] ppid=22123 vsize=9824732 CPUtime=1.05 cores=0,2,4,6
/proc/22126/task/22139/stat : 22139 (java) S 22123 22126 22091 0 -1 4202560 2460 0 7 0 100 5 0 0 20 0 22 0 26104383 10060525568 851349 33554432000 1073741824 1073778376 140733621058736 140623460971384 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 20 0 0
[pid=22126/tid=22145] ppid=22123 vsize=9824732 CPUtime=0.97 cores=0,2,4,6
/proc/22126/task/22145/stat : 22145 (java) S 22123 22126 22091 0 -1 4202560 415 0 0 0 81 16 0 0 20 0 22 0 26104391 10060525568 851349 33554432000 1073741824 1073778376 140733621058736 140623422462248 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22126/tid=22147] ppid=22123 vsize=9824732 CPUtime=1.44 cores=0,2,4,6
/proc/22126/task/22147/stat : 22147 (java) S 22123 22126 22091 0 -1 4202560 544 0 0 0 123 21 0 0 20 0 22 0 26104391 10060525568 851349 33554432000 1073741824 1073778376 140733621058736 140623421409448 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22126/tid=22149] ppid=22123 vsize=9824732 CPUtime=1.17 cores=0,2,4,6
/proc/22126/task/22149/stat : 22149 (java) S 22123 22126 22091 0 -1 4202560 461 0 0 0 99 18 0 0 20 0 22 0 26104391 10060525568 851349 33554432000 1073741824 1073778376 140733621058736 140623420357160 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22126/tid=22150] ppid=22123 vsize=9824732 CPUtime=1.01 cores=0,2,4,6
/proc/22126/task/22150/stat : 22150 (java) S 22123 22126 22091 0 -1 4202560 426 0 0 0 86 15 0 0 20 0 22 0 26104391 10060525568 851349 33554432000 1073741824 1073778376 140733621058736 140623419304360 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22126/tid=22152] ppid=22123 vsize=9824732 CPUtime=1.39 cores=0,2,4,6
/proc/22126/task/22152/stat : 22152 (java) S 22123 22126 22091 0 -1 4202560 799 0 0 0 116 23 0 0 20 0 22 0 26104391 10060525568 851349 33554432000 1073741824 1073778376 140733621058736 140623418252072 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22126/tid=22154] ppid=22123 vsize=9824732 CPUtime=1.38 cores=0,2,4,6
/proc/22126/task/22154/stat : 22154 (java) S 22123 22126 22091 0 -1 4202560 575 0 0 0 117 21 0 0 20 0 22 0 26104391 10060525568 851349 33554432000 1073741824 1073778376 140733621058736 140623417199272 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22126/tid=22155] ppid=22123 vsize=9824732 CPUtime=1.56 cores=0,2,4,6
/proc/22126/task/22155/stat : 22155 (java) S 22123 22126 22091 0 -1 4202560 505 0 0 0 133 23 0 0 20 0 22 0 26104391 10060525568 851349 33554432000 1073741824 1073778376 140733621058736 140623416146984 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22126/tid=22156] ppid=22123 vsize=9824732 CPUtime=1.34 cores=0,2,4,6
/proc/22126/task/22156/stat : 22156 (java) S 22123 22126 22091 0 -1 4202560 598 0 0 0 111 23 0 0 20 0 22 0 26104391 10060525568 851349 33554432000 1073741824 1073778376 140733621058736 140623415094184 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22126/tid=22157] ppid=22123 vsize=9824732 CPUtime=2.71 cores=0,2,4,6
/proc/22126/task/22157/stat : 22157 (java) S 22123 22126 22091 0 -1 4202560 2470 0 0 0 267 4 0 0 20 0 22 0 26104394 10060525568 851349 33554432000 1073741824 1073778376 140733621058736 140623284787432 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22126/tid=22160] ppid=22123 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22126/task/22160/stat : 22160 (java) S 22123 22126 22091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26104396 10060525568 851349 33554432000 1073741824 1073778376 140733621058736 140623283733496 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22126/tid=22162] ppid=22123 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22126/task/22162/stat : 22162 (java) S 22123 22126 22091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 26104396 10060525568 851349 33554432000 1073741824 1073778376 140733621058736 140623282681096 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22126/tid=22163] ppid=22123 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22126/task/22163/stat : 22163 (java) S 22123 22126 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26104407 10060525568 851349 33554432000 1073741824 1073778376 140733621058736 140623281629584 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22126/tid=22165] ppid=22123 vsize=9824732 CPUtime=0.99 cores=0,2,4,6
/proc/22126/task/22165/stat : 22165 (java) S 22123 22126 22091 0 -1 4202560 7248 0 1 0 99 0 0 0 20 0 22 0 26104407 10060525568 851349 33554432000 1073741824 1073778376 140733621058736 140623280577208 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22126/tid=22166] ppid=22123 vsize=9824732 CPUtime=1.29 cores=0,2,4,6
/proc/22126/task/22166/stat : 22166 (java) S 22123 22126 22091 0 -1 4202560 5142 0 1 0 129 0 0 0 20 0 22 0 26104407 10060525568 851349 33554432000 1073741824 1073778376 140733621058736 140623279524408 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22126/tid=22168] ppid=22123 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22126/task/22168/stat : 22168 (java) S 22123 22126 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26104407 10060525568 851349 33554432000 1073741824 1073778376 140733621058736 140623278472312 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22126/tid=22170] ppid=22123 vsize=9824732 CPUtime=0.26 cores=0,2,4,6
/proc/22126/task/22170/stat : 22170 (java) S 22123 22126 22091 0 -1 4202560 51 0 0 0 11 15 0 0 20 0 22 0 26104407 10060525568 851349 33554432000 1073741824 1073778376 140733621058736 140623277419720 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22126/tid=22173] ppid=22123 vsize=9824732 CPUtime=873.07 cores=0,2,4,6
/proc/22126/task/22173/stat : 22173 (java) R 22123 22126 22091 0 -1 4202560 426 0 0 0 87282 25 0 0 20 0 22 0 26104515 10060525568 851349 33554432000 1073741824 1073778376 140733621058736 140623276363056 140623286673925 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22126/tid=22174] ppid=22123 vsize=9824732 CPUtime=873.09 cores=0,2,4,6
/proc/22126/task/22174/stat : 22174 (java) R 22123 22126 22091 0 -1 4202560 1143 0 0 0 87282 27 0 0 20 0 22 0 26104515 10060525568 851349 33554432000 1073741824 1073778376 140733621058736 140623275308976 140623287131824 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22126/tid=22175] ppid=22123 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22126/task/22175/stat : 22175 (java) S 22123 22126 22091 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 26104526 10060525568 851349 33554432000 1073741824 1073778376 140733621058736 140623274259624 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22126/tid=22176] ppid=22123 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22126/task/22176/stat : 22176 (java) S 22123 22126 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26104526 10060525568 851349 33554432000 1073741824 1073778376 140733621058736 140623273206824 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1767.05
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+898.808 s]
/proc/loadavg: 4.23 4.08 3.27 7/215 22265
/proc/meminfo: memFree=26845452/32872528 swapFree=1459628/1655852
[pid=22126] ppid=22123 vsize=9824732 CPUtime=1800.17 cores=0,2,4,6
/proc/22126/stat : 22126 (java) S 22123 22126 22091 0 -1 4202496 24550 0 29 0 179810 207 0 0 20 0 22 0 26104371 10060525568 851384 33554432000 1073741824 1073778376 140733621058736 140733621049872 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0
/proc/22126/statm: 2456183 851384 2298 9 0 2446860 0
[pid=22126/tid=22139] ppid=22123 vsize=9824732 CPUtime=1.05 cores=0,2,4,6
/proc/22126/task/22139/stat : 22139 (java) S 22123 22126 22091 0 -1 4202560 2460 0 7 0 100 5 0 0 20 0 22 0 26104383 10060525568 851384 33554432000 1073741824 1073778376 140733621058736 140623460971384 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 20 0 0
[pid=22126/tid=22145] ppid=22123 vsize=9824732 CPUtime=0.99 cores=0,2,4,6
/proc/22126/task/22145/stat : 22145 (java) S 22123 22126 22091 0 -1 4202560 417 0 0 0 83 16 0 0 20 0 22 0 26104391 10060525568 851384 33554432000 1073741824 1073778376 140733621058736 140623422462248 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22126/tid=22147] ppid=22123 vsize=9824732 CPUtime=1.46 cores=0,2,4,6
/proc/22126/task/22147/stat : 22147 (java) S 22123 22126 22091 0 -1 4202560 544 0 0 0 125 21 0 0 20 0 22 0 26104391 10060525568 851384 33554432000 1073741824 1073778376 140733621058736 140623421409448 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22126/tid=22149] ppid=22123 vsize=9824732 CPUtime=1.21 cores=0,2,4,6
/proc/22126/task/22149/stat : 22149 (java) S 22123 22126 22091 0 -1 4202560 462 0 0 0 103 18 0 0 20 0 22 0 26104391 10060525568 851384 33554432000 1073741824 1073778376 140733621058736 140623420357160 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22126/tid=22150] ppid=22123 vsize=9824732 CPUtime=1.07 cores=0,2,4,6
/proc/22126/task/22150/stat : 22150 (java) S 22123 22126 22091 0 -1 4202560 429 0 0 0 92 15 0 0 20 0 22 0 26104391 10060525568 851384 33554432000 1073741824 1073778376 140733621058736 140623419304360 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22126/tid=22152] ppid=22123 vsize=9824732 CPUtime=1.42 cores=0,2,4,6
/proc/22126/task/22152/stat : 22152 (java) S 22123 22126 22091 0 -1 4202560 800 0 0 0 119 23 0 0 20 0 22 0 26104391 10060525568 851384 33554432000 1073741824 1073778376 140733621058736 140623418252072 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22126/tid=22154] ppid=22123 vsize=9824732 CPUtime=1.4 cores=0,2,4,6
/proc/22126/task/22154/stat : 22154 (java) S 22123 22126 22091 0 -1 4202560 575 0 0 0 119 21 0 0 20 0 22 0 26104391 10060525568 851384 33554432000 1073741824 1073778376 140733621058736 140623417199272 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22126/tid=22155] ppid=22123 vsize=9824732 CPUtime=1.59 cores=0,2,4,6
/proc/22126/task/22155/stat : 22155 (java) S 22123 22126 22091 0 -1 4202560 529 0 0 0 136 23 0 0 20 0 22 0 26104391 10060525568 851384 33554432000 1073741824 1073778376 140733621058736 140623416146984 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22126/tid=22156] ppid=22123 vsize=9824732 CPUtime=1.36 cores=0,2,4,6
/proc/22126/task/22156/stat : 22156 (java) S 22123 22126 22091 0 -1 4202560 598 0 0 0 113 23 0 0 20 0 22 0 26104391 10060525568 851384 33554432000 1073741824 1073778376 140733621058736 140623415094184 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22126/tid=22157] ppid=22123 vsize=9824732 CPUtime=2.71 cores=0,2,4,6
/proc/22126/task/22157/stat : 22157 (java) S 22123 22126 22091 0 -1 4202560 2476 0 0 0 267 4 0 0 20 0 22 0 26104394 10060525568 851384 33554432000 1073741824 1073778376 140733621058736 140623284787432 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22126/tid=22160] ppid=22123 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22126/task/22160/stat : 22160 (java) S 22123 22126 22091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26104396 10060525568 851384 33554432000 1073741824 1073778376 140733621058736 140623283733496 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22126/tid=22162] ppid=22123 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22126/task/22162/stat : 22162 (java) S 22123 22126 22091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 26104396 10060525568 851384 33554432000 1073741824 1073778376 140733621058736 140623282681096 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22126/tid=22163] ppid=22123 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22126/task/22163/stat : 22163 (java) S 22123 22126 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26104407 10060525568 851384 33554432000 1073741824 1073778376 140733621058736 140623281629584 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22126/tid=22165] ppid=22123 vsize=9824732 CPUtime=0.99 cores=0,2,4,6
/proc/22126/task/22165/stat : 22165 (java) S 22123 22126 22091 0 -1 4202560 7248 0 1 0 99 0 0 0 20 0 22 0 26104407 10060525568 851384 33554432000 1073741824 1073778376 140733621058736 140623280577208 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22126/tid=22166] ppid=22123 vsize=9824732 CPUtime=1.29 cores=0,2,4,6
/proc/22126/task/22166/stat : 22166 (java) S 22123 22126 22091 0 -1 4202560 5142 0 1 0 129 0 0 0 20 0 22 0 26104407 10060525568 851384 33554432000 1073741824 1073778376 140733621058736 140623279524408 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22126/tid=22168] ppid=22123 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22126/task/22168/stat : 22168 (java) S 22123 22126 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26104407 10060525568 851384 33554432000 1073741824 1073778376 140733621058736 140623278472312 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22126/tid=22170] ppid=22123 vsize=9824732 CPUtime=0.26 cores=0,2,4,6
/proc/22126/task/22170/stat : 22170 (java) S 22123 22126 22091 0 -1 4202560 51 0 0 0 11 15 0 0 20 0 22 0 26104407 10060525568 851384 33554432000 1073741824 1073778376 140733621058736 140623277419720 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22126/tid=22173] ppid=22123 vsize=9824732 CPUtime=889.46 cores=0,2,4,6
/proc/22126/task/22173/stat : 22173 (java) R 22123 22126 22091 0 -1 4202560 427 0 0 0 88921 25 0 0 20 0 22 0 26104515 10060525568 851384 33554432000 1073741824 1073778376 140733621058736 140623276363024 140623286675734 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22126/tid=22174] ppid=22123 vsize=9824732 CPUtime=889.49 cores=0,2,4,6
/proc/22126/task/22174/stat : 22174 (java) R 22123 22126 22091 0 -1 4202560 1143 0 0 0 88922 27 0 0 20 0 22 0 26104515 10060525568 851384 33554432000 1073741824 1073778376 140733621058736 140623275308976 140623287127948 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22126/tid=22175] ppid=22123 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22126/task/22175/stat : 22175 (java) S 22123 22126 22091 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 26104526 10060525568 851384 33554432000 1073741824 1073778376 140733621058736 140623274259624 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22126/tid=22176] ppid=22123 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22126/task/22176/stat : 22176 (java) S 22123 22126 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26104526 10060525568 851384 33554432000 1073741824 1073778376 140733621058736 140623273206824 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
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 22126 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22126 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=539340
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=523616
# CPU time returned by wait4() is 1796.06
# while last known CPU time is 1800.17
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 898.835
CPU time (s): 1800.17
CPU user time (s): 1798.1
CPU system time (s): 2.07
CPU usage (%): 200.278
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.54
system time used= 2.52362
maximum resident set size= 3405652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24583
page faults= 29
swaps= 0
block input operations= 19648
block output operations= 816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22153
involuntary context switches= 18767
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.45617 second user time and 7.41087 second system time
The end