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-4100637-1466215338/watcher-4100637-1466215338 -o /tmp/evaluation-result-4100637-1466215338/solver-4100637-1466215338 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1466206086-25994 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4100637-1466215338.opb
pid=28174
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: 2.32 2.27 2.21 3/194 28177
/proc/meminfo: memFree=30250036/32872528 swapFree=1244176/1391344
[pid=28177] ppid=28174 vsize=132 CPUtime=0 cores=1,3,5,7
/proc/28177/stat : 28177 (java) R 28174 28177 25977 0 -1 4194304 125 0 0 0 0 0 0 0 20 0 1 0 23582414 135168 1 33554432000 0 0 140735014668003 140733284687064 272886295991 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28177/statm: 67 3 0 0 0 24 0
[startup+0.100661 s]
/proc/loadavg: 2.32 2.27 2.21 3/194 28177
/proc/meminfo: memFree=30250036/32872528 swapFree=1244176/1391344
[pid=28177] ppid=28174 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/28177/stat : 28177 (java) S 28174 28177 25977 0 -1 4202496 3905 0 1 0 6 1 0 0 20 0 18 0 23582414 9787879424 5034 33554432000 1073741824 1073778376 140734397115536 140734397106672 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28177/statm: 2389619 5037 2007 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558476
[startup+0.200345 s]
/proc/loadavg: 2.32 2.27 2.21 3/194 28177
/proc/meminfo: memFree=30250036/32872528 swapFree=1244176/1391344
[pid=28177] ppid=28174 vsize=9558476 CPUtime=0.25 cores=1,3,5,7
/proc/28177/stat : 28177 (java) S 28174 28177 25977 0 -1 4202496 4956 0 1 0 24 1 0 0 20 0 18 0 23582414 9787879424 6961 33554432000 1073741824 1073778376 140734397115536 140734397106672 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28177/statm: 2389619 6961 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476
[startup+0.300246 s]
/proc/loadavg: 2.32 2.27 2.21 3/194 28177
/proc/meminfo: memFree=30250036/32872528 swapFree=1244176/1391344
[pid=28177] ppid=28174 vsize=9558476 CPUtime=0.51 cores=1,3,5,7
/proc/28177/stat : 28177 (java) S 28174 28177 25977 0 -1 4202496 8860 0 1 0 49 2 0 0 20 0 18 0 23582414 9787879424 11437 33554432000 1073741824 1073778376 140734397115536 140734397106672 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28177/statm: 2389619 11437 2237 9 0 2380296 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9558476
[startup+0.700238 s]
/proc/loadavg: 2.32 2.27 2.21 3/194 28177
/proc/meminfo: memFree=30250036/32872528 swapFree=1244176/1391344
[pid=28177] ppid=28174 vsize=9625040 CPUtime=1.3 cores=1,3,5,7
/proc/28177/stat : 28177 (java) S 28174 28177 25977 0 -1 4202496 10110 0 1 0 127 3 0 0 20 0 19 0 23582414 9856040960 13012 33554432000 1073741824 1073778376 140734397115536 140734397106672 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28177/statm: 2406260 13012 2253 9 0 2396937 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 9625040
[startup+1.50078 s]
/proc/loadavg: 2.32 2.27 2.21 3/213 28196
/proc/meminfo: memFree=30199980/32872528 swapFree=1244176/1391344
[pid=28177] ppid=28174 vsize=9625040 CPUtime=2.21 cores=1,3,5,7
/proc/28177/stat : 28177 (java) S 28174 28177 25977 0 -1 4202496 10966 0 1 0 218 3 0 0 20 0 19 0 23582414 9856040960 16607 33554432000 1073741824 1073778376 140734397115536 140734397106672 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28177/statm: 2406260 16607 2263 9 0 2396937 0
[pid=28177/tid=28179] ppid=28174 vsize=9625040 CPUtime=1.45 cores=1,3,5,7
/proc/28177/task/28179/stat : 28179 (java) R 28174 28177 25977 0 -1 4202560 2423 0 1 0 143 2 0 0 20 0 19 0 23582416 9856040960 16607 33554432000 1073741824 1073778376 140734397115536 140393854495208 140393707071421 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28177/tid=28180] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28180/stat : 28180 (java) S 28174 28177 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23582418 9856040960 16607 33554432000 1073741824 1073778376 140734397115536 140393826950056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28177/tid=28181] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28181/stat : 28181 (java) S 28174 28177 25977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 23582418 9856040960 16607 33554432000 1073741824 1073778376 140734397115536 140393825897512 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28177/tid=28182] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28182/stat : 28182 (java) S 28174 28177 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23582418 9856040960 16607 33554432000 1073741824 1073778376 140734397115536 140393695455912 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28177/tid=28183] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28183/stat : 28183 (java) S 28174 28177 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23582418 9856040960 16607 33554432000 1073741824 1073778376 140734397115536 140393694403368 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28177/tid=28184] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28184/stat : 28184 (java) S 28174 28177 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23582418 9856040960 16607 33554432000 1073741824 1073778376 140734397115536 140393693350312 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28177/tid=28185] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28185/stat : 28185 (java) S 28174 28177 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23582418 9856040960 16607 33554432000 1073741824 1073778376 140734397115536 140393692297768 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28177/tid=28186] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28186/stat : 28186 (java) S 28174 28177 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23582418 9856040960 16607 33554432000 1073741824 1073778376 140734397115536 140393691244712 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28177/tid=28187] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28187/stat : 28187 (java) S 28174 28177 25977 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23582418 9856040960 16607 33554432000 1073741824 1073778376 140734397115536 140393219877160 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28177/tid=28188] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28188/stat : 28188 (java) S 28174 28177 25977 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 23582419 9856040960 16607 33554432000 1073741824 1073778376 140734397115536 140393207679848 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28177/tid=28189] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28189/stat : 28189 (java) S 28174 28177 25977 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 23582419 9856040960 16607 33554432000 1073741824 1073778376 140734397115536 140393206626168 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28177/tid=28190] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28190/stat : 28190 (java) S 28174 28177 25977 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23582419 9856040960 16607 33554432000 1073741824 1073778376 140734397115536 140393205573000 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28177/tid=28191] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28191/stat : 28191 (java) S 28174 28177 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23582422 9856040960 16607 33554432000 1073741824 1073778376 140734397115536 140393204521744 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28177/tid=28192] ppid=28174 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/28177/task/28192/stat : 28192 (java) S 28174 28177 25977 0 -1 4202560 3402 0 0 0 37 0 0 0 20 0 19 0 23582422 9856040960 16607 33554432000 1073741824 1073778376 140734397115536 140393203468600 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28177/tid=28193] ppid=28174 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/28177/task/28193/stat : 28193 (java) S 28174 28177 25977 0 -1 4202560 3867 0 0 0 35 0 0 0 20 0 19 0 23582422 9856040960 16607 33554432000 1073741824 1073778376 140734397115536 140393202416056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28177/tid=28194] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28194/stat : 28194 (java) S 28174 28177 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23582422 9856040960 16607 33554432000 1073741824 1073778376 140734397115536 140393201363192 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28177/tid=28195] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28195/stat : 28195 (java) S 28174 28177 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23582422 9856040960 16607 33554432000 1073741824 1073778376 140734397115536 140393200310856 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28177/tid=28196] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28196/stat : 28196 (java) S 28174 28177 25977 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23582446 9856040960 16607 33554432000 1073741824 1073778376 140734397115536 140393199158824 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.21
Current children cumulated vsize (KiB) 9625040
[startup+3.10084 s]
/proc/loadavg: 2.32 2.27 2.21 3/213 28196
/proc/meminfo: memFree=30177204/32872528 swapFree=1244176/1391344
[pid=28177] ppid=28174 vsize=9625040 CPUtime=3.9 cores=1,3,5,7
/proc/28177/stat : 28177 (java) S 28174 28177 25977 0 -1 4202496 11862 0 1 0 386 4 0 0 20 0 19 0 23582414 9856040960 30320 33554432000 1073741824 1073778376 140734397115536 140734397106672 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28177/statm: 2406260 30320 2263 9 0 2396937 0
[pid=28177/tid=28179] ppid=28174 vsize=9625040 CPUtime=3.05 cores=1,3,5,7
/proc/28177/task/28179/stat : 28179 (java) R 28174 28177 25977 0 -1 4202560 2449 0 1 0 303 2 0 0 20 0 19 0 23582416 9856040960 30320 33554432000 1073741824 1073778376 140734397115536 140393854497064 140393707036672 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28177/tid=28180] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28180/stat : 28180 (java) S 28174 28177 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23582418 9856040960 30320 33554432000 1073741824 1073778376 140734397115536 140393826950056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28177/tid=28181] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28181/stat : 28181 (java) S 28174 28177 25977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 23582418 9856040960 30320 33554432000 1073741824 1073778376 140734397115536 140393825897512 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28177/tid=28182] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28182/stat : 28182 (java) S 28174 28177 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23582418 9856040960 30320 33554432000 1073741824 1073778376 140734397115536 140393695455912 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28177/tid=28183] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28183/stat : 28183 (java) S 28174 28177 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23582418 9856040960 30320 33554432000 1073741824 1073778376 140734397115536 140393694403368 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28177/tid=28184] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28184/stat : 28184 (java) S 28174 28177 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23582418 9856040960 30320 33554432000 1073741824 1073778376 140734397115536 140393693350312 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28177/tid=28185] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28185/stat : 28185 (java) S 28174 28177 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23582418 9856040960 30320 33554432000 1073741824 1073778376 140734397115536 140393692297768 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28177/tid=28186] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28186/stat : 28186 (java) S 28174 28177 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23582418 9856040960 30320 33554432000 1073741824 1073778376 140734397115536 140393691244712 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28177/tid=28187] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28187/stat : 28187 (java) S 28174 28177 25977 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23582418 9856040960 30320 33554432000 1073741824 1073778376 140734397115536 140393219877160 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28177/tid=28188] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28188/stat : 28188 (java) S 28174 28177 25977 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 23582419 9856040960 30320 33554432000 1073741824 1073778376 140734397115536 140393207679848 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28177/tid=28189] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28189/stat : 28189 (java) S 28174 28177 25977 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 23582419 9856040960 30320 33554432000 1073741824 1073778376 140734397115536 140393206626168 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28177/tid=28190] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28190/stat : 28190 (java) S 28174 28177 25977 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23582419 9856040960 30320 33554432000 1073741824 1073778376 140734397115536 140393205573000 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28177/tid=28191] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28191/stat : 28191 (java) S 28174 28177 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23582422 9856040960 30320 33554432000 1073741824 1073778376 140734397115536 140393204521744 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28177/tid=28192] ppid=28174 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/28177/task/28192/stat : 28192 (java) S 28174 28177 25977 0 -1 4202560 4272 0 0 0 43 0 0 0 20 0 19 0 23582422 9856040960 30320 33554432000 1073741824 1073778376 140734397115536 140393203468600 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28177/tid=28193] ppid=28174 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/28177/task/28193/stat : 28193 (java) S 28174 28177 25977 0 -1 4202560 3867 0 0 0 38 0 0 0 20 0 19 0 23582422 9856040960 30320 33554432000 1073741824 1073778376 140734397115536 140393202416056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28177/tid=28194] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28194/stat : 28194 (java) S 28174 28177 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23582422 9856040960 30320 33554432000 1073741824 1073778376 140734397115536 140393201363192 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28177/tid=28195] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28195/stat : 28195 (java) S 28174 28177 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23582422 9856040960 30320 33554432000 1073741824 1073778376 140734397115536 140393200310856 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28177/tid=28196] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28196/stat : 28196 (java) S 28174 28177 25977 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23582446 9856040960 30320 33554432000 1073741824 1073778376 140734397115536 140393199158824 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.9
Current children cumulated vsize (KiB) 9625040
[startup+6.30087 s]
/proc/loadavg: 2.29 2.26 2.20 3/213 28196
/proc/meminfo: memFree=30084484/32872528 swapFree=1244176/1391344
[pid=28177] ppid=28174 vsize=9625040 CPUtime=7.14 cores=1,3,5,7
/proc/28177/stat : 28177 (java) S 28174 28177 25977 0 -1 4202496 11943 0 1 0 707 7 0 0 20 0 19 0 23582414 9856040960 46290 33554432000 1073741824 1073778376 140734397115536 140734397106672 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28177/statm: 2406260 46290 2277 9 0 2396937 0
[pid=28177/tid=28179] ppid=28174 vsize=9625040 CPUtime=6.23 cores=1,3,5,7
/proc/28177/task/28179/stat : 28179 (java) R 28174 28177 25977 0 -1 4202560 2477 0 1 0 620 3 0 0 20 0 19 0 23582416 9856040960 46290 33554432000 1073741824 1073778376 140734397115536 140393854495936 140393707106174 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28177/tid=28180] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28180/stat : 28180 (java) S 28174 28177 25977 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 23582418 9856040960 46290 33554432000 1073741824 1073778376 140734397115536 140393826950056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28177/tid=28181] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28181/stat : 28181 (java) S 28174 28177 25977 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23582418 9856040960 46290 33554432000 1073741824 1073778376 140734397115536 140393825897512 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28177/tid=28182] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28182/stat : 28182 (java) S 28174 28177 25977 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 23582418 9856040960 46290 33554432000 1073741824 1073778376 140734397115536 140393695455912 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28177/tid=28183] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28183/stat : 28183 (java) S 28174 28177 25977 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 23582418 9856040960 46290 33554432000 1073741824 1073778376 140734397115536 140393694403368 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28177/tid=28184] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28184/stat : 28184 (java) S 28174 28177 25977 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 23582418 9856040960 46290 33554432000 1073741824 1073778376 140734397115536 140393693350312 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28177/tid=28185] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28185/stat : 28185 (java) S 28174 28177 25977 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23582418 9856040960 46290 33554432000 1073741824 1073778376 140734397115536 140393692297768 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28177/tid=28186] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28186/stat : 28186 (java) S 28174 28177 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23582418 9856040960 46290 33554432000 1073741824 1073778376 140734397115536 140393691244712 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28177/tid=28187] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28187/stat : 28187 (java) S 28174 28177 25977 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 23582418 9856040960 46290 33554432000 1073741824 1073778376 140734397115536 140393219877160 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28177/tid=28188] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28188/stat : 28188 (java) S 28174 28177 25977 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 23582419 9856040960 46290 33554432000 1073741824 1073778376 140734397115536 140393207679848 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28177/tid=28189] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28189/stat : 28189 (java) S 28174 28177 25977 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23582419 9856040960 46290 33554432000 1073741824 1073778376 140734397115536 140393206626168 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28177/tid=28190] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28190/stat : 28190 (java) S 28174 28177 25977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23582419 9856040960 46290 33554432000 1073741824 1073778376 140734397115536 140393205573000 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28177/tid=28191] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28191/stat : 28191 (java) S 28174 28177 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23582422 9856040960 46290 33554432000 1073741824 1073778376 140734397115536 140393204521744 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28177/tid=28192] ppid=28174 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/28177/task/28192/stat : 28192 (java) S 28174 28177 25977 0 -1 4202560 4272 0 0 0 43 0 0 0 20 0 19 0 23582422 9856040960 46290 33554432000 1073741824 1073778376 140734397115536 140393203468600 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28177/tid=28193] ppid=28174 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/28177/task/28193/stat : 28193 (java) S 28174 28177 25977 0 -1 4202560 3867 0 0 0 38 0 0 0 20 0 19 0 23582422 9856040960 46290 33554432000 1073741824 1073778376 140734397115536 140393202416056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28177/tid=28194] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28194/stat : 28194 (java) S 28174 28177 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23582422 9856040960 46290 33554432000 1073741824 1073778376 140734397115536 140393201363192 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28177/tid=28195] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28195/stat : 28195 (java) S 28174 28177 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23582422 9856040960 46290 33554432000 1073741824 1073778376 140734397115536 140393200310856 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28177/tid=28196] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28196/stat : 28196 (java) S 28174 28177 25977 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23582446 9856040960 46290 33554432000 1073741824 1073778376 140734397115536 140393199158824 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.14
Current children cumulated vsize (KiB) 9625040
################
# More data... #
################
[pid=28177/tid=28189] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28189/stat : 28189 (java) S 28174 28177 25977 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23582419 9856040960 60251 33554432000 1073741824 1073778376 140734397115536 140393206626168 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28177/tid=28190] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28190/stat : 28190 (java) S 28174 28177 25977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23582419 9856040960 60251 33554432000 1073741824 1073778376 140734397115536 140393205573000 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28177/tid=28191] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28191/stat : 28191 (java) S 28174 28177 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23582422 9856040960 60251 33554432000 1073741824 1073778376 140734397115536 140393204521744 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28177/tid=28192] ppid=28174 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/28177/task/28192/stat : 28192 (java) S 28174 28177 25977 0 -1 4202560 4273 0 0 0 43 0 0 0 20 0 19 0 23582422 9856040960 60251 33554432000 1073741824 1073778376 140734397115536 140393203468600 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28177/tid=28193] ppid=28174 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/28177/task/28193/stat : 28193 (java) S 28174 28177 25977 0 -1 4202560 3867 0 0 0 38 0 0 0 20 0 19 0 23582422 9856040960 60251 33554432000 1073741824 1073778376 140734397115536 140393202416056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28177/tid=28194] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28194/stat : 28194 (java) S 28174 28177 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23582422 9856040960 60251 33554432000 1073741824 1073778376 140734397115536 140393201363192 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28177/tid=28195] ppid=28174 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/28177/task/28195/stat : 28195 (java) S 28174 28177 25977 0 -1 4202560 92 0 0 0 19 28 0 0 20 0 19 0 23582422 9856040960 60251 33554432000 1073741824 1073778376 140734397115536 140393200310856 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28177/tid=28196] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28196/stat : 28196 (java) S 28174 28177 25977 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23582446 9856040960 60251 33554432000 1073741824 1073778376 140734397115536 140393199158824 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1619.97
Current children cumulated vsize (KiB) 9625040
[startup+1662.3 s]
/proc/loadavg: 2.24 2.19 2.18 3/213 28299
/proc/meminfo: memFree=29675076/32872528 swapFree=1244176/1391344
[pid=28177] ppid=28174 vsize=9625040 CPUtime=1680.36 cores=1,3,5,7
/proc/28177/stat : 28177 (java) S 28174 28177 25977 0 -1 4202496 35577 0 1 0 167918 118 0 0 20 0 19 0 23582414 9856040960 61495 33554432000 1073741824 1073778376 140734397115536 140734397106672 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28177/statm: 2406260 61495 2285 9 0 2396937 0
[pid=28177/tid=28179] ppid=28174 vsize=9625040 CPUtime=1652.09 cores=1,3,5,7
/proc/28177/task/28179/stat : 28179 (java) R 28174 28177 25977 0 -1 4202560 11703 0 1 0 165172 37 0 0 20 0 19 0 23582416 9856040960 61495 33554432000 1073741824 1073778376 140734397115536 140393854495936 140393707105141 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28177/tid=28180] ppid=28174 vsize=9625040 CPUtime=3.25 cores=1,3,5,7
/proc/28177/task/28180/stat : 28180 (java) S 28174 28177 25977 0 -1 4202560 1951 0 0 0 316 9 0 0 20 0 19 0 23582418 9856040960 61495 33554432000 1073741824 1073778376 140734397115536 140393826950056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28177/tid=28181] ppid=28174 vsize=9625040 CPUtime=3.38 cores=1,3,5,7
/proc/28177/task/28181/stat : 28181 (java) S 28174 28177 25977 0 -1 4202560 2115 0 0 0 330 8 0 0 20 0 19 0 23582418 9856040960 61495 33554432000 1073741824 1073778376 140734397115536 140393825897512 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28177/tid=28182] ppid=28174 vsize=9625040 CPUtime=3.32 cores=1,3,5,7
/proc/28177/task/28182/stat : 28182 (java) S 28174 28177 25977 0 -1 4202560 1944 0 0 0 323 9 0 0 20 0 19 0 23582418 9856040960 61495 33554432000 1073741824 1073778376 140734397115536 140393695455912 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28177/tid=28183] ppid=28174 vsize=9625040 CPUtime=3.2 cores=1,3,5,7
/proc/28177/task/28183/stat : 28183 (java) S 28174 28177 25977 0 -1 4202560 1937 0 0 0 312 8 0 0 20 0 19 0 23582418 9856040960 61495 33554432000 1073741824 1073778376 140734397115536 140393694403368 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28177/tid=28184] ppid=28174 vsize=9625040 CPUtime=3.3 cores=1,3,5,7
/proc/28177/task/28184/stat : 28184 (java) S 28174 28177 25977 0 -1 4202560 1302 0 0 0 321 9 0 0 20 0 19 0 23582418 9856040960 61495 33554432000 1073741824 1073778376 140734397115536 140393693350312 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28177/tid=28185] ppid=28174 vsize=9625040 CPUtime=3.16 cores=1,3,5,7
/proc/28177/task/28185/stat : 28185 (java) S 28174 28177 25977 0 -1 4202560 1490 0 0 0 308 8 0 0 20 0 19 0 23582418 9856040960 61495 33554432000 1073741824 1073778376 140734397115536 140393692297768 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28177/tid=28186] ppid=28174 vsize=9625040 CPUtime=3.44 cores=1,3,5,7
/proc/28177/task/28186/stat : 28186 (java) S 28174 28177 25977 0 -1 4202560 1730 0 0 0 334 10 0 0 20 0 19 0 23582418 9856040960 61495 33554432000 1073741824 1073778376 140734397115536 140393691244712 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28177/tid=28187] ppid=28174 vsize=9625040 CPUtime=3.42 cores=1,3,5,7
/proc/28177/task/28187/stat : 28187 (java) S 28174 28177 25977 0 -1 4202560 1618 0 0 0 334 8 0 0 20 0 19 0 23582418 9856040960 61495 33554432000 1073741824 1073778376 140734397115536 140393219877160 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28177/tid=28188] ppid=28174 vsize=9625040 CPUtime=0.94 cores=1,3,5,7
/proc/28177/task/28188/stat : 28188 (java) S 28174 28177 25977 0 -1 4202560 294 0 0 0 81 13 0 0 20 0 19 0 23582419 9856040960 61495 33554432000 1073741824 1073778376 140734397115536 140393207679848 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28177/tid=28189] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28189/stat : 28189 (java) S 28174 28177 25977 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23582419 9856040960 61495 33554432000 1073741824 1073778376 140734397115536 140393206626168 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28177/tid=28190] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28190/stat : 28190 (java) S 28174 28177 25977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23582419 9856040960 61495 33554432000 1073741824 1073778376 140734397115536 140393205573000 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28177/tid=28191] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28191/stat : 28191 (java) S 28174 28177 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23582422 9856040960 61495 33554432000 1073741824 1073778376 140734397115536 140393204521744 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28177/tid=28192] ppid=28174 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/28177/task/28192/stat : 28192 (java) S 28174 28177 25977 0 -1 4202560 4273 0 0 0 43 0 0 0 20 0 19 0 23582422 9856040960 61495 33554432000 1073741824 1073778376 140734397115536 140393203468600 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28177/tid=28193] ppid=28174 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/28177/task/28193/stat : 28193 (java) S 28174 28177 25977 0 -1 4202560 3867 0 0 0 38 0 0 0 20 0 19 0 23582422 9856040960 61495 33554432000 1073741824 1073778376 140734397115536 140393202416056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28177/tid=28194] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28194/stat : 28194 (java) S 28174 28177 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23582422 9856040960 61495 33554432000 1073741824 1073778376 140734397115536 140393201363192 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28177/tid=28195] ppid=28174 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/28177/task/28195/stat : 28195 (java) S 28174 28177 25977 0 -1 4202560 94 0 0 0 19 29 0 0 20 0 19 0 23582422 9856040960 61495 33554432000 1073741824 1073778376 140734397115536 140393200310856 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28177/tid=28196] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28196/stat : 28196 (java) S 28174 28177 25977 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23582446 9856040960 61495 33554432000 1073741824 1073778376 140734397115536 140393199158824 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1680.36
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.10 2.16 2.17 3/214 28303
/proc/meminfo: memFree=29198052/32872528 swapFree=1244176/1391344
[pid=28177] ppid=28174 vsize=9625040 CPUtime=1740.91 cores=1,3,5,7
/proc/28177/stat : 28177 (java) S 28174 28177 25977 0 -1 4202496 37000 0 1 0 173970 121 0 0 20 0 19 0 23582414 9856040960 62320 33554432000 1073741824 1073778376 140734397115536 140734397106672 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28177/statm: 2406260 62320 2285 9 0 2396937 0
[pid=28177/tid=28179] ppid=28174 vsize=9625040 CPUtime=1711.8 cores=1,3,5,7
/proc/28177/task/28179/stat : 28179 (java) R 28174 28177 25977 0 -1 4202560 12306 0 1 0 171142 38 0 0 20 0 19 0 23582416 9856040960 62320 33554432000 1073741824 1073778376 140734397115536 140393854496024 140393707105346 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28177/tid=28180] ppid=28174 vsize=9625040 CPUtime=3.35 cores=1,3,5,7
/proc/28177/task/28180/stat : 28180 (java) S 28174 28177 25977 0 -1 4202560 2066 0 0 0 326 9 0 0 20 0 19 0 23582418 9856040960 62320 33554432000 1073741824 1073778376 140734397115536 140393826950056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28177/tid=28181] ppid=28174 vsize=9625040 CPUtime=3.5 cores=1,3,5,7
/proc/28177/task/28181/stat : 28181 (java) S 28174 28177 25977 0 -1 4202560 2148 0 0 0 342 8 0 0 20 0 19 0 23582418 9856040960 62320 33554432000 1073741824 1073778376 140734397115536 140393825897512 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28177/tid=28182] ppid=28174 vsize=9625040 CPUtime=3.42 cores=1,3,5,7
/proc/28177/task/28182/stat : 28182 (java) S 28174 28177 25977 0 -1 4202560 1950 0 0 0 332 10 0 0 20 0 19 0 23582418 9856040960 62320 33554432000 1073741824 1073778376 140734397115536 140393695455912 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28177/tid=28183] ppid=28174 vsize=9625040 CPUtime=3.29 cores=1,3,5,7
/proc/28177/task/28183/stat : 28183 (java) S 28174 28177 25977 0 -1 4202560 1948 0 0 0 321 8 0 0 20 0 19 0 23582418 9856040960 62320 33554432000 1073741824 1073778376 140734397115536 140393694403368 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28177/tid=28184] ppid=28174 vsize=9625040 CPUtime=3.4 cores=1,3,5,7
/proc/28177/task/28184/stat : 28184 (java) S 28174 28177 25977 0 -1 4202560 1362 0 0 0 331 9 0 0 20 0 19 0 23582418 9856040960 62320 33554432000 1073741824 1073778376 140734397115536 140393693350312 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28177/tid=28185] ppid=28174 vsize=9625040 CPUtime=3.28 cores=1,3,5,7
/proc/28177/task/28185/stat : 28185 (java) S 28174 28177 25977 0 -1 4202560 1853 0 0 0 320 8 0 0 20 0 19 0 23582418 9856040960 62320 33554432000 1073741824 1073778376 140734397115536 140393692297768 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28177/tid=28186] ppid=28174 vsize=9625040 CPUtime=3.55 cores=1,3,5,7
/proc/28177/task/28186/stat : 28186 (java) S 28174 28177 25977 0 -1 4202560 1946 0 0 0 345 10 0 0 20 0 19 0 23582418 9856040960 62320 33554432000 1073741824 1073778376 140734397115536 140393691244712 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28177/tid=28187] ppid=28174 vsize=9625040 CPUtime=3.55 cores=1,3,5,7
/proc/28177/task/28187/stat : 28187 (java) S 28174 28177 25977 0 -1 4202560 1621 0 0 0 347 8 0 0 20 0 19 0 23582418 9856040960 62320 33554432000 1073741824 1073778376 140734397115536 140393219877160 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28177/tid=28188] ppid=28174 vsize=9625040 CPUtime=0.96 cores=1,3,5,7
/proc/28177/task/28188/stat : 28188 (java) S 28174 28177 25977 0 -1 4202560 303 0 0 0 82 14 0 0 20 0 19 0 23582419 9856040960 62320 33554432000 1073741824 1073778376 140734397115536 140393207679848 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28177/tid=28189] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28189/stat : 28189 (java) S 28174 28177 25977 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23582419 9856040960 62320 33554432000 1073741824 1073778376 140734397115536 140393206626168 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28177/tid=28190] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28190/stat : 28190 (java) S 28174 28177 25977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23582419 9856040960 62320 33554432000 1073741824 1073778376 140734397115536 140393205573000 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28177/tid=28191] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28191/stat : 28191 (java) S 28174 28177 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23582422 9856040960 62320 33554432000 1073741824 1073778376 140734397115536 140393204521744 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28177/tid=28192] ppid=28174 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/28177/task/28192/stat : 28192 (java) S 28174 28177 25977 0 -1 4202560 4273 0 0 0 43 0 0 0 20 0 19 0 23582422 9856040960 62320 33554432000 1073741824 1073778376 140734397115536 140393203468600 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28177/tid=28193] ppid=28174 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/28177/task/28193/stat : 28193 (java) S 28174 28177 25977 0 -1 4202560 3867 0 0 0 38 0 0 0 20 0 19 0 23582422 9856040960 62320 33554432000 1073741824 1073778376 140734397115536 140393202416056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28177/tid=28194] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28194/stat : 28194 (java) S 28174 28177 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23582422 9856040960 62320 33554432000 1073741824 1073778376 140734397115536 140393201363192 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28177/tid=28195] ppid=28174 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/28177/task/28195/stat : 28195 (java) S 28174 28177 25977 0 -1 4202560 98 0 0 0 20 31 0 0 20 0 19 0 23582422 9856040960 62320 33554432000 1073741824 1073778376 140734397115536 140393200310856 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28177/tid=28196] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28196/stat : 28196 (java) S 28174 28177 25977 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23582446 9856040960 62320 33554432000 1073741824 1073778376 140734397115536 140393199158824 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1740.91
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1781.01 s]
/proc/loadavg: 2.11 2.16 2.17 3/213 28304
/proc/meminfo: memFree=29216692/32872528 swapFree=1244176/1391344
[pid=28177] ppid=28174 vsize=9625040 CPUtime=1800.01 cores=1,3,5,7
/proc/28177/stat : 28177 (java) S 28174 28177 25977 0 -1 4202496 37046 0 1 0 179878 123 0 0 20 0 19 0 23582414 9856040960 61834 33554432000 1073741824 1073778376 140734397115536 140734397106672 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28177/statm: 2406260 61834 2285 9 0 2396937 0
[pid=28177/tid=28179] ppid=28174 vsize=9625040 CPUtime=1770.3 cores=1,3,5,7
/proc/28177/task/28179/stat : 28179 (java) R 28174 28177 25977 0 -1 4202560 12343 0 1 0 176992 38 0 0 20 0 19 0 23582416 9856040960 61834 33554432000 1073741824 1073778376 140734397115536 140393854495920 140393707106205 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28177/tid=28180] ppid=28174 vsize=9625040 CPUtime=3.42 cores=1,3,5,7
/proc/28177/task/28180/stat : 28180 (java) S 28174 28177 25977 0 -1 4202560 2066 0 0 0 333 9 0 0 20 0 19 0 23582418 9856040960 61834 33554432000 1073741824 1073778376 140734397115536 140393826950056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28177/tid=28181] ppid=28174 vsize=9625040 CPUtime=3.58 cores=1,3,5,7
/proc/28177/task/28181/stat : 28181 (java) S 28174 28177 25977 0 -1 4202560 2148 0 0 0 350 8 0 0 20 0 19 0 23582418 9856040960 61834 33554432000 1073741824 1073778376 140734397115536 140393825897512 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28177/tid=28182] ppid=28174 vsize=9625040 CPUtime=3.5 cores=1,3,5,7
/proc/28177/task/28182/stat : 28182 (java) S 28174 28177 25977 0 -1 4202560 1950 0 0 0 340 10 0 0 20 0 19 0 23582418 9856040960 61834 33554432000 1073741824 1073778376 140734397115536 140393695455912 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28177/tid=28183] ppid=28174 vsize=9625040 CPUtime=3.37 cores=1,3,5,7
/proc/28177/task/28183/stat : 28183 (java) S 28174 28177 25977 0 -1 4202560 1948 0 0 0 329 8 0 0 20 0 19 0 23582418 9856040960 61834 33554432000 1073741824 1073778376 140734397115536 140393694403368 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28177/tid=28184] ppid=28174 vsize=9625040 CPUtime=3.45 cores=1,3,5,7
/proc/28177/task/28184/stat : 28184 (java) S 28174 28177 25977 0 -1 4202560 1362 0 0 0 336 9 0 0 20 0 19 0 23582418 9856040960 61834 33554432000 1073741824 1073778376 140734397115536 140393693350312 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28177/tid=28185] ppid=28174 vsize=9625040 CPUtime=3.35 cores=1,3,5,7
/proc/28177/task/28185/stat : 28185 (java) S 28174 28177 25977 0 -1 4202560 1853 0 0 0 326 9 0 0 20 0 19 0 23582418 9856040960 61834 33554432000 1073741824 1073778376 140734397115536 140393692297768 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28177/tid=28186] ppid=28174 vsize=9625040 CPUtime=3.64 cores=1,3,5,7
/proc/28177/task/28186/stat : 28186 (java) S 28174 28177 25977 0 -1 4202560 1946 0 0 0 354 10 0 0 20 0 19 0 23582418 9856040960 61834 33554432000 1073741824 1073778376 140734397115536 140393691244712 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28177/tid=28187] ppid=28174 vsize=9625040 CPUtime=3.61 cores=1,3,5,7
/proc/28177/task/28187/stat : 28187 (java) S 28174 28177 25977 0 -1 4202560 1621 0 0 0 352 9 0 0 20 0 19 0 23582418 9856040960 61834 33554432000 1073741824 1073778376 140734397115536 140393219877160 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28177/tid=28188] ppid=28174 vsize=9625040 CPUtime=0.96 cores=1,3,5,7
/proc/28177/task/28188/stat : 28188 (java) S 28174 28177 25977 0 -1 4202560 308 0 0 0 82 14 0 0 20 0 19 0 23582419 9856040960 61834 33554432000 1073741824 1073778376 140734397115536 140393207679848 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28177/tid=28189] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28189/stat : 28189 (java) S 28174 28177 25977 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23582419 9856040960 61834 33554432000 1073741824 1073778376 140734397115536 140393206626168 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28177/tid=28190] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28190/stat : 28190 (java) S 28174 28177 25977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23582419 9856040960 61834 33554432000 1073741824 1073778376 140734397115536 140393205573000 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28177/tid=28191] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28191/stat : 28191 (java) S 28174 28177 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23582422 9856040960 61834 33554432000 1073741824 1073778376 140734397115536 140393204521744 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28177/tid=28192] ppid=28174 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/28177/task/28192/stat : 28192 (java) S 28174 28177 25977 0 -1 4202560 4273 0 0 0 43 0 0 0 20 0 19 0 23582422 9856040960 61834 33554432000 1073741824 1073778376 140734397115536 140393203468600 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28177/tid=28193] ppid=28174 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/28177/task/28193/stat : 28193 (java) S 28174 28177 25977 0 -1 4202560 3867 0 0 0 38 0 0 0 20 0 19 0 23582422 9856040960 61834 33554432000 1073741824 1073778376 140734397115536 140393202416056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28177/tid=28194] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28194/stat : 28194 (java) S 28174 28177 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23582422 9856040960 61834 33554432000 1073741824 1073778376 140734397115536 140393201363192 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28177/tid=28195] ppid=28174 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/28177/task/28195/stat : 28195 (java) S 28174 28177 25977 0 -1 4202560 102 0 0 0 20 33 0 0 20 0 19 0 23582422 9856040960 61834 33554432000 1073741824 1073778376 140734397115536 140393200310856 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28177/tid=28196] ppid=28174 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28177/task/28196/stat : 28196 (java) S 28174 28177 25977 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23582446 9856040960 61834 33554432000 1073741824 1073778376 140734397115536 140393199158824 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9625040
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 28177 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 1781.04
CPU time (s): 1800.84
CPU user time (s): 1799.13
CPU system time (s): 1.71274
CPU usage (%): 101.112
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.13
system time used= 1.71274
maximum resident set size= 410316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37087
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 79780
involuntary context switches= 109985
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.0823 second user time and 12.7621 second system time
The end