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-4116062-1466946428/watcher-4116062-1466946428 -o /tmp/evaluation-result-4116062-1466946428/solver-4116062-1466946428 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466946428-18143 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4116062-1466946428.opb
pid=18164
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.10 1.28 1.61 3/174 18171
/proc/meminfo: memFree=30340684/32872528 swapFree=1437460/1543748
[pid=18171] ppid=18164 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/18171/stat : 18171 (java) R 18164 18171 18126 0 -1 4202496 159 0 0 0 0 0 0 0 20 0 1 0 27682129 278528 33 33554432000 1073741824 1073778376 140735471906096 140735471903272 266426477863 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18171/statm: 68 33 25 9 0 25 0
[startup+0.100071 s]
/proc/loadavg: 1.10 1.28 1.61 3/174 18171
/proc/meminfo: memFree=30340684/32872528 swapFree=1437460/1543748
[pid=18171] ppid=18164 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/18171/stat : 18171 (java) D 18164 18171 18126 0 -1 4202496 1148 0 17 0 0 0 0 0 20 0 1 0 27682129 23793664 814 33554432000 1073741824 1073778376 140734916697360 140734916687352 139668474525392 0 0 4096 0 18446744071579943789 0 0 17 5 0 0 7 0 0
/proc/18171/statm: 5809 814 608 9 0 128 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23236
[startup+0.200272 s]
/proc/loadavg: 1.10 1.28 1.61 3/174 18171
/proc/meminfo: memFree=30340684/32872528 swapFree=1437460/1543748
[pid=18171] ppid=18164 vsize=9016616 CPUtime=0.01 cores=1,3,5,7
/proc/18171/stat : 18171 (java) S 18164 18171 18126 0 -1 4202496 2677 0 26 0 0 1 0 0 20 0 10 0 27682129 9233014784 3323 33554432000 1073741824 1073778376 140734916697360 140734916688496 266439000125 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 7 0 0
/proc/18171/statm: 2254154 3323 1421 9 0 2244855 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9016616
[startup+0.300216 s]
/proc/loadavg: 1.10 1.28 1.61 3/174 18171
/proc/meminfo: memFree=30340684/32872528 swapFree=1437460/1543748
[pid=18171] ppid=18164 vsize=9225560 CPUtime=0.04 cores=1,3,5,7
/proc/18171/stat : 18171 (java) S 18164 18171 18126 0 -1 4202496 3127 0 26 0 3 1 0 0 20 0 13 0 27682129 9446973440 3771 33554432000 1073741824 1073778376 140734916697360 140734916688496 266439000125 0 0 0 16800971 18446744073709551615 0 0 17 5 0 0 7 0 0
/proc/18171/statm: 2306390 3771 1706 9 0 2297091 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9225560
[startup+0.700168 s]
/proc/loadavg: 1.10 1.28 1.61 3/174 18171
/proc/meminfo: memFree=30340684/32872528 swapFree=1437460/1543748
[pid=18171] ppid=18164 vsize=9559816 CPUtime=0.78 cores=1,3,5,7
/proc/18171/stat : 18171 (java) S 18164 18171 18126 0 -1 4202496 10145 0 27 0 74 4 0 0 20 0 18 0 27682129 9789251584 15481 33554432000 1073741824 1073778376 140734916697360 140734916688496 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 7 0 0
/proc/18171/statm: 2389954 15506 2252 9 0 2380631 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 9559816
[startup+1.50457 s]
/proc/loadavg: 1.10 1.28 1.61 10/218 18215
/proc/meminfo: memFree=30140520/32872528 swapFree=1437460/1543748
[pid=18171] ppid=18164 vsize=9824732 CPUtime=3.82 cores=1,3,5,7
/proc/18171/stat : 18171 (java) S 18164 18171 18126 0 -1 4202496 17801 0 27 0 375 7 0 0 20 0 22 0 27682129 10060525568 45709 33554432000 1073741824 1073778376 140734916697360 140734916688496 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 7 0 0
/proc/18171/statm: 2456183 45709 2283 9 0 2446860 0
[pid=18171/tid=18175] ppid=18164 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/18171/task/18175/stat : 18175 (java) S 18164 18171 18126 0 -1 4202560 2423 0 7 0 46 2 0 0 20 0 22 0 27682139 10060525568 45713 33554432000 1073741824 1073778376 140734916697360 139668470207352 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 18 0 0
[pid=18171/tid=18176] ppid=18164 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18176/stat : 18176 (java) R 18164 18171 18126 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 27682147 10060525568 45713 33554432000 1073741824 1073778376 140734916697360 139668448307880 139668477102758 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18171/tid=18178] ppid=18164 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18178/stat : 18178 (java) S 18164 18171 18126 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27682147 10060525568 45713 33554432000 1073741824 1073778376 140734916697360 139668447255336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18171/tid=18179] ppid=18164 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18179/stat : 18179 (java) S 18164 18171 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27682147 10060525568 45713 33554432000 1073741824 1073778376 140734916697360 139668446202792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18171/tid=18181] ppid=18164 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18181/stat : 18181 (java) R 18164 18171 18126 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 27682147 10060525568 45713 33554432000 1073741824 1073778376 140734916697360 139668108602584 139668474382596 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18171/tid=18183] ppid=18164 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18183/stat : 18183 (java) R 18164 18171 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27682147 10060525568 45713 33554432000 1073741824 1073778376 140734916697360 139668107548840 266439013436 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18171/tid=18184] ppid=18164 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18184/stat : 18184 (java) S 18164 18171 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27682147 10060525568 45713 33554432000 1073741824 1073778376 140734916697360 139668106496296 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18171/tid=18186] ppid=18164 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18186/stat : 18186 (java) S 18164 18171 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27682147 10060525568 45713 33554432000 1073741824 1073778376 140734916697360 139668105443752 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18171/tid=18188] ppid=18164 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18188/stat : 18188 (java) S 18164 18171 18126 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27682147 10060525568 45713 33554432000 1073741824 1073778376 140734916697360 139668104391208 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18171/tid=18193] ppid=18164 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18193/stat : 18193 (java) S 18164 18171 18126 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 27682150 10060525568 45713 33554432000 1073741824 1073778376 140734916697360 139668092192264 266439013436 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18171/tid=18194] ppid=18164 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18194/stat : 18194 (java) S 18164 18171 18126 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 27682151 10060525568 45713 33554432000 1073741824 1073778376 140734916697360 139668091139704 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18171/tid=18196] ppid=18164 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18196/stat : 18196 (java) S 18164 18171 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27682151 10060525568 45713 33554432000 1073741824 1073778376 140734916697360 139668090087048 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18171/tid=18198] ppid=18164 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18198/stat : 18198 (java) S 18164 18171 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27682159 10060525568 45713 33554432000 1073741824 1073778376 140734916697360 139668089035792 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18171/tid=18200] ppid=18164 vsize=9824732 CPUtime=0.99 cores=1,3,5,7
/proc/18171/task/18200/stat : 18200 (java) R 18164 18171 18126 0 -1 4202560 5642 0 0 0 99 0 0 0 20 0 22 0 27682159 10060525568 45713 33554432000 1073741824 1073778376 140734916697360 139668087959288 139668474323408 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18171/tid=18203] ppid=18164 vsize=9824732 CPUtime=0.94 cores=1,3,5,7
/proc/18171/task/18203/stat : 18203 (java) S 18164 18171 18126 0 -1 4202560 8370 0 1 0 91 3 0 0 20 0 22 0 27682159 10060525568 45713 33554432000 1073741824 1073778376 140734916697360 139668086929592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18171/tid=18205] ppid=18164 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18205/stat : 18205 (java) S 18164 18171 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27682159 10060525568 45713 33554432000 1073741824 1073778376 140734916697360 139668085877240 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18171/tid=18207] ppid=18164 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18207/stat : 18207 (java) S 18164 18171 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27682159 10060525568 45713 33554432000 1073741824 1073778376 140734916697360 139668084824904 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18171/tid=18208] ppid=18164 vsize=9824732 CPUtime=0.67 cores=1,3,5,7
/proc/18171/task/18208/stat : 18208 (java) S 18164 18171 18126 0 -1 4202560 17 0 0 0 67 0 0 0 20 0 22 0 27682209 10060525568 45713 33554432000 1073741824 1073778376 140734916697360 139668083305384 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18171/tid=18209] ppid=18164 vsize=9824732 CPUtime=0.67 cores=1,3,5,7
/proc/18171/task/18209/stat : 18209 (java) S 18164 18171 18126 0 -1 4202560 76 0 0 0 65 2 0 0 20 0 22 0 27682209 10060525568 45713 33554432000 1073741824 1073778376 140734916697360 139668082253416 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18171/tid=18212] ppid=18164 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18212/stat : 18212 (java) S 18164 18171 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27682210 10060525568 45713 33554432000 1073741824 1073778376 140734916697360 139668081202728 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18171/tid=18214] ppid=18164 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18214/stat : 18214 (java) S 18164 18171 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27682210 10060525568 45713 33554432000 1073741824 1073778376 140734916697360 139668080150184 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (KiB) 9824732
[startup+3.1009 s]
/proc/loadavg: 1.10 1.28 1.61 6/218 18215
/proc/meminfo: memFree=29919152/32872528 swapFree=1437460/1543748
[pid=18171] ppid=18164 vsize=9824732 CPUtime=7.45 cores=1,3,5,7
/proc/18171/stat : 18171 (java) S 18164 18171 18126 0 -1 4202496 18525 0 27 0 729 16 0 0 20 0 22 0 27682129 10060525568 86181 33554432000 1073741824 1073778376 140734916697360 140734916688496 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 7 0 0
/proc/18171/statm: 2456183 86181 2292 9 0 2446860 0
[pid=18171/tid=18175] ppid=18164 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/18171/task/18175/stat : 18175 (java) S 18164 18171 18126 0 -1 4202560 2423 0 7 0 46 2 0 0 20 0 22 0 27682139 10060525568 86181 33554432000 1073741824 1073778376 140734916697360 139668470207352 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 18 0 0
[pid=18171/tid=18176] ppid=18164 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/18171/task/18176/stat : 18176 (java) R 18164 18171 18126 0 -1 4202560 39 0 0 0 5 1 0 0 20 0 22 0 27682147 10060525568 86181 33554432000 1073741824 1073778376 140734916697360 139668448307880 266435595399 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18171/tid=18178] ppid=18164 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/18171/task/18178/stat : 18178 (java) R 18164 18171 18126 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 22 0 27682147 10060525568 86181 33554432000 1073741824 1073778376 140734916697360 139668447255336 266435595399 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18171/tid=18179] ppid=18164 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/18171/task/18179/stat : 18179 (java) R 18164 18171 18126 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 22 0 27682147 10060525568 86181 33554432000 1073741824 1073778376 140734916697360 139668446202968 139668472678069 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18171/tid=18181] ppid=18164 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/18171/task/18181/stat : 18181 (java) R 18164 18171 18126 0 -1 4202560 26 0 0 0 1 2 0 0 20 0 22 0 27682147 10060525568 86181 33554432000 1073741824 1073778376 140734916697360 139668108602584 139668473963660 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=18171/tid=18183] ppid=18164 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/18171/task/18183/stat : 18183 (java) R 18164 18171 18126 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 22 0 27682147 10060525568 86181 33554432000 1073741824 1073778376 140734916697360 139668107548840 266435595399 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18171/tid=18184] ppid=18164 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/18171/task/18184/stat : 18184 (java) R 18164 18171 18126 0 -1 4202560 22 0 0 0 2 2 0 0 20 0 22 0 27682147 10060525568 86181 33554432000 1073741824 1073778376 140734916697360 139668106496472 139668477103001 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18171/tid=18186] ppid=18164 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/18171/task/18186/stat : 18186 (java) R 18164 18171 18126 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 22 0 27682147 10060525568 86181 33554432000 1073741824 1073778376 140734916697360 139668105443880 266435595399 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=18171/tid=18188] ppid=18164 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/18171/task/18188/stat : 18188 (java) R 18164 18171 18126 0 -1 4202560 15 0 0 0 1 1 0 0 20 0 22 0 27682147 10060525568 86181 33554432000 1073741824 1073778376 140734916697360 139668104391336 266435595399 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=18171/tid=18193] ppid=18164 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18193/stat : 18193 (java) S 18164 18171 18126 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 27682150 10060525568 86181 33554432000 1073741824 1073778376 140734916697360 139668092192264 266439013436 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18171/tid=18194] ppid=18164 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18194/stat : 18194 (java) S 18164 18171 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27682151 10060525568 86181 33554432000 1073741824 1073778376 140734916697360 139668091139704 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18171/tid=18196] ppid=18164 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18196/stat : 18196 (java) S 18164 18171 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27682151 10060525568 86181 33554432000 1073741824 1073778376 140734916697360 139668090087048 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18171/tid=18198] ppid=18164 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18198/stat : 18198 (java) S 18164 18171 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27682159 10060525568 86181 33554432000 1073741824 1073778376 140734916697360 139668089035792 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18171/tid=18200] ppid=18164 vsize=9824732 CPUtime=1.12 cores=1,3,5,7
/proc/18171/task/18200/stat : 18200 (java) S 18164 18171 18126 0 -1 4202560 6122 0 0 0 111 1 0 0 20 0 22 0 27682159 10060525568 86181 33554432000 1073741824 1073778376 140734916697360 139668087982136 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18171/tid=18203] ppid=18164 vsize=9824732 CPUtime=1.12 cores=1,3,5,7
/proc/18171/task/18203/stat : 18203 (java) S 18164 18171 18126 0 -1 4202560 8370 0 1 0 109 3 0 0 20 0 22 0 27682159 10060525568 86181 33554432000 1073741824 1073778376 140734916697360 139668086929592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18171/tid=18205] ppid=18164 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18205/stat : 18205 (java) S 18164 18171 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27682159 10060525568 86181 33554432000 1073741824 1073778376 140734916697360 139668085877240 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18171/tid=18207] ppid=18164 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18207/stat : 18207 (java) S 18164 18171 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27682159 10060525568 86181 33554432000 1073741824 1073778376 140734916697360 139668084824904 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18171/tid=18208] ppid=18164 vsize=9824732 CPUtime=2.15 cores=1,3,5,7
/proc/18171/task/18208/stat : 18208 (java) S 18164 18171 18126 0 -1 4202560 20 0 0 0 215 0 0 0 20 0 22 0 27682209 10060525568 86181 33554432000 1073741824 1073778376 140734916697360 139668083305592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18171/tid=18209] ppid=18164 vsize=9824732 CPUtime=2.16 cores=1,3,5,7
/proc/18171/task/18209/stat : 18209 (java) S 18164 18171 18126 0 -1 4202560 127 0 0 0 214 2 0 0 20 0 22 0 27682209 10060525568 86181 33554432000 1073741824 1073778376 140734916697360 139668082253704 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18171/tid=18212] ppid=18164 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18212/stat : 18212 (java) S 18164 18171 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27682210 10060525568 86181 33554432000 1073741824 1073778376 140734916697360 139668081202728 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18171/tid=18214] ppid=18164 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18214/stat : 18214 (java) S 18164 18171 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27682210 10060525568 86181 33554432000 1073741824 1073778376 140734916697360 139668080150184 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.45
Current children cumulated vsize (KiB) 9824732
[startup+6.301 s]
/proc/loadavg: 1.33 1.33 1.62 6/218 18215
/proc/meminfo: memFree=29090176/32872528 swapFree=1437460/1543748
[pid=18171] ppid=18164 vsize=9824732 CPUtime=13.98 cores=1,3,5,7
/proc/18171/stat : 18171 (java) S 18164 18171 18126 0 -1 4202496 19316 0 27 0 1372 26 0 0 20 0 22 0 27682129 10060525568 153929 33554432000 1073741824 1073778376 140734916697360 140734916688496 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 7 0 0
/proc/18171/statm: 2456183 153929 2292 9 0 2446860 0
[pid=18171/tid=18175] ppid=18164 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/18171/task/18175/stat : 18175 (java) S 18164 18171 18126 0 -1 4202560 2423 0 7 0 46 2 0 0 20 0 22 0 27682139 10060525568 153929 33554432000 1073741824 1073778376 140734916697360 139668470207352 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 18 0 0
[pid=18171/tid=18176] ppid=18164 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/18171/task/18176/stat : 18176 (java) S 18164 18171 18126 0 -1 4202560 90 0 0 0 7 2 0 0 20 0 22 0 27682147 10060525568 153929 33554432000 1073741824 1073778376 140734916697360 139668448307880 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18171/tid=18178] ppid=18164 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/18171/task/18178/stat : 18178 (java) S 18164 18171 18126 0 -1 4202560 33 0 0 0 4 2 0 0 20 0 22 0 27682147 10060525568 153929 33554432000 1073741824 1073778376 140734916697360 139668447255336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18171/tid=18179] ppid=18164 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/18171/task/18179/stat : 18179 (java) S 18164 18171 18126 0 -1 4202560 30 0 0 0 4 1 0 0 20 0 22 0 27682147 10060525568 153929 33554432000 1073741824 1073778376 140734916697360 139668446202792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18171/tid=18181] ppid=18164 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/18171/task/18181/stat : 18181 (java) S 18164 18171 18126 0 -1 4202560 93 0 0 0 5 3 0 0 20 0 22 0 27682147 10060525568 153929 33554432000 1073741824 1073778376 140734916697360 139668108602408 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18171/tid=18183] ppid=18164 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/18171/task/18183/stat : 18183 (java) S 18164 18171 18126 0 -1 4202560 38 0 0 0 7 0 0 0 20 0 22 0 27682147 10060525568 153929 33554432000 1073741824 1073778376 140734916697360 139668107548840 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18171/tid=18184] ppid=18164 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/18171/task/18184/stat : 18184 (java) S 18164 18171 18126 0 -1 4202560 45 0 0 0 4 2 0 0 20 0 22 0 27682147 10060525568 153929 33554432000 1073741824 1073778376 140734916697360 139668106496296 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18171/tid=18186] ppid=18164 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/18171/task/18186/stat : 18186 (java) S 18164 18171 18126 0 -1 4202560 67 0 0 0 5 1 0 0 20 0 22 0 27682147 10060525568 153929 33554432000 1073741824 1073778376 140734916697360 139668105443752 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18171/tid=18188] ppid=18164 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/18171/task/18188/stat : 18188 (java) S 18164 18171 18126 0 -1 4202560 50 0 0 0 3 2 0 0 20 0 22 0 27682147 10060525568 153929 33554432000 1073741824 1073778376 140734916697360 139668104391208 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18171/tid=18193] ppid=18164 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18193/stat : 18193 (java) S 18164 18171 18126 0 -1 4202560 450 0 0 0 0 0 0 0 20 0 22 0 27682150 10060525568 153929 33554432000 1073741824 1073778376 140734916697360 139668092193384 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18171/tid=18194] ppid=18164 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18194/stat : 18194 (java) S 18164 18171 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27682151 10060525568 153929 33554432000 1073741824 1073778376 140734916697360 139668091139704 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18171/tid=18196] ppid=18164 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18196/stat : 18196 (java) S 18164 18171 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27682151 10060525568 153929 33554432000 1073741824 1073778376 140734916697360 139668090087048 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18171/tid=18198] ppid=18164 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18198/stat : 18198 (java) S 18164 18171 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27682159 10060525568 153929 33554432000 1073741824 1073778376 140734916697360 139668089035792 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18171/tid=18200] ppid=18164 vsize=9824732 CPUtime=1.13 cores=1,3,5,7
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.33 4.10 3.17 7/219 18235
/proc/meminfo: memFree=22943816/32872528 swapFree=1437460/1543748
[pid=18171] ppid=18164 vsize=9824732 CPUtime=1650.33 cores=1,3,5,7
/proc/18171/stat : 18171 (java) S 18164 18171 18126 0 -1 4202496 33817 0 27 0 164829 204 0 0 20 0 22 0 27682129 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 140734916688496 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 7 0 0
/proc/18171/statm: 2456183 908994 2301 9 0 2446860 0
[pid=18171/tid=18175] ppid=18164 vsize=9824732 CPUtime=0.52 cores=1,3,5,7
/proc/18171/task/18175/stat : 18175 (java) S 18164 18171 18126 0 -1 4202560 2427 0 7 0 48 4 0 0 20 0 22 0 27682139 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668470207352 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 18 0 0
[pid=18171/tid=18176] ppid=18164 vsize=9824732 CPUtime=1.89 cores=1,3,5,7
/proc/18171/task/18176/stat : 18176 (java) S 18164 18171 18126 0 -1 4202560 626 0 0 0 171 18 0 0 20 0 22 0 27682147 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668448307880 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18171/tid=18178] ppid=18164 vsize=9824732 CPUtime=1.74 cores=1,3,5,7
/proc/18171/task/18178/stat : 18178 (java) S 18164 18171 18126 0 -1 4202560 527 0 0 0 160 14 0 0 20 0 22 0 27682147 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668447255336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18171/tid=18179] ppid=18164 vsize=9824732 CPUtime=1.91 cores=1,3,5,7
/proc/18171/task/18179/stat : 18179 (java) S 18164 18171 18126 0 -1 4202560 562 0 0 0 174 17 0 0 20 0 22 0 27682147 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668446202792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18171/tid=18181] ppid=18164 vsize=9824732 CPUtime=1.94 cores=1,3,5,7
/proc/18171/task/18181/stat : 18181 (java) S 18164 18171 18126 0 -1 4202560 641 0 0 0 178 16 0 0 20 0 22 0 27682147 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668108602408 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18171/tid=18183] ppid=18164 vsize=9824732 CPUtime=1.99 cores=1,3,5,7
/proc/18171/task/18183/stat : 18183 (java) S 18164 18171 18126 0 -1 4202560 624 0 0 0 180 19 0 0 20 0 22 0 27682147 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668107548840 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18171/tid=18184] ppid=18164 vsize=9824732 CPUtime=1.96 cores=1,3,5,7
/proc/18171/task/18184/stat : 18184 (java) S 18164 18171 18126 0 -1 4202560 576 0 0 0 179 17 0 0 20 0 22 0 27682147 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668106496296 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18171/tid=18186] ppid=18164 vsize=9824732 CPUtime=1.84 cores=1,3,5,7
/proc/18171/task/18186/stat : 18186 (java) S 18164 18171 18126 0 -1 4202560 590 0 0 0 170 14 0 0 20 0 22 0 27682147 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668105443752 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18171/tid=18188] ppid=18164 vsize=9824732 CPUtime=2.08 cores=1,3,5,7
/proc/18171/task/18188/stat : 18188 (java) S 18164 18171 18126 0 -1 4202560 558 0 0 0 189 19 0 0 20 0 22 0 27682147 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668104391208 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18171/tid=18193] ppid=18164 vsize=9824732 CPUtime=3.36 cores=1,3,5,7
/proc/18171/task/18193/stat : 18193 (java) S 18164 18171 18126 0 -1 4202560 2797 0 0 0 329 7 0 0 20 0 22 0 27682150 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668092193384 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18171/tid=18194] ppid=18164 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18194/stat : 18194 (java) S 18164 18171 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27682151 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668091139704 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18171/tid=18196] ppid=18164 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18196/stat : 18196 (java) S 18164 18171 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27682151 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668090087048 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18171/tid=18198] ppid=18164 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18198/stat : 18198 (java) S 18164 18171 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27682159 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668089035792 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18171/tid=18200] ppid=18164 vsize=9824732 CPUtime=1.93 cores=1,3,5,7
/proc/18171/task/18200/stat : 18200 (java) S 18164 18171 18126 0 -1 4202560 11910 0 0 0 190 3 0 0 20 0 22 0 27682159 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668087982136 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18171/tid=18203] ppid=18164 vsize=9824732 CPUtime=1.21 cores=1,3,5,7
/proc/18171/task/18203/stat : 18203 (java) S 18164 18171 18126 0 -1 4202560 8371 0 1 0 118 3 0 0 20 0 22 0 27682159 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668086929592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18171/tid=18205] ppid=18164 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18205/stat : 18205 (java) S 18164 18171 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27682159 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668085877240 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18171/tid=18207] ppid=18164 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/18171/task/18207/stat : 18207 (java) S 18164 18171 18126 0 -1 4202560 49 0 0 0 12 19 0 0 20 0 22 0 27682159 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668084824904 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18171/tid=18208] ppid=18164 vsize=9824732 CPUtime=813.86 cores=1,3,5,7
/proc/18171/task/18208/stat : 18208 (java) R 18164 18171 18126 0 -1 4202560 56 0 0 0 81371 15 0 0 20 0 22 0 27682209 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668083298544 139668327259503 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18171/tid=18209] ppid=18164 vsize=9824732 CPUtime=813.97 cores=1,3,5,7
/proc/18171/task/18209/stat : 18209 (java) R 18164 18171 18126 0 -1 4202560 2256 0 0 0 81346 51 0 0 20 0 22 0 27682209 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668082252608 139668327678096 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18171/tid=18212] ppid=18164 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18212/stat : 18212 (java) S 18164 18171 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27682210 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668081202728 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18171/tid=18214] ppid=18164 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18214/stat : 18214 (java) S 18164 18171 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27682210 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668080150184 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1650.33
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.17 4.09 3.22 6/218 18236
/proc/meminfo: memFree=22865604/32872528 swapFree=1437460/1543748
[pid=18171] ppid=18164 vsize=9824732 CPUtime=1770.32 cores=1,3,5,7
/proc/18171/stat : 18171 (java) S 18164 18171 18126 0 -1 4202496 33819 0 27 0 176827 205 0 0 20 0 22 0 27682129 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 140734916688496 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 7 0 0
/proc/18171/statm: 2456183 908994 2301 9 0 2446860 0
[pid=18171/tid=18175] ppid=18164 vsize=9824732 CPUtime=0.52 cores=1,3,5,7
/proc/18171/task/18175/stat : 18175 (java) S 18164 18171 18126 0 -1 4202560 2427 0 7 0 48 4 0 0 20 0 22 0 27682139 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668470207352 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 18 0 0
[pid=18171/tid=18176] ppid=18164 vsize=9824732 CPUtime=1.89 cores=1,3,5,7
/proc/18171/task/18176/stat : 18176 (java) S 18164 18171 18126 0 -1 4202560 626 0 0 0 171 18 0 0 20 0 22 0 27682147 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668448307880 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18171/tid=18178] ppid=18164 vsize=9824732 CPUtime=1.74 cores=1,3,5,7
/proc/18171/task/18178/stat : 18178 (java) S 18164 18171 18126 0 -1 4202560 527 0 0 0 160 14 0 0 20 0 22 0 27682147 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668447255336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18171/tid=18179] ppid=18164 vsize=9824732 CPUtime=1.91 cores=1,3,5,7
/proc/18171/task/18179/stat : 18179 (java) S 18164 18171 18126 0 -1 4202560 562 0 0 0 174 17 0 0 20 0 22 0 27682147 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668446202792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18171/tid=18181] ppid=18164 vsize=9824732 CPUtime=1.94 cores=1,3,5,7
/proc/18171/task/18181/stat : 18181 (java) S 18164 18171 18126 0 -1 4202560 641 0 0 0 178 16 0 0 20 0 22 0 27682147 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668108602408 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18171/tid=18183] ppid=18164 vsize=9824732 CPUtime=1.99 cores=1,3,5,7
/proc/18171/task/18183/stat : 18183 (java) S 18164 18171 18126 0 -1 4202560 624 0 0 0 180 19 0 0 20 0 22 0 27682147 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668107548840 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18171/tid=18184] ppid=18164 vsize=9824732 CPUtime=1.96 cores=1,3,5,7
/proc/18171/task/18184/stat : 18184 (java) S 18164 18171 18126 0 -1 4202560 576 0 0 0 179 17 0 0 20 0 22 0 27682147 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668106496296 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18171/tid=18186] ppid=18164 vsize=9824732 CPUtime=1.84 cores=1,3,5,7
/proc/18171/task/18186/stat : 18186 (java) S 18164 18171 18126 0 -1 4202560 590 0 0 0 170 14 0 0 20 0 22 0 27682147 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668105443752 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18171/tid=18188] ppid=18164 vsize=9824732 CPUtime=2.08 cores=1,3,5,7
/proc/18171/task/18188/stat : 18188 (java) S 18164 18171 18126 0 -1 4202560 558 0 0 0 189 19 0 0 20 0 22 0 27682147 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668104391208 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18171/tid=18193] ppid=18164 vsize=9824732 CPUtime=3.36 cores=1,3,5,7
/proc/18171/task/18193/stat : 18193 (java) S 18164 18171 18126 0 -1 4202560 2797 0 0 0 329 7 0 0 20 0 22 0 27682150 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668092193384 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18171/tid=18194] ppid=18164 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18194/stat : 18194 (java) S 18164 18171 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27682151 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668091139704 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18171/tid=18196] ppid=18164 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18196/stat : 18196 (java) S 18164 18171 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27682151 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668090087048 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18171/tid=18198] ppid=18164 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18198/stat : 18198 (java) S 18164 18171 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27682159 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668089035792 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18171/tid=18200] ppid=18164 vsize=9824732 CPUtime=1.93 cores=1,3,5,7
/proc/18171/task/18200/stat : 18200 (java) S 18164 18171 18126 0 -1 4202560 11910 0 0 0 190 3 0 0 20 0 22 0 27682159 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668087982136 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18171/tid=18203] ppid=18164 vsize=9824732 CPUtime=1.21 cores=1,3,5,7
/proc/18171/task/18203/stat : 18203 (java) S 18164 18171 18126 0 -1 4202560 8371 0 1 0 118 3 0 0 20 0 22 0 27682159 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668086929592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18171/tid=18205] ppid=18164 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18205/stat : 18205 (java) S 18164 18171 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27682159 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668085877240 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18171/tid=18207] ppid=18164 vsize=9824732 CPUtime=0.32 cores=1,3,5,7
/proc/18171/task/18207/stat : 18207 (java) S 18164 18171 18126 0 -1 4202560 51 0 0 0 12 20 0 0 20 0 22 0 27682159 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668084824904 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18171/tid=18208] ppid=18164 vsize=9824732 CPUtime=873.84 cores=1,3,5,7
/proc/18171/task/18208/stat : 18208 (java) R 18164 18171 18126 0 -1 4202560 56 0 0 0 87368 16 0 0 20 0 22 0 27682209 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668083298544 139668327565207 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18171/tid=18209] ppid=18164 vsize=9824732 CPUtime=873.98 cores=1,3,5,7
/proc/18171/task/18209/stat : 18209 (java) R 18164 18171 18126 0 -1 4202560 2256 0 0 0 87346 52 0 0 20 0 22 0 27682209 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668082252608 139668327958318 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18171/tid=18212] ppid=18164 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18212/stat : 18212 (java) S 18164 18171 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27682210 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668081202728 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18171/tid=18214] ppid=18164 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18214/stat : 18214 (java) S 18164 18171 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27682210 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668080150184 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1770.32
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+897.201 s]
/proc/loadavg: 4.13 4.08 3.24 4/194 18255
/proc/meminfo: memFree=26685700/32872528 swapFree=1437460/1543748
[pid=18171] ppid=18164 vsize=9824732 CPUtime=1800.11 cores=1,3,5,7
/proc/18171/stat : 18171 (java) S 18164 18171 18126 0 -1 4202496 33821 0 27 0 179805 206 0 0 20 0 22 0 27682129 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 140734916688496 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 7 0 0
/proc/18171/statm: 2456183 908994 2301 9 0 2446860 0
[pid=18171/tid=18175] ppid=18164 vsize=9824732 CPUtime=0.52 cores=1,3,5,7
/proc/18171/task/18175/stat : 18175 (java) S 18164 18171 18126 0 -1 4202560 2427 0 7 0 48 4 0 0 20 0 22 0 27682139 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668470207352 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 18 0 0
[pid=18171/tid=18176] ppid=18164 vsize=9824732 CPUtime=1.89 cores=1,3,5,7
/proc/18171/task/18176/stat : 18176 (java) S 18164 18171 18126 0 -1 4202560 626 0 0 0 171 18 0 0 20 0 22 0 27682147 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668448307880 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18171/tid=18178] ppid=18164 vsize=9824732 CPUtime=1.74 cores=1,3,5,7
/proc/18171/task/18178/stat : 18178 (java) S 18164 18171 18126 0 -1 4202560 527 0 0 0 160 14 0 0 20 0 22 0 27682147 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668447255336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18171/tid=18179] ppid=18164 vsize=9824732 CPUtime=1.91 cores=1,3,5,7
/proc/18171/task/18179/stat : 18179 (java) S 18164 18171 18126 0 -1 4202560 562 0 0 0 174 17 0 0 20 0 22 0 27682147 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668446202792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18171/tid=18181] ppid=18164 vsize=9824732 CPUtime=1.94 cores=1,3,5,7
/proc/18171/task/18181/stat : 18181 (java) S 18164 18171 18126 0 -1 4202560 641 0 0 0 178 16 0 0 20 0 22 0 27682147 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668108602408 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18171/tid=18183] ppid=18164 vsize=9824732 CPUtime=1.99 cores=1,3,5,7
/proc/18171/task/18183/stat : 18183 (java) S 18164 18171 18126 0 -1 4202560 624 0 0 0 180 19 0 0 20 0 22 0 27682147 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668107548840 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18171/tid=18184] ppid=18164 vsize=9824732 CPUtime=1.96 cores=1,3,5,7
/proc/18171/task/18184/stat : 18184 (java) S 18164 18171 18126 0 -1 4202560 576 0 0 0 179 17 0 0 20 0 22 0 27682147 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668106496296 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18171/tid=18186] ppid=18164 vsize=9824732 CPUtime=1.84 cores=1,3,5,7
/proc/18171/task/18186/stat : 18186 (java) S 18164 18171 18126 0 -1 4202560 590 0 0 0 170 14 0 0 20 0 22 0 27682147 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668105443752 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18171/tid=18188] ppid=18164 vsize=9824732 CPUtime=2.08 cores=1,3,5,7
/proc/18171/task/18188/stat : 18188 (java) S 18164 18171 18126 0 -1 4202560 558 0 0 0 189 19 0 0 20 0 22 0 27682147 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668104391208 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18171/tid=18193] ppid=18164 vsize=9824732 CPUtime=3.36 cores=1,3,5,7
/proc/18171/task/18193/stat : 18193 (java) S 18164 18171 18126 0 -1 4202560 2797 0 0 0 329 7 0 0 20 0 22 0 27682150 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668092193384 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18171/tid=18194] ppid=18164 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18194/stat : 18194 (java) S 18164 18171 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27682151 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668091139704 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18171/tid=18196] ppid=18164 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18196/stat : 18196 (java) S 18164 18171 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27682151 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668090087048 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18171/tid=18198] ppid=18164 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18198/stat : 18198 (java) S 18164 18171 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27682159 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668089035792 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18171/tid=18200] ppid=18164 vsize=9824732 CPUtime=1.93 cores=1,3,5,7
/proc/18171/task/18200/stat : 18200 (java) S 18164 18171 18126 0 -1 4202560 11910 0 0 0 190 3 0 0 20 0 22 0 27682159 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668087982136 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18171/tid=18203] ppid=18164 vsize=9824732 CPUtime=1.21 cores=1,3,5,7
/proc/18171/task/18203/stat : 18203 (java) S 18164 18171 18126 0 -1 4202560 8371 0 1 0 118 3 0 0 20 0 22 0 27682159 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668086929592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18171/tid=18205] ppid=18164 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18205/stat : 18205 (java) S 18164 18171 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27682159 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668085877240 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18171/tid=18207] ppid=18164 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/18171/task/18207/stat : 18207 (java) S 18164 18171 18126 0 -1 4202560 53 0 0 0 12 21 0 0 20 0 22 0 27682159 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668084824904 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18171/tid=18208] ppid=18164 vsize=9824732 CPUtime=888.73 cores=1,3,5,7
/proc/18171/task/18208/stat : 18208 (java) R 18164 18171 18126 0 -1 4202560 56 0 0 0 88856 17 0 0 20 0 22 0 27682209 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668083298544 139668327480805 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18171/tid=18209] ppid=18164 vsize=9824732 CPUtime=888.87 cores=1,3,5,7
/proc/18171/task/18209/stat : 18209 (java) R 18164 18171 18126 0 -1 4202560 2256 0 0 0 88835 52 0 0 20 0 22 0 27682209 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668082252608 139668327678148 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18171/tid=18212] ppid=18164 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18212/stat : 18212 (java) S 18164 18171 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27682210 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668081202728 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18171/tid=18214] ppid=18164 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18214/stat : 18214 (java) S 18164 18171 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27682210 10060525568 908994 33554432000 1073741824 1073778376 140734916697360 139668080150184 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
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 18171 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 897.272
CPU time (s): 1800.75
CPU user time (s): 1798.16
CPU system time (s): 2.5926
CPU usage (%): 200.692
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.16
system time used= 2.5926
maximum resident set size= 3636092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33855
page faults= 27
swaps= 0
block input operations= 21168
block output operations= 848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23458
involuntary context switches= 28621
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.9221 second user time and 7.41487 second system time
The end