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-3454038-1307195426/watcher-3454038-1307195426 -o /tmp/evaluation-result-3454038-1307195426/solver-3454038-1307195426 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454038-1307195426.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.90 3.42 3.59 2/539 10951
/proc/meminfo: memFree=15189016/32951132 swapFree=46579808/67111528
[pid=10951] ppid=10949 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/10951/stat : 10951 (java) S 10949 10951 10903 0 -1 4202496 4777 0 1 0 0 0 0 0 18 0 2 0 831141260 10694979584 4479 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982352869 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/10951/statm: 2611079 4493 917 9 0 2602235 0
[pid=10951/tid=10952] ppid=10949 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10952/stat : 10952 (java) R 10949 10951 10903 0 -1 4202560 8174 0 1 0 0 0 0 0 19 0 2 0 831141260 10694979584 8990 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242970244155 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.060921 s]
/proc/loadavg: 2.90 3.42 3.59 2/539 10951
/proc/meminfo: memFree=15189016/32951132 swapFree=46579808/67111528
[pid=10951] ppid=10949 vsize=10472924 CPUtime=0.05 cores=1,3,5,7
/proc/10951/stat : 10951 (java) S 10949 10951 10903 0 -1 4202496 11689 0 1 0 4 1 0 0 18 0 18 0 831141260 10724274176 11386 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10951/statm: 2618231 11386 1733 9 0 2608972 0
[pid=10951/tid=10952] ppid=10949 vsize=10472924 CPUtime=0.04 cores=1,3,5,7
/proc/10951/task/10952/stat : 10952 (java) R 10949 10951 10903 0 -1 4202560 10515 0 1 0 3 1 0 0 24 0 18 0 831141260 10724274176 11387 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 46993250687939 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472924
[startup+0.100915 s]
/proc/loadavg: 2.90 3.42 3.59 2/539 10951
/proc/meminfo: memFree=15189016/32951132 swapFree=46579808/67111528
[pid=10951] ppid=10949 vsize=10540192 CPUtime=0.1 cores=1,3,5,7
/proc/10951/stat : 10951 (java) S 10949 10951 10903 0 -1 4202496 13063 0 1 0 8 2 0 0 18 0 18 0 831141260 10793156608 12760 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10951/statm: 2635048 12760 2093 9 0 2625782 0
[pid=10951/tid=10952] ppid=10949 vsize=10540192 CPUtime=0.08 cores=1,3,5,7
/proc/10951/task/10952/stat : 10952 (java) R 10949 10951 10903 0 -1 4202560 11160 0 1 0 7 1 0 0 24 0 18 0 831141260 10793156608 12760 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982378875 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540192
[startup+0.300878 s]
/proc/loadavg: 2.90 3.42 3.59 2/539 10951
/proc/meminfo: memFree=15189016/32951132 swapFree=46579808/67111528
[pid=10951] ppid=10949 vsize=10543248 CPUtime=0.47 cores=1,3,5,7
/proc/10951/stat : 10951 (java) S 10949 10951 10903 0 -1 4202496 16446 0 1 0 44 3 0 0 18 0 18 0 831141260 10796285952 15809 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10951/statm: 2635812 15809 2212 9 0 2626546 0
[pid=10951/tid=10952] ppid=10949 vsize=10543248 CPUtime=0.28 cores=1,3,5,7
/proc/10951/task/10952/stat : 10952 (java) R 10949 10951 10903 0 -1 4202560 13017 0 1 0 26 2 0 0 25 0 18 0 831141260 10796285952 15810 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 46993254325075 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10543248
[startup+0.700777 s]
/proc/loadavg: 2.90 3.42 3.59 2/539 10951
/proc/meminfo: memFree=15189016/32951132 swapFree=46579808/67111528
[pid=10951] ppid=10949 vsize=10553792 CPUtime=1.6 cores=1,3,5,7
/proc/10951/stat : 10951 (java) S 10949 10951 10903 0 -1 4202496 37965 0 1 0 155 5 0 0 18 0 18 0 831141260 10807083008 33100 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10951/statm: 2638448 33104 2228 9 0 2629182 0
[pid=10951/tid=10952] ppid=10949 vsize=10553792 CPUtime=0.69 cores=1,3,5,7
/proc/10951/task/10952/stat : 10952 (java) R 10949 10951 10903 0 -1 4202560 26157 0 1 0 65 4 0 0 25 0 18 0 831141260 10807083008 33105 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 46912505886994 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 10553792
[startup+1.5007 s]
/proc/loadavg: 3.31 3.50 3.62 7/569 10984
/proc/meminfo: memFree=14735256/32951132 swapFree=46579808/67111528
[pid=10951] ppid=10949 vsize=10557904 CPUtime=3.51 cores=1,3,5,7
/proc/10951/stat : 10951 (java) S 10949 10951 10903 0 -1 4202496 134921 0 1 0 335 16 0 0 18 0 22 0 831141260 10811293696 126572 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10951/statm: 2639476 126574 2241 9 0 2630210 0
[pid=10951/tid=10952] ppid=10949 vsize=10557904 CPUtime=1.05 cores=1,3,5,7
/proc/10951/task/10952/stat : 10952 (java) S 10949 10951 10903 0 -1 4202560 107381 0 1 0 92 13 0 0 19 0 22 0 831141260 10811293696 126576 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366720 0 4 0 16800975 18446604470056775808 0 0 -1 7 0 0 0
[pid=10951/tid=10957] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10957/stat : 10957 (java) S 10949 10951 10903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 831141262 10811293696 126577 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 3 0 0 0
[pid=10951/tid=10958] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10958/stat : 10958 (java) S 10949 10951 10903 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831141262 10811293696 126578 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 7 0 0 0
[pid=10951/tid=10959] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10959/stat : 10959 (java) S 10949 10951 10903 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831141262 10811293696 126580 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 7 0 0 0
[pid=10951/tid=10960] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10960/stat : 10960 (java) S 10949 10951 10903 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831141262 10811293696 126581 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 7 0 0 0
[pid=10951/tid=10961] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10961/stat : 10961 (java) S 10949 10951 10903 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831141262 10811293696 126583 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 7 0 0 0
[pid=10951/tid=10962] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10962/stat : 10962 (java) S 10949 10951 10903 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 831141262 10811293696 126584 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 7 0 0 0
[pid=10951/tid=10963] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10963/stat : 10963 (java) S 10949 10951 10903 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 22 0 831141262 10811293696 126585 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 7 0 0 0
[pid=10951/tid=10964] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10964/stat : 10964 (java) S 10949 10951 10903 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 831141262 10811293696 126587 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 7 0 0 0
[pid=10951/tid=10965] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10965/stat : 10965 (java) S 10949 10951 10903 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 22 0 831141263 10811293696 126588 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366720 0 0 0 16800975 18446604470056775808 0 0 -1 3 0 0 0
[pid=10951/tid=10971] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10971/stat : 10971 (java) S 10949 10951 10903 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 22 0 831141263 10811293696 126589 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 3 0 0 0
[pid=10951/tid=10972] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10972/stat : 10972 (java) S 10949 10951 10903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 831141263 10811293696 126591 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 3 0 0 0
[pid=10951/tid=10973] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10973/stat : 10973 (java) S 10949 10951 10903 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831141265 10811293696 126592 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982373809 0 4 0 16800975 18446604470056775808 0 0 -1 3 0 0 0
[pid=10951/tid=10974] ppid=10949 vsize=10557904 CPUtime=0.79 cores=1,3,5,7
/proc/10951/task/10974/stat : 10974 (java) S 10949 10951 10903 0 -1 4202560 4951 0 0 0 79 0 0 0 17 0 22 0 831141265 10811293696 126593 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 5 0 0 0
[pid=10951/tid=10975] ppid=10949 vsize=10557904 CPUtime=0.84 cores=1,3,5,7
/proc/10951/task/10975/stat : 10975 (java) S 10949 10951 10903 0 -1 4202560 9297 0 0 0 83 1 0 0 21 0 22 0 831141266 10811293696 126595 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 7 0 0 0
[pid=10951/tid=10976] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10976/stat : 10976 (java) S 10949 10951 10903 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 831141266 10811293696 126596 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 3 0 0 0
[pid=10951/tid=10977] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10977/stat : 10977 (java) S 10949 10951 10903 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831141266 10811293696 126598 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366720 0 4 0 16800975 18446604470056775808 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.51
Current children cumulated vsize (KiB) 10557904
[startup+3.10136 s]
/proc/loadavg: 3.31 3.50 3.62 3/570 10994
/proc/meminfo: memFree=14454636/32951132 swapFree=46579808/67111528
[pid=10951] ppid=10949 vsize=10557904 CPUtime=6.76 cores=1,3,5,7
/proc/10951/stat : 10951 (java) S 10949 10951 10903 0 -1 4202496 219059 0 1 0 649 27 0 0 18 0 22 0 831141260 10811293696 210709 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10951/statm: 2639476 210711 2244 9 0 2630210 0
[pid=10951/tid=10952] ppid=10949 vsize=10557904 CPUtime=1.08 cores=1,3,5,7
/proc/10951/task/10952/stat : 10952 (java) S 10949 10951 10903 0 -1 4202560 107528 0 1 0 95 13 0 0 17 0 22 0 831141260 10811293696 210712 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366720 0 4 0 16800975 18446604470056775808 0 0 -1 3 0 0 0
[pid=10951/tid=10957] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10957/stat : 10957 (java) S 10949 10951 10903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 831141262 10811293696 210714 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 3 0 0 0
[pid=10951/tid=10958] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10958/stat : 10958 (java) S 10949 10951 10903 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831141262 10811293696 210715 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 7 0 0 0
[pid=10951/tid=10959] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10959/stat : 10959 (java) S 10949 10951 10903 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831141262 10811293696 210716 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 7 0 0 0
[pid=10951/tid=10960] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10960/stat : 10960 (java) S 10949 10951 10903 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831141262 10811293696 210718 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 7 0 0 0
[pid=10951/tid=10961] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10961/stat : 10961 (java) S 10949 10951 10903 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831141262 10811293696 210719 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 7 0 0 0
[pid=10951/tid=10962] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10962/stat : 10962 (java) S 10949 10951 10903 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 831141262 10811293696 210720 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 7 0 0 0
[pid=10951/tid=10963] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10963/stat : 10963 (java) S 10949 10951 10903 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 22 0 831141262 10811293696 210722 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 7 0 0 0
[pid=10951/tid=10964] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10964/stat : 10964 (java) S 10949 10951 10903 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 831141262 10811293696 210723 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 7 0 0 0
[pid=10951/tid=10965] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10965/stat : 10965 (java) S 10949 10951 10903 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 22 0 831141263 10811293696 210725 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366720 0 0 0 16800975 18446604470056775808 0 0 -1 3 0 0 0
[pid=10951/tid=10971] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10971/stat : 10971 (java) S 10949 10951 10903 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 22 0 831141263 10811293696 210726 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 3 0 0 0
[pid=10951/tid=10972] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10972/stat : 10972 (java) S 10949 10951 10903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 831141263 10811293696 210727 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 3 0 0 0
[pid=10951/tid=10973] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10973/stat : 10973 (java) S 10949 10951 10903 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831141265 10811293696 210729 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982373809 0 4 0 16800975 18446604470056775808 0 0 -1 3 0 0 0
[pid=10951/tid=10974] ppid=10949 vsize=10557904 CPUtime=0.91 cores=1,3,5,7
/proc/10951/task/10974/stat : 10974 (java) S 10949 10951 10903 0 -1 4202560 4967 0 0 0 91 0 0 0 15 0 22 0 831141265 10811293696 210730 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 5 0 0 0
[pid=10951/tid=10975] ppid=10949 vsize=10557904 CPUtime=0.89 cores=1,3,5,7
/proc/10951/task/10975/stat : 10975 (java) S 10949 10951 10903 0 -1 4202560 9300 0 0 0 88 1 0 0 15 0 22 0 831141266 10811293696 210731 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 1 0 0 0
[pid=10951/tid=10976] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10976/stat : 10976 (java) S 10949 10951 10903 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 831141266 10811293696 210733 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 3 0 0 0
[pid=10951/tid=10977] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10977/stat : 10977 (java) S 10949 10951 10903 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831141266 10811293696 210734 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366720 0 4 0 16800975 18446604470056775808 0 0 -1 7 0 0 0
[pid=10951/tid=10988] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10988/stat : 10988 (java) S 10949 10951 10903 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 831141374 10811293696 210735 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366720 0 4 0 16800975 18446604470056775808 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.76
Current children cumulated vsize (KiB) 10557904
[startup+6.30081 s]
/proc/loadavg: 3.31 3.50 3.62 5/570 11015
/proc/meminfo: memFree=13449992/32951132 swapFree=46579808/67111528
[pid=10951] ppid=10949 vsize=10557904 CPUtime=12.11 cores=1,3,5,7
/proc/10951/stat : 10951 (java) S 10949 10951 10903 0 -1 4202496 355926 0 1 0 1169 42 0 0 18 0 22 0 831141260 10811293696 347555 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10951/statm: 2639476 347557 2245 9 0 2630210 0
[pid=10951/tid=10952] ppid=10949 vsize=10557904 CPUtime=1.09 cores=1,3,5,7
/proc/10951/task/10952/stat : 10952 (java) S 10949 10951 10903 0 -1 4202560 107807 0 1 0 96 13 0 0 15 0 22 0 831141260 10811293696 347559 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366720 0 4 0 16800975 18446604470056775808 0 0 -1 7 0 0 0
[pid=10951/tid=10957] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10957/stat : 10957 (java) S 10949 10951 10903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 831141262 10811293696 347560 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 3 0 0 0
[pid=10951/tid=10958] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10958/stat : 10958 (java) S 10949 10951 10903 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831141262 10811293696 347561 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 7 0 0 0
[pid=10951/tid=10959] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10959/stat : 10959 (java) S 10949 10951 10903 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831141262 10811293696 347563 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 7 0 0 0
[pid=10951/tid=10960] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10960/stat : 10960 (java) S 10949 10951 10903 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831141262 10811293696 347564 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 7 0 0 0
[pid=10951/tid=10961] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10961/stat : 10961 (java) S 10949 10951 10903 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831141262 10811293696 347565 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 7 0 0 0
[pid=10951/tid=10962] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10962/stat : 10962 (java) S 10949 10951 10903 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 831141262 10811293696 347567 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 7 0 0 0
[pid=10951/tid=10963] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10963/stat : 10963 (java) S 10949 10951 10903 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 22 0 831141262 10811293696 347568 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 7 0 0 0
[pid=10951/tid=10964] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10964/stat : 10964 (java) S 10949 10951 10903 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 831141262 10811293696 347569 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 7 0 0 0
[pid=10951/tid=10965] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10965/stat : 10965 (java) S 10949 10951 10903 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 22 0 831141263 10811293696 347571 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366720 0 0 0 16800975 18446604470056775808 0 0 -1 3 0 0 0
[pid=10951/tid=10971] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10971/stat : 10971 (java) S 10949 10951 10903 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 22 0 831141263 10811293696 347572 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 3 0 0 0
[pid=10951/tid=10972] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10972/stat : 10972 (java) S 10949 10951 10903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 831141263 10811293696 347573 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 3 0 0 0
[pid=10951/tid=10973] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10973/stat : 10973 (java) S 10949 10951 10903 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831141265 10811293696 347575 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982373809 0 4 0 16800975 18446604470056775808 0 0 -1 3 0 0 0
[pid=10951/tid=10974] ppid=10949 vsize=10557904 CPUtime=1.05 cores=1,3,5,7
/proc/10951/task/10974/stat : 10974 (java) S 10949 10951 10903 0 -1 4202560 5007 0 0 0 105 0 0 0 15 0 22 0 831141265 10811293696 347576 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 5 0 0 0
[pid=10951/tid=10975] ppid=10949 vsize=10557904 CPUtime=0.97 cores=1,3,5,7
/proc/10951/task/10975/stat : 10975 (java) S 10949 10951 10903 0 -1 4202560 9304 0 0 0 96 1 0 0 16 0 22 0 831141266 10811293696 347578 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 1 0 0 0
[pid=10951/tid=10976] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10976/stat : 10976 (java) S 10949 10951 10903 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 831141266 10811293696 347579 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=10201920/32951132 swapFree=46579808/67111528
[pid=10951] ppid=10949 vsize=10557904 CPUtime=1633.97 cores=1,3,5,7
/proc/10951/stat : 10951 (java) S 10949 10951 10903 0 -1 4202496 928893 0 1 0 163289 108 0 0 18 0 22 0 831141260 10811293696 919278 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10951/statm: 2639476 919278 2271 9 0 2630210 0
[pid=10951/tid=10952] ppid=10949 vsize=10557904 CPUtime=1.22 cores=1,3,5,7
/proc/10951/task/10952/stat : 10952 (java) S 10949 10951 10903 0 -1 4202560 108231 0 1 0 109 13 0 0 15 0 22 0 831141260 10811293696 919278 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366720 0 4 0 16800975 18446604470056775808 0 0 -1 1 0 0 0
[pid=10951/tid=10957] ppid=10949 vsize=10557904 CPUtime=0.28 cores=1,3,5,7
/proc/10951/task/10957/stat : 10957 (java) S 10949 10951 10903 0 -1 4202560 11469 0 0 0 27 1 0 0 16 0 22 0 831141262 10811293696 919278 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 5 0 0 0
[pid=10951/tid=10958] ppid=10949 vsize=10557904 CPUtime=0.28 cores=1,3,5,7
/proc/10951/task/10958/stat : 10958 (java) S 10949 10951 10903 0 -1 4202560 9543 0 0 0 27 1 0 0 16 0 22 0 831141262 10811293696 919278 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 1 0 0 0
[pid=10951/tid=10959] ppid=10949 vsize=10557904 CPUtime=0.22 cores=1,3,5,7
/proc/10951/task/10959/stat : 10959 (java) S 10949 10951 10903 0 -1 4202560 7581 0 0 0 21 1 0 0 16 0 22 0 831141262 10811293696 919278 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 7 0 0 0
[pid=10951/tid=10960] ppid=10949 vsize=10557904 CPUtime=0.21 cores=1,3,5,7
/proc/10951/task/10960/stat : 10960 (java) S 10949 10951 10903 0 -1 4202560 6262 0 0 0 21 0 0 0 15 0 22 0 831141262 10811293696 919278 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 7 0 0 0
[pid=10951/tid=10961] ppid=10949 vsize=10557904 CPUtime=0.26 cores=1,3,5,7
/proc/10951/task/10961/stat : 10961 (java) S 10949 10951 10903 0 -1 4202560 11664 0 0 0 25 1 0 0 16 0 22 0 831141262 10811293696 919278 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 7 0 0 0
[pid=10951/tid=10962] ppid=10949 vsize=10557904 CPUtime=0.25 cores=1,3,5,7
/proc/10951/task/10962/stat : 10962 (java) S 10949 10951 10903 0 -1 4202560 6801 0 0 0 25 0 0 0 16 0 22 0 831141262 10811293696 919278 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 7 0 0 0
[pid=10951/tid=10963] ppid=10949 vsize=10557904 CPUtime=0.32 cores=1,3,5,7
/proc/10951/task/10963/stat : 10963 (java) S 10949 10951 10903 0 -1 4202560 7948 0 0 0 32 0 0 0 16 0 22 0 831141262 10811293696 919278 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 5 0 0 0
[pid=10951/tid=10964] ppid=10949 vsize=10557904 CPUtime=0.26 cores=1,3,5,7
/proc/10951/task/10964/stat : 10964 (java) S 10949 10951 10903 0 -1 4202560 8717 0 0 0 25 1 0 0 16 0 22 0 831141262 10811293696 919278 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 1 0 0 0
[pid=10951/tid=10965] ppid=10949 vsize=10557904 CPUtime=4.99 cores=1,3,5,7
/proc/10951/task/10965/stat : 10965 (java) S 10949 10951 10903 0 -1 4202560 46662 0 0 0 493 6 0 0 15 0 22 0 831141263 10811293696 919278 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366720 0 0 0 16800975 18446604470056775808 0 0 -1 3 0 0 0
[pid=10951/tid=10971] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10971/stat : 10971 (java) S 10949 10951 10903 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831141263 10811293696 919278 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 3 0 0 0
[pid=10951/tid=10972] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10972/stat : 10972 (java) S 10949 10951 10903 0 -1 4202560 24 0 0 0 0 0 0 0 15 0 22 0 831141263 10811293696 919278 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 7 0 0 0
[pid=10951/tid=10973] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10973/stat : 10973 (java) S 10949 10951 10903 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831141265 10811293696 919278 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982373809 0 4 0 16800975 18446604470056775808 0 0 -1 3 0 0 0
[pid=10951/tid=10974] ppid=10949 vsize=10557904 CPUtime=1.4 cores=1,3,5,7
/proc/10951/task/10974/stat : 10974 (java) S 10949 10951 10903 0 -1 4202560 5054 0 0 0 140 0 0 0 15 0 22 0 831141265 10811293696 919278 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 5 0 0 0
[pid=10951/tid=10975] ppid=10949 vsize=10557904 CPUtime=1.23 cores=1,3,5,7
/proc/10951/task/10975/stat : 10975 (java) S 10949 10951 10903 0 -1 4202560 9626 0 0 0 122 1 0 0 16 0 22 0 831141266 10811293696 919278 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 1 0 0 0
[pid=10951/tid=10976] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10976/stat : 10976 (java) S 10949 10951 10903 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 831141266 10811293696 919278 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 3 0 0 0
[pid=10951/tid=10977] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10977/stat : 10977 (java) S 10949 10951 10903 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 22 0 831141266 10811293696 919278 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366720 0 4 0 16800975 18446604470056775808 0 0 -1 5 0 0 0
[pid=10951/tid=10988] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10988/stat : 10988 (java) S 10949 10951 10903 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 831141374 10811293696 919278 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366720 0 4 0 16800975 18446604470056775808 0 0 -1 1 0 0 0
[pid=10951/tid=11064] ppid=10949 vsize=10557904 CPUtime=775.44 cores=1,3,5,7
/proc/10951/task/11064/stat : 11064 (java) R 10949 10951 10903 0 -1 4202560 662 0 0 0 77544 0 0 0 25 0 22 0 831145423 10811293696 919278 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 46912506047800 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=10951/tid=11065] ppid=10949 vsize=10557904 CPUtime=775.37 cores=1,3,5,7
/proc/10951/task/11065/stat : 11065 (java) R 10949 10951 10903 0 -1 4202560 148912 0 0 0 77521 16 0 0 25 0 22 0 831145423 10811293696 919278 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 46912506033176 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10951/tid=11066] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/11066/stat : 11066 (java) S 10949 10951 10903 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831145423 10811293696 919278 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366720 0 4 0 16800975 18446604470056775808 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1633.97
Current children cumulated vsize (KiB) 10557904
[startup+882.301 s]
/proc/loadavg: 3.76 3.78 3.72 4/573 11100
/proc/meminfo: memFree=10184540/32951132 swapFree=46579808/67111528
[pid=10951] ppid=10949 vsize=10557904 CPUtime=1753.54 cores=1,3,5,7
/proc/10951/stat : 10951 (java) S 10949 10951 10903 0 -1 4202496 930783 0 1 0 175245 109 0 0 18 0 22 0 831141260 10811293696 921107 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10951/statm: 2639476 921107 2271 9 0 2630210 0
[pid=10951/tid=10952] ppid=10949 vsize=10557904 CPUtime=1.22 cores=1,3,5,7
/proc/10951/task/10952/stat : 10952 (java) S 10949 10951 10903 0 -1 4202560 108232 0 1 0 109 13 0 0 15 0 22 0 831141260 10811293696 921107 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366720 0 4 0 16800975 18446604470056775808 0 0 -1 1 0 0 0
[pid=10951/tid=10957] ppid=10949 vsize=10557904 CPUtime=0.31 cores=1,3,5,7
/proc/10951/task/10957/stat : 10957 (java) S 10949 10951 10903 0 -1 4202560 11676 0 0 0 30 1 0 0 16 0 22 0 831141262 10811293696 921107 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 5 0 0 0
[pid=10951/tid=10958] ppid=10949 vsize=10557904 CPUtime=0.28 cores=1,3,5,7
/proc/10951/task/10958/stat : 10958 (java) S 10949 10951 10903 0 -1 4202560 9543 0 0 0 27 1 0 0 15 0 22 0 831141262 10811293696 921107 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 1 0 0 0
[pid=10951/tid=10959] ppid=10949 vsize=10557904 CPUtime=0.22 cores=1,3,5,7
/proc/10951/task/10959/stat : 10959 (java) S 10949 10951 10903 0 -1 4202560 7581 0 0 0 21 1 0 0 15 0 22 0 831141262 10811293696 921107 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 7 0 0 0
[pid=10951/tid=10960] ppid=10949 vsize=10557904 CPUtime=0.22 cores=1,3,5,7
/proc/10951/task/10960/stat : 10960 (java) S 10949 10951 10903 0 -1 4202560 6942 0 0 0 22 0 0 0 16 0 22 0 831141262 10811293696 921107 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 7 0 0 0
[pid=10951/tid=10961] ppid=10949 vsize=10557904 CPUtime=0.26 cores=1,3,5,7
/proc/10951/task/10961/stat : 10961 (java) S 10949 10951 10903 0 -1 4202560 11664 0 0 0 25 1 0 0 15 0 22 0 831141262 10811293696 921107 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 7 0 0 0
[pid=10951/tid=10962] ppid=10949 vsize=10557904 CPUtime=0.26 cores=1,3,5,7
/proc/10951/task/10962/stat : 10962 (java) S 10949 10951 10903 0 -1 4202560 6806 0 0 0 26 0 0 0 15 0 22 0 831141262 10811293696 921107 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 7 0 0 0
[pid=10951/tid=10963] ppid=10949 vsize=10557904 CPUtime=0.35 cores=1,3,5,7
/proc/10951/task/10963/stat : 10963 (java) S 10949 10951 10903 0 -1 4202560 8637 0 0 0 35 0 0 0 16 0 22 0 831141262 10811293696 921107 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 5 0 0 0
[pid=10951/tid=10964] ppid=10949 vsize=10557904 CPUtime=0.27 cores=1,3,5,7
/proc/10951/task/10964/stat : 10964 (java) S 10949 10951 10903 0 -1 4202560 9016 0 0 0 26 1 0 0 16 0 22 0 831141262 10811293696 921107 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 1 0 0 0
[pid=10951/tid=10965] ppid=10949 vsize=10557904 CPUtime=5.45 cores=1,3,5,7
/proc/10951/task/10965/stat : 10965 (java) S 10949 10951 10903 0 -1 4202560 46665 0 0 0 539 6 0 0 15 0 22 0 831141263 10811293696 921107 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366720 0 0 0 16800975 18446604470056775808 0 0 -1 3 0 0 0
[pid=10951/tid=10971] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10971/stat : 10971 (java) S 10949 10951 10903 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831141263 10811293696 921107 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 3 0 0 0
[pid=10951/tid=10972] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10972/stat : 10972 (java) S 10949 10951 10903 0 -1 4202560 24 0 0 0 0 0 0 0 15 0 22 0 831141263 10811293696 921107 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 7 0 0 0
[pid=10951/tid=10973] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10973/stat : 10973 (java) S 10949 10951 10903 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831141265 10811293696 921107 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982373809 0 4 0 16800975 18446604470056775808 0 0 -1 3 0 0 0
[pid=10951/tid=10974] ppid=10949 vsize=10557904 CPUtime=1.41 cores=1,3,5,7
/proc/10951/task/10974/stat : 10974 (java) S 10949 10951 10903 0 -1 4202560 5055 0 0 0 141 0 0 0 15 0 22 0 831141265 10811293696 921107 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 5 0 0 0
[pid=10951/tid=10975] ppid=10949 vsize=10557904 CPUtime=1.23 cores=1,3,5,7
/proc/10951/task/10975/stat : 10975 (java) S 10949 10951 10903 0 -1 4202560 9626 0 0 0 122 1 0 0 16 0 22 0 831141266 10811293696 921107 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 1 0 0 0
[pid=10951/tid=10976] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10976/stat : 10976 (java) S 10949 10951 10903 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 831141266 10811293696 921107 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 3 0 0 0
[pid=10951/tid=10977] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10977/stat : 10977 (java) S 10949 10951 10903 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 831141266 10811293696 921107 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366720 0 4 0 16800975 18446604470056775808 0 0 -1 5 0 0 0
[pid=10951/tid=10988] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10988/stat : 10988 (java) S 10949 10951 10903 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 831141374 10811293696 921107 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366720 0 4 0 16800975 18446604470056775808 0 0 -1 1 0 0 0
[pid=10951/tid=11064] ppid=10949 vsize=10557904 CPUtime=834.93 cores=1,3,5,7
/proc/10951/task/11064/stat : 11064 (java) R 10949 10951 10903 0 -1 4202560 663 0 0 0 83493 0 0 0 25 0 22 0 831145423 10811293696 921107 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 46912506132121 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=10951/tid=11065] ppid=10949 vsize=10557904 CPUtime=834.87 cores=1,3,5,7
/proc/10951/task/11065/stat : 11065 (java) R 10949 10951 10903 0 -1 4202560 148912 0 0 0 83471 16 0 0 25 0 22 0 831145423 10811293696 921107 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 46912506078917 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10951/tid=11066] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/11066/stat : 11066 (java) S 10949 10951 10903 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831145423 10811293696 921107 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366720 0 4 0 16800975 18446604470056775808 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1753.54
Current children cumulated vsize (KiB) 10557904
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+905.601 s]
/proc/loadavg: 3.70 3.76 3.72 4/573 11102
/proc/meminfo: memFree=10179080/32951132 swapFree=46579808/67111528
[pid=10951] ppid=10949 vsize=10557904 CPUtime=1800.16 cores=1,3,5,7
/proc/10951/stat : 10951 (java) S 10949 10951 10903 0 -1 4202496 930783 0 1 0 179907 109 0 0 18 0 22 0 831141260 10811293696 921107 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10951/statm: 2639476 921107 2271 9 0 2630210 0
[pid=10951/tid=10952] ppid=10949 vsize=10557904 CPUtime=1.22 cores=1,3,5,7
/proc/10951/task/10952/stat : 10952 (java) S 10949 10951 10903 0 -1 4202560 108232 0 1 0 109 13 0 0 15 0 22 0 831141260 10811293696 921107 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366720 0 4 0 16800975 18446604470056775808 0 0 -1 1 0 0 0
[pid=10951/tid=10957] ppid=10949 vsize=10557904 CPUtime=0.31 cores=1,3,5,7
/proc/10951/task/10957/stat : 10957 (java) S 10949 10951 10903 0 -1 4202560 11676 0 0 0 30 1 0 0 16 0 22 0 831141262 10811293696 921107 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 5 0 0 0
[pid=10951/tid=10958] ppid=10949 vsize=10557904 CPUtime=0.28 cores=1,3,5,7
/proc/10951/task/10958/stat : 10958 (java) S 10949 10951 10903 0 -1 4202560 9543 0 0 0 27 1 0 0 15 0 22 0 831141262 10811293696 921107 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 1 0 0 0
[pid=10951/tid=10959] ppid=10949 vsize=10557904 CPUtime=0.22 cores=1,3,5,7
/proc/10951/task/10959/stat : 10959 (java) S 10949 10951 10903 0 -1 4202560 7581 0 0 0 21 1 0 0 15 0 22 0 831141262 10811293696 921107 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 7 0 0 0
[pid=10951/tid=10960] ppid=10949 vsize=10557904 CPUtime=0.22 cores=1,3,5,7
/proc/10951/task/10960/stat : 10960 (java) S 10949 10951 10903 0 -1 4202560 6942 0 0 0 22 0 0 0 16 0 22 0 831141262 10811293696 921107 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 7 0 0 0
[pid=10951/tid=10961] ppid=10949 vsize=10557904 CPUtime=0.26 cores=1,3,5,7
/proc/10951/task/10961/stat : 10961 (java) S 10949 10951 10903 0 -1 4202560 11664 0 0 0 25 1 0 0 15 0 22 0 831141262 10811293696 921107 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 7 0 0 0
[pid=10951/tid=10962] ppid=10949 vsize=10557904 CPUtime=0.26 cores=1,3,5,7
/proc/10951/task/10962/stat : 10962 (java) S 10949 10951 10903 0 -1 4202560 6806 0 0 0 26 0 0 0 15 0 22 0 831141262 10811293696 921107 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 7 0 0 0
[pid=10951/tid=10963] ppid=10949 vsize=10557904 CPUtime=0.35 cores=1,3,5,7
/proc/10951/task/10963/stat : 10963 (java) S 10949 10951 10903 0 -1 4202560 8637 0 0 0 35 0 0 0 16 0 22 0 831141262 10811293696 921107 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 5 0 0 0
[pid=10951/tid=10964] ppid=10949 vsize=10557904 CPUtime=0.27 cores=1,3,5,7
/proc/10951/task/10964/stat : 10964 (java) S 10949 10951 10903 0 -1 4202560 9016 0 0 0 26 1 0 0 16 0 22 0 831141262 10811293696 921107 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 1 0 0 0
[pid=10951/tid=10965] ppid=10949 vsize=10557904 CPUtime=5.45 cores=1,3,5,7
/proc/10951/task/10965/stat : 10965 (java) S 10949 10951 10903 0 -1 4202560 46665 0 0 0 539 6 0 0 15 0 22 0 831141263 10811293696 921107 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366720 0 0 0 16800975 18446604470056775808 0 0 -1 3 0 0 0
[pid=10951/tid=10971] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10971/stat : 10971 (java) S 10949 10951 10903 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831141263 10811293696 921107 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 3 0 0 0
[pid=10951/tid=10972] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10972/stat : 10972 (java) S 10949 10951 10903 0 -1 4202560 24 0 0 0 0 0 0 0 15 0 22 0 831141263 10811293696 921107 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 7 0 0 0
[pid=10951/tid=10973] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10973/stat : 10973 (java) S 10949 10951 10903 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831141265 10811293696 921107 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982373809 0 4 0 16800975 18446604470056775808 0 0 -1 3 0 0 0
[pid=10951/tid=10974] ppid=10949 vsize=10557904 CPUtime=1.41 cores=1,3,5,7
/proc/10951/task/10974/stat : 10974 (java) S 10949 10951 10903 0 -1 4202560 5055 0 0 0 141 0 0 0 15 0 22 0 831141265 10811293696 921107 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 5 0 0 0
[pid=10951/tid=10975] ppid=10949 vsize=10557904 CPUtime=1.23 cores=1,3,5,7
/proc/10951/task/10975/stat : 10975 (java) S 10949 10951 10903 0 -1 4202560 9626 0 0 0 122 1 0 0 16 0 22 0 831141266 10811293696 921107 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 1 0 0 0
[pid=10951/tid=10976] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10976/stat : 10976 (java) S 10949 10951 10903 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 831141266 10811293696 921107 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366105 0 4 0 16800975 18446604470056775808 0 0 -1 3 0 0 0
[pid=10951/tid=10977] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10977/stat : 10977 (java) S 10949 10951 10903 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 831141266 10811293696 921107 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366720 0 4 0 16800975 18446604470056775808 0 0 -1 5 0 0 0
[pid=10951/tid=10988] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/10988/stat : 10988 (java) S 10949 10951 10903 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 831141374 10811293696 921107 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366720 0 4 0 16800975 18446604470056775808 0 0 -1 1 0 0 0
[pid=10951/tid=11064] ppid=10949 vsize=10557904 CPUtime=858.25 cores=1,3,5,7
/proc/10951/task/11064/stat : 11064 (java) R 10949 10951 10903 0 -1 4202560 663 0 0 0 85825 0 0 0 25 0 22 0 831145423 10811293696 921107 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 46912505867480 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=10951/tid=11065] ppid=10949 vsize=10557904 CPUtime=858.18 cores=1,3,5,7
/proc/10951/task/11065/stat : 11065 (java) R 10949 10951 10903 0 -1 4202560 148912 0 0 0 85802 16 0 0 25 0 22 0 831145423 10811293696 921107 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 46912506127730 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10951/tid=11066] ppid=10949 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/10951/task/11066/stat : 11066 (java) S 10949 10951 10903 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831145423 10811293696 921107 33554432000 1073741824 1073778376 140733901665824 18446744073709551615 242982366720 0 4 0 16800975 18446604470056775808 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 10557904
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+905.726 s]
/proc/loadavg: 3.70 3.76 3.72 4/573 11102
/proc/meminfo: memFree=10179080/32951132 swapFree=46579808/67111528
[pid=10951] ppid=10949 vsize=0 CPUtime=1800.3 cores=1,3,5,7
/proc/10951/stat : 10951 (java) Z 10949 10951 10903 0 -1 4203548 930814 0 1 0 179913 117 0 0 17 0 2 0 831141260 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10951/statm: 0 0 0 0 0 0 0
[pid=10951/tid=10988] ppid=10949 vsize=0 CPUtime=0.07 cores=1,3,5,7
/proc/10951/task/10988/stat : 10988 (java) R 10949 10951 10903 0 -1 4203588 7 0 0 0 0 7 0 0 18 0 2 0 831141374 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.3
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 905.791
CPU time (s): 1800.37
CPU user time (s): 1799.13
CPU system time (s): 1.23481
CPU usage (%): 198.762
Max. virtual memory (cumulated for all children) (KiB): 10557904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.13
system time used= 1.23481
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 930814
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= 22239
involuntary context switches= 27688
runsolver used 4.89626 second user time and 11.6212 second system time
The end