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-3456874-1307223074/watcher-3456874-1307223074 -o /tmp/evaluation-result-3456874-1307223074/solver-3456874-1307223074 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456874-1307223074.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.05 2.01 2.00 2/404 12789
/proc/meminfo: memFree=19874240/32951124 swapFree=49244120/67111528
[pid=12789] ppid=12787 vsize=33748 CPUtime=0 cores=1,3,5,7
/proc/12789/stat : 12789 (java) S 12787 12789 11997 0 -1 4202496 1288 0 0 0 0 0 0 0 25 0 2 0 833910159 34557952 1003 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382759909 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/12789/statm: 8425 1000 768 9 0 387 0
[pid=12789/tid=12790] ppid=12787 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12790/stat : 12790 (java) R 12787 12789 11997 0 -1 4202560 4188 0 1 0 0 0 0 0 25 0 2 0 833910159 10694979584 5004 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218370651195 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.096269 s]
/proc/loadavg: 2.05 2.01 2.00 2/404 12789
/proc/meminfo: memFree=19874240/32951124 swapFree=49244120/67111528
[pid=12789] ppid=12787 vsize=10539560 CPUtime=0.1 cores=1,3,5,7
/proc/12789/stat : 12789 (java) S 12787 12789 11997 0 -1 4202496 12997 0 1 0 9 1 0 0 25 0 18 0 833910159 10792509440 12693 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12789/statm: 2634890 12693 2093 9 0 2625624 0
[pid=12789/tid=12790] ppid=12787 vsize=10539560 CPUtime=0.08 cores=1,3,5,7
/proc/12789/task/12790/stat : 12790 (java) R 12787 12789 11997 0 -1 4202560 11113 0 1 0 7 1 0 0 18 0 18 0 833910159 10792509440 12694 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218370618401 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539560
[startup+0.100306 s]
/proc/loadavg: 2.05 2.01 2.00 2/404 12789
/proc/meminfo: memFree=19874240/32951124 swapFree=49244120/67111528
[pid=12789] ppid=12787 vsize=10539560 CPUtime=0.1 cores=1,3,5,7
/proc/12789/stat : 12789 (java) S 12787 12789 11997 0 -1 4202496 13064 0 1 0 9 1 0 0 25 0 18 0 833910159 10792509440 12760 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12789/statm: 2634890 12761 2093 9 0 2625624 0
[pid=12789/tid=12790] ppid=12787 vsize=10539560 CPUtime=0.08 cores=1,3,5,7
/proc/12789/task/12790/stat : 12790 (java) R 12787 12789 11997 0 -1 4202560 11181 0 1 0 7 1 0 0 18 0 18 0 833910159 10792509440 12762 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 47578755394387 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539560
[startup+0.300233 s]
/proc/loadavg: 2.05 2.01 2.00 2/404 12789
/proc/meminfo: memFree=19874240/32951124 swapFree=49244120/67111528
[pid=12789] ppid=12787 vsize=10543392 CPUtime=0.5 cores=1,3,5,7
/proc/12789/stat : 12789 (java) S 12787 12789 11997 0 -1 4202496 16350 0 1 0 48 2 0 0 25 0 19 0 833910159 10796433408 15678 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12789/statm: 2635848 15678 2208 9 0 2626582 0
[pid=12789/tid=12790] ppid=12787 vsize=10543392 CPUtime=0.28 cores=1,3,5,7
/proc/12789/task/12790/stat : 12790 (java) R 12787 12789 11997 0 -1 4202560 12789 0 1 0 27 1 0 0 19 0 19 0 833910159 10796433408 15678 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 47578755056831 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10543392
[startup+0.700213 s]
/proc/loadavg: 2.05 2.01 2.00 2/404 12789
/proc/meminfo: memFree=19874240/32951124 swapFree=49244120/67111528
[pid=12789] ppid=12787 vsize=10550944 CPUtime=1.4 cores=1,3,5,7
/proc/12789/stat : 12789 (java) S 12787 12789 11997 0 -1 4202496 45315 0 1 0 135 5 0 0 25 0 19 0 833910159 10804166656 40858 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12789/statm: 2637736 40864 2218 9 0 2628470 0
[pid=12789/tid=12790] ppid=12787 vsize=10550944 CPUtime=0.68 cores=1,3,5,7
/proc/12789/task/12790/stat : 12790 (java) R 12787 12789 11997 0 -1 4202560 34666 0 1 0 65 3 0 0 19 0 19 0 833910159 10804166656 40870 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 46912505602796 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 10550944
[startup+1.50102 s]
/proc/loadavg: 2.20 2.05 2.01 3/423 12808
/proc/meminfo: memFree=19558704/32951124 swapFree=49244120/67111528
[pid=12789] ppid=12787 vsize=10550944 CPUtime=2.56 cores=1,3,5,7
/proc/12789/stat : 12789 (java) S 12787 12789 11997 0 -1 4202496 156552 0 1 0 238 18 0 0 25 0 19 0 833910159 10804166656 150886 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12789/statm: 2637736 150895 2224 9 0 2628470 0
[pid=12789/tid=12790] ppid=12787 vsize=10550944 CPUtime=1.48 cores=1,3,5,7
/proc/12789/task/12790/stat : 12790 (java) R 12787 12789 11997 0 -1 4202560 144215 0 1 0 132 16 0 0 20 0 19 0 833910159 10804166656 150900 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 46912505991594 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12789/tid=12792] ppid=12787 vsize=10550944 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12792/stat : 12792 (java) S 12787 12789 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910161 10804166656 150902 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 5 0 0 0
[pid=12789/tid=12793] ppid=12787 vsize=10550944 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12793/stat : 12793 (java) S 12787 12789 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910161 10804166656 150902 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 5 0 0 0
[pid=12789/tid=12794] ppid=12787 vsize=10550944 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12794/stat : 12794 (java) S 12787 12789 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910161 10804166656 150904 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 5 0 0 0
[pid=12789/tid=12795] ppid=12787 vsize=10550944 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12795/stat : 12795 (java) S 12787 12789 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910161 10804166656 150904 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 5 0 0 0
[pid=12789/tid=12796] ppid=12787 vsize=10550944 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12796/stat : 12796 (java) S 12787 12789 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910161 10804166656 150904 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 5 0 0 0
[pid=12789/tid=12797] ppid=12787 vsize=10550944 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12797/stat : 12797 (java) S 12787 12789 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910161 10804166656 150904 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 5 0 0 0
[pid=12789/tid=12798] ppid=12787 vsize=10550944 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12798/stat : 12798 (java) S 12787 12789 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910161 10804166656 150904 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 7 0 0 0
[pid=12789/tid=12799] ppid=12787 vsize=10550944 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12799/stat : 12799 (java) S 12787 12789 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910161 10804166656 150904 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 7 0 0 0
[pid=12789/tid=12800] ppid=12787 vsize=10550944 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12800/stat : 12800 (java) S 12787 12789 11997 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833910162 10804166656 150904 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773760 0 0 0 16800975 18446604467237915456 0 0 -1 1 0 0 0
[pid=12789/tid=12801] ppid=12787 vsize=10550944 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12801/stat : 12801 (java) S 12787 12789 11997 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833910163 10804166656 150906 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 1 0 0 0
[pid=12789/tid=12802] ppid=12787 vsize=10550944 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12802/stat : 12802 (java) S 12787 12789 11997 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833910163 10804166656 150912 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 1 0 0 0
[pid=12789/tid=12803] ppid=12787 vsize=10550944 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12803/stat : 12803 (java) S 12787 12789 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910165 10804166656 150917 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382780849 0 4 0 16800975 18446604467237915456 0 0 -1 1 0 0 0
[pid=12789/tid=12804] ppid=12787 vsize=10550944 CPUtime=0.56 cores=1,3,5,7
/proc/12789/task/12804/stat : 12804 (java) R 12787 12789 11997 0 -1 4202560 5808 0 0 0 55 1 0 0 15 0 19 0 833910165 10804166656 150918 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 47578751719308 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12789/tid=12805] ppid=12787 vsize=10550944 CPUtime=0.49 cores=1,3,5,7
/proc/12789/task/12805/stat : 12805 (java) R 12787 12789 11997 0 -1 4202560 5382 0 0 0 49 0 0 0 19 0 19 0 833910165 10804166656 150919 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 47578750532708 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=12789/tid=12806] ppid=12787 vsize=10550944 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12806/stat : 12806 (java) S 12787 12789 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910165 10804166656 150920 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 1 0 0 0
[pid=12789/tid=12807] ppid=12787 vsize=10550944 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12807/stat : 12807 (java) S 12787 12789 11997 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833910165 10804166656 150920 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773760 0 4 0 16800975 18446604467237915456 0 0 -1 7 0 0 0
[pid=12789/tid=12808] ppid=12787 vsize=10550944 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12808/stat : 12808 (java) S 12787 12789 11997 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833910188 10804166656 150921 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773760 0 4 0 16800975 18446604467237915456 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.56
Current children cumulated vsize (KiB) 10550944
[startup+3.10077 s]
/proc/loadavg: 2.20 2.05 2.01 3/423 12808
/proc/meminfo: memFree=18972060/32951124 swapFree=49244120/67111528
[pid=12789] ppid=12787 vsize=10550944 CPUtime=4.23 cores=1,3,5,7
/proc/12789/stat : 12789 (java) S 12787 12789 11997 0 -1 4202496 307273 0 1 0 388 35 0 0 25 0 19 0 833910159 10804166656 301176 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12789/statm: 2637736 301176 2225 9 0 2628470 0
[pid=12789/tid=12790] ppid=12787 vsize=10550944 CPUtime=3.08 cores=1,3,5,7
/proc/12789/task/12790/stat : 12790 (java) R 12787 12789 11997 0 -1 4202560 294911 0 1 0 275 33 0 0 25 0 19 0 833910159 10804166656 301180 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 46912505602736 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12789/tid=12792] ppid=12787 vsize=10550944 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12792/stat : 12792 (java) S 12787 12789 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910161 10804166656 301187 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 5 0 0 0
[pid=12789/tid=12793] ppid=12787 vsize=10550944 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12793/stat : 12793 (java) S 12787 12789 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910161 10804166656 301191 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 5 0 0 0
[pid=12789/tid=12794] ppid=12787 vsize=10550944 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12794/stat : 12794 (java) S 12787 12789 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910161 10804166656 301192 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 5 0 0 0
[pid=12789/tid=12795] ppid=12787 vsize=10550944 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12795/stat : 12795 (java) S 12787 12789 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910161 10804166656 301193 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 5 0 0 0
[pid=12789/tid=12796] ppid=12787 vsize=10550944 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12796/stat : 12796 (java) S 12787 12789 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910161 10804166656 301195 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 5 0 0 0
[pid=12789/tid=12797] ppid=12787 vsize=10550944 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12797/stat : 12797 (java) S 12787 12789 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910161 10804166656 301196 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 5 0 0 0
[pid=12789/tid=12798] ppid=12787 vsize=10550944 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12798/stat : 12798 (java) S 12787 12789 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910161 10804166656 301197 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 7 0 0 0
[pid=12789/tid=12799] ppid=12787 vsize=10550944 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12799/stat : 12799 (java) S 12787 12789 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910161 10804166656 301198 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 7 0 0 0
[pid=12789/tid=12800] ppid=12787 vsize=10550944 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12800/stat : 12800 (java) S 12787 12789 11997 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833910162 10804166656 301199 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773760 0 0 0 16800975 18446604467237915456 0 0 -1 1 0 0 0
[pid=12789/tid=12801] ppid=12787 vsize=10550944 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12801/stat : 12801 (java) S 12787 12789 11997 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833910163 10804166656 301200 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 1 0 0 0
[pid=12789/tid=12802] ppid=12787 vsize=10550944 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12802/stat : 12802 (java) S 12787 12789 11997 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833910163 10804166656 301202 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 1 0 0 0
[pid=12789/tid=12803] ppid=12787 vsize=10550944 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12803/stat : 12803 (java) S 12787 12789 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910165 10804166656 301203 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382780849 0 4 0 16800975 18446604467237915456 0 0 -1 1 0 0 0
[pid=12789/tid=12804] ppid=12787 vsize=10550944 CPUtime=0.59 cores=1,3,5,7
/proc/12789/task/12804/stat : 12804 (java) S 12787 12789 11997 0 -1 4202560 5818 0 0 0 58 1 0 0 15 0 19 0 833910165 10804166656 301204 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 5 0 0 0
[pid=12789/tid=12805] ppid=12787 vsize=10550944 CPUtime=0.54 cores=1,3,5,7
/proc/12789/task/12805/stat : 12805 (java) S 12787 12789 11997 0 -1 4202560 5387 0 0 0 54 0 0 0 15 0 19 0 833910165 10804166656 301205 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 7 0 0 0
[pid=12789/tid=12806] ppid=12787 vsize=10550944 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12806/stat : 12806 (java) S 12787 12789 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910165 10804166656 301207 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 1 0 0 0
[pid=12789/tid=12807] ppid=12787 vsize=10550944 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12807/stat : 12807 (java) S 12787 12789 11997 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833910165 10804166656 301208 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773760 0 4 0 16800975 18446604467237915456 0 0 -1 5 0 0 0
[pid=12789/tid=12808] ppid=12787 vsize=10550944 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12808/stat : 12808 (java) S 12787 12789 11997 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833910188 10804166656 301209 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773760 0 4 0 16800975 18446604467237915456 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.23
Current children cumulated vsize (KiB) 10550944
[startup+6.30121 s]
/proc/loadavg: 2.19 2.05 2.01 3/423 12808
/proc/meminfo: memFree=17524164/32951124 swapFree=49244120/67111528
[pid=12789] ppid=12787 vsize=10548576 CPUtime=7.46 cores=1,3,5,7
/proc/12789/stat : 12789 (java) S 12787 12789 11997 0 -1 4202496 665208 0 1 0 670 76 0 0 25 0 19 0 833910159 10801741824 658517 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12789/statm: 2637144 658517 2239 9 0 2627878 0
[pid=12789/tid=12790] ppid=12787 vsize=10548576 CPUtime=6.27 cores=1,3,5,7
/proc/12789/task/12790/stat : 12790 (java) R 12787 12789 11997 0 -1 4202560 651062 0 1 0 554 73 0 0 25 0 19 0 833910159 10801741824 658517 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 46912505602786 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12789/tid=12792] ppid=12787 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12792/stat : 12792 (java) S 12787 12789 11997 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 833910161 10801741824 658517 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 7 0 0 0
[pid=12789/tid=12793] ppid=12787 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12793/stat : 12793 (java) S 12787 12789 11997 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 833910161 10801741824 658517 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 5 0 0 0
[pid=12789/tid=12794] ppid=12787 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12794/stat : 12794 (java) S 12787 12789 11997 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 833910161 10801741824 658517 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 5 0 0 0
[pid=12789/tid=12795] ppid=12787 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12795/stat : 12795 (java) S 12787 12789 11997 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 833910161 10801741824 658517 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 5 0 0 0
[pid=12789/tid=12796] ppid=12787 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12796/stat : 12796 (java) S 12787 12789 11997 0 -1 4202560 532 0 0 0 0 0 0 0 18 0 19 0 833910161 10801741824 658517 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 5 0 0 0
[pid=12789/tid=12797] ppid=12787 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12797/stat : 12797 (java) S 12787 12789 11997 0 -1 4202560 642 0 0 0 0 0 0 0 18 0 19 0 833910161 10801741824 658517 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 5 0 0 0
[pid=12789/tid=12798] ppid=12787 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12798/stat : 12798 (java) S 12787 12789 11997 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 833910161 10801741824 658517 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 7 0 0 0
[pid=12789/tid=12799] ppid=12787 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12799/stat : 12799 (java) S 12787 12789 11997 0 -1 4202560 600 0 0 0 0 0 0 0 18 0 19 0 833910161 10801741824 658517 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 7 0 0 0
[pid=12789/tid=12800] ppid=12787 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12800/stat : 12800 (java) S 12787 12789 11997 0 -1 4202560 10 0 0 0 0 0 0 0 16 0 19 0 833910162 10801741824 658517 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773760 0 0 0 16800975 18446604467237915456 0 0 -1 1 0 0 0
[pid=12789/tid=12801] ppid=12787 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12801/stat : 12801 (java) S 12787 12789 11997 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833910163 10801741824 658517 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 1 0 0 0
[pid=12789/tid=12802] ppid=12787 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12802/stat : 12802 (java) S 12787 12789 11997 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833910163 10801741824 658517 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 1 0 0 0
[pid=12789/tid=12803] ppid=12787 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12803/stat : 12803 (java) S 12787 12789 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910165 10801741824 658517 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382780849 0 4 0 16800975 18446604467237915456 0 0 -1 1 0 0 0
[pid=12789/tid=12804] ppid=12787 vsize=10548576 CPUtime=0.59 cores=1,3,5,7
/proc/12789/task/12804/stat : 12804 (java) S 12787 12789 11997 0 -1 4202560 5818 0 0 0 58 1 0 0 15 0 19 0 833910165 10801741824 658517 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 5 0 0 0
[pid=12789/tid=12805] ppid=12787 vsize=10548576 CPUtime=0.55 cores=1,3,5,7
/proc/12789/task/12805/stat : 12805 (java) S 12787 12789 11997 0 -1 4202560 5387 0 0 0 55 0 0 0 15 0 19 0 833910165 10801741824 658517 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 7 0 0 0
################
# More data... #
################
/proc/12789/task/12801/stat : 12801 (java) S 12787 12789 11997 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833910163 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 1 0 0 0
[pid=12789/tid=12802] ppid=12787 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12802/stat : 12802 (java) S 12787 12789 11997 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833910163 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 1 0 0 0
[pid=12789/tid=12803] ppid=12787 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12803/stat : 12803 (java) S 12787 12789 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910165 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382780849 0 4 0 16800975 18446604467237915456 0 0 -1 1 0 0 0
[pid=12789/tid=12804] ppid=12787 vsize=10548576 CPUtime=0.65 cores=1,3,5,7
/proc/12789/task/12804/stat : 12804 (java) S 12787 12789 11997 0 -1 4202560 5831 0 0 0 64 1 0 0 15 0 19 0 833910165 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 7 0 0 0
[pid=12789/tid=12805] ppid=12787 vsize=10548576 CPUtime=0.59 cores=1,3,5,7
/proc/12789/task/12805/stat : 12805 (java) S 12787 12789 11997 0 -1 4202560 5395 0 0 0 59 0 0 0 16 0 19 0 833910165 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 5 0 0 0
[pid=12789/tid=12806] ppid=12787 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12806/stat : 12806 (java) S 12787 12789 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910165 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 1 0 0 0
[pid=12789/tid=12807] ppid=12787 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12807/stat : 12807 (java) S 12787 12789 11997 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 833910165 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773760 0 4 0 16800975 18446604467237915456 0 0 -1 5 0 0 0
[pid=12789/tid=12808] ppid=12787 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12808/stat : 12808 (java) S 12787 12789 11997 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833910188 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773760 0 4 0 16800975 18446604467237915456 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1664.81
Current children cumulated vsize (KiB) 10548576
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/423 12902
/proc/meminfo: memFree=16016592/32951124 swapFree=49244120/67111528
[pid=12789] ppid=12787 vsize=10548576 CPUtime=1724.81 cores=1,3,5,7
/proc/12789/stat : 12789 (java) S 12787 12789 11997 0 -1 4202496 940550 0 1 0 172374 107 0 0 25 0 19 0 833910159 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12789/statm: 2637144 931663 2243 9 0 2627878 0
[pid=12789/tid=12790] ppid=12787 vsize=10548576 CPUtime=1721.6 cores=1,3,5,7
/proc/12789/task/12790/stat : 12790 (java) R 12787 12789 11997 0 -1 4202560 835884 0 1 0 172069 91 0 0 25 0 19 0 833910159 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 46912505685854 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12789/tid=12792] ppid=12787 vsize=10548576 CPUtime=0.22 cores=1,3,5,7
/proc/12789/task/12792/stat : 12792 (java) S 12787 12789 11997 0 -1 4202560 14235 0 0 0 21 1 0 0 15 0 19 0 833910161 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 3 0 0 0
[pid=12789/tid=12793] ppid=12787 vsize=10548576 CPUtime=0.27 cores=1,3,5,7
/proc/12789/task/12793/stat : 12793 (java) S 12787 12789 11997 0 -1 4202560 10966 0 0 0 26 1 0 0 16 0 19 0 833910161 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 7 0 0 0
[pid=12789/tid=12794] ppid=12787 vsize=10548576 CPUtime=0.2 cores=1,3,5,7
/proc/12789/task/12794/stat : 12794 (java) S 12787 12789 11997 0 -1 4202560 9852 0 0 0 20 0 0 0 16 0 19 0 833910161 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 1 0 0 0
[pid=12789/tid=12795] ppid=12787 vsize=10548576 CPUtime=0.23 cores=1,3,5,7
/proc/12789/task/12795/stat : 12795 (java) S 12787 12789 11997 0 -1 4202560 8624 0 0 0 23 0 0 0 15 0 19 0 833910161 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 5 0 0 0
[pid=12789/tid=12796] ppid=12787 vsize=10548576 CPUtime=0.21 cores=1,3,5,7
/proc/12789/task/12796/stat : 12796 (java) S 12787 12789 11997 0 -1 4202560 12368 0 0 0 20 1 0 0 15 0 19 0 833910161 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 1 0 0 0
[pid=12789/tid=12797] ppid=12787 vsize=10548576 CPUtime=0.19 cores=1,3,5,7
/proc/12789/task/12797/stat : 12797 (java) S 12787 12789 11997 0 -1 4202560 9058 0 0 0 18 1 0 0 16 0 19 0 833910161 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 3 0 0 0
[pid=12789/tid=12798] ppid=12787 vsize=10548576 CPUtime=0.21 cores=1,3,5,7
/proc/12789/task/12798/stat : 12798 (java) S 12787 12789 11997 0 -1 4202560 11048 0 0 0 20 1 0 0 15 0 19 0 833910161 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 3 0 0 0
[pid=12789/tid=12799] ppid=12787 vsize=10548576 CPUtime=0.3 cores=1,3,5,7
/proc/12789/task/12799/stat : 12799 (java) S 12787 12789 11997 0 -1 4202560 15970 0 0 0 28 2 0 0 15 0 19 0 833910161 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 7 0 0 0
[pid=12789/tid=12800] ppid=12787 vsize=10548576 CPUtime=0.01 cores=1,3,5,7
/proc/12789/task/12800/stat : 12800 (java) S 12787 12789 11997 0 -1 4202560 67 0 0 0 1 0 0 0 15 0 19 0 833910162 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773760 0 0 0 16800975 18446604467237915456 0 0 -1 5 0 0 0
[pid=12789/tid=12801] ppid=12787 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12801/stat : 12801 (java) S 12787 12789 11997 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833910163 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 1 0 0 0
[pid=12789/tid=12802] ppid=12787 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12802/stat : 12802 (java) S 12787 12789 11997 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833910163 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 1 0 0 0
[pid=12789/tid=12803] ppid=12787 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12803/stat : 12803 (java) S 12787 12789 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910165 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382780849 0 4 0 16800975 18446604467237915456 0 0 -1 1 0 0 0
[pid=12789/tid=12804] ppid=12787 vsize=10548576 CPUtime=0.65 cores=1,3,5,7
/proc/12789/task/12804/stat : 12804 (java) S 12787 12789 11997 0 -1 4202560 5831 0 0 0 64 1 0 0 15 0 19 0 833910165 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 7 0 0 0
[pid=12789/tid=12805] ppid=12787 vsize=10548576 CPUtime=0.59 cores=1,3,5,7
/proc/12789/task/12805/stat : 12805 (java) S 12787 12789 11997 0 -1 4202560 5395 0 0 0 59 0 0 0 16 0 19 0 833910165 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 5 0 0 0
[pid=12789/tid=12806] ppid=12787 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12806/stat : 12806 (java) S 12787 12789 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910165 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 1 0 0 0
[pid=12789/tid=12807] ppid=12787 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12807/stat : 12807 (java) S 12787 12789 11997 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 833910165 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773760 0 4 0 16800975 18446604467237915456 0 0 -1 5 0 0 0
[pid=12789/tid=12808] ppid=12787 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12808/stat : 12808 (java) S 12787 12789 11997 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833910188 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773760 0 4 0 16800975 18446604467237915456 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1724.81
Current children cumulated vsize (KiB) 10548576
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/423 12904
/proc/meminfo: memFree=16011952/32951124 swapFree=49244120/67111528
[pid=12789] ppid=12787 vsize=10548576 CPUtime=1784.81 cores=1,3,5,7
/proc/12789/stat : 12789 (java) S 12787 12789 11997 0 -1 4202496 940552 0 1 0 178374 107 0 0 25 0 19 0 833910159 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12789/statm: 2637144 931663 2243 9 0 2627878 0
[pid=12789/tid=12790] ppid=12787 vsize=10548576 CPUtime=1781.61 cores=1,3,5,7
/proc/12789/task/12790/stat : 12790 (java) R 12787 12789 11997 0 -1 4202560 835884 0 1 0 178070 91 0 0 25 0 19 0 833910159 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 46912505891455 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12789/tid=12792] ppid=12787 vsize=10548576 CPUtime=0.22 cores=1,3,5,7
/proc/12789/task/12792/stat : 12792 (java) S 12787 12789 11997 0 -1 4202560 14235 0 0 0 21 1 0 0 15 0 19 0 833910161 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 3 0 0 0
[pid=12789/tid=12793] ppid=12787 vsize=10548576 CPUtime=0.27 cores=1,3,5,7
/proc/12789/task/12793/stat : 12793 (java) S 12787 12789 11997 0 -1 4202560 10966 0 0 0 26 1 0 0 16 0 19 0 833910161 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 7 0 0 0
[pid=12789/tid=12794] ppid=12787 vsize=10548576 CPUtime=0.2 cores=1,3,5,7
/proc/12789/task/12794/stat : 12794 (java) S 12787 12789 11997 0 -1 4202560 9852 0 0 0 20 0 0 0 16 0 19 0 833910161 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 1 0 0 0
[pid=12789/tid=12795] ppid=12787 vsize=10548576 CPUtime=0.23 cores=1,3,5,7
/proc/12789/task/12795/stat : 12795 (java) S 12787 12789 11997 0 -1 4202560 8624 0 0 0 23 0 0 0 15 0 19 0 833910161 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 5 0 0 0
[pid=12789/tid=12796] ppid=12787 vsize=10548576 CPUtime=0.21 cores=1,3,5,7
/proc/12789/task/12796/stat : 12796 (java) S 12787 12789 11997 0 -1 4202560 12368 0 0 0 20 1 0 0 15 0 19 0 833910161 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 1 0 0 0
[pid=12789/tid=12797] ppid=12787 vsize=10548576 CPUtime=0.19 cores=1,3,5,7
/proc/12789/task/12797/stat : 12797 (java) S 12787 12789 11997 0 -1 4202560 9058 0 0 0 18 1 0 0 16 0 19 0 833910161 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 3 0 0 0
[pid=12789/tid=12798] ppid=12787 vsize=10548576 CPUtime=0.21 cores=1,3,5,7
/proc/12789/task/12798/stat : 12798 (java) S 12787 12789 11997 0 -1 4202560 11048 0 0 0 20 1 0 0 15 0 19 0 833910161 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 3 0 0 0
[pid=12789/tid=12799] ppid=12787 vsize=10548576 CPUtime=0.3 cores=1,3,5,7
/proc/12789/task/12799/stat : 12799 (java) S 12787 12789 11997 0 -1 4202560 15970 0 0 0 28 2 0 0 15 0 19 0 833910161 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 7 0 0 0
[pid=12789/tid=12800] ppid=12787 vsize=10548576 CPUtime=0.01 cores=1,3,5,7
/proc/12789/task/12800/stat : 12800 (java) S 12787 12789 11997 0 -1 4202560 67 0 0 0 1 0 0 0 15 0 19 0 833910162 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773760 0 0 0 16800975 18446604467237915456 0 0 -1 5 0 0 0
[pid=12789/tid=12801] ppid=12787 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12801/stat : 12801 (java) S 12787 12789 11997 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833910163 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 1 0 0 0
[pid=12789/tid=12802] ppid=12787 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12802/stat : 12802 (java) S 12787 12789 11997 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833910163 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 1 0 0 0
[pid=12789/tid=12803] ppid=12787 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12803/stat : 12803 (java) S 12787 12789 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910165 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382780849 0 4 0 16800975 18446604467237915456 0 0 -1 1 0 0 0
[pid=12789/tid=12804] ppid=12787 vsize=10548576 CPUtime=0.65 cores=1,3,5,7
/proc/12789/task/12804/stat : 12804 (java) S 12787 12789 11997 0 -1 4202560 5831 0 0 0 64 1 0 0 15 0 19 0 833910165 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 7 0 0 0
[pid=12789/tid=12805] ppid=12787 vsize=10548576 CPUtime=0.59 cores=1,3,5,7
/proc/12789/task/12805/stat : 12805 (java) S 12787 12789 11997 0 -1 4202560 5395 0 0 0 59 0 0 0 16 0 19 0 833910165 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 5 0 0 0
[pid=12789/tid=12806] ppid=12787 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12806/stat : 12806 (java) S 12787 12789 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910165 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 1 0 0 0
[pid=12789/tid=12807] ppid=12787 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12807/stat : 12807 (java) S 12787 12789 11997 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 833910165 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773760 0 4 0 16800975 18446604467237915456 0 0 -1 5 0 0 0
[pid=12789/tid=12808] ppid=12787 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12808/stat : 12808 (java) S 12787 12789 11997 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833910188 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773760 0 4 0 16800975 18446604467237915456 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1784.81
Current children cumulated vsize (KiB) 10548576
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/423 12913
/proc/meminfo: memFree=16008152/32951124 swapFree=49244120/67111528
[pid=12789] ppid=12787 vsize=10548576 CPUtime=1800.02 cores=1,3,5,7
/proc/12789/stat : 12789 (java) S 12787 12789 11997 0 -1 4202496 940554 0 1 0 179895 107 0 0 25 0 19 0 833910159 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12789/statm: 2637144 931663 2243 9 0 2627878 0
[pid=12789/tid=12790] ppid=12787 vsize=10548576 CPUtime=1796.82 cores=1,3,5,7
/proc/12789/task/12790/stat : 12790 (java) R 12787 12789 11997 0 -1 4202560 835884 0 1 0 179591 91 0 0 25 0 19 0 833910159 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 46912505685812 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12789/tid=12792] ppid=12787 vsize=10548576 CPUtime=0.22 cores=1,3,5,7
/proc/12789/task/12792/stat : 12792 (java) S 12787 12789 11997 0 -1 4202560 14235 0 0 0 21 1 0 0 15 0 19 0 833910161 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 3 0 0 0
[pid=12789/tid=12793] ppid=12787 vsize=10548576 CPUtime=0.27 cores=1,3,5,7
/proc/12789/task/12793/stat : 12793 (java) S 12787 12789 11997 0 -1 4202560 10966 0 0 0 26 1 0 0 16 0 19 0 833910161 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 7 0 0 0
[pid=12789/tid=12794] ppid=12787 vsize=10548576 CPUtime=0.2 cores=1,3,5,7
/proc/12789/task/12794/stat : 12794 (java) S 12787 12789 11997 0 -1 4202560 9852 0 0 0 20 0 0 0 16 0 19 0 833910161 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 1 0 0 0
[pid=12789/tid=12795] ppid=12787 vsize=10548576 CPUtime=0.23 cores=1,3,5,7
/proc/12789/task/12795/stat : 12795 (java) S 12787 12789 11997 0 -1 4202560 8624 0 0 0 23 0 0 0 15 0 19 0 833910161 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 5 0 0 0
[pid=12789/tid=12796] ppid=12787 vsize=10548576 CPUtime=0.21 cores=1,3,5,7
/proc/12789/task/12796/stat : 12796 (java) S 12787 12789 11997 0 -1 4202560 12368 0 0 0 20 1 0 0 15 0 19 0 833910161 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 1 0 0 0
[pid=12789/tid=12797] ppid=12787 vsize=10548576 CPUtime=0.19 cores=1,3,5,7
/proc/12789/task/12797/stat : 12797 (java) S 12787 12789 11997 0 -1 4202560 9058 0 0 0 18 1 0 0 16 0 19 0 833910161 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 3 0 0 0
[pid=12789/tid=12798] ppid=12787 vsize=10548576 CPUtime=0.21 cores=1,3,5,7
/proc/12789/task/12798/stat : 12798 (java) S 12787 12789 11997 0 -1 4202560 11048 0 0 0 20 1 0 0 15 0 19 0 833910161 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 3 0 0 0
[pid=12789/tid=12799] ppid=12787 vsize=10548576 CPUtime=0.3 cores=1,3,5,7
/proc/12789/task/12799/stat : 12799 (java) S 12787 12789 11997 0 -1 4202560 15970 0 0 0 28 2 0 0 15 0 19 0 833910161 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 7 0 0 0
[pid=12789/tid=12800] ppid=12787 vsize=10548576 CPUtime=0.01 cores=1,3,5,7
/proc/12789/task/12800/stat : 12800 (java) S 12787 12789 11997 0 -1 4202560 67 0 0 0 1 0 0 0 15 0 19 0 833910162 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773760 0 0 0 16800975 18446604467237915456 0 0 -1 5 0 0 0
[pid=12789/tid=12801] ppid=12787 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12801/stat : 12801 (java) S 12787 12789 11997 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833910163 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 1 0 0 0
[pid=12789/tid=12802] ppid=12787 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12802/stat : 12802 (java) S 12787 12789 11997 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833910163 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 1 0 0 0
[pid=12789/tid=12803] ppid=12787 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12803/stat : 12803 (java) S 12787 12789 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910165 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382780849 0 4 0 16800975 18446604467237915456 0 0 -1 1 0 0 0
[pid=12789/tid=12804] ppid=12787 vsize=10548576 CPUtime=0.65 cores=1,3,5,7
/proc/12789/task/12804/stat : 12804 (java) S 12787 12789 11997 0 -1 4202560 5831 0 0 0 64 1 0 0 15 0 19 0 833910165 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 7 0 0 0
[pid=12789/tid=12805] ppid=12787 vsize=10548576 CPUtime=0.59 cores=1,3,5,7
/proc/12789/task/12805/stat : 12805 (java) S 12787 12789 11997 0 -1 4202560 5395 0 0 0 59 0 0 0 16 0 19 0 833910165 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 5 0 0 0
[pid=12789/tid=12806] ppid=12787 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12806/stat : 12806 (java) S 12787 12789 11997 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910165 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773145 0 4 0 16800975 18446604467237915456 0 0 -1 1 0 0 0
[pid=12789/tid=12807] ppid=12787 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12807/stat : 12807 (java) S 12787 12789 11997 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 833910165 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773760 0 4 0 16800975 18446604467237915456 0 0 -1 5 0 0 0
[pid=12789/tid=12808] ppid=12787 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/12789/task/12808/stat : 12808 (java) S 12787 12789 11997 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833910188 10801741824 931663 33554432000 1073741824 1073778376 140735180409824 18446744073709551615 218382773760 0 4 0 16800975 18446604467237915456 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 10548576
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1797.62 s]
/proc/loadavg: 2.00 2.01 2.00 3/423 12913
/proc/meminfo: memFree=16008152/32951124 swapFree=49244120/67111528
[pid=12789] ppid=12787 vsize=0 CPUtime=1800.13 cores=1,3,5,7
/proc/12789/stat : 12789 (java) Z 12787 12789 11997 0 -1 4203548 940582 0 1 0 179897 116 0 0 17 0 2 0 833910159 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12789/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1797.67
CPU time (s): 1800.19
CPU user time (s): 1798.97
CPU system time (s): 1.21681
CPU usage (%): 100.14
Max. virtual memory (cumulated for all children) (KiB): 10555224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.97
system time used= 1.21681
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 940582
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= 39154
involuntary context switches= 20542
runsolver used 7.00493 second user time and 15.7596 second system time
The end