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-3736943-1338718670/watcher-3736943-1338718670 -o /tmp/evaluation-result-3736943-1338718670/solver-3736943-1338718670 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3736943-1338718670.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.97 3.99 3.84 4/199 32250
/proc/meminfo: memFree=27198412/32873844 swapFree=7124/7124
[pid=32250] ppid=32248 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/32250/stat : 32250 (java) R 32248 32250 30903 0 -1 4202496 89 0 0 0 0 0 0 0 20 0 1 0 337992434 2560000 42 33554432000 1073741824 1073778376 140734546847280 140734546844456 273896533802 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32250/statm: 625 46 37 9 0 29 0
[startup+0.105725 s]
/proc/loadavg: 3.97 3.99 3.84 4/199 32250
/proc/meminfo: memFree=27198412/32873844 swapFree=7124/7124
[pid=32250] ppid=32248 vsize=11586392 CPUtime=0.07 cores=0,2,4,6
/proc/32250/stat : 32250 (java) S 32248 32250 30903 0 -1 4202496 4471 0 1 0 6 1 0 0 20 0 18 0 337992434 11864465408 12834 33554432000 1073741824 1073778376 140733895711680 140733895702816 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32250/statm: 2896598 12834 1778 9 0 2887285 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11586392
[startup+0.200242 s]
/proc/loadavg: 3.97 3.99 3.84 4/199 32250
/proc/meminfo: memFree=27198412/32873844 swapFree=7124/7124
[pid=32250] ppid=32248 vsize=11586392 CPUtime=0.21 cores=0,2,4,6
/proc/32250/stat : 32250 (java) S 32248 32250 30903 0 -1 4202496 5549 0 1 0 19 2 0 0 20 0 18 0 337992434 11864465408 14362 33554432000 1073741824 1073778376 140733895711680 140733895702816 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32250/statm: 2896598 14362 2185 9 0 2887285 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 11586392
[startup+0.300258 s]
/proc/loadavg: 3.97 3.99 3.84 4/199 32250
/proc/meminfo: memFree=27198412/32873844 swapFree=7124/7124
[pid=32250] ppid=32248 vsize=11586392 CPUtime=0.4 cores=0,2,4,6
/proc/32250/stat : 32250 (java) S 32248 32250 30903 0 -1 4202496 6237 0 1 0 38 2 0 0 20 0 18 0 337992434 11864465408 15794 33554432000 1073741824 1073778376 140733895711680 140733895702816 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32250/statm: 2896598 15794 2216 9 0 2887285 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 11586392
[startup+0.700222 s]
/proc/loadavg: 3.97 3.99 3.84 4/199 32250
/proc/meminfo: memFree=27198412/32873844 swapFree=7124/7124
[pid=32250] ppid=32248 vsize=11586392 CPUtime=1.54 cores=0,2,4,6
/proc/32250/stat : 32250 (java) S 32248 32250 30903 0 -1 4202496 16151 0 1 0 150 4 0 0 20 0 18 0 337992434 11864465408 29541 33554432000 1073741824 1073778376 140733895711680 140733895702816 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32250/statm: 2896598 29541 2250 9 0 2887285 0
Current children cumulated CPU time (s) 1.54
Current children cumulated vsize (KiB) 11586392
[startup+1.5007 s]
/proc/loadavg: 3.97 3.99 3.84 4/217 32268
/proc/meminfo: memFree=26874436/32873844 swapFree=7124/7124
[pid=32250] ppid=32248 vsize=11852648 CPUtime=2.76 cores=0,2,4,6
/proc/32250/stat : 32250 (java) S 32248 32250 30903 0 -1 4202496 16338 0 1 0 267 9 0 0 20 0 19 0 337992434 12137111552 90297 33554432000 1073741824 1073778376 140733895711680 140733895702816 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32250/statm: 2963162 90297 2260 9 0 2953849 0
[pid=32250/tid=32252] ppid=32248 vsize=11852648 CPUtime=1.05 cores=0,2,4,6
/proc/32250/task/32252/stat : 32252 (java) S 32248 32250 30903 0 -1 4202560 3507 0 1 0 101 4 0 0 20 0 19 0 337992435 12137111552 90297 33554432000 1073741824 1073778376 140733895711680 140305741616280 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32250/tid=32253] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32253/stat : 32253 (java) S 32248 32250 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337992438 12137111552 90297 33554432000 1073741824 1073778376 140733895711680 140305578822440 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32250/tid=32254] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32254/stat : 32254 (java) S 32248 32250 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337992438 12137111552 90297 33554432000 1073741824 1073778376 140733895711680 140305577769640 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32250/tid=32255] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32255/stat : 32255 (java) S 32248 32250 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337992438 12137111552 90297 33554432000 1073741824 1073778376 140733895711680 140305508592680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32250/tid=32256] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32256/stat : 32256 (java) S 32248 32250 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337992438 12137111552 90297 33554432000 1073741824 1073778376 140733895711680 140305507539880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32250/tid=32257] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32257/stat : 32257 (java) S 32248 32250 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337992438 12137111552 90297 33554432000 1073741824 1073778376 140733895711680 140305506486568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32250/tid=32258] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32258/stat : 32258 (java) S 32248 32250 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337992438 12137111552 90297 33554432000 1073741824 1073778376 140733895711680 140305505433768 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32250/tid=32259] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32259/stat : 32259 (java) S 32248 32250 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337992438 12137111552 90297 33554432000 1073741824 1073778376 140733895711680 140305504381480 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32250/tid=32260] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32260/stat : 32260 (java) S 32248 32250 30903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337992438 12137111552 90297 33554432000 1073741824 1073778376 140733895711680 140305503328680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32250/tid=32261] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32261/stat : 32261 (java) S 32248 32250 30903 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 337992439 12137111552 90297 33554432000 1073741824 1073778376 140733895711680 140305491131112 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32250/tid=32262] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32262/stat : 32262 (java) S 32248 32250 30903 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337992440 12137111552 90297 33554432000 1073741824 1073778376 140733895711680 140305490077176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32250/tid=32263] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32263/stat : 32263 (java) S 32248 32250 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337992440 12137111552 90297 33554432000 1073741824 1073778376 140733895711680 140305489024776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32250/tid=32264] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32264/stat : 32264 (java) S 32248 32250 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337992443 12137111552 90297 33554432000 1073741824 1073778376 140733895711680 140305487973264 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32250/tid=32265] ppid=32248 vsize=11852648 CPUtime=0.63 cores=0,2,4,6
/proc/32250/task/32265/stat : 32265 (java) S 32248 32250 30903 0 -1 4202560 5881 0 0 0 62 1 0 0 20 0 19 0 337992443 12137111552 90297 33554432000 1073741824 1073778376 140733895711680 140305486919864 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32250/tid=32266] ppid=32248 vsize=11852648 CPUtime=0.64 cores=0,2,4,6
/proc/32250/task/32266/stat : 32266 (java) S 32248 32250 30903 0 -1 4202560 5694 0 0 0 63 1 0 0 20 0 19 0 337992443 12137111552 90297 33554432000 1073741824 1073778376 140733895711680 140305485867064 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32250/tid=32267] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32267/stat : 32267 (java) S 32248 32250 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337992443 12137111552 90297 33554432000 1073741824 1073778376 140733895711680 140305484814968 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32250/tid=32268] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32268/stat : 32268 (java) S 32248 32250 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337992443 12137111552 90297 33554432000 1073741824 1073778376 140733895711680 140305483762376 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 11852648
[startup+3.10069 s]
/proc/loadavg: 3.89 3.97 3.83 5/218 32275
/proc/meminfo: memFree=26812236/32873844 swapFree=7124/7124
[pid=32250] ppid=32248 vsize=11852648 CPUtime=3.8 cores=0,2,4,6
/proc/32250/stat : 32250 (java) S 32248 32250 30903 0 -1 4202496 16541 0 1 0 365 15 0 0 20 0 19 0 337992434 12137111552 111845 33554432000 1073741824 1073778376 140733895711680 140733895702816 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32250/statm: 2963162 111845 2266 9 0 2953849 0
[pid=32250/tid=32252] ppid=32248 vsize=11852648 CPUtime=1.19 cores=0,2,4,6
/proc/32250/task/32252/stat : 32252 (java) S 32248 32250 30903 0 -1 4202560 3512 0 1 0 114 5 0 0 20 0 19 0 337992435 12137111552 111845 33554432000 1073741824 1073778376 140733895711680 140305741616296 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32250/tid=32253] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32253/stat : 32253 (java) S 32248 32250 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337992438 12137111552 111845 33554432000 1073741824 1073778376 140733895711680 140305578822440 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32250/tid=32254] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32254/stat : 32254 (java) S 32248 32250 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337992438 12137111552 111845 33554432000 1073741824 1073778376 140733895711680 140305577769640 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32250/tid=32255] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32255/stat : 32255 (java) S 32248 32250 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337992438 12137111552 111845 33554432000 1073741824 1073778376 140733895711680 140305508592680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32250/tid=32256] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32256/stat : 32256 (java) S 32248 32250 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337992438 12137111552 111845 33554432000 1073741824 1073778376 140733895711680 140305507539880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32250/tid=32257] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32257/stat : 32257 (java) S 32248 32250 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337992438 12137111552 111845 33554432000 1073741824 1073778376 140733895711680 140305506486568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32250/tid=32258] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32258/stat : 32258 (java) S 32248 32250 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337992438 12137111552 111845 33554432000 1073741824 1073778376 140733895711680 140305505433768 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32250/tid=32259] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32259/stat : 32259 (java) S 32248 32250 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337992438 12137111552 111845 33554432000 1073741824 1073778376 140733895711680 140305504381480 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32250/tid=32260] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32260/stat : 32260 (java) S 32248 32250 30903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337992438 12137111552 111845 33554432000 1073741824 1073778376 140733895711680 140305503328680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32250/tid=32261] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32261/stat : 32261 (java) S 32248 32250 30903 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 337992439 12137111552 111845 33554432000 1073741824 1073778376 140733895711680 140305491131112 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32250/tid=32262] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32262/stat : 32262 (java) S 32248 32250 30903 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337992440 12137111552 111845 33554432000 1073741824 1073778376 140733895711680 140305490077176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32250/tid=32263] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32263/stat : 32263 (java) S 32248 32250 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337992440 12137111552 111845 33554432000 1073741824 1073778376 140733895711680 140305489024776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32250/tid=32264] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32264/stat : 32264 (java) S 32248 32250 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337992443 12137111552 111845 33554432000 1073741824 1073778376 140733895711680 140305487973264 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32250/tid=32265] ppid=32248 vsize=11852648 CPUtime=0.79 cores=0,2,4,6
/proc/32250/task/32265/stat : 32265 (java) S 32248 32250 30903 0 -1 4202560 5962 0 0 0 77 2 0 0 20 0 19 0 337992443 12137111552 111845 33554432000 1073741824 1073778376 140733895711680 140305486919864 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32250/tid=32266] ppid=32248 vsize=11852648 CPUtime=0.79 cores=0,2,4,6
/proc/32250/task/32266/stat : 32266 (java) S 32248 32250 30903 0 -1 4202560 5696 0 0 0 77 2 0 0 20 0 19 0 337992443 12137111552 111845 33554432000 1073741824 1073778376 140733895711680 140305485867064 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32250/tid=32267] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32267/stat : 32267 (java) S 32248 32250 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337992443 12137111552 111845 33554432000 1073741824 1073778376 140733895711680 140305484814968 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32250/tid=32268] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32268/stat : 32268 (java) S 32248 32250 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337992443 12137111552 111845 33554432000 1073741824 1073778376 140733895711680 140305483762376 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32250/tid=32271] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32271/stat : 32271 (java) S 32248 32250 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337992548 12137111552 111845 33554432000 1073741824 1073778376 140733895711680 140305480603304 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 11852648
[startup+6.30084 s]
/proc/loadavg: 3.89 3.97 3.83 5/221 32284
/proc/meminfo: memFree=25820432/32873844 swapFree=7124/7124
[pid=32250] ppid=32248 vsize=11852648 CPUtime=10.27 cores=0,2,4,6
/proc/32250/stat : 32250 (java) S 32248 32250 30903 0 -1 4202496 17634 0 1 0 990 37 0 0 20 0 22 0 337992434 12137111552 431319 33554432000 1073741824 1073778376 140733895711680 140733895702816 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32250/statm: 2963162 431319 2268 9 0 2953849 0
[pid=32250/tid=32252] ppid=32248 vsize=11852648 CPUtime=1.23 cores=0,2,4,6
/proc/32250/task/32252/stat : 32252 (java) S 32248 32250 30903 0 -1 4202560 3513 0 1 0 118 5 0 0 20 0 22 0 337992435 12137111552 431319 33554432000 1073741824 1073778376 140733895711680 140305741616296 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32250/tid=32253] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32253/stat : 32253 (java) S 32248 32250 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337992438 12137111552 431319 33554432000 1073741824 1073778376 140733895711680 140305578822440 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32250/tid=32254] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32254/stat : 32254 (java) S 32248 32250 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337992438 12137111552 431319 33554432000 1073741824 1073778376 140733895711680 140305577769640 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32250/tid=32255] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32255/stat : 32255 (java) S 32248 32250 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337992438 12137111552 431319 33554432000 1073741824 1073778376 140733895711680 140305508592680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32250/tid=32256] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32256/stat : 32256 (java) S 32248 32250 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337992438 12137111552 431319 33554432000 1073741824 1073778376 140733895711680 140305507539880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32250/tid=32257] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32257/stat : 32257 (java) S 32248 32250 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337992438 12137111552 431319 33554432000 1073741824 1073778376 140733895711680 140305506486568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32250/tid=32258] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32258/stat : 32258 (java) S 32248 32250 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337992438 12137111552 431319 33554432000 1073741824 1073778376 140733895711680 140305505433768 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32250/tid=32259] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32259/stat : 32259 (java) S 32248 32250 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337992438 12137111552 431319 33554432000 1073741824 1073778376 140733895711680 140305504381480 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32250/tid=32260] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32260/stat : 32260 (java) S 32248 32250 30903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337992438 12137111552 431319 33554432000 1073741824 1073778376 140733895711680 140305503328680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32250/tid=32261] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32261/stat : 32261 (java) S 32248 32250 30903 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 337992439 12137111552 431319 33554432000 1073741824 1073778376 140733895711680 140305491131112 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32250/tid=32262] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32262/stat : 32262 (java) S 32248 32250 30903 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 337992440 12137111552 431319 33554432000 1073741824 1073778376 140733895711680 140305490077176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32250/tid=32263] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32263/stat : 32263 (java) S 32248 32250 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337992440 12137111552 431319 33554432000 1073741824 1073778376 140733895711680 140305489024776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32250/tid=32264] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32264/stat : 32264 (java) S 32248 32250 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337992443 12137111552 431319 33554432000 1073741824 1073778376 140733895711680 140305487973264 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32250/tid=32265] ppid=32248 vsize=11852648 CPUtime=0.98 cores=0,2,4,6
/proc/32250/task/32265/stat : 32265 (java) S 32248 32250 30903 0 -1 4202560 6418 0 0 0 96 2 0 0 20 0 22 0 337992443 12137111552 431319 33554432000 1073741824 1073778376 140733895711680 140305486919864 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32250/tid=32266] ppid=32248 vsize=11852648 CPUtime=1.01 cores=0,2,4,6
/proc/32250/task/32266/stat : 32266 (java) S 32248 32250 30903 0 -1 4202560 5699 0 0 0 99 2 0 0 20 0 22 0 337992443 12137111552 431319 33554432000 1073741824 1073778376 140733895711680 140305485867064 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32250/tid=32267] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32267/stat : 32267 (java) S 32248 32250 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337992443 12137111552 431319 33554432000 1073741824 1073778376 140733895711680 140305484814968 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32250/tid=32268] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32268/stat : 32268 (java) S 32248 32250 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337992443 12137111552 431319 33554432000 1073741824 1073778376 140733895711680 140305483762376 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32250/tid=32271] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32271/stat : 32271 (java) S 32248 32250 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337992548 12137111552 431319 33554432000 1073741824 1073778376 140733895711680 140305480603304 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32250/tid=32282] ppid=32248 vsize=11852648 CPUtime=2.98 cores=0,2,4,6
/proc/32250/task/32282/stat : 32282 (java) R 32248 32250 30903 0 -1 4202560 10 0 0 0 298 0 0 0 20 0 22 0 337992762 12137111552 431319 33554432000 1073741824 1073778376 140733895711680 140305482707528 140305593281571 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=32250/tid=32283] ppid=32248 vsize=11852648 CPUtime=2.99 cores=0,2,4,6
/proc/32250/task/32283/stat : 32283 (java) R 32248 32250 30903 0 -1 4202560 621 0 0 0 278 21 0 0 20 0 22 0 337992762 12137111552 431319 33554432000 1073741824 1073778376 140733895711680 140305481652512 140305593705823 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=32250/tid=32284] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32284/stat : 32284 (java) S 32248 32250 30903 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337992762 12137111552 431319 33554432000 1073741824 1073778376 140733895711680 140305479549992 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
################
# More data... #
################
[pid=32250/tid=32256] ppid=32248 vsize=11852648 CPUtime=1.44 cores=0,2,4,6
/proc/32250/task/32256/stat : 32256 (java) S 32248 32250 30903 0 -1 4202560 310 0 0 0 134 10 0 0 20 0 22 0 337992438 12137111552 1010663 33554432000 1073741824 1073778376 140733895711680 140305507539880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32250/tid=32257] ppid=32248 vsize=11852648 CPUtime=1.33 cores=0,2,4,6
/proc/32250/task/32257/stat : 32257 (java) S 32248 32250 30903 0 -1 4202560 355 0 0 0 122 11 0 0 20 0 22 0 337992438 12137111552 1010663 33554432000 1073741824 1073778376 140733895711680 140305506486568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32250/tid=32258] ppid=32248 vsize=11852648 CPUtime=1.48 cores=0,2,4,6
/proc/32250/task/32258/stat : 32258 (java) S 32248 32250 30903 0 -1 4202560 321 0 0 0 138 10 0 0 20 0 22 0 337992438 12137111552 1010663 33554432000 1073741824 1073778376 140733895711680 140305505433768 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32250/tid=32259] ppid=32248 vsize=11852648 CPUtime=1.45 cores=0,2,4,6
/proc/32250/task/32259/stat : 32259 (java) S 32248 32250 30903 0 -1 4202560 355 0 0 0 136 9 0 0 20 0 22 0 337992438 12137111552 1010663 33554432000 1073741824 1073778376 140733895711680 140305504381480 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32250/tid=32260] ppid=32248 vsize=11852648 CPUtime=1.45 cores=0,2,4,6
/proc/32250/task/32260/stat : 32260 (java) S 32248 32250 30903 0 -1 4202560 358 0 0 0 136 9 0 0 20 0 22 0 337992438 12137111552 1010663 33554432000 1073741824 1073778376 140733895711680 140305503328680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32250/tid=32261] ppid=32248 vsize=11852648 CPUtime=35.03 cores=0,2,4,6
/proc/32250/task/32261/stat : 32261 (java) S 32248 32250 30903 0 -1 4202560 239 0 0 0 3497 6 0 0 20 0 22 0 337992439 12137111552 1010663 33554432000 1073741824 1073778376 140733895711680 140305491131112 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32250/tid=32262] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32262/stat : 32262 (java) S 32248 32250 30903 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337992440 12137111552 1010663 33554432000 1073741824 1073778376 140733895711680 140305490077176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32250/tid=32263] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32263/stat : 32263 (java) S 32248 32250 30903 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 337992440 12137111552 1010663 33554432000 1073741824 1073778376 140733895711680 140305489024776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32250/tid=32264] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32264/stat : 32264 (java) S 32248 32250 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337992443 12137111552 1010663 33554432000 1073741824 1073778376 140733895711680 140305487973264 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32250/tid=32265] ppid=32248 vsize=11852648 CPUtime=1.26 cores=0,2,4,6
/proc/32250/task/32265/stat : 32265 (java) S 32248 32250 30903 0 -1 4202560 7198 0 0 0 124 2 0 0 20 0 22 0 337992443 12137111552 1010663 33554432000 1073741824 1073778376 140733895711680 140305486919864 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32250/tid=32266] ppid=32248 vsize=11852648 CPUtime=1.19 cores=0,2,4,6
/proc/32250/task/32266/stat : 32266 (java) S 32248 32250 30903 0 -1 4202560 5750 0 0 0 117 2 0 0 20 0 22 0 337992443 12137111552 1010663 33554432000 1073741824 1073778376 140733895711680 140305485867064 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32250/tid=32267] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32267/stat : 32267 (java) S 32248 32250 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337992443 12137111552 1010663 33554432000 1073741824 1073778376 140733895711680 140305484814968 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32250/tid=32268] ppid=32248 vsize=11852648 CPUtime=0.32 cores=0,2,4,6
/proc/32250/task/32268/stat : 32268 (java) S 32248 32250 30903 0 -1 4202560 51 0 0 0 16 16 0 0 20 0 22 0 337992443 12137111552 1010663 33554432000 1073741824 1073778376 140733895711680 140305483762376 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32250/tid=32284] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32284/stat : 32284 (java) S 32248 32250 30903 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337992762 12137111552 1010663 33554432000 1073741824 1073778376 140733895711680 140305479549992 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32250/tid=32295] ppid=32248 vsize=11852648 CPUtime=405.96 cores=0,2,4,6
/proc/32250/task/32295/stat : 32295 (java) R 32248 32250 30903 0 -1 4202560 19 0 0 0 40590 6 0 0 20 0 22 0 338037836 12137111552 1010663 33554432000 1073741824 1073778376 140733895711680 140305482706464 140305593411608 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=32250/tid=32296] ppid=32248 vsize=11852648 CPUtime=405.95 cores=0,2,4,6
/proc/32250/task/32296/stat : 32296 (java) R 32248 32250 30903 0 -1 4202560 13 0 0 0 40588 7 0 0 20 0 22 0 338037836 12137111552 1010663 33554432000 1073741824 1073778376 140733895711680 140305480599728 140305593705873 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=32250/tid=32297] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32297/stat : 32297 (java) S 32248 32250 30903 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 338037837 12137111552 1010663 33554432000 1073741824 1073778376 140733895711680 140305481655720 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1729
Current children cumulated vsize (KiB) 11852648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+917.601 s]
/proc/loadavg: 3.88 3.87 3.82 5/221 32388
/proc/meminfo: memFree=23529488/32873844 swapFree=7124/7124
[pid=32250] ppid=32248 vsize=11852648 CPUtime=1798.11 cores=0,2,4,6
/proc/32250/stat : 32250 (java) S 32248 32250 30903 0 -1 4202496 22395 0 1 0 179624 187 0 0 20 0 22 0 337992434 12137111552 1027094 33554432000 1073741824 1073778376 140733895711680 140733895702816 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32250/statm: 2963162 1027094 2294 9 0 2953849 0
[pid=32250/tid=32252] ppid=32248 vsize=11852648 CPUtime=1.38 cores=0,2,4,6
/proc/32250/task/32252/stat : 32252 (java) S 32248 32250 30903 0 -1 4202560 3556 0 1 0 132 6 0 0 20 0 22 0 337992435 12137111552 1027094 33554432000 1073741824 1073778376 140733895711680 140305741616264 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32250/tid=32253] ppid=32248 vsize=11852648 CPUtime=1.73 cores=0,2,4,6
/proc/32250/task/32253/stat : 32253 (java) S 32248 32250 30903 0 -1 4202560 356 0 0 0 161 12 0 0 20 0 22 0 337992438 12137111552 1027094 33554432000 1073741824 1073778376 140733895711680 140305578822440 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32250/tid=32254] ppid=32248 vsize=11852648 CPUtime=1.64 cores=0,2,4,6
/proc/32250/task/32254/stat : 32254 (java) S 32248 32250 30903 0 -1 4202560 359 0 0 0 152 12 0 0 20 0 22 0 337992438 12137111552 1027094 33554432000 1073741824 1073778376 140733895711680 140305577769640 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32250/tid=32255] ppid=32248 vsize=11852648 CPUtime=1.69 cores=0,2,4,6
/proc/32250/task/32255/stat : 32255 (java) S 32248 32250 30903 0 -1 4202560 376 0 0 0 157 12 0 0 20 0 22 0 337992438 12137111552 1027094 33554432000 1073741824 1073778376 140733895711680 140305508592680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32250/tid=32256] ppid=32248 vsize=11852648 CPUtime=1.53 cores=0,2,4,6
/proc/32250/task/32256/stat : 32256 (java) S 32248 32250 30903 0 -1 4202560 336 0 0 0 142 11 0 0 20 0 22 0 337992438 12137111552 1027094 33554432000 1073741824 1073778376 140733895711680 140305507539880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32250/tid=32257] ppid=32248 vsize=11852648 CPUtime=1.38 cores=0,2,4,6
/proc/32250/task/32257/stat : 32257 (java) S 32248 32250 30903 0 -1 4202560 364 0 0 0 127 11 0 0 20 0 22 0 337992438 12137111552 1027094 33554432000 1073741824 1073778376 140733895711680 140305506486568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32250/tid=32258] ppid=32248 vsize=11852648 CPUtime=1.58 cores=0,2,4,6
/proc/32250/task/32258/stat : 32258 (java) S 32248 32250 30903 0 -1 4202560 339 0 0 0 147 11 0 0 20 0 22 0 337992438 12137111552 1027094 33554432000 1073741824 1073778376 140733895711680 140305505433768 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32250/tid=32259] ppid=32248 vsize=11852648 CPUtime=1.51 cores=0,2,4,6
/proc/32250/task/32259/stat : 32259 (java) S 32248 32250 30903 0 -1 4202560 371 0 0 0 140 11 0 0 20 0 22 0 337992438 12137111552 1027094 33554432000 1073741824 1073778376 140733895711680 140305504381480 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32250/tid=32260] ppid=32248 vsize=11852648 CPUtime=1.5 cores=0,2,4,6
/proc/32250/task/32260/stat : 32260 (java) S 32248 32250 30903 0 -1 4202560 379 0 0 0 141 9 0 0 20 0 22 0 337992438 12137111552 1027094 33554432000 1073741824 1073778376 140733895711680 140305503328680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32250/tid=32261] ppid=32248 vsize=11852648 CPUtime=36.82 cores=0,2,4,6
/proc/32250/task/32261/stat : 32261 (java) S 32248 32250 30903 0 -1 4202560 242 0 0 0 3676 6 0 0 20 0 22 0 337992439 12137111552 1027094 33554432000 1073741824 1073778376 140733895711680 140305491131112 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32250/tid=32262] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32262/stat : 32262 (java) S 32248 32250 30903 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337992440 12137111552 1027094 33554432000 1073741824 1073778376 140733895711680 140305490077176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32250/tid=32263] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32263/stat : 32263 (java) S 32248 32250 30903 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 337992440 12137111552 1027094 33554432000 1073741824 1073778376 140733895711680 140305489024776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32250/tid=32264] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32264/stat : 32264 (java) S 32248 32250 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337992443 12137111552 1027094 33554432000 1073741824 1073778376 140733895711680 140305487973264 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32250/tid=32265] ppid=32248 vsize=11852648 CPUtime=1.26 cores=0,2,4,6
/proc/32250/task/32265/stat : 32265 (java) S 32248 32250 30903 0 -1 4202560 7198 0 0 0 124 2 0 0 20 0 22 0 337992443 12137111552 1027094 33554432000 1073741824 1073778376 140733895711680 140305486919864 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32250/tid=32266] ppid=32248 vsize=11852648 CPUtime=1.19 cores=0,2,4,6
/proc/32250/task/32266/stat : 32266 (java) S 32248 32250 30903 0 -1 4202560 5750 0 0 0 117 2 0 0 20 0 22 0 337992443 12137111552 1027094 33554432000 1073741824 1073778376 140733895711680 140305485867064 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32250/tid=32267] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32267/stat : 32267 (java) S 32248 32250 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337992443 12137111552 1027094 33554432000 1073741824 1073778376 140733895711680 140305484814968 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32250/tid=32268] ppid=32248 vsize=11852648 CPUtime=0.34 cores=0,2,4,6
/proc/32250/task/32268/stat : 32268 (java) S 32248 32250 30903 0 -1 4202560 53 0 0 0 17 17 0 0 20 0 22 0 337992443 12137111552 1027094 33554432000 1073741824 1073778376 140733895711680 140305483762376 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32250/tid=32284] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32284/stat : 32284 (java) S 32248 32250 30903 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337992762 12137111552 1027094 33554432000 1073741824 1073778376 140733895711680 140305479549992 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32250/tid=32295] ppid=32248 vsize=11852648 CPUtime=439.22 cores=0,2,4,6
/proc/32250/task/32295/stat : 32295 (java) R 32248 32250 30903 0 -1 4202560 22 0 0 0 43916 6 0 0 20 0 22 0 338037836 12137111552 1027094 33554432000 1073741824 1073778376 140733895711680 140305482707408 140305593535211 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=32250/tid=32296] ppid=32248 vsize=11852648 CPUtime=439.2 cores=0,2,4,6
/proc/32250/task/32296/stat : 32296 (java) R 32248 32250 30903 0 -1 4202560 13 0 0 0 43913 7 0 0 20 0 22 0 338037836 12137111552 1027094 33554432000 1073741824 1073778376 140733895711680 140305480599728 140305593443899 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=32250/tid=32297] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32297/stat : 32297 (java) S 32248 32250 30903 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 338037837 12137111552 1027094 33554432000 1073741824 1073778376 140733895711680 140305481655720 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.11
Current children cumulated vsize (KiB) 11852648
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+917.601 s]
/proc/loadavg: 3.88 3.87 3.82 5/221 32388
/proc/meminfo: memFree=23529488/32873844 swapFree=7124/7124
[pid=32250] ppid=32248 vsize=11852648 CPUtime=1798.11 cores=0,2,4,6
/proc/32250/stat : 32250 (java) S 32248 32250 30903 0 -1 4202496 22395 0 1 0 179624 187 0 0 20 0 22 0 337992434 12137111552 1027094 33554432000 1073741824 1073778376 140733895711680 140733895702816 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32250/statm: 2963162 1027094 2294 9 0 2953849 0
[pid=32250/tid=32252] ppid=32248 vsize=11852648 CPUtime=1.38 cores=0,2,4,6
/proc/32250/task/32252/stat : 32252 (java) S 32248 32250 30903 0 -1 4202560 3556 0 1 0 132 6 0 0 20 0 22 0 337992435 12137111552 1027094 33554432000 1073741824 1073778376 140733895711680 140305741616264 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32250/tid=32253] ppid=32248 vsize=11852648 CPUtime=1.73 cores=0,2,4,6
/proc/32250/task/32253/stat : 32253 (java) S 32248 32250 30903 0 -1 4202560 356 0 0 0 161 12 0 0 20 0 22 0 337992438 12137111552 1027094 33554432000 1073741824 1073778376 140733895711680 140305578822440 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32250/tid=32254] ppid=32248 vsize=11852648 CPUtime=1.64 cores=0,2,4,6
/proc/32250/task/32254/stat : 32254 (java) S 32248 32250 30903 0 -1 4202560 359 0 0 0 152 12 0 0 20 0 22 0 337992438 12137111552 1027094 33554432000 1073741824 1073778376 140733895711680 140305577769640 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32250/tid=32255] ppid=32248 vsize=11852648 CPUtime=1.69 cores=0,2,4,6
/proc/32250/task/32255/stat : 32255 (java) S 32248 32250 30903 0 -1 4202560 376 0 0 0 157 12 0 0 20 0 22 0 337992438 12137111552 1027094 33554432000 1073741824 1073778376 140733895711680 140305508592680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32250/tid=32256] ppid=32248 vsize=11852648 CPUtime=1.53 cores=0,2,4,6
/proc/32250/task/32256/stat : 32256 (java) S 32248 32250 30903 0 -1 4202560 336 0 0 0 142 11 0 0 20 0 22 0 337992438 12137111552 1027094 33554432000 1073741824 1073778376 140733895711680 140305507539880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32250/tid=32257] ppid=32248 vsize=11852648 CPUtime=1.38 cores=0,2,4,6
/proc/32250/task/32257/stat : 32257 (java) S 32248 32250 30903 0 -1 4202560 364 0 0 0 127 11 0 0 20 0 22 0 337992438 12137111552 1027094 33554432000 1073741824 1073778376 140733895711680 140305506486568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32250/tid=32258] ppid=32248 vsize=11852648 CPUtime=1.58 cores=0,2,4,6
/proc/32250/task/32258/stat : 32258 (java) S 32248 32250 30903 0 -1 4202560 339 0 0 0 147 11 0 0 20 0 22 0 337992438 12137111552 1027094 33554432000 1073741824 1073778376 140733895711680 140305505433768 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32250/tid=32259] ppid=32248 vsize=11852648 CPUtime=1.51 cores=0,2,4,6
/proc/32250/task/32259/stat : 32259 (java) S 32248 32250 30903 0 -1 4202560 371 0 0 0 140 11 0 0 20 0 22 0 337992438 12137111552 1027094 33554432000 1073741824 1073778376 140733895711680 140305504381480 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32250/tid=32260] ppid=32248 vsize=11852648 CPUtime=1.5 cores=0,2,4,6
/proc/32250/task/32260/stat : 32260 (java) S 32248 32250 30903 0 -1 4202560 379 0 0 0 141 9 0 0 20 0 22 0 337992438 12137111552 1027094 33554432000 1073741824 1073778376 140733895711680 140305503328680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32250/tid=32261] ppid=32248 vsize=11852648 CPUtime=36.82 cores=0,2,4,6
/proc/32250/task/32261/stat : 32261 (java) S 32248 32250 30903 0 -1 4202560 242 0 0 0 3676 6 0 0 20 0 22 0 337992439 12137111552 1027094 33554432000 1073741824 1073778376 140733895711680 140305491131112 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32250/tid=32262] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32262/stat : 32262 (java) S 32248 32250 30903 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337992440 12137111552 1027094 33554432000 1073741824 1073778376 140733895711680 140305490077176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32250/tid=32263] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32263/stat : 32263 (java) S 32248 32250 30903 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 337992440 12137111552 1027094 33554432000 1073741824 1073778376 140733895711680 140305489024776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32250/tid=32264] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32264/stat : 32264 (java) S 32248 32250 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337992443 12137111552 1027094 33554432000 1073741824 1073778376 140733895711680 140305487973264 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32250/tid=32265] ppid=32248 vsize=11852648 CPUtime=1.26 cores=0,2,4,6
/proc/32250/task/32265/stat : 32265 (java) S 32248 32250 30903 0 -1 4202560 7198 0 0 0 124 2 0 0 20 0 22 0 337992443 12137111552 1027094 33554432000 1073741824 1073778376 140733895711680 140305486919864 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32250/tid=32266] ppid=32248 vsize=11852648 CPUtime=1.19 cores=0,2,4,6
/proc/32250/task/32266/stat : 32266 (java) S 32248 32250 30903 0 -1 4202560 5750 0 0 0 117 2 0 0 20 0 22 0 337992443 12137111552 1027094 33554432000 1073741824 1073778376 140733895711680 140305485867064 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32250/tid=32267] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32267/stat : 32267 (java) S 32248 32250 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337992443 12137111552 1027094 33554432000 1073741824 1073778376 140733895711680 140305484814968 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32250/tid=32268] ppid=32248 vsize=11852648 CPUtime=0.34 cores=0,2,4,6
/proc/32250/task/32268/stat : 32268 (java) S 32248 32250 30903 0 -1 4202560 53 0 0 0 17 17 0 0 20 0 22 0 337992443 12137111552 1027094 33554432000 1073741824 1073778376 140733895711680 140305483762376 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32250/tid=32284] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32284/stat : 32284 (java) S 32248 32250 30903 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337992762 12137111552 1027094 33554432000 1073741824 1073778376 140733895711680 140305479549992 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32250/tid=32295] ppid=32248 vsize=11852648 CPUtime=439.22 cores=0,2,4,6
/proc/32250/task/32295/stat : 32295 (java) R 32248 32250 30903 0 -1 4202560 22 0 0 0 43916 6 0 0 20 0 22 0 338037836 12137111552 1027094 33554432000 1073741824 1073778376 140733895711680 140305482707408 140305593535211 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=32250/tid=32296] ppid=32248 vsize=11852648 CPUtime=439.2 cores=0,2,4,6
/proc/32250/task/32296/stat : 32296 (java) R 32248 32250 30903 0 -1 4202560 13 0 0 0 43913 7 0 0 20 0 22 0 338037836 12137111552 1027094 33554432000 1073741824 1073778376 140733895711680 140305480599728 140305593443899 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=32250/tid=32297] ppid=32248 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/32250/task/32297/stat : 32297 (java) S 32248 32250 30903 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 338037837 12137111552 1027094 33554432000 1073741824 1073778376 140733895711680 140305481655720 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.11
Current children cumulated vsize (KiB) 11852648
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 32250 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=800300
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=183668
# CPU time returned by wait4() is 1795.98
# while last known CPU time is 1798.11
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 1.89998
# lost CPU user time (s): 2.05998
# lost CPU system time (s): -0.16
Real time (s): 917.636
CPU time (s): 1800.01
CPU user time (s): 1798.3
CPU system time (s): 1.71
CPU usage (%): 196.157
Max. virtual memory (cumulated for all children) (KiB): 11852648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.8
system time used= 2.18367
maximum resident set size= 4108488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22425
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24275
involuntary context switches= 26815
runsolver used 3.35949 second user time and 8.39572 second system time
The end