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-4117182-1466975576/watcher-4117182-1466975576 -o /tmp/evaluation-result-4117182-1466975576/solver-4117182-1466975576 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466969304-22023 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4117182-1466975576.opb
pid=23167
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.38 4.28 4.27 4/197 23170
/proc/meminfo: memFree=26472496/32872528 swapFree=1437460/1543748
[pid=23170] ppid=23167 vsize=9224 CPUtime=0 cores=0,2,4,6
/proc/23170/stat : 23170 (java) R 23167 23170 22007 0 -1 4202496 429 0 0 0 0 0 0 0 20 0 1 0 30596882 9445376 97 33554432000 1073741824 1073778376 140734998503216 140734998500344 266426478471 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23170/statm: 2290 88 66 9 0 38 0
[startup+0.10006 s]
/proc/loadavg: 4.38 4.28 4.27 4/197 23170
/proc/meminfo: memFree=26472496/32872528 swapFree=1437460/1543748
[pid=23170] ppid=23167 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/23170/stat : 23170 (java) S 23167 23170 22007 0 -1 4202496 4395 0 1 0 8 1 0 0 20 0 18 0 30596882 9787879424 6032 33554432000 1073741824 1073778376 140734998503216 140734998494352 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23170/statm: 2389619 6032 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200222 s]
/proc/loadavg: 4.38 4.28 4.27 4/197 23170
/proc/meminfo: memFree=26472496/32872528 swapFree=1437460/1543748
[pid=23170] ppid=23167 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/23170/stat : 23170 (java) S 23167 23170 22007 0 -1 4202496 4696 0 1 0 23 1 0 0 20 0 18 0 30596882 9787879424 6792 33554432000 1073741824 1073778376 140734998503216 140734998494352 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23170/statm: 2389619 6792 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476
[startup+0.300226 s]
/proc/loadavg: 4.38 4.28 4.27 4/197 23170
/proc/meminfo: memFree=26472496/32872528 swapFree=1437460/1543748
[pid=23170] ppid=23167 vsize=9558476 CPUtime=0.48 cores=0,2,4,6
/proc/23170/stat : 23170 (java) S 23167 23170 22007 0 -1 4202496 5793 0 1 0 47 1 0 0 20 0 18 0 30596882 9787879424 8351 33554432000 1073741824 1073778376 140734998503216 140734998494352 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23170/statm: 2389619 8351 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.38 4.28 4.27 4/197 23170
/proc/meminfo: memFree=26472496/32872528 swapFree=1437460/1543748
[pid=23170] ppid=23167 vsize=9824732 CPUtime=1.73 cores=0,2,4,6
/proc/23170/stat : 23170 (java) S 23167 23170 22007 0 -1 4202496 13043 0 1 0 169 4 0 0 20 0 22 0 30596882 10060525568 23773 33554432000 1073741824 1073778376 140734998503216 140734998494352 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23170/statm: 2456183 23773 2266 9 0 2446860 0
Current children cumulated CPU time (s) 1.73
Current children cumulated vsize (KiB) 9824732
[startup+1.50086 s]
/proc/loadavg: 4.38 4.28 4.27 8/219 23192
/proc/meminfo: memFree=26331980/32872528 swapFree=1437460/1543748
[pid=23170] ppid=23167 vsize=9824732 CPUtime=4.66 cores=0,2,4,6
/proc/23170/stat : 23170 (java) S 23167 23170 22007 0 -1 4202496 20178 0 1 0 460 6 0 0 20 0 22 0 30596882 10060525568 48338 33554432000 1073741824 1073778376 140734998503216 140734998494352 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23170/statm: 2456183 48338 2292 9 0 2446860 0
[pid=23170/tid=23172] ppid=23167 vsize=9824732 CPUtime=0.48 cores=0,2,4,6
/proc/23170/task/23172/stat : 23172 (java) S 23167 23170 22007 0 -1 4202560 2448 0 1 0 47 1 0 0 20 0 22 0 30596883 10060525568 48338 33554432000 1073741824 1073778376 140734998503216 140517330441080 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23170/tid=23173] ppid=23167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23170/task/23173/stat : 23173 (java) S 23167 23170 22007 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 30596884 10060525568 48338 33554432000 1073741824 1073778376 140734998503216 140517308541736 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23170/tid=23174] ppid=23167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23170/task/23174/stat : 23174 (java) S 23167 23170 22007 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 30596884 10060525568 48338 33554432000 1073741824 1073778376 140734998503216 140517307488936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23170/tid=23175] ppid=23167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23170/task/23175/stat : 23175 (java) S 23167 23170 22007 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30596884 10060525568 48338 33554432000 1073741824 1073778376 140734998503216 140517306436648 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23170/tid=23176] ppid=23167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23170/task/23176/stat : 23176 (java) S 23167 23170 22007 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 30596884 10060525568 48338 33554432000 1073741824 1073778376 140734998503216 140517305383848 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23170/tid=23177] ppid=23167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23170/task/23177/stat : 23177 (java) S 23167 23170 22007 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 30596884 10060525568 48338 33554432000 1073741824 1073778376 140734998503216 140516968622376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23170/tid=23178] ppid=23167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23170/task/23178/stat : 23178 (java) S 23167 23170 22007 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 30596884 10060525568 48338 33554432000 1073741824 1073778376 140734998503216 140516967569576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23170/tid=23179] ppid=23167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23170/task/23179/stat : 23179 (java) S 23167 23170 22007 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30596884 10060525568 48338 33554432000 1073741824 1073778376 140734998503216 140516966517288 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23170/tid=23180] ppid=23167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23170/task/23180/stat : 23180 (java) S 23167 23170 22007 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 30596884 10060525568 48338 33554432000 1073741824 1073778376 140734998503216 140516965464488 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23170/tid=23181] ppid=23167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23170/task/23181/stat : 23181 (java) S 23167 23170 22007 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 30596886 10060525568 48338 33554432000 1073741824 1073778376 140734998503216 140516953053928 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23170/tid=23182] ppid=23167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23170/task/23182/stat : 23182 (java) S 23167 23170 22007 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 30596886 10060525568 48338 33554432000 1073741824 1073778376 140734998503216 140516951999992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23170/tid=23183] ppid=23167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23170/task/23183/stat : 23183 (java) S 23167 23170 22007 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 30596886 10060525568 48338 33554432000 1073741824 1073778376 140734998503216 140516950947592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23170/tid=23184] ppid=23167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23170/task/23184/stat : 23184 (java) S 23167 23170 22007 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30596888 10060525568 48338 33554432000 1073741824 1073778376 140734998503216 140516949896080 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23170/tid=23185] ppid=23167 vsize=9824732 CPUtime=1.09 cores=0,2,4,6
/proc/23170/task/23185/stat : 23185 (java) R 23167 23170 22007 0 -1 4202560 8961 0 0 0 108 1 0 0 20 0 22 0 30596888 10060525568 48338 33554432000 1073741824 1073778376 140734998503216 140516948819736 140517334294998 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23170/tid=23186] ppid=23167 vsize=9824732 CPUtime=1.08 cores=0,2,4,6
/proc/23170/task/23186/stat : 23186 (java) S 23167 23170 22007 0 -1 4202560 7300 0 0 0 106 2 0 0 20 0 22 0 30596888 10060525568 48338 33554432000 1073741824 1073778376 140734998503216 140516947789880 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23170/tid=23187] ppid=23167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23170/task/23187/stat : 23187 (java) S 23167 23170 22007 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30596888 10060525568 48338 33554432000 1073741824 1073778376 140734998503216 140516946737784 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23170/tid=23188] ppid=23167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23170/task/23188/stat : 23188 (java) S 23167 23170 22007 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30596888 10060525568 48338 33554432000 1073741824 1073778376 140734998503216 140516945685192 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23170/tid=23189] ppid=23167 vsize=9824732 CPUtime=0.95 cores=0,2,4,6
/proc/23170/task/23189/stat : 23189 (java) R 23167 23170 22007 0 -1 4202560 18 0 0 0 95 0 0 0 20 0 22 0 30596934 10060525568 48338 33554432000 1073741824 1073778376 140734998503216 140516944621856 140517187446914 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23170/tid=23190] ppid=23167 vsize=9824732 CPUtime=0.93 cores=0,2,4,6
/proc/23170/task/23190/stat : 23190 (java) R 23167 23170 22007 0 -1 4202560 73 0 0 0 93 0 0 0 20 0 22 0 30596934 10060525568 48338 33554432000 1073741824 1073778376 140734998503216 140516943577352 140517187499455 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=23170/tid=23191] ppid=23167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23170/task/23191/stat : 23191 (java) S 23167 23170 22007 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30596935 10060525568 48338 33554432000 1073741824 1073778376 140734998503216 140516942526120 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23170/tid=23192] ppid=23167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23170/task/23192/stat : 23192 (java) S 23167 23170 22007 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30596935 10060525568 48338 33554432000 1073741824 1073778376 140734998503216 140516941473320 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.66
Current children cumulated vsize (KiB) 9824732
[startup+3.10099 s]
/proc/loadavg: 4.38 4.28 4.27 11/197 23239
/proc/meminfo: memFree=29943396/32872528 swapFree=1437460/1543748
[pid=23170] ppid=23167 vsize=9824732 CPUtime=8.72 cores=0,2,4,6
/proc/23170/stat : 23170 (java) S 23167 23170 22007 0 -1 4202496 25139 0 1 0 859 13 0 0 20 0 22 0 30596882 10060525568 90726 33554432000 1073741824 1073778376 140734998503216 140734998494352 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23170/statm: 2456183 90726 2292 9 0 2446860 0
[pid=23170/tid=23172] ppid=23167 vsize=9824732 CPUtime=0.48 cores=0,2,4,6
/proc/23170/task/23172/stat : 23172 (java) S 23167 23170 22007 0 -1 4202560 2448 0 1 0 47 1 0 0 20 0 22 0 30596883 10060525568 90726 33554432000 1073741824 1073778376 140734998503216 140517330441080 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23170/tid=23173] ppid=23167 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/23170/task/23173/stat : 23173 (java) S 23167 23170 22007 0 -1 4202560 24 0 0 0 4 0 0 0 20 0 22 0 30596884 10060525568 90726 33554432000 1073741824 1073778376 140734998503216 140517308541736 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23170/tid=23174] ppid=23167 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/23170/task/23174/stat : 23174 (java) S 23167 23170 22007 0 -1 4202560 19 0 0 0 4 0 0 0 20 0 22 0 30596884 10060525568 90726 33554432000 1073741824 1073778376 140734998503216 140517307488936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23170/tid=23175] ppid=23167 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/23170/task/23175/stat : 23175 (java) S 23167 23170 22007 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 22 0 30596884 10060525568 90726 33554432000 1073741824 1073778376 140734998503216 140517306436648 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23170/tid=23176] ppid=23167 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/23170/task/23176/stat : 23176 (java) S 23167 23170 22007 0 -1 4202560 19 0 0 0 4 0 0 0 20 0 22 0 30596884 10060525568 90726 33554432000 1073741824 1073778376 140734998503216 140517305383848 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23170/tid=23177] ppid=23167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23170/task/23177/stat : 23177 (java) S 23167 23170 22007 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 30596884 10060525568 90726 33554432000 1073741824 1073778376 140734998503216 140516968622376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23170/tid=23178] ppid=23167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23170/task/23178/stat : 23178 (java) S 23167 23170 22007 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 30596884 10060525568 90726 33554432000 1073741824 1073778376 140734998503216 140516967569576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23170/tid=23179] ppid=23167 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/23170/task/23179/stat : 23179 (java) S 23167 23170 22007 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 30596884 10060525568 90726 33554432000 1073741824 1073778376 140734998503216 140516966517288 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23170/tid=23180] ppid=23167 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/23170/task/23180/stat : 23180 (java) S 23167 23170 22007 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 22 0 30596884 10060525568 90726 33554432000 1073741824 1073778376 140734998503216 140516965464488 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23170/tid=23181] ppid=23167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23170/task/23181/stat : 23181 (java) S 23167 23170 22007 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 30596886 10060525568 90726 33554432000 1073741824 1073778376 140734998503216 140516953053928 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23170/tid=23182] ppid=23167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23170/task/23182/stat : 23182 (java) S 23167 23170 22007 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 30596886 10060525568 90726 33554432000 1073741824 1073778376 140734998503216 140516951999992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23170/tid=23183] ppid=23167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23170/task/23183/stat : 23183 (java) S 23167 23170 22007 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 30596886 10060525568 90726 33554432000 1073741824 1073778376 140734998503216 140516950947592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23170/tid=23184] ppid=23167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23170/task/23184/stat : 23184 (java) S 23167 23170 22007 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30596888 10060525568 90726 33554432000 1073741824 1073778376 140734998503216 140516949896080 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23170/tid=23185] ppid=23167 vsize=9824732 CPUtime=1.71 cores=0,2,4,6
/proc/23170/task/23185/stat : 23185 (java) S 23167 23170 22007 0 -1 4202560 12334 0 0 0 168 3 0 0 20 0 22 0 30596888 10060525568 90726 33554432000 1073741824 1073778376 140734998503216 140516948842680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23170/tid=23186] ppid=23167 vsize=9824732 CPUtime=1.27 cores=0,2,4,6
/proc/23170/task/23186/stat : 23186 (java) S 23167 23170 22007 0 -1 4202560 8621 0 0 0 125 2 0 0 20 0 22 0 30596888 10060525568 90726 33554432000 1073741824 1073778376 140734998503216 140516947789880 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23170/tid=23187] ppid=23167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23170/task/23187/stat : 23187 (java) S 23167 23170 22007 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30596888 10060525568 90726 33554432000 1073741824 1073778376 140734998503216 140516946737784 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23170/tid=23188] ppid=23167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23170/task/23188/stat : 23188 (java) S 23167 23170 22007 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30596888 10060525568 90726 33554432000 1073741824 1073778376 140734998503216 140516945685192 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23170/tid=23189] ppid=23167 vsize=9824732 CPUtime=2.45 cores=0,2,4,6
/proc/23170/task/23189/stat : 23189 (java) R 23167 23170 22007 0 -1 4202560 21 0 0 0 245 0 0 0 20 0 22 0 30596934 10060525568 90726 33554432000 1073741824 1073778376 140734998503216 140516944621856 140517187474549 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23170/tid=23190] ppid=23167 vsize=9824732 CPUtime=2.45 cores=0,2,4,6
/proc/23170/task/23190/stat : 23190 (java) R 23167 23170 22007 0 -1 4202560 131 0 0 0 242 3 0 0 20 0 22 0 30596934 10060525568 90726 33554432000 1073741824 1073778376 140734998503216 140516943576736 140517187474480 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23170/tid=23191] ppid=23167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23170/task/23191/stat : 23191 (java) S 23167 23170 22007 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30596935 10060525568 90726 33554432000 1073741824 1073778376 140734998503216 140516942526120 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23170/tid=23192] ppid=23167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23170/task/23192/stat : 23192 (java) S 23167 23170 22007 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30596935 10060525568 90726 33554432000 1073741824 1073778376 140734998503216 140516941473320 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 8.72
Current children cumulated vsize (KiB) 9824732
[startup+6.30102 s]
/proc/loadavg: 4.35 4.28 4.27 7/219 23261
/proc/meminfo: memFree=29302320/32872528 swapFree=1437460/1543748
[pid=23170] ppid=23167 vsize=9824732 CPUtime=15.67 cores=0,2,4,6
/proc/23170/stat : 23170 (java) S 23167 23170 22007 0 -1 4202496 27561 0 1 0 1545 22 0 0 20 0 22 0 30596882 10060525568 162838 33554432000 1073741824 1073778376 140734998503216 140734998494352 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23170/statm: 2456183 162838 2292 9 0 2446860 0
[pid=23170/tid=23172] ppid=23167 vsize=9824732 CPUtime=0.48 cores=0,2,4,6
/proc/23170/task/23172/stat : 23172 (java) S 23167 23170 22007 0 -1 4202560 2448 0 1 0 47 1 0 0 20 0 22 0 30596883 10060525568 162838 33554432000 1073741824 1073778376 140734998503216 140517330441080 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23170/tid=23173] ppid=23167 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/23170/task/23173/stat : 23173 (java) S 23167 23170 22007 0 -1 4202560 32 0 0 0 5 1 0 0 20 0 22 0 30596884 10060525568 162838 33554432000 1073741824 1073778376 140734998503216 140517308541736 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23170/tid=23174] ppid=23167 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/23170/task/23174/stat : 23174 (java) S 23167 23170 22007 0 -1 4202560 30 0 0 0 4 2 0 0 20 0 22 0 30596884 10060525568 162838 33554432000 1073741824 1073778376 140734998503216 140517307488936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23170/tid=23175] ppid=23167 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/23170/task/23175/stat : 23175 (java) S 23167 23170 22007 0 -1 4202560 30 0 0 0 4 1 0 0 20 0 22 0 30596884 10060525568 162838 33554432000 1073741824 1073778376 140734998503216 140517306436648 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23170/tid=23176] ppid=23167 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/23170/task/23176/stat : 23176 (java) S 23167 23170 22007 0 -1 4202560 36 0 0 0 6 2 0 0 20 0 22 0 30596884 10060525568 162838 33554432000 1073741824 1073778376 140734998503216 140517305383848 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23170/tid=23177] ppid=23167 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/23170/task/23177/stat : 23177 (java) S 23167 23170 22007 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 22 0 30596884 10060525568 162838 33554432000 1073741824 1073778376 140734998503216 140516968622376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23170/tid=23178] ppid=23167 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/23170/task/23178/stat : 23178 (java) S 23167 23170 22007 0 -1 4202560 24 0 0 0 4 0 0 0 20 0 22 0 30596884 10060525568 162838 33554432000 1073741824 1073778376 140734998503216 140516967569576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23170/tid=23179] ppid=23167 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/23170/task/23179/stat : 23179 (java) S 23167 23170 22007 0 -1 4202560 28 0 0 0 4 2 0 0 20 0 22 0 30596884 10060525568 162838 33554432000 1073741824 1073778376 140734998503216 140516966517288 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23170/tid=23180] ppid=23167 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/23170/task/23180/stat : 23180 (java) S 23167 23170 22007 0 -1 4202560 38 0 0 0 6 1 0 0 20 0 22 0 30596884 10060525568 162838 33554432000 1073741824 1073778376 140734998503216 140516965464488 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23170/tid=23181] ppid=23167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23170/task/23181/stat : 23181 (java) S 23167 23170 22007 0 -1 4202560 461 0 0 0 0 0 0 0 20 0 22 0 30596886 10060525568 162838 33554432000 1073741824 1073778376 140734998503216 140516953053928 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23170/tid=23182] ppid=23167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23170/task/23182/stat : 23182 (java) S 23167 23170 22007 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 30596886 10060525568 162838 33554432000 1073741824 1073778376 140734998503216 140516951999992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23170/tid=23183] ppid=23167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23170/task/23183/stat : 23183 (java) S 23167 23170 22007 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 30596886 10060525568 162838 33554432000 1073741824 1073778376 140734998503216 140516950947592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23170/tid=23184] ppid=23167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23170/task/23184/stat : 23184 (java) S 23167 23170 22007 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30596888 10060525568 162838 33554432000 1073741824 1073778376 140734998503216 140516949896080 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23170/tid=23185] ppid=23167 vsize=9824732 CPUtime=1.87 cores=0,2,4,6
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.28 4.32 4.29 6/219 23280
/proc/meminfo: memFree=22894180/32872528 swapFree=1437460/1543748
[pid=23170] ppid=23167 vsize=9824732 CPUtime=1655.08 cores=0,2,4,6
/proc/23170/stat : 23170 (java) S 23167 23170 22007 0 -1 4202496 36889 0 1 0 165321 187 0 0 20 0 22 0 30596882 10060525568 935145 33554432000 1073741824 1073778376 140734998503216 140734998494352 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23170/statm: 2456183 935145 2301 9 0 2446860 0
[pid=23170/tid=23172] ppid=23167 vsize=9824732 CPUtime=0.53 cores=0,2,4,6
/proc/23170/task/23172/stat : 23172 (java) S 23167 23170 22007 0 -1 4202560 2450 0 1 0 50 3 0 0 20 0 22 0 30596883 10060525568 935145 33554432000 1073741824 1073778376 140734998503216 140517330441080 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23170/tid=23173] ppid=23167 vsize=9824732 CPUtime=2.48 cores=0,2,4,6
/proc/23170/task/23173/stat : 23173 (java) S 23167 23170 22007 0 -1 4202560 993 0 0 0 235 13 0 0 20 0 22 0 30596884 10060525568 935145 33554432000 1073741824 1073778376 140734998503216 140517308541736 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23170/tid=23174] ppid=23167 vsize=9824732 CPUtime=3 cores=0,2,4,6
/proc/23170/task/23174/stat : 23174 (java) S 23167 23170 22007 0 -1 4202560 661 0 0 0 282 18 0 0 20 0 22 0 30596884 10060525568 935145 33554432000 1073741824 1073778376 140734998503216 140517307488936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23170/tid=23175] ppid=23167 vsize=9824732 CPUtime=3.04 cores=0,2,4,6
/proc/23170/task/23175/stat : 23175 (java) S 23167 23170 22007 0 -1 4202560 666 0 0 0 287 17 0 0 20 0 22 0 30596884 10060525568 935145 33554432000 1073741824 1073778376 140734998503216 140517306436648 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23170/tid=23176] ppid=23167 vsize=9824732 CPUtime=3.15 cores=0,2,4,6
/proc/23170/task/23176/stat : 23176 (java) S 23167 23170 22007 0 -1 4202560 570 0 0 0 298 17 0 0 20 0 22 0 30596884 10060525568 935145 33554432000 1073741824 1073778376 140734998503216 140517305383848 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23170/tid=23177] ppid=23167 vsize=9824732 CPUtime=2.93 cores=0,2,4,6
/proc/23170/task/23177/stat : 23177 (java) S 23167 23170 22007 0 -1 4202560 632 0 0 0 278 15 0 0 20 0 22 0 30596884 10060525568 935145 33554432000 1073741824 1073778376 140734998503216 140516968622376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23170/tid=23178] ppid=23167 vsize=9824732 CPUtime=2.94 cores=0,2,4,6
/proc/23170/task/23178/stat : 23178 (java) S 23167 23170 22007 0 -1 4202560 587 0 0 0 279 15 0 0 20 0 22 0 30596884 10060525568 935145 33554432000 1073741824 1073778376 140734998503216 140516967569576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23170/tid=23179] ppid=23167 vsize=9824732 CPUtime=3.08 cores=0,2,4,6
/proc/23170/task/23179/stat : 23179 (java) S 23167 23170 22007 0 -1 4202560 744 0 0 0 290 18 0 0 20 0 22 0 30596884 10060525568 935145 33554432000 1073741824 1073778376 140734998503216 140516966517288 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23170/tid=23180] ppid=23167 vsize=9824732 CPUtime=2.66 cores=0,2,4,6
/proc/23170/task/23180/stat : 23180 (java) S 23167 23170 22007 0 -1 4202560 646 0 0 0 251 15 0 0 20 0 22 0 30596884 10060525568 935145 33554432000 1073741824 1073778376 140734998503216 140516965464488 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23170/tid=23181] ppid=23167 vsize=9824732 CPUtime=3.5 cores=0,2,4,6
/proc/23170/task/23181/stat : 23181 (java) S 23167 23170 22007 0 -1 4202560 2301 0 0 0 342 8 0 0 20 0 22 0 30596886 10060525568 935145 33554432000 1073741824 1073778376 140734998503216 140516953053928 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23170/tid=23182] ppid=23167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23170/task/23182/stat : 23182 (java) S 23167 23170 22007 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 30596886 10060525568 935145 33554432000 1073741824 1073778376 140734998503216 140516951999992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23170/tid=23183] ppid=23167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23170/task/23183/stat : 23183 (java) S 23167 23170 22007 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 30596886 10060525568 935145 33554432000 1073741824 1073778376 140734998503216 140516950947592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23170/tid=23184] ppid=23167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23170/task/23184/stat : 23184 (java) S 23167 23170 22007 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30596888 10060525568 935145 33554432000 1073741824 1073778376 140734998503216 140516949896080 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23170/tid=23185] ppid=23167 vsize=9824732 CPUtime=2.2 cores=0,2,4,6
/proc/23170/task/23185/stat : 23185 (java) S 23167 23170 22007 0 -1 4202560 13086 0 0 0 217 3 0 0 20 0 22 0 30596888 10060525568 935145 33554432000 1073741824 1073778376 140734998503216 140516948842680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23170/tid=23186] ppid=23167 vsize=9824732 CPUtime=1.6 cores=0,2,4,6
/proc/23170/task/23186/stat : 23186 (java) S 23167 23170 22007 0 -1 4202560 10547 0 0 0 158 2 0 0 20 0 22 0 30596888 10060525568 935145 33554432000 1073741824 1073778376 140734998503216 140516947789880 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23170/tid=23187] ppid=23167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23170/task/23187/stat : 23187 (java) S 23167 23170 22007 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30596888 10060525568 935145 33554432000 1073741824 1073778376 140734998503216 140516946737784 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23170/tid=23188] ppid=23167 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/23170/task/23188/stat : 23188 (java) S 23167 23170 22007 0 -1 4202560 47 0 0 0 17 15 0 0 20 0 22 0 30596888 10060525568 935145 33554432000 1073741824 1073778376 140734998503216 140516945685192 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23170/tid=23189] ppid=23167 vsize=9824732 CPUtime=811.98 cores=0,2,4,6
/proc/23170/task/23189/stat : 23189 (java) R 23167 23170 22007 0 -1 4202560 75 0 0 0 81184 14 0 0 20 0 22 0 30596934 10060525568 935145 33554432000 1073741824 1073778376 140734998503216 140516944629616 140517187466081 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23170/tid=23190] ppid=23167 vsize=9824732 CPUtime=811.89 cores=0,2,4,6
/proc/23170/task/23190/stat : 23190 (java) R 23167 23170 22007 0 -1 4202560 1620 0 0 0 81142 47 0 0 20 0 22 0 30596934 10060525568 935145 33554432000 1073741824 1073778376 140734998503216 140516943577872 140517187577194 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23170/tid=23191] ppid=23167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23170/task/23191/stat : 23191 (java) S 23167 23170 22007 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30596935 10060525568 935145 33554432000 1073741824 1073778376 140734998503216 140516942526120 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23170/tid=23192] ppid=23167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23170/task/23192/stat : 23192 (java) S 23167 23170 22007 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30596935 10060525568 935145 33554432000 1073741824 1073778376 140734998503216 140516941473320 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1655.08
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.26 4.31 4.28 5/219 23281
/proc/meminfo: memFree=22834504/32872528 swapFree=1437460/1543748
[pid=23170] ppid=23167 vsize=9824732 CPUtime=1775.6 cores=0,2,4,6
/proc/23170/stat : 23170 (java) S 23167 23170 22007 0 -1 4202496 36928 0 1 0 177371 189 0 0 20 0 22 0 30596882 10060525568 938729 33554432000 1073741824 1073778376 140734998503216 140734998494352 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23170/statm: 2456183 938729 2301 9 0 2446860 0
[pid=23170/tid=23172] ppid=23167 vsize=9824732 CPUtime=0.53 cores=0,2,4,6
/proc/23170/task/23172/stat : 23172 (java) S 23167 23170 22007 0 -1 4202560 2450 0 1 0 50 3 0 0 20 0 22 0 30596883 10060525568 938729 33554432000 1073741824 1073778376 140734998503216 140517330441080 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23170/tid=23173] ppid=23167 vsize=9824732 CPUtime=2.63 cores=0,2,4,6
/proc/23170/task/23173/stat : 23173 (java) S 23167 23170 22007 0 -1 4202560 995 0 0 0 250 13 0 0 20 0 22 0 30596884 10060525568 938729 33554432000 1073741824 1073778376 140734998503216 140517308541736 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23170/tid=23174] ppid=23167 vsize=9824732 CPUtime=3.1 cores=0,2,4,6
/proc/23170/task/23174/stat : 23174 (java) S 23167 23170 22007 0 -1 4202560 664 0 0 0 292 18 0 0 20 0 22 0 30596884 10060525568 938729 33554432000 1073741824 1073778376 140734998503216 140517307488936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23170/tid=23175] ppid=23167 vsize=9824732 CPUtime=3.17 cores=0,2,4,6
/proc/23170/task/23175/stat : 23175 (java) S 23167 23170 22007 0 -1 4202560 666 0 0 0 300 17 0 0 20 0 22 0 30596884 10060525568 938729 33554432000 1073741824 1073778376 140734998503216 140517306436648 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23170/tid=23176] ppid=23167 vsize=9824732 CPUtime=3.27 cores=0,2,4,6
/proc/23170/task/23176/stat : 23176 (java) S 23167 23170 22007 0 -1 4202560 574 0 0 0 310 17 0 0 20 0 22 0 30596884 10060525568 938729 33554432000 1073741824 1073778376 140734998503216 140517305383848 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23170/tid=23177] ppid=23167 vsize=9824732 CPUtime=3.09 cores=0,2,4,6
/proc/23170/task/23177/stat : 23177 (java) S 23167 23170 22007 0 -1 4202560 636 0 0 0 294 15 0 0 20 0 22 0 30596884 10060525568 938729 33554432000 1073741824 1073778376 140734998503216 140516968622376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23170/tid=23178] ppid=23167 vsize=9824732 CPUtime=3.11 cores=0,2,4,6
/proc/23170/task/23178/stat : 23178 (java) S 23167 23170 22007 0 -1 4202560 593 0 0 0 295 16 0 0 20 0 22 0 30596884 10060525568 938729 33554432000 1073741824 1073778376 140734998503216 140516967569576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23170/tid=23179] ppid=23167 vsize=9824732 CPUtime=3.21 cores=0,2,4,6
/proc/23170/task/23179/stat : 23179 (java) S 23167 23170 22007 0 -1 4202560 746 0 0 0 303 18 0 0 20 0 22 0 30596884 10060525568 938729 33554432000 1073741824 1073778376 140734998503216 140516966517288 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23170/tid=23180] ppid=23167 vsize=9824732 CPUtime=2.81 cores=0,2,4,6
/proc/23170/task/23180/stat : 23180 (java) S 23167 23170 22007 0 -1 4202560 648 0 0 0 265 16 0 0 20 0 22 0 30596884 10060525568 938729 33554432000 1073741824 1073778376 140734998503216 140516965464488 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23170/tid=23181] ppid=23167 vsize=9824732 CPUtime=3.5 cores=0,2,4,6
/proc/23170/task/23181/stat : 23181 (java) S 23167 23170 22007 0 -1 4202560 2307 0 0 0 342 8 0 0 20 0 22 0 30596886 10060525568 938729 33554432000 1073741824 1073778376 140734998503216 140516953053928 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23170/tid=23182] ppid=23167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23170/task/23182/stat : 23182 (java) S 23167 23170 22007 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 30596886 10060525568 938729 33554432000 1073741824 1073778376 140734998503216 140516951999992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23170/tid=23183] ppid=23167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23170/task/23183/stat : 23183 (java) S 23167 23170 22007 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 30596886 10060525568 938729 33554432000 1073741824 1073778376 140734998503216 140516950947592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23170/tid=23184] ppid=23167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23170/task/23184/stat : 23184 (java) S 23167 23170 22007 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30596888 10060525568 938729 33554432000 1073741824 1073778376 140734998503216 140516949896080 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23170/tid=23185] ppid=23167 vsize=9824732 CPUtime=2.2 cores=0,2,4,6
/proc/23170/task/23185/stat : 23185 (java) S 23167 23170 22007 0 -1 4202560 13086 0 0 0 217 3 0 0 20 0 22 0 30596888 10060525568 938729 33554432000 1073741824 1073778376 140734998503216 140516948842680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23170/tid=23186] ppid=23167 vsize=9824732 CPUtime=1.6 cores=0,2,4,6
/proc/23170/task/23186/stat : 23186 (java) S 23167 23170 22007 0 -1 4202560 10547 0 0 0 158 2 0 0 20 0 22 0 30596888 10060525568 938729 33554432000 1073741824 1073778376 140734998503216 140516947789880 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23170/tid=23187] ppid=23167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23170/task/23187/stat : 23187 (java) S 23167 23170 22007 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30596888 10060525568 938729 33554432000 1073741824 1073778376 140734998503216 140516946737784 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23170/tid=23188] ppid=23167 vsize=9824732 CPUtime=0.36 cores=0,2,4,6
/proc/23170/task/23188/stat : 23188 (java) S 23167 23170 22007 0 -1 4202560 51 0 0 0 19 17 0 0 20 0 22 0 30596888 10060525568 938729 33554432000 1073741824 1073778376 140734998503216 140516945685192 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23170/tid=23189] ppid=23167 vsize=9824732 CPUtime=871.69 cores=0,2,4,6
/proc/23170/task/23189/stat : 23189 (java) R 23167 23170 22007 0 -1 4202560 78 0 0 0 87154 15 0 0 20 0 22 0 30596934 10060525568 938729 33554432000 1073741824 1073778376 140734998503216 140516944630864 140517187467068 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23170/tid=23190] ppid=23167 vsize=9824732 CPUtime=871.59 cores=0,2,4,6
/proc/23170/task/23190/stat : 23190 (java) R 23167 23170 22007 0 -1 4202560 1623 0 0 0 87111 48 0 0 20 0 22 0 30596934 10060525568 938729 33554432000 1073741824 1073778376 140734998503216 140516943576576 140517188078412 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23170/tid=23191] ppid=23167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23170/task/23191/stat : 23191 (java) S 23167 23170 22007 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30596935 10060525568 938729 33554432000 1073741824 1073778376 140734998503216 140516942526120 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23170/tid=23192] ppid=23167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23170/task/23192/stat : 23192 (java) S 23167 23170 22007 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30596935 10060525568 938729 33554432000 1073741824 1073778376 140734998503216 140516941473320 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1775.6
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+894.408 s]
/proc/loadavg: 4.20 4.29 4.28 6/219 23281
/proc/meminfo: memFree=22803788/32872528 swapFree=1437460/1543748
[pid=23170] ppid=23167 vsize=9824732 CPUtime=1800.06 cores=0,2,4,6
/proc/23170/stat : 23170 (java) S 23167 23170 22007 0 -1 4202496 36960 0 1 0 179815 191 0 0 20 0 22 0 30596882 10060525568 944873 33554432000 1073741824 1073778376 140734998503216 140734998494352 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23170/statm: 2456183 944873 2301 9 0 2446860 0
[pid=23170/tid=23172] ppid=23167 vsize=9824732 CPUtime=0.53 cores=0,2,4,6
/proc/23170/task/23172/stat : 23172 (java) S 23167 23170 22007 0 -1 4202560 2450 0 1 0 50 3 0 0 20 0 22 0 30596883 10060525568 944873 33554432000 1073741824 1073778376 140734998503216 140517330441080 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23170/tid=23173] ppid=23167 vsize=9824732 CPUtime=2.66 cores=0,2,4,6
/proc/23170/task/23173/stat : 23173 (java) S 23167 23170 22007 0 -1 4202560 996 0 0 0 253 13 0 0 20 0 22 0 30596884 10060525568 944873 33554432000 1073741824 1073778376 140734998503216 140517308541736 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23170/tid=23174] ppid=23167 vsize=9824732 CPUtime=3.2 cores=0,2,4,6
/proc/23170/task/23174/stat : 23174 (java) S 23167 23170 22007 0 -1 4202560 670 0 0 0 301 19 0 0 20 0 22 0 30596884 10060525568 944873 33554432000 1073741824 1073778376 140734998503216 140517307488936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23170/tid=23175] ppid=23167 vsize=9824732 CPUtime=3.27 cores=0,2,4,6
/proc/23170/task/23175/stat : 23175 (java) S 23167 23170 22007 0 -1 4202560 669 0 0 0 310 17 0 0 20 0 22 0 30596884 10060525568 944873 33554432000 1073741824 1073778376 140734998503216 140517306436648 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23170/tid=23176] ppid=23167 vsize=9824732 CPUtime=3.31 cores=0,2,4,6
/proc/23170/task/23176/stat : 23176 (java) S 23167 23170 22007 0 -1 4202560 575 0 0 0 314 17 0 0 20 0 22 0 30596884 10060525568 944873 33554432000 1073741824 1073778376 140734998503216 140517305383848 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23170/tid=23177] ppid=23167 vsize=9824732 CPUtime=3.14 cores=0,2,4,6
/proc/23170/task/23177/stat : 23177 (java) S 23167 23170 22007 0 -1 4202560 639 0 0 0 299 15 0 0 20 0 22 0 30596884 10060525568 944873 33554432000 1073741824 1073778376 140734998503216 140516968622376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23170/tid=23178] ppid=23167 vsize=9824732 CPUtime=3.21 cores=0,2,4,6
/proc/23170/task/23178/stat : 23178 (java) S 23167 23170 22007 0 -1 4202560 599 0 0 0 305 16 0 0 20 0 22 0 30596884 10060525568 944873 33554432000 1073741824 1073778376 140734998503216 140516967569576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23170/tid=23179] ppid=23167 vsize=9824732 CPUtime=3.31 cores=0,2,4,6
/proc/23170/task/23179/stat : 23179 (java) S 23167 23170 22007 0 -1 4202560 751 0 0 0 313 18 0 0 20 0 22 0 30596884 10060525568 944873 33554432000 1073741824 1073778376 140734998503216 140516966517288 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23170/tid=23180] ppid=23167 vsize=9824732 CPUtime=2.91 cores=0,2,4,6
/proc/23170/task/23180/stat : 23180 (java) S 23167 23170 22007 0 -1 4202560 653 0 0 0 275 16 0 0 20 0 22 0 30596884 10060525568 944873 33554432000 1073741824 1073778376 140734998503216 140516965464488 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23170/tid=23181] ppid=23167 vsize=9824732 CPUtime=3.5 cores=0,2,4,6
/proc/23170/task/23181/stat : 23181 (java) S 23167 23170 22007 0 -1 4202560 2307 0 0 0 342 8 0 0 20 0 22 0 30596886 10060525568 944873 33554432000 1073741824 1073778376 140734998503216 140516953053928 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23170/tid=23182] ppid=23167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23170/task/23182/stat : 23182 (java) S 23167 23170 22007 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 30596886 10060525568 944873 33554432000 1073741824 1073778376 140734998503216 140516951999992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23170/tid=23183] ppid=23167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23170/task/23183/stat : 23183 (java) S 23167 23170 22007 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 30596886 10060525568 944873 33554432000 1073741824 1073778376 140734998503216 140516950947592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23170/tid=23184] ppid=23167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23170/task/23184/stat : 23184 (java) S 23167 23170 22007 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30596888 10060525568 944873 33554432000 1073741824 1073778376 140734998503216 140516949896080 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23170/tid=23185] ppid=23167 vsize=9824732 CPUtime=2.2 cores=0,2,4,6
/proc/23170/task/23185/stat : 23185 (java) S 23167 23170 22007 0 -1 4202560 13086 0 0 0 217 3 0 0 20 0 22 0 30596888 10060525568 944873 33554432000 1073741824 1073778376 140734998503216 140516948842680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23170/tid=23186] ppid=23167 vsize=9824732 CPUtime=1.6 cores=0,2,4,6
/proc/23170/task/23186/stat : 23186 (java) S 23167 23170 22007 0 -1 4202560 10547 0 0 0 158 2 0 0 20 0 22 0 30596888 10060525568 944873 33554432000 1073741824 1073778376 140734998503216 140516947789880 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23170/tid=23187] ppid=23167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23170/task/23187/stat : 23187 (java) S 23167 23170 22007 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30596888 10060525568 944873 33554432000 1073741824 1073778376 140734998503216 140516946737784 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23170/tid=23188] ppid=23167 vsize=9824732 CPUtime=0.36 cores=0,2,4,6
/proc/23170/task/23188/stat : 23188 (java) S 23167 23170 22007 0 -1 4202560 51 0 0 0 19 17 0 0 20 0 22 0 30596888 10060525568 944873 33554432000 1073741824 1073778376 140734998503216 140516945685192 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23170/tid=23189] ppid=23167 vsize=9824732 CPUtime=883.62 cores=0,2,4,6
/proc/23170/task/23189/stat : 23189 (java) R 23167 23170 22007 0 -1 4202560 78 0 0 0 88346 16 0 0 20 0 22 0 30596934 10060525568 944873 33554432000 1073741824 1073778376 140734998503216 140516944629616 140517187474429 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23170/tid=23190] ppid=23167 vsize=9824732 CPUtime=883.52 cores=0,2,4,6
/proc/23170/task/23190/stat : 23190 (java) R 23167 23170 22007 0 -1 4202560 1625 0 0 0 88304 48 0 0 20 0 22 0 30596934 10060525568 944873 33554432000 1073741824 1073778376 140734998503216 140516943577872 140517187501453 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23170/tid=23191] ppid=23167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23170/task/23191/stat : 23191 (java) S 23167 23170 22007 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30596935 10060525568 944873 33554432000 1073741824 1073778376 140734998503216 140516942526120 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23170/tid=23192] ppid=23167 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23170/task/23192/stat : 23192 (java) S 23167 23170 22007 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30596935 10060525568 944873 33554432000 1073741824 1073778376 140734998503216 140516941473320 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
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 23170 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 894.476
CPU time (s): 1800.75
CPU user time (s): 1798.3
CPU system time (s): 2.45063
CPU usage (%): 201.319
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.3
system time used= 2.45063
maximum resident set size= 3779608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36993
page faults= 1
swaps= 0
block input operations= 0
block output operations= 920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24397
involuntary context switches= 27900
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.87611 second user time and 7.51186 second system time
The end