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-3741017-1338761376/watcher-3741017-1338761376 -o /tmp/evaluation-result-3741017-1338761376/solver-3741017-1338761376 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3741017-1338761376.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.02 3.00 3.23 4/199 25803
/proc/meminfo: memFree=27814876/32873844 swapFree=7620/7620
[pid=25803] ppid=25801 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/25803/stat : 25803 (java6) D 25801 25803 19811 0 -1 4202496 241 0 0 0 0 0 0 0 20 0 1 0 342262670 9515008 176 33554432000 1073741824 1073778376 140733725926224 140733725908952 215124624272 0 0 4096 0 18446744072100748580 0 0 17 2 0 0 0 0 0
/proc/25803/statm: 2323 176 133 9 0 71 0
[startup+0.017722 s]
/proc/loadavg: 3.02 3.00 3.23 4/199 25803
/proc/meminfo: memFree=27814876/32873844 swapFree=7620/7620
[pid=25803] ppid=25801 vsize=99436 CPUtime=0 cores=0,2,4,6
/proc/25803/stat : 25803 (java) S 25801 25803 19811 0 -1 4202496 1341 0 0 0 0 0 0 0 20 0 2 0 342262670 101822464 1031 33554432000 1073741824 1073778376 140735546327600 140735546318736 215127982141 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25803/statm: 25398 1041 797 9 0 16774 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 99436
[startup+0.101892 s]
/proc/loadavg: 3.02 3.00 3.23 4/199 25803
/proc/meminfo: memFree=27814876/32873844 swapFree=7620/7620
[pid=25803] ppid=25801 vsize=2699928 CPUtime=0.08 cores=0,2,4,6
/proc/25803/stat : 25803 (java) S 25801 25803 19811 0 -1 4202496 4245 0 1 0 7 1 0 0 20 0 18 0 342262670 2764726272 5963 33554432000 1073741824 1073778376 140735546327600 140735546318736 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25803/statm: 674982 5963 1990 9 0 665676 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2699928
[startup+0.30017 s]
/proc/loadavg: 3.02 3.00 3.23 4/199 25803
/proc/meminfo: memFree=27814876/32873844 swapFree=7620/7620
[pid=25803] ppid=25801 vsize=2699928 CPUtime=0.46 cores=0,2,4,6
/proc/25803/stat : 25803 (java) S 25801 25803 19811 0 -1 4202496 5656 0 1 0 44 2 0 0 20 0 18 0 342262670 2764726272 11771 33554432000 1073741824 1073778376 140735546327600 140735546318736 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25803/statm: 674982 11771 2216 9 0 665676 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 2699928
[startup+0.700263 s]
/proc/loadavg: 3.02 3.00 3.23 4/199 25803
/proc/meminfo: memFree=27814876/32873844 swapFree=7620/7620
[pid=25803] ppid=25801 vsize=2699928 CPUtime=1.21 cores=0,2,4,6
/proc/25803/stat : 25803 (java) S 25801 25803 19811 0 -1 4202496 11220 0 1 0 114 7 0 0 20 0 18 0 342262670 2764726272 74368 33554432000 1073741824 1073778376 140735546327600 140735546318736 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25803/statm: 674982 74368 2232 9 0 665676 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 2699928
[startup+1.50072 s]
/proc/loadavg: 3.02 3.00 3.23 4/217 25821
/proc/meminfo: memFree=27416616/32873844 swapFree=7620/7620
[pid=25803] ppid=25801 vsize=2699928 CPUtime=2.24 cores=0,2,4,6
/proc/25803/stat : 25803 (java) S 25801 25803 19811 0 -1 4202496 11396 0 1 0 208 16 0 0 20 0 18 0 342262670 2764726272 109735 33554432000 1073741824 1073778376 140735546327600 140735546318736 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25803/statm: 674982 109735 2248 9 0 665676 0
[pid=25803/tid=25805] ppid=25801 vsize=2699928 CPUtime=1.39 cores=0,2,4,6
/proc/25803/task/25805/stat : 25805 (java) R 25801 25803 19811 0 -1 4202560 2957 0 1 0 131 8 0 0 20 0 18 0 342262671 2764726272 109735 33554432000 1073741824 1073778376 140735546327600 139741210689336 215128007949 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25803/tid=25806] ppid=25801 vsize=2699928 CPUtime=0.02 cores=0,2,4,6
/proc/25803/task/25806/stat : 25806 (java) S 25801 25803 19811 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 18 0 342262672 2764726272 109735 33554432000 1073741824 1073778376 140735546327600 139741194971816 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25803/tid=25807] ppid=25801 vsize=2699928 CPUtime=0.02 cores=0,2,4,6
/proc/25803/task/25807/stat : 25807 (java) S 25801 25803 19811 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 18 0 342262672 2764726272 109735 33554432000 1073741824 1073778376 140735546327600 139741193919272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25803/tid=25808] ppid=25801 vsize=2699928 CPUtime=0.02 cores=0,2,4,6
/proc/25803/task/25808/stat : 25808 (java) S 25801 25803 19811 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 18 0 342262672 2764726272 109735 33554432000 1073741824 1073778376 140735546327600 139741192866728 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25803/tid=25809] ppid=25801 vsize=2699928 CPUtime=0.03 cores=0,2,4,6
/proc/25803/task/25809/stat : 25809 (java) S 25801 25803 19811 0 -1 4202560 25 0 0 0 1 2 0 0 20 0 18 0 342262672 2764726272 109735 33554432000 1073741824 1073778376 140735546327600 139741191814184 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25803/tid=25810] ppid=25801 vsize=2699928 CPUtime=0.02 cores=0,2,4,6
/proc/25803/task/25810/stat : 25810 (java) S 25801 25803 19811 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 18 0 342262672 2764726272 109735 33554432000 1073741824 1073778376 140735546327600 139741072713896 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25803/tid=25811] ppid=25801 vsize=2699928 CPUtime=0.01 cores=0,2,4,6
/proc/25803/task/25811/stat : 25811 (java) S 25801 25803 19811 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 18 0 342262672 2764726272 109735 33554432000 1073741824 1073778376 140735546327600 139741071661352 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25803/tid=25812] ppid=25801 vsize=2699928 CPUtime=0.02 cores=0,2,4,6
/proc/25803/task/25812/stat : 25812 (java) S 25801 25803 19811 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 18 0 342262672 2764726272 109735 33554432000 1073741824 1073778376 140735546327600 139741070608808 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25803/tid=25813] ppid=25801 vsize=2699928 CPUtime=0.01 cores=0,2,4,6
/proc/25803/task/25813/stat : 25813 (java) S 25801 25803 19811 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 18 0 342262672 2764726272 109735 33554432000 1073741824 1073778376 140735546327600 139741069556264 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25803/tid=25814] ppid=25801 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/25803/task/25814/stat : 25814 (java) S 25801 25803 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 342262673 2764726272 109735 33554432000 1073741824 1073778376 140735546327600 139741057358440 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25803/tid=25815] ppid=25801 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/25803/task/25815/stat : 25815 (java) S 25801 25803 19811 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 342262674 2764726272 109735 33554432000 1073741824 1073778376 140735546327600 139740451956344 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25803/tid=25816] ppid=25801 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/25803/task/25816/stat : 25816 (java) S 25801 25803 19811 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 342262674 2764726272 109735 33554432000 1073741824 1073778376 140735546327600 139740450903688 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25803/tid=25817] ppid=25801 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/25803/task/25817/stat : 25817 (java) S 25801 25803 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342262677 2764726272 109735 33554432000 1073741824 1073778376 140735546327600 139740449852432 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25803/tid=25818] ppid=25801 vsize=2699928 CPUtime=0.27 cores=0,2,4,6
/proc/25803/task/25818/stat : 25818 (java) S 25801 25803 19811 0 -1 4202560 4254 0 0 0 27 0 0 0 20 0 18 0 342262677 2764726272 109735 33554432000 1073741824 1073778376 140735546327600 139740448798776 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25803/tid=25819] ppid=25801 vsize=2699928 CPUtime=0.28 cores=0,2,4,6
/proc/25803/task/25819/stat : 25819 (java) S 25801 25803 19811 0 -1 4202560 2890 0 0 0 28 0 0 0 20 0 18 0 342262677 2764726272 109735 33554432000 1073741824 1073778376 140735546327600 139740447746232 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25803/tid=25820] ppid=25801 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/25803/task/25820/stat : 25820 (java) S 25801 25803 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342262677 2764726272 109735 33554432000 1073741824 1073778376 140735546327600 139740446693880 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25803/tid=25821] ppid=25801 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/25803/task/25821/stat : 25821 (java) S 25801 25803 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342262677 2764726272 109735 33554432000 1073741824 1073778376 140735546327600 139740445641544 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.24
Current children cumulated vsize (KiB) 2699928
[startup+3.10268 s]
/proc/loadavg: 3.02 3.00 3.23 4/217 25821
/proc/meminfo: memFree=27334200/32873844 swapFree=7620/7620
[pid=25803] ppid=25801 vsize=2699928 CPUtime=4.62 cores=0,2,4,6
/proc/25803/stat : 25803 (java) S 25801 25803 19811 0 -1 4202496 11644 0 1 0 434 28 0 0 20 0 18 0 342262670 2764726272 131314 33554432000 1073741824 1073778376 140735546327600 140735546318736 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25803/statm: 674982 131314 2248 9 0 665676 0
[pid=25803/tid=25805] ppid=25801 vsize=2699928 CPUtime=2.74 cores=0,2,4,6
/proc/25803/task/25805/stat : 25805 (java) R 25801 25803 19811 0 -1 4202560 2961 0 1 0 266 8 0 0 20 0 18 0 342262671 2764726272 131314 33554432000 1073741824 1073778376 140735546327600 139741210689648 139741073169993 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25803/tid=25806] ppid=25801 vsize=2699928 CPUtime=0.12 cores=0,2,4,6
/proc/25803/task/25806/stat : 25806 (java) S 25801 25803 19811 0 -1 4202560 43 0 0 0 10 2 0 0 20 0 18 0 342262672 2764726272 131314 33554432000 1073741824 1073778376 140735546327600 139741194971816 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25803/tid=25807] ppid=25801 vsize=2699928 CPUtime=0.17 cores=0,2,4,6
/proc/25803/task/25807/stat : 25807 (java) S 25801 25803 19811 0 -1 4202560 41 0 0 0 14 3 0 0 20 0 18 0 342262672 2764726272 131314 33554432000 1073741824 1073778376 140735546327600 139741193919272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25803/tid=25808] ppid=25801 vsize=2699928 CPUtime=0.19 cores=0,2,4,6
/proc/25803/task/25808/stat : 25808 (java) S 25801 25803 19811 0 -1 4202560 52 0 0 0 16 3 0 0 20 0 18 0 342262672 2764726272 131314 33554432000 1073741824 1073778376 140735546327600 139741192866728 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25803/tid=25809] ppid=25801 vsize=2699928 CPUtime=0.13 cores=0,2,4,6
/proc/25803/task/25809/stat : 25809 (java) S 25801 25803 19811 0 -1 4202560 47 0 0 0 10 3 0 0 20 0 18 0 342262672 2764726272 131314 33554432000 1073741824 1073778376 140735546327600 139741191814184 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25803/tid=25810] ppid=25801 vsize=2699928 CPUtime=0.09 cores=0,2,4,6
/proc/25803/task/25810/stat : 25810 (java) S 25801 25803 19811 0 -1 4202560 37 0 0 0 8 1 0 0 20 0 18 0 342262672 2764726272 131314 33554432000 1073741824 1073778376 140735546327600 139741072713896 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25803/tid=25811] ppid=25801 vsize=2699928 CPUtime=0.11 cores=0,2,4,6
/proc/25803/task/25811/stat : 25811 (java) S 25801 25803 19811 0 -1 4202560 39 0 0 0 9 2 0 0 20 0 18 0 342262672 2764726272 131314 33554432000 1073741824 1073778376 140735546327600 139741071661352 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25803/tid=25812] ppid=25801 vsize=2699928 CPUtime=0.15 cores=0,2,4,6
/proc/25803/task/25812/stat : 25812 (java) S 25801 25803 19811 0 -1 4202560 49 0 0 0 12 3 0 0 20 0 18 0 342262672 2764726272 131314 33554432000 1073741824 1073778376 140735546327600 139741070608808 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25803/tid=25813] ppid=25801 vsize=2699928 CPUtime=0.12 cores=0,2,4,6
/proc/25803/task/25813/stat : 25813 (java) S 25801 25803 19811 0 -1 4202560 35 0 0 0 10 2 0 0 20 0 18 0 342262672 2764726272 131314 33554432000 1073741824 1073778376 140735546327600 139741069556264 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25803/tid=25814] ppid=25801 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/25803/task/25814/stat : 25814 (java) S 25801 25803 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 342262673 2764726272 131314 33554432000 1073741824 1073778376 140735546327600 139741057358440 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25803/tid=25815] ppid=25801 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/25803/task/25815/stat : 25815 (java) S 25801 25803 19811 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 342262674 2764726272 131314 33554432000 1073741824 1073778376 140735546327600 139740451956344 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25803/tid=25816] ppid=25801 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/25803/task/25816/stat : 25816 (java) S 25801 25803 19811 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 342262674 2764726272 131314 33554432000 1073741824 1073778376 140735546327600 139740450903688 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25803/tid=25817] ppid=25801 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/25803/task/25817/stat : 25817 (java) S 25801 25803 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342262677 2764726272 131314 33554432000 1073741824 1073778376 140735546327600 139740449852432 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25803/tid=25818] ppid=25801 vsize=2699928 CPUtime=0.32 cores=0,2,4,6
/proc/25803/task/25818/stat : 25818 (java) S 25801 25803 19811 0 -1 4202560 4254 0 0 0 32 0 0 0 20 0 18 0 342262677 2764726272 131314 33554432000 1073741824 1073778376 140735546327600 139740448798776 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25803/tid=25819] ppid=25801 vsize=2699928 CPUtime=0.31 cores=0,2,4,6
/proc/25803/task/25819/stat : 25819 (java) S 25801 25803 19811 0 -1 4202560 2905 0 0 0 31 0 0 0 20 0 18 0 342262677 2764726272 131314 33554432000 1073741824 1073778376 140735546327600 139740447746232 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25803/tid=25820] ppid=25801 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/25803/task/25820/stat : 25820 (java) S 25801 25803 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342262677 2764726272 131314 33554432000 1073741824 1073778376 140735546327600 139740446693880 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25803/tid=25821] ppid=25801 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/25803/task/25821/stat : 25821 (java) S 25801 25803 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342262677 2764726272 131314 33554432000 1073741824 1073778376 140735546327600 139740445641544 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.62
Current children cumulated vsize (KiB) 2699928
[startup+6.30073 s]
/proc/loadavg: 3.01 3.00 3.23 4/217 25821
/proc/meminfo: memFree=27162044/32873844 swapFree=7620/7620
[pid=25803] ppid=25801 vsize=2699928 CPUtime=9.12 cores=0,2,4,6
/proc/25803/stat : 25803 (java) S 25801 25803 19811 0 -1 4202496 12666 0 1 0 870 42 0 0 20 0 18 0 342262670 2764726272 168621 33554432000 1073741824 1073778376 140735546327600 140735546318736 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25803/statm: 674982 168621 2248 9 0 665676 0
[pid=25803/tid=25805] ppid=25801 vsize=2699928 CPUtime=5.46 cores=0,2,4,6
/proc/25803/task/25805/stat : 25805 (java) R 25801 25803 19811 0 -1 4202560 2970 0 1 0 537 9 0 0 20 0 18 0 342262671 2764726272 168621 33554432000 1073741824 1073778376 140735546327600 139741210688552 139741073151840 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25803/tid=25806] ppid=25801 vsize=2699928 CPUtime=0.3 cores=0,2,4,6
/proc/25803/task/25806/stat : 25806 (java) S 25801 25803 19811 0 -1 4202560 165 0 0 0 26 4 0 0 20 0 18 0 342262672 2764726272 168621 33554432000 1073741824 1073778376 140735546327600 139741194971816 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25803/tid=25807] ppid=25801 vsize=2699928 CPUtime=0.45 cores=0,2,4,6
/proc/25803/task/25807/stat : 25807 (java) S 25801 25803 19811 0 -1 4202560 102 0 0 0 40 5 0 0 20 0 18 0 342262672 2764726272 168621 33554432000 1073741824 1073778376 140735546327600 139741193919272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25803/tid=25808] ppid=25801 vsize=2699928 CPUtime=0.35 cores=0,2,4,6
/proc/25803/task/25808/stat : 25808 (java) S 25801 25803 19811 0 -1 4202560 219 0 0 0 31 4 0 0 20 0 18 0 342262672 2764726272 168621 33554432000 1073741824 1073778376 140735546327600 139741192866728 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25803/tid=25809] ppid=25801 vsize=2699928 CPUtime=0.39 cores=0,2,4,6
/proc/25803/task/25809/stat : 25809 (java) S 25801 25803 19811 0 -1 4202560 276 0 0 0 35 4 0 0 20 0 18 0 342262672 2764726272 168621 33554432000 1073741824 1073778376 140735546327600 139741191814184 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25803/tid=25810] ppid=25801 vsize=2699928 CPUtime=0.28 cores=0,2,4,6
/proc/25803/task/25810/stat : 25810 (java) S 25801 25803 19811 0 -1 4202560 107 0 0 0 24 4 0 0 20 0 18 0 342262672 2764726272 168621 33554432000 1073741824 1073778376 140735546327600 139741072713896 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25803/tid=25811] ppid=25801 vsize=2699928 CPUtime=0.33 cores=0,2,4,6
/proc/25803/task/25811/stat : 25811 (java) S 25801 25803 19811 0 -1 4202560 109 0 0 0 29 4 0 0 20 0 18 0 342262672 2764726272 168621 33554432000 1073741824 1073778376 140735546327600 139741071661352 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25803/tid=25812] ppid=25801 vsize=2699928 CPUtime=0.39 cores=0,2,4,6
/proc/25803/task/25812/stat : 25812 (java) S 25801 25803 19811 0 -1 4202560 128 0 0 0 35 4 0 0 20 0 18 0 342262672 2764726272 168621 33554432000 1073741824 1073778376 140735546327600 139741070608808 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25803/tid=25813] ppid=25801 vsize=2699928 CPUtime=0.37 cores=0,2,4,6
/proc/25803/task/25813/stat : 25813 (java) S 25801 25803 19811 0 -1 4202560 250 0 0 0 33 4 0 0 20 0 18 0 342262672 2764726272 168621 33554432000 1073741824 1073778376 140735546327600 139741069556264 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25803/tid=25814] ppid=25801 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/25803/task/25814/stat : 25814 (java) S 25801 25803 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 342262673 2764726272 168621 33554432000 1073741824 1073778376 140735546327600 139741057358440 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25803/tid=25815] ppid=25801 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/25803/task/25815/stat : 25815 (java) S 25801 25803 19811 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 342262674 2764726272 168621 33554432000 1073741824 1073778376 140735546327600 139740451956344 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25803/tid=25816] ppid=25801 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/25803/task/25816/stat : 25816 (java) S 25801 25803 19811 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 342262674 2764726272 168621 33554432000 1073741824 1073778376 140735546327600 139740450903688 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25803/tid=25817] ppid=25801 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/25803/task/25817/stat : 25817 (java) S 25801 25803 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342262677 2764726272 168621 33554432000 1073741824 1073778376 140735546327600 139740449852432 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25803/tid=25818] ppid=25801 vsize=2699928 CPUtime=0.32 cores=0,2,4,6
/proc/25803/task/25818/stat : 25818 (java) S 25801 25803 19811 0 -1 4202560 4254 0 0 0 32 0 0 0 20 0 18 0 342262677 2764726272 168621 33554432000 1073741824 1073778376 140735546327600 139740448798776 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25803/tid=25819] ppid=25801 vsize=2699928 CPUtime=0.31 cores=0,2,4,6
/proc/25803/task/25819/stat : 25819 (java) S 25801 25803 19811 0 -1 4202560 2905 0 0 0 31 0 0 0 20 0 18 0 342262677 2764726272 168621 33554432000 1073741824 1073778376 140735546327600 139740447746232 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25803/tid=25820] ppid=25801 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/25803/task/25820/stat : 25820 (java) S 25801 25803 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342262677 2764726272 168621 33554432000 1073741824 1073778376 140735546327600 139740446693880 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25803/tid=25821] ppid=25801 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/25803/task/25821/stat : 25821 (java) S 25801 25803 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342262677 2764726272 168621 33554432000 1073741824 1073778376 140735546327600 139740445641544 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 9.12
Current children cumulated vsize (KiB) 2699928
[startup+12.7008 s]
/proc/loadavg: 3.01 3.00 3.22 4/217 25821
/proc/meminfo: memFree=26926172/32873844 swapFree=7620/7620
[pid=25803] ppid=25801 vsize=2699928 CPUtime=17.94 cores=0,2,4,6
/proc/25803/stat : 25803 (java) S 25801 25803 19811 0 -1 4202496 14006 0 1 0 1733 61 0 0 20 0 18 0 342262670 2764726272 227963 33554432000 1073741824 1073778376 140735546327600 140735546318736 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25803/statm: 674982 227963 2248 9 0 665676 0
[pid=25803/tid=25805] ppid=25801 vsize=2699928 CPUtime=11 cores=0,2,4,6
################
# More data... #
################
/proc/25803/statm: 741546 301763 2283 9 0 732240 0
[pid=25803/tid=25805] ppid=25801 vsize=2966184 CPUtime=14.49 cores=0,2,4,6
/proc/25803/task/25805/stat : 25805 (java) S 25801 25803 19811 0 -1 4202560 3042 0 1 0 1436 13 0 0 20 0 22 0 342262671 3037372416 301763 33554432000 1073741824 1073778376 140735546327600 139741210690712 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25803/tid=25806] ppid=25801 vsize=2966184 CPUtime=12.9 cores=0,2,4,6
/proc/25803/task/25806/stat : 25806 (java) S 25801 25803 19811 0 -1 4202560 387 0 0 0 1280 10 0 0 20 0 22 0 342262672 3037372416 301763 33554432000 1073741824 1073778376 140735546327600 139741194971816 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25803/tid=25807] ppid=25801 vsize=2966184 CPUtime=13.78 cores=0,2,4,6
/proc/25803/task/25807/stat : 25807 (java) S 25801 25803 19811 0 -1 4202560 409 0 0 0 1367 11 0 0 20 0 22 0 342262672 3037372416 301763 33554432000 1073741824 1073778376 140735546327600 139741193919272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25803/tid=25808] ppid=25801 vsize=2966184 CPUtime=13.77 cores=0,2,4,6
/proc/25803/task/25808/stat : 25808 (java) S 25801 25803 19811 0 -1 4202560 421 0 0 0 1364 13 0 0 20 0 22 0 342262672 3037372416 301763 33554432000 1073741824 1073778376 140735546327600 139741192866728 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25803/tid=25809] ppid=25801 vsize=2966184 CPUtime=13.39 cores=0,2,4,6
/proc/25803/task/25809/stat : 25809 (java) S 25801 25803 19811 0 -1 4202560 417 0 0 0 1326 13 0 0 20 0 22 0 342262672 3037372416 301763 33554432000 1073741824 1073778376 140735546327600 139741191814184 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25803/tid=25810] ppid=25801 vsize=2966184 CPUtime=12.9 cores=0,2,4,6
/proc/25803/task/25810/stat : 25810 (java) S 25801 25803 19811 0 -1 4202560 372 0 0 0 1280 10 0 0 20 0 22 0 342262672 3037372416 301763 33554432000 1073741824 1073778376 140735546327600 139741072713896 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25803/tid=25811] ppid=25801 vsize=2966184 CPUtime=13.03 cores=0,2,4,6
/proc/25803/task/25811/stat : 25811 (java) S 25801 25803 19811 0 -1 4202560 399 0 0 0 1291 12 0 0 20 0 22 0 342262672 3037372416 301763 33554432000 1073741824 1073778376 140735546327600 139741071661352 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25803/tid=25812] ppid=25801 vsize=2966184 CPUtime=13.56 cores=0,2,4,6
/proc/25803/task/25812/stat : 25812 (java) S 25801 25803 19811 0 -1 4202560 396 0 0 0 1344 12 0 0 20 0 22 0 342262672 3037372416 301763 33554432000 1073741824 1073778376 140735546327600 139741070608808 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25803/tid=25813] ppid=25801 vsize=2966184 CPUtime=13.68 cores=0,2,4,6
/proc/25803/task/25813/stat : 25813 (java) S 25801 25803 19811 0 -1 4202560 391 0 0 0 1355 13 0 0 20 0 22 0 342262672 3037372416 301763 33554432000 1073741824 1073778376 140735546327600 139741069556264 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25803/tid=25814] ppid=25801 vsize=2966184 CPUtime=42.42 cores=0,2,4,6
/proc/25803/task/25814/stat : 25814 (java) S 25801 25803 19811 0 -1 4202560 82383 0 0 0 4187 55 0 0 20 0 22 0 342262673 3037372416 301763 33554432000 1073741824 1073778376 140735546327600 139741057358440 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25803/tid=25815] ppid=25801 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25803/task/25815/stat : 25815 (java) S 25801 25803 19811 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342262674 3037372416 301763 33554432000 1073741824 1073778376 140735546327600 139740451956344 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25803/tid=25816] ppid=25801 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25803/task/25816/stat : 25816 (java) S 25801 25803 19811 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342262674 3037372416 301763 33554432000 1073741824 1073778376 140735546327600 139740450903688 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25803/tid=25817] ppid=25801 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25803/task/25817/stat : 25817 (java) S 25801 25803 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342262677 3037372416 301763 33554432000 1073741824 1073778376 140735546327600 139740449852432 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25803/tid=25818] ppid=25801 vsize=2966184 CPUtime=1.59 cores=0,2,4,6
/proc/25803/task/25818/stat : 25818 (java) S 25801 25803 19811 0 -1 4202560 11769 0 0 0 158 1 0 0 20 0 22 0 342262677 3037372416 301763 33554432000 1073741824 1073778376 140735546327600 139740448798776 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25803/tid=25819] ppid=25801 vsize=2966184 CPUtime=1.1 cores=0,2,4,6
/proc/25803/task/25819/stat : 25819 (java) S 25801 25803 19811 0 -1 4202560 3185 0 0 0 109 1 0 0 20 0 22 0 342262677 3037372416 301763 33554432000 1073741824 1073778376 140735546327600 139740447746232 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25803/tid=25820] ppid=25801 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25803/task/25820/stat : 25820 (java) S 25801 25803 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342262677 3037372416 301763 33554432000 1073741824 1073778376 140735546327600 139740446693880 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25803/tid=25821] ppid=25801 vsize=2966184 CPUtime=0.33 cores=0,2,4,6
/proc/25803/task/25821/stat : 25821 (java) S 25801 25803 19811 0 -1 4202560 46 0 0 0 16 17 0 0 20 0 22 0 342262677 3037372416 301763 33554432000 1073741824 1073778376 140735546327600 139740445641544 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25803/tid=25822] ppid=25801 vsize=2966184 CPUtime=734.64 cores=0,2,4,6
/proc/25803/task/25822/stat : 25822 (java) R 25801 25803 19811 0 -1 4202560 329 0 0 0 73449 15 0 0 20 0 22 0 342264355 3037372416 301763 33554432000 1073741824 1073778376 140735546327600 139740444585584 139741073425289 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25803/tid=25823] ppid=25801 vsize=2966184 CPUtime=734.69 cores=0,2,4,6
/proc/25803/task/25823/stat : 25823 (java) R 25801 25803 19811 0 -1 4202560 495 0 0 0 73456 13 0 0 20 0 22 0 342264355 3037372416 301763 33554432000 1073741824 1073778376 140735546327600 139740443532344 139741073597414 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25803/tid=25824] ppid=25801 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25803/task/25824/stat : 25824 (java) S 25801 25803 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342264360 3037372416 301763 33554432000 1073741824 1073778376 140735546327600 139740442482216 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25803/tid=25825] ppid=25801 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25803/task/25825/stat : 25825 (java) S 25801 25803 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342264361 3037372416 301763 33554432000 1073741824 1073778376 140735546327600 139740441429672 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1640.48
Current children cumulated vsize (KiB) 2966184
[startup+882.301 s]
/proc/loadavg: 4.33 3.99 3.69 5/221 25956
/proc/meminfo: memFree=26866628/32873844 swapFree=7620/7620
[pid=25803] ppid=25801 vsize=2966184 CPUtime=1759.56 cores=0,2,4,6
/proc/25803/stat : 25803 (java) S 25801 25803 19811 0 -1 4202496 113526 0 1 0 175762 194 0 0 20 0 22 0 342262670 3037372416 301765 33554432000 1073741824 1073778376 140735546327600 140735546318736 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25803/statm: 741546 301765 2283 9 0 732240 0
[pid=25803/tid=25805] ppid=25801 vsize=2966184 CPUtime=14.49 cores=0,2,4,6
/proc/25803/task/25805/stat : 25805 (java) S 25801 25803 19811 0 -1 4202560 3044 0 1 0 1436 13 0 0 20 0 22 0 342262671 3037372416 301765 33554432000 1073741824 1073778376 140735546327600 139741210690712 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25803/tid=25806] ppid=25801 vsize=2966184 CPUtime=13.51 cores=0,2,4,6
/proc/25803/task/25806/stat : 25806 (java) S 25801 25803 19811 0 -1 4202560 387 0 0 0 1341 10 0 0 20 0 22 0 342262672 3037372416 301765 33554432000 1073741824 1073778376 140735546327600 139741194971816 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25803/tid=25807] ppid=25801 vsize=2966184 CPUtime=14.33 cores=0,2,4,6
/proc/25803/task/25807/stat : 25807 (java) S 25801 25803 19811 0 -1 4202560 409 0 0 0 1422 11 0 0 20 0 22 0 342262672 3037372416 301765 33554432000 1073741824 1073778376 140735546327600 139741193919272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25803/tid=25808] ppid=25801 vsize=2966184 CPUtime=14.3 cores=0,2,4,6
/proc/25803/task/25808/stat : 25808 (java) S 25801 25803 19811 0 -1 4202560 421 0 0 0 1417 13 0 0 20 0 22 0 342262672 3037372416 301765 33554432000 1073741824 1073778376 140735546327600 139741192866728 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25803/tid=25809] ppid=25801 vsize=2966184 CPUtime=14 cores=0,2,4,6
/proc/25803/task/25809/stat : 25809 (java) S 25801 25803 19811 0 -1 4202560 417 0 0 0 1387 13 0 0 20 0 22 0 342262672 3037372416 301765 33554432000 1073741824 1073778376 140735546327600 139741191814184 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25803/tid=25810] ppid=25801 vsize=2966184 CPUtime=13.55 cores=0,2,4,6
/proc/25803/task/25810/stat : 25810 (java) S 25801 25803 19811 0 -1 4202560 372 0 0 0 1345 10 0 0 20 0 22 0 342262672 3037372416 301765 33554432000 1073741824 1073778376 140735546327600 139741072713896 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25803/tid=25811] ppid=25801 vsize=2966184 CPUtime=13.71 cores=0,2,4,6
/proc/25803/task/25811/stat : 25811 (java) S 25801 25803 19811 0 -1 4202560 399 0 0 0 1359 12 0 0 20 0 22 0 342262672 3037372416 301765 33554432000 1073741824 1073778376 140735546327600 139741071661352 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25803/tid=25812] ppid=25801 vsize=2966184 CPUtime=14.07 cores=0,2,4,6
/proc/25803/task/25812/stat : 25812 (java) S 25801 25803 19811 0 -1 4202560 396 0 0 0 1395 12 0 0 20 0 22 0 342262672 3037372416 301765 33554432000 1073741824 1073778376 140735546327600 139741070608808 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25803/tid=25813] ppid=25801 vsize=2966184 CPUtime=14.31 cores=0,2,4,6
/proc/25803/task/25813/stat : 25813 (java) S 25801 25803 19811 0 -1 4202560 391 0 0 0 1418 13 0 0 20 0 22 0 342262672 3037372416 301765 33554432000 1073741824 1073778376 140735546327600 139741069556264 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25803/tid=25814] ppid=25801 vsize=2966184 CPUtime=45.57 cores=0,2,4,6
/proc/25803/task/25814/stat : 25814 (java) S 25801 25803 19811 0 -1 4202560 90237 0 0 0 4498 59 0 0 20 0 22 0 342262673 3037372416 301765 33554432000 1073741824 1073778376 140735546327600 139741057358440 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25803/tid=25815] ppid=25801 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25803/task/25815/stat : 25815 (java) S 25801 25803 19811 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342262674 3037372416 301765 33554432000 1073741824 1073778376 140735546327600 139740451956344 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25803/tid=25816] ppid=25801 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25803/task/25816/stat : 25816 (java) S 25801 25803 19811 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342262674 3037372416 301765 33554432000 1073741824 1073778376 140735546327600 139740450903688 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25803/tid=25817] ppid=25801 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25803/task/25817/stat : 25817 (java) S 25801 25803 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342262677 3037372416 301765 33554432000 1073741824 1073778376 140735546327600 139740449852432 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25803/tid=25818] ppid=25801 vsize=2966184 CPUtime=1.59 cores=0,2,4,6
/proc/25803/task/25818/stat : 25818 (java) S 25801 25803 19811 0 -1 4202560 11769 0 0 0 158 1 0 0 20 0 22 0 342262677 3037372416 301765 33554432000 1073741824 1073778376 140735546327600 139740448798776 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25803/tid=25819] ppid=25801 vsize=2966184 CPUtime=1.1 cores=0,2,4,6
/proc/25803/task/25819/stat : 25819 (java) S 25801 25803 19811 0 -1 4202560 3185 0 0 0 109 1 0 0 20 0 22 0 342262677 3037372416 301765 33554432000 1073741824 1073778376 140735546327600 139740447746232 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25803/tid=25820] ppid=25801 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25803/task/25820/stat : 25820 (java) S 25801 25803 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342262677 3037372416 301765 33554432000 1073741824 1073778376 140735546327600 139740446693880 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25803/tid=25821] ppid=25801 vsize=2966184 CPUtime=0.36 cores=0,2,4,6
/proc/25803/task/25821/stat : 25821 (java) S 25801 25803 19811 0 -1 4202560 50 0 0 0 17 19 0 0 20 0 22 0 342262677 3037372416 301765 33554432000 1073741824 1073778376 140735546327600 139740445641544 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25803/tid=25822] ppid=25801 vsize=2966184 CPUtime=790.06 cores=0,2,4,6
/proc/25803/task/25822/stat : 25822 (java) R 25801 25803 19811 0 -1 4202560 345 0 0 0 78989 17 0 0 20 0 22 0 342264355 3037372416 301765 33554432000 1073741824 1073778376 140735546327600 139740444584880 139741073556916 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25803/tid=25823] ppid=25801 vsize=2966184 CPUtime=790.13 cores=0,2,4,6
/proc/25803/task/25823/stat : 25823 (java) R 25801 25803 19811 0 -1 4202560 517 0 0 0 78998 15 0 0 20 0 22 0 342264355 3037372416 301765 33554432000 1073741824 1073778376 140735546327600 139740443533056 139741073566992 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25803/tid=25824] ppid=25801 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25803/task/25824/stat : 25824 (java) S 25801 25803 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342264360 3037372416 301765 33554432000 1073741824 1073778376 140735546327600 139740442482216 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25803/tid=25825] ppid=25801 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25803/task/25825/stat : 25825 (java) S 25801 25803 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342264361 3037372416 301765 33554432000 1073741824 1073778376 140735546327600 139740441429672 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1759.56
Current children cumulated vsize (KiB) 2966184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+902.201 s]
/proc/loadavg: 4.17 3.97 3.69 5/221 25956
/proc/meminfo: memFree=26851300/32873844 swapFree=7620/7620
[pid=25803] ppid=25801 vsize=2966184 CPUtime=1800.17 cores=0,2,4,6
/proc/25803/stat : 25803 (java) S 25801 25803 19811 0 -1 4202496 113541 0 1 0 179821 196 0 0 20 0 22 0 342262670 3037372416 301765 33554432000 1073741824 1073778376 140735546327600 140735546318736 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25803/statm: 741546 301765 2283 9 0 732240 0
[pid=25803/tid=25805] ppid=25801 vsize=2966184 CPUtime=14.49 cores=0,2,4,6
/proc/25803/task/25805/stat : 25805 (java) S 25801 25803 19811 0 -1 4202560 3044 0 1 0 1436 13 0 0 20 0 22 0 342262671 3037372416 301765 33554432000 1073741824 1073778376 140735546327600 139741210690712 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25803/tid=25806] ppid=25801 vsize=2966184 CPUtime=13.76 cores=0,2,4,6
/proc/25803/task/25806/stat : 25806 (java) S 25801 25803 19811 0 -1 4202560 387 0 0 0 1366 10 0 0 20 0 22 0 342262672 3037372416 301765 33554432000 1073741824 1073778376 140735546327600 139741194971816 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25803/tid=25807] ppid=25801 vsize=2966184 CPUtime=14.52 cores=0,2,4,6
/proc/25803/task/25807/stat : 25807 (java) S 25801 25803 19811 0 -1 4202560 409 0 0 0 1440 12 0 0 20 0 22 0 342262672 3037372416 301765 33554432000 1073741824 1073778376 140735546327600 139741193919272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25803/tid=25808] ppid=25801 vsize=2966184 CPUtime=14.51 cores=0,2,4,6
/proc/25803/task/25808/stat : 25808 (java) S 25801 25803 19811 0 -1 4202560 421 0 0 0 1438 13 0 0 20 0 22 0 342262672 3037372416 301765 33554432000 1073741824 1073778376 140735546327600 139741192866728 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25803/tid=25809] ppid=25801 vsize=2966184 CPUtime=14.21 cores=0,2,4,6
/proc/25803/task/25809/stat : 25809 (java) S 25801 25803 19811 0 -1 4202560 417 0 0 0 1408 13 0 0 20 0 22 0 342262672 3037372416 301765 33554432000 1073741824 1073778376 140735546327600 139741191814184 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25803/tid=25810] ppid=25801 vsize=2966184 CPUtime=13.78 cores=0,2,4,6
/proc/25803/task/25810/stat : 25810 (java) S 25801 25803 19811 0 -1 4202560 372 0 0 0 1368 10 0 0 20 0 22 0 342262672 3037372416 301765 33554432000 1073741824 1073778376 140735546327600 139741072713896 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25803/tid=25811] ppid=25801 vsize=2966184 CPUtime=13.88 cores=0,2,4,6
/proc/25803/task/25811/stat : 25811 (java) S 25801 25803 19811 0 -1 4202560 399 0 0 0 1376 12 0 0 20 0 22 0 342262672 3037372416 301765 33554432000 1073741824 1073778376 140735546327600 139741071661352 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25803/tid=25812] ppid=25801 vsize=2966184 CPUtime=14.32 cores=0,2,4,6
/proc/25803/task/25812/stat : 25812 (java) S 25801 25803 19811 0 -1 4202560 396 0 0 0 1420 12 0 0 20 0 22 0 342262672 3037372416 301765 33554432000 1073741824 1073778376 140735546327600 139741070608808 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25803/tid=25813] ppid=25801 vsize=2966184 CPUtime=14.5 cores=0,2,4,6
/proc/25803/task/25813/stat : 25813 (java) S 25801 25803 19811 0 -1 4202560 391 0 0 0 1437 13 0 0 20 0 22 0 342262672 3037372416 301765 33554432000 1073741824 1073778376 140735546327600 139741069556264 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25803/tid=25814] ppid=25801 vsize=2966184 CPUtime=45.57 cores=0,2,4,6
/proc/25803/task/25814/stat : 25814 (java) S 25801 25803 19811 0 -1 4202560 90239 0 0 0 4498 59 0 0 20 0 22 0 342262673 3037372416 301765 33554432000 1073741824 1073778376 140735546327600 139741057358440 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25803/tid=25815] ppid=25801 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25803/task/25815/stat : 25815 (java) S 25801 25803 19811 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342262674 3037372416 301765 33554432000 1073741824 1073778376 140735546327600 139740451956344 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25803/tid=25816] ppid=25801 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25803/task/25816/stat : 25816 (java) S 25801 25803 19811 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342262674 3037372416 301765 33554432000 1073741824 1073778376 140735546327600 139740450903688 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25803/tid=25817] ppid=25801 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25803/task/25817/stat : 25817 (java) S 25801 25803 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342262677 3037372416 301765 33554432000 1073741824 1073778376 140735546327600 139740449852432 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25803/tid=25818] ppid=25801 vsize=2966184 CPUtime=1.59 cores=0,2,4,6
/proc/25803/task/25818/stat : 25818 (java) S 25801 25803 19811 0 -1 4202560 11769 0 0 0 158 1 0 0 20 0 22 0 342262677 3037372416 301765 33554432000 1073741824 1073778376 140735546327600 139740448798776 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25803/tid=25819] ppid=25801 vsize=2966184 CPUtime=1.1 cores=0,2,4,6
/proc/25803/task/25819/stat : 25819 (java) S 25801 25803 19811 0 -1 4202560 3185 0 0 0 109 1 0 0 20 0 22 0 342262677 3037372416 301765 33554432000 1073741824 1073778376 140735546327600 139740447746232 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25803/tid=25820] ppid=25801 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25803/task/25820/stat : 25820 (java) S 25801 25803 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342262677 3037372416 301765 33554432000 1073741824 1073778376 140735546327600 139740446693880 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25803/tid=25821] ppid=25801 vsize=2966184 CPUtime=0.37 cores=0,2,4,6
/proc/25803/task/25821/stat : 25821 (java) S 25801 25803 19811 0 -1 4202560 52 0 0 0 18 19 0 0 20 0 22 0 342262677 3037372416 301765 33554432000 1073741824 1073778376 140735546327600 139740445641544 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25803/tid=25822] ppid=25801 vsize=2966184 CPUtime=809.45 cores=0,2,4,6
/proc/25803/task/25822/stat : 25822 (java) R 25801 25803 19811 0 -1 4202560 351 0 0 0 80928 17 0 0 20 0 22 0 342264355 3037372416 301765 33554432000 1073741824 1073778376 140735546327600 139740444584688 139741073812813 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25803/tid=25823] ppid=25801 vsize=2966184 CPUtime=809.53 cores=0,2,4,6
/proc/25803/task/25823/stat : 25823 (java) R 25801 25803 19811 0 -1 4202560 522 0 0 0 80938 15 0 0 20 0 22 0 342264355 3037372416 301765 33554432000 1073741824 1073778376 140735546327600 139740443533040 139741073597414 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25803/tid=25824] ppid=25801 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25803/task/25824/stat : 25824 (java) S 25801 25803 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342264360 3037372416 301765 33554432000 1073741824 1073778376 140735546327600 139740442482216 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25803/tid=25825] ppid=25801 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25803/task/25825/stat : 25825 (java) S 25801 25803 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342264361 3037372416 301765 33554432000 1073741824 1073778376 140735546327600 139740441429672 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 2966184
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25803 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=568336
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=372639
# CPU time returned by wait4() is 1795.94
# while last known CPU time is 1800.17
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 902.235
CPU time (s): 1800.17
CPU user time (s): 1798.21
CPU system time (s): 1.96
CPU usage (%): 199.523
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.57
system time used= 2.37264
maximum resident set size= 1223368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113574
page faults= 1
swaps= 0
block input operations= 0
block output operations= 976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44839
involuntary context switches= 154095
runsolver used 3.41148 second user time and 8.04378 second system time
The end