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-3710971-1338175623/watcher-3710971-1338175623 -o /tmp/evaluation-result-3710971-1338175623/solver-3710971-1338175623 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710971-1338175623.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: 2.16 2.04 2.01 3/195 16209
/proc/meminfo: memFree=30387128/32873648 swapFree=6860/6860
[pid=16209] ppid=16207 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/16209/stat : 16209 (java) S 16207 16209 13368 0 -1 4202496 1276 0 0 0 0 0 0 0 20 0 2 0 283688374 98570240 977 33554432000 1073741824 1073778376 140736466872032 140736466863168 266439000125 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16209/statm: 24065 977 743 9 0 16771 0
[pid=16209/tid=16210] ppid=16207 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16210/stat : 16210 (java) R 16207 16209 13368 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 283688375 98570240 978 33554432000 1073741824 1073778376 140736466872032 139795059629608 266435642752 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0
[startup+0.0557739 s]
/proc/loadavg: 2.16 2.04 2.01 3/195 16209
/proc/meminfo: memFree=30387128/32873648 swapFree=6860/6860
[pid=16209] ppid=16207 vsize=9558440 CPUtime=0.04 cores=0,2,4,6
/proc/16209/stat : 16209 (java) S 16207 16209 13368 0 -1 4202496 3211 0 1 0 3 1 0 0 20 0 18 0 283688374 9787842560 4419 33554432000 1073741824 1073778376 140736466872032 140736466863168 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16209/statm: 2389610 4419 1764 9 0 2380296 0
[pid=16209/tid=16210] ppid=16207 vsize=9558440 CPUtime=0.03 cores=0,2,4,6
/proc/16209/task/16210/stat : 16210 (java) R 16207 16209 13368 0 -1 4202560 2001 0 1 0 3 0 0 0 20 0 18 0 283688375 9787842560 4419 33554432000 1073741824 1073778376 140736466872032 139795059636896 139794894144040 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9558440
[startup+0.100298 s]
/proc/loadavg: 2.16 2.04 2.01 3/195 16209
/proc/meminfo: memFree=30387128/32873648 swapFree=6860/6860
[pid=16209] ppid=16207 vsize=9558440 CPUtime=0.1 cores=0,2,4,6
/proc/16209/stat : 16209 (java) S 16207 16209 13368 0 -1 4202496 4347 0 1 0 9 1 0 0 20 0 18 0 283688374 9787842560 6065 33554432000 1073741824 1073778376 140736466872032 140736466863168 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16209/statm: 2389610 6065 2122 9 0 2380296 0
[pid=16209/tid=16210] ppid=16207 vsize=9558440 CPUtime=0.08 cores=0,2,4,6
/proc/16209/task/16210/stat : 16210 (java) R 16207 16209 13368 0 -1 4202560 2487 0 1 0 6 2 0 0 20 0 18 0 283688375 9787842560 6065 33554432000 1073741824 1073778376 140736466872032 139795059632808 139795066644703 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558440
[startup+0.300192 s]
/proc/loadavg: 2.16 2.04 2.01 3/195 16209
/proc/meminfo: memFree=30387128/32873648 swapFree=6860/6860
[pid=16209] ppid=16207 vsize=9558440 CPUtime=0.52 cores=0,2,4,6
/proc/16209/stat : 16209 (java) S 16207 16209 13368 0 -1 4202496 6785 0 1 0 50 2 0 0 20 0 18 0 283688374 9787842560 10026 33554432000 1073741824 1073778376 140736466872032 140736466863168 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16209/statm: 2389610 10026 2224 9 0 2380296 0
[pid=16209/tid=16210] ppid=16207 vsize=9558440 CPUtime=0.28 cores=0,2,4,6
/proc/16209/task/16210/stat : 16210 (java) R 16207 16209 13368 0 -1 4202560 2502 0 1 0 26 2 0 0 20 0 18 0 283688375 9787842560 10026 33554432000 1073741824 1073778376 140736466872032 139795059632808 139794894415303 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9558440
[startup+0.700195 s]
/proc/loadavg: 2.16 2.04 2.01 3/195 16209
/proc/meminfo: memFree=30387128/32873648 swapFree=6860/6860
[pid=16209] ppid=16207 vsize=9625004 CPUtime=1.45 cores=0,2,4,6
/proc/16209/stat : 16209 (java) S 16207 16209 13368 0 -1 4202496 12202 0 1 0 142 3 0 0 20 0 19 0 283688374 9856004096 19332 33554432000 1073741824 1073778376 140736466872032 140736466863168 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16209/statm: 2406251 19332 2250 9 0 2396937 0
[pid=16209/tid=16210] ppid=16207 vsize=9625004 CPUtime=0.67 cores=0,2,4,6
/proc/16209/task/16210/stat : 16210 (java) R 16207 16209 13368 0 -1 4202560 2527 0 1 0 65 2 0 0 20 0 19 0 283688375 9856004096 19332 33554432000 1073741824 1073778376 140736466872032 139795059634792 139794894763550 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 9625004
[startup+1.5007 s]
/proc/loadavg: 2.16 2.04 2.01 3/214 16228
/proc/meminfo: memFree=30316284/32873648 swapFree=6860/6860
[pid=16209] ppid=16207 vsize=9625004 CPUtime=2.44 cores=0,2,4,6
/proc/16209/stat : 16209 (java) S 16207 16209 13368 0 -1 4202496 16305 0 1 0 240 4 0 0 20 0 19 0 283688374 9856004096 25442 33554432000 1073741824 1073778376 140736466872032 140736466863168 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16209/statm: 2406251 25442 2281 9 0 2396937 0
[pid=16209/tid=16210] ppid=16207 vsize=9625004 CPUtime=1.45 cores=0,2,4,6
/proc/16209/task/16210/stat : 16210 (java) R 16207 16209 13368 0 -1 4202560 2533 0 1 0 143 2 0 0 20 0 19 0 283688375 9856004096 25442 33554432000 1073741824 1073778376 140736466872032 139795059634552 139794894731286 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16209/tid=16212] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16212/stat : 16212 (java) S 16207 16209 13368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283688375 9856004096 25442 33554432000 1073741824 1073778376 140736466872032 139795021126568 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16209/tid=16213] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16213/stat : 16213 (java) S 16207 16209 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283688375 9856004096 25442 33554432000 1073741824 1073778376 140736466872032 139795020074024 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16209/tid=16214] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16214/stat : 16214 (java) S 16207 16209 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283688375 9856004096 25442 33554432000 1073741824 1073778376 140736466872032 139795019020968 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16209/tid=16215] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16215/stat : 16215 (java) S 16207 16209 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283688375 9856004096 25442 33554432000 1073741824 1073778376 140736466872032 139795017968424 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16209/tid=16216] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16216/stat : 16216 (java) S 16207 16209 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283688375 9856004096 25442 33554432000 1073741824 1073778376 140736466872032 139795016915368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16209/tid=16217] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16217/stat : 16217 (java) S 16207 16209 13368 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 283688375 9856004096 25442 33554432000 1073741824 1073778376 140736466872032 139795015862824 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16209/tid=16218] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16218/stat : 16218 (java) S 16207 16209 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283688375 9856004096 25442 33554432000 1073741824 1073778376 140736466872032 139795014809768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16209/tid=16219] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16219/stat : 16219 (java) S 16207 16209 13368 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 283688375 9856004096 25442 33554432000 1073741824 1073778376 140736466872032 139795013757224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16209/tid=16220] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16220/stat : 16220 (java) S 16207 16209 13368 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 19 0 283688376 9856004096 25442 33554432000 1073741824 1073778376 140736466872032 139794882878312 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16209/tid=16221] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16221/stat : 16221 (java) S 16207 16209 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283688377 9856004096 25442 33554432000 1073741824 1073778376 140736466872032 139794881824632 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16209/tid=16222] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16222/stat : 16222 (java) S 16207 16209 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283688377 9856004096 25442 33554432000 1073741824 1073778376 140736466872032 139794880771464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16209/tid=16223] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16223/stat : 16223 (java) S 16207 16209 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283688379 9856004096 25442 33554432000 1073741824 1073778376 140736466872032 139794879720208 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16209/tid=16224] ppid=16207 vsize=9625004 CPUtime=0.48 cores=0,2,4,6
/proc/16209/task/16224/stat : 16224 (java) S 16207 16209 13368 0 -1 4202560 8118 0 0 0 48 0 0 0 20 0 19 0 283688379 9856004096 25442 33554432000 1073741824 1073778376 140736466872032 139794878667064 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16209/tid=16225] ppid=16207 vsize=9625004 CPUtime=0.44 cores=0,2,4,6
/proc/16209/task/16225/stat : 16225 (java) S 16207 16209 13368 0 -1 4202560 4408 0 0 0 44 0 0 0 20 0 19 0 283688379 9856004096 25442 33554432000 1073741824 1073778376 140736466872032 139794004830648 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16209/tid=16226] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16226/stat : 16226 (java) S 16207 16209 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283688379 9856004096 25442 33554432000 1073741824 1073778376 140736466872032 139794003777784 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16209/tid=16227] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16227/stat : 16227 (java) S 16207 16209 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283688379 9856004096 25442 33554432000 1073741824 1073778376 140736466872032 139794002725448 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16209/tid=16228] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16228/stat : 16228 (java) S 16207 16209 13368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283688418 9856004096 25442 33554432000 1073741824 1073778376 140736466872032 139794001671720 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.44
Current children cumulated vsize (KiB) 9625004
[startup+3.10072 s]
/proc/loadavg: 2.16 2.04 2.01 3/214 16228
/proc/meminfo: memFree=30287436/32873648 swapFree=6860/6860
[pid=16209] ppid=16207 vsize=9625004 CPUtime=4.11 cores=0,2,4,6
/proc/16209/stat : 16209 (java) S 16207 16209 13368 0 -1 4202496 16321 0 1 0 406 5 0 0 20 0 19 0 283688374 9856004096 27493 33554432000 1073741824 1073778376 140736466872032 140736466863168 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16209/statm: 2406251 27493 2282 9 0 2396937 0
[pid=16209/tid=16210] ppid=16207 vsize=9625004 CPUtime=3.02 cores=0,2,4,6
/proc/16209/task/16210/stat : 16210 (java) R 16207 16209 13368 0 -1 4202560 2534 0 1 0 300 2 0 0 20 0 19 0 283688375 9856004096 27493 33554432000 1073741824 1073778376 140736466872032 139795059634464 139794894649958 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16209/tid=16212] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16212/stat : 16212 (java) S 16207 16209 13368 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 283688375 9856004096 27493 33554432000 1073741824 1073778376 140736466872032 139795021126568 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16209/tid=16213] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16213/stat : 16213 (java) S 16207 16209 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283688375 9856004096 27493 33554432000 1073741824 1073778376 140736466872032 139795020074024 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16209/tid=16214] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16214/stat : 16214 (java) S 16207 16209 13368 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 283688375 9856004096 27493 33554432000 1073741824 1073778376 140736466872032 139795019020968 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16209/tid=16215] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16215/stat : 16215 (java) S 16207 16209 13368 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 283688375 9856004096 27493 33554432000 1073741824 1073778376 140736466872032 139795017968424 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16209/tid=16216] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16216/stat : 16216 (java) S 16207 16209 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283688375 9856004096 27493 33554432000 1073741824 1073778376 140736466872032 139795016915368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16209/tid=16217] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16217/stat : 16217 (java) S 16207 16209 13368 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 283688375 9856004096 27493 33554432000 1073741824 1073778376 140736466872032 139795015862824 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16209/tid=16218] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16218/stat : 16218 (java) S 16207 16209 13368 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 283688375 9856004096 27493 33554432000 1073741824 1073778376 140736466872032 139795014809768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16209/tid=16219] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16219/stat : 16219 (java) S 16207 16209 13368 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 283688375 9856004096 27493 33554432000 1073741824 1073778376 140736466872032 139795013757224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16209/tid=16220] ppid=16207 vsize=9625004 CPUtime=0.03 cores=0,2,4,6
/proc/16209/task/16220/stat : 16220 (java) S 16207 16209 13368 0 -1 4202560 33 0 0 0 3 0 0 0 20 0 19 0 283688376 9856004096 27493 33554432000 1073741824 1073778376 140736466872032 139794882878312 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16209/tid=16221] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16221/stat : 16221 (java) S 16207 16209 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283688377 9856004096 27493 33554432000 1073741824 1073778376 140736466872032 139794881824632 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16209/tid=16222] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16222/stat : 16222 (java) S 16207 16209 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283688377 9856004096 27493 33554432000 1073741824 1073778376 140736466872032 139794880771464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16209/tid=16223] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16223/stat : 16223 (java) S 16207 16209 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283688379 9856004096 27493 33554432000 1073741824 1073778376 140736466872032 139794879720208 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16209/tid=16224] ppid=16207 vsize=9625004 CPUtime=0.51 cores=0,2,4,6
/proc/16209/task/16224/stat : 16224 (java) S 16207 16209 13368 0 -1 4202560 8119 0 0 0 51 0 0 0 20 0 19 0 283688379 9856004096 27493 33554432000 1073741824 1073778376 140736466872032 139794878667064 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16209/tid=16225] ppid=16207 vsize=9625004 CPUtime=0.47 cores=0,2,4,6
/proc/16209/task/16225/stat : 16225 (java) S 16207 16209 13368 0 -1 4202560 4409 0 0 0 47 0 0 0 20 0 19 0 283688379 9856004096 27493 33554432000 1073741824 1073778376 140736466872032 139794004830648 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16209/tid=16226] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16226/stat : 16226 (java) S 16207 16209 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283688379 9856004096 27493 33554432000 1073741824 1073778376 140736466872032 139794003777784 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16209/tid=16227] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16227/stat : 16227 (java) S 16207 16209 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283688379 9856004096 27493 33554432000 1073741824 1073778376 140736466872032 139794002725448 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16209/tid=16228] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16228/stat : 16228 (java) S 16207 16209 13368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283688418 9856004096 27493 33554432000 1073741824 1073778376 140736466872032 139794001671720 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.11
Current children cumulated vsize (KiB) 9625004
[startup+6.30062 s]
/proc/loadavg: 2.15 2.04 2.01 3/214 16228
/proc/meminfo: memFree=30285088/32873648 swapFree=6860/6860
[pid=16209] ppid=16207 vsize=9625004 CPUtime=7.36 cores=0,2,4,6
/proc/16209/stat : 16209 (java) S 16207 16209 13368 0 -1 4202496 16349 0 1 0 731 5 0 0 20 0 19 0 283688374 9856004096 27344 33554432000 1073741824 1073778376 140736466872032 140736466863168 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16209/statm: 2406251 27344 2282 9 0 2396937 0
[pid=16209/tid=16210] ppid=16207 vsize=9625004 CPUtime=6.19 cores=0,2,4,6
/proc/16209/task/16210/stat : 16210 (java) R 16207 16209 13368 0 -1 4202560 2536 0 1 0 616 3 0 0 20 0 19 0 283688375 9856004096 27344 33554432000 1073741824 1073778376 140736466872032 139795059634464 139794894803749 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16209/tid=16212] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16212/stat : 16212 (java) S 16207 16209 13368 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 283688375 9856004096 27344 33554432000 1073741824 1073778376 140736466872032 139795021126568 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16209/tid=16213] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16213/stat : 16213 (java) S 16207 16209 13368 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 283688375 9856004096 27344 33554432000 1073741824 1073778376 140736466872032 139795020074024 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16209/tid=16214] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16214/stat : 16214 (java) S 16207 16209 13368 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 283688375 9856004096 27344 33554432000 1073741824 1073778376 140736466872032 139795019020968 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16209/tid=16215] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16215/stat : 16215 (java) S 16207 16209 13368 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283688375 9856004096 27344 33554432000 1073741824 1073778376 140736466872032 139795017968424 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16209/tid=16216] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16216/stat : 16216 (java) S 16207 16209 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283688375 9856004096 27344 33554432000 1073741824 1073778376 140736466872032 139795016915368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16209/tid=16217] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16217/stat : 16217 (java) S 16207 16209 13368 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 283688375 9856004096 27344 33554432000 1073741824 1073778376 140736466872032 139795015862824 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16209/tid=16218] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16218/stat : 16218 (java) S 16207 16209 13368 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 283688375 9856004096 27344 33554432000 1073741824 1073778376 140736466872032 139795014809768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16209/tid=16219] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16219/stat : 16219 (java) S 16207 16209 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283688375 9856004096 27344 33554432000 1073741824 1073778376 140736466872032 139795013757224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16209/tid=16220] ppid=16207 vsize=9625004 CPUtime=0.06 cores=0,2,4,6
/proc/16209/task/16220/stat : 16220 (java) S 16207 16209 13368 0 -1 4202560 33 0 0 0 6 0 0 0 20 0 19 0 283688376 9856004096 27344 33554432000 1073741824 1073778376 140736466872032 139794882878312 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16209/tid=16221] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16221/stat : 16221 (java) S 16207 16209 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283688377 9856004096 27344 33554432000 1073741824 1073778376 140736466872032 139794881824632 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16209/tid=16222] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16222/stat : 16222 (java) S 16207 16209 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283688377 9856004096 27344 33554432000 1073741824 1073778376 140736466872032 139794880771464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16209/tid=16223] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16223/stat : 16223 (java) S 16207 16209 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283688379 9856004096 27344 33554432000 1073741824 1073778376 140736466872032 139794879720208 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16209/tid=16224] ppid=16207 vsize=9625004 CPUtime=0.55 cores=0,2,4,6
/proc/16209/task/16224/stat : 16224 (java) S 16207 16209 13368 0 -1 4202560 8137 0 0 0 55 0 0 0 20 0 19 0 283688379 9856004096 27344 33554432000 1073741824 1073778376 140736466872032 139794878667064 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16209/tid=16225] ppid=16207 vsize=9625004 CPUtime=0.47 cores=0,2,4,6
/proc/16209/task/16225/stat : 16225 (java) S 16207 16209 13368 0 -1 4202560 4409 0 0 0 47 0 0 0 20 0 19 0 283688379 9856004096 27344 33554432000 1073741824 1073778376 140736466872032 139794004830648 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
################
# More data... #
################
[pid=16209/tid=16217] ppid=16207 vsize=9625004 CPUtime=3.29 cores=0,2,4,6
/proc/16209/task/16217/stat : 16217 (java) S 16207 16209 13368 0 -1 4202560 2381 0 0 0 316 13 0 0 20 0 19 0 283688375 9856004096 163138 33554432000 1073741824 1073778376 140736466872032 139795015862824 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16209/tid=16218] ppid=16207 vsize=9625004 CPUtime=3.41 cores=0,2,4,6
/proc/16209/task/16218/stat : 16218 (java) S 16207 16209 13368 0 -1 4202560 2948 0 0 0 327 14 0 0 20 0 19 0 283688375 9856004096 163138 33554432000 1073741824 1073778376 140736466872032 139795014809768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16209/tid=16219] ppid=16207 vsize=9625004 CPUtime=3.38 cores=0,2,4,6
/proc/16209/task/16219/stat : 16219 (java) S 16207 16209 13368 0 -1 4202560 4050 0 0 0 322 16 0 0 20 0 19 0 283688375 9856004096 163138 33554432000 1073741824 1073778376 140736466872032 139795013757224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16209/tid=16220] ppid=16207 vsize=9625004 CPUtime=5.5 cores=0,2,4,6
/proc/16209/task/16220/stat : 16220 (java) S 16207 16209 13368 0 -1 4202560 906 0 0 0 543 7 0 0 20 0 19 0 283688376 9856004096 163138 33554432000 1073741824 1073778376 140736466872032 139794882878312 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16209/tid=16221] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16221/stat : 16221 (java) S 16207 16209 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283688377 9856004096 163138 33554432000 1073741824 1073778376 140736466872032 139794881824632 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16209/tid=16222] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16222/stat : 16222 (java) S 16207 16209 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283688377 9856004096 163138 33554432000 1073741824 1073778376 140736466872032 139794880771464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16209/tid=16223] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16223/stat : 16223 (java) S 16207 16209 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283688379 9856004096 163138 33554432000 1073741824 1073778376 140736466872032 139794879720208 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16209/tid=16224] ppid=16207 vsize=9625004 CPUtime=0.57 cores=0,2,4,6
/proc/16209/task/16224/stat : 16224 (java) S 16207 16209 13368 0 -1 4202560 8155 0 0 0 57 0 0 0 20 0 19 0 283688379 9856004096 163138 33554432000 1073741824 1073778376 140736466872032 139794878667064 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16209/tid=16225] ppid=16207 vsize=9625004 CPUtime=0.47 cores=0,2,4,6
/proc/16209/task/16225/stat : 16225 (java) S 16207 16209 13368 0 -1 4202560 4409 0 0 0 47 0 0 0 20 0 19 0 283688379 9856004096 163138 33554432000 1073741824 1073778376 140736466872032 139794004830648 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16209/tid=16226] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16226/stat : 16226 (java) S 16207 16209 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283688379 9856004096 163138 33554432000 1073741824 1073778376 140736466872032 139794003777784 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16209/tid=16227] ppid=16207 vsize=9625004 CPUtime=0.4 cores=0,2,4,6
/proc/16209/task/16227/stat : 16227 (java) S 16207 16209 13368 0 -1 4202560 93 0 0 0 22 18 0 0 20 0 19 0 283688379 9856004096 163138 33554432000 1073741824 1073778376 140736466872032 139794002725448 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16209/tid=16228] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16228/stat : 16228 (java) S 16207 16209 13368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283688418 9856004096 163138 33554432000 1073741824 1073778376 140736466872032 139794001671720 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1682.76
Current children cumulated vsize (KiB) 9625004
[startup+1722.3 s]
/proc/loadavg: 1.96 2.01 1.99 3/212 16302
/proc/meminfo: memFree=29552716/32873648 swapFree=6860/6860
[pid=16209] ppid=16207 vsize=9625004 CPUtime=1745.35 cores=0,2,4,6
/proc/16209/stat : 16209 (java) S 16207 16209 13368 0 -1 4202496 47630 0 1 0 174381 154 0 0 20 0 19 0 283688374 9856004096 119091 33554432000 1073741824 1073778376 140736466872032 140736466863168 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16209/statm: 2406251 119091 2283 9 0 2396937 0
[pid=16209/tid=16210] ppid=16207 vsize=9625004 CPUtime=1707.46 cores=0,2,4,6
/proc/16209/task/16210/stat : 16210 (java) R 16207 16209 13368 0 -1 4202560 3202 0 1 0 170714 32 0 0 20 0 19 0 283688375 9856004096 119091 33554432000 1073741824 1073778376 140736466872032 139795059633504 139794894763052 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=16209/tid=16212] ppid=16207 vsize=9625004 CPUtime=3.97 cores=0,2,4,6
/proc/16209/task/16212/stat : 16212 (java) S 16207 16209 13368 0 -1 4202560 3403 0 0 0 384 13 0 0 20 0 19 0 283688375 9856004096 119091 33554432000 1073741824 1073778376 140736466872032 139795021126568 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16209/tid=16213] ppid=16207 vsize=9625004 CPUtime=3.79 cores=0,2,4,6
/proc/16209/task/16213/stat : 16213 (java) S 16207 16209 13368 0 -1 4202560 3331 0 0 0 363 16 0 0 20 0 19 0 283688375 9856004096 119091 33554432000 1073741824 1073778376 140736466872032 139795020074024 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16209/tid=16214] ppid=16207 vsize=9625004 CPUtime=3.9 cores=0,2,4,6
/proc/16209/task/16214/stat : 16214 (java) S 16207 16209 13368 0 -1 4202560 3882 0 0 0 375 15 0 0 20 0 19 0 283688375 9856004096 119091 33554432000 1073741824 1073778376 140736466872032 139795019020968 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16209/tid=16215] ppid=16207 vsize=9625004 CPUtime=3.92 cores=0,2,4,6
/proc/16209/task/16215/stat : 16215 (java) S 16207 16209 13368 0 -1 4202560 4126 0 0 0 378 14 0 0 20 0 19 0 283688375 9856004096 119091 33554432000 1073741824 1073778376 140736466872032 139795017968424 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16209/tid=16216] ppid=16207 vsize=9625004 CPUtime=3.79 cores=0,2,4,6
/proc/16209/task/16216/stat : 16216 (java) S 16207 16209 13368 0 -1 4202560 4954 0 0 0 362 17 0 0 20 0 19 0 283688375 9856004096 119091 33554432000 1073741824 1073778376 140736466872032 139795016915368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16209/tid=16217] ppid=16207 vsize=9625004 CPUtime=3.74 cores=0,2,4,6
/proc/16209/task/16217/stat : 16217 (java) S 16207 16209 13368 0 -1 4202560 2550 0 0 0 360 14 0 0 20 0 19 0 283688375 9856004096 119091 33554432000 1073741824 1073778376 140736466872032 139795015862824 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16209/tid=16218] ppid=16207 vsize=9625004 CPUtime=3.83 cores=0,2,4,6
/proc/16209/task/16218/stat : 16218 (java) S 16207 16209 13368 0 -1 4202560 3204 0 0 0 368 15 0 0 20 0 19 0 283688375 9856004096 119091 33554432000 1073741824 1073778376 140736466872032 139795014809768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16209/tid=16219] ppid=16207 vsize=9625004 CPUtime=3.81 cores=0,2,4,6
/proc/16209/task/16219/stat : 16219 (java) S 16207 16209 13368 0 -1 4202560 4169 0 0 0 364 17 0 0 20 0 19 0 283688375 9856004096 119091 33554432000 1073741824 1073778376 140736466872032 139795013757224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16209/tid=16220] ppid=16207 vsize=9625004 CPUtime=5.69 cores=0,2,4,6
/proc/16209/task/16220/stat : 16220 (java) S 16207 16209 13368 0 -1 4202560 967 0 0 0 561 8 0 0 20 0 19 0 283688376 9856004096 119091 33554432000 1073741824 1073778376 140736466872032 139794882878312 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16209/tid=16221] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16221/stat : 16221 (java) S 16207 16209 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283688377 9856004096 119091 33554432000 1073741824 1073778376 140736466872032 139794881824632 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16209/tid=16222] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16222/stat : 16222 (java) S 16207 16209 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283688377 9856004096 119091 33554432000 1073741824 1073778376 140736466872032 139794880771464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16209/tid=16223] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16223/stat : 16223 (java) S 16207 16209 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283688379 9856004096 119091 33554432000 1073741824 1073778376 140736466872032 139794879720208 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16209/tid=16224] ppid=16207 vsize=9625004 CPUtime=0.57 cores=0,2,4,6
/proc/16209/task/16224/stat : 16224 (java) S 16207 16209 13368 0 -1 4202560 8155 0 0 0 57 0 0 0 20 0 19 0 283688379 9856004096 119091 33554432000 1073741824 1073778376 140736466872032 139794878667064 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16209/tid=16225] ppid=16207 vsize=9625004 CPUtime=0.47 cores=0,2,4,6
/proc/16209/task/16225/stat : 16225 (java) S 16207 16209 13368 0 -1 4202560 4409 0 0 0 47 0 0 0 20 0 19 0 283688379 9856004096 119091 33554432000 1073741824 1073778376 140736466872032 139794004830648 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16209/tid=16226] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16226/stat : 16226 (java) S 16207 16209 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283688379 9856004096 119091 33554432000 1073741824 1073778376 140736466872032 139794003777784 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16209/tid=16227] ppid=16207 vsize=9625004 CPUtime=0.41 cores=0,2,4,6
/proc/16209/task/16227/stat : 16227 (java) S 16207 16209 13368 0 -1 4202560 97 0 0 0 22 19 0 0 20 0 19 0 283688379 9856004096 119091 33554432000 1073741824 1073778376 140736466872032 139794002725448 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16209/tid=16228] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16228/stat : 16228 (java) S 16207 16209 13368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283688418 9856004096 119091 33554432000 1073741824 1073778376 140736466872032 139794001671720 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1745.35
Current children cumulated vsize (KiB) 9625004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1775.9 s]
/proc/loadavg: 1.98 2.00 1.99 3/213 16303
/proc/meminfo: memFree=29589300/32873648 swapFree=6860/6860
[pid=16209] ppid=16207 vsize=9625004 CPUtime=1800.03 cores=0,2,4,6
/proc/16209/stat : 16209 (java) S 16207 16209 13368 0 -1 4202496 49053 0 1 0 179845 158 0 0 20 0 19 0 283688374 9856004096 120277 33554432000 1073741824 1073778376 140736466872032 140736466863168 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16209/statm: 2406251 120277 2283 9 0 2396937 0
[pid=16209/tid=16210] ppid=16207 vsize=9625004 CPUtime=1760.38 cores=0,2,4,6
/proc/16209/task/16210/stat : 16210 (java) R 16207 16209 13368 0 -1 4202560 3243 0 1 0 176005 33 0 0 20 0 19 0 283688375 9856004096 120277 33554432000 1073741824 1073778376 140736466872032 139795059633504 139794894718919 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16209/tid=16212] ppid=16207 vsize=9625004 CPUtime=4.22 cores=0,2,4,6
/proc/16209/task/16212/stat : 16212 (java) S 16207 16209 13368 0 -1 4202560 3880 0 0 0 408 14 0 0 20 0 19 0 283688375 9856004096 120277 33554432000 1073741824 1073778376 140736466872032 139795021126568 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16209/tid=16213] ppid=16207 vsize=9625004 CPUtime=3.98 cores=0,2,4,6
/proc/16209/task/16213/stat : 16213 (java) S 16207 16209 13368 0 -1 4202560 3461 0 0 0 382 16 0 0 20 0 19 0 283688375 9856004096 120277 33554432000 1073741824 1073778376 140736466872032 139795020074024 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16209/tid=16214] ppid=16207 vsize=9625004 CPUtime=4.07 cores=0,2,4,6
/proc/16209/task/16214/stat : 16214 (java) S 16207 16209 13368 0 -1 4202560 3982 0 0 0 392 15 0 0 20 0 19 0 283688375 9856004096 120277 33554432000 1073741824 1073778376 140736466872032 139795019020968 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16209/tid=16215] ppid=16207 vsize=9625004 CPUtime=4.1 cores=0,2,4,6
/proc/16209/task/16215/stat : 16215 (java) S 16207 16209 13368 0 -1 4202560 4340 0 0 0 396 14 0 0 20 0 19 0 283688375 9856004096 120277 33554432000 1073741824 1073778376 140736466872032 139795017968424 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16209/tid=16216] ppid=16207 vsize=9625004 CPUtime=3.99 cores=0,2,4,6
/proc/16209/task/16216/stat : 16216 (java) S 16207 16209 13368 0 -1 4202560 4994 0 0 0 382 17 0 0 20 0 19 0 283688375 9856004096 120277 33554432000 1073741824 1073778376 140736466872032 139795016915368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16209/tid=16217] ppid=16207 vsize=9625004 CPUtime=3.92 cores=0,2,4,6
/proc/16209/task/16217/stat : 16217 (java) S 16207 16209 13368 0 -1 4202560 2575 0 0 0 378 14 0 0 20 0 19 0 283688375 9856004096 120277 33554432000 1073741824 1073778376 140736466872032 139795015862824 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16209/tid=16218] ppid=16207 vsize=9625004 CPUtime=4.01 cores=0,2,4,6
/proc/16209/task/16218/stat : 16218 (java) S 16207 16209 13368 0 -1 4202560 3409 0 0 0 386 15 0 0 20 0 19 0 283688375 9856004096 120277 33554432000 1073741824 1073778376 140736466872032 139795014809768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16209/tid=16219] ppid=16207 vsize=9625004 CPUtime=3.99 cores=0,2,4,6
/proc/16209/task/16219/stat : 16219 (java) S 16207 16209 13368 0 -1 4202560 4333 0 0 0 381 18 0 0 20 0 19 0 283688375 9856004096 120277 33554432000 1073741824 1073778376 140736466872032 139795013757224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16209/tid=16220] ppid=16207 vsize=9625004 CPUtime=5.91 cores=0,2,4,6
/proc/16209/task/16220/stat : 16220 (java) S 16207 16209 13368 0 -1 4202560 990 0 0 0 583 8 0 0 20 0 19 0 283688376 9856004096 120277 33554432000 1073741824 1073778376 140736466872032 139794882878312 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16209/tid=16221] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16221/stat : 16221 (java) S 16207 16209 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283688377 9856004096 120277 33554432000 1073741824 1073778376 140736466872032 139794881824632 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16209/tid=16222] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16222/stat : 16222 (java) S 16207 16209 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283688377 9856004096 120277 33554432000 1073741824 1073778376 140736466872032 139794880771464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16209/tid=16223] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16223/stat : 16223 (java) S 16207 16209 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283688379 9856004096 120277 33554432000 1073741824 1073778376 140736466872032 139794879720208 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16209/tid=16224] ppid=16207 vsize=9625004 CPUtime=0.57 cores=0,2,4,6
/proc/16209/task/16224/stat : 16224 (java) S 16207 16209 13368 0 -1 4202560 8155 0 0 0 57 0 0 0 20 0 19 0 283688379 9856004096 120277 33554432000 1073741824 1073778376 140736466872032 139794878667064 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16209/tid=16225] ppid=16207 vsize=9625004 CPUtime=0.47 cores=0,2,4,6
/proc/16209/task/16225/stat : 16225 (java) S 16207 16209 13368 0 -1 4202560 4409 0 0 0 47 0 0 0 20 0 19 0 283688379 9856004096 120277 33554432000 1073741824 1073778376 140736466872032 139794004830648 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16209/tid=16226] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16226/stat : 16226 (java) S 16207 16209 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283688379 9856004096 120277 33554432000 1073741824 1073778376 140736466872032 139794003777784 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16209/tid=16227] ppid=16207 vsize=9625004 CPUtime=0.43 cores=0,2,4,6
/proc/16209/task/16227/stat : 16227 (java) S 16207 16209 13368 0 -1 4202560 101 0 0 0 23 20 0 0 20 0 19 0 283688379 9856004096 120277 33554432000 1073741824 1073778376 140736466872032 139794002725448 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16209/tid=16228] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16228/stat : 16228 (java) S 16207 16209 13368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283688418 9856004096 120277 33554432000 1073741824 1073778376 140736466872032 139794001671720 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625004
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1775.9 s]
/proc/loadavg: 1.98 2.00 1.99 3/213 16303
/proc/meminfo: memFree=29589300/32873648 swapFree=6860/6860
[pid=16209] ppid=16207 vsize=9625004 CPUtime=1800.03 cores=0,2,4,6
/proc/16209/stat : 16209 (java) S 16207 16209 13368 0 -1 4202496 49053 0 1 0 179845 158 0 0 20 0 19 0 283688374 9856004096 120277 33554432000 1073741824 1073778376 140736466872032 140736466863168 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16209/statm: 2406251 120277 2283 9 0 2396937 0
[pid=16209/tid=16210] ppid=16207 vsize=9625004 CPUtime=1760.38 cores=0,2,4,6
/proc/16209/task/16210/stat : 16210 (java) R 16207 16209 13368 0 -1 4202560 3243 0 1 0 176005 33 0 0 20 0 19 0 283688375 9856004096 120277 33554432000 1073741824 1073778376 140736466872032 139795059633504 139794894718919 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16209/tid=16212] ppid=16207 vsize=9625004 CPUtime=4.22 cores=0,2,4,6
/proc/16209/task/16212/stat : 16212 (java) S 16207 16209 13368 0 -1 4202560 3880 0 0 0 408 14 0 0 20 0 19 0 283688375 9856004096 120277 33554432000 1073741824 1073778376 140736466872032 139795021126568 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16209/tid=16213] ppid=16207 vsize=9625004 CPUtime=3.98 cores=0,2,4,6
/proc/16209/task/16213/stat : 16213 (java) S 16207 16209 13368 0 -1 4202560 3461 0 0 0 382 16 0 0 20 0 19 0 283688375 9856004096 120277 33554432000 1073741824 1073778376 140736466872032 139795020074024 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16209/tid=16214] ppid=16207 vsize=9625004 CPUtime=4.07 cores=0,2,4,6
/proc/16209/task/16214/stat : 16214 (java) S 16207 16209 13368 0 -1 4202560 3982 0 0 0 392 15 0 0 20 0 19 0 283688375 9856004096 120277 33554432000 1073741824 1073778376 140736466872032 139795019020968 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16209/tid=16215] ppid=16207 vsize=9625004 CPUtime=4.1 cores=0,2,4,6
/proc/16209/task/16215/stat : 16215 (java) S 16207 16209 13368 0 -1 4202560 4340 0 0 0 396 14 0 0 20 0 19 0 283688375 9856004096 120277 33554432000 1073741824 1073778376 140736466872032 139795017968424 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16209/tid=16216] ppid=16207 vsize=9625004 CPUtime=3.99 cores=0,2,4,6
/proc/16209/task/16216/stat : 16216 (java) S 16207 16209 13368 0 -1 4202560 4994 0 0 0 382 17 0 0 20 0 19 0 283688375 9856004096 120277 33554432000 1073741824 1073778376 140736466872032 139795016915368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16209/tid=16217] ppid=16207 vsize=9625004 CPUtime=3.92 cores=0,2,4,6
/proc/16209/task/16217/stat : 16217 (java) S 16207 16209 13368 0 -1 4202560 2575 0 0 0 378 14 0 0 20 0 19 0 283688375 9856004096 120277 33554432000 1073741824 1073778376 140736466872032 139795015862824 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16209/tid=16218] ppid=16207 vsize=9625004 CPUtime=4.01 cores=0,2,4,6
/proc/16209/task/16218/stat : 16218 (java) S 16207 16209 13368 0 -1 4202560 3409 0 0 0 386 15 0 0 20 0 19 0 283688375 9856004096 120277 33554432000 1073741824 1073778376 140736466872032 139795014809768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16209/tid=16219] ppid=16207 vsize=9625004 CPUtime=3.99 cores=0,2,4,6
/proc/16209/task/16219/stat : 16219 (java) S 16207 16209 13368 0 -1 4202560 4333 0 0 0 381 18 0 0 20 0 19 0 283688375 9856004096 120277 33554432000 1073741824 1073778376 140736466872032 139795013757224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16209/tid=16220] ppid=16207 vsize=9625004 CPUtime=5.91 cores=0,2,4,6
/proc/16209/task/16220/stat : 16220 (java) S 16207 16209 13368 0 -1 4202560 990 0 0 0 583 8 0 0 20 0 19 0 283688376 9856004096 120277 33554432000 1073741824 1073778376 140736466872032 139794882878312 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16209/tid=16221] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16221/stat : 16221 (java) S 16207 16209 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283688377 9856004096 120277 33554432000 1073741824 1073778376 140736466872032 139794881824632 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16209/tid=16222] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16222/stat : 16222 (java) S 16207 16209 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283688377 9856004096 120277 33554432000 1073741824 1073778376 140736466872032 139794880771464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16209/tid=16223] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16223/stat : 16223 (java) S 16207 16209 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283688379 9856004096 120277 33554432000 1073741824 1073778376 140736466872032 139794879720208 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16209/tid=16224] ppid=16207 vsize=9625004 CPUtime=0.57 cores=0,2,4,6
/proc/16209/task/16224/stat : 16224 (java) S 16207 16209 13368 0 -1 4202560 8155 0 0 0 57 0 0 0 20 0 19 0 283688379 9856004096 120277 33554432000 1073741824 1073778376 140736466872032 139794878667064 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16209/tid=16225] ppid=16207 vsize=9625004 CPUtime=0.47 cores=0,2,4,6
/proc/16209/task/16225/stat : 16225 (java) S 16207 16209 13368 0 -1 4202560 4409 0 0 0 47 0 0 0 20 0 19 0 283688379 9856004096 120277 33554432000 1073741824 1073778376 140736466872032 139794004830648 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16209/tid=16226] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16226/stat : 16226 (java) S 16207 16209 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283688379 9856004096 120277 33554432000 1073741824 1073778376 140736466872032 139794003777784 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16209/tid=16227] ppid=16207 vsize=9625004 CPUtime=0.43 cores=0,2,4,6
/proc/16209/task/16227/stat : 16227 (java) S 16207 16209 13368 0 -1 4202560 101 0 0 0 23 20 0 0 20 0 19 0 283688379 9856004096 120277 33554432000 1073741824 1073778376 140736466872032 139794002725448 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16209/tid=16228] ppid=16207 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16209/task/16228/stat : 16228 (java) S 16207 16209 13368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283688418 9856004096 120277 33554432000 1073741824 1073778376 140736466872032 139794001671720 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625004
Child status: 143
Real time (s): 1775.95
CPU time (s): 1800.39
CPU user time (s): 1798.41
CPU system time (s): 1.9817
CPU usage (%): 101.376
Max. virtual memory (cumulated for all children) (KiB): 9625004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.41
system time used= 1.9817
maximum resident set size= 701420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49088
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58520
involuntary context switches= 74795
runsolver used 5.88011 second user time and 14.9027 second system time
The end