runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3744098-1338793447/watcher-3744098-1338793447 -o /tmp/evaluation-result-3744098-1338793447/solver-3744098-1338793447 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3744098-1338793447.opb
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.02 2.10 2.08 3/194 17191
/proc/meminfo: memFree=25249812/32873844 swapFree=7628/7628
[pid=17191] ppid=17189 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/17191/stat : 17191 (java) D 17189 17191 14240 0 -1 4202496 241 0 0 0 0 0 0 0 20 0 1 0 345469201 9515008 175 33554432000 1073741824 1073778376 140736103262400 140736103245128 254750311312 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/17191/statm: 2323 175 133 9 0 71 0
[startup+0.075591 s]
/proc/loadavg: 2.02 2.10 2.08 3/194 17191
/proc/meminfo: memFree=25249812/32873844 swapFree=7628/7628
[pid=17191] ppid=17189 vsize=2956804 CPUtime=0.05 cores=1,3,5,7
/proc/17191/stat : 17191 (java) S 17189 17191 14240 0 -1 4202496 4062 0 1 0 4 1 0 0 20 0 18 0 345469201 3027767296 5781 33554432000 1073741824 1073778376 140737091327872 140737091319008 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17191/statm: 739201 5781 1767 9 0 729885 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2956804
[startup+0.100304 s]
/proc/loadavg: 2.02 2.10 2.08 3/194 17191
/proc/meminfo: memFree=25249812/32873844 swapFree=7628/7628
[pid=17191] ppid=17189 vsize=2957856 CPUtime=0.07 cores=1,3,5,7
/proc/17191/stat : 17191 (java) S 17189 17191 14240 0 -1 4202496 4154 0 1 0 6 1 0 0 20 0 18 0 345469201 3028844544 5872 33554432000 1073741824 1073778376 140737091327872 140737091319008 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17191/statm: 739464 5872 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856
[startup+0.300307 s]
/proc/loadavg: 2.02 2.10 2.08 3/194 17191
/proc/meminfo: memFree=25249812/32873844 swapFree=7628/7628
[pid=17191] ppid=17189 vsize=2957856 CPUtime=0.43 cores=1,3,5,7
/proc/17191/stat : 17191 (java) S 17189 17191 14240 0 -1 4202496 5991 0 1 0 41 2 0 0 20 0 18 0 345469201 3028844544 16839 33554432000 1073741824 1073778376 140737091327872 140737091319008 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17191/statm: 739464 16839 2233 9 0 729885 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 2957856
[startup+0.700323 s]
/proc/loadavg: 2.02 2.10 2.08 3/194 17191
/proc/meminfo: memFree=25249812/32873844 swapFree=7628/7628
[pid=17191] ppid=17189 vsize=2957856 CPUtime=0.99 cores=1,3,5,7
/proc/17191/stat : 17191 (java) S 17189 17191 14240 0 -1 4202496 6591 0 1 0 94 5 0 0 20 0 18 0 345469201 3028844544 55484 33554432000 1073741824 1073778376 140737091327872 140737091319008 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17191/statm: 739464 55484 2243 9 0 729885 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 2957856
[startup+1.50078 s]
/proc/loadavg: 2.02 2.10 2.08 3/212 17209
/proc/meminfo: memFree=24935996/32873844 swapFree=7628/7628
[pid=17191] ppid=17189 vsize=2957856 CPUtime=2.47 cores=1,3,5,7
/proc/17191/stat : 17191 (java) S 17189 17191 14240 0 -1 4202496 10659 0 1 0 226 21 0 0 20 0 18 0 345469201 3028844544 129893 33554432000 1073741824 1073778376 140737091327872 140737091319008 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17191/statm: 739464 129893 2274 9 0 729885 0
[pid=17191/tid=17193] ppid=17189 vsize=2957856 CPUtime=1.36 cores=1,3,5,7
/proc/17191/task/17193/stat : 17193 (java) R 17189 17191 14240 0 -1 4202560 3241 0 1 0 127 9 0 0 20 0 18 0 345469202 3028844544 129893 33554432000 1073741824 1073778376 140737091327872 140362024546464 140361897391793 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17191/tid=17194] ppid=17189 vsize=2957856 CPUtime=0.02 cores=1,3,5,7
/proc/17191/task/17194/stat : 17194 (java) S 17189 17191 14240 0 -1 4202560 25 0 0 0 2 0 0 0 20 0 18 0 345469203 3028844544 129893 33554432000 1073741824 1073778376 140737091327872 140361890392232 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17191/tid=17195] ppid=17189 vsize=2957856 CPUtime=0.03 cores=1,3,5,7
/proc/17191/task/17195/stat : 17195 (java) S 17189 17191 14240 0 -1 4202560 24 0 0 0 2 1 0 0 20 0 18 0 345469203 3028844544 129893 33554432000 1073741824 1073778376 140737091327872 140361889339688 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17191/tid=17196] ppid=17189 vsize=2957856 CPUtime=0.03 cores=1,3,5,7
/proc/17191/task/17196/stat : 17196 (java) S 17189 17191 14240 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 18 0 345469203 3028844544 129893 33554432000 1073741824 1073778376 140737091327872 140361888287144 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17191/tid=17197] ppid=17189 vsize=2957856 CPUtime=0.04 cores=1,3,5,7
/proc/17191/task/17197/stat : 17197 (java) S 17189 17191 14240 0 -1 4202560 33 0 0 0 2 2 0 0 20 0 18 0 345469203 3028844544 129893 33554432000 1073741824 1073778376 140737091327872 140361887234600 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17191/tid=17198] ppid=17189 vsize=2957856 CPUtime=0.01 cores=1,3,5,7
/proc/17191/task/17198/stat : 17198 (java) S 17189 17191 14240 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 18 0 345469203 3028844544 129893 33554432000 1073741824 1073778376 140737091327872 140361886182056 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17191/tid=17199] ppid=17189 vsize=2957856 CPUtime=0.06 cores=1,3,5,7
/proc/17191/task/17199/stat : 17199 (java) S 17189 17191 14240 0 -1 4202560 33 0 0 0 4 2 0 0 20 0 18 0 345469204 3028844544 129893 33554432000 1073741824 1073778376 140737091327872 140361885129512 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17191/tid=17200] ppid=17189 vsize=2957856 CPUtime=0.03 cores=1,3,5,7
/proc/17191/task/17200/stat : 17200 (java) S 17189 17191 14240 0 -1 4202560 20 0 0 0 2 1 0 0 20 0 18 0 345469204 3028844544 129893 33554432000 1073741824 1073778376 140737091327872 140361884076968 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17191/tid=17201] ppid=17189 vsize=2957856 CPUtime=0.04 cores=1,3,5,7
/proc/17191/task/17201/stat : 17201 (java) S 17189 17191 14240 0 -1 4202560 28 0 0 0 2 2 0 0 20 0 18 0 345469204 3028844544 129893 33554432000 1073741824 1073778376 140737091327872 140361883024424 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17191/tid=17202] ppid=17189 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/17191/task/17202/stat : 17202 (java) S 17189 17191 14240 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 345469205 3028844544 129893 33554432000 1073741824 1073778376 140737091327872 140361400801384 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17191/tid=17203] ppid=17189 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/17191/task/17203/stat : 17203 (java) S 17189 17191 14240 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 345469205 3028844544 129893 33554432000 1073741824 1073778376 140737091327872 140361399747704 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17191/tid=17204] ppid=17189 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/17191/task/17204/stat : 17204 (java) S 17189 17191 14240 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 345469205 3028844544 129893 33554432000 1073741824 1073778376 140737091327872 140361398695048 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17191/tid=17205] ppid=17189 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/17191/task/17205/stat : 17205 (java) S 17189 17191 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345469208 3028844544 129893 33554432000 1073741824 1073778376 140737091327872 140361397643792 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17191/tid=17206] ppid=17189 vsize=2957856 CPUtime=0.36 cores=1,3,5,7
/proc/17191/task/17206/stat : 17206 (java) S 17189 17191 14240 0 -1 4202560 3025 0 0 0 36 0 0 0 20 0 18 0 345469208 3028844544 129893 33554432000 1073741824 1073778376 140737091327872 140361396591160 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17191/tid=17207] ppid=17189 vsize=2957856 CPUtime=0.33 cores=1,3,5,7
/proc/17191/task/17207/stat : 17207 (java) S 17189 17191 14240 0 -1 4202560 3020 0 0 0 33 0 0 0 20 0 18 0 345469208 3028844544 129893 33554432000 1073741824 1073778376 140737091327872 140361395538616 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17191/tid=17208] ppid=17189 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/17191/task/17208/stat : 17208 (java) S 17189 17191 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345469208 3028844544 129893 33554432000 1073741824 1073778376 140737091327872 140361394486264 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17191/tid=17209] ppid=17189 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/17191/task/17209/stat : 17209 (java) S 17189 17191 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345469208 3028844544 129893 33554432000 1073741824 1073778376 140737091327872 140361393433928 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.47
Current children cumulated vsize (KiB) 2957856
[startup+3.10072 s]
/proc/loadavg: 2.02 2.10 2.08 7/212 17209
/proc/meminfo: memFree=24719344/32873844 swapFree=7628/7628
[pid=17191] ppid=17189 vsize=2957856 CPUtime=4.85 cores=1,3,5,7
/proc/17191/stat : 17191 (java) S 17189 17191 14240 0 -1 4202496 14269 0 1 0 450 35 0 0 20 0 18 0 345469201 3028844544 153345 33554432000 1073741824 1073778376 140737091327872 140737091319008 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17191/statm: 739464 153345 2284 9 0 729885 0
[pid=17191/tid=17193] ppid=17189 vsize=2957856 CPUtime=2.78 cores=1,3,5,7
/proc/17191/task/17193/stat : 17193 (java) S 17189 17191 14240 0 -1 4202560 3243 0 1 0 269 9 0 0 20 0 18 0 345469202 3028844544 153345 33554432000 1073741824 1073778376 140737091327872 140362024553912 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17191/tid=17194] ppid=17189 vsize=2957856 CPUtime=0.08 cores=1,3,5,7
/proc/17191/task/17194/stat : 17194 (java) R 17189 17191 14240 0 -1 4202560 45 0 0 0 6 2 0 0 20 0 18 0 345469203 3028844544 153345 33554432000 1073741824 1073778376 140737091327872 140361890392408 140362031450467 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17191/tid=17195] ppid=17189 vsize=2957856 CPUtime=0.16 cores=1,3,5,7
/proc/17191/task/17195/stat : 17195 (java) R 17189 17191 14240 0 -1 4202560 80 0 0 0 11 5 0 0 20 0 18 0 345469203 3028844544 153345 33554432000 1073741824 1073778376 140737091327872 140361889339864 140362028311692 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=17191/tid=17196] ppid=17189 vsize=2957856 CPUtime=0.11 cores=1,3,5,7
/proc/17191/task/17196/stat : 17196 (java) R 17189 17191 14240 0 -1 4202560 41 0 0 0 9 2 0 0 20 0 18 0 345469203 3028844544 153345 33554432000 1073741824 1073778376 140737091327872 140361888287144 140362028730543 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17191/tid=17197] ppid=17189 vsize=2957856 CPUtime=0.13 cores=1,3,5,7
/proc/17191/task/17197/stat : 17197 (java) R 17189 17191 14240 0 -1 4202560 67 0 0 0 9 4 0 0 20 0 18 0 345469203 3028844544 153345 33554432000 1073741824 1073778376 140737091327872 140361887234480 140362028730543 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=17191/tid=17198] ppid=17189 vsize=2957856 CPUtime=0.1 cores=1,3,5,7
/proc/17191/task/17198/stat : 17198 (java) R 17189 17191 14240 0 -1 4202560 37 0 0 0 8 2 0 0 20 0 18 0 345469203 3028844544 153345 33554432000 1073741824 1073778376 140737091327872 140361886182056 140362031453266 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=17191/tid=17199] ppid=17189 vsize=2957856 CPUtime=0.12 cores=1,3,5,7
/proc/17191/task/17199/stat : 17199 (java) R 17189 17191 14240 0 -1 4202560 59 0 0 0 8 4 0 0 20 0 18 0 345469204 3028844544 153345 33554432000 1073741824 1073778376 140737091327872 140361885129688 140362027833201 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17191/tid=17200] ppid=17189 vsize=2957856 CPUtime=0.09 cores=1,3,5,7
/proc/17191/task/17200/stat : 17200 (java) R 17189 17191 14240 0 -1 4202560 49 0 0 0 7 2 0 0 20 0 18 0 345469204 3028844544 153345 33554432000 1073741824 1073778376 140737091327872 140361884077144 140362028730543 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17191/tid=17201] ppid=17189 vsize=2957856 CPUtime=0.14 cores=1,3,5,7
/proc/17191/task/17201/stat : 17201 (java) R 17189 17191 14240 0 -1 4202560 69 0 0 0 11 3 0 0 20 0 18 0 345469204 3028844544 153345 33554432000 1073741824 1073778376 140737091327872 140361883024600 140362031453318 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=17191/tid=17202] ppid=17189 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/17191/task/17202/stat : 17202 (java) S 17189 17191 14240 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 345469205 3028844544 153345 33554432000 1073741824 1073778376 140737091327872 140361400800264 254753682492 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17191/tid=17203] ppid=17189 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/17191/task/17203/stat : 17203 (java) S 17189 17191 14240 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 345469205 3028844544 153345 33554432000 1073741824 1073778376 140737091327872 140361399747704 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17191/tid=17204] ppid=17189 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/17191/task/17204/stat : 17204 (java) S 17189 17191 14240 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 345469205 3028844544 153345 33554432000 1073741824 1073778376 140737091327872 140361398695048 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17191/tid=17205] ppid=17189 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/17191/task/17205/stat : 17205 (java) S 17189 17191 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345469208 3028844544 153345 33554432000 1073741824 1073778376 140737091327872 140361397643792 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17191/tid=17206] ppid=17189 vsize=2957856 CPUtime=0.41 cores=1,3,5,7
/proc/17191/task/17206/stat : 17206 (java) S 17189 17191 14240 0 -1 4202560 3025 0 0 0 41 0 0 0 20 0 18 0 345469208 3028844544 153345 33554432000 1073741824 1073778376 140737091327872 140361396577256 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17191/tid=17207] ppid=17189 vsize=2957856 CPUtime=0.57 cores=1,3,5,7
/proc/17191/task/17207/stat : 17207 (java) S 17189 17191 14240 0 -1 4202560 6371 0 0 0 55 2 0 0 20 0 18 0 345469208 3028844544 153345 33554432000 1073741824 1073778376 140737091327872 140361395524408 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17191/tid=17208] ppid=17189 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/17191/task/17208/stat : 17208 (java) S 17189 17191 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345469208 3028844544 153345 33554432000 1073741824 1073778376 140737091327872 140361394486264 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17191/tid=17209] ppid=17189 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/17191/task/17209/stat : 17209 (java) S 17189 17191 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345469208 3028844544 153345 33554432000 1073741824 1073778376 140737091327872 140361393433928 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.85
Current children cumulated vsize (KiB) 2957856
[startup+6.30087 s]
/proc/loadavg: 2.02 2.10 2.08 3/212 17209
/proc/meminfo: memFree=24536080/32873844 swapFree=7628/7628
[pid=17191] ppid=17189 vsize=2957856 CPUtime=10 cores=1,3,5,7
/proc/17191/stat : 17191 (java) S 17189 17191 14240 0 -1 4202496 15084 0 1 0 942 58 0 0 20 0 18 0 345469201 3028844544 197921 33554432000 1073741824 1073778376 140737091327872 140737091319008 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17191/statm: 739464 197921 2284 9 0 729885 0
[pid=17191/tid=17193] ppid=17189 vsize=2957856 CPUtime=5.3 cores=1,3,5,7
/proc/17191/task/17193/stat : 17193 (java) R 17189 17191 14240 0 -1 4202560 3248 0 1 0 520 10 0 0 20 0 18 0 345469202 3028844544 197921 33554432000 1073741824 1073778376 140737091327872 140362024554024 254753694989 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17191/tid=17194] ppid=17189 vsize=2957856 CPUtime=0.53 cores=1,3,5,7
/proc/17191/task/17194/stat : 17194 (java) S 17189 17191 14240 0 -1 4202560 131 0 0 0 47 6 0 0 20 0 18 0 345469203 3028844544 197921 33554432000 1073741824 1073778376 140737091327872 140361890392232 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17191/tid=17195] ppid=17189 vsize=2957856 CPUtime=0.47 cores=1,3,5,7
/proc/17191/task/17195/stat : 17195 (java) S 17189 17191 14240 0 -1 4202560 129 0 0 0 39 8 0 0 20 0 18 0 345469203 3028844544 197921 33554432000 1073741824 1073778376 140737091327872 140361889339688 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17191/tid=17196] ppid=17189 vsize=2957856 CPUtime=0.35 cores=1,3,5,7
/proc/17191/task/17196/stat : 17196 (java) S 17189 17191 14240 0 -1 4202560 97 0 0 0 31 4 0 0 20 0 18 0 345469203 3028844544 197921 33554432000 1073741824 1073778376 140737091327872 140361888287144 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17191/tid=17197] ppid=17189 vsize=2957856 CPUtime=0.52 cores=1,3,5,7
/proc/17191/task/17197/stat : 17197 (java) S 17189 17191 14240 0 -1 4202560 324 0 0 0 45 7 0 0 20 0 18 0 345469203 3028844544 197921 33554432000 1073741824 1073778376 140737091327872 140361887234600 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17191/tid=17198] ppid=17189 vsize=2957856 CPUtime=0.35 cores=1,3,5,7
/proc/17191/task/17198/stat : 17198 (java) S 17189 17191 14240 0 -1 4202560 81 0 0 0 31 4 0 0 20 0 18 0 345469203 3028844544 197921 33554432000 1073741824 1073778376 140737091327872 140361886182056 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17191/tid=17199] ppid=17189 vsize=2957856 CPUtime=0.46 cores=1,3,5,7
/proc/17191/task/17199/stat : 17199 (java) S 17189 17191 14240 0 -1 4202560 278 0 0 0 40 6 0 0 20 0 18 0 345469204 3028844544 197921 33554432000 1073741824 1073778376 140737091327872 140361885129512 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17191/tid=17200] ppid=17189 vsize=2957856 CPUtime=0.5 cores=1,3,5,7
/proc/17191/task/17200/stat : 17200 (java) S 17189 17191 14240 0 -1 4202560 116 0 0 0 43 7 0 0 20 0 18 0 345469204 3028844544 197921 33554432000 1073741824 1073778376 140737091327872 140361884076968 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17191/tid=17201] ppid=17189 vsize=2957856 CPUtime=0.35 cores=1,3,5,7
/proc/17191/task/17201/stat : 17201 (java) S 17189 17191 14240 0 -1 4202560 101 0 0 0 30 5 0 0 20 0 18 0 345469204 3028844544 197921 33554432000 1073741824 1073778376 140737091327872 140361883024424 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17191/tid=17202] ppid=17189 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/17191/task/17202/stat : 17202 (java) S 17189 17191 14240 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 345469205 3028844544 197921 33554432000 1073741824 1073778376 140737091327872 140361400801384 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17191/tid=17203] ppid=17189 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/17191/task/17203/stat : 17203 (java) S 17189 17191 14240 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 345469205 3028844544 197921 33554432000 1073741824 1073778376 140737091327872 140361399747704 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17191/tid=17204] ppid=17189 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/17191/task/17204/stat : 17204 (java) S 17189 17191 14240 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 345469205 3028844544 197921 33554432000 1073741824 1073778376 140737091327872 140361398695048 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17191/tid=17205] ppid=17189 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/17191/task/17205/stat : 17205 (java) S 17189 17191 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345469208 3028844544 197921 33554432000 1073741824 1073778376 140737091327872 140361397643792 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17191/tid=17206] ppid=17189 vsize=2957856 CPUtime=0.41 cores=1,3,5,7
/proc/17191/task/17206/stat : 17206 (java) S 17189 17191 14240 0 -1 4202560 3025 0 0 0 41 0 0 0 20 0 18 0 345469208 3028844544 197921 33554432000 1073741824 1073778376 140737091327872 140361396591160 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17191/tid=17207] ppid=17189 vsize=2957856 CPUtime=0.58 cores=1,3,5,7
/proc/17191/task/17207/stat : 17207 (java) S 17189 17191 14240 0 -1 4202560 6371 0 0 0 56 2 0 0 20 0 18 0 345469208 3028844544 197921 33554432000 1073741824 1073778376 140737091327872 140361395538616 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17191/tid=17208] ppid=17189 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/17191/task/17208/stat : 17208 (java) S 17189 17191 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345469208 3028844544 197921 33554432000 1073741824 1073778376 140737091327872 140361394486264 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17191/tid=17209] ppid=17189 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/17191/task/17209/stat : 17209 (java) S 17189 17191 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345469208 3028844544 197921 33554432000 1073741824 1073778376 140737091327872 140361393433928 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 10
Current children cumulated vsize (KiB) 2957856
[startup+12.7008 s]
/proc/loadavg: 2.02 2.09 2.08 3/213 17210
/proc/meminfo: memFree=24379148/32873844 swapFree=7628/7628
[pid=17191] ppid=17189 vsize=3024420 CPUtime=18.06 cores=1,3,5,7
/proc/17191/stat : 17191 (java) S 17189 17191 14240 0 -1 4202496 15738 0 1 0 1737 69 0 0 20 0 19 0 345469201 3097006080 219417 33554432000 1073741824 1073778376 140737091327872 140737091319008 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17191/statm: 756105 219417 2299 9 0 746526 0
[pid=17191/tid=17193] ppid=17189 vsize=3024420 CPUtime=11.27 cores=1,3,5,7
################
# More data... #
################
[pid=17191/tid=17206] ppid=17189 vsize=3024420 CPUtime=0.71 cores=1,3,5,7
/proc/17191/task/17206/stat : 17206 (java) S 17189 17191 14240 0 -1 4202560 3037 0 0 0 71 0 0 0 20 0 19 0 345469208 3097006080 293380 33554432000 1073741824 1073778376 140737091327872 140361396591160 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17191/tid=17207] ppid=17189 vsize=3024420 CPUtime=0.84 cores=1,3,5,7
/proc/17191/task/17207/stat : 17207 (java) S 17189 17191 14240 0 -1 4202560 6378 0 0 0 82 2 0 0 20 0 19 0 345469208 3097006080 293380 33554432000 1073741824 1073778376 140737091327872 140361395538616 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17191/tid=17208] ppid=17189 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17191/task/17208/stat : 17208 (java) S 17189 17191 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345469208 3097006080 293380 33554432000 1073741824 1073778376 140737091327872 140361394486264 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17191/tid=17209] ppid=17189 vsize=3024420 CPUtime=0.92 cores=1,3,5,7
/proc/17191/task/17209/stat : 17209 (java) S 17189 17191 14240 0 -1 4202560 93 0 0 0 48 44 0 0 20 0 19 0 345469208 3097006080 293380 33554432000 1073741824 1073778376 140737091327872 140361393433928 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17191/tid=17210] ppid=17189 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17191/task/17210/stat : 17210 (java) S 17189 17191 14240 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345469852 3097006080 293380 33554432000 1073741824 1073778376 140737091327872 140361391301416 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1723.08
Current children cumulated vsize (KiB) 3024420
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/213 17293
/proc/meminfo: memFree=24555812/32873844 swapFree=7628/7628
[pid=17191] ppid=17189 vsize=3024420 CPUtime=1785.01 cores=1,3,5,7
/proc/17191/stat : 17191 (java) S 17189 17191 14240 0 -1 4202496 17893 0 1 0 178322 179 0 0 20 0 19 0 345469201 3097006080 293892 33554432000 1073741824 1073778376 140737091327872 140737091319008 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17191/statm: 756105 293892 2299 9 0 746526 0
[pid=17191/tid=17193] ppid=17189 vsize=3024420 CPUtime=1695.28 cores=1,3,5,7
/proc/17191/task/17193/stat : 17193 (java) R 17189 17191 14240 0 -1 4202560 3855 0 1 0 169489 39 0 0 20 0 19 0 345469202 3097006080 293892 33554432000 1073741824 1073778376 140737091327872 140362024553696 140361897848663 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17191/tid=17194] ppid=17189 vsize=3024420 CPUtime=10.25 cores=1,3,5,7
/proc/17191/task/17194/stat : 17194 (java) S 17189 17191 14240 0 -1 4202560 421 0 0 0 1011 14 0 0 20 0 19 0 345469203 3097006080 293892 33554432000 1073741824 1073778376 140737091327872 140361890392232 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17191/tid=17195] ppid=17189 vsize=3024420 CPUtime=10.4 cores=1,3,5,7
/proc/17191/task/17195/stat : 17195 (java) S 17189 17191 14240 0 -1 4202560 416 0 0 0 1024 16 0 0 20 0 19 0 345469203 3097006080 293892 33554432000 1073741824 1073778376 140737091327872 140361889339688 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17191/tid=17196] ppid=17189 vsize=3024420 CPUtime=10.35 cores=1,3,5,7
/proc/17191/task/17196/stat : 17196 (java) S 17189 17191 14240 0 -1 4202560 372 0 0 0 1024 11 0 0 20 0 19 0 345469203 3097006080 293892 33554432000 1073741824 1073778376 140737091327872 140361888287144 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17191/tid=17197] ppid=17189 vsize=3024420 CPUtime=10.37 cores=1,3,5,7
/proc/17191/task/17197/stat : 17197 (java) S 17189 17191 14240 0 -1 4202560 417 0 0 0 1024 13 0 0 20 0 19 0 345469203 3097006080 293892 33554432000 1073741824 1073778376 140737091327872 140361887234600 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17191/tid=17198] ppid=17189 vsize=3024420 CPUtime=9.98 cores=1,3,5,7
/proc/17191/task/17198/stat : 17198 (java) S 17189 17191 14240 0 -1 4202560 386 0 0 0 987 11 0 0 20 0 19 0 345469203 3097006080 293892 33554432000 1073741824 1073778376 140737091327872 140361886182056 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17191/tid=17199] ppid=17189 vsize=3024420 CPUtime=10.63 cores=1,3,5,7
/proc/17191/task/17199/stat : 17199 (java) S 17189 17191 14240 0 -1 4202560 413 0 0 0 1049 14 0 0 20 0 19 0 345469204 3097006080 293892 33554432000 1073741824 1073778376 140737091327872 140361885129512 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17191/tid=17200] ppid=17189 vsize=3024420 CPUtime=10.02 cores=1,3,5,7
/proc/17191/task/17200/stat : 17200 (java) S 17189 17191 14240 0 -1 4202560 415 0 0 0 988 14 0 0 20 0 19 0 345469204 3097006080 293892 33554432000 1073741824 1073778376 140737091327872 140361884076968 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17191/tid=17201] ppid=17189 vsize=3024420 CPUtime=10.71 cores=1,3,5,7
/proc/17191/task/17201/stat : 17201 (java) S 17189 17191 14240 0 -1 4202560 395 0 0 0 1059 12 0 0 20 0 19 0 345469204 3097006080 293892 33554432000 1073741824 1073778376 140737091327872 140361883024424 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17191/tid=17202] ppid=17189 vsize=3024420 CPUtime=0.15 cores=1,3,5,7
/proc/17191/task/17202/stat : 17202 (java) S 17189 17191 14240 0 -1 4202560 109 0 0 0 11 4 0 0 20 0 19 0 345469205 3097006080 293892 33554432000 1073741824 1073778376 140737091327872 140361400801384 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17191/tid=17203] ppid=17189 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17191/task/17203/stat : 17203 (java) S 17189 17191 14240 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345469205 3097006080 293892 33554432000 1073741824 1073778376 140737091327872 140361399747704 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17191/tid=17204] ppid=17189 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17191/task/17204/stat : 17204 (java) S 17189 17191 14240 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345469205 3097006080 293892 33554432000 1073741824 1073778376 140737091327872 140361398695048 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17191/tid=17205] ppid=17189 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17191/task/17205/stat : 17205 (java) S 17189 17191 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345469208 3097006080 293892 33554432000 1073741824 1073778376 140737091327872 140361397643792 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17191/tid=17206] ppid=17189 vsize=3024420 CPUtime=0.71 cores=1,3,5,7
/proc/17191/task/17206/stat : 17206 (java) S 17189 17191 14240 0 -1 4202560 3037 0 0 0 71 0 0 0 20 0 19 0 345469208 3097006080 293892 33554432000 1073741824 1073778376 140737091327872 140361396591160 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17191/tid=17207] ppid=17189 vsize=3024420 CPUtime=0.84 cores=1,3,5,7
/proc/17191/task/17207/stat : 17207 (java) S 17189 17191 14240 0 -1 4202560 6378 0 0 0 82 2 0 0 20 0 19 0 345469208 3097006080 293892 33554432000 1073741824 1073778376 140737091327872 140361395538616 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17191/tid=17208] ppid=17189 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17191/task/17208/stat : 17208 (java) S 17189 17191 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345469208 3097006080 293892 33554432000 1073741824 1073778376 140737091327872 140361394486264 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17191/tid=17209] ppid=17189 vsize=3024420 CPUtime=0.95 cores=1,3,5,7
/proc/17191/task/17209/stat : 17209 (java) S 17189 17191 14240 0 -1 4202560 97 0 0 0 49 46 0 0 20 0 19 0 345469208 3097006080 293892 33554432000 1073741824 1073778376 140737091327872 140361393433928 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17191/tid=17210] ppid=17189 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17191/task/17210/stat : 17210 (java) S 17189 17191 14240 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345469852 3097006080 293892 33554432000 1073741824 1073778376 140737091327872 140361391301416 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1785.01
Current children cumulated vsize (KiB) 3024420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1736.8 s]
/proc/loadavg: 2.00 2.02 2.04 3/213 17293
/proc/meminfo: memFree=24551716/32873844 swapFree=7628/7628
[pid=17191] ppid=17189 vsize=3024420 CPUtime=1800.06 cores=1,3,5,7
/proc/17191/stat : 17191 (java) S 17189 17191 14240 0 -1 4202496 17898 0 1 0 179826 180 0 0 20 0 19 0 345469201 3097006080 293892 33554432000 1073741824 1073778376 140737091327872 140737091319008 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17191/statm: 756105 293892 2299 9 0 746526 0
[pid=17191/tid=17193] ppid=17189 vsize=3024420 CPUtime=1709.56 cores=1,3,5,7
/proc/17191/task/17193/stat : 17193 (java) R 17189 17191 14240 0 -1 4202560 3860 0 1 0 170917 39 0 0 20 0 19 0 345469202 3097006080 293892 33554432000 1073741824 1073778376 140737091327872 140362024553616 140361897709443 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17191/tid=17194] ppid=17189 vsize=3024420 CPUtime=10.38 cores=1,3,5,7
/proc/17191/task/17194/stat : 17194 (java) S 17189 17191 14240 0 -1 4202560 421 0 0 0 1024 14 0 0 20 0 19 0 345469203 3097006080 293892 33554432000 1073741824 1073778376 140737091327872 140361890392232 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17191/tid=17195] ppid=17189 vsize=3024420 CPUtime=10.49 cores=1,3,5,7
/proc/17191/task/17195/stat : 17195 (java) S 17189 17191 14240 0 -1 4202560 416 0 0 0 1033 16 0 0 20 0 19 0 345469203 3097006080 293892 33554432000 1073741824 1073778376 140737091327872 140361889339688 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17191/tid=17196] ppid=17189 vsize=3024420 CPUtime=10.42 cores=1,3,5,7
/proc/17191/task/17196/stat : 17196 (java) S 17189 17191 14240 0 -1 4202560 372 0 0 0 1031 11 0 0 20 0 19 0 345469203 3097006080 293892 33554432000 1073741824 1073778376 140737091327872 140361888287144 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17191/tid=17197] ppid=17189 vsize=3024420 CPUtime=10.44 cores=1,3,5,7
/proc/17191/task/17197/stat : 17197 (java) S 17189 17191 14240 0 -1 4202560 417 0 0 0 1031 13 0 0 20 0 19 0 345469203 3097006080 293892 33554432000 1073741824 1073778376 140737091327872 140361887234600 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17191/tid=17198] ppid=17189 vsize=3024420 CPUtime=10.03 cores=1,3,5,7
/proc/17191/task/17198/stat : 17198 (java) S 17189 17191 14240 0 -1 4202560 386 0 0 0 992 11 0 0 20 0 19 0 345469203 3097006080 293892 33554432000 1073741824 1073778376 140737091327872 140361886182056 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17191/tid=17199] ppid=17189 vsize=3024420 CPUtime=10.74 cores=1,3,5,7
/proc/17191/task/17199/stat : 17199 (java) S 17189 17191 14240 0 -1 4202560 413 0 0 0 1060 14 0 0 20 0 19 0 345469204 3097006080 293892 33554432000 1073741824 1073778376 140737091327872 140361885129512 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17191/tid=17200] ppid=17189 vsize=3024420 CPUtime=10.12 cores=1,3,5,7
/proc/17191/task/17200/stat : 17200 (java) S 17189 17191 14240 0 -1 4202560 415 0 0 0 998 14 0 0 20 0 19 0 345469204 3097006080 293892 33554432000 1073741824 1073778376 140737091327872 140361884076968 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17191/tid=17201] ppid=17189 vsize=3024420 CPUtime=10.8 cores=1,3,5,7
/proc/17191/task/17201/stat : 17201 (java) S 17189 17191 14240 0 -1 4202560 395 0 0 0 1068 12 0 0 20 0 19 0 345469204 3097006080 293892 33554432000 1073741824 1073778376 140737091327872 140361883024424 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17191/tid=17202] ppid=17189 vsize=3024420 CPUtime=0.15 cores=1,3,5,7
/proc/17191/task/17202/stat : 17202 (java) S 17189 17191 14240 0 -1 4202560 109 0 0 0 11 4 0 0 20 0 19 0 345469205 3097006080 293892 33554432000 1073741824 1073778376 140737091327872 140361400801384 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17191/tid=17203] ppid=17189 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17191/task/17203/stat : 17203 (java) S 17189 17191 14240 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345469205 3097006080 293892 33554432000 1073741824 1073778376 140737091327872 140361399747704 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17191/tid=17204] ppid=17189 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17191/task/17204/stat : 17204 (java) S 17189 17191 14240 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345469205 3097006080 293892 33554432000 1073741824 1073778376 140737091327872 140361398695048 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17191/tid=17205] ppid=17189 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17191/task/17205/stat : 17205 (java) S 17189 17191 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345469208 3097006080 293892 33554432000 1073741824 1073778376 140737091327872 140361397643792 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17191/tid=17206] ppid=17189 vsize=3024420 CPUtime=0.71 cores=1,3,5,7
/proc/17191/task/17206/stat : 17206 (java) S 17189 17191 14240 0 -1 4202560 3037 0 0 0 71 0 0 0 20 0 19 0 345469208 3097006080 293892 33554432000 1073741824 1073778376 140737091327872 140361396591160 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17191/tid=17207] ppid=17189 vsize=3024420 CPUtime=0.84 cores=1,3,5,7
/proc/17191/task/17207/stat : 17207 (java) S 17189 17191 14240 0 -1 4202560 6378 0 0 0 82 2 0 0 20 0 19 0 345469208 3097006080 293892 33554432000 1073741824 1073778376 140737091327872 140361395538616 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17191/tid=17208] ppid=17189 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17191/task/17208/stat : 17208 (java) S 17189 17191 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345469208 3097006080 293892 33554432000 1073741824 1073778376 140737091327872 140361394486264 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17191/tid=17209] ppid=17189 vsize=3024420 CPUtime=0.97 cores=1,3,5,7
/proc/17191/task/17209/stat : 17209 (java) S 17189 17191 14240 0 -1 4202560 97 0 0 0 50 47 0 0 20 0 19 0 345469208 3097006080 293892 33554432000 1073741824 1073778376 140737091327872 140361393433928 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17191/tid=17210] ppid=17189 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17191/task/17210/stat : 17210 (java) S 17189 17191 14240 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345469852 3097006080 293892 33554432000 1073741824 1073778376 140737091327872 140361391301416 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 3024420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1736.8 s]
/proc/loadavg: 2.00 2.02 2.04 3/213 17293
/proc/meminfo: memFree=24551716/32873844 swapFree=7628/7628
[pid=17191] ppid=17189 vsize=3024420 CPUtime=1800.06 cores=1,3,5,7
/proc/17191/stat : 17191 (java) S 17189 17191 14240 0 -1 4202496 17898 0 1 0 179826 180 0 0 20 0 19 0 345469201 3097006080 293892 33554432000 1073741824 1073778376 140737091327872 140737091319008 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17191/statm: 756105 293892 2299 9 0 746526 0
[pid=17191/tid=17193] ppid=17189 vsize=3024420 CPUtime=1709.56 cores=1,3,5,7
/proc/17191/task/17193/stat : 17193 (java) R 17189 17191 14240 0 -1 4202560 3860 0 1 0 170917 39 0 0 20 0 19 0 345469202 3097006080 293892 33554432000 1073741824 1073778376 140737091327872 140362024553616 140361897709443 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17191/tid=17194] ppid=17189 vsize=3024420 CPUtime=10.38 cores=1,3,5,7
/proc/17191/task/17194/stat : 17194 (java) S 17189 17191 14240 0 -1 4202560 421 0 0 0 1024 14 0 0 20 0 19 0 345469203 3097006080 293892 33554432000 1073741824 1073778376 140737091327872 140361890392232 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17191/tid=17195] ppid=17189 vsize=3024420 CPUtime=10.49 cores=1,3,5,7
/proc/17191/task/17195/stat : 17195 (java) S 17189 17191 14240 0 -1 4202560 416 0 0 0 1033 16 0 0 20 0 19 0 345469203 3097006080 293892 33554432000 1073741824 1073778376 140737091327872 140361889339688 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17191/tid=17196] ppid=17189 vsize=3024420 CPUtime=10.42 cores=1,3,5,7
/proc/17191/task/17196/stat : 17196 (java) S 17189 17191 14240 0 -1 4202560 372 0 0 0 1031 11 0 0 20 0 19 0 345469203 3097006080 293892 33554432000 1073741824 1073778376 140737091327872 140361888287144 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17191/tid=17197] ppid=17189 vsize=3024420 CPUtime=10.44 cores=1,3,5,7
/proc/17191/task/17197/stat : 17197 (java) S 17189 17191 14240 0 -1 4202560 417 0 0 0 1031 13 0 0 20 0 19 0 345469203 3097006080 293892 33554432000 1073741824 1073778376 140737091327872 140361887234600 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17191/tid=17198] ppid=17189 vsize=3024420 CPUtime=10.03 cores=1,3,5,7
/proc/17191/task/17198/stat : 17198 (java) S 17189 17191 14240 0 -1 4202560 386 0 0 0 992 11 0 0 20 0 19 0 345469203 3097006080 293892 33554432000 1073741824 1073778376 140737091327872 140361886182056 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17191/tid=17199] ppid=17189 vsize=3024420 CPUtime=10.74 cores=1,3,5,7
/proc/17191/task/17199/stat : 17199 (java) S 17189 17191 14240 0 -1 4202560 413 0 0 0 1060 14 0 0 20 0 19 0 345469204 3097006080 293892 33554432000 1073741824 1073778376 140737091327872 140361885129512 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17191/tid=17200] ppid=17189 vsize=3024420 CPUtime=10.12 cores=1,3,5,7
/proc/17191/task/17200/stat : 17200 (java) S 17189 17191 14240 0 -1 4202560 415 0 0 0 998 14 0 0 20 0 19 0 345469204 3097006080 293892 33554432000 1073741824 1073778376 140737091327872 140361884076968 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17191/tid=17201] ppid=17189 vsize=3024420 CPUtime=10.8 cores=1,3,5,7
/proc/17191/task/17201/stat : 17201 (java) S 17189 17191 14240 0 -1 4202560 395 0 0 0 1068 12 0 0 20 0 19 0 345469204 3097006080 293892 33554432000 1073741824 1073778376 140737091327872 140361883024424 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17191/tid=17202] ppid=17189 vsize=3024420 CPUtime=0.15 cores=1,3,5,7
/proc/17191/task/17202/stat : 17202 (java) S 17189 17191 14240 0 -1 4202560 109 0 0 0 11 4 0 0 20 0 19 0 345469205 3097006080 293892 33554432000 1073741824 1073778376 140737091327872 140361400801384 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17191/tid=17203] ppid=17189 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17191/task/17203/stat : 17203 (java) S 17189 17191 14240 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345469205 3097006080 293892 33554432000 1073741824 1073778376 140737091327872 140361399747704 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17191/tid=17204] ppid=17189 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17191/task/17204/stat : 17204 (java) S 17189 17191 14240 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345469205 3097006080 293892 33554432000 1073741824 1073778376 140737091327872 140361398695048 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17191/tid=17205] ppid=17189 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17191/task/17205/stat : 17205 (java) S 17189 17191 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345469208 3097006080 293892 33554432000 1073741824 1073778376 140737091327872 140361397643792 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17191/tid=17206] ppid=17189 vsize=3024420 CPUtime=0.71 cores=1,3,5,7
/proc/17191/task/17206/stat : 17206 (java) S 17189 17191 14240 0 -1 4202560 3037 0 0 0 71 0 0 0 20 0 19 0 345469208 3097006080 293892 33554432000 1073741824 1073778376 140737091327872 140361396591160 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17191/tid=17207] ppid=17189 vsize=3024420 CPUtime=0.84 cores=1,3,5,7
/proc/17191/task/17207/stat : 17207 (java) S 17189 17191 14240 0 -1 4202560 6378 0 0 0 82 2 0 0 20 0 19 0 345469208 3097006080 293892 33554432000 1073741824 1073778376 140737091327872 140361395538616 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17191/tid=17208] ppid=17189 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17191/task/17208/stat : 17208 (java) S 17189 17191 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345469208 3097006080 293892 33554432000 1073741824 1073778376 140737091327872 140361394486264 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17191/tid=17209] ppid=17189 vsize=3024420 CPUtime=0.97 cores=1,3,5,7
/proc/17191/task/17209/stat : 17209 (java) S 17189 17191 14240 0 -1 4202560 97 0 0 0 50 47 0 0 20 0 19 0 345469208 3097006080 293892 33554432000 1073741824 1073778376 140737091327872 140361393433928 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17191/tid=17210] ppid=17189 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17191/task/17210/stat : 17210 (java) S 17189 17191 14240 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345469852 3097006080 293892 33554432000 1073741824 1073778376 140737091327872 140361391301416 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 3024420
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17191 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=798301
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=102680
# CPU time returned by wait4() is 1795.9
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1736.83
CPU time (s): 1800.06
CPU user time (s): 1798.26
CPU system time (s): 1.8
CPU usage (%): 103.641
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.8
system time used= 2.10268
maximum resident set size= 1175684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17927
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54501
involuntary context switches= 90176
runsolver used 6.49001 second user time and 16.1735 second system time
The end