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-4116222-1466957386/watcher-4116222-1466957386 -o /tmp/evaluation-result-4116222-1466957386/solver-4116222-1466957386 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466946428-18142 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4116222-1466957386.opb
pid=20376
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: 4.22 4.21 4.18 5/197 20379
/proc/meminfo: memFree=26734760/32872528 swapFree=1437460/1543748
[pid=20379] ppid=20376 vsize=5632 CPUtime=0 cores=0,2,4,6
/proc/20379/stat : 20379 (java) R 20376 20379 18126 0 -1 4202496 384 0 0 0 0 0 0 0 20 0 1 0 28777966 5767168 55 33554432000 1073741824 1073778376 140733457909104 140733457906232 266426477863 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20379/statm: 1408 55 43 9 0 30 0
[startup+0.100163 s]
/proc/loadavg: 4.22 4.21 4.18 5/197 20379
/proc/meminfo: memFree=26734760/32872528 swapFree=1437460/1543748
[pid=20379] ppid=20376 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/20379/stat : 20379 (java) S 20376 20379 18126 0 -1 4202496 4395 0 1 0 9 1 0 0 20 0 18 0 28777966 9787879424 6035 33554432000 1073741824 1073778376 140733457909104 140733457900240 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20379/statm: 2389619 6035 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.20023 s]
/proc/loadavg: 4.22 4.21 4.18 5/197 20379
/proc/meminfo: memFree=26734760/32872528 swapFree=1437460/1543748
[pid=20379] ppid=20376 vsize=9558476 CPUtime=0.25 cores=0,2,4,6
/proc/20379/stat : 20379 (java) S 20376 20379 18126 0 -1 4202496 4690 0 1 0 24 1 0 0 20 0 18 0 28777966 9787879424 6789 33554432000 1073741824 1073778376 140733457909104 140733457900240 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20379/statm: 2389619 6789 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476
[startup+0.300224 s]
/proc/loadavg: 4.22 4.21 4.18 5/197 20379
/proc/meminfo: memFree=26734760/32872528 swapFree=1437460/1543748
[pid=20379] ppid=20376 vsize=9558476 CPUtime=0.48 cores=0,2,4,6
/proc/20379/stat : 20379 (java) S 20376 20379 18126 0 -1 4202496 5664 0 1 0 47 1 0 0 20 0 18 0 28777966 9787879424 8506 33554432000 1073741824 1073778376 140733457909104 140733457900240 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20379/statm: 2389619 8506 2234 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476
[startup+0.700189 s]
/proc/loadavg: 4.22 4.21 4.18 5/197 20379
/proc/meminfo: memFree=26734760/32872528 swapFree=1437460/1543748
[pid=20379] ppid=20376 vsize=9824732 CPUtime=1.64 cores=0,2,4,6
/proc/20379/stat : 20379 (java) S 20376 20379 18126 0 -1 4202496 12859 0 1 0 161 3 0 0 20 0 22 0 28777966 10060525568 22724 33554432000 1073741824 1073778376 140733457909104 140733457900240 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20379/statm: 2456183 22724 2264 9 0 2446860 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 9824732
[startup+1.50088 s]
/proc/loadavg: 4.22 4.21 4.18 8/219 20401
/proc/meminfo: memFree=26620828/32872528 swapFree=1437460/1543748
[pid=20379] ppid=20376 vsize=9824732 CPUtime=4.59 cores=0,2,4,6
/proc/20379/stat : 20379 (java) S 20376 20379 18126 0 -1 4202496 21749 0 1 0 451 8 0 0 20 0 22 0 28777966 10060525568 47427 33554432000 1073741824 1073778376 140733457909104 140733457900240 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20379/statm: 2456183 47427 2292 9 0 2446860 0
[pid=20379/tid=20381] ppid=20376 vsize=9824732 CPUtime=0.46 cores=0,2,4,6
/proc/20379/task/20381/stat : 20381 (java) S 20376 20379 18126 0 -1 4202560 2439 0 1 0 45 1 0 0 20 0 22 0 28777967 10060525568 47427 33554432000 1073741824 1073778376 140733457909104 139729761325944 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20379/tid=20382] ppid=20376 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20379/task/20382/stat : 20382 (java) S 20376 20379 18126 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 28777968 10060525568 47427 33554432000 1073741824 1073778376 140733457909104 139729722817192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20379/tid=20383] ppid=20376 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20379/task/20383/stat : 20383 (java) S 20376 20379 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28777968 10060525568 47427 33554432000 1073741824 1073778376 140733457909104 139729721764648 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20379/tid=20384] ppid=20376 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20379/task/20384/stat : 20384 (java) S 20376 20379 18126 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 28777968 10060525568 47427 33554432000 1073741824 1073778376 140733457909104 139729720712104 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20379/tid=20385] ppid=20376 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20379/task/20385/stat : 20385 (java) S 20376 20379 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28777968 10060525568 47427 33554432000 1073741824 1073778376 140733457909104 139729719659560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20379/tid=20386] ppid=20376 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20379/task/20386/stat : 20386 (java) S 20376 20379 18126 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 28777968 10060525568 47427 33554432000 1073741824 1073778376 140733457909104 139729718605992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20379/tid=20387] ppid=20376 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20379/task/20387/stat : 20387 (java) S 20376 20379 18126 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 28777968 10060525568 47427 33554432000 1073741824 1073778376 140733457909104 139729717553448 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20379/tid=20388] ppid=20376 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20379/task/20388/stat : 20388 (java) S 20376 20379 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28777968 10060525568 47427 33554432000 1073741824 1073778376 140733457909104 139729716500904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20379/tid=20389] ppid=20376 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20379/task/20389/stat : 20389 (java) S 20376 20379 18126 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 28777968 10060525568 47427 33554432000 1073741824 1073778376 140733457909104 139729597098536 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20379/tid=20390] ppid=20376 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20379/task/20390/stat : 20390 (java) S 20376 20379 18126 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 28777969 10060525568 47427 33554432000 1073741824 1073778376 140733457909104 139729584900712 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20379/tid=20391] ppid=20376 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20379/task/20391/stat : 20391 (java) S 20376 20379 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28777969 10060525568 47427 33554432000 1073741824 1073778376 140733457909104 139729583847032 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20379/tid=20392] ppid=20376 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20379/task/20392/stat : 20392 (java) S 20376 20379 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28777969 10060525568 47427 33554432000 1073741824 1073778376 140733457909104 139729582794376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20379/tid=20393] ppid=20376 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20379/task/20393/stat : 20393 (java) S 20376 20379 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28777972 10060525568 47427 33554432000 1073741824 1073778376 140733457909104 139729581743120 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20379/tid=20394] ppid=20376 vsize=9824732 CPUtime=1.17 cores=0,2,4,6
/proc/20379/task/20394/stat : 20394 (java) R 20376 20379 18126 0 -1 4202560 9673 0 0 0 115 2 0 0 20 0 22 0 28777972 10060525568 47427 33554432000 1073741824 1073778376 140733457909104 139728842122888 139729764200592 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=20379/tid=20395] ppid=20376 vsize=9824732 CPUtime=1.1 cores=0,2,4,6
/proc/20379/task/20395/stat : 20395 (java) R 20376 20379 18126 0 -1 4202560 8227 0 0 0 108 2 0 0 20 0 22 0 28777972 10060525568 47427 33554432000 1073741824 1073778376 140733457909104 139728841058464 139729765414925 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20379/tid=20396] ppid=20376 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20379/task/20396/stat : 20396 (java) S 20376 20379 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28777972 10060525568 47427 33554432000 1073741824 1073778376 140733457909104 139728840018424 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20379/tid=20397] ppid=20376 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20379/task/20397/stat : 20397 (java) S 20376 20379 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28777972 10060525568 47427 33554432000 1073741824 1073778376 140733457909104 139728838966088 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20379/tid=20398] ppid=20376 vsize=9824732 CPUtime=0.93 cores=0,2,4,6
/proc/20379/task/20398/stat : 20398 (java) R 20376 20379 18126 0 -1 4202560 17 0 0 0 93 0 0 0 20 0 22 0 28778016 10060525568 47427 33554432000 1073741824 1073778376 140733457909104 139728837909048 139729597793716 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=20379/tid=20399] ppid=20376 vsize=9824732 CPUtime=0.82 cores=0,2,4,6
/proc/20379/task/20399/stat : 20399 (java) R 20376 20379 18126 0 -1 4202560 67 0 0 0 80 2 0 0 20 0 22 0 28778016 10060525568 47427 33554432000 1073741824 1073778376 140733457909104 139728836857456 139729598213878 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=20379/tid=20400] ppid=20376 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20379/task/20400/stat : 20400 (java) S 20376 20379 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28778017 10060525568 47427 33554432000 1073741824 1073778376 140733457909104 139728835806760 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20379/tid=20401] ppid=20376 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20379/task/20401/stat : 20401 (java) S 20376 20379 18126 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 28778018 10060525568 47427 33554432000 1073741824 1073778376 140733457909104 139728834754216 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.59
Current children cumulated vsize (KiB) 9824732
[startup+3.10088 s]
/proc/loadavg: 4.22 4.21 4.18 6/219 20401
/proc/meminfo: memFree=26533264/32872528 swapFree=1437460/1543748
[pid=20379] ppid=20376 vsize=9824732 CPUtime=8.37 cores=0,2,4,6
/proc/20379/stat : 20379 (java) S 20376 20379 18126 0 -1 4202496 26045 0 1 0 823 14 0 0 20 0 22 0 28777966 10060525568 79713 33554432000 1073741824 1073778376 140733457909104 140733457900240 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20379/statm: 2456183 79713 2292 9 0 2446860 0
[pid=20379/tid=20381] ppid=20376 vsize=9824732 CPUtime=0.46 cores=0,2,4,6
/proc/20379/task/20381/stat : 20381 (java) S 20376 20379 18126 0 -1 4202560 2439 0 1 0 45 1 0 0 20 0 22 0 28777967 10060525568 79713 33554432000 1073741824 1073778376 140733457909104 139729761325944 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20379/tid=20382] ppid=20376 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/20379/task/20382/stat : 20382 (java) S 20376 20379 18126 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 22 0 28777968 10060525568 79713 33554432000 1073741824 1073778376 140733457909104 139729722817192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20379/tid=20383] ppid=20376 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/20379/task/20383/stat : 20383 (java) S 20376 20379 18126 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 22 0 28777968 10060525568 79713 33554432000 1073741824 1073778376 140733457909104 139729721764648 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20379/tid=20384] ppid=20376 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/20379/task/20384/stat : 20384 (java) S 20376 20379 18126 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 28777968 10060525568 79713 33554432000 1073741824 1073778376 140733457909104 139729720712104 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20379/tid=20385] ppid=20376 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/20379/task/20385/stat : 20385 (java) S 20376 20379 18126 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 28777968 10060525568 79713 33554432000 1073741824 1073778376 140733457909104 139729719659560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20379/tid=20386] ppid=20376 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/20379/task/20386/stat : 20386 (java) S 20376 20379 18126 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 22 0 28777968 10060525568 79713 33554432000 1073741824 1073778376 140733457909104 139729718605992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20379/tid=20387] ppid=20376 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/20379/task/20387/stat : 20387 (java) S 20376 20379 18126 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 28777968 10060525568 79713 33554432000 1073741824 1073778376 140733457909104 139729717553448 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20379/tid=20388] ppid=20376 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/20379/task/20388/stat : 20388 (java) S 20376 20379 18126 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 22 0 28777968 10060525568 79713 33554432000 1073741824 1073778376 140733457909104 139729716500904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20379/tid=20389] ppid=20376 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/20379/task/20389/stat : 20389 (java) S 20376 20379 18126 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 28777968 10060525568 79713 33554432000 1073741824 1073778376 140733457909104 139729597098536 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20379/tid=20390] ppid=20376 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20379/task/20390/stat : 20390 (java) S 20376 20379 18126 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 22 0 28777969 10060525568 79713 33554432000 1073741824 1073778376 140733457909104 139729584900712 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20379/tid=20391] ppid=20376 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20379/task/20391/stat : 20391 (java) S 20376 20379 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28777969 10060525568 79713 33554432000 1073741824 1073778376 140733457909104 139729583847032 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20379/tid=20392] ppid=20376 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20379/task/20392/stat : 20392 (java) S 20376 20379 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28777969 10060525568 79713 33554432000 1073741824 1073778376 140733457909104 139729582794376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20379/tid=20393] ppid=20376 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20379/task/20393/stat : 20393 (java) S 20376 20379 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28777972 10060525568 79713 33554432000 1073741824 1073778376 140733457909104 139729581743120 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20379/tid=20394] ppid=20376 vsize=9824732 CPUtime=1.6 cores=0,2,4,6
/proc/20379/task/20394/stat : 20394 (java) S 20376 20379 18126 0 -1 4202560 13802 0 0 0 157 3 0 0 20 0 22 0 28777972 10060525568 79713 33554432000 1073741824 1073778376 140733457909104 139728842123320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20379/tid=20395] ppid=20376 vsize=9824732 CPUtime=1.22 cores=0,2,4,6
/proc/20379/task/20395/stat : 20395 (java) S 20376 20379 18126 0 -1 4202560 8227 0 0 0 120 2 0 0 20 0 22 0 28777972 10060525568 79713 33554432000 1073741824 1073778376 140733457909104 139728841070776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20379/tid=20396] ppid=20376 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20379/task/20396/stat : 20396 (java) S 20376 20379 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28777972 10060525568 79713 33554432000 1073741824 1073778376 140733457909104 139728840018424 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20379/tid=20397] ppid=20376 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20379/task/20397/stat : 20397 (java) S 20376 20379 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28777972 10060525568 79713 33554432000 1073741824 1073778376 140733457909104 139728838966088 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20379/tid=20398] ppid=20376 vsize=9824732 CPUtime=2.42 cores=0,2,4,6
/proc/20379/task/20398/stat : 20398 (java) R 20376 20379 18126 0 -1 4202560 19 0 0 0 242 0 0 0 20 0 22 0 28778016 10060525568 79713 33554432000 1073741824 1073778376 140733457909104 139728837902496 139729597846509 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20379/tid=20399] ppid=20376 vsize=9824732 CPUtime=2.31 cores=0,2,4,6
/proc/20379/task/20399/stat : 20399 (java) R 20376 20379 18126 0 -1 4202560 114 0 0 0 228 3 0 0 20 0 22 0 28778016 10060525568 79713 33554432000 1073741824 1073778376 140733457909104 139728836857912 139729597949160 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=20379/tid=20400] ppid=20376 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20379/task/20400/stat : 20400 (java) S 20376 20379 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28778017 10060525568 79713 33554432000 1073741824 1073778376 140733457909104 139728835806760 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20379/tid=20401] ppid=20376 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20379/task/20401/stat : 20401 (java) S 20376 20379 18126 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 28778018 10060525568 79713 33554432000 1073741824 1073778376 140733457909104 139728834754216 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 8.37
Current children cumulated vsize (KiB) 9824732
[startup+6.30101 s]
/proc/loadavg: 4.28 4.23 4.19 5/219 20401
/proc/meminfo: memFree=26128896/32872528 swapFree=1437460/1543748
[pid=20379] ppid=20376 vsize=9824732 CPUtime=14.97 cores=0,2,4,6
/proc/20379/stat : 20379 (java) S 20376 20379 18126 0 -1 4202496 26903 0 1 0 1472 25 0 0 20 0 22 0 28777966 10060525568 153150 33554432000 1073741824 1073778376 140733457909104 140733457900240 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20379/statm: 2456183 153150 2292 9 0 2446860 0
[pid=20379/tid=20381] ppid=20376 vsize=9824732 CPUtime=0.46 cores=0,2,4,6
/proc/20379/task/20381/stat : 20381 (java) S 20376 20379 18126 0 -1 4202560 2439 0 1 0 45 1 0 0 20 0 22 0 28777967 10060525568 153150 33554432000 1073741824 1073778376 140733457909104 139729761325944 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20379/tid=20382] ppid=20376 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/20379/task/20382/stat : 20382 (java) S 20376 20379 18126 0 -1 4202560 71 0 0 0 5 3 0 0 20 0 22 0 28777968 10060525568 153150 33554432000 1073741824 1073778376 140733457909104 139729722817192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20379/tid=20383] ppid=20376 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/20379/task/20383/stat : 20383 (java) S 20376 20379 18126 0 -1 4202560 45 0 0 0 4 1 0 0 20 0 22 0 28777968 10060525568 153150 33554432000 1073741824 1073778376 140733457909104 139729721764648 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20379/tid=20384] ppid=20376 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/20379/task/20384/stat : 20384 (java) S 20376 20379 18126 0 -1 4202560 54 0 0 0 4 1 0 0 20 0 22 0 28777968 10060525568 153150 33554432000 1073741824 1073778376 140733457909104 139729720712104 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20379/tid=20385] ppid=20376 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/20379/task/20385/stat : 20385 (java) S 20376 20379 18126 0 -1 4202560 54 0 0 0 6 2 0 0 20 0 22 0 28777968 10060525568 153150 33554432000 1073741824 1073778376 140733457909104 139729719659560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20379/tid=20386] ppid=20376 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/20379/task/20386/stat : 20386 (java) S 20376 20379 18126 0 -1 4202560 65 0 0 0 6 2 0 0 20 0 22 0 28777968 10060525568 153150 33554432000 1073741824 1073778376 140733457909104 139729718605992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20379/tid=20387] ppid=20376 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/20379/task/20387/stat : 20387 (java) S 20376 20379 18126 0 -1 4202560 48 0 0 0 4 1 0 0 20 0 22 0 28777968 10060525568 153150 33554432000 1073741824 1073778376 140733457909104 139729717553448 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20379/tid=20388] ppid=20376 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/20379/task/20388/stat : 20388 (java) S 20376 20379 18126 0 -1 4202560 61 0 0 0 6 2 0 0 20 0 22 0 28777968 10060525568 153150 33554432000 1073741824 1073778376 140733457909104 139729716500904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20379/tid=20389] ppid=20376 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/20379/task/20389/stat : 20389 (java) S 20376 20379 18126 0 -1 4202560 69 0 0 0 8 2 0 0 20 0 22 0 28777968 10060525568 153150 33554432000 1073741824 1073778376 140733457909104 139729597098536 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20379/tid=20390] ppid=20376 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20379/task/20390/stat : 20390 (java) S 20376 20379 18126 0 -1 4202560 453 0 0 0 0 0 0 0 20 0 22 0 28777969 10060525568 153150 33554432000 1073741824 1073778376 140733457909104 139729584900712 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20379/tid=20391] ppid=20376 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20379/task/20391/stat : 20391 (java) S 20376 20379 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28777969 10060525568 153150 33554432000 1073741824 1073778376 140733457909104 139729583847032 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20379/tid=20392] ppid=20376 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20379/task/20392/stat : 20392 (java) S 20376 20379 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28777969 10060525568 153150 33554432000 1073741824 1073778376 140733457909104 139729582794376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20379/tid=20393] ppid=20376 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20379/task/20393/stat : 20393 (java) S 20376 20379 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28777972 10060525568 153150 33554432000 1073741824 1073778376 140733457909104 139729581743120 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20379/tid=20394] ppid=20376 vsize=9824732 CPUtime=1.62 cores=0,2,4,6
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.31 4.26 4.20 6/219 20492
/proc/meminfo: memFree=23175960/32872528 swapFree=1437460/1543748
[pid=20379] ppid=20376 vsize=9824732 CPUtime=1654.14 cores=0,2,4,6
/proc/20379/stat : 20379 (java) S 20376 20379 18126 0 -1 4202496 38529 0 1 0 165231 183 0 0 20 0 22 0 28777966 10060525568 921374 33554432000 1073741824 1073778376 140733457909104 140733457900240 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20379/statm: 2456183 921374 2301 9 0 2446860 0
[pid=20379/tid=20381] ppid=20376 vsize=9824732 CPUtime=0.51 cores=0,2,4,6
/proc/20379/task/20381/stat : 20381 (java) S 20376 20379 18126 0 -1 4202560 2446 0 1 0 48 3 0 0 20 0 22 0 28777967 10060525568 921374 33554432000 1073741824 1073778376 140733457909104 139729761325944 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20379/tid=20382] ppid=20376 vsize=9824732 CPUtime=2.8 cores=0,2,4,6
/proc/20379/task/20382/stat : 20382 (java) S 20376 20379 18126 0 -1 4202560 519 0 0 0 264 16 0 0 20 0 22 0 28777968 10060525568 921374 33554432000 1073741824 1073778376 140733457909104 139729722817192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20379/tid=20383] ppid=20376 vsize=9824732 CPUtime=2.54 cores=0,2,4,6
/proc/20379/task/20383/stat : 20383 (java) S 20376 20379 18126 0 -1 4202560 497 0 0 0 241 13 0 0 20 0 22 0 28777968 10060525568 921374 33554432000 1073741824 1073778376 140733457909104 139729721764648 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20379/tid=20384] ppid=20376 vsize=9824732 CPUtime=3.03 cores=0,2,4,6
/proc/20379/task/20384/stat : 20384 (java) S 20376 20379 18126 0 -1 4202560 567 0 0 0 285 18 0 0 20 0 22 0 28777968 10060525568 921374 33554432000 1073741824 1073778376 140733457909104 139729720712104 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20379/tid=20385] ppid=20376 vsize=9824732 CPUtime=2.82 cores=0,2,4,6
/proc/20379/task/20385/stat : 20385 (java) S 20376 20379 18126 0 -1 4202560 544 0 0 0 266 16 0 0 20 0 22 0 28777968 10060525568 921374 33554432000 1073741824 1073778376 140733457909104 139729719659560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20379/tid=20386] ppid=20376 vsize=9824732 CPUtime=2.77 cores=0,2,4,6
/proc/20379/task/20386/stat : 20386 (java) S 20376 20379 18126 0 -1 4202560 502 0 0 0 263 14 0 0 20 0 22 0 28777968 10060525568 921374 33554432000 1073741824 1073778376 140733457909104 139729718605992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20379/tid=20387] ppid=20376 vsize=9824732 CPUtime=2.76 cores=0,2,4,6
/proc/20379/task/20387/stat : 20387 (java) S 20376 20379 18126 0 -1 4202560 497 0 0 0 262 14 0 0 20 0 22 0 28777968 10060525568 921374 33554432000 1073741824 1073778376 140733457909104 139729717553448 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20379/tid=20388] ppid=20376 vsize=9824732 CPUtime=2.82 cores=0,2,4,6
/proc/20379/task/20388/stat : 20388 (java) S 20376 20379 18126 0 -1 4202560 646 0 0 0 267 15 0 0 20 0 22 0 28777968 10060525568 921374 33554432000 1073741824 1073778376 140733457909104 139729716500904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20379/tid=20389] ppid=20376 vsize=9824732 CPUtime=2.72 cores=0,2,4,6
/proc/20379/task/20389/stat : 20389 (java) S 20376 20379 18126 0 -1 4202560 566 0 0 0 259 13 0 0 20 0 22 0 28777968 10060525568 921374 33554432000 1073741824 1073778376 140733457909104 139729597098536 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20379/tid=20390] ppid=20376 vsize=9824732 CPUtime=3.79 cores=0,2,4,6
/proc/20379/task/20390/stat : 20390 (java) S 20376 20379 18126 0 -1 4202560 2254 0 0 0 372 7 0 0 20 0 22 0 28777969 10060525568 921374 33554432000 1073741824 1073778376 140733457909104 139729584900712 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20379/tid=20391] ppid=20376 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20379/task/20391/stat : 20391 (java) S 20376 20379 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28777969 10060525568 921374 33554432000 1073741824 1073778376 140733457909104 139729583847032 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20379/tid=20392] ppid=20376 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20379/task/20392/stat : 20392 (java) S 20376 20379 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28777969 10060525568 921374 33554432000 1073741824 1073778376 140733457909104 139729582794376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20379/tid=20393] ppid=20376 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20379/task/20393/stat : 20393 (java) S 20376 20379 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28777972 10060525568 921374 33554432000 1073741824 1073778376 140733457909104 139729581743120 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20379/tid=20394] ppid=20376 vsize=9824732 CPUtime=2.31 cores=0,2,4,6
/proc/20379/task/20394/stat : 20394 (java) S 20376 20379 18126 0 -1 4202560 17759 0 0 0 227 4 0 0 20 0 22 0 28777972 10060525568 921374 33554432000 1073741824 1073778376 140733457909104 139728842123320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20379/tid=20395] ppid=20376 vsize=9824732 CPUtime=1.35 cores=0,2,4,6
/proc/20379/task/20395/stat : 20395 (java) S 20376 20379 18126 0 -1 4202560 8229 0 0 0 133 2 0 0 20 0 22 0 28777972 10060525568 921374 33554432000 1073741824 1073778376 140733457909104 139728841070776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20379/tid=20396] ppid=20376 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20379/task/20396/stat : 20396 (java) S 20376 20379 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28777972 10060525568 921374 33554432000 1073741824 1073778376 140733457909104 139728840018424 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20379/tid=20397] ppid=20376 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/20379/task/20397/stat : 20397 (java) S 20376 20379 18126 0 -1 4202560 47 0 0 0 18 14 0 0 20 0 22 0 28777972 10060525568 921374 33554432000 1073741824 1073778376 140733457909104 139728838966088 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20379/tid=20398] ppid=20376 vsize=9824732 CPUtime=812 cores=0,2,4,6
/proc/20379/task/20398/stat : 20398 (java) R 20376 20379 18126 0 -1 4202560 107 0 0 0 81185 15 0 0 20 0 22 0 28778016 10060525568 921374 33554432000 1073741824 1073778376 140733457909104 139728837902576 139729597906423 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20379/tid=20399] ppid=20376 vsize=9824732 CPUtime=811.78 cores=0,2,4,6
/proc/20379/task/20399/stat : 20399 (java) R 20376 20379 18126 0 -1 4202560 2079 0 0 0 81128 50 0 0 20 0 22 0 28778016 10060525568 921374 33554432000 1073741824 1073778376 140733457909104 139728836858704 139729597906423 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=20379/tid=20400] ppid=20376 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20379/task/20400/stat : 20400 (java) S 20376 20379 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28778017 10060525568 921374 33554432000 1073741824 1073778376 140733457909104 139728835806760 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20379/tid=20401] ppid=20376 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20379/task/20401/stat : 20401 (java) S 20376 20379 18126 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 28778018 10060525568 921374 33554432000 1073741824 1073778376 140733457909104 139728834754216 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1654.14
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.49 4.34 4.23 5/219 20493
/proc/meminfo: memFree=23085456/32872528 swapFree=1437460/1543748
[pid=20379] ppid=20376 vsize=9824732 CPUtime=1774.64 cores=0,2,4,6
/proc/20379/stat : 20379 (java) S 20376 20379 18126 0 -1 4202496 38596 0 1 0 177276 188 0 0 20 0 22 0 28777966 10060525568 929050 33554432000 1073741824 1073778376 140733457909104 140733457900240 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20379/statm: 2456183 929050 2301 9 0 2446860 0
[pid=20379/tid=20381] ppid=20376 vsize=9824732 CPUtime=0.51 cores=0,2,4,6
/proc/20379/task/20381/stat : 20381 (java) S 20376 20379 18126 0 -1 4202560 2447 0 1 0 48 3 0 0 20 0 22 0 28777967 10060525568 929050 33554432000 1073741824 1073778376 140733457909104 139729761325944 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20379/tid=20382] ppid=20376 vsize=9824732 CPUtime=2.95 cores=0,2,4,6
/proc/20379/task/20382/stat : 20382 (java) S 20376 20379 18126 0 -1 4202560 520 0 0 0 279 16 0 0 20 0 22 0 28777968 10060525568 929050 33554432000 1073741824 1073778376 140733457909104 139729722817192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20379/tid=20383] ppid=20376 vsize=9824732 CPUtime=2.68 cores=0,2,4,6
/proc/20379/task/20383/stat : 20383 (java) S 20376 20379 18126 0 -1 4202560 511 0 0 0 254 14 0 0 20 0 22 0 28777968 10060525568 929050 33554432000 1073741824 1073778376 140733457909104 139729721764648 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20379/tid=20384] ppid=20376 vsize=9824732 CPUtime=3.13 cores=0,2,4,6
/proc/20379/task/20384/stat : 20384 (java) S 20376 20379 18126 0 -1 4202560 569 0 0 0 295 18 0 0 20 0 22 0 28777968 10060525568 929050 33554432000 1073741824 1073778376 140733457909104 139729720712104 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20379/tid=20385] ppid=20376 vsize=9824732 CPUtime=3.03 cores=0,2,4,6
/proc/20379/task/20385/stat : 20385 (java) S 20376 20379 18126 0 -1 4202560 554 0 0 0 286 17 0 0 20 0 22 0 28777968 10060525568 929050 33554432000 1073741824 1073778376 140733457909104 139729719659560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20379/tid=20386] ppid=20376 vsize=9824732 CPUtime=2.88 cores=0,2,4,6
/proc/20379/task/20386/stat : 20386 (java) S 20376 20379 18126 0 -1 4202560 506 0 0 0 273 15 0 0 20 0 22 0 28777968 10060525568 929050 33554432000 1073741824 1073778376 140733457909104 139729718605992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20379/tid=20387] ppid=20376 vsize=9824732 CPUtime=2.88 cores=0,2,4,6
/proc/20379/task/20387/stat : 20387 (java) S 20376 20379 18126 0 -1 4202560 505 0 0 0 273 15 0 0 20 0 22 0 28777968 10060525568 929050 33554432000 1073741824 1073778376 140733457909104 139729717553448 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20379/tid=20388] ppid=20376 vsize=9824732 CPUtime=2.92 cores=0,2,4,6
/proc/20379/task/20388/stat : 20388 (java) S 20376 20379 18126 0 -1 4202560 651 0 0 0 276 16 0 0 20 0 22 0 28777968 10060525568 929050 33554432000 1073741824 1073778376 140733457909104 139729716500904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20379/tid=20389] ppid=20376 vsize=9824732 CPUtime=2.83 cores=0,2,4,6
/proc/20379/task/20389/stat : 20389 (java) S 20376 20379 18126 0 -1 4202560 571 0 0 0 270 13 0 0 20 0 22 0 28777968 10060525568 929050 33554432000 1073741824 1073778376 140733457909104 139729597098536 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20379/tid=20390] ppid=20376 vsize=9824732 CPUtime=3.8 cores=0,2,4,6
/proc/20379/task/20390/stat : 20390 (java) S 20376 20379 18126 0 -1 4202560 2261 0 0 0 372 8 0 0 20 0 22 0 28777969 10060525568 929050 33554432000 1073741824 1073778376 140733457909104 139729584900712 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20379/tid=20391] ppid=20376 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20379/task/20391/stat : 20391 (java) S 20376 20379 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28777969 10060525568 929050 33554432000 1073741824 1073778376 140733457909104 139729583847032 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20379/tid=20392] ppid=20376 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20379/task/20392/stat : 20392 (java) S 20376 20379 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28777969 10060525568 929050 33554432000 1073741824 1073778376 140733457909104 139729582794376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20379/tid=20393] ppid=20376 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20379/task/20393/stat : 20393 (java) S 20376 20379 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28777972 10060525568 929050 33554432000 1073741824 1073778376 140733457909104 139729581743120 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20379/tid=20394] ppid=20376 vsize=9824732 CPUtime=2.31 cores=0,2,4,6
/proc/20379/task/20394/stat : 20394 (java) S 20376 20379 18126 0 -1 4202560 17759 0 0 0 227 4 0 0 20 0 22 0 28777972 10060525568 929050 33554432000 1073741824 1073778376 140733457909104 139728842123320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20379/tid=20395] ppid=20376 vsize=9824732 CPUtime=1.35 cores=0,2,4,6
/proc/20379/task/20395/stat : 20395 (java) S 20376 20379 18126 0 -1 4202560 8229 0 0 0 133 2 0 0 20 0 22 0 28777972 10060525568 929050 33554432000 1073741824 1073778376 140733457909104 139728841070776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20379/tid=20396] ppid=20376 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20379/task/20396/stat : 20396 (java) S 20376 20379 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28777972 10060525568 929050 33554432000 1073741824 1073778376 140733457909104 139728840018424 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20379/tid=20397] ppid=20376 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/20379/task/20397/stat : 20397 (java) S 20376 20379 18126 0 -1 4202560 51 0 0 0 19 14 0 0 20 0 22 0 28777972 10060525568 929050 33554432000 1073741824 1073778376 140733457909104 139728838966088 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20379/tid=20398] ppid=20376 vsize=9824732 CPUtime=871.73 cores=0,2,4,6
/proc/20379/task/20398/stat : 20398 (java) R 20376 20379 18126 0 -1 4202560 109 0 0 0 87157 16 0 0 20 0 22 0 28778016 10060525568 929050 33554432000 1073741824 1073778376 140733457909104 139728837902576 139729597874654 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20379/tid=20399] ppid=20376 vsize=9824732 CPUtime=871.51 cores=0,2,4,6
/proc/20379/task/20399/stat : 20399 (java) R 20376 20379 18126 0 -1 4202560 2083 0 0 0 87100 51 0 0 20 0 22 0 28778016 10060525568 929050 33554432000 1073741824 1073778376 140733457909104 139728836856624 139729597854377 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=20379/tid=20400] ppid=20376 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20379/task/20400/stat : 20400 (java) S 20376 20379 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28778017 10060525568 929050 33554432000 1073741824 1073778376 140733457909104 139728835806760 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20379/tid=20401] ppid=20376 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20379/task/20401/stat : 20401 (java) S 20376 20379 18126 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 28778018 10060525568 929050 33554432000 1073741824 1073778376 140733457909104 139728834754216 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1774.64
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+895.001 s]
/proc/loadavg: 4.46 4.34 4.23 5/219 20493
/proc/meminfo: memFree=23085212/32872528 swapFree=1437460/1543748
[pid=20379] ppid=20376 vsize=9824732 CPUtime=1800.19 cores=0,2,4,6
/proc/20379/stat : 20379 (java) S 20376 20379 18126 0 -1 4202496 38602 0 1 0 179831 188 0 0 20 0 22 0 28777966 10060525568 929051 33554432000 1073741824 1073778376 140733457909104 140733457900240 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20379/statm: 2456183 929051 2301 9 0 2446860 0
[pid=20379/tid=20381] ppid=20376 vsize=9824732 CPUtime=0.51 cores=0,2,4,6
/proc/20379/task/20381/stat : 20381 (java) S 20376 20379 18126 0 -1 4202560 2447 0 1 0 48 3 0 0 20 0 22 0 28777967 10060525568 929051 33554432000 1073741824 1073778376 140733457909104 139729761325944 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20379/tid=20382] ppid=20376 vsize=9824732 CPUtime=2.96 cores=0,2,4,6
/proc/20379/task/20382/stat : 20382 (java) S 20376 20379 18126 0 -1 4202560 520 0 0 0 280 16 0 0 20 0 22 0 28777968 10060525568 929051 33554432000 1073741824 1073778376 140733457909104 139729722817192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20379/tid=20383] ppid=20376 vsize=9824732 CPUtime=2.78 cores=0,2,4,6
/proc/20379/task/20383/stat : 20383 (java) S 20376 20379 18126 0 -1 4202560 511 0 0 0 264 14 0 0 20 0 22 0 28777968 10060525568 929051 33554432000 1073741824 1073778376 140733457909104 139729721764648 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20379/tid=20384] ppid=20376 vsize=9824732 CPUtime=3.19 cores=0,2,4,6
/proc/20379/task/20384/stat : 20384 (java) S 20376 20379 18126 0 -1 4202560 569 0 0 0 301 18 0 0 20 0 22 0 28777968 10060525568 929051 33554432000 1073741824 1073778376 140733457909104 139729720712104 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20379/tid=20385] ppid=20376 vsize=9824732 CPUtime=3.05 cores=0,2,4,6
/proc/20379/task/20385/stat : 20385 (java) S 20376 20379 18126 0 -1 4202560 554 0 0 0 288 17 0 0 20 0 22 0 28777968 10060525568 929051 33554432000 1073741824 1073778376 140733457909104 139729719659560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20379/tid=20386] ppid=20376 vsize=9824732 CPUtime=2.96 cores=0,2,4,6
/proc/20379/task/20386/stat : 20386 (java) S 20376 20379 18126 0 -1 4202560 506 0 0 0 281 15 0 0 20 0 22 0 28777968 10060525568 929051 33554432000 1073741824 1073778376 140733457909104 139729718605992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20379/tid=20387] ppid=20376 vsize=9824732 CPUtime=2.91 cores=0,2,4,6
/proc/20379/task/20387/stat : 20387 (java) S 20376 20379 18126 0 -1 4202560 505 0 0 0 276 15 0 0 20 0 22 0 28777968 10060525568 929051 33554432000 1073741824 1073778376 140733457909104 139729717553448 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20379/tid=20388] ppid=20376 vsize=9824732 CPUtime=2.96 cores=0,2,4,6
/proc/20379/task/20388/stat : 20388 (java) S 20376 20379 18126 0 -1 4202560 651 0 0 0 280 16 0 0 20 0 22 0 28777968 10060525568 929051 33554432000 1073741824 1073778376 140733457909104 139729716500904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20379/tid=20389] ppid=20376 vsize=9824732 CPUtime=2.86 cores=0,2,4,6
/proc/20379/task/20389/stat : 20389 (java) S 20376 20379 18126 0 -1 4202560 571 0 0 0 273 13 0 0 20 0 22 0 28777968 10060525568 929051 33554432000 1073741824 1073778376 140733457909104 139729597098536 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20379/tid=20390] ppid=20376 vsize=9824732 CPUtime=3.8 cores=0,2,4,6
/proc/20379/task/20390/stat : 20390 (java) S 20376 20379 18126 0 -1 4202560 2265 0 0 0 372 8 0 0 20 0 22 0 28777969 10060525568 929051 33554432000 1073741824 1073778376 140733457909104 139729584900712 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20379/tid=20391] ppid=20376 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20379/task/20391/stat : 20391 (java) S 20376 20379 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28777969 10060525568 929051 33554432000 1073741824 1073778376 140733457909104 139729583847032 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20379/tid=20392] ppid=20376 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20379/task/20392/stat : 20392 (java) S 20376 20379 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28777969 10060525568 929051 33554432000 1073741824 1073778376 140733457909104 139729582794376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20379/tid=20393] ppid=20376 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20379/task/20393/stat : 20393 (java) S 20376 20379 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28777972 10060525568 929051 33554432000 1073741824 1073778376 140733457909104 139729581743120 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20379/tid=20394] ppid=20376 vsize=9824732 CPUtime=2.31 cores=0,2,4,6
/proc/20379/task/20394/stat : 20394 (java) S 20376 20379 18126 0 -1 4202560 17759 0 0 0 227 4 0 0 20 0 22 0 28777972 10060525568 929051 33554432000 1073741824 1073778376 140733457909104 139728842123320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20379/tid=20395] ppid=20376 vsize=9824732 CPUtime=1.35 cores=0,2,4,6
/proc/20379/task/20395/stat : 20395 (java) S 20376 20379 18126 0 -1 4202560 8229 0 0 0 133 2 0 0 20 0 22 0 28777972 10060525568 929051 33554432000 1073741824 1073778376 140733457909104 139728841070776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20379/tid=20396] ppid=20376 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20379/task/20396/stat : 20396 (java) S 20376 20379 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28777972 10060525568 929051 33554432000 1073741824 1073778376 140733457909104 139728840018424 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20379/tid=20397] ppid=20376 vsize=9824732 CPUtime=0.34 cores=0,2,4,6
/proc/20379/task/20397/stat : 20397 (java) S 20376 20379 18126 0 -1 4202560 51 0 0 0 20 14 0 0 20 0 22 0 28777972 10060525568 929051 33554432000 1073741824 1073778376 140733457909104 139728838966088 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20379/tid=20398] ppid=20376 vsize=9824732 CPUtime=884.32 cores=0,2,4,6
/proc/20379/task/20398/stat : 20398 (java) R 20376 20379 18126 0 -1 4202560 109 0 0 0 88416 16 0 0 20 0 22 0 28778016 10060525568 929051 33554432000 1073741824 1073778376 140733457909104 139728837910224 139729597906386 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20379/tid=20399] ppid=20376 vsize=9824732 CPUtime=884.1 cores=0,2,4,6
/proc/20379/task/20399/stat : 20399 (java) R 20376 20379 18126 0 -1 4202560 2085 0 0 0 88359 51 0 0 20 0 22 0 28778016 10060525568 929051 33554432000 1073741824 1073778376 140733457909104 139728836858800 139729597855105 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=20379/tid=20400] ppid=20376 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20379/task/20400/stat : 20400 (java) S 20376 20379 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28778017 10060525568 929051 33554432000 1073741824 1073778376 140733457909104 139728835806760 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20379/tid=20401] ppid=20376 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20379/task/20401/stat : 20401 (java) S 20376 20379 18126 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 28778018 10060525568 929051 33554432000 1073741824 1073778376 140733457909104 139728834754216 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
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 20379 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 895.067
CPU time (s): 1800.84
CPU user time (s): 1798.45
CPU system time (s): 2.39164
CPU usage (%): 201.196
Max. virtual memory (cumulated for all children) (KiB): 9825980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.45
system time used= 2.39164
maximum resident set size= 3716320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38636
page faults= 1
swaps= 0
block input operations= 0
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24295
involuntary context switches= 28562
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.32604 second user time and 6.92195 second system time
The end