runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3456730-1307219482/watcher-3456730-1307219482 -o /tmp/evaluation-result-3456730-1307219482/solver-3456730-1307219482 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456730-1307219482.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.01 2.03 1.95 2/464 30054
/proc/meminfo: memFree=28643888/32950928 swapFree=34365992/67111528
[pid=30054] ppid=30052 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/30054/stat : 30054 (java) S 30052 30054 29607 0 -1 4202496 4494 0 1 0 0 0 0 0 25 0 2 0 833546998 10694979584 4197 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606669285 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/30054/statm: 2611079 4210 917 9 0 2602235 0
[pid=30054/tid=30055] ppid=30052 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30055/stat : 30055 (java) R 30052 30054 29607 0 -1 4202560 4586 0 1 0 0 0 0 0 25 0 2 0 833546999 10694979584 5402 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235594560571 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.105824 s]
/proc/loadavg: 2.01 2.03 1.95 2/464 30054
/proc/meminfo: memFree=28643888/32950928 swapFree=34365992/67111528
[pid=30054] ppid=30052 vsize=10539740 CPUtime=0.1 cores=0,2,4,6
/proc/30054/stat : 30054 (java) S 30052 30054 29607 0 -1 4202496 13113 0 1 0 9 1 0 0 25 0 18 0 833546998 10792693760 12811 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/30054/statm: 2634935 12813 2094 9 0 2625669 0
[pid=30054/tid=30055] ppid=30052 vsize=10539740 CPUtime=0.08 cores=0,2,4,6
/proc/30054/task/30055/stat : 30055 (java) R 30052 30054 29607 0 -1 4202560 11202 0 1 0 7 1 0 0 18 0 18 0 833546999 10792693760 12814 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 47423967886232 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539740
[startup+0.202389 s]
/proc/loadavg: 2.01 2.03 1.95 2/464 30054
/proc/meminfo: memFree=28643888/32950928 swapFree=34365992/67111528
[pid=30054] ppid=30052 vsize=10540740 CPUtime=0.3 cores=0,2,4,6
/proc/30054/stat : 30054 (java) S 30052 30054 29607 0 -1 4202496 14331 0 1 0 28 2 0 0 25 0 18 0 833546998 10793717760 13932 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/30054/statm: 2635185 13933 2186 9 0 2625919 0
[pid=30054/tid=30055] ppid=30052 vsize=10540740 CPUtime=0.18 cores=0,2,4,6
/proc/30054/task/30055/stat : 30055 (java) R 30052 30054 29607 0 -1 4202560 11941 0 1 0 17 1 0 0 18 0 18 0 833546999 10793717760 13933 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 47423969127251 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 10540740
[startup+0.315323 s]
/proc/loadavg: 2.01 2.03 1.95 2/464 30054
/proc/meminfo: memFree=28643888/32950928 swapFree=34365992/67111528
[pid=30054] ppid=30052 vsize=10546924 CPUtime=0.6 cores=0,2,4,6
/proc/30054/stat : 30054 (java) S 30052 30054 29607 0 -1 4202496 19129 0 1 0 58 2 0 0 25 0 18 0 833546998 10800050176 18037 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/30054/statm: 2636420 18659 2206 9 0 2627154 0
[pid=30054/tid=30055] ppid=30052 vsize=10545680 CPUtime=0.32 cores=0,2,4,6
/proc/30054/task/30055/stat : 30055 (java) R 30052 30054 29607 0 -1 4202560 15388 0 1 0 30 2 0 0 18 0 18 0 833546999 10798776320 18660 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 46912505592031 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 10546924
[startup+0.700724 s]
/proc/loadavg: 2.01 2.03 1.95 2/464 30054
/proc/meminfo: memFree=28643888/32950928 swapFree=34365992/67111528
[pid=30054] ppid=30052 vsize=10555312 CPUtime=1.52 cores=0,2,4,6
/proc/30054/stat : 30054 (java) S 30052 30054 29607 0 -1 4202496 28337 0 1 0 148 4 0 0 25 0 19 0 833546998 10808639488 25502 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/30054/statm: 2638828 25502 2235 9 0 2629562 0
[pid=30054/tid=30055] ppid=30052 vsize=10555312 CPUtime=0.68 cores=0,2,4,6
/proc/30054/task/30055/stat : 30055 (java) R 30052 30054 29607 0 -1 4202560 18247 0 1 0 66 2 0 0 18 0 19 0 833546999 10808639488 25502 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 46912505623340 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 10555312
[startup+1.50158 s]
/proc/loadavg: 2.01 2.03 1.95 3/483 30073
/proc/meminfo: memFree=28538656/32950928 swapFree=34365992/67111528
[pid=30054] ppid=30052 vsize=10555312 CPUtime=2.6 cores=0,2,4,6
/proc/30054/stat : 30054 (java) S 30052 30054 29607 0 -1 4202496 34599 0 1 0 256 4 0 0 25 0 19 0 833546998 10808639488 31217 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/30054/statm: 2638828 31217 2236 9 0 2629562 0
[pid=30054/tid=30055] ppid=30052 vsize=10555312 CPUtime=1.49 cores=0,2,4,6
/proc/30054/task/30055/stat : 30055 (java) R 30052 30054 29607 0 -1 4202560 23890 0 1 0 146 3 0 0 19 0 19 0 833546999 10808639488 31217 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 46912505752582 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=30054/tid=30057] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30057/stat : 30057 (java) S 30052 30054 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833547000 10808639488 31217 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 6 0 0 0
[pid=30054/tid=30058] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30058/stat : 30058 (java) S 30052 30054 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833547000 10808639488 31217 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 6 0 0 0
[pid=30054/tid=30059] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30059/stat : 30059 (java) S 30052 30054 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833547000 10808639488 31217 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 6 0 0 0
[pid=30054/tid=30060] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30060/stat : 30060 (java) S 30052 30054 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833547000 10808639488 31217 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 6 0 0 0
[pid=30054/tid=30061] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30061/stat : 30061 (java) S 30052 30054 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833547000 10808639488 31217 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 6 0 0 0
[pid=30054/tid=30062] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30062/stat : 30062 (java) S 30052 30054 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833547000 10808639488 31217 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 6 0 0 0
[pid=30054/tid=30063] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30063/stat : 30063 (java) S 30052 30054 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833547000 10808639488 31217 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 6 0 0 0
[pid=30054/tid=30064] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30064/stat : 30064 (java) S 30052 30054 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833547000 10808639488 31217 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 6 0 0 0
[pid=30054/tid=30065] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30065/stat : 30065 (java) S 30052 30054 29607 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 833547001 10808639488 31217 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606683136 0 0 0 16800975 18446604440889799616 0 0 -1 0 0 0 0
[pid=30054/tid=30066] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30066/stat : 30066 (java) S 30052 30054 29607 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833547002 10808639488 31217 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 2 0 0 0
[pid=30054/tid=30067] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30067/stat : 30067 (java) S 30052 30054 29607 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 833547002 10808639488 31217 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 6 0 0 0
[pid=30054/tid=30068] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30068/stat : 30068 (java) S 30052 30054 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833547004 10808639488 31217 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606690225 0 4 0 16800975 18446604440889799616 0 0 -1 2 0 0 0
[pid=30054/tid=30069] ppid=30052 vsize=10555312 CPUtime=0.5 cores=0,2,4,6
/proc/30054/task/30069/stat : 30069 (java) S 30052 30054 29607 0 -1 4202560 5240 0 0 0 50 0 0 0 19 0 19 0 833547004 10808639488 31217 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 6 0 0 0
[pid=30054/tid=30070] ppid=30052 vsize=10555312 CPUtime=0.59 cores=0,2,4,6
/proc/30054/task/30070/stat : 30070 (java) S 30052 30054 29607 0 -1 4202560 4308 0 0 0 59 0 0 0 15 0 19 0 833547004 10808639488 31217 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 0 0 0 0
[pid=30054/tid=30071] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30071/stat : 30071 (java) S 30052 30054 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833547004 10808639488 31217 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 2 0 0 0
[pid=30054/tid=30072] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30072/stat : 30072 (java) S 30052 30054 29607 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833547004 10808639488 31217 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606683136 0 4 0 16800975 18446604440889799616 0 0 -1 0 0 0 0
[pid=30054/tid=30073] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30073/stat : 30073 (java) S 30052 30054 29607 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833547035 10808639488 31217 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606683136 0 4 0 16800975 18446604440889799616 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.6
Current children cumulated vsize (KiB) 10555312
[startup+3.10124 s]
/proc/loadavg: 2.01 2.03 1.95 3/483 30073
/proc/meminfo: memFree=28503548/32950928 swapFree=34365992/67111528
[pid=30054] ppid=30052 vsize=10555312 CPUtime=4.38 cores=0,2,4,6
/proc/30054/stat : 30054 (java) S 30052 30054 29607 0 -1 4202496 48126 0 1 0 433 5 0 0 25 0 19 0 833546998 10808639488 44743 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/30054/statm: 2638828 44743 2237 9 0 2629562 0
[pid=30054/tid=30055] ppid=30052 vsize=10555312 CPUtime=3.08 cores=0,2,4,6
/proc/30054/task/30055/stat : 30055 (java) R 30052 30054 29607 0 -1 4202560 37392 0 1 0 304 4 0 0 23 0 19 0 833546999 10808639488 44743 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 46912505753437 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=30054/tid=30057] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30057/stat : 30057 (java) S 30052 30054 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833547000 10808639488 44743 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 6 0 0 0
[pid=30054/tid=30058] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30058/stat : 30058 (java) S 30052 30054 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833547000 10808639488 44743 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 6 0 0 0
[pid=30054/tid=30059] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30059/stat : 30059 (java) S 30052 30054 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833547000 10808639488 44743 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 6 0 0 0
[pid=30054/tid=30060] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30060/stat : 30060 (java) S 30052 30054 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833547000 10808639488 44743 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 6 0 0 0
[pid=30054/tid=30061] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30061/stat : 30061 (java) S 30052 30054 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833547000 10808639488 44743 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 6 0 0 0
[pid=30054/tid=30062] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30062/stat : 30062 (java) S 30052 30054 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833547000 10808639488 44743 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 6 0 0 0
[pid=30054/tid=30063] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30063/stat : 30063 (java) S 30052 30054 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833547000 10808639488 44743 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 6 0 0 0
[pid=30054/tid=30064] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30064/stat : 30064 (java) S 30052 30054 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833547000 10808639488 44743 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 6 0 0 0
[pid=30054/tid=30065] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30065/stat : 30065 (java) S 30052 30054 29607 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 833547001 10808639488 44743 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606683136 0 0 0 16800975 18446604440889799616 0 0 -1 0 0 0 0
[pid=30054/tid=30066] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30066/stat : 30066 (java) S 30052 30054 29607 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833547002 10808639488 44743 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 2 0 0 0
[pid=30054/tid=30067] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30067/stat : 30067 (java) S 30052 30054 29607 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 833547002 10808639488 44743 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 6 0 0 0
[pid=30054/tid=30068] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30068/stat : 30068 (java) S 30052 30054 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833547004 10808639488 44743 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606690225 0 4 0 16800975 18446604440889799616 0 0 -1 2 0 0 0
[pid=30054/tid=30069] ppid=30052 vsize=10555312 CPUtime=0.58 cores=0,2,4,6
/proc/30054/task/30069/stat : 30069 (java) S 30052 30054 29607 0 -1 4202560 5253 0 0 0 58 0 0 0 15 0 19 0 833547004 10808639488 44743 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 6 0 0 0
[pid=30054/tid=30070] ppid=30052 vsize=10555312 CPUtime=0.69 cores=0,2,4,6
/proc/30054/task/30070/stat : 30070 (java) S 30052 30054 29607 0 -1 4202560 4320 0 0 0 69 0 0 0 15 0 19 0 833547004 10808639488 44743 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 0 0 0 0
[pid=30054/tid=30071] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30071/stat : 30071 (java) S 30052 30054 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833547004 10808639488 44743 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 2 0 0 0
[pid=30054/tid=30072] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30072/stat : 30072 (java) S 30052 30054 29607 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833547004 10808639488 44743 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606683136 0 4 0 16800975 18446604440889799616 0 0 -1 0 0 0 0
[pid=30054/tid=30073] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30073/stat : 30073 (java) S 30052 30054 29607 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833547035 10808639488 44743 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606683136 0 4 0 16800975 18446604440889799616 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.38
Current children cumulated vsize (KiB) 10555312
[startup+6.30073 s]
/proc/loadavg: 2.01 2.03 1.95 3/483 30074
/proc/meminfo: memFree=28365040/32950928 swapFree=34365992/67111528
[pid=30054] ppid=30052 vsize=10555312 CPUtime=7.6 cores=0,2,4,6
/proc/30054/stat : 30054 (java) S 30052 30054 29607 0 -1 4202496 78450 0 1 0 751 9 0 0 25 0 19 0 833546998 10808639488 75032 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/30054/statm: 2638828 75032 2237 9 0 2629562 0
[pid=30054/tid=30055] ppid=30052 vsize=10555312 CPUtime=6.28 cores=0,2,4,6
/proc/30054/task/30055/stat : 30055 (java) R 30052 30054 29607 0 -1 4202560 67715 0 1 0 620 8 0 0 18 0 19 0 833546999 10808639488 75032 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 46912505752595 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=30054/tid=30057] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30057/stat : 30057 (java) S 30052 30054 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833547000 10808639488 75032 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 6 0 0 0
[pid=30054/tid=30058] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30058/stat : 30058 (java) S 30052 30054 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833547000 10808639488 75032 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 6 0 0 0
[pid=30054/tid=30059] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30059/stat : 30059 (java) S 30052 30054 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833547000 10808639488 75032 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 6 0 0 0
[pid=30054/tid=30060] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30060/stat : 30060 (java) S 30052 30054 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833547000 10808639488 75032 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 6 0 0 0
[pid=30054/tid=30061] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30061/stat : 30061 (java) S 30052 30054 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833547000 10808639488 75032 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 6 0 0 0
[pid=30054/tid=30062] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30062/stat : 30062 (java) S 30052 30054 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833547000 10808639488 75032 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 6 0 0 0
[pid=30054/tid=30063] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30063/stat : 30063 (java) S 30052 30054 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833547000 10808639488 75032 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 6 0 0 0
[pid=30054/tid=30064] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30064/stat : 30064 (java) S 30052 30054 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833547000 10808639488 75032 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 6 0 0 0
[pid=30054/tid=30065] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30065/stat : 30065 (java) S 30052 30054 29607 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 833547001 10808639488 75032 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606683136 0 0 0 16800975 18446604440889799616 0 0 -1 0 0 0 0
[pid=30054/tid=30066] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30066/stat : 30066 (java) S 30052 30054 29607 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833547002 10808639488 75032 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 2 0 0 0
[pid=30054/tid=30067] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30067/stat : 30067 (java) S 30052 30054 29607 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 833547002 10808639488 75032 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 6 0 0 0
[pid=30054/tid=30068] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30068/stat : 30068 (java) S 30052 30054 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833547004 10808639488 75032 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606690225 0 4 0 16800975 18446604440889799616 0 0 -1 2 0 0 0
[pid=30054/tid=30069] ppid=30052 vsize=10555312 CPUtime=0.59 cores=0,2,4,6
/proc/30054/task/30069/stat : 30069 (java) S 30052 30054 29607 0 -1 4202560 5253 0 0 0 59 0 0 0 15 0 19 0 833547004 10808639488 75032 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 6 0 0 0
[pid=30054/tid=30070] ppid=30052 vsize=10555312 CPUtime=0.7 cores=0,2,4,6
/proc/30054/task/30070/stat : 30070 (java) S 30052 30054 29607 0 -1 4202560 4321 0 0 0 70 0 0 0 15 0 19 0 833547004 10808639488 75032 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 0 0 0 0
################
# More data... #
################
[pid=30054/tid=30071] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30071/stat : 30071 (java) S 30052 30054 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833547004 10808639488 1081211 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 2 0 0 0
[pid=30054/tid=30072] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30072/stat : 30072 (java) S 30052 30054 29607 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 833547004 10808639488 1081211 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606683136 0 4 0 16800975 18446604440889799616 0 0 -1 2 0 0 0
[pid=30054/tid=30073] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30073/stat : 30073 (java) S 30052 30054 29607 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833547035 10808639488 1081211 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606683136 0 4 0 16800975 18446604440889799616 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1675.31
Current children cumulated vsize (KiB) 10555312
[startup+1722.3 s]
/proc/loadavg: 2.01 2.06 2.01 3/483 30330
/proc/meminfo: memFree=23253524/32950928 swapFree=34365992/67111528
[pid=30054] ppid=30052 vsize=10555312 CPUtime=1735.99 cores=0,2,4,6
/proc/30054/stat : 30054 (java) S 30052 30054 29607 0 -1 4202496 1094663 0 1 0 173466 133 0 0 25 0 19 0 833546998 10808639488 1084097 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/30054/statm: 2638828 1084097 2265 9 0 2629562 0
[pid=30054/tid=30055] ppid=30052 vsize=10555312 CPUtime=1715.53 cores=0,2,4,6
/proc/30054/task/30055/stat : 30055 (java) R 30052 30054 29607 0 -1 4202560 770040 0 1 0 171471 82 0 0 25 0 19 0 833546999 10808639488 1084097 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 46912505727793 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30054/tid=30057] ppid=30052 vsize=10555312 CPUtime=2.61 cores=0,2,4,6
/proc/30054/task/30057/stat : 30057 (java) S 30052 30054 29607 0 -1 4202560 61605 0 0 0 253 8 0 0 16 0 19 0 833547000 10808639488 1084097 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 6 0 0 0
[pid=30054/tid=30058] ppid=30052 vsize=10555312 CPUtime=2.29 cores=0,2,4,6
/proc/30054/task/30058/stat : 30058 (java) S 30052 30054 29607 0 -1 4202560 40502 0 0 0 223 6 0 0 16 0 19 0 833547000 10808639488 1084097 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 0 0 0 0
[pid=30054/tid=30059] ppid=30052 vsize=10555312 CPUtime=2.09 cores=0,2,4,6
/proc/30054/task/30059/stat : 30059 (java) S 30052 30054 29607 0 -1 4202560 41393 0 0 0 203 6 0 0 16 0 19 0 833547000 10808639488 1084097 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 2 0 0 0
[pid=30054/tid=30060] ppid=30052 vsize=10555312 CPUtime=1.73 cores=0,2,4,6
/proc/30054/task/30060/stat : 30060 (java) S 30052 30054 29607 0 -1 4202560 27684 0 0 0 169 4 0 0 16 0 19 0 833547000 10808639488 1084097 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 0 0 0 0
[pid=30054/tid=30061] ppid=30052 vsize=10555312 CPUtime=1.75 cores=0,2,4,6
/proc/30054/task/30061/stat : 30061 (java) S 30052 30054 29607 0 -1 4202560 25695 0 0 0 171 4 0 0 15 0 19 0 833547000 10808639488 1084097 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 2 0 0 0
[pid=30054/tid=30062] ppid=30052 vsize=10555312 CPUtime=1.94 cores=0,2,4,6
/proc/30054/task/30062/stat : 30062 (java) S 30052 30054 29607 0 -1 4202560 26791 0 0 0 191 3 0 0 16 0 19 0 833547000 10808639488 1084097 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 4 0 0 0
[pid=30054/tid=30063] ppid=30052 vsize=10555312 CPUtime=2.31 cores=0,2,4,6
/proc/30054/task/30063/stat : 30063 (java) S 30052 30054 29607 0 -1 4202560 44620 0 0 0 225 6 0 0 16 0 19 0 833547000 10808639488 1084097 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 2 0 0 0
[pid=30054/tid=30064] ppid=30052 vsize=10555312 CPUtime=2.12 cores=0,2,4,6
/proc/30054/task/30064/stat : 30064 (java) S 30052 30054 29607 0 -1 4202560 42435 0 0 0 206 6 0 0 16 0 19 0 833547000 10808639488 1084097 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 4 0 0 0
[pid=30054/tid=30065] ppid=30052 vsize=10555312 CPUtime=1.64 cores=0,2,4,6
/proc/30054/task/30065/stat : 30065 (java) S 30052 30054 29607 0 -1 4202560 2727 0 0 0 163 1 0 0 15 0 19 0 833547001 10808639488 1084097 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606683136 0 0 0 16800975 18446604440889799616 0 0 -1 4 0 0 0
[pid=30054/tid=30066] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30066/stat : 30066 (java) S 30052 30054 29607 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833547002 10808639488 1084097 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 2 0 0 0
[pid=30054/tid=30067] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30067/stat : 30067 (java) S 30052 30054 29607 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833547002 10808639488 1084097 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 6 0 0 0
[pid=30054/tid=30068] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30068/stat : 30068 (java) S 30052 30054 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833547004 10808639488 1084097 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606690225 0 4 0 16800975 18446604440889799616 0 0 -1 2 0 0 0
[pid=30054/tid=30069] ppid=30052 vsize=10555312 CPUtime=0.76 cores=0,2,4,6
/proc/30054/task/30069/stat : 30069 (java) S 30052 30054 29607 0 -1 4202560 5565 0 0 0 76 0 0 0 15 0 19 0 833547004 10808639488 1084097 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 6 0 0 0
[pid=30054/tid=30070] ppid=30052 vsize=10555312 CPUtime=1.08 cores=0,2,4,6
/proc/30054/task/30070/stat : 30070 (java) S 30052 30054 29607 0 -1 4202560 4359 0 0 0 108 0 0 0 16 0 19 0 833547004 10808639488 1084097 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 0 0 0 0
[pid=30054/tid=30071] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30071/stat : 30071 (java) S 30052 30054 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833547004 10808639488 1084097 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 2 0 0 0
[pid=30054/tid=30072] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30072/stat : 30072 (java) S 30052 30054 29607 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 833547004 10808639488 1084097 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606683136 0 4 0 16800975 18446604440889799616 0 0 -1 2 0 0 0
[pid=30054/tid=30073] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30073/stat : 30073 (java) S 30052 30054 29607 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833547035 10808639488 1084097 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606683136 0 4 0 16800975 18446604440889799616 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1735.99
Current children cumulated vsize (KiB) 10555312
[startup+1782.3 s]
/proc/loadavg: 2.00 2.05 2.01 3/483 30341
/proc/meminfo: memFree=23239440/32950928 swapFree=34365992/67111528
[pid=30054] ppid=30052 vsize=10555312 CPUtime=1796.71 cores=0,2,4,6
/proc/30054/stat : 30054 (java) S 30052 30054 29607 0 -1 4202496 1097064 0 1 0 179537 134 0 0 25 0 19 0 833546998 10808639488 1086396 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/30054/statm: 2638828 1086396 2265 9 0 2629562 0
[pid=30054/tid=30055] ppid=30052 vsize=10555312 CPUtime=1775.21 cores=0,2,4,6
/proc/30054/task/30055/stat : 30055 (java) R 30052 30054 29607 0 -1 4202560 770048 0 1 0 177439 82 0 0 25 0 19 0 833546999 10808639488 1086396 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 46912505752573 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=30054/tid=30057] ppid=30052 vsize=10555312 CPUtime=2.74 cores=0,2,4,6
/proc/30054/task/30057/stat : 30057 (java) S 30052 30054 29607 0 -1 4202560 61843 0 0 0 266 8 0 0 16 0 19 0 833547000 10808639488 1086396 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 0 0 0 0
[pid=30054/tid=30058] ppid=30052 vsize=10555312 CPUtime=2.37 cores=0,2,4,6
/proc/30054/task/30058/stat : 30058 (java) S 30052 30054 29607 0 -1 4202560 40779 0 0 0 231 6 0 0 16 0 19 0 833547000 10808639488 1086396 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 0 0 0 0
[pid=30054/tid=30059] ppid=30052 vsize=10555312 CPUtime=2.25 cores=0,2,4,6
/proc/30054/task/30059/stat : 30059 (java) S 30052 30054 29607 0 -1 4202560 41904 0 0 0 219 6 0 0 16 0 19 0 833547000 10808639488 1086396 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 0 0 0 0
[pid=30054/tid=30060] ppid=30052 vsize=10555312 CPUtime=1.86 cores=0,2,4,6
/proc/30054/task/30060/stat : 30060 (java) S 30052 30054 29607 0 -1 4202560 27979 0 0 0 182 4 0 0 16 0 19 0 833547000 10808639488 1086396 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 2 0 0 0
[pid=30054/tid=30061] ppid=30052 vsize=10555312 CPUtime=1.89 cores=0,2,4,6
/proc/30054/task/30061/stat : 30061 (java) S 30052 30054 29607 0 -1 4202560 26064 0 0 0 185 4 0 0 16 0 19 0 833547000 10808639488 1086396 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 6 0 0 0
[pid=30054/tid=30062] ppid=30052 vsize=10555312 CPUtime=2.1 cores=0,2,4,6
/proc/30054/task/30062/stat : 30062 (java) S 30052 30054 29607 0 -1 4202560 27085 0 0 0 207 3 0 0 16 0 19 0 833547000 10808639488 1086396 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 2 0 0 0
[pid=30054/tid=30063] ppid=30052 vsize=10555312 CPUtime=2.44 cores=0,2,4,6
/proc/30054/task/30063/stat : 30063 (java) S 30052 30054 29607 0 -1 4202560 44820 0 0 0 238 6 0 0 16 0 19 0 833547000 10808639488 1086396 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 4 0 0 0
[pid=30054/tid=30064] ppid=30052 vsize=10555312 CPUtime=2.24 cores=0,2,4,6
/proc/30054/task/30064/stat : 30064 (java) S 30052 30054 29607 0 -1 4202560 42636 0 0 0 218 6 0 0 16 0 19 0 833547000 10808639488 1086396 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 2 0 0 0
[pid=30054/tid=30065] ppid=30052 vsize=10555312 CPUtime=1.64 cores=0,2,4,6
/proc/30054/task/30065/stat : 30065 (java) S 30052 30054 29607 0 -1 4202560 2731 0 0 0 163 1 0 0 15 0 19 0 833547001 10808639488 1086396 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606683136 0 0 0 16800975 18446604440889799616 0 0 -1 4 0 0 0
[pid=30054/tid=30066] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30066/stat : 30066 (java) S 30052 30054 29607 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833547002 10808639488 1086396 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 2 0 0 0
[pid=30054/tid=30067] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30067/stat : 30067 (java) S 30052 30054 29607 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833547002 10808639488 1086396 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 6 0 0 0
[pid=30054/tid=30068] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30068/stat : 30068 (java) S 30052 30054 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833547004 10808639488 1086396 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606690225 0 4 0 16800975 18446604440889799616 0 0 -1 2 0 0 0
[pid=30054/tid=30069] ppid=30052 vsize=10555312 CPUtime=0.76 cores=0,2,4,6
/proc/30054/task/30069/stat : 30069 (java) S 30052 30054 29607 0 -1 4202560 5565 0 0 0 76 0 0 0 15 0 19 0 833547004 10808639488 1086396 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 6 0 0 0
[pid=30054/tid=30070] ppid=30052 vsize=10555312 CPUtime=1.08 cores=0,2,4,6
/proc/30054/task/30070/stat : 30070 (java) S 30052 30054 29607 0 -1 4202560 4359 0 0 0 108 0 0 0 16 0 19 0 833547004 10808639488 1086396 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 0 0 0 0
[pid=30054/tid=30071] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30071/stat : 30071 (java) S 30052 30054 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833547004 10808639488 1086396 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 2 0 0 0
[pid=30054/tid=30072] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30072/stat : 30072 (java) S 30052 30054 29607 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 833547004 10808639488 1086396 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606683136 0 4 0 16800975 18446604440889799616 0 0 -1 2 0 0 0
[pid=30054/tid=30073] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30073/stat : 30073 (java) S 30052 30054 29607 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833547035 10808639488 1086396 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606683136 0 4 0 16800975 18446604440889799616 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1796.71
Current children cumulated vsize (KiB) 10555312
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1785.6 s]
/proc/loadavg: 2.00 2.04 2.01 3/483 30341
/proc/meminfo: memFree=23239396/32950928 swapFree=34365992/67111528
[pid=30054] ppid=30052 vsize=10555312 CPUtime=1800.03 cores=0,2,4,6
/proc/30054/stat : 30054 (java) S 30052 30054 29607 0 -1 4202496 1097064 0 1 0 179869 134 0 0 25 0 19 0 833546998 10808639488 1086396 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/30054/statm: 2638828 1086396 2265 9 0 2629562 0
[pid=30054/tid=30055] ppid=30052 vsize=10555312 CPUtime=1778.53 cores=0,2,4,6
/proc/30054/task/30055/stat : 30055 (java) R 30052 30054 29607 0 -1 4202560 770048 0 1 0 177771 82 0 0 25 0 19 0 833546999 10808639488 1086396 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 46912505366048 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=30054/tid=30057] ppid=30052 vsize=10555312 CPUtime=2.74 cores=0,2,4,6
/proc/30054/task/30057/stat : 30057 (java) S 30052 30054 29607 0 -1 4202560 61843 0 0 0 266 8 0 0 16 0 19 0 833547000 10808639488 1086396 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 0 0 0 0
[pid=30054/tid=30058] ppid=30052 vsize=10555312 CPUtime=2.37 cores=0,2,4,6
/proc/30054/task/30058/stat : 30058 (java) S 30052 30054 29607 0 -1 4202560 40779 0 0 0 231 6 0 0 16 0 19 0 833547000 10808639488 1086396 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 0 0 0 0
[pid=30054/tid=30059] ppid=30052 vsize=10555312 CPUtime=2.25 cores=0,2,4,6
/proc/30054/task/30059/stat : 30059 (java) S 30052 30054 29607 0 -1 4202560 41904 0 0 0 219 6 0 0 16 0 19 0 833547000 10808639488 1086396 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 0 0 0 0
[pid=30054/tid=30060] ppid=30052 vsize=10555312 CPUtime=1.86 cores=0,2,4,6
/proc/30054/task/30060/stat : 30060 (java) S 30052 30054 29607 0 -1 4202560 27979 0 0 0 182 4 0 0 16 0 19 0 833547000 10808639488 1086396 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 2 0 0 0
[pid=30054/tid=30061] ppid=30052 vsize=10555312 CPUtime=1.89 cores=0,2,4,6
/proc/30054/task/30061/stat : 30061 (java) S 30052 30054 29607 0 -1 4202560 26064 0 0 0 185 4 0 0 16 0 19 0 833547000 10808639488 1086396 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 6 0 0 0
[pid=30054/tid=30062] ppid=30052 vsize=10555312 CPUtime=2.1 cores=0,2,4,6
/proc/30054/task/30062/stat : 30062 (java) S 30052 30054 29607 0 -1 4202560 27085 0 0 0 207 3 0 0 16 0 19 0 833547000 10808639488 1086396 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 2 0 0 0
[pid=30054/tid=30063] ppid=30052 vsize=10555312 CPUtime=2.44 cores=0,2,4,6
/proc/30054/task/30063/stat : 30063 (java) S 30052 30054 29607 0 -1 4202560 44820 0 0 0 238 6 0 0 16 0 19 0 833547000 10808639488 1086396 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 4 0 0 0
[pid=30054/tid=30064] ppid=30052 vsize=10555312 CPUtime=2.24 cores=0,2,4,6
/proc/30054/task/30064/stat : 30064 (java) S 30052 30054 29607 0 -1 4202560 42636 0 0 0 218 6 0 0 16 0 19 0 833547000 10808639488 1086396 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 2 0 0 0
[pid=30054/tid=30065] ppid=30052 vsize=10555312 CPUtime=1.64 cores=0,2,4,6
/proc/30054/task/30065/stat : 30065 (java) S 30052 30054 29607 0 -1 4202560 2731 0 0 0 163 1 0 0 15 0 19 0 833547001 10808639488 1086396 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606683136 0 0 0 16800975 18446604440889799616 0 0 -1 4 0 0 0
[pid=30054/tid=30066] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30066/stat : 30066 (java) S 30052 30054 29607 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833547002 10808639488 1086396 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 2 0 0 0
[pid=30054/tid=30067] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30067/stat : 30067 (java) S 30052 30054 29607 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833547002 10808639488 1086396 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 6 0 0 0
[pid=30054/tid=30068] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30068/stat : 30068 (java) S 30052 30054 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833547004 10808639488 1086396 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606690225 0 4 0 16800975 18446604440889799616 0 0 -1 2 0 0 0
[pid=30054/tid=30069] ppid=30052 vsize=10555312 CPUtime=0.76 cores=0,2,4,6
/proc/30054/task/30069/stat : 30069 (java) S 30052 30054 29607 0 -1 4202560 5565 0 0 0 76 0 0 0 15 0 19 0 833547004 10808639488 1086396 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 6 0 0 0
[pid=30054/tid=30070] ppid=30052 vsize=10555312 CPUtime=1.08 cores=0,2,4,6
/proc/30054/task/30070/stat : 30070 (java) S 30052 30054 29607 0 -1 4202560 4359 0 0 0 108 0 0 0 16 0 19 0 833547004 10808639488 1086396 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 0 0 0 0
[pid=30054/tid=30071] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30071/stat : 30071 (java) S 30052 30054 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833547004 10808639488 1086396 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606682521 0 4 0 16800975 18446604440889799616 0 0 -1 2 0 0 0
[pid=30054/tid=30072] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30072/stat : 30072 (java) S 30052 30054 29607 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 833547004 10808639488 1086396 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606683136 0 4 0 16800975 18446604440889799616 0 0 -1 2 0 0 0
[pid=30054/tid=30073] ppid=30052 vsize=10555312 CPUtime=0 cores=0,2,4,6
/proc/30054/task/30073/stat : 30073 (java) S 30052 30054 29607 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833547035 10808639488 1086396 33554432000 1073741824 1073778376 140735289903520 18446744073709551615 235606683136 0 4 0 16800975 18446604440889799616 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 10555312
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1785.72 s]
/proc/loadavg: 2.00 2.04 2.01 3/483 30341
/proc/meminfo: memFree=23239396/32950928 swapFree=34365992/67111528
[pid=30054] ppid=30052 vsize=0 CPUtime=1800.15 cores=0,2,4,6
/proc/30054/stat : 30054 (java) Z 30052 30054 29607 0 -1 4203548 1097098 0 1 0 179876 139 0 0 17 0 2 0 833546998 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/30054/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 0
[startup+1785.8 s]
/proc/loadavg: 2.00 2.04 2.01 3/483 30341
/proc/meminfo: memFree=23239396/32950928 swapFree=34365992/67111528
[pid=30054] ppid=30052 vsize=0 CPUtime=1800.23 cores=0,2,4,6
/proc/30054/stat : 30054 (java) Z 30052 30054 29607 0 -1 4203548 1097098 0 1 0 179876 147 0 0 17 0 2 0 833546998 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/30054/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1785.85
CPU time (s): 1800.28
CPU user time (s): 1798.76
CPU system time (s): 1.52077
CPU usage (%): 100.808
Max. virtual memory (cumulated for all children) (KiB): 10555312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.76
system time used= 1.52077
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1097098
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41608
involuntary context switches= 17003
runsolver used 8.66568 second user time and 18.0633 second system time
The end