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-3454573-1307190058/watcher-3454573-1307190058 -o /tmp/evaluation-result-3454573-1307190058/solver-3454573-1307190058 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454573-1307190058.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: 3.79 3.90 3.76 3/556 19884
/proc/meminfo: memFree=24199176/32951124 swapFree=46970528/67111528
[pid=19884] ppid=19882 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/19884/stat : 19884 (java) S 19882 19884 16282 0 -1 4202496 3408 0 1 0 0 0 0 0 25 0 2 0 811422078 10694979584 3110 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051458021 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/19884/statm: 2611079 3122 917 9 0 2602235 0
[pid=19884/tid=19885] ppid=19882 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19885/stat : 19885 (java) R 19882 19884 16282 0 -1 4202560 5857 0 1 0 0 0 0 0 25 0 2 0 811422079 10694979584 6673 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212039349307 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0989681 s]
/proc/loadavg: 3.79 3.90 3.76 3/556 19884
/proc/meminfo: memFree=24199176/32951124 swapFree=46970528/67111528
[pid=19884] ppid=19882 vsize=10539572 CPUtime=0.09 cores=1,3,5,7
/proc/19884/stat : 19884 (java) S 19882 19884 16282 0 -1 4202496 13027 0 1 0 8 1 0 0 25 0 18 0 811422078 10792521728 12694 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/19884/statm: 2634893 12695 2092 9 0 2625627 0
[pid=19884/tid=19885] ppid=19882 vsize=10539572 CPUtime=0.08 cores=1,3,5,7
/proc/19884/task/19885/stat : 19885 (java) R 19882 19884 16282 0 -1 4202560 11073 0 1 0 7 1 0 0 18 0 18 0 811422079 10792521728 12695 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 47162688862227 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10539572
[startup+0.100968 s]
/proc/loadavg: 3.79 3.90 3.76 3/556 19884
/proc/meminfo: memFree=24199176/32951124 swapFree=46970528/67111528
[pid=19884] ppid=19882 vsize=10539572 CPUtime=0.1 cores=1,3,5,7
/proc/19884/stat : 19884 (java) S 19882 19884 16282 0 -1 4202496 13044 0 1 0 9 1 0 0 25 0 18 0 811422078 10792521728 12711 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/19884/statm: 2634893 12711 2092 9 0 2625627 0
[pid=19884/tid=19885] ppid=19882 vsize=10539572 CPUtime=0.08 cores=1,3,5,7
/proc/19884/task/19885/stat : 19885 (java) R 19882 19884 16282 0 -1 4202560 11089 0 1 0 7 1 0 0 18 0 18 0 811422079 10792521728 12711 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 47162687206745 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) 10539572
[startup+0.300937 s]
/proc/loadavg: 3.79 3.90 3.76 3/556 19884
/proc/meminfo: memFree=24199176/32951124 swapFree=46970528/67111528
[pid=19884] ppid=19882 vsize=10541872 CPUtime=0.46 cores=1,3,5,7
/proc/19884/stat : 19884 (java) S 19882 19884 16282 0 -1 4202496 22035 0 1 0 44 2 0 0 25 0 18 0 811422078 10794876928 21110 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/19884/statm: 2635468 21113 2199 9 0 2626202 0
[pid=19884/tid=19885] ppid=19882 vsize=10541872 CPUtime=0.28 cores=1,3,5,7
/proc/19884/task/19885/stat : 19885 (java) R 19882 19884 16282 0 -1 4202560 18478 0 1 0 26 2 0 0 18 0 18 0 811422079 10794876928 21115 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 46912505366267 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10541872
[startup+0.700875 s]
/proc/loadavg: 3.79 3.90 3.76 3/556 19884
/proc/meminfo: memFree=24199176/32951124 swapFree=46970528/67111528
[pid=19884] ppid=19882 vsize=10542068 CPUtime=1.07 cores=1,3,5,7
/proc/19884/stat : 19884 (java) S 19882 19884 16282 0 -1 4202496 51630 0 1 0 100 7 0 0 25 0 18 0 811422078 10795077632 50523 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/19884/statm: 2635517 50524 2204 9 0 2626251 0
[pid=19884/tid=19885] ppid=19882 vsize=10542068 CPUtime=0.68 cores=1,3,5,7
/proc/19884/task/19885/stat : 19885 (java) R 19882 19884 16282 0 -1 4202560 47804 0 1 0 62 6 0 0 18 0 18 0 811422079 10795077632 50524 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 46912505661501 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 10542068
[startup+1.50072 s]
/proc/loadavg: 3.79 3.90 3.76 4/574 19902
/proc/meminfo: memFree=23873296/32951124 swapFree=46970528/67111528
[pid=19884] ppid=19882 vsize=10542068 CPUtime=1.87 cores=1,3,5,7
/proc/19884/stat : 19884 (java) S 19882 19884 16282 0 -1 4202496 128919 0 1 0 170 17 0 0 25 0 18 0 811422078 10795077632 127812 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/19884/statm: 2635517 127815 2204 9 0 2626251 0
[pid=19884/tid=19885] ppid=19882 vsize=10542068 CPUtime=1.48 cores=1,3,5,7
/proc/19884/task/19885/stat : 19885 (java) R 19882 19884 16282 0 -1 4202560 125097 0 1 0 132 16 0 0 19 0 18 0 811422079 10795077632 127817 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 46912505693962 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=19884/tid=19887] ppid=19882 vsize=10542068 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19887/stat : 19887 (java) S 19882 19884 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 811422080 10795077632 127819 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 7 0 0 0
[pid=19884/tid=19888] ppid=19882 vsize=10542068 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19888/stat : 19888 (java) S 19882 19884 16282 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 811422080 10795077632 127822 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 7 0 0 0
[pid=19884/tid=19889] ppid=19882 vsize=10542068 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19889/stat : 19889 (java) S 19882 19884 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 811422080 10795077632 127824 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 7 0 0 0
[pid=19884/tid=19890] ppid=19882 vsize=10542068 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19890/stat : 19890 (java) S 19882 19884 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 811422080 10795077632 127826 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 7 0 0 0
[pid=19884/tid=19891] ppid=19882 vsize=10542068 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19891/stat : 19891 (java) S 19882 19884 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 811422080 10795077632 127829 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 7 0 0 0
[pid=19884/tid=19892] ppid=19882 vsize=10542068 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19892/stat : 19892 (java) S 19882 19884 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 811422080 10795077632 127832 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 7 0 0 0
[pid=19884/tid=19893] ppid=19882 vsize=10542068 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19893/stat : 19893 (java) S 19882 19884 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 811422080 10795077632 127836 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 5 0 0 0
[pid=19884/tid=19894] ppid=19882 vsize=10542068 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19894/stat : 19894 (java) S 19882 19884 16282 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 811422080 10795077632 127840 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 5 0 0 0
[pid=19884/tid=19895] ppid=19882 vsize=10542068 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19895/stat : 19895 (java) S 19882 19884 16282 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 811422081 10795077632 127842 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471872 0 0 0 16800975 18446604454792435840 0 0 -1 1 0 0 0
[pid=19884/tid=19896] ppid=19882 vsize=10542068 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19896/stat : 19896 (java) S 19882 19884 16282 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 811422082 10795077632 127847 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 1 0 0 0
[pid=19884/tid=19897] ppid=19882 vsize=10542068 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19897/stat : 19897 (java) S 19882 19884 16282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 811422082 10795077632 127851 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 1 0 0 0
[pid=19884/tid=19898] ppid=19882 vsize=10542068 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19898/stat : 19898 (java) S 19882 19884 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 811422084 10795077632 127851 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051478961 0 4 0 16800975 18446604454792435840 0 0 -1 1 0 0 0
[pid=19884/tid=19899] ppid=19882 vsize=10542068 CPUtime=0.2 cores=1,3,5,7
/proc/19884/task/19899/stat : 19899 (java) S 19882 19884 16282 0 -1 4202560 1443 0 0 0 20 0 0 0 23 0 18 0 811422084 10795077632 127857 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 7 0 0 0
[pid=19884/tid=19900] ppid=19882 vsize=10542068 CPUtime=0.17 cores=1,3,5,7
/proc/19884/task/19900/stat : 19900 (java) S 19882 19884 16282 0 -1 4202560 1233 0 0 0 17 0 0 0 15 0 18 0 811422084 10795077632 127863 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 5 0 0 0
[pid=19884/tid=19901] ppid=19882 vsize=10542068 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19901/stat : 19901 (java) S 19882 19884 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 811422084 10795077632 127870 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 1 0 0 0
[pid=19884/tid=19902] ppid=19882 vsize=10542068 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19902/stat : 19902 (java) S 19882 19884 16282 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 811422084 10795077632 127877 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471872 0 4 0 16800975 18446604454792435840 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.87
Current children cumulated vsize (KiB) 10542068
[startup+3.10143 s]
/proc/loadavg: 3.79 3.90 3.76 6/576 19904
/proc/meminfo: memFree=23504132/32951124 swapFree=46970528/67111528
[pid=19884] ppid=19882 vsize=10548396 CPUtime=5.19 cores=1,3,5,7
/proc/19884/stat : 19884 (java) S 19882 19884 16282 0 -1 4202496 195498 0 1 0 495 24 0 0 25 0 22 0 811422078 10801557504 192635 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/19884/statm: 2637099 192636 2231 9 0 2627833 0
[pid=19884/tid=19885] ppid=19882 vsize=10548396 CPUtime=1.98 cores=1,3,5,7
/proc/19884/task/19885/stat : 19885 (java) S 19882 19884 16282 0 -1 4202560 168302 0 1 0 176 22 0 0 15 0 22 0 811422079 10801557504 192636 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471872 0 4 0 16800975 18446604454792435840 0 0 -1 7 0 0 0
[pid=19884/tid=19887] ppid=19882 vsize=10548396 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19887/stat : 19887 (java) S 19882 19884 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811422080 10801557504 192636 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 7 0 0 0
[pid=19884/tid=19888] ppid=19882 vsize=10548396 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19888/stat : 19888 (java) S 19882 19884 16282 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 811422080 10801557504 192637 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 7 0 0 0
[pid=19884/tid=19889] ppid=19882 vsize=10548396 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19889/stat : 19889 (java) S 19882 19884 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811422080 10801557504 192637 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 7 0 0 0
[pid=19884/tid=19890] ppid=19882 vsize=10548396 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19890/stat : 19890 (java) S 19882 19884 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811422080 10801557504 192638 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 7 0 0 0
[pid=19884/tid=19891] ppid=19882 vsize=10548396 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19891/stat : 19891 (java) S 19882 19884 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811422080 10801557504 192638 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 7 0 0 0
[pid=19884/tid=19892] ppid=19882 vsize=10548396 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19892/stat : 19892 (java) S 19882 19884 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811422080 10801557504 192638 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 7 0 0 0
[pid=19884/tid=19893] ppid=19882 vsize=10548396 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19893/stat : 19893 (java) S 19882 19884 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811422080 10801557504 192639 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 5 0 0 0
[pid=19884/tid=19894] ppid=19882 vsize=10548396 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19894/stat : 19894 (java) S 19882 19884 16282 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 811422080 10801557504 192639 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 5 0 0 0
[pid=19884/tid=19895] ppid=19882 vsize=10548396 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19895/stat : 19895 (java) S 19882 19884 16282 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 811422081 10801557504 192640 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471872 0 0 0 16800975 18446604454792435840 0 0 -1 1 0 0 0
[pid=19884/tid=19896] ppid=19882 vsize=10548396 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19896/stat : 19896 (java) S 19882 19884 16282 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 811422082 10801557504 192640 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 1 0 0 0
[pid=19884/tid=19897] ppid=19882 vsize=10548396 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19897/stat : 19897 (java) S 19882 19884 16282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811422082 10801557504 192640 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 1 0 0 0
[pid=19884/tid=19898] ppid=19882 vsize=10548396 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19898/stat : 19898 (java) S 19882 19884 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811422084 10801557504 192641 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051478961 0 4 0 16800975 18446604454792435840 0 0 -1 1 0 0 0
[pid=19884/tid=19899] ppid=19882 vsize=10548396 CPUtime=0.54 cores=1,3,5,7
/proc/19884/task/19899/stat : 19899 (java) S 19882 19884 16282 0 -1 4202560 2759 0 0 0 54 0 0 0 15 0 22 0 811422084 10801557504 192641 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 7 0 0 0
[pid=19884/tid=19900] ppid=19882 vsize=10548396 CPUtime=0.47 cores=1,3,5,7
/proc/19884/task/19900/stat : 19900 (java) S 19882 19884 16282 0 -1 4202560 2764 0 0 0 47 0 0 0 15 0 22 0 811422084 10801557504 192642 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 5 0 0 0
[pid=19884/tid=19901] ppid=19882 vsize=10548396 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19901/stat : 19901 (java) S 19882 19884 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811422084 10801557504 192642 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 1 0 0 0
[pid=19884/tid=19902] ppid=19882 vsize=10548396 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19902/stat : 19902 (java) S 19882 19884 16282 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811422084 10801557504 192642 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471872 0 4 0 16800975 18446604454792435840 0 0 -1 3 0 0 0
[pid=19884/tid=19903] ppid=19882 vsize=10548396 CPUtime=1.09 cores=1,3,5,7
/proc/19884/task/19903/stat : 19903 (java) R 19882 19884 16282 0 -1 4202560 2306 0 0 0 109 0 0 0 25 0 22 0 811422278 10801557504 192643 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 46912505814255 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=19884/tid=19904] ppid=19882 vsize=10548396 CPUtime=1.08 cores=1,3,5,7
/proc/19884/task/19904/stat : 19904 (java) R 19882 19884 16282 0 -1 4202560 18207 0 0 0 106 2 0 0 25 0 22 0 811422278 10801557504 192643 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 46912505992963 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.19
Current children cumulated vsize (KiB) 10548396
[startup+6.30086 s]
/proc/loadavg: 3.81 3.90 3.76 5/578 19906
/proc/meminfo: memFree=22534056/32951124 swapFree=46970528/67111528
[pid=19884] ppid=19882 vsize=10548396 CPUtime=11.84 cores=1,3,5,7
/proc/19884/stat : 19884 (java) S 19882 19884 16282 0 -1 4202496 436177 0 1 0 1134 50 0 0 25 0 22 0 811422078 10801557504 433089 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/19884/statm: 2637099 433090 2237 9 0 2627833 0
[pid=19884/tid=19885] ppid=19882 vsize=10548396 CPUtime=1.98 cores=1,3,5,7
/proc/19884/task/19885/stat : 19885 (java) S 19882 19884 16282 0 -1 4202560 168302 0 1 0 176 22 0 0 15 0 22 0 811422079 10801557504 433090 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471872 0 4 0 16800975 18446604454792435840 0 0 -1 7 0 0 0
[pid=19884/tid=19887] ppid=19882 vsize=10548396 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19887/stat : 19887 (java) S 19882 19884 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811422080 10801557504 433090 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 7 0 0 0
[pid=19884/tid=19888] ppid=19882 vsize=10548396 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19888/stat : 19888 (java) S 19882 19884 16282 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 811422080 10801557504 433091 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 7 0 0 0
[pid=19884/tid=19889] ppid=19882 vsize=10548396 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19889/stat : 19889 (java) S 19882 19884 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811422080 10801557504 433092 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 7 0 0 0
[pid=19884/tid=19890] ppid=19882 vsize=10548396 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19890/stat : 19890 (java) S 19882 19884 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811422080 10801557504 433092 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 7 0 0 0
[pid=19884/tid=19891] ppid=19882 vsize=10548396 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19891/stat : 19891 (java) S 19882 19884 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811422080 10801557504 433092 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 7 0 0 0
[pid=19884/tid=19892] ppid=19882 vsize=10548396 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19892/stat : 19892 (java) S 19882 19884 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811422080 10801557504 433093 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 7 0 0 0
[pid=19884/tid=19893] ppid=19882 vsize=10548396 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19893/stat : 19893 (java) S 19882 19884 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811422080 10801557504 433093 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 5 0 0 0
[pid=19884/tid=19894] ppid=19882 vsize=10548396 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19894/stat : 19894 (java) S 19882 19884 16282 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 811422080 10801557504 433094 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 5 0 0 0
[pid=19884/tid=19895] ppid=19882 vsize=10548396 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19895/stat : 19895 (java) S 19882 19884 16282 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 22 0 811422081 10801557504 433094 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471872 0 0 0 16800975 18446604454792435840 0 0 -1 1 0 0 0
[pid=19884/tid=19896] ppid=19882 vsize=10548396 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19896/stat : 19896 (java) S 19882 19884 16282 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 811422082 10801557504 433095 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 1 0 0 0
[pid=19884/tid=19897] ppid=19882 vsize=10548396 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19897/stat : 19897 (java) S 19882 19884 16282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811422082 10801557504 433095 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 1 0 0 0
[pid=19884/tid=19898] ppid=19882 vsize=10548396 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19898/stat : 19898 (java) S 19882 19884 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811422084 10801557504 433096 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051478961 0 4 0 16800975 18446604454792435840 0 0 -1 1 0 0 0
[pid=19884/tid=19899] ppid=19882 vsize=10548396 CPUtime=0.62 cores=1,3,5,7
/proc/19884/task/19899/stat : 19899 (java) S 19882 19884 16282 0 -1 4202560 2769 0 0 0 62 0 0 0 15 0 22 0 811422084 10801557504 433096 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 7 0 0 0
[pid=19884/tid=19900] ppid=19882 vsize=10548396 CPUtime=0.64 cores=1,3,5,7
/proc/19884/task/19900/stat : 19900 (java) S 19882 19884 16282 0 -1 4202560 3005 0 0 0 64 0 0 0 15 0 22 0 811422084 10801557504 433097 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/19884/task/19889/stat : 19889 (java) S 19882 19884 16282 0 -1 4202560 37889 0 0 0 60 6 0 0 16 0 22 0 811422080 10801737728 1038522 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 5 0 0 0
[pid=19884/tid=19890] ppid=19882 vsize=10548572 CPUtime=0.97 cores=1,3,5,7
/proc/19884/task/19890/stat : 19890 (java) S 19882 19884 16282 0 -1 4202560 41055 0 0 0 91 6 0 0 16 0 22 0 811422080 10801737728 1038522 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 5 0 0 0
[pid=19884/tid=19891] ppid=19882 vsize=10548572 CPUtime=0.74 cores=1,3,5,7
/proc/19884/task/19891/stat : 19891 (java) S 19882 19884 16282 0 -1 4202560 31690 0 0 0 69 5 0 0 15 0 22 0 811422080 10801737728 1038522 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 3 0 0 0
[pid=19884/tid=19892] ppid=19882 vsize=10548572 CPUtime=0.68 cores=1,3,5,7
/proc/19884/task/19892/stat : 19892 (java) S 19882 19884 16282 0 -1 4202560 29914 0 0 0 64 4 0 0 16 0 22 0 811422080 10801737728 1038522 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 7 0 0 0
[pid=19884/tid=19893] ppid=19882 vsize=10548572 CPUtime=0.63 cores=1,3,5,7
/proc/19884/task/19893/stat : 19893 (java) S 19882 19884 16282 0 -1 4202560 23125 0 0 0 61 2 0 0 16 0 22 0 811422080 10801737728 1038522 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 3 0 0 0
[pid=19884/tid=19894] ppid=19882 vsize=10548572 CPUtime=0.7 cores=1,3,5,7
/proc/19884/task/19894/stat : 19894 (java) S 19882 19884 16282 0 -1 4202560 20189 0 0 0 68 2 0 0 15 0 22 0 811422080 10801737728 1038522 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 3 0 0 0
[pid=19884/tid=19895] ppid=19882 vsize=10548572 CPUtime=23.05 cores=1,3,5,7
/proc/19884/task/19895/stat : 19895 (java) S 19882 19884 16282 0 -1 4202560 95200 0 0 0 2295 10 0 0 15 0 22 0 811422081 10801737728 1038522 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471872 0 0 0 16800975 18446604454792435840 0 0 -1 1 0 0 0
[pid=19884/tid=19896] ppid=19882 vsize=10548572 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19896/stat : 19896 (java) S 19882 19884 16282 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811422082 10801737728 1038522 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 1 0 0 0
[pid=19884/tid=19897] ppid=19882 vsize=10548572 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19897/stat : 19897 (java) S 19882 19884 16282 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 811422082 10801737728 1038522 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 1 0 0 0
[pid=19884/tid=19898] ppid=19882 vsize=10548572 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19898/stat : 19898 (java) S 19882 19884 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811422084 10801737728 1038522 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051478961 0 4 0 16800975 18446604454792435840 0 0 -1 1 0 0 0
[pid=19884/tid=19899] ppid=19882 vsize=10548572 CPUtime=0.85 cores=1,3,5,7
/proc/19884/task/19899/stat : 19899 (java) S 19882 19884 16282 0 -1 4202560 2970 0 0 0 85 0 0 0 15 0 22 0 811422084 10801737728 1038522 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 7 0 0 0
[pid=19884/tid=19900] ppid=19882 vsize=10548572 CPUtime=0.94 cores=1,3,5,7
/proc/19884/task/19900/stat : 19900 (java) S 19882 19884 16282 0 -1 4202560 6586 0 0 0 94 0 0 0 16 0 22 0 811422084 10801737728 1038522 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 5 0 0 0
[pid=19884/tid=19901] ppid=19882 vsize=10548572 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19901/stat : 19901 (java) S 19882 19884 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811422084 10801737728 1038522 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 1 0 0 0
[pid=19884/tid=19902] ppid=19882 vsize=10548572 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19902/stat : 19902 (java) S 19882 19884 16282 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 22 0 811422084 10801737728 1038522 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471872 0 4 0 16800975 18446604454792435840 0 0 -1 3 0 0 0
[pid=19884/tid=19903] ppid=19882 vsize=10548572 CPUtime=795.56 cores=1,3,5,7
/proc/19884/task/19903/stat : 19903 (java) R 19882 19884 16282 0 -1 4202560 3952 0 0 0 79556 0 0 0 25 0 22 0 811422278 10801737728 1038522 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 46912506080349 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=19884/tid=19904] ppid=19882 vsize=10548572 CPUtime=795.55 cores=1,3,5,7
/proc/19884/task/19904/stat : 19904 (java) R 19882 19884 16282 0 -1 4202560 535211 0 0 0 79496 59 0 0 25 0 22 0 811422278 10801737728 1038522 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 46912505666919 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=19884/tid=19905] ppid=19882 vsize=10548572 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19905/stat : 19905 (java) S 19882 19884 16282 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 22 0 811422295 10801737728 1038522 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471872 0 4 0 16800975 18446604454792435840 0 0 -1 7 0 0 0
[pid=19884/tid=19906] ppid=19882 vsize=10548572 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19906/stat : 19906 (java) S 19882 19884 16282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811422298 10801737728 1038522 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471872 0 4 0 16800975 18446604454792435840 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1623.65
Current children cumulated vsize (KiB) 10548572
[startup+882.301 s]
/proc/loadavg: 3.81 3.91 3.84 5/578 19984
/proc/meminfo: memFree=17111544/32951124 swapFree=46970528/67111528
[pid=19884] ppid=19882 vsize=10548572 CPUtime=1740.92 cores=1,3,5,7
/proc/19884/stat : 19884 (java) S 19882 19884 16282 0 -1 4202496 1046357 0 1 0 173963 129 0 0 25 0 22 0 811422078 10801737728 1038529 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/19884/statm: 2637143 1038529 2262 9 0 2627877 0
[pid=19884/tid=19885] ppid=19882 vsize=10548572 CPUtime=1.99 cores=1,3,5,7
/proc/19884/task/19885/stat : 19885 (java) S 19882 19884 16282 0 -1 4202560 168348 0 1 0 177 22 0 0 15 0 22 0 811422079 10801737728 1038529 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471872 0 4 0 16800975 18446604454792435840 0 0 -1 3 0 0 0
[pid=19884/tid=19887] ppid=19882 vsize=10548572 CPUtime=0.7 cores=1,3,5,7
/proc/19884/task/19887/stat : 19887 (java) S 19882 19884 16282 0 -1 4202560 23659 0 0 0 67 3 0 0 16 0 22 0 811422080 10801737728 1038529 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 3 0 0 0
[pid=19884/tid=19888] ppid=19882 vsize=10548572 CPUtime=0.58 cores=1,3,5,7
/proc/19884/task/19888/stat : 19888 (java) S 19882 19884 16282 0 -1 4202560 25347 0 0 0 54 4 0 0 16 0 22 0 811422080 10801737728 1038529 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 5 0 0 0
[pid=19884/tid=19889] ppid=19882 vsize=10548572 CPUtime=0.68 cores=1,3,5,7
/proc/19884/task/19889/stat : 19889 (java) S 19882 19884 16282 0 -1 4202560 37889 0 0 0 62 6 0 0 16 0 22 0 811422080 10801737728 1038529 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 7 0 0 0
[pid=19884/tid=19890] ppid=19882 vsize=10548572 CPUtime=1.03 cores=1,3,5,7
/proc/19884/task/19890/stat : 19890 (java) S 19882 19884 16282 0 -1 4202560 41061 0 0 0 97 6 0 0 15 0 22 0 811422080 10801737728 1038529 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 5 0 0 0
[pid=19884/tid=19891] ppid=19882 vsize=10548572 CPUtime=0.77 cores=1,3,5,7
/proc/19884/task/19891/stat : 19891 (java) S 19882 19884 16282 0 -1 4202560 31690 0 0 0 72 5 0 0 15 0 22 0 811422080 10801737728 1038529 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 3 0 0 0
[pid=19884/tid=19892] ppid=19882 vsize=10548572 CPUtime=0.68 cores=1,3,5,7
/proc/19884/task/19892/stat : 19892 (java) S 19882 19884 16282 0 -1 4202560 29914 0 0 0 64 4 0 0 15 0 22 0 811422080 10801737728 1038529 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 3 0 0 0
[pid=19884/tid=19893] ppid=19882 vsize=10548572 CPUtime=0.69 cores=1,3,5,7
/proc/19884/task/19893/stat : 19893 (java) S 19882 19884 16282 0 -1 4202560 23126 0 0 0 67 2 0 0 15 0 22 0 811422080 10801737728 1038529 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 7 0 0 0
[pid=19884/tid=19894] ppid=19882 vsize=10548572 CPUtime=0.72 cores=1,3,5,7
/proc/19884/task/19894/stat : 19894 (java) S 19882 19884 16282 0 -1 4202560 20189 0 0 0 70 2 0 0 15 0 22 0 811422080 10801737728 1038529 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 5 0 0 0
[pid=19884/tid=19895] ppid=19882 vsize=10548572 CPUtime=25.85 cores=1,3,5,7
/proc/19884/task/19895/stat : 19895 (java) S 19882 19884 16282 0 -1 4202560 95204 0 0 0 2575 10 0 0 15 0 22 0 811422081 10801737728 1038529 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471872 0 0 0 16800975 18446604454792435840 0 0 -1 1 0 0 0
[pid=19884/tid=19896] ppid=19882 vsize=10548572 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19896/stat : 19896 (java) S 19882 19884 16282 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811422082 10801737728 1038529 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 1 0 0 0
[pid=19884/tid=19897] ppid=19882 vsize=10548572 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19897/stat : 19897 (java) S 19882 19884 16282 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 811422082 10801737728 1038529 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 1 0 0 0
[pid=19884/tid=19898] ppid=19882 vsize=10548572 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19898/stat : 19898 (java) S 19882 19884 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811422084 10801737728 1038529 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051478961 0 4 0 16800975 18446604454792435840 0 0 -1 1 0 0 0
[pid=19884/tid=19899] ppid=19882 vsize=10548572 CPUtime=0.85 cores=1,3,5,7
/proc/19884/task/19899/stat : 19899 (java) S 19882 19884 16282 0 -1 4202560 2970 0 0 0 85 0 0 0 15 0 22 0 811422084 10801737728 1038529 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 7 0 0 0
[pid=19884/tid=19900] ppid=19882 vsize=10548572 CPUtime=0.94 cores=1,3,5,7
/proc/19884/task/19900/stat : 19900 (java) S 19882 19884 16282 0 -1 4202560 6586 0 0 0 94 0 0 0 16 0 22 0 811422084 10801737728 1038529 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 5 0 0 0
[pid=19884/tid=19901] ppid=19882 vsize=10548572 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19901/stat : 19901 (java) S 19882 19884 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811422084 10801737728 1038529 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 1 0 0 0
[pid=19884/tid=19902] ppid=19882 vsize=10548572 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19902/stat : 19902 (java) S 19882 19884 16282 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 811422084 10801737728 1038529 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471872 0 4 0 16800975 18446604454792435840 0 0 -1 3 0 0 0
[pid=19884/tid=19903] ppid=19882 vsize=10548572 CPUtime=852.67 cores=1,3,5,7
/proc/19884/task/19903/stat : 19903 (java) R 19882 19884 16282 0 -1 4202560 3953 0 0 0 85267 0 0 0 25 0 22 0 811422278 10801737728 1038529 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 46912506080340 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=19884/tid=19904] ppid=19882 vsize=10548572 CPUtime=852.66 cores=1,3,5,7
/proc/19884/task/19904/stat : 19904 (java) R 19882 19884 16282 0 -1 4202560 535213 0 0 0 85207 59 0 0 25 0 22 0 811422278 10801737728 1038529 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 46912505907995 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=19884/tid=19905] ppid=19882 vsize=10548572 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19905/stat : 19905 (java) S 19882 19884 16282 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 22 0 811422295 10801737728 1038529 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471872 0 4 0 16800975 18446604454792435840 0 0 -1 7 0 0 0
[pid=19884/tid=19906] ppid=19882 vsize=10548572 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19906/stat : 19906 (java) S 19882 19884 16282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811422298 10801737728 1038529 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471872 0 4 0 16800975 18446604454792435840 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1740.92
Current children cumulated vsize (KiB) 10548572
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+912.901 s]
/proc/loadavg: 3.89 3.92 3.84 6/578 19984
/proc/meminfo: memFree=17111512/32951124 swapFree=46970528/67111528
[pid=19884] ppid=19882 vsize=10548572 CPUtime=1800.16 cores=1,3,5,7
/proc/19884/stat : 19884 (java) S 19882 19884 16282 0 -1 4202496 1046382 0 1 0 179887 129 0 0 25 0 22 0 811422078 10801737728 1038542 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/19884/statm: 2637143 1038542 2263 9 0 2627877 0
[pid=19884/tid=19885] ppid=19882 vsize=10548572 CPUtime=1.99 cores=1,3,5,7
/proc/19884/task/19885/stat : 19885 (java) S 19882 19884 16282 0 -1 4202560 168351 0 1 0 177 22 0 0 15 0 22 0 811422079 10801737728 1038542 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471872 0 4 0 16800975 18446604454792435840 0 0 -1 3 0 0 0
[pid=19884/tid=19887] ppid=19882 vsize=10548572 CPUtime=0.71 cores=1,3,5,7
/proc/19884/task/19887/stat : 19887 (java) S 19882 19884 16282 0 -1 4202560 23659 0 0 0 68 3 0 0 16 0 22 0 811422080 10801737728 1038542 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 7 0 0 0
[pid=19884/tid=19888] ppid=19882 vsize=10548572 CPUtime=0.59 cores=1,3,5,7
/proc/19884/task/19888/stat : 19888 (java) S 19882 19884 16282 0 -1 4202560 25347 0 0 0 55 4 0 0 16 0 22 0 811422080 10801737728 1038542 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 5 0 0 0
[pid=19884/tid=19889] ppid=19882 vsize=10548572 CPUtime=0.7 cores=1,3,5,7
/proc/19884/task/19889/stat : 19889 (java) S 19882 19884 16282 0 -1 4202560 37889 0 0 0 64 6 0 0 15 0 22 0 811422080 10801737728 1038542 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 5 0 0 0
[pid=19884/tid=19890] ppid=19882 vsize=10548572 CPUtime=1.04 cores=1,3,5,7
/proc/19884/task/19890/stat : 19890 (java) S 19882 19884 16282 0 -1 4202560 41061 0 0 0 98 6 0 0 16 0 22 0 811422080 10801737728 1038542 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 3 0 0 0
[pid=19884/tid=19891] ppid=19882 vsize=10548572 CPUtime=0.79 cores=1,3,5,7
/proc/19884/task/19891/stat : 19891 (java) S 19882 19884 16282 0 -1 4202560 31690 0 0 0 74 5 0 0 15 0 22 0 811422080 10801737728 1038542 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 3 0 0 0
[pid=19884/tid=19892] ppid=19882 vsize=10548572 CPUtime=0.7 cores=1,3,5,7
/proc/19884/task/19892/stat : 19892 (java) S 19882 19884 16282 0 -1 4202560 29923 0 0 0 66 4 0 0 15 0 22 0 811422080 10801737728 1038542 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 7 0 0 0
[pid=19884/tid=19893] ppid=19882 vsize=10548572 CPUtime=0.69 cores=1,3,5,7
/proc/19884/task/19893/stat : 19893 (java) S 19882 19884 16282 0 -1 4202560 23126 0 0 0 67 2 0 0 15 0 22 0 811422080 10801737728 1038542 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 7 0 0 0
[pid=19884/tid=19894] ppid=19882 vsize=10548572 CPUtime=0.73 cores=1,3,5,7
/proc/19884/task/19894/stat : 19894 (java) S 19882 19884 16282 0 -1 4202560 20190 0 0 0 71 2 0 0 15 0 22 0 811422080 10801737728 1038542 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 5 0 0 0
[pid=19884/tid=19895] ppid=19882 vsize=10548572 CPUtime=27.92 cores=1,3,5,7
/proc/19884/task/19895/stat : 19895 (java) S 19882 19884 16282 0 -1 4202560 95206 0 0 0 2782 10 0 0 15 0 22 0 811422081 10801737728 1038542 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471872 0 0 0 16800975 18446604454792435840 0 0 -1 1 0 0 0
[pid=19884/tid=19896] ppid=19882 vsize=10548572 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19896/stat : 19896 (java) S 19882 19884 16282 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811422082 10801737728 1038542 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 1 0 0 0
[pid=19884/tid=19897] ppid=19882 vsize=10548572 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19897/stat : 19897 (java) S 19882 19884 16282 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 811422082 10801737728 1038542 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 1 0 0 0
[pid=19884/tid=19898] ppid=19882 vsize=10548572 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19898/stat : 19898 (java) S 19882 19884 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811422084 10801737728 1038542 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051478961 0 4 0 16800975 18446604454792435840 0 0 -1 1 0 0 0
[pid=19884/tid=19899] ppid=19882 vsize=10548572 CPUtime=0.87 cores=1,3,5,7
/proc/19884/task/19899/stat : 19899 (java) S 19882 19884 16282 0 -1 4202560 2975 0 0 0 87 0 0 0 15 0 22 0 811422084 10801737728 1038542 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 7 0 0 0
[pid=19884/tid=19900] ppid=19882 vsize=10548572 CPUtime=0.94 cores=1,3,5,7
/proc/19884/task/19900/stat : 19900 (java) S 19882 19884 16282 0 -1 4202560 6586 0 0 0 94 0 0 0 16 0 22 0 811422084 10801737728 1038542 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 5 0 0 0
[pid=19884/tid=19901] ppid=19882 vsize=10548572 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19901/stat : 19901 (java) S 19882 19884 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811422084 10801737728 1038542 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471257 0 4 0 16800975 18446604454792435840 0 0 -1 1 0 0 0
[pid=19884/tid=19902] ppid=19882 vsize=10548572 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19902/stat : 19902 (java) S 19882 19884 16282 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 811422084 10801737728 1038542 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471872 0 4 0 16800975 18446604454792435840 0 0 -1 3 0 0 0
[pid=19884/tid=19903] ppid=19882 vsize=10548572 CPUtime=881.19 cores=1,3,5,7
/proc/19884/task/19903/stat : 19903 (java) R 19882 19884 16282 0 -1 4202560 3955 0 0 0 88119 0 0 0 22 0 22 0 811422278 10801737728 1038542 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 46912505666913 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=19884/tid=19904] ppid=19882 vsize=10548572 CPUtime=881.18 cores=1,3,5,7
/proc/19884/task/19904/stat : 19904 (java) R 19882 19884 16282 0 -1 4202560 535214 0 0 0 88059 59 0 0 22 0 22 0 811422278 10801737728 1038542 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 46912505825580 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=19884/tid=19905] ppid=19882 vsize=10548572 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19905/stat : 19905 (java) S 19882 19884 16282 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 22 0 811422295 10801737728 1038542 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471872 0 4 0 16800975 18446604454792435840 0 0 -1 7 0 0 0
[pid=19884/tid=19906] ppid=19882 vsize=10548572 CPUtime=0 cores=1,3,5,7
/proc/19884/task/19906/stat : 19906 (java) S 19882 19884 16282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811422298 10801737728 1038542 33554432000 1073741824 1073778376 140735238807760 18446744073709551615 212051471872 0 4 0 16800975 18446604454792435840 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 10548572
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+913.046 s]
/proc/loadavg: 3.89 3.92 3.84 6/578 19984
/proc/meminfo: memFree=17111512/32951124 swapFree=46970528/67111528
[pid=19884] ppid=19882 vsize=0 CPUtime=1800.3 cores=1,3,5,7
/proc/19884/stat : 19884 (java) Z 19882 19884 16282 0 -1 4203548 1046414 0 1 0 179893 137 0 0 17 0 2 0 811422078 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/19884/statm: 0 0 0 0 0 0 0
[pid=19884/tid=19904] ppid=19882 vsize=0 CPUtime=881.28 cores=1,3,5,7
/proc/19884/task/19904/stat : 19904 (java) R 19882 19884 16282 0 -1 4203588 535214 0 0 0 88061 67 0 0 22 0 2 0 811422278 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.3
Current children cumulated vsize (KiB) 0
[startup+913.101 s]
/proc/loadavg: 3.89 3.92 3.84 6/578 19984
/proc/meminfo: memFree=17111512/32951124 swapFree=46970528/67111528
[pid=19884] ppid=19882 vsize=0 CPUtime=1800.36 cores=1,3,5,7
/proc/19884/stat : 19884 (java) Z 19882 19884 16282 0 -1 4203548 1046414 0 1 0 179893 143 0 0 17 0 2 0 811422078 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/19884/statm: 0 0 0 0 0 0 0
[pid=19884/tid=19904] ppid=19882 vsize=0 CPUtime=881.33 cores=1,3,5,7
/proc/19884/task/19904/stat : 19904 (java) R 19882 19884 16282 0 -1 4203588 535214 0 0 0 88061 72 0 0 22 0 2 0 811422278 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.36
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 913.112
CPU time (s): 1800.37
CPU user time (s): 1798.93
CPU system time (s): 1.44078
CPU usage (%): 197.169
Max. virtual memory (cumulated for all children) (KiB): 10549580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.93
system time used= 1.44078
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1046414
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= 23915
involuntary context switches= 28391
runsolver used 4.83826 second user time and 11.7142 second system time
The end