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-3454053-1307195545/watcher-3454053-1307195545 -o /tmp/evaluation-result-3454053-1307195545/solver-3454053-1307195545 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454053-1307195545.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: 4.21 3.95 3.82 3/407 10855
/proc/meminfo: memFree=22466820/32951124 swapFree=49244120/67111528
[pid=10855] ppid=10853 vsize=30540 CPUtime=0 cores=1,3,5,7
/proc/10855/stat : 10855 (java) S 10853 10855 10594 0 -1 4202496 1240 0 0 0 0 0 0 0 25 0 2 0 831157231 31272960 959 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382759909 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/10855/statm: 7635 959 732 9 0 386 0
[pid=10855/tid=10856] ppid=10853 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10856/stat : 10856 (java) R 10853 10855 10594 0 -1 4202560 4221 0 1 0 0 0 0 0 25 0 2 0 831157231 10694979584 5037 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218370651195 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.015183 s]
/proc/loadavg: 4.21 3.95 3.82 3/407 10855
/proc/meminfo: memFree=22466820/32951124 swapFree=49244120/67111528
[pid=10855] ppid=10853 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/10855/stat : 10855 (java) S 10853 10855 10594 0 -1 4202496 5888 0 1 0 0 0 0 0 25 0 2 0 831157231 10694979584 5589 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382759909 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/10855/statm: 2611079 5606 917 9 0 2602235 0
[pid=10855/tid=10856] ppid=10853 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10856/stat : 10856 (java) R 10853 10855 10594 0 -1 4202560 4801 0 1 0 0 0 0 0 25 0 2 0 831157231 10694979584 5618 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218370651195 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10444316
[startup+0.100206 s]
/proc/loadavg: 4.21 3.95 3.82 3/407 10855
/proc/meminfo: memFree=22466820/32951124 swapFree=49244120/67111528
[pid=10855] ppid=10853 vsize=10539056 CPUtime=0.1 cores=1,3,5,7
/proc/10855/stat : 10855 (java) S 10853 10855 10594 0 -1 4202496 13095 0 1 0 9 1 0 0 25 0 18 0 831157231 10791993344 12790 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10855/statm: 2634764 12790 2093 9 0 2625498 0
[pid=10855/tid=10856] ppid=10853 vsize=10539056 CPUtime=0.08 cores=1,3,5,7
/proc/10855/task/10856/stat : 10856 (java) R 10853 10855 10594 0 -1 4202560 11160 0 1 0 7 1 0 0 25 0 18 0 831157231 10791993344 12790 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 46912496197400 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) 10539056
[startup+0.300166 s]
/proc/loadavg: 4.21 3.95 3.82 3/407 10855
/proc/meminfo: memFree=22466820/32951124 swapFree=49244120/67111528
[pid=10855] ppid=10853 vsize=10541660 CPUtime=0.48 cores=1,3,5,7
/proc/10855/stat : 10855 (java) S 10853 10855 10594 0 -1 4202496 16502 0 1 0 46 2 0 0 25 0 18 0 831157231 10794659840 15865 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10855/statm: 2635415 15866 2212 9 0 2626149 0
[pid=10855/tid=10856] ppid=10853 vsize=10541660 CPUtime=0.29 cores=1,3,5,7
/proc/10855/task/10856/stat : 10856 (java) R 10853 10855 10594 0 -1 4202560 13042 0 1 0 27 2 0 0 25 0 18 0 831157231 10794659840 15866 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 46912505581517 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10541660
[startup+0.701094 s]
/proc/loadavg: 4.21 3.95 3.82 3/407 10855
/proc/meminfo: memFree=22466820/32951124 swapFree=49244120/67111528
[pid=10855] ppid=10853 vsize=10546692 CPUtime=1.6 cores=1,3,5,7
/proc/10855/stat : 10855 (java) S 10853 10855 10594 0 -1 4202496 40446 0 1 0 156 4 0 0 25 0 18 0 831157231 10799812608 37093 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10855/statm: 2636673 37112 2234 9 0 2627407 0
[pid=10855/tid=10856] ppid=10853 vsize=10546692 CPUtime=0.68 cores=1,3,5,7
/proc/10855/task/10856/stat : 10856 (java) R 10853 10855 10594 0 -1 4202560 30123 0 1 0 64 4 0 0 25 0 18 0 831157231 10799812608 37113 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 46912505365719 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) 10546692
[startup+1.50093 s]
/proc/loadavg: 4.21 3.95 3.82 7/429 10877
/proc/meminfo: memFree=22221568/32951124 swapFree=49244120/67111528
[pid=10855] ppid=10853 vsize=10550804 CPUtime=3.75 cores=1,3,5,7
/proc/10855/stat : 10855 (java) S 10853 10855 10594 0 -1 4202496 92121 0 1 0 364 11 0 0 25 0 22 0 831157231 10804023296 85781 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10855/statm: 2637701 85781 2247 9 0 2628435 0
[pid=10855/tid=10856] ppid=10853 vsize=10550804 CPUtime=0.81 cores=1,3,5,7
/proc/10855/task/10856/stat : 10856 (java) S 10853 10855 10594 0 -1 4202560 53729 0 1 0 74 7 0 0 22 0 22 0 831157231 10804023296 85781 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773760 0 4 0 16800975 18446604462208260864 0 0 -1 7 0 0 0
[pid=10855/tid=10858] ppid=10853 vsize=10550804 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10858/stat : 10858 (java) S 10853 10855 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831157233 10804023296 85781 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 7 0 0 0
[pid=10855/tid=10859] ppid=10853 vsize=10550804 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10859/stat : 10859 (java) S 10853 10855 10594 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 831157233 10804023296 85781 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 7 0 0 0
[pid=10855/tid=10860] ppid=10853 vsize=10550804 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10860/stat : 10860 (java) S 10853 10855 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831157233 10804023296 85781 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 7 0 0 0
[pid=10855/tid=10861] ppid=10853 vsize=10550804 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10861/stat : 10861 (java) S 10853 10855 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831157233 10804023296 85781 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 7 0 0 0
[pid=10855/tid=10862] ppid=10853 vsize=10550804 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10862/stat : 10862 (java) S 10853 10855 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831157233 10804023296 85781 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 7 0 0 0
[pid=10855/tid=10863] ppid=10853 vsize=10550804 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10863/stat : 10863 (java) S 10853 10855 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831157233 10804023296 85781 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 7 0 0 0
[pid=10855/tid=10864] ppid=10853 vsize=10550804 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10864/stat : 10864 (java) S 10853 10855 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831157233 10804023296 85781 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 7 0 0 0
[pid=10855/tid=10865] ppid=10853 vsize=10550804 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10865/stat : 10865 (java) S 10853 10855 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831157233 10804023296 85781 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 7 0 0 0
[pid=10855/tid=10866] ppid=10853 vsize=10550804 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10866/stat : 10866 (java) S 10853 10855 10594 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 831157234 10804023296 85781 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773760 0 0 0 16800975 18446604462208260864 0 0 -1 5 0 0 0
[pid=10855/tid=10867] ppid=10853 vsize=10550804 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10867/stat : 10867 (java) S 10853 10855 10594 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 831157234 10804023296 85781 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 5 0 0 0
[pid=10855/tid=10868] ppid=10853 vsize=10550804 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10868/stat : 10868 (java) S 10853 10855 10594 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831157234 10804023296 85781 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 5 0 0 0
[pid=10855/tid=10869] ppid=10853 vsize=10550804 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10869/stat : 10869 (java) S 10853 10855 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831157237 10804023296 85781 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382780849 0 4 0 16800975 18446604462208260864 0 0 -1 5 0 0 0
[pid=10855/tid=10870] ppid=10853 vsize=10550804 CPUtime=0.88 cores=1,3,5,7
/proc/10855/task/10870/stat : 10870 (java) S 10853 10855 10594 0 -1 4202560 7276 0 0 0 88 0 0 0 24 0 22 0 831157237 10804023296 85781 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 3 0 0 0
[pid=10855/tid=10871] ppid=10853 vsize=10550804 CPUtime=0.8 cores=1,3,5,7
/proc/10855/task/10871/stat : 10871 (java) S 10853 10855 10594 0 -1 4202560 5011 0 0 0 80 0 0 0 15 0 22 0 831157237 10804023296 85781 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 3 0 0 0
[pid=10855/tid=10872] ppid=10853 vsize=10550804 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10872/stat : 10872 (java) S 10853 10855 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831157237 10804023296 85781 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 1 0 0 0
[pid=10855/tid=10873] ppid=10853 vsize=10550804 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10873/stat : 10873 (java) S 10853 10855 10594 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831157237 10804023296 85781 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773760 0 4 0 16800975 18446604462208260864 0 0 -1 5 0 0 0
[pid=10855/tid=10876] ppid=10853 vsize=10550804 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10876/stat : 10876 (java) S 10853 10855 10594 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831157314 10804023296 85782 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773760 0 4 0 16800975 18446604462208260864 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.75
Current children cumulated vsize (KiB) 10550804
[startup+3.10068 s]
/proc/loadavg: 4.21 3.95 3.82 3/426 10883
/proc/meminfo: memFree=22029440/32951124 swapFree=49244120/67111528
[pid=10855] ppid=10853 vsize=10550804 CPUtime=5.33 cores=1,3,5,7
/proc/10855/stat : 10855 (java) S 10853 10855 10594 0 -1 4202496 133876 0 1 0 517 16 0 0 25 0 19 0 831157231 10804023296 127535 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10855/statm: 2637701 127535 2247 9 0 2628435 0
[pid=10855/tid=10856] ppid=10853 vsize=10550804 CPUtime=0.82 cores=1,3,5,7
/proc/10855/task/10856/stat : 10856 (java) S 10853 10855 10594 0 -1 4202560 53941 0 1 0 75 7 0 0 16 0 19 0 831157231 10804023296 127535 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773760 0 4 0 16800975 18446604462208260864 0 0 -1 3 0 0 0
[pid=10855/tid=10858] ppid=10853 vsize=10550804 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10858/stat : 10858 (java) S 10853 10855 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831157233 10804023296 127535 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 7 0 0 0
[pid=10855/tid=10859] ppid=10853 vsize=10550804 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10859/stat : 10859 (java) S 10853 10855 10594 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831157233 10804023296 127535 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 7 0 0 0
[pid=10855/tid=10860] ppid=10853 vsize=10550804 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10860/stat : 10860 (java) S 10853 10855 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831157233 10804023296 127535 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 7 0 0 0
[pid=10855/tid=10861] ppid=10853 vsize=10550804 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10861/stat : 10861 (java) S 10853 10855 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831157233 10804023296 127535 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 7 0 0 0
[pid=10855/tid=10862] ppid=10853 vsize=10550804 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10862/stat : 10862 (java) S 10853 10855 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831157233 10804023296 127535 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 7 0 0 0
[pid=10855/tid=10863] ppid=10853 vsize=10550804 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10863/stat : 10863 (java) S 10853 10855 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831157233 10804023296 127535 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 7 0 0 0
[pid=10855/tid=10864] ppid=10853 vsize=10550804 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10864/stat : 10864 (java) S 10853 10855 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831157233 10804023296 127535 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 7 0 0 0
[pid=10855/tid=10865] ppid=10853 vsize=10550804 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10865/stat : 10865 (java) S 10853 10855 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831157233 10804023296 127535 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 7 0 0 0
[pid=10855/tid=10866] ppid=10853 vsize=10550804 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10866/stat : 10866 (java) S 10853 10855 10594 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 831157234 10804023296 127535 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773760 0 0 0 16800975 18446604462208260864 0 0 -1 5 0 0 0
[pid=10855/tid=10867] ppid=10853 vsize=10550804 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10867/stat : 10867 (java) S 10853 10855 10594 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831157234 10804023296 127535 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 5 0 0 0
[pid=10855/tid=10868] ppid=10853 vsize=10550804 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10868/stat : 10868 (java) S 10853 10855 10594 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831157234 10804023296 127535 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 5 0 0 0
[pid=10855/tid=10869] ppid=10853 vsize=10550804 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10869/stat : 10869 (java) S 10853 10855 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831157237 10804023296 127535 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382780849 0 4 0 16800975 18446604462208260864 0 0 -1 5 0 0 0
[pid=10855/tid=10870] ppid=10853 vsize=10550804 CPUtime=0.97 cores=1,3,5,7
/proc/10855/task/10870/stat : 10870 (java) S 10853 10855 10594 0 -1 4202560 7285 0 0 0 97 0 0 0 15 0 19 0 831157237 10804023296 127535 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 5 0 0 0
[pid=10855/tid=10871] ppid=10853 vsize=10550804 CPUtime=0.86 cores=1,3,5,7
/proc/10855/task/10871/stat : 10871 (java) S 10853 10855 10594 0 -1 4202560 5021 0 0 0 86 0 0 0 15 0 19 0 831157237 10804023296 127535 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 3 0 0 0
[pid=10855/tid=10872] ppid=10853 vsize=10550804 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10872/stat : 10872 (java) S 10853 10855 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831157237 10804023296 127535 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 1 0 0 0
[pid=10855/tid=10873] ppid=10853 vsize=10550804 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10873/stat : 10873 (java) S 10853 10855 10594 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831157237 10804023296 127535 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773760 0 4 0 16800975 18446604462208260864 0 0 -1 1 0 0 0
[pid=10855/tid=10876] ppid=10853 vsize=10550804 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10876/stat : 10876 (java) S 10853 10855 10594 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831157314 10804023296 127535 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773760 0 4 0 16800975 18446604462208260864 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.33
Current children cumulated vsize (KiB) 10550804
[startup+6.30111 s]
/proc/loadavg: 4.19 3.95 3.82 5/429 10904
/proc/meminfo: memFree=21656660/32951124 swapFree=49244120/67111528
[pid=10855] ppid=10853 vsize=10550804 CPUtime=9 cores=1,3,5,7
/proc/10855/stat : 10855 (java) S 10853 10855 10594 0 -1 4202496 238611 0 1 0 870 30 0 0 25 0 19 0 831157231 10804023296 231585 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10855/statm: 2637701 231585 2249 9 0 2628435 0
[pid=10855/tid=10856] ppid=10853 vsize=10550804 CPUtime=0.84 cores=1,3,5,7
/proc/10855/task/10856/stat : 10856 (java) S 10853 10855 10594 0 -1 4202560 54365 0 1 0 77 7 0 0 16 0 19 0 831157231 10804023296 231585 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773760 0 4 0 16800975 18446604462208260864 0 0 -1 5 0 0 0
[pid=10855/tid=10858] ppid=10853 vsize=10550804 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10858/stat : 10858 (java) S 10853 10855 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831157233 10804023296 231585 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 7 0 0 0
[pid=10855/tid=10859] ppid=10853 vsize=10550804 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10859/stat : 10859 (java) S 10853 10855 10594 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831157233 10804023296 231585 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 7 0 0 0
[pid=10855/tid=10860] ppid=10853 vsize=10550804 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10860/stat : 10860 (java) S 10853 10855 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831157233 10804023296 231585 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 7 0 0 0
[pid=10855/tid=10861] ppid=10853 vsize=10550804 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10861/stat : 10861 (java) S 10853 10855 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831157233 10804023296 231585 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 7 0 0 0
[pid=10855/tid=10862] ppid=10853 vsize=10550804 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10862/stat : 10862 (java) S 10853 10855 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831157233 10804023296 231585 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 7 0 0 0
[pid=10855/tid=10863] ppid=10853 vsize=10550804 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10863/stat : 10863 (java) S 10853 10855 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831157233 10804023296 231585 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 7 0 0 0
[pid=10855/tid=10864] ppid=10853 vsize=10550804 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10864/stat : 10864 (java) S 10853 10855 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831157233 10804023296 231585 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 7 0 0 0
[pid=10855/tid=10865] ppid=10853 vsize=10550804 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10865/stat : 10865 (java) S 10853 10855 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831157233 10804023296 231585 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 7 0 0 0
[pid=10855/tid=10866] ppid=10853 vsize=10550804 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10866/stat : 10866 (java) S 10853 10855 10594 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 831157234 10804023296 231585 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773760 0 0 0 16800975 18446604462208260864 0 0 -1 7 0 0 0
[pid=10855/tid=10867] ppid=10853 vsize=10550804 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10867/stat : 10867 (java) S 10853 10855 10594 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831157234 10804023296 231585 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 5 0 0 0
[pid=10855/tid=10868] ppid=10853 vsize=10550804 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10868/stat : 10868 (java) S 10853 10855 10594 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831157234 10804023296 231585 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 5 0 0 0
[pid=10855/tid=10869] ppid=10853 vsize=10550804 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10869/stat : 10869 (java) S 10853 10855 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831157237 10804023296 231585 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382780849 0 4 0 16800975 18446604462208260864 0 0 -1 5 0 0 0
[pid=10855/tid=10870] ppid=10853 vsize=10550804 CPUtime=1.08 cores=1,3,5,7
/proc/10855/task/10870/stat : 10870 (java) S 10853 10855 10594 0 -1 4202560 7950 0 0 0 108 0 0 0 15 0 19 0 831157237 10804023296 231585 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 5 0 0 0
[pid=10855/tid=10871] ppid=10853 vsize=10550804 CPUtime=0.91 cores=1,3,5,7
/proc/10855/task/10871/stat : 10871 (java) S 10853 10855 10594 0 -1 4202560 5027 0 0 0 91 0 0 0 16 0 19 0 831157237 10804023296 231585 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=19460316/32951124 swapFree=49244120/67111528
[pid=10855] ppid=10853 vsize=10550740 CPUtime=1633.35 cores=1,3,5,7
/proc/10855/stat : 10855 (java) S 10853 10855 10594 0 -1 4202496 707671 0 1 0 163249 86 0 0 25 0 22 0 831157231 10803957760 699930 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10855/statm: 2637685 699930 2273 9 0 2628419 0
[pid=10855/tid=10856] ppid=10853 vsize=10550740 CPUtime=0.89 cores=1,3,5,7
/proc/10855/task/10856/stat : 10856 (java) S 10853 10855 10594 0 -1 4202560 54800 0 1 0 82 7 0 0 15 0 22 0 831157231 10803957760 699930 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773760 0 4 0 16800975 18446604462208260864 0 0 -1 1 0 0 0
[pid=10855/tid=10858] ppid=10853 vsize=10550740 CPUtime=0.15 cores=1,3,5,7
/proc/10855/task/10858/stat : 10858 (java) S 10853 10855 10594 0 -1 4202560 1491 0 0 0 15 0 0 0 15 0 22 0 831157233 10803957760 699930 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 3 0 0 0
[pid=10855/tid=10859] ppid=10853 vsize=10550740 CPUtime=0.16 cores=1,3,5,7
/proc/10855/task/10859/stat : 10859 (java) S 10853 10855 10594 0 -1 4202560 2452 0 0 0 16 0 0 0 15 0 22 0 831157233 10803957760 699930 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 1 0 0 0
[pid=10855/tid=10860] ppid=10853 vsize=10550740 CPUtime=0.16 cores=1,3,5,7
/proc/10855/task/10860/stat : 10860 (java) S 10853 10855 10594 0 -1 4202560 447 0 0 0 16 0 0 0 16 0 22 0 831157233 10803957760 699930 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 3 0 0 0
[pid=10855/tid=10861] ppid=10853 vsize=10550740 CPUtime=0.12 cores=1,3,5,7
/proc/10855/task/10861/stat : 10861 (java) S 10853 10855 10594 0 -1 4202560 481 0 0 0 12 0 0 0 15 0 22 0 831157233 10803957760 699930 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 3 0 0 0
[pid=10855/tid=10862] ppid=10853 vsize=10550740 CPUtime=0.17 cores=1,3,5,7
/proc/10855/task/10862/stat : 10862 (java) S 10853 10855 10594 0 -1 4202560 4564 0 0 0 17 0 0 0 15 0 22 0 831157233 10803957760 699930 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 1 0 0 0
[pid=10855/tid=10863] ppid=10853 vsize=10550740 CPUtime=0.13 cores=1,3,5,7
/proc/10855/task/10863/stat : 10863 (java) S 10853 10855 10594 0 -1 4202560 2010 0 0 0 13 0 0 0 16 0 22 0 831157233 10803957760 699930 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 7 0 0 0
[pid=10855/tid=10864] ppid=10853 vsize=10550740 CPUtime=0.14 cores=1,3,5,7
/proc/10855/task/10864/stat : 10864 (java) S 10853 10855 10594 0 -1 4202560 4828 0 0 0 14 0 0 0 16 0 22 0 831157233 10803957760 699930 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 1 0 0 0
[pid=10855/tid=10865] ppid=10853 vsize=10550740 CPUtime=0.18 cores=1,3,5,7
/proc/10855/task/10865/stat : 10865 (java) S 10853 10855 10594 0 -1 4202560 1703 0 0 0 18 0 0 0 15 0 22 0 831157233 10803957760 699930 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 1 0 0 0
[pid=10855/tid=10866] ppid=10853 vsize=10550740 CPUtime=5.29 cores=1,3,5,7
/proc/10855/task/10866/stat : 10866 (java) S 10853 10855 10594 0 -1 4202560 23705 0 0 0 527 2 0 0 15 0 22 0 831157234 10803957760 699930 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773760 0 0 0 16800975 18446604462208260864 0 0 -1 5 0 0 0
[pid=10855/tid=10867] ppid=10853 vsize=10550740 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10867/stat : 10867 (java) S 10853 10855 10594 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 831157234 10803957760 699930 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 5 0 0 0
[pid=10855/tid=10868] ppid=10853 vsize=10550740 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10868/stat : 10868 (java) S 10853 10855 10594 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 22 0 831157234 10803957760 699930 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 5 0 0 0
[pid=10855/tid=10869] ppid=10853 vsize=10550740 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10869/stat : 10869 (java) S 10853 10855 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831157237 10803957760 699930 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382780849 0 4 0 16800975 18446604462208260864 0 0 -1 5 0 0 0
[pid=10855/tid=10870] ppid=10853 vsize=10550740 CPUtime=1.44 cores=1,3,5,7
/proc/10855/task/10870/stat : 10870 (java) S 10853 10855 10594 0 -1 4202560 8483 0 0 0 144 0 0 0 15 0 22 0 831157237 10803957760 699930 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 1 0 0 0
[pid=10855/tid=10871] ppid=10853 vsize=10550740 CPUtime=1.02 cores=1,3,5,7
/proc/10855/task/10871/stat : 10871 (java) S 10853 10855 10594 0 -1 4202560 5054 0 0 0 102 0 0 0 15 0 22 0 831157237 10803957760 699930 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 3 0 0 0
[pid=10855/tid=10872] ppid=10853 vsize=10550740 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10872/stat : 10872 (java) S 10853 10855 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831157237 10803957760 699930 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 1 0 0 0
[pid=10855/tid=10873] ppid=10853 vsize=10550740 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10873/stat : 10873 (java) S 10853 10855 10594 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 22 0 831157237 10803957760 699930 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773760 0 4 0 16800975 18446604462208260864 0 0 -1 3 0 0 0
[pid=10855/tid=10938] ppid=10853 vsize=10550740 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10938/stat : 10938 (java) S 10853 10855 10594 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831162270 10803957760 699930 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773760 0 4 0 16800975 18446604462208260864 0 0 -1 3 0 0 0
[pid=10855/tid=10954] ppid=10853 vsize=10550740 CPUtime=325.53 cores=1,3,5,7
/proc/10855/task/10954/stat : 10954 (java) R 10853 10855 10594 0 -1 4202560 4 0 0 0 32553 0 0 0 25 0 22 0 831206676 10803957760 699930 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 46912505366576 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10855/tid=10955] ppid=10853 vsize=10550740 CPUtime=325.53 cores=1,3,5,7
/proc/10855/task/10955/stat : 10955 (java) R 10853 10855 10594 0 -1 4202560 9 0 0 0 32553 0 0 0 25 0 22 0 831206676 10803957760 699930 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 46912506132898 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10855/tid=10956] ppid=10853 vsize=10550740 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10956/stat : 10956 (java) S 10853 10855 10594 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 831206676 10803957760 699930 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773760 0 4 0 16800975 18446604462208260864 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1633.35
Current children cumulated vsize (KiB) 10550740
[startup+882.302 s]
/proc/loadavg: 3.78 3.78 3.79 4/429 10979
/proc/meminfo: memFree=19452700/32951124 swapFree=49244120/67111528
[pid=10855] ppid=10853 vsize=10550740 CPUtime=1753.19 cores=1,3,5,7
/proc/10855/stat : 10855 (java) S 10853 10855 10594 0 -1 4202496 708601 0 1 0 175233 86 0 0 25 0 22 0 831157231 10803957760 700851 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10855/statm: 2637685 700851 2273 9 0 2628419 0
[pid=10855/tid=10856] ppid=10853 vsize=10550740 CPUtime=0.89 cores=1,3,5,7
/proc/10855/task/10856/stat : 10856 (java) S 10853 10855 10594 0 -1 4202560 54800 0 1 0 82 7 0 0 15 0 22 0 831157231 10803957760 700851 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773760 0 4 0 16800975 18446604462208260864 0 0 -1 1 0 0 0
[pid=10855/tid=10858] ppid=10853 vsize=10550740 CPUtime=0.15 cores=1,3,5,7
/proc/10855/task/10858/stat : 10858 (java) S 10853 10855 10594 0 -1 4202560 1491 0 0 0 15 0 0 0 15 0 22 0 831157233 10803957760 700851 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 3 0 0 0
[pid=10855/tid=10859] ppid=10853 vsize=10550740 CPUtime=0.16 cores=1,3,5,7
/proc/10855/task/10859/stat : 10859 (java) S 10853 10855 10594 0 -1 4202560 2452 0 0 0 16 0 0 0 15 0 22 0 831157233 10803957760 700851 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 1 0 0 0
[pid=10855/tid=10860] ppid=10853 vsize=10550740 CPUtime=0.17 cores=1,3,5,7
/proc/10855/task/10860/stat : 10860 (java) S 10853 10855 10594 0 -1 4202560 572 0 0 0 17 0 0 0 16 0 22 0 831157233 10803957760 700851 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 7 0 0 0
[pid=10855/tid=10861] ppid=10853 vsize=10550740 CPUtime=0.12 cores=1,3,5,7
/proc/10855/task/10861/stat : 10861 (java) S 10853 10855 10594 0 -1 4202560 481 0 0 0 12 0 0 0 15 0 22 0 831157233 10803957760 700851 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 3 0 0 0
[pid=10855/tid=10862] ppid=10853 vsize=10550740 CPUtime=0.18 cores=1,3,5,7
/proc/10855/task/10862/stat : 10862 (java) S 10853 10855 10594 0 -1 4202560 4692 0 0 0 18 0 0 0 16 0 22 0 831157233 10803957760 700851 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 3 0 0 0
[pid=10855/tid=10863] ppid=10853 vsize=10550740 CPUtime=0.13 cores=1,3,5,7
/proc/10855/task/10863/stat : 10863 (java) S 10853 10855 10594 0 -1 4202560 2010 0 0 0 13 0 0 0 15 0 22 0 831157233 10803957760 700851 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 7 0 0 0
[pid=10855/tid=10864] ppid=10853 vsize=10550740 CPUtime=0.14 cores=1,3,5,7
/proc/10855/task/10864/stat : 10864 (java) S 10853 10855 10594 0 -1 4202560 4828 0 0 0 14 0 0 0 15 0 22 0 831157233 10803957760 700851 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 1 0 0 0
[pid=10855/tid=10865] ppid=10853 vsize=10550740 CPUtime=0.19 cores=1,3,5,7
/proc/10855/task/10865/stat : 10865 (java) S 10853 10855 10594 0 -1 4202560 1763 0 0 0 19 0 0 0 16 0 22 0 831157233 10803957760 700851 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 1 0 0 0
[pid=10855/tid=10866] ppid=10853 vsize=10550740 CPUtime=5.46 cores=1,3,5,7
/proc/10855/task/10866/stat : 10866 (java) S 10853 10855 10594 0 -1 4202560 24315 0 0 0 543 3 0 0 15 0 22 0 831157234 10803957760 700851 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773760 0 0 0 16800975 18446604462208260864 0 0 -1 5 0 0 0
[pid=10855/tid=10867] ppid=10853 vsize=10550740 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10867/stat : 10867 (java) S 10853 10855 10594 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 831157234 10803957760 700851 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 5 0 0 0
[pid=10855/tid=10868] ppid=10853 vsize=10550740 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10868/stat : 10868 (java) S 10853 10855 10594 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 22 0 831157234 10803957760 700851 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 5 0 0 0
[pid=10855/tid=10869] ppid=10853 vsize=10550740 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10869/stat : 10869 (java) S 10853 10855 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831157237 10803957760 700851 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382780849 0 4 0 16800975 18446604462208260864 0 0 -1 5 0 0 0
[pid=10855/tid=10870] ppid=10853 vsize=10550740 CPUtime=1.45 cores=1,3,5,7
/proc/10855/task/10870/stat : 10870 (java) S 10853 10855 10594 0 -1 4202560 8485 0 0 0 145 0 0 0 15 0 22 0 831157237 10803957760 700851 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 1 0 0 0
[pid=10855/tid=10871] ppid=10853 vsize=10550740 CPUtime=1.02 cores=1,3,5,7
/proc/10855/task/10871/stat : 10871 (java) S 10853 10855 10594 0 -1 4202560 5054 0 0 0 102 0 0 0 15 0 22 0 831157237 10803957760 700851 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 3 0 0 0
[pid=10855/tid=10872] ppid=10853 vsize=10550740 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10872/stat : 10872 (java) S 10853 10855 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831157237 10803957760 700851 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 1 0 0 0
[pid=10855/tid=10873] ppid=10853 vsize=10550740 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10873/stat : 10873 (java) S 10853 10855 10594 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 831157237 10803957760 700851 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773760 0 4 0 16800975 18446604462208260864 0 0 -1 3 0 0 0
[pid=10855/tid=10938] ppid=10853 vsize=10550740 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10938/stat : 10938 (java) S 10853 10855 10594 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831162270 10803957760 700851 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773760 0 4 0 16800975 18446604462208260864 0 0 -1 3 0 0 0
[pid=10855/tid=10954] ppid=10853 vsize=10550740 CPUtime=385.36 cores=1,3,5,7
/proc/10855/task/10954/stat : 10954 (java) R 10853 10855 10594 0 -1 4202560 4 0 0 0 38536 0 0 0 25 0 22 0 831206676 10803957760 700851 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 46912505983103 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10855/tid=10955] ppid=10853 vsize=10550740 CPUtime=385.36 cores=1,3,5,7
/proc/10855/task/10955/stat : 10955 (java) R 10853 10855 10594 0 -1 4202560 10 0 0 0 38536 0 0 0 25 0 22 0 831206676 10803957760 700851 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 46912506076216 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10855/tid=10956] ppid=10853 vsize=10550740 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10956/stat : 10956 (java) S 10853 10855 10594 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 831206676 10803957760 700851 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773760 0 4 0 16800975 18446604462208260864 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1753.19
Current children cumulated vsize (KiB) 10550740
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+905.701 s]
/proc/loadavg: 3.72 3.76 3.79 5/429 10979
/proc/meminfo: memFree=18730752/32951124 swapFree=49244120/67111528
[pid=10855] ppid=10853 vsize=10550740 CPUtime=1800.01 cores=1,3,5,7
/proc/10855/stat : 10855 (java) S 10853 10855 10594 0 -1 4202496 888166 0 1 0 179894 107 0 0 25 0 22 0 831157231 10803957760 880414 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10855/statm: 2637685 880414 2273 9 0 2628419 0
[pid=10855/tid=10856] ppid=10853 vsize=10550740 CPUtime=0.89 cores=1,3,5,7
/proc/10855/task/10856/stat : 10856 (java) S 10853 10855 10594 0 -1 4202560 54800 0 1 0 82 7 0 0 15 0 22 0 831157231 10803957760 880490 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773760 0 4 0 16800975 18446604462208260864 0 0 -1 1 0 0 0
[pid=10855/tid=10858] ppid=10853 vsize=10550740 CPUtime=0.15 cores=1,3,5,7
/proc/10855/task/10858/stat : 10858 (java) S 10853 10855 10594 0 -1 4202560 1491 0 0 0 15 0 0 0 15 0 22 0 831157233 10803957760 880490 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 3 0 0 0
[pid=10855/tid=10859] ppid=10853 vsize=10550740 CPUtime=0.16 cores=1,3,5,7
/proc/10855/task/10859/stat : 10859 (java) S 10853 10855 10594 0 -1 4202560 2452 0 0 0 16 0 0 0 15 0 22 0 831157233 10803957760 880491 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 1 0 0 0
[pid=10855/tid=10860] ppid=10853 vsize=10550740 CPUtime=0.17 cores=1,3,5,7
/proc/10855/task/10860/stat : 10860 (java) S 10853 10855 10594 0 -1 4202560 572 0 0 0 17 0 0 0 16 0 22 0 831157233 10803957760 880491 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 7 0 0 0
[pid=10855/tid=10861] ppid=10853 vsize=10550740 CPUtime=0.12 cores=1,3,5,7
/proc/10855/task/10861/stat : 10861 (java) S 10853 10855 10594 0 -1 4202560 481 0 0 0 12 0 0 0 15 0 22 0 831157233 10803957760 880491 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 3 0 0 0
[pid=10855/tid=10862] ppid=10853 vsize=10550740 CPUtime=0.18 cores=1,3,5,7
/proc/10855/task/10862/stat : 10862 (java) S 10853 10855 10594 0 -1 4202560 4692 0 0 0 18 0 0 0 16 0 22 0 831157233 10803957760 880491 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 3 0 0 0
[pid=10855/tid=10863] ppid=10853 vsize=10550740 CPUtime=0.13 cores=1,3,5,7
/proc/10855/task/10863/stat : 10863 (java) S 10853 10855 10594 0 -1 4202560 2010 0 0 0 13 0 0 0 15 0 22 0 831157233 10803957760 880491 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 7 0 0 0
[pid=10855/tid=10864] ppid=10853 vsize=10550740 CPUtime=0.14 cores=1,3,5,7
/proc/10855/task/10864/stat : 10864 (java) S 10853 10855 10594 0 -1 4202560 4828 0 0 0 14 0 0 0 15 0 22 0 831157233 10803957760 880492 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 1 0 0 0
[pid=10855/tid=10865] ppid=10853 vsize=10550740 CPUtime=0.19 cores=1,3,5,7
/proc/10855/task/10865/stat : 10865 (java) S 10853 10855 10594 0 -1 4202560 1763 0 0 0 19 0 0 0 16 0 22 0 831157233 10803957760 880492 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 1 0 0 0
[pid=10855/tid=10866] ppid=10853 vsize=10550740 CPUtime=5.46 cores=1,3,5,7
/proc/10855/task/10866/stat : 10866 (java) S 10853 10855 10594 0 -1 4202560 24315 0 0 0 543 3 0 0 15 0 22 0 831157234 10803957760 880492 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773760 0 0 0 16800975 18446604462208260864 0 0 -1 5 0 0 0
[pid=10855/tid=10867] ppid=10853 vsize=10550740 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10867/stat : 10867 (java) S 10853 10855 10594 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 831157234 10803957760 880492 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 5 0 0 0
[pid=10855/tid=10868] ppid=10853 vsize=10550740 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10868/stat : 10868 (java) S 10853 10855 10594 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 22 0 831157234 10803957760 880492 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 5 0 0 0
[pid=10855/tid=10869] ppid=10853 vsize=10550740 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10869/stat : 10869 (java) S 10853 10855 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831157237 10803957760 880493 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382780849 0 4 0 16800975 18446604462208260864 0 0 -1 5 0 0 0
[pid=10855/tid=10870] ppid=10853 vsize=10550740 CPUtime=1.45 cores=1,3,5,7
/proc/10855/task/10870/stat : 10870 (java) S 10853 10855 10594 0 -1 4202560 8485 0 0 0 145 0 0 0 15 0 22 0 831157237 10803957760 880493 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 1 0 0 0
[pid=10855/tid=10871] ppid=10853 vsize=10550740 CPUtime=1.02 cores=1,3,5,7
/proc/10855/task/10871/stat : 10871 (java) S 10853 10855 10594 0 -1 4202560 5054 0 0 0 102 0 0 0 15 0 22 0 831157237 10803957760 880493 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 3 0 0 0
[pid=10855/tid=10872] ppid=10853 vsize=10550740 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10872/stat : 10872 (java) S 10853 10855 10594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831157237 10803957760 880493 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773145 0 4 0 16800975 18446604462208260864 0 0 -1 1 0 0 0
[pid=10855/tid=10873] ppid=10853 vsize=10550740 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10873/stat : 10873 (java) S 10853 10855 10594 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 831157237 10803957760 880494 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773760 0 4 0 16800975 18446604462208260864 0 0 -1 3 0 0 0
[pid=10855/tid=10938] ppid=10853 vsize=10550740 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10938/stat : 10938 (java) S 10853 10855 10594 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831162270 10803957760 880494 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773760 0 4 0 16800975 18446604462208260864 0 0 -1 3 0 0 0
[pid=10855/tid=10954] ppid=10853 vsize=10550740 CPUtime=408.77 cores=1,3,5,7
/proc/10855/task/10954/stat : 10954 (java) R 10853 10855 10594 0 -1 4202560 943 0 0 0 40877 0 0 0 25 0 22 0 831206676 10803957760 880494 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 46912506144653 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10855/tid=10955] ppid=10853 vsize=10550740 CPUtime=408.78 cores=1,3,5,7
/proc/10855/task/10955/stat : 10955 (java) R 10853 10855 10594 0 -1 4202560 178714 0 0 0 40858 20 0 0 25 0 22 0 831206676 10803957760 880494 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 46912506133104 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10855/tid=10956] ppid=10853 vsize=10550740 CPUtime=0 cores=1,3,5,7
/proc/10855/task/10956/stat : 10956 (java) S 10853 10855 10594 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 831206676 10803957760 880494 33554432000 1073741824 1073778376 140735401043104 18446744073709551615 218382773760 0 4 0 16800975 18446604462208260864 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 10550740
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+905.82 s]
/proc/loadavg: 3.72 3.76 3.79 5/429 10979
/proc/meminfo: memFree=18730752/32951124 swapFree=49244120/67111528
[pid=10855] ppid=10853 vsize=0 CPUtime=1800.18 cores=1,3,5,7
/proc/10855/stat : 10855 (java) Z 10853 10855 10594 0 -1 4203548 891362 0 1 0 179903 115 0 0 17 0 2 0 831157231 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10855/statm: 0 0 0 0 0 0 0
[pid=10855/tid=10954] ppid=10853 vsize=0 CPUtime=408.86 cores=1,3,5,7
/proc/10855/task/10954/stat : 10954 (java) R 10853 10855 10594 0 -1 4203588 944 0 0 0 40878 8 0 0 25 0 2 0 831206676 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.18
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 905.879
CPU time (s): 1800.24
CPU user time (s): 1799.03
CPU system time (s): 1.21081
CPU usage (%): 198.729
Max. virtual memory (cumulated for all children) (KiB): 10557196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.03
system time used= 1.21081
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 891362
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= 22445
involuntary context switches= 23136
runsolver used 3.41848 second user time and 8.15176 second system time
The end