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-3454262-1307191889/watcher-3454262-1307191889 -o /tmp/evaluation-result-3454262-1307191889/solver-3454262-1307191889 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454262-1307191889.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.99 3.95 3.83 4/467 25747
/proc/meminfo: memFree=28585848/32950928 swapFree=34365992/67111528
[pid=25747] ppid=25745 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/25747/stat : 25747 (java) S 25745 25747 22425 0 -1 4202496 2840 0 1 0 0 0 0 0 25 0 2 0 830787658 10681323520 2541 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606669285 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/25747/statm: 2607745 2554 906 9 0 2598901 0
[pid=25747/tid=25748] ppid=25745 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25748/stat : 25748 (java) R 25745 25747 22425 0 -1 4202560 5264 0 1 0 0 0 0 0 25 0 2 0 830787659 10694979584 6080 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235594560571 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.112058 s]
/proc/loadavg: 3.99 3.95 3.83 4/467 25747
/proc/meminfo: memFree=28585848/32950928 swapFree=34365992/67111528
[pid=25747] ppid=25745 vsize=10539500 CPUtime=0.13 cores=1,3,5,7
/proc/25747/stat : 25747 (java) S 25745 25747 22425 0 -1 4202496 13304 0 1 0 11 2 0 0 25 0 18 0 830787658 10792448000 12974 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25747/statm: 2634875 12974 2124 9 0 2625609 0
[pid=25747/tid=25748] ppid=25745 vsize=10539500 CPUtime=0.09 cores=1,3,5,7
/proc/25747/task/25748/stat : 25748 (java) R 25745 25747 22425 0 -1 4202560 11276 0 1 0 8 1 0 0 25 0 18 0 830787659 10792448000 12974 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606693323 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 10539500
[startup+0.200975 s]
/proc/loadavg: 3.99 3.95 3.83 4/467 25747
/proc/meminfo: memFree=28585848/32950928 swapFree=34365992/67111528
[pid=25747] ppid=25745 vsize=10540020 CPUtime=0.29 cores=1,3,5,7
/proc/25747/stat : 25747 (java) S 25745 25747 22425 0 -1 4202496 14447 0 1 0 27 2 0 0 25 0 18 0 830787658 10792980480 14081 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25747/statm: 2635005 14082 2184 9 0 2625739 0
[pid=25747/tid=25748] ppid=25745 vsize=10540020 CPUtime=0.18 cores=1,3,5,7
/proc/25747/task/25748/stat : 25748 (java) R 25745 25747 22425 0 -1 4202560 12014 0 1 0 17 1 0 0 25 0 18 0 830787659 10792980480 14082 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10540020
[startup+0.300985 s]
/proc/loadavg: 3.99 3.95 3.83 4/467 25747
/proc/meminfo: memFree=28585848/32950928 swapFree=34365992/67111528
[pid=25747] ppid=25745 vsize=10551928 CPUtime=0.59 cores=1,3,5,7
/proc/25747/stat : 25747 (java) S 25745 25747 22425 0 -1 4202496 23515 0 1 0 56 3 0 0 25 0 18 0 830787658 10805174272 19965 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25747/statm: 2637982 19965 2201 9 0 2628716 0
[pid=25747/tid=25748] ppid=25745 vsize=10551928 CPUtime=0.29 cores=1,3,5,7
/proc/25747/task/25748/stat : 25748 (java) R 25745 25747 22425 0 -1 4202560 13019 0 1 0 27 2 0 0 25 0 18 0 830787659 10805174272 19966 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 46912505578765 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 10551928
[startup+0.700889 s]
/proc/loadavg: 3.99 3.95 3.83 4/467 25747
/proc/meminfo: memFree=28585848/32950928 swapFree=34365992/67111528
[pid=25747] ppid=25745 vsize=10553500 CPUtime=1.41 cores=1,3,5,7
/proc/25747/stat : 25747 (java) S 25745 25747 22425 0 -1 4202496 48288 0 1 0 133 8 0 0 25 0 18 0 830787658 10806784000 44129 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25747/statm: 2638375 44132 2212 9 0 2629109 0
[pid=25747/tid=25748] ppid=25745 vsize=10553500 CPUtime=0.68 cores=1,3,5,7
/proc/25747/task/25748/stat : 25748 (java) R 25745 25747 22425 0 -1 4202560 36716 0 1 0 62 6 0 0 25 0 18 0 830787659 10806784000 44134 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 46912505799561 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 10553500
[startup+1.50075 s]
/proc/loadavg: 3.99 3.95 3.83 4/485 25765
/proc/meminfo: memFree=28247628/32950928 swapFree=34365992/67111528
[pid=25747] ppid=25745 vsize=10553500 CPUtime=2.32 cores=1,3,5,7
/proc/25747/stat : 25747 (java) S 25745 25747 22425 0 -1 4202496 136636 0 1 0 215 17 0 0 25 0 18 0 830787658 10806784000 132476 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25747/statm: 2638375 132476 2213 9 0 2629109 0
[pid=25747/tid=25748] ppid=25745 vsize=10553500 CPUtime=1.49 cores=1,3,5,7
/proc/25747/task/25748/stat : 25748 (java) R 25745 25747 22425 0 -1 4202560 125017 0 1 0 133 16 0 0 25 0 18 0 830787659 10806784000 132476 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 46912505504196 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=25747/tid=25750] ppid=25745 vsize=10553500 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25750/stat : 25750 (java) S 25745 25747 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830787660 10806784000 132476 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 5 0 0 0
[pid=25747/tid=25751] ppid=25745 vsize=10553500 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25751/stat : 25751 (java) S 25745 25747 22425 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830787660 10806784000 132476 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 5 0 0 0
[pid=25747/tid=25752] ppid=25745 vsize=10553500 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25752/stat : 25752 (java) S 25745 25747 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830787660 10806784000 132476 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 3 0 0 0
[pid=25747/tid=25753] ppid=25745 vsize=10553500 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25753/stat : 25753 (java) S 25745 25747 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830787660 10806784000 132476 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 3 0 0 0
[pid=25747/tid=25754] ppid=25745 vsize=10553500 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25754/stat : 25754 (java) S 25745 25747 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830787660 10806784000 132476 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 3 0 0 0
[pid=25747/tid=25755] ppid=25745 vsize=10553500 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25755/stat : 25755 (java) S 25745 25747 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830787660 10806784000 132476 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 3 0 0 0
[pid=25747/tid=25756] ppid=25745 vsize=10553500 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25756/stat : 25756 (java) S 25745 25747 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830787660 10806784000 132476 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 7 0 0 0
[pid=25747/tid=25757] ppid=25745 vsize=10553500 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25757/stat : 25757 (java) S 25745 25747 22425 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830787660 10806784000 132476 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 7 0 0 0
[pid=25747/tid=25758] ppid=25745 vsize=10553500 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25758/stat : 25758 (java) S 25745 25747 22425 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 830787661 10806784000 132476 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606683136 0 0 0 16800975 18446604458502175744 0 0 -1 5 0 0 0
[pid=25747/tid=25759] ppid=25745 vsize=10553500 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25759/stat : 25759 (java) S 25745 25747 22425 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 830787662 10806784000 132476 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 5 0 0 0
[pid=25747/tid=25760] ppid=25745 vsize=10553500 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25760/stat : 25760 (java) S 25745 25747 22425 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 830787662 10806784000 132476 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 5 0 0 0
[pid=25747/tid=25761] ppid=25745 vsize=10553500 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25761/stat : 25761 (java) S 25745 25747 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830787664 10806784000 132476 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606690225 0 4 0 16800975 18446604458502175744 0 0 -1 1 0 0 0
[pid=25747/tid=25762] ppid=25745 vsize=10553500 CPUtime=0.45 cores=1,3,5,7
/proc/25747/task/25762/stat : 25762 (java) S 25745 25747 22425 0 -1 4202560 4751 0 0 0 45 0 0 0 20 0 18 0 830787664 10806784000 132476 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 3 0 0 0
[pid=25747/tid=25763] ppid=25745 vsize=10553500 CPUtime=0.36 cores=1,3,5,7
/proc/25747/task/25763/stat : 25763 (java) S 25745 25747 22425 0 -1 4202560 5714 0 0 0 36 0 0 0 17 0 18 0 830787664 10806784000 132476 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 1 0 0 0
[pid=25747/tid=25764] ppid=25745 vsize=10553500 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25764/stat : 25764 (java) S 25745 25747 22425 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830787664 10806784000 132476 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 5 0 0 0
[pid=25747/tid=25765] ppid=25745 vsize=10553500 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25765/stat : 25765 (java) S 25745 25747 22425 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 830787664 10806784000 132476 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606683136 0 4 0 16800975 18446604458502175744 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.32
Current children cumulated vsize (KiB) 10553500
[startup+3.10147 s]
/proc/loadavg: 3.99 3.95 3.83 5/489 25769
/proc/meminfo: memFree=27764244/32950928 swapFree=34365992/67111528
[pid=25747] ppid=25745 vsize=10557612 CPUtime=5.29 cores=1,3,5,7
/proc/25747/stat : 25747 (java) S 25745 25747 22425 0 -1 4202496 245450 0 1 0 499 30 0 0 25 0 22 0 830787658 10810994688 241289 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25747/statm: 2639403 241291 2233 9 0 2630137 0
[pid=25747/tid=25748] ppid=25745 vsize=10557612 CPUtime=2.09 cores=1,3,5,7
/proc/25747/task/25748/stat : 25748 (java) S 25745 25747 22425 0 -1 4202560 194267 0 1 0 185 24 0 0 20 0 22 0 830787659 10810994688 241291 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606683136 0 4 0 16800975 18446604458502175744 0 0 -1 1 0 0 0
[pid=25747/tid=25750] ppid=25745 vsize=10557612 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25750/stat : 25750 (java) S 25745 25747 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830787660 10810994688 241292 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 5 0 0 0
[pid=25747/tid=25751] ppid=25745 vsize=10557612 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25751/stat : 25751 (java) S 25745 25747 22425 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830787660 10810994688 241293 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 5 0 0 0
[pid=25747/tid=25752] ppid=25745 vsize=10557612 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25752/stat : 25752 (java) S 25745 25747 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830787660 10810994688 241294 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 3 0 0 0
[pid=25747/tid=25753] ppid=25745 vsize=10557612 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25753/stat : 25753 (java) S 25745 25747 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830787660 10810994688 241295 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 3 0 0 0
[pid=25747/tid=25754] ppid=25745 vsize=10557612 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25754/stat : 25754 (java) S 25745 25747 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830787660 10810994688 241296 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 3 0 0 0
[pid=25747/tid=25755] ppid=25745 vsize=10557612 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25755/stat : 25755 (java) S 25745 25747 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830787660 10810994688 241297 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 3 0 0 0
[pid=25747/tid=25756] ppid=25745 vsize=10557612 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25756/stat : 25756 (java) S 25745 25747 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830787660 10810994688 241298 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 7 0 0 0
[pid=25747/tid=25757] ppid=25745 vsize=10557612 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25757/stat : 25757 (java) S 25745 25747 22425 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830787660 10810994688 241299 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 7 0 0 0
[pid=25747/tid=25758] ppid=25745 vsize=10557612 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25758/stat : 25758 (java) S 25745 25747 22425 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 830787661 10810994688 241299 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606683136 0 0 0 16800975 18446604458502175744 0 0 -1 5 0 0 0
[pid=25747/tid=25759] ppid=25745 vsize=10557612 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25759/stat : 25759 (java) S 25745 25747 22425 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830787662 10810994688 241300 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 5 0 0 0
[pid=25747/tid=25760] ppid=25745 vsize=10557612 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25760/stat : 25760 (java) S 25745 25747 22425 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830787662 10810994688 241301 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 5 0 0 0
[pid=25747/tid=25761] ppid=25745 vsize=10557612 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25761/stat : 25761 (java) S 25745 25747 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830787664 10810994688 241302 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606690225 0 4 0 16800975 18446604458502175744 0 0 -1 1 0 0 0
[pid=25747/tid=25762] ppid=25745 vsize=10557612 CPUtime=0.65 cores=1,3,5,7
/proc/25747/task/25762/stat : 25762 (java) S 25745 25747 22425 0 -1 4202560 4776 0 0 0 65 0 0 0 15 0 22 0 830787664 10810994688 241303 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 3 0 0 0
[pid=25747/tid=25763] ppid=25745 vsize=10557612 CPUtime=0.54 cores=1,3,5,7
/proc/25747/task/25763/stat : 25763 (java) S 25745 25747 22425 0 -1 4202560 5771 0 0 0 54 0 0 0 15 0 22 0 830787664 10810994688 241304 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 1 0 0 0
[pid=25747/tid=25764] ppid=25745 vsize=10557612 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25764/stat : 25764 (java) S 25745 25747 22425 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830787664 10810994688 241305 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 5 0 0 0
[pid=25747/tid=25765] ppid=25745 vsize=10557612 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25765/stat : 25765 (java) S 25745 25747 22425 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830787664 10810994688 241305 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606683136 0 4 0 16800975 18446604458502175744 0 0 -1 1 0 0 0
[pid=25747/tid=25766] ppid=25745 vsize=10557612 CPUtime=0.98 cores=1,3,5,7
/proc/25747/task/25766/stat : 25766 (java) R 25745 25747 22425 0 -1 4202560 1576 0 0 0 98 0 0 0 25 0 22 0 830787869 10810994688 241306 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 46912506002404 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=25747/tid=25767] ppid=25745 vsize=10557612 CPUtime=0.98 cores=1,3,5,7
/proc/25747/task/25767/stat : 25767 (java) R 25745 25747 22425 0 -1 4202560 37908 0 0 0 94 4 0 0 25 0 22 0 830787869 10810994688 241307 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 46912505881129 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25747/tid=25768] ppid=25745 vsize=10557612 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25768/stat : 25768 (java) S 25745 25747 22425 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830787871 10810994688 241308 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606683136 0 4 0 16800975 18446604458502175744 0 0 -1 3 0 0 0
[pid=25747/tid=25769] ppid=25745 vsize=10557612 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25769/stat : 25769 (java) S 25745 25747 22425 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830787871 10810994688 241308 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606683136 0 4 0 16800975 18446604458502175744 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.29
Current children cumulated vsize (KiB) 10557612
[startup+6.30091 s]
/proc/loadavg: 3.99 3.95 3.83 5/489 25772
/proc/meminfo: memFree=27264156/32950928 swapFree=34365992/67111528
[pid=25747] ppid=25745 vsize=10557612 CPUtime=11.92 cores=1,3,5,7
/proc/25747/stat : 25747 (java) S 25745 25747 22425 0 -1 4202496 363083 0 1 0 1148 44 0 0 25 0 22 0 830787658 10810994688 358709 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25747/statm: 2639403 358710 2235 9 0 2630137 0
[pid=25747/tid=25748] ppid=25745 vsize=10557612 CPUtime=2.09 cores=1,3,5,7
/proc/25747/task/25748/stat : 25748 (java) S 25745 25747 22425 0 -1 4202560 194267 0 1 0 185 24 0 0 15 0 22 0 830787659 10810994688 358711 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606683136 0 4 0 16800975 18446604458502175744 0 0 -1 1 0 0 0
[pid=25747/tid=25750] ppid=25745 vsize=10557612 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25750/stat : 25750 (java) S 25745 25747 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830787660 10810994688 358712 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 5 0 0 0
[pid=25747/tid=25751] ppid=25745 vsize=10557612 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25751/stat : 25751 (java) S 25745 25747 22425 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830787660 10810994688 358713 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 5 0 0 0
[pid=25747/tid=25752] ppid=25745 vsize=10557612 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25752/stat : 25752 (java) S 25745 25747 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830787660 10810994688 358714 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 3 0 0 0
[pid=25747/tid=25753] ppid=25745 vsize=10557612 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25753/stat : 25753 (java) S 25745 25747 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830787660 10810994688 358715 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 3 0 0 0
[pid=25747/tid=25754] ppid=25745 vsize=10557612 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25754/stat : 25754 (java) S 25745 25747 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830787660 10810994688 358716 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 3 0 0 0
[pid=25747/tid=25755] ppid=25745 vsize=10557612 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25755/stat : 25755 (java) S 25745 25747 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830787660 10810994688 358717 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 3 0 0 0
[pid=25747/tid=25756] ppid=25745 vsize=10557612 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25756/stat : 25756 (java) S 25745 25747 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830787660 10810994688 358718 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 7 0 0 0
[pid=25747/tid=25757] ppid=25745 vsize=10557612 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25757/stat : 25757 (java) S 25745 25747 22425 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830787660 10810994688 358719 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 7 0 0 0
[pid=25747/tid=25758] ppid=25745 vsize=10557612 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25758/stat : 25758 (java) S 25745 25747 22425 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 22 0 830787661 10810994688 358721 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606683136 0 0 0 16800975 18446604458502175744 0 0 -1 5 0 0 0
[pid=25747/tid=25759] ppid=25745 vsize=10557612 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25759/stat : 25759 (java) S 25745 25747 22425 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830787662 10810994688 358721 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 5 0 0 0
[pid=25747/tid=25760] ppid=25745 vsize=10557612 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25760/stat : 25760 (java) S 25745 25747 22425 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830787662 10810994688 358723 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 5 0 0 0
[pid=25747/tid=25761] ppid=25745 vsize=10557612 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25761/stat : 25761 (java) S 25745 25747 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830787664 10810994688 358724 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606690225 0 4 0 16800975 18446604458502175744 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=23973952/32950928 swapFree=34365992/67111528
[pid=25747] ppid=25745 vsize=10557612 CPUtime=1640.35 cores=1,3,5,7
/proc/25747/stat : 25747 (java) S 25745 25747 22425 0 -1 4202496 934277 0 1 0 163920 115 0 0 25 0 22 0 830787658 10810994688 926001 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25747/statm: 2639403 926001 2264 9 0 2630137 0
[pid=25747/tid=25748] ppid=25745 vsize=10557612 CPUtime=2.09 cores=1,3,5,7
/proc/25747/task/25748/stat : 25748 (java) S 25745 25747 22425 0 -1 4202560 194276 0 1 0 185 24 0 0 15 0 22 0 830787659 10810994688 926001 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606683136 0 4 0 16800975 18446604458502175744 0 0 -1 1 0 0 0
[pid=25747/tid=25750] ppid=25745 vsize=10557612 CPUtime=0.67 cores=1,3,5,7
/proc/25747/task/25750/stat : 25750 (java) S 25745 25747 22425 0 -1 4202560 16361 0 0 0 65 2 0 0 16 0 22 0 830787660 10810994688 926001 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 1 0 0 0
[pid=25747/tid=25751] ppid=25745 vsize=10557612 CPUtime=0.76 cores=1,3,5,7
/proc/25747/task/25751/stat : 25751 (java) S 25745 25747 22425 0 -1 4202560 17225 0 0 0 73 3 0 0 15 0 22 0 830787660 10810994688 926001 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 1 0 0 0
[pid=25747/tid=25752] ppid=25745 vsize=10557612 CPUtime=0.62 cores=1,3,5,7
/proc/25747/task/25752/stat : 25752 (java) S 25745 25747 22425 0 -1 4202560 9279 0 0 0 61 1 0 0 16 0 22 0 830787660 10810994688 926001 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 5 0 0 0
[pid=25747/tid=25753] ppid=25745 vsize=10557612 CPUtime=0.58 cores=1,3,5,7
/proc/25747/task/25753/stat : 25753 (java) S 25745 25747 22425 0 -1 4202560 11092 0 0 0 57 1 0 0 16 0 22 0 830787660 10810994688 926001 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 7 0 0 0
[pid=25747/tid=25754] ppid=25745 vsize=10557612 CPUtime=0.47 cores=1,3,5,7
/proc/25747/task/25754/stat : 25754 (java) S 25745 25747 22425 0 -1 4202560 3821 0 0 0 47 0 0 0 15 0 22 0 830787660 10810994688 926001 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 3 0 0 0
[pid=25747/tid=25755] ppid=25745 vsize=10557612 CPUtime=0.66 cores=1,3,5,7
/proc/25747/task/25755/stat : 25755 (java) S 25745 25747 22425 0 -1 4202560 12115 0 0 0 64 2 0 0 15 0 22 0 830787660 10810994688 926001 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 3 0 0 0
[pid=25747/tid=25756] ppid=25745 vsize=10557612 CPUtime=0.61 cores=1,3,5,7
/proc/25747/task/25756/stat : 25756 (java) S 25745 25747 22425 0 -1 4202560 4622 0 0 0 61 0 0 0 16 0 22 0 830787660 10810994688 926001 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 3 0 0 0
[pid=25747/tid=25757] ppid=25745 vsize=10557612 CPUtime=0.54 cores=1,3,5,7
/proc/25747/task/25757/stat : 25757 (java) S 25745 25747 22425 0 -1 4202560 10496 0 0 0 53 1 0 0 15 0 22 0 830787660 10810994688 926001 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 1 0 0 0
[pid=25747/tid=25758] ppid=25745 vsize=10557612 CPUtime=6.67 cores=1,3,5,7
/proc/25747/task/25758/stat : 25758 (java) S 25745 25747 22425 0 -1 4202560 73340 0 0 0 661 6 0 0 15 0 22 0 830787661 10810994688 926001 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606683136 0 0 0 16800975 18446604458502175744 0 0 -1 3 0 0 0
[pid=25747/tid=25759] ppid=25745 vsize=10557612 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25759/stat : 25759 (java) S 25745 25747 22425 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830787662 10810994688 926001 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 5 0 0 0
[pid=25747/tid=25760] ppid=25745 vsize=10557612 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25760/stat : 25760 (java) S 25745 25747 22425 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830787662 10810994688 926001 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 5 0 0 0
[pid=25747/tid=25761] ppid=25745 vsize=10557612 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25761/stat : 25761 (java) S 25745 25747 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830787664 10810994688 926001 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606690225 0 4 0 16800975 18446604458502175744 0 0 -1 1 0 0 0
[pid=25747/tid=25762] ppid=25745 vsize=10557612 CPUtime=1.56 cores=1,3,5,7
/proc/25747/task/25762/stat : 25762 (java) S 25745 25747 22425 0 -1 4202560 8548 0 0 0 155 1 0 0 16 0 22 0 830787664 10810994688 926001 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 3 0 0 0
[pid=25747/tid=25763] ppid=25745 vsize=10557612 CPUtime=0.99 cores=1,3,5,7
/proc/25747/task/25763/stat : 25763 (java) S 25745 25747 22425 0 -1 4202560 5873 0 0 0 99 0 0 0 15 0 22 0 830787664 10810994688 926001 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 1 0 0 0
[pid=25747/tid=25764] ppid=25745 vsize=10557612 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25764/stat : 25764 (java) S 25745 25747 22425 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830787664 10810994688 926001 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 5 0 0 0
[pid=25747/tid=25765] ppid=25745 vsize=10557612 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25765/stat : 25765 (java) S 25745 25747 22425 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 22 0 830787664 10810994688 926001 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606683136 0 4 0 16800975 18446604458502175744 0 0 -1 5 0 0 0
[pid=25747/tid=25766] ppid=25745 vsize=10557612 CPUtime=811.96 cores=1,3,5,7
/proc/25747/task/25766/stat : 25766 (java) R 25745 25747 22425 0 -1 4202560 1846 0 0 0 81196 0 0 0 25 0 22 0 830787869 10810994688 926001 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 46912505948560 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25747/tid=25767] ppid=25745 vsize=10557612 CPUtime=812.02 cores=1,3,5,7
/proc/25747/task/25767/stat : 25767 (java) R 25745 25747 22425 0 -1 4202560 564174 0 0 0 81135 67 0 0 25 0 22 0 830787869 10810994688 926001 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 46912505921691 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25747/tid=25768] ppid=25745 vsize=10557612 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25768/stat : 25768 (java) S 25745 25747 22425 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830787871 10810994688 926001 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606683136 0 4 0 16800975 18446604458502175744 0 0 -1 3 0 0 0
[pid=25747/tid=25769] ppid=25745 vsize=10557612 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25769/stat : 25769 (java) S 25745 25747 22425 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830787871 10810994688 926001 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606683136 0 4 0 16800975 18446604458502175744 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1640.35
Current children cumulated vsize (KiB) 10557612
[startup+882.318 s]
/proc/loadavg: 3.83 3.97 3.91 3/462 25848
/proc/meminfo: memFree=27587268/32950928 swapFree=34365992/67111528
[pid=25747] ppid=25745 vsize=10557612 CPUtime=1760.11 cores=1,3,5,7
/proc/25747/stat : 25747 (java) S 25745 25747 22425 0 -1 4202496 936845 0 1 0 175895 116 0 0 25 0 22 0 830787658 10810994688 928539 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25747/statm: 2639403 928539 2264 9 0 2630137 0
[pid=25747/tid=25748] ppid=25745 vsize=10557612 CPUtime=2.09 cores=1,3,5,7
/proc/25747/task/25748/stat : 25748 (java) S 25745 25747 22425 0 -1 4202560 194276 0 1 0 185 24 0 0 15 0 22 0 830787659 10810994688 928539 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606683136 0 4 0 16800975 18446604458502175744 0 0 -1 1 0 0 0
[pid=25747/tid=25750] ppid=25745 vsize=10557612 CPUtime=0.71 cores=1,3,5,7
/proc/25747/task/25750/stat : 25750 (java) S 25745 25747 22425 0 -1 4202560 16615 0 0 0 69 2 0 0 16 0 22 0 830787660 10810994688 928539 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 7 0 0 0
[pid=25747/tid=25751] ppid=25745 vsize=10557612 CPUtime=0.8 cores=1,3,5,7
/proc/25747/task/25751/stat : 25751 (java) S 25745 25747 22425 0 -1 4202560 17543 0 0 0 77 3 0 0 16 0 22 0 830787660 10810994688 928539 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 1 0 0 0
[pid=25747/tid=25752] ppid=25745 vsize=10557612 CPUtime=0.66 cores=1,3,5,7
/proc/25747/task/25752/stat : 25752 (java) S 25745 25747 22425 0 -1 4202560 9570 0 0 0 65 1 0 0 15 0 22 0 830787660 10810994688 928539 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 5 0 0 0
[pid=25747/tid=25753] ppid=25745 vsize=10557612 CPUtime=0.65 cores=1,3,5,7
/proc/25747/task/25753/stat : 25753 (java) S 25745 25747 22425 0 -1 4202560 11364 0 0 0 64 1 0 0 16 0 22 0 830787660 10810994688 928539 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 5 0 0 0
[pid=25747/tid=25754] ppid=25745 vsize=10557612 CPUtime=0.5 cores=1,3,5,7
/proc/25747/task/25754/stat : 25754 (java) S 25745 25747 22425 0 -1 4202560 3865 0 0 0 50 0 0 0 16 0 22 0 830787660 10810994688 928539 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 5 0 0 0
[pid=25747/tid=25755] ppid=25745 vsize=10557612 CPUtime=0.71 cores=1,3,5,7
/proc/25747/task/25755/stat : 25755 (java) S 25745 25747 22425 0 -1 4202560 12214 0 0 0 69 2 0 0 16 0 22 0 830787660 10810994688 928539 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 3 0 0 0
[pid=25747/tid=25756] ppid=25745 vsize=10557612 CPUtime=0.65 cores=1,3,5,7
/proc/25747/task/25756/stat : 25756 (java) S 25745 25747 22425 0 -1 4202560 4730 0 0 0 65 0 0 0 16 0 22 0 830787660 10810994688 928539 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 7 0 0 0
[pid=25747/tid=25757] ppid=25745 vsize=10557612 CPUtime=0.56 cores=1,3,5,7
/proc/25747/task/25757/stat : 25757 (java) S 25745 25747 22425 0 -1 4202560 10609 0 0 0 55 1 0 0 16 0 22 0 830787660 10810994688 928539 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 1 0 0 0
[pid=25747/tid=25758] ppid=25745 vsize=10557612 CPUtime=7.11 cores=1,3,5,7
/proc/25747/task/25758/stat : 25758 (java) S 25745 25747 22425 0 -1 4202560 74403 0 0 0 705 6 0 0 15 0 22 0 830787661 10810994688 928539 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606683136 0 0 0 16800975 18446604458502175744 0 0 -1 5 0 0 0
[pid=25747/tid=25759] ppid=25745 vsize=10557612 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25759/stat : 25759 (java) S 25745 25747 22425 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830787662 10810994688 928539 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 5 0 0 0
[pid=25747/tid=25760] ppid=25745 vsize=10557612 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25760/stat : 25760 (java) S 25745 25747 22425 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830787662 10810994688 928539 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 5 0 0 0
[pid=25747/tid=25761] ppid=25745 vsize=10557612 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25761/stat : 25761 (java) S 25745 25747 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830787664 10810994688 928539 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606690225 0 4 0 16800975 18446604458502175744 0 0 -1 1 0 0 0
[pid=25747/tid=25762] ppid=25745 vsize=10557612 CPUtime=1.56 cores=1,3,5,7
/proc/25747/task/25762/stat : 25762 (java) S 25745 25747 22425 0 -1 4202560 8548 0 0 0 155 1 0 0 16 0 22 0 830787664 10810994688 928539 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 3 0 0 0
[pid=25747/tid=25763] ppid=25745 vsize=10557612 CPUtime=0.99 cores=1,3,5,7
/proc/25747/task/25763/stat : 25763 (java) S 25745 25747 22425 0 -1 4202560 5873 0 0 0 99 0 0 0 15 0 22 0 830787664 10810994688 928539 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 1 0 0 0
[pid=25747/tid=25764] ppid=25745 vsize=10557612 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25764/stat : 25764 (java) S 25745 25747 22425 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830787664 10810994688 928539 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 5 0 0 0
[pid=25747/tid=25765] ppid=25745 vsize=10557612 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25765/stat : 25765 (java) S 25745 25747 22425 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 830787664 10810994688 928539 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606683136 0 4 0 16800975 18446604458502175744 0 0 -1 3 0 0 0
[pid=25747/tid=25766] ppid=25745 vsize=10557612 CPUtime=871.46 cores=1,3,5,7
/proc/25747/task/25766/stat : 25766 (java) R 25745 25747 22425 0 -1 4202560 1850 0 0 0 87146 0 0 0 25 0 22 0 830787869 10810994688 928539 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 46912505908411 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25747/tid=25767] ppid=25745 vsize=10557612 CPUtime=871.52 cores=1,3,5,7
/proc/25747/task/25767/stat : 25767 (java) R 25745 25747 22425 0 -1 4202560 564174 0 0 0 87085 67 0 0 25 0 22 0 830787869 10810994688 928539 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 46912505921709 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25747/tid=25768] ppid=25745 vsize=10557612 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25768/stat : 25768 (java) S 25745 25747 22425 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830787871 10810994688 928539 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606683136 0 4 0 16800975 18446604458502175744 0 0 -1 3 0 0 0
[pid=25747/tid=25769] ppid=25745 vsize=10557612 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25769/stat : 25769 (java) S 25745 25747 22425 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830787871 10810994688 928539 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606683136 0 4 0 16800975 18446604458502175744 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1760.11
Current children cumulated vsize (KiB) 10557612
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+902.301 s]
/proc/loadavg: 3.31 3.84 3.87 3/462 25849
/proc/meminfo: memFree=27585912/32950928 swapFree=34365992/67111528
[pid=25747] ppid=25745 vsize=10557612 CPUtime=1800.14 cores=1,3,5,7
/proc/25747/stat : 25747 (java) S 25745 25747 22425 0 -1 4202496 937184 0 1 0 179898 116 0 0 25 0 22 0 830787658 10810994688 928872 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25747/statm: 2639403 928872 2264 9 0 2630137 0
[pid=25747/tid=25748] ppid=25745 vsize=10557612 CPUtime=2.09 cores=1,3,5,7
/proc/25747/task/25748/stat : 25748 (java) S 25745 25747 22425 0 -1 4202560 194276 0 1 0 185 24 0 0 15 0 22 0 830787659 10810994688 928872 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606683136 0 4 0 16800975 18446604458502175744 0 0 -1 1 0 0 0
[pid=25747/tid=25750] ppid=25745 vsize=10557612 CPUtime=0.71 cores=1,3,5,7
/proc/25747/task/25750/stat : 25750 (java) S 25745 25747 22425 0 -1 4202560 16615 0 0 0 69 2 0 0 15 0 22 0 830787660 10810994688 928872 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 7 0 0 0
[pid=25747/tid=25751] ppid=25745 vsize=10557612 CPUtime=0.8 cores=1,3,5,7
/proc/25747/task/25751/stat : 25751 (java) S 25745 25747 22425 0 -1 4202560 17543 0 0 0 77 3 0 0 15 0 22 0 830787660 10810994688 928872 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 1 0 0 0
[pid=25747/tid=25752] ppid=25745 vsize=10557612 CPUtime=0.68 cores=1,3,5,7
/proc/25747/task/25752/stat : 25752 (java) S 25745 25747 22425 0 -1 4202560 9652 0 0 0 67 1 0 0 16 0 22 0 830787660 10810994688 928872 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 5 0 0 0
[pid=25747/tid=25753] ppid=25745 vsize=10557612 CPUtime=0.67 cores=1,3,5,7
/proc/25747/task/25753/stat : 25753 (java) S 25745 25747 22425 0 -1 4202560 11393 0 0 0 66 1 0 0 16 0 22 0 830787660 10810994688 928872 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 7 0 0 0
[pid=25747/tid=25754] ppid=25745 vsize=10557612 CPUtime=0.5 cores=1,3,5,7
/proc/25747/task/25754/stat : 25754 (java) S 25745 25747 22425 0 -1 4202560 3865 0 0 0 50 0 0 0 15 0 22 0 830787660 10810994688 928872 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 5 0 0 0
[pid=25747/tid=25755] ppid=25745 vsize=10557612 CPUtime=0.73 cores=1,3,5,7
/proc/25747/task/25755/stat : 25755 (java) S 25745 25747 22425 0 -1 4202560 12311 0 0 0 71 2 0 0 16 0 22 0 830787660 10810994688 928872 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 3 0 0 0
[pid=25747/tid=25756] ppid=25745 vsize=10557612 CPUtime=0.65 cores=1,3,5,7
/proc/25747/task/25756/stat : 25756 (java) S 25745 25747 22425 0 -1 4202560 4730 0 0 0 65 0 0 0 15 0 22 0 830787660 10810994688 928872 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 7 0 0 0
[pid=25747/tid=25757] ppid=25745 vsize=10557612 CPUtime=0.59 cores=1,3,5,7
/proc/25747/task/25757/stat : 25757 (java) S 25745 25747 22425 0 -1 4202560 10737 0 0 0 57 2 0 0 16 0 22 0 830787660 10810994688 928872 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 1 0 0 0
[pid=25747/tid=25758] ppid=25745 vsize=10557612 CPUtime=7.11 cores=1,3,5,7
/proc/25747/task/25758/stat : 25758 (java) S 25745 25747 22425 0 -1 4202560 74403 0 0 0 705 6 0 0 15 0 22 0 830787661 10810994688 928872 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606683136 0 0 0 16800975 18446604458502175744 0 0 -1 5 0 0 0
[pid=25747/tid=25759] ppid=25745 vsize=10557612 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25759/stat : 25759 (java) S 25745 25747 22425 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830787662 10810994688 928872 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 5 0 0 0
[pid=25747/tid=25760] ppid=25745 vsize=10557612 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25760/stat : 25760 (java) S 25745 25747 22425 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830787662 10810994688 928872 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 5 0 0 0
[pid=25747/tid=25761] ppid=25745 vsize=10557612 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25761/stat : 25761 (java) S 25745 25747 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830787664 10810994688 928872 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606690225 0 4 0 16800975 18446604458502175744 0 0 -1 1 0 0 0
[pid=25747/tid=25762] ppid=25745 vsize=10557612 CPUtime=1.56 cores=1,3,5,7
/proc/25747/task/25762/stat : 25762 (java) S 25745 25747 22425 0 -1 4202560 8548 0 0 0 155 1 0 0 16 0 22 0 830787664 10810994688 928872 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 3 0 0 0
[pid=25747/tid=25763] ppid=25745 vsize=10557612 CPUtime=0.99 cores=1,3,5,7
/proc/25747/task/25763/stat : 25763 (java) S 25745 25747 22425 0 -1 4202560 5873 0 0 0 99 0 0 0 15 0 22 0 830787664 10810994688 928872 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 1 0 0 0
[pid=25747/tid=25764] ppid=25745 vsize=10557612 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25764/stat : 25764 (java) S 25745 25747 22425 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830787664 10810994688 928872 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606682521 0 4 0 16800975 18446604458502175744 0 0 -1 5 0 0 0
[pid=25747/tid=25765] ppid=25745 vsize=10557612 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25765/stat : 25765 (java) S 25745 25747 22425 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 830787664 10810994688 928872 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606683136 0 4 0 16800975 18446604458502175744 0 0 -1 3 0 0 0
[pid=25747/tid=25766] ppid=25745 vsize=10557612 CPUtime=891.43 cores=1,3,5,7
/proc/25747/task/25766/stat : 25766 (java) R 25745 25747 22425 0 -1 4202560 1851 0 0 0 89143 0 0 0 25 0 22 0 830787869 10810994688 928872 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 46912505948574 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25747/tid=25767] ppid=25745 vsize=10557612 CPUtime=891.49 cores=1,3,5,7
/proc/25747/task/25767/stat : 25767 (java) R 25745 25747 22425 0 -1 4202560 564174 0 0 0 89082 67 0 0 25 0 22 0 830787869 10810994688 928872 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 46912505921691 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25747/tid=25768] ppid=25745 vsize=10557612 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25768/stat : 25768 (java) S 25745 25747 22425 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830787871 10810994688 928872 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606683136 0 4 0 16800975 18446604458502175744 0 0 -1 3 0 0 0
[pid=25747/tid=25769] ppid=25745 vsize=10557612 CPUtime=0 cores=1,3,5,7
/proc/25747/task/25769/stat : 25769 (java) S 25745 25747 22425 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830787871 10810994688 928872 33554432000 1073741824 1073778376 140733544933232 18446744073709551615 235606683136 0 4 0 16800975 18446604458502175744 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 10557612
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+902.423 s]
/proc/loadavg: 3.31 3.84 3.87 3/462 25849
/proc/meminfo: memFree=27585912/32950928 swapFree=34365992/67111528
[pid=25747] ppid=25745 vsize=0 CPUtime=1800.33 cores=1,3,5,7
/proc/25747/stat : 25747 (java) Z 25745 25747 22425 0 -1 4203548 937218 0 1 0 179911 122 0 0 17 0 2 0 830787658 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25747/statm: 0 0 0 0 0 0 0
[pid=25747/tid=25766] ppid=25745 vsize=0 CPUtime=891.53 cores=1,3,5,7
/proc/25747/task/25766/stat : 25766 (java) R 25745 25747 22425 0 -1 4203588 1851 0 0 0 89147 6 0 0 25 0 2 0 830787869 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 902.495
CPU time (s): 1800.42
CPU user time (s): 1799.12
CPU system time (s): 1.2998
CPU usage (%): 199.493
Max. virtual memory (cumulated for all children) (KiB): 10557612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.12
system time used= 1.2998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 937218
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= 22637
involuntary context switches= 16372
runsolver used 4.19636 second user time and 9.79351 second system time
The end