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-3478859-1307442169/watcher-3478859-1307442169 -o /tmp/evaluation-result-3478859-1307442169/solver-3478859-1307442169 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3478859-1307442169.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.14 2.08 2.02 2/442 24788
/proc/meminfo: memFree=21465676/32951124 swapFree=44043516/67111528
[pid=24788] ppid=24786 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/24788/stat : 24788 (java) S 24786 24788 24324 0 -1 4202496 1962 0 1 0 0 0 0 0 25 0 2 0 855815171 10681323520 1664 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528636901 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/24788/statm: 2607745 1678 906 9 0 2598901 0
[pid=24788/tid=24789] ppid=24786 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24789/stat : 24789 (java) R 24786 24788 24324 0 -1 4202560 3406 0 1 0 0 0 0 0 25 0 2 0 855815172 10694979584 4222 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246516528187 0 4 0 16784584 0 0 0 -1 0 0 0 0
[startup+0.018624 s]
/proc/loadavg: 2.14 2.08 2.02 2/442 24788
/proc/meminfo: memFree=21465676/32951124 swapFree=44043516/67111528
[pid=24788] ppid=24786 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/24788/stat : 24788 (java) S 24786 24788 24324 0 -1 4202496 5969 0 1 0 0 0 0 0 25 0 2 0 855815171 10694979584 5670 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528636901 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/24788/statm: 2611079 5682 917 9 0 2602235 0
[pid=24788/tid=24789] ppid=24786 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24789/stat : 24789 (java) R 24786 24788 24324 0 -1 4202560 4877 0 1 0 0 0 0 0 25 0 2 0 855815172 10694979584 5693 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246516528187 0 4 0 16784584 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10444316
[startup+0.104647 s]
/proc/loadavg: 2.14 2.08 2.02 2/442 24788
/proc/meminfo: memFree=21465676/32951124 swapFree=44043516/67111528
[pid=24788] ppid=24786 vsize=10540476 CPUtime=0.1 cores=0,2,4,6
/proc/24788/stat : 24788 (java) S 24786 24788 24324 0 -1 4202496 12957 0 1 0 9 1 0 0 25 0 18 0 855815171 10793447424 12653 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24788/statm: 2635119 12653 2092 9 0 2625853 0
[pid=24788/tid=24789] ppid=24786 vsize=10540476 CPUtime=0.08 cores=0,2,4,6
/proc/24788/task/24789/stat : 24789 (java) R 24786 24788 24324 0 -1 4202560 11178 0 1 0 7 1 0 0 18 0 18 0 855815172 10793447424 12653 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 47253598568014 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540476
[startup+0.325484 s]
/proc/loadavg: 2.14 2.08 2.02 2/442 24788
/proc/meminfo: memFree=21465676/32951124 swapFree=44043516/67111528
[pid=24788] ppid=24786 vsize=10543548 CPUtime=0.56 cores=0,2,4,6
/proc/24788/stat : 24788 (java) S 24786 24788 24324 0 -1 4202496 16668 0 1 0 54 2 0 0 25 0 18 0 855815171 10796593152 16364 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24788/statm: 2635887 16366 2202 9 0 2626621 0
[pid=24788/tid=24789] ppid=24786 vsize=10543548 CPUtime=0.3 cores=0,2,4,6
/proc/24788/task/24789/stat : 24789 (java) R 24786 24788 24324 0 -1 4202560 13912 0 1 0 29 1 0 0 18 0 18 0 855815172 10796593152 16367 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 46912505611103 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 10543548
[startup+0.700552 s]
/proc/loadavg: 2.14 2.08 2.02 2/442 24788
/proc/meminfo: memFree=21465676/32951124 swapFree=44043516/67111528
[pid=24788] ppid=24786 vsize=10549692 CPUtime=1.12 cores=0,2,4,6
/proc/24788/stat : 24788 (java) S 24786 24788 24324 0 -1 4202496 50971 0 1 0 107 5 0 0 25 0 18 0 855815171 10802884608 50533 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24788/statm: 2637423 50537 2213 9 0 2628157 0
[pid=24788/tid=24789] ppid=24786 vsize=10549692 CPUtime=0.68 cores=0,2,4,6
/proc/24788/task/24789/stat : 24789 (java) R 24786 24788 24324 0 -1 4202560 46822 0 1 0 63 5 0 0 18 0 18 0 855815172 10802884608 50540 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 46912505575754 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 10549692
[startup+1.50141 s]
/proc/loadavg: 2.13 2.08 2.02 3/460 24806
/proc/meminfo: memFree=21143080/32951124 swapFree=44043516/67111528
[pid=24788] ppid=24786 vsize=10549692 CPUtime=1.94 cores=0,2,4,6
/proc/24788/stat : 24788 (java) S 24786 24788 24324 0 -1 4202496 137237 0 1 0 178 16 0 0 25 0 18 0 855815171 10802884608 136798 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24788/statm: 2637423 136803 2214 9 0 2628157 0
[pid=24788/tid=24789] ppid=24786 vsize=10549692 CPUtime=1.48 cores=0,2,4,6
/proc/24788/task/24789/stat : 24789 (java) R 24786 24788 24324 0 -1 4202560 133084 0 1 0 133 15 0 0 18 0 18 0 855815172 10802884608 136805 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 46912505652750 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=24788/tid=24791] ppid=24786 vsize=10549692 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24791/stat : 24791 (java) S 24786 24788 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855815174 10802884608 136808 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 2 0 0 0
[pid=24788/tid=24792] ppid=24786 vsize=10549692 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24792/stat : 24792 (java) S 24786 24788 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855815174 10802884608 136811 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 6 0 0 0
[pid=24788/tid=24793] ppid=24786 vsize=10549692 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24793/stat : 24793 (java) S 24786 24788 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855815174 10802884608 136814 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 2 0 0 0
[pid=24788/tid=24794] ppid=24786 vsize=10549692 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24794/stat : 24794 (java) S 24786 24788 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855815174 10802884608 136817 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 6 0 0 0
[pid=24788/tid=24795] ppid=24786 vsize=10549692 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24795/stat : 24795 (java) S 24786 24788 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855815174 10802884608 136819 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 2 0 0 0
[pid=24788/tid=24796] ppid=24786 vsize=10549692 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24796/stat : 24796 (java) S 24786 24788 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855815174 10802884608 136822 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 2 0 0 0
[pid=24788/tid=24797] ppid=24786 vsize=10549692 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24797/stat : 24797 (java) S 24786 24788 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855815174 10802884608 136825 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 6 0 0 0
[pid=24788/tid=24798] ppid=24786 vsize=10549692 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24798/stat : 24798 (java) S 24786 24788 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855815174 10802884608 136827 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 6 0 0 0
[pid=24788/tid=24799] ppid=24786 vsize=10549692 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24799/stat : 24799 (java) S 24786 24788 24324 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 855815175 10802884608 136830 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650752 0 0 0 16800975 18446604442914824512 0 0 -1 6 0 0 0
[pid=24788/tid=24800] ppid=24786 vsize=10549692 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24800/stat : 24800 (java) S 24786 24788 24324 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 855815175 10802884608 136832 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 6 0 0 0
[pid=24788/tid=24801] ppid=24786 vsize=10549692 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24801/stat : 24801 (java) S 24786 24788 24324 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 855815175 10802884608 136834 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 2 0 0 0
[pid=24788/tid=24802] ppid=24786 vsize=10549692 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24802/stat : 24802 (java) S 24786 24788 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855815177 10802884608 136837 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528657841 0 4 0 16800975 18446604442914824512 0 0 -1 6 0 0 0
[pid=24788/tid=24803] ppid=24786 vsize=10549692 CPUtime=0.18 cores=0,2,4,6
/proc/24788/task/24803/stat : 24803 (java) S 24786 24788 24324 0 -1 4202560 1274 0 0 0 18 0 0 0 15 0 18 0 855815177 10802884608 136840 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 6 0 0 0
[pid=24788/tid=24804] ppid=24786 vsize=10549692 CPUtime=0.26 cores=0,2,4,6
/proc/24788/task/24804/stat : 24804 (java) S 24786 24788 24324 0 -1 4202560 1734 0 0 0 26 0 0 0 18 0 18 0 855815177 10802884608 136842 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 0 0 0 0
[pid=24788/tid=24805] ppid=24786 vsize=10549692 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24805/stat : 24805 (java) S 24786 24788 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855815177 10802884608 136845 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 6 0 0 0
[pid=24788/tid=24806] ppid=24786 vsize=10549692 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24806/stat : 24806 (java) S 24786 24788 24324 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 855815177 10802884608 136848 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650752 0 4 0 16800975 18446604442914824512 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.94
Current children cumulated vsize (KiB) 10549692
[startup+3.10109 s]
/proc/loadavg: 2.13 2.08 2.02 3/460 24806
/proc/meminfo: memFree=20666424/32951124 swapFree=44043516/67111528
[pid=24788] ppid=24786 vsize=10549692 CPUtime=3.56 cores=0,2,4,6
/proc/24788/stat : 24788 (java) S 24786 24788 24324 0 -1 4202496 306533 0 1 0 319 37 0 0 25 0 18 0 855815171 10802884608 306094 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24788/statm: 2637423 306098 2214 9 0 2628157 0
[pid=24788/tid=24789] ppid=24786 vsize=10549692 CPUtime=3.08 cores=0,2,4,6
/proc/24788/task/24789/stat : 24789 (java) R 24786 24788 24324 0 -1 4202560 302377 0 1 0 272 36 0 0 21 0 18 0 855815172 10802884608 306101 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 46912505592208 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=24788/tid=24791] ppid=24786 vsize=10549692 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24791/stat : 24791 (java) S 24786 24788 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855815174 10802884608 306103 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 2 0 0 0
[pid=24788/tid=24792] ppid=24786 vsize=10549692 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24792/stat : 24792 (java) S 24786 24788 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855815174 10802884608 306106 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 6 0 0 0
[pid=24788/tid=24793] ppid=24786 vsize=10549692 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24793/stat : 24793 (java) S 24786 24788 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855815174 10802884608 306108 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 2 0 0 0
[pid=24788/tid=24794] ppid=24786 vsize=10549692 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24794/stat : 24794 (java) S 24786 24788 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855815174 10802884608 306111 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 6 0 0 0
[pid=24788/tid=24795] ppid=24786 vsize=10549692 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24795/stat : 24795 (java) S 24786 24788 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855815174 10802884608 306114 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 2 0 0 0
[pid=24788/tid=24796] ppid=24786 vsize=10549692 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24796/stat : 24796 (java) S 24786 24788 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855815174 10802884608 306116 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 2 0 0 0
[pid=24788/tid=24797] ppid=24786 vsize=10549692 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24797/stat : 24797 (java) S 24786 24788 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855815174 10802884608 306119 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 6 0 0 0
[pid=24788/tid=24798] ppid=24786 vsize=10549692 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24798/stat : 24798 (java) S 24786 24788 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855815174 10802884608 306122 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 6 0 0 0
[pid=24788/tid=24799] ppid=24786 vsize=10549692 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24799/stat : 24799 (java) S 24786 24788 24324 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 18 0 855815175 10802884608 306124 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650752 0 0 0 16800975 18446604442914824512 0 0 -1 6 0 0 0
[pid=24788/tid=24800] ppid=24786 vsize=10549692 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24800/stat : 24800 (java) S 24786 24788 24324 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 855815175 10802884608 306127 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 6 0 0 0
[pid=24788/tid=24801] ppid=24786 vsize=10549692 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24801/stat : 24801 (java) S 24786 24788 24324 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 855815175 10802884608 306130 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 2 0 0 0
[pid=24788/tid=24802] ppid=24786 vsize=10549692 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24802/stat : 24802 (java) S 24786 24788 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855815177 10802884608 306132 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528657841 0 4 0 16800975 18446604442914824512 0 0 -1 6 0 0 0
[pid=24788/tid=24803] ppid=24786 vsize=10549692 CPUtime=0.18 cores=0,2,4,6
/proc/24788/task/24803/stat : 24803 (java) S 24786 24788 24324 0 -1 4202560 1274 0 0 0 18 0 0 0 15 0 18 0 855815177 10802884608 306135 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 6 0 0 0
[pid=24788/tid=24804] ppid=24786 vsize=10549692 CPUtime=0.28 cores=0,2,4,6
/proc/24788/task/24804/stat : 24804 (java) S 24786 24788 24324 0 -1 4202560 1737 0 0 0 28 0 0 0 15 0 18 0 855815177 10802884608 306137 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 0 0 0 0
[pid=24788/tid=24805] ppid=24786 vsize=10549692 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24805/stat : 24805 (java) S 24786 24788 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855815177 10802884608 306140 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 6 0 0 0
[pid=24788/tid=24806] ppid=24786 vsize=10549692 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24806/stat : 24806 (java) S 24786 24788 24324 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 855815177 10802884608 306143 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650752 0 4 0 16800975 18446604442914824512 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.56
Current children cumulated vsize (KiB) 10549692
[startup+6.30154 s]
/proc/loadavg: 2.13 2.08 2.02 3/461 24807
/proc/meminfo: memFree=19522628/32951124 swapFree=44043516/67111528
[pid=24788] ppid=24786 vsize=10550720 CPUtime=7.47 cores=0,2,4,6
/proc/24788/stat : 24788 (java) S 24786 24788 24324 0 -1 4202496 543714 0 1 0 679 68 0 0 25 0 19 0 855815171 10803937280 539902 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24788/statm: 2637680 539906 2229 9 0 2628414 0
[pid=24788/tid=24789] ppid=24786 vsize=10550720 CPUtime=6.28 cores=0,2,4,6
/proc/24788/task/24789/stat : 24789 (java) R 24786 24788 24324 0 -1 4202560 531295 0 1 0 562 66 0 0 19 0 19 0 855815172 10803937280 539908 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 46912505788904 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=24788/tid=24791] ppid=24786 vsize=10550720 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24791/stat : 24791 (java) S 24786 24788 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855815174 10803937280 539910 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 2 0 0 0
[pid=24788/tid=24792] ppid=24786 vsize=10550720 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24792/stat : 24792 (java) S 24786 24788 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855815174 10803937280 539912 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 6 0 0 0
[pid=24788/tid=24793] ppid=24786 vsize=10550720 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24793/stat : 24793 (java) S 24786 24788 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855815174 10803937280 539914 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 2 0 0 0
[pid=24788/tid=24794] ppid=24786 vsize=10550720 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24794/stat : 24794 (java) S 24786 24788 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855815174 10803937280 539916 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 6 0 0 0
[pid=24788/tid=24795] ppid=24786 vsize=10550720 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24795/stat : 24795 (java) S 24786 24788 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855815174 10803937280 539918 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 2 0 0 0
[pid=24788/tid=24796] ppid=24786 vsize=10550720 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24796/stat : 24796 (java) S 24786 24788 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855815174 10803937280 539920 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 2 0 0 0
[pid=24788/tid=24797] ppid=24786 vsize=10550720 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24797/stat : 24797 (java) S 24786 24788 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855815174 10803937280 539923 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 6 0 0 0
[pid=24788/tid=24798] ppid=24786 vsize=10550720 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24798/stat : 24798 (java) S 24786 24788 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855815174 10803937280 539925 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 6 0 0 0
[pid=24788/tid=24799] ppid=24786 vsize=10550720 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24799/stat : 24799 (java) S 24786 24788 24324 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 855815175 10803937280 539927 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650752 0 0 0 16800975 18446604442914824512 0 0 -1 2 0 0 0
[pid=24788/tid=24800] ppid=24786 vsize=10550720 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24800/stat : 24800 (java) S 24786 24788 24324 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 855815175 10803937280 539929 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 6 0 0 0
[pid=24788/tid=24801] ppid=24786 vsize=10550720 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24801/stat : 24801 (java) S 24786 24788 24324 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 855815175 10803937280 539931 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 2 0 0 0
[pid=24788/tid=24802] ppid=24786 vsize=10550720 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24802/stat : 24802 (java) S 24786 24788 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855815177 10803937280 539933 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528657841 0 4 0 16800975 18446604442914824512 0 0 -1 6 0 0 0
[pid=24788/tid=24803] ppid=24786 vsize=10550720 CPUtime=0.37 cores=0,2,4,6
/proc/24788/task/24803/stat : 24803 (java) S 24786 24788 24324 0 -1 4202560 1341 0 0 0 37 0 0 0 15 0 19 0 855815177 10803937280 539935 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 4 0 0 0
[pid=24788/tid=24804] ppid=24786 vsize=10550720 CPUtime=0.8 cores=0,2,4,6
/proc/24788/task/24804/stat : 24804 (java) S 24786 24788 24324 0 -1 4202560 9920 0 0 0 79 1 0 0 15 0 19 0 855815177 10803937280 539937 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 0 0 0 0
[pid=24788/tid=24805] ppid=24786 vsize=10550720 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24805/stat : 24805 (java) S 24786 24788 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855815177 10803937280 539939 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 6 0 0 0
[pid=24788/tid=24806] ppid=24786 vsize=10550720 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24806/stat : 24806 (java) S 24786 24788 24324 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 855815177 10803937280 539941 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650752 0 4 0 16800975 18446604442914824512 0 0 -1 0 0 0 0
################
# More data... #
################
/proc/24788/task/24801/stat : 24801 (java) S 24786 24788 24324 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 855815175 10803937280 904717 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 2 0 0 0
[pid=24788/tid=24802] ppid=24786 vsize=10550720 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24802/stat : 24802 (java) S 24786 24788 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855815177 10803937280 904717 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528657841 0 4 0 16800975 18446604442914824512 0 0 -1 6 0 0 0
[pid=24788/tid=24803] ppid=24786 vsize=10550720 CPUtime=0.68 cores=0,2,4,6
/proc/24788/task/24803/stat : 24803 (java) S 24786 24788 24324 0 -1 4202560 1636 0 0 0 68 0 0 0 15 0 19 0 855815177 10803937280 904717 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 4 0 0 0
[pid=24788/tid=24804] ppid=24786 vsize=10550720 CPUtime=1.3 cores=0,2,4,6
/proc/24788/task/24804/stat : 24804 (java) S 24786 24788 24324 0 -1 4202560 10031 0 0 0 129 1 0 0 15 0 19 0 855815177 10803937280 904717 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 0 0 0 0
[pid=24788/tid=24805] ppid=24786 vsize=10550720 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24805/stat : 24805 (java) S 24786 24788 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855815177 10803937280 904717 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 6 0 0 0
[pid=24788/tid=24806] ppid=24786 vsize=10550720 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24806/stat : 24806 (java) S 24786 24788 24324 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 855815177 10803937280 904717 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650752 0 4 0 16800975 18446604442914824512 0 0 -1 4 0 0 0
[pid=24788/tid=24807] ppid=24786 vsize=10550720 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24807/stat : 24807 (java) S 24786 24788 24324 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 855815600 10803937280 904717 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650752 0 4 0 16800975 18446604442914824512 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1666.81
Current children cumulated vsize (KiB) 10550720
[startup+1722.3 s]
/proc/loadavg: 2.16 2.04 2.01 3/461 24901
/proc/meminfo: memFree=18215168/32951124 swapFree=44043516/67111528
[pid=24788] ppid=24786 vsize=10550720 CPUtime=1726.85 cores=0,2,4,6
/proc/24788/stat : 24788 (java) S 24786 24788 24324 0 -1 4202496 910077 0 1 0 172573 112 0 0 25 0 19 0 855815171 10803937280 904831 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24788/statm: 2637680 904831 2264 9 0 2628414 0
[pid=24788/tid=24789] ppid=24786 vsize=10550720 CPUtime=1720.57 cores=0,2,4,6
/proc/24788/task/24789/stat : 24789 (java) R 24786 24788 24324 0 -1 4202560 794033 0 1 0 171963 94 0 0 25 0 19 0 855815172 10803937280 904831 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 46912505830936 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24788/tid=24791] ppid=24786 vsize=10550720 CPUtime=0.39 cores=0,2,4,6
/proc/24788/task/24791/stat : 24791 (java) S 24786 24788 24324 0 -1 4202560 12034 0 0 0 38 1 0 0 16 0 19 0 855815174 10803937280 904831 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 0 0 0 0
[pid=24788/tid=24792] ppid=24786 vsize=10550720 CPUtime=0.59 cores=0,2,4,6
/proc/24788/task/24792/stat : 24792 (java) S 24786 24788 24324 0 -1 4202560 15109 0 0 0 57 2 0 0 16 0 19 0 855815174 10803937280 904831 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 6 0 0 0
[pid=24788/tid=24793] ppid=24786 vsize=10550720 CPUtime=0.42 cores=0,2,4,6
/proc/24788/task/24793/stat : 24793 (java) S 24786 24788 24324 0 -1 4202560 8309 0 0 0 41 1 0 0 15 0 19 0 855815174 10803937280 904831 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 6 0 0 0
[pid=24788/tid=24794] ppid=24786 vsize=10550720 CPUtime=0.45 cores=0,2,4,6
/proc/24788/task/24794/stat : 24794 (java) S 24786 24788 24324 0 -1 4202560 15912 0 0 0 43 2 0 0 15 0 19 0 855815174 10803937280 904831 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 6 0 0 0
[pid=24788/tid=24795] ppid=24786 vsize=10550720 CPUtime=0.49 cores=0,2,4,6
/proc/24788/task/24795/stat : 24795 (java) S 24786 24788 24324 0 -1 4202560 12265 0 0 0 48 1 0 0 15 0 19 0 855815174 10803937280 904831 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 4 0 0 0
[pid=24788/tid=24796] ppid=24786 vsize=10550720 CPUtime=0.62 cores=0,2,4,6
/proc/24788/task/24796/stat : 24796 (java) S 24786 24788 24324 0 -1 4202560 19926 0 0 0 59 3 0 0 15 0 19 0 855815174 10803937280 904831 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 0 0 0 0
[pid=24788/tid=24797] ppid=24786 vsize=10550720 CPUtime=0.27 cores=0,2,4,6
/proc/24788/task/24797/stat : 24797 (java) S 24786 24788 24324 0 -1 4202560 6624 0 0 0 26 1 0 0 16 0 19 0 855815174 10803937280 904831 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 4 0 0 0
[pid=24788/tid=24798] ppid=24786 vsize=10550720 CPUtime=0.48 cores=0,2,4,6
/proc/24788/task/24798/stat : 24798 (java) S 24786 24788 24324 0 -1 4202560 9398 0 0 0 47 1 0 0 15 0 19 0 855815174 10803937280 904831 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 4 0 0 0
[pid=24788/tid=24799] ppid=24786 vsize=10550720 CPUtime=0.5 cores=0,2,4,6
/proc/24788/task/24799/stat : 24799 (java) S 24786 24788 24324 0 -1 4202560 3549 0 0 0 50 0 0 0 15 0 19 0 855815175 10803937280 904831 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650752 0 0 0 16800975 18446604442914824512 0 0 -1 2 0 0 0
[pid=24788/tid=24800] ppid=24786 vsize=10550720 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24800/stat : 24800 (java) S 24786 24788 24324 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 855815175 10803937280 904831 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 6 0 0 0
[pid=24788/tid=24801] ppid=24786 vsize=10550720 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24801/stat : 24801 (java) S 24786 24788 24324 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 855815175 10803937280 904831 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 2 0 0 0
[pid=24788/tid=24802] ppid=24786 vsize=10550720 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24802/stat : 24802 (java) S 24786 24788 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855815177 10803937280 904831 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528657841 0 4 0 16800975 18446604442914824512 0 0 -1 6 0 0 0
[pid=24788/tid=24803] ppid=24786 vsize=10550720 CPUtime=0.68 cores=0,2,4,6
/proc/24788/task/24803/stat : 24803 (java) S 24786 24788 24324 0 -1 4202560 1636 0 0 0 68 0 0 0 15 0 19 0 855815177 10803937280 904831 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 4 0 0 0
[pid=24788/tid=24804] ppid=24786 vsize=10550720 CPUtime=1.3 cores=0,2,4,6
/proc/24788/task/24804/stat : 24804 (java) S 24786 24788 24324 0 -1 4202560 10031 0 0 0 129 1 0 0 15 0 19 0 855815177 10803937280 904831 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 0 0 0 0
[pid=24788/tid=24805] ppid=24786 vsize=10550720 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24805/stat : 24805 (java) S 24786 24788 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855815177 10803937280 904831 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 6 0 0 0
[pid=24788/tid=24806] ppid=24786 vsize=10550720 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24806/stat : 24806 (java) S 24786 24788 24324 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 855815177 10803937280 904831 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650752 0 4 0 16800975 18446604442914824512 0 0 -1 4 0 0 0
[pid=24788/tid=24807] ppid=24786 vsize=10550720 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24807/stat : 24807 (java) S 24786 24788 24324 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 855815600 10803937280 904831 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650752 0 4 0 16800975 18446604442914824512 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1726.85
Current children cumulated vsize (KiB) 10550720
[startup+1782.3 s]
/proc/loadavg: 2.30 2.10 2.03 3/461 24902
/proc/meminfo: memFree=18211680/32951124 swapFree=44043516/67111528
[pid=24788] ppid=24786 vsize=10550720 CPUtime=1786.89 cores=0,2,4,6
/proc/24788/stat : 24788 (java) S 24786 24788 24324 0 -1 4202496 910109 0 1 0 178576 113 0 0 25 0 19 0 855815171 10803937280 904853 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24788/statm: 2637680 904853 2264 9 0 2628414 0
[pid=24788/tid=24789] ppid=24786 vsize=10550720 CPUtime=1780.55 cores=0,2,4,6
/proc/24788/task/24789/stat : 24789 (java) R 24786 24788 24324 0 -1 4202560 794035 0 1 0 177960 95 0 0 25 0 19 0 855815172 10803937280 904853 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 46912505830968 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24788/tid=24791] ppid=24786 vsize=10550720 CPUtime=0.4 cores=0,2,4,6
/proc/24788/task/24791/stat : 24791 (java) S 24786 24788 24324 0 -1 4202560 12037 0 0 0 39 1 0 0 16 0 19 0 855815174 10803937280 904853 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 4 0 0 0
[pid=24788/tid=24792] ppid=24786 vsize=10550720 CPUtime=0.6 cores=0,2,4,6
/proc/24788/task/24792/stat : 24792 (java) S 24786 24788 24324 0 -1 4202560 15116 0 0 0 58 2 0 0 15 0 19 0 855815174 10803937280 904853 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 6 0 0 0
[pid=24788/tid=24793] ppid=24786 vsize=10550720 CPUtime=0.43 cores=0,2,4,6
/proc/24788/task/24793/stat : 24793 (java) S 24786 24788 24324 0 -1 4202560 8315 0 0 0 42 1 0 0 16 0 19 0 855815174 10803937280 904853 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 6 0 0 0
[pid=24788/tid=24794] ppid=24786 vsize=10550720 CPUtime=0.46 cores=0,2,4,6
/proc/24788/task/24794/stat : 24794 (java) S 24786 24788 24324 0 -1 4202560 15913 0 0 0 44 2 0 0 16 0 19 0 855815174 10803937280 904853 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 0 0 0 0
[pid=24788/tid=24795] ppid=24786 vsize=10550720 CPUtime=0.5 cores=0,2,4,6
/proc/24788/task/24795/stat : 24795 (java) S 24786 24788 24324 0 -1 4202560 12270 0 0 0 49 1 0 0 15 0 19 0 855815174 10803937280 904853 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 4 0 0 0
[pid=24788/tid=24796] ppid=24786 vsize=10550720 CPUtime=0.62 cores=0,2,4,6
/proc/24788/task/24796/stat : 24796 (java) S 24786 24788 24324 0 -1 4202560 19926 0 0 0 59 3 0 0 15 0 19 0 855815174 10803937280 904853 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 0 0 0 0
[pid=24788/tid=24797] ppid=24786 vsize=10550720 CPUtime=0.27 cores=0,2,4,6
/proc/24788/task/24797/stat : 24797 (java) S 24786 24788 24324 0 -1 4202560 6624 0 0 0 26 1 0 0 15 0 19 0 855815174 10803937280 904853 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 4 0 0 0
[pid=24788/tid=24798] ppid=24786 vsize=10550720 CPUtime=0.48 cores=0,2,4,6
/proc/24788/task/24798/stat : 24798 (java) S 24786 24788 24324 0 -1 4202560 9398 0 0 0 47 1 0 0 15 0 19 0 855815174 10803937280 904853 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 4 0 0 0
[pid=24788/tid=24799] ppid=24786 vsize=10550720 CPUtime=0.5 cores=0,2,4,6
/proc/24788/task/24799/stat : 24799 (java) S 24786 24788 24324 0 -1 4202560 3553 0 0 0 50 0 0 0 15 0 19 0 855815175 10803937280 904853 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650752 0 0 0 16800975 18446604442914824512 0 0 -1 2 0 0 0
[pid=24788/tid=24800] ppid=24786 vsize=10550720 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24800/stat : 24800 (java) S 24786 24788 24324 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 855815175 10803937280 904853 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 6 0 0 0
[pid=24788/tid=24801] ppid=24786 vsize=10550720 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24801/stat : 24801 (java) S 24786 24788 24324 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 855815175 10803937280 904853 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 2 0 0 0
[pid=24788/tid=24802] ppid=24786 vsize=10550720 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24802/stat : 24802 (java) S 24786 24788 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855815177 10803937280 904853 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528657841 0 4 0 16800975 18446604442914824512 0 0 -1 6 0 0 0
[pid=24788/tid=24803] ppid=24786 vsize=10550720 CPUtime=0.68 cores=0,2,4,6
/proc/24788/task/24803/stat : 24803 (java) S 24786 24788 24324 0 -1 4202560 1636 0 0 0 68 0 0 0 15 0 19 0 855815177 10803937280 904853 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 4 0 0 0
[pid=24788/tid=24804] ppid=24786 vsize=10550720 CPUtime=1.3 cores=0,2,4,6
/proc/24788/task/24804/stat : 24804 (java) S 24786 24788 24324 0 -1 4202560 10031 0 0 0 129 1 0 0 15 0 19 0 855815177 10803937280 904853 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 0 0 0 0
[pid=24788/tid=24805] ppid=24786 vsize=10550720 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24805/stat : 24805 (java) S 24786 24788 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855815177 10803937280 904853 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 6 0 0 0
[pid=24788/tid=24806] ppid=24786 vsize=10550720 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24806/stat : 24806 (java) S 24786 24788 24324 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 855815177 10803937280 904853 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650752 0 4 0 16800975 18446604442914824512 0 0 -1 4 0 0 0
[pid=24788/tid=24807] ppid=24786 vsize=10550720 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24807/stat : 24807 (java) S 24786 24788 24324 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 855815600 10803937280 904853 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650752 0 4 0 16800975 18446604442914824512 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1786.89
Current children cumulated vsize (KiB) 10550720
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.5 s]
/proc/loadavg: 2.23 2.09 2.02 4/461 24903
/proc/meminfo: memFree=18210932/32951124 swapFree=44043516/67111528
[pid=24788] ppid=24786 vsize=10550720 CPUtime=1800.11 cores=0,2,4,6
/proc/24788/stat : 24788 (java) S 24786 24788 24324 0 -1 4202496 910109 0 1 0 179898 113 0 0 25 0 19 0 855815171 10803937280 904853 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24788/statm: 2637680 904853 2264 9 0 2628414 0
[pid=24788/tid=24789] ppid=24786 vsize=10550720 CPUtime=1793.76 cores=0,2,4,6
/proc/24788/task/24789/stat : 24789 (java) R 24786 24788 24324 0 -1 4202560 794035 0 1 0 179281 95 0 0 25 0 19 0 855815172 10803937280 904853 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 46912505870690 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24788/tid=24791] ppid=24786 vsize=10550720 CPUtime=0.4 cores=0,2,4,6
/proc/24788/task/24791/stat : 24791 (java) S 24786 24788 24324 0 -1 4202560 12037 0 0 0 39 1 0 0 16 0 19 0 855815174 10803937280 904853 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 4 0 0 0
[pid=24788/tid=24792] ppid=24786 vsize=10550720 CPUtime=0.6 cores=0,2,4,6
/proc/24788/task/24792/stat : 24792 (java) S 24786 24788 24324 0 -1 4202560 15116 0 0 0 58 2 0 0 15 0 19 0 855815174 10803937280 904853 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 6 0 0 0
[pid=24788/tid=24793] ppid=24786 vsize=10550720 CPUtime=0.43 cores=0,2,4,6
/proc/24788/task/24793/stat : 24793 (java) S 24786 24788 24324 0 -1 4202560 8315 0 0 0 42 1 0 0 16 0 19 0 855815174 10803937280 904853 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 6 0 0 0
[pid=24788/tid=24794] ppid=24786 vsize=10550720 CPUtime=0.46 cores=0,2,4,6
/proc/24788/task/24794/stat : 24794 (java) S 24786 24788 24324 0 -1 4202560 15913 0 0 0 44 2 0 0 16 0 19 0 855815174 10803937280 904853 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 0 0 0 0
[pid=24788/tid=24795] ppid=24786 vsize=10550720 CPUtime=0.5 cores=0,2,4,6
/proc/24788/task/24795/stat : 24795 (java) S 24786 24788 24324 0 -1 4202560 12270 0 0 0 49 1 0 0 15 0 19 0 855815174 10803937280 904853 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 4 0 0 0
[pid=24788/tid=24796] ppid=24786 vsize=10550720 CPUtime=0.62 cores=0,2,4,6
/proc/24788/task/24796/stat : 24796 (java) S 24786 24788 24324 0 -1 4202560 19926 0 0 0 59 3 0 0 15 0 19 0 855815174 10803937280 904853 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 0 0 0 0
[pid=24788/tid=24797] ppid=24786 vsize=10550720 CPUtime=0.27 cores=0,2,4,6
/proc/24788/task/24797/stat : 24797 (java) S 24786 24788 24324 0 -1 4202560 6624 0 0 0 26 1 0 0 15 0 19 0 855815174 10803937280 904853 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 4 0 0 0
[pid=24788/tid=24798] ppid=24786 vsize=10550720 CPUtime=0.48 cores=0,2,4,6
/proc/24788/task/24798/stat : 24798 (java) S 24786 24788 24324 0 -1 4202560 9398 0 0 0 47 1 0 0 15 0 19 0 855815174 10803937280 904853 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 4 0 0 0
[pid=24788/tid=24799] ppid=24786 vsize=10550720 CPUtime=0.5 cores=0,2,4,6
/proc/24788/task/24799/stat : 24799 (java) S 24786 24788 24324 0 -1 4202560 3553 0 0 0 50 0 0 0 15 0 19 0 855815175 10803937280 904853 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650752 0 0 0 16800975 18446604442914824512 0 0 -1 2 0 0 0
[pid=24788/tid=24800] ppid=24786 vsize=10550720 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24800/stat : 24800 (java) S 24786 24788 24324 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 855815175 10803937280 904853 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 6 0 0 0
[pid=24788/tid=24801] ppid=24786 vsize=10550720 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24801/stat : 24801 (java) S 24786 24788 24324 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 855815175 10803937280 904853 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 2 0 0 0
[pid=24788/tid=24802] ppid=24786 vsize=10550720 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24802/stat : 24802 (java) S 24786 24788 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855815177 10803937280 904853 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528657841 0 4 0 16800975 18446604442914824512 0 0 -1 6 0 0 0
[pid=24788/tid=24803] ppid=24786 vsize=10550720 CPUtime=0.68 cores=0,2,4,6
/proc/24788/task/24803/stat : 24803 (java) S 24786 24788 24324 0 -1 4202560 1636 0 0 0 68 0 0 0 15 0 19 0 855815177 10803937280 904853 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 4 0 0 0
[pid=24788/tid=24804] ppid=24786 vsize=10550720 CPUtime=1.3 cores=0,2,4,6
/proc/24788/task/24804/stat : 24804 (java) S 24786 24788 24324 0 -1 4202560 10031 0 0 0 129 1 0 0 15 0 19 0 855815177 10803937280 904853 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 0 0 0 0
[pid=24788/tid=24805] ppid=24786 vsize=10550720 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24805/stat : 24805 (java) S 24786 24788 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855815177 10803937280 904853 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650137 0 4 0 16800975 18446604442914824512 0 0 -1 6 0 0 0
[pid=24788/tid=24806] ppid=24786 vsize=10550720 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24806/stat : 24806 (java) S 24786 24788 24324 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 855815177 10803937280 904853 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650752 0 4 0 16800975 18446604442914824512 0 0 -1 4 0 0 0
[pid=24788/tid=24807] ppid=24786 vsize=10550720 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24807/stat : 24807 (java) S 24786 24788 24324 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 855815600 10803937280 904853 33554432000 1073741824 1073778376 140734157830640 18446744073709551615 246528650752 0 4 0 16800975 18446604442914824512 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 10550720
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.62 s]
/proc/loadavg: 2.23 2.09 2.02 4/461 24903
/proc/meminfo: memFree=18210932/32951124 swapFree=44043516/67111528
[pid=24788] ppid=24786 vsize=0 CPUtime=1800.23 cores=0,2,4,6
/proc/24788/stat : 24788 (java) Z 24786 24788 24324 0 -1 4203548 910142 0 1 0 179901 122 0 0 17 0 2 0 855815171 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24788/statm: 0 0 0 0 0 0 0
[pid=24788/tid=24807] ppid=24786 vsize=0 CPUtime=0.08 cores=0,2,4,6
/proc/24788/task/24807/stat : 24807 (java) R 24786 24788 24324 0 -1 4203588 8 0 0 0 0 8 0 0 18 0 2 0 855815600 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1795.67
CPU time (s): 1800.29
CPU user time (s): 1799.01
CPU system time (s): 1.27681
CPU usage (%): 100.257
Max. virtual memory (cumulated for all children) (KiB): 10550720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.01
system time used= 1.2768
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 910142
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= 38549
involuntary context switches= 6965
runsolver used 8.16876 second user time and 16.4375 second system time
The end