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-3456444-1307660443/watcher-3456444-1307660443 -o /tmp/evaluation-result-3456444-1307660443/solver-3456444-1307660443 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456444-1307660443.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.01 2.02 2.75 2/175 8812
/proc/meminfo: memFree=32125300/32951124 swapFree=67051740/67111528
[pid=8812] ppid=8810 vsize=9100 CPUtime=0 cores=0,2,4,6
/proc/8812/stat : 8812 (java) R 8810 8812 7396 0 -1 4202496 399 0 0 0 0 0 0 0 25 0 1 0 877642298 9318400 148 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228122719463 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/8812/statm: 2275 160 120 9 0 67 0
[startup+0.084549 s]
/proc/loadavg: 2.01 2.02 2.75 2/175 8812
/proc/meminfo: memFree=32125300/32951124 swapFree=67051740/67111528
[pid=8812] ppid=8810 vsize=10473232 CPUtime=0.07 cores=0,2,4,6
/proc/8812/stat : 8812 (java) S 8810 8812 7396 0 -1 4202496 12043 0 1 0 6 1 0 0 25 0 18 0 877642298 10724589568 11741 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/8812/statm: 2618308 11757 1768 9 0 2609042 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10473232
[startup+0.100543 s]
/proc/loadavg: 2.01 2.02 2.75 2/175 8812
/proc/meminfo: memFree=32125300/32951124 swapFree=67051740/67111528
[pid=8812] ppid=8810 vsize=10540208 CPUtime=0.1 cores=0,2,4,6
/proc/8812/stat : 8812 (java) S 8810 8812 7396 0 -1 4202496 12997 0 1 0 9 1 0 0 25 0 18 0 877642298 10793172992 12695 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/8812/statm: 2635052 12696 2092 9 0 2625786 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540208
[startup+0.300467 s]
/proc/loadavg: 2.01 2.02 2.75 2/175 8812
/proc/meminfo: memFree=32125300/32951124 swapFree=67051740/67111528
[pid=8812] ppid=8810 vsize=10546428 CPUtime=0.55 cores=0,2,4,6
/proc/8812/stat : 8812 (java) S 8810 8812 7396 0 -1 4202496 20054 0 1 0 53 2 0 0 25 0 18 0 877642298 10799542272 18375 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/8812/statm: 2636607 18376 2203 9 0 2627341 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 10546428
[startup+0.700355 s]
/proc/loadavg: 2.01 2.02 2.75 2/175 8812
/proc/meminfo: memFree=32125300/32951124 swapFree=67051740/67111528
[pid=8812] ppid=8810 vsize=10551056 CPUtime=1.59 cores=0,2,4,6
/proc/8812/stat : 8812 (java) S 8810 8812 7396 0 -1 4202496 36685 0 1 0 156 3 0 0 25 0 19 0 877642298 10804281344 33500 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/8812/statm: 2637764 33501 2227 9 0 2628498 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 10551056
[startup+1.50129 s]
/proc/loadavg: 2.01 2.02 2.75 4/193 8838
/proc/meminfo: memFree=31905508/32951124 swapFree=67051740/67111528
[pid=8812] ppid=8810 vsize=10551056 CPUtime=2.81 cores=0,2,4,6
/proc/8812/stat : 8812 (java) S 8810 8812 7396 0 -1 4202496 100858 0 1 0 269 12 0 0 25 0 19 0 877642298 10804281344 97672 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/8812/statm: 2637764 97674 2235 9 0 2628498 0
[pid=8812/tid=8814] ppid=8810 vsize=10551056 CPUtime=1.48 cores=0,2,4,6
/proc/8812/task/8814/stat : 8814 (java) R 8810 8812 7396 0 -1 4202560 90573 0 1 0 137 11 0 0 20 0 19 0 877642299 10804281344 97676 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 46912505597375 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=8812/tid=8815] ppid=8810 vsize=10551056 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8815/stat : 8815 (java) S 8810 8812 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877642301 10804281344 97677 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 6 0 0 0
[pid=8812/tid=8816] ppid=8810 vsize=10551056 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8816/stat : 8816 (java) S 8810 8812 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877642301 10804281344 97678 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 0 0 0 0
[pid=8812/tid=8817] ppid=8810 vsize=10551056 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8817/stat : 8817 (java) S 8810 8812 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877642301 10804281344 97680 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 0 0 0 0
[pid=8812/tid=8818] ppid=8810 vsize=10551056 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8818/stat : 8818 (java) S 8810 8812 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877642301 10804281344 97681 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 6 0 0 0
[pid=8812/tid=8819] ppid=8810 vsize=10551056 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8819/stat : 8819 (java) S 8810 8812 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877642301 10804281344 97682 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 0 0 0 0
[pid=8812/tid=8820] ppid=8810 vsize=10551056 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8820/stat : 8820 (java) S 8810 8812 7396 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 877642301 10804281344 97684 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 6 0 0 0
[pid=8812/tid=8821] ppid=8810 vsize=10551056 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8821/stat : 8821 (java) S 8810 8812 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877642301 10804281344 97685 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 0 0 0 0
[pid=8812/tid=8822] ppid=8810 vsize=10551056 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8822/stat : 8822 (java) S 8810 8812 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877642301 10804281344 97686 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 0 0 0 0
[pid=8812/tid=8823] ppid=8810 vsize=10551056 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8823/stat : 8823 (java) S 8810 8812 7396 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 877642302 10804281344 97688 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134530560 0 0 0 16800975 18446604453919772864 0 0 -1 4 0 0 0
[pid=8812/tid=8824] ppid=8810 vsize=10551056 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8824/stat : 8824 (java) S 8810 8812 7396 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877642302 10804281344 97689 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 4 0 0 0
[pid=8812/tid=8825] ppid=8810 vsize=10551056 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8825/stat : 8825 (java) S 8810 8812 7396 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877642303 10804281344 97690 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 4 0 0 0
[pid=8812/tid=8826] ppid=8810 vsize=10551056 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8826/stat : 8826 (java) S 8810 8812 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877642305 10804281344 97691 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134537649 0 4 0 16800975 18446604453919772864 0 0 -1 4 0 0 0
[pid=8812/tid=8827] ppid=8810 vsize=10551056 CPUtime=0.56 cores=0,2,4,6
/proc/8812/task/8827/stat : 8827 (java) S 8810 8812 7396 0 -1 4202560 3241 0 0 0 56 0 0 0 15 0 19 0 877642305 10804281344 97693 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 2 0 0 0
[pid=8812/tid=8828] ppid=8810 vsize=10551056 CPUtime=0.75 cores=0,2,4,6
/proc/8812/task/8828/stat : 8828 (java) S 8810 8812 7396 0 -1 4202560 5888 0 0 0 75 0 0 0 25 0 19 0 877642305 10804281344 97694 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 0 0 0 0
[pid=8812/tid=8829] ppid=8810 vsize=10551056 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8829/stat : 8829 (java) S 8810 8812 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877642305 10804281344 97696 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 4 0 0 0
[pid=8812/tid=8830] ppid=8810 vsize=10551056 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8830/stat : 8830 (java) S 8810 8812 7396 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877642305 10804281344 97697 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134530560 0 4 0 16800975 18446604453919772864 0 0 -1 0 0 0 0
[pid=8812/tid=8838] ppid=8810 vsize=10551056 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8838/stat : 8838 (java) S 8810 8812 7396 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877642356 10804281344 97698 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134530560 0 4 0 16800975 18446604453919772864 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 10551056
[startup+3.10096 s]
/proc/loadavg: 2.01 2.02 2.75 3/193 8859
/proc/meminfo: memFree=31569476/32951124 swapFree=67051740/67111528
[pid=8812] ppid=8810 vsize=10551056 CPUtime=4.76 cores=0,2,4,6
/proc/8812/stat : 8812 (java) S 8810 8812 7396 0 -1 4202496 229021 0 1 0 449 27 0 0 25 0 19 0 877642298 10804281344 224235 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/8812/statm: 2637764 224235 2237 9 0 2628498 0
[pid=8812/tid=8814] ppid=8810 vsize=10551056 CPUtime=3.08 cores=0,2,4,6
/proc/8812/task/8814/stat : 8814 (java) R 8810 8812 7396 0 -1 4202560 217055 0 1 0 282 26 0 0 18 0 19 0 877642299 10804281344 224236 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 46912505840313 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=8812/tid=8815] ppid=8810 vsize=10551056 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8815/stat : 8815 (java) S 8810 8812 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877642301 10804281344 224238 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 6 0 0 0
[pid=8812/tid=8816] ppid=8810 vsize=10551056 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8816/stat : 8816 (java) S 8810 8812 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877642301 10804281344 224239 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 0 0 0 0
[pid=8812/tid=8817] ppid=8810 vsize=10551056 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8817/stat : 8817 (java) S 8810 8812 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877642301 10804281344 224240 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 0 0 0 0
[pid=8812/tid=8818] ppid=8810 vsize=10551056 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8818/stat : 8818 (java) S 8810 8812 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877642301 10804281344 224241 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 6 0 0 0
[pid=8812/tid=8819] ppid=8810 vsize=10551056 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8819/stat : 8819 (java) S 8810 8812 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877642301 10804281344 224242 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 0 0 0 0
[pid=8812/tid=8820] ppid=8810 vsize=10551056 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8820/stat : 8820 (java) S 8810 8812 7396 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 877642301 10804281344 224243 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 6 0 0 0
[pid=8812/tid=8821] ppid=8810 vsize=10551056 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8821/stat : 8821 (java) S 8810 8812 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877642301 10804281344 224244 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 0 0 0 0
[pid=8812/tid=8822] ppid=8810 vsize=10551056 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8822/stat : 8822 (java) S 8810 8812 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877642301 10804281344 224244 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 0 0 0 0
[pid=8812/tid=8823] ppid=8810 vsize=10551056 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8823/stat : 8823 (java) S 8810 8812 7396 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 877642302 10804281344 224245 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134530560 0 0 0 16800975 18446604453919772864 0 0 -1 6 0 0 0
[pid=8812/tid=8824] ppid=8810 vsize=10551056 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8824/stat : 8824 (java) S 8810 8812 7396 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877642302 10804281344 224246 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 4 0 0 0
[pid=8812/tid=8825] ppid=8810 vsize=10551056 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8825/stat : 8825 (java) S 8810 8812 7396 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877642303 10804281344 224247 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 4 0 0 0
[pid=8812/tid=8826] ppid=8810 vsize=10551056 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8826/stat : 8826 (java) S 8810 8812 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877642305 10804281344 224260 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134537649 0 4 0 16800975 18446604453919772864 0 0 -1 4 0 0 0
[pid=8812/tid=8827] ppid=8810 vsize=10551056 CPUtime=0.62 cores=0,2,4,6
/proc/8812/task/8827/stat : 8827 (java) S 8810 8812 7396 0 -1 4202560 3274 0 0 0 62 0 0 0 15 0 19 0 877642305 10804281344 224276 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 2 0 0 0
[pid=8812/tid=8828] ppid=8810 vsize=10551056 CPUtime=1.04 cores=0,2,4,6
/proc/8812/task/8828/stat : 8828 (java) S 8810 8812 7396 0 -1 4202560 7534 0 0 0 104 0 0 0 15 0 19 0 877642305 10804281344 224290 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 0 0 0 0
[pid=8812/tid=8829] ppid=8810 vsize=10551056 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8829/stat : 8829 (java) S 8810 8812 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877642305 10804281344 224294 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 4 0 0 0
[pid=8812/tid=8830] ppid=8810 vsize=10551056 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8830/stat : 8830 (java) S 8810 8812 7396 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877642305 10804281344 224298 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134530560 0 4 0 16800975 18446604453919772864 0 0 -1 6 0 0 0
[pid=8812/tid=8838] ppid=8810 vsize=10551056 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8838/stat : 8838 (java) S 8810 8812 7396 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877642356 10804281344 224301 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134530560 0 4 0 16800975 18446604453919772864 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.76
Current children cumulated vsize (KiB) 10551056
[startup+6.30141 s]
/proc/loadavg: 2.09 2.04 2.75 3/193 8860
/proc/meminfo: memFree=30143220/32951124 swapFree=67051740/67111528
[pid=8812] ppid=8810 vsize=10551056 CPUtime=7.96 cores=0,2,4,6
/proc/8812/stat : 8812 (java) S 8810 8812 7396 0 -1 4202496 537667 0 1 0 733 63 0 0 25 0 19 0 877642298 10804281344 532390 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/8812/statm: 2637764 532392 2238 9 0 2628498 0
[pid=8812/tid=8814] ppid=8810 vsize=10551056 CPUtime=6.28 cores=0,2,4,6
/proc/8812/task/8814/stat : 8814 (java) R 8810 8812 7396 0 -1 4202560 525702 0 1 0 566 62 0 0 21 0 19 0 877642299 10804281344 532393 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 46912505597361 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=8812/tid=8815] ppid=8810 vsize=10551056 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8815/stat : 8815 (java) S 8810 8812 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877642301 10804281344 532395 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 6 0 0 0
[pid=8812/tid=8816] ppid=8810 vsize=10551056 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8816/stat : 8816 (java) S 8810 8812 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877642301 10804281344 532396 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 0 0 0 0
[pid=8812/tid=8817] ppid=8810 vsize=10551056 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8817/stat : 8817 (java) S 8810 8812 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877642301 10804281344 532399 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 0 0 0 0
[pid=8812/tid=8818] ppid=8810 vsize=10551056 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8818/stat : 8818 (java) S 8810 8812 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877642301 10804281344 532402 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 6 0 0 0
[pid=8812/tid=8819] ppid=8810 vsize=10551056 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8819/stat : 8819 (java) S 8810 8812 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877642301 10804281344 532406 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 0 0 0 0
[pid=8812/tid=8820] ppid=8810 vsize=10551056 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8820/stat : 8820 (java) S 8810 8812 7396 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 877642301 10804281344 532410 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 6 0 0 0
[pid=8812/tid=8821] ppid=8810 vsize=10551056 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8821/stat : 8821 (java) S 8810 8812 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877642301 10804281344 532413 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 0 0 0 0
[pid=8812/tid=8822] ppid=8810 vsize=10551056 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8822/stat : 8822 (java) S 8810 8812 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877642301 10804281344 532417 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 0 0 0 0
[pid=8812/tid=8823] ppid=8810 vsize=10551056 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8823/stat : 8823 (java) S 8810 8812 7396 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 877642302 10804281344 532420 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134530560 0 0 0 16800975 18446604453919772864 0 0 -1 6 0 0 0
[pid=8812/tid=8824] ppid=8810 vsize=10551056 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8824/stat : 8824 (java) S 8810 8812 7396 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877642302 10804281344 532423 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 4 0 0 0
[pid=8812/tid=8825] ppid=8810 vsize=10551056 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8825/stat : 8825 (java) S 8810 8812 7396 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877642303 10804281344 532426 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 4 0 0 0
[pid=8812/tid=8826] ppid=8810 vsize=10551056 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8826/stat : 8826 (java) S 8810 8812 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877642305 10804281344 532428 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134537649 0 4 0 16800975 18446604453919772864 0 0 -1 4 0 0 0
[pid=8812/tid=8827] ppid=8810 vsize=10551056 CPUtime=0.62 cores=0,2,4,6
/proc/8812/task/8827/stat : 8827 (java) S 8810 8812 7396 0 -1 4202560 3274 0 0 0 62 0 0 0 15 0 19 0 877642305 10804281344 532431 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 2 0 0 0
[pid=8812/tid=8828] ppid=8810 vsize=10551056 CPUtime=1.04 cores=0,2,4,6
/proc/8812/task/8828/stat : 8828 (java) S 8810 8812 7396 0 -1 4202560 7534 0 0 0 104 0 0 0 15 0 19 0 877642305 10804281344 532433 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 0 0 0 0
[pid=8812/tid=8829] ppid=8810 vsize=10551056 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8829/stat : 8829 (java) S 8810 8812 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877642305 10804281344 532435 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 4 0 0 0
[pid=8812/tid=8830] ppid=8810 vsize=10551056 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8830/stat : 8830 (java) S 8810 8812 7396 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 877642305 10804281344 532438 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134530560 0 4 0 16800975 18446604453919772864 0 0 -1 6 0 0 0
[pid=8812/tid=8838] ppid=8810 vsize=10551056 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8838/stat : 8838 (java) S 8810 8812 7396 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877642356 10804281344 532440 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134530560 0 4 0 16800975 18446604453919772864 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 7.96
Current children cumulated vsize (KiB) 10551056
[startup+12.7013 s]
################
# More data... #
################
/proc/8812/task/8825/stat : 8825 (java) S 8810 8812 7396 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 877642303 10805829632 984193 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 4 0 0 0
[pid=8812/tid=8826] ppid=8810 vsize=10552568 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8826/stat : 8826 (java) S 8810 8812 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877642305 10805829632 984193 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134537649 0 4 0 16800975 18446604453919772864 0 0 -1 4 0 0 0
[pid=8812/tid=8827] ppid=8810 vsize=10552568 CPUtime=1.22 cores=0,2,4,6
/proc/8812/task/8827/stat : 8827 (java) S 8810 8812 7396 0 -1 4202560 6765 0 0 0 122 0 0 0 15 0 19 0 877642305 10805829632 984193 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 2 0 0 0
[pid=8812/tid=8828] ppid=8810 vsize=10552568 CPUtime=1.38 cores=0,2,4,6
/proc/8812/task/8828/stat : 8828 (java) S 8810 8812 7396 0 -1 4202560 10296 0 0 0 138 0 0 0 16 0 19 0 877642305 10805829632 984193 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 0 0 0 0
[pid=8812/tid=8829] ppid=8810 vsize=10552568 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8829/stat : 8829 (java) S 8810 8812 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877642305 10805829632 984193 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 4 0 0 0
[pid=8812/tid=8830] ppid=8810 vsize=10552568 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8830/stat : 8830 (java) S 8810 8812 7396 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 877642305 10805829632 984193 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134530560 0 4 0 16800975 18446604453919772864 0 0 -1 2 0 0 0
[pid=8812/tid=8838] ppid=8810 vsize=10552568 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8838/stat : 8838 (java) S 8810 8812 7396 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877642356 10805829632 984193 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134530560 0 4 0 16800975 18446604453919772864 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1669.82
Current children cumulated vsize (KiB) 10552568
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.09 3/214 9001
/proc/meminfo: memFree=24087592/32951124 swapFree=67051744/67111528
[pid=8812] ppid=8810 vsize=10552568 CPUtime=1730.06 cores=0,2,4,6
/proc/8812/stat : 8812 (java) S 8810 8812 7396 0 -1 4202496 1000562 0 1 0 172880 126 0 0 25 0 19 0 877642298 10805829632 986452 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/8812/statm: 2638142 986452 2264 9 0 2628876 0
[pid=8812/tid=8814] ppid=8810 vsize=10552568 CPUtime=1718.33 cores=0,2,4,6
/proc/8812/task/8814/stat : 8814 (java) R 8810 8812 7396 0 -1 4202560 796150 0 1 0 171741 92 0 0 25 0 19 0 877642299 10805829632 986452 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 46912505838527 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8812/tid=8815] ppid=8810 vsize=10552568 CPUtime=0.95 cores=0,2,4,6
/proc/8812/task/8815/stat : 8815 (java) S 8810 8812 7396 0 -1 4202560 23808 0 0 0 91 4 0 0 15 0 19 0 877642301 10805829632 986452 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 2 0 0 0
[pid=8812/tid=8816] ppid=8810 vsize=10552568 CPUtime=0.84 cores=0,2,4,6
/proc/8812/task/8816/stat : 8816 (java) S 8810 8812 7396 0 -1 4202560 17363 0 0 0 82 2 0 0 15 0 19 0 877642301 10805829632 986452 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 6 0 0 0
[pid=8812/tid=8817] ppid=8810 vsize=10552568 CPUtime=0.79 cores=0,2,4,6
/proc/8812/task/8817/stat : 8817 (java) S 8810 8812 7396 0 -1 4202560 20004 0 0 0 77 2 0 0 15 0 19 0 877642301 10805829632 986452 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 2 0 0 0
[pid=8812/tid=8818] ppid=8810 vsize=10552568 CPUtime=0.86 cores=0,2,4,6
/proc/8812/task/8818/stat : 8818 (java) S 8810 8812 7396 0 -1 4202560 22079 0 0 0 83 3 0 0 15 0 19 0 877642301 10805829632 986452 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 4 0 0 0
[pid=8812/tid=8819] ppid=8810 vsize=10552568 CPUtime=0.93 cores=0,2,4,6
/proc/8812/task/8819/stat : 8819 (java) S 8810 8812 7396 0 -1 4202560 22750 0 0 0 89 4 0 0 16 0 19 0 877642301 10805829632 986452 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 2 0 0 0
[pid=8812/tid=8820] ppid=8810 vsize=10552568 CPUtime=0.94 cores=0,2,4,6
/proc/8812/task/8820/stat : 8820 (java) S 8810 8812 7396 0 -1 4202560 25273 0 0 0 90 4 0 0 16 0 19 0 877642301 10805829632 986452 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 0 0 0 0
[pid=8812/tid=8821] ppid=8810 vsize=10552568 CPUtime=0.79 cores=0,2,4,6
/proc/8812/task/8821/stat : 8821 (java) S 8810 8812 7396 0 -1 4202560 19613 0 0 0 76 3 0 0 16 0 19 0 877642301 10805829632 986452 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 4 0 0 0
[pid=8812/tid=8822] ppid=8810 vsize=10552568 CPUtime=0.99 cores=0,2,4,6
/proc/8812/task/8822/stat : 8822 (java) S 8810 8812 7396 0 -1 4202560 17399 0 0 0 96 3 0 0 16 0 19 0 877642301 10805829632 986452 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 6 0 0 0
[pid=8812/tid=8823] ppid=8810 vsize=10552568 CPUtime=1.92 cores=0,2,4,6
/proc/8812/task/8823/stat : 8823 (java) S 8810 8812 7396 0 -1 4202560 17814 0 0 0 189 3 0 0 15 0 19 0 877642302 10805829632 986452 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134530560 0 0 0 16800975 18446604453919772864 0 0 -1 4 0 0 0
[pid=8812/tid=8824] ppid=8810 vsize=10552568 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8824/stat : 8824 (java) S 8810 8812 7396 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 877642302 10805829632 986452 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 4 0 0 0
[pid=8812/tid=8825] ppid=8810 vsize=10552568 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8825/stat : 8825 (java) S 8810 8812 7396 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 877642303 10805829632 986452 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 4 0 0 0
[pid=8812/tid=8826] ppid=8810 vsize=10552568 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8826/stat : 8826 (java) S 8810 8812 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877642305 10805829632 986452 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134537649 0 4 0 16800975 18446604453919772864 0 0 -1 4 0 0 0
[pid=8812/tid=8827] ppid=8810 vsize=10552568 CPUtime=1.22 cores=0,2,4,6
/proc/8812/task/8827/stat : 8827 (java) S 8810 8812 7396 0 -1 4202560 6765 0 0 0 122 0 0 0 15 0 19 0 877642305 10805829632 986452 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 2 0 0 0
[pid=8812/tid=8828] ppid=8810 vsize=10552568 CPUtime=1.38 cores=0,2,4,6
/proc/8812/task/8828/stat : 8828 (java) S 8810 8812 7396 0 -1 4202560 10296 0 0 0 138 0 0 0 16 0 19 0 877642305 10805829632 986452 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 0 0 0 0
[pid=8812/tid=8829] ppid=8810 vsize=10552568 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8829/stat : 8829 (java) S 8810 8812 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877642305 10805829632 986452 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 4 0 0 0
[pid=8812/tid=8830] ppid=8810 vsize=10552568 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8830/stat : 8830 (java) S 8810 8812 7396 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 877642305 10805829632 986452 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134530560 0 4 0 16800975 18446604453919772864 0 0 -1 2 0 0 0
[pid=8812/tid=8838] ppid=8810 vsize=10552568 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8838/stat : 8838 (java) S 8810 8812 7396 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877642356 10805829632 986452 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134530560 0 4 0 16800975 18446604453919772864 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1730.06
Current children cumulated vsize (KiB) 10552568
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/214 9003
/proc/meminfo: memFree=24068308/32951124 swapFree=67051744/67111528
[pid=8812] ppid=8810 vsize=10552568 CPUtime=1790.3 cores=0,2,4,6
/proc/8812/stat : 8812 (java) S 8810 8812 7396 0 -1 4202496 1003653 0 1 0 178903 127 0 0 25 0 19 0 877642298 10805829632 989450 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/8812/statm: 2638142 989450 2264 9 0 2628876 0
[pid=8812/tid=8814] ppid=8810 vsize=10552568 CPUtime=1778.24 cores=0,2,4,6
/proc/8812/task/8814/stat : 8814 (java) R 8810 8812 7396 0 -1 4202560 796154 0 1 0 177732 92 0 0 25 0 19 0 877642299 10805829632 989450 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 46912505840770 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8812/tid=8815] ppid=8810 vsize=10552568 CPUtime=0.98 cores=0,2,4,6
/proc/8812/task/8815/stat : 8815 (java) S 8810 8812 7396 0 -1 4202560 24066 0 0 0 93 5 0 0 15 0 19 0 877642301 10805829632 989450 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 2 0 0 0
[pid=8812/tid=8816] ppid=8810 vsize=10552568 CPUtime=0.9 cores=0,2,4,6
/proc/8812/task/8816/stat : 8816 (java) S 8810 8812 7396 0 -1 4202560 18168 0 0 0 88 2 0 0 16 0 19 0 877642301 10805829632 989450 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 6 0 0 0
[pid=8812/tid=8817] ppid=8810 vsize=10552568 CPUtime=0.81 cores=0,2,4,6
/proc/8812/task/8817/stat : 8817 (java) S 8810 8812 7396 0 -1 4202560 20315 0 0 0 79 2 0 0 15 0 19 0 877642301 10805829632 989450 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 2 0 0 0
[pid=8812/tid=8818] ppid=8810 vsize=10552568 CPUtime=0.88 cores=0,2,4,6
/proc/8812/task/8818/stat : 8818 (java) S 8810 8812 7396 0 -1 4202560 22093 0 0 0 85 3 0 0 15 0 19 0 877642301 10805829632 989450 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 6 0 0 0
[pid=8812/tid=8819] ppid=8810 vsize=10552568 CPUtime=0.98 cores=0,2,4,6
/proc/8812/task/8819/stat : 8819 (java) S 8810 8812 7396 0 -1 4202560 23270 0 0 0 94 4 0 0 16 0 19 0 877642301 10805829632 989450 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 2 0 0 0
[pid=8812/tid=8820] ppid=8810 vsize=10552568 CPUtime=0.99 cores=0,2,4,6
/proc/8812/task/8820/stat : 8820 (java) S 8810 8812 7396 0 -1 4202560 25561 0 0 0 95 4 0 0 16 0 19 0 877642301 10805829632 989450 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 0 0 0 0
[pid=8812/tid=8821] ppid=8810 vsize=10552568 CPUtime=0.85 cores=0,2,4,6
/proc/8812/task/8821/stat : 8821 (java) S 8810 8812 7396 0 -1 4202560 19905 0 0 0 82 3 0 0 16 0 19 0 877642301 10805829632 989450 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 0 0 0 0
[pid=8812/tid=8822] ppid=8810 vsize=10552568 CPUtime=1.04 cores=0,2,4,6
/proc/8812/task/8822/stat : 8822 (java) S 8810 8812 7396 0 -1 4202560 17990 0 0 0 101 3 0 0 16 0 19 0 877642301 10805829632 989450 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 4 0 0 0
[pid=8812/tid=8823] ppid=8810 vsize=10552568 CPUtime=1.92 cores=0,2,4,6
/proc/8812/task/8823/stat : 8823 (java) S 8810 8812 7396 0 -1 4202560 17818 0 0 0 189 3 0 0 15 0 19 0 877642302 10805829632 989450 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134530560 0 0 0 16800975 18446604453919772864 0 0 -1 4 0 0 0
[pid=8812/tid=8824] ppid=8810 vsize=10552568 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8824/stat : 8824 (java) S 8810 8812 7396 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 877642302 10805829632 989450 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 4 0 0 0
[pid=8812/tid=8825] ppid=8810 vsize=10552568 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8825/stat : 8825 (java) S 8810 8812 7396 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 877642303 10805829632 989450 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 4 0 0 0
[pid=8812/tid=8826] ppid=8810 vsize=10552568 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8826/stat : 8826 (java) S 8810 8812 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877642305 10805829632 989450 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134537649 0 4 0 16800975 18446604453919772864 0 0 -1 4 0 0 0
[pid=8812/tid=8827] ppid=8810 vsize=10552568 CPUtime=1.22 cores=0,2,4,6
/proc/8812/task/8827/stat : 8827 (java) S 8810 8812 7396 0 -1 4202560 6765 0 0 0 122 0 0 0 15 0 19 0 877642305 10805829632 989450 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 2 0 0 0
[pid=8812/tid=8828] ppid=8810 vsize=10552568 CPUtime=1.38 cores=0,2,4,6
/proc/8812/task/8828/stat : 8828 (java) S 8810 8812 7396 0 -1 4202560 10296 0 0 0 138 0 0 0 16 0 19 0 877642305 10805829632 989450 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 0 0 0 0
[pid=8812/tid=8829] ppid=8810 vsize=10552568 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8829/stat : 8829 (java) S 8810 8812 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877642305 10805829632 989450 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 4 0 0 0
[pid=8812/tid=8830] ppid=8810 vsize=10552568 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8830/stat : 8830 (java) S 8810 8812 7396 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 877642305 10805829632 989450 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134530560 0 4 0 16800975 18446604453919772864 0 0 -1 2 0 0 0
[pid=8812/tid=8838] ppid=8810 vsize=10552568 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8838/stat : 8838 (java) S 8810 8812 7396 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877642356 10805829632 989450 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134530560 0 4 0 16800975 18446604453919772864 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1790.3
Current children cumulated vsize (KiB) 10552568
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1792 s]
/proc/loadavg: 2.00 2.00 2.08 3/214 9003
/proc/meminfo: memFree=24065704/32951124 swapFree=67051744/67111528
[pid=8812] ppid=8810 vsize=10552568 CPUtime=1800.07 cores=0,2,4,6
/proc/8812/stat : 8812 (java) S 8810 8812 7396 0 -1 4202496 1004252 0 1 0 179880 127 0 0 25 0 19 0 877642298 10805829632 990028 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/8812/statm: 2638142 990028 2264 9 0 2628876 0
[pid=8812/tid=8814] ppid=8810 vsize=10552568 CPUtime=1787.92 cores=0,2,4,6
/proc/8812/task/8814/stat : 8814 (java) R 8810 8812 7396 0 -1 4202560 796155 0 1 0 178700 92 0 0 25 0 19 0 877642299 10805829632 990028 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 46912505597606 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8812/tid=8815] ppid=8810 vsize=10552568 CPUtime=0.99 cores=0,2,4,6
/proc/8812/task/8815/stat : 8815 (java) S 8810 8812 7396 0 -1 4202560 24205 0 0 0 94 5 0 0 16 0 19 0 877642301 10805829632 990028 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 6 0 0 0
[pid=8812/tid=8816] ppid=8810 vsize=10552568 CPUtime=0.9 cores=0,2,4,6
/proc/8812/task/8816/stat : 8816 (java) S 8810 8812 7396 0 -1 4202560 18168 0 0 0 88 2 0 0 15 0 19 0 877642301 10805829632 990028 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 6 0 0 0
[pid=8812/tid=8817] ppid=8810 vsize=10552568 CPUtime=0.83 cores=0,2,4,6
/proc/8812/task/8817/stat : 8817 (java) S 8810 8812 7396 0 -1 4202560 20449 0 0 0 81 2 0 0 16 0 19 0 877642301 10805829632 990028 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 2 0 0 0
[pid=8812/tid=8818] ppid=8810 vsize=10552568 CPUtime=0.88 cores=0,2,4,6
/proc/8812/task/8818/stat : 8818 (java) S 8810 8812 7396 0 -1 4202560 22093 0 0 0 85 3 0 0 15 0 19 0 877642301 10805829632 990028 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 6 0 0 0
[pid=8812/tid=8819] ppid=8810 vsize=10552568 CPUtime=0.98 cores=0,2,4,6
/proc/8812/task/8819/stat : 8819 (java) S 8810 8812 7396 0 -1 4202560 23270 0 0 0 94 4 0 0 15 0 19 0 877642301 10805829632 990028 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 2 0 0 0
[pid=8812/tid=8820] ppid=8810 vsize=10552568 CPUtime=0.99 cores=0,2,4,6
/proc/8812/task/8820/stat : 8820 (java) S 8810 8812 7396 0 -1 4202560 25561 0 0 0 95 4 0 0 15 0 19 0 877642301 10805829632 990028 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 0 0 0 0
[pid=8812/tid=8821] ppid=8810 vsize=10552568 CPUtime=0.87 cores=0,2,4,6
/proc/8812/task/8821/stat : 8821 (java) S 8810 8812 7396 0 -1 4202560 20052 0 0 0 84 3 0 0 16 0 19 0 877642301 10805829632 990028 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 0 0 0 0
[pid=8812/tid=8822] ppid=8810 vsize=10552568 CPUtime=1.06 cores=0,2,4,6
/proc/8812/task/8822/stat : 8822 (java) S 8810 8812 7396 0 -1 4202560 18168 0 0 0 103 3 0 0 16 0 19 0 877642301 10805829632 990028 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 4 0 0 0
[pid=8812/tid=8823] ppid=8810 vsize=10552568 CPUtime=1.92 cores=0,2,4,6
/proc/8812/task/8823/stat : 8823 (java) S 8810 8812 7396 0 -1 4202560 17818 0 0 0 189 3 0 0 15 0 19 0 877642302 10805829632 990028 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134530560 0 0 0 16800975 18446604453919772864 0 0 -1 4 0 0 0
[pid=8812/tid=8824] ppid=8810 vsize=10552568 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8824/stat : 8824 (java) S 8810 8812 7396 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 877642302 10805829632 990028 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 4 0 0 0
[pid=8812/tid=8825] ppid=8810 vsize=10552568 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8825/stat : 8825 (java) S 8810 8812 7396 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 877642303 10805829632 990028 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 4 0 0 0
[pid=8812/tid=8826] ppid=8810 vsize=10552568 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8826/stat : 8826 (java) S 8810 8812 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877642305 10805829632 990028 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134537649 0 4 0 16800975 18446604453919772864 0 0 -1 4 0 0 0
[pid=8812/tid=8827] ppid=8810 vsize=10552568 CPUtime=1.22 cores=0,2,4,6
/proc/8812/task/8827/stat : 8827 (java) S 8810 8812 7396 0 -1 4202560 6765 0 0 0 122 0 0 0 15 0 19 0 877642305 10805829632 990028 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 2 0 0 0
[pid=8812/tid=8828] ppid=8810 vsize=10552568 CPUtime=1.38 cores=0,2,4,6
/proc/8812/task/8828/stat : 8828 (java) S 8810 8812 7396 0 -1 4202560 10296 0 0 0 138 0 0 0 16 0 19 0 877642305 10805829632 990028 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 0 0 0 0
[pid=8812/tid=8829] ppid=8810 vsize=10552568 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8829/stat : 8829 (java) S 8810 8812 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877642305 10805829632 990028 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134529945 0 4 0 16800975 18446604453919772864 0 0 -1 4 0 0 0
[pid=8812/tid=8830] ppid=8810 vsize=10552568 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8830/stat : 8830 (java) S 8810 8812 7396 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 877642305 10805829632 990028 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134530560 0 4 0 16800975 18446604453919772864 0 0 -1 2 0 0 0
[pid=8812/tid=8838] ppid=8810 vsize=10552568 CPUtime=0 cores=0,2,4,6
/proc/8812/task/8838/stat : 8838 (java) S 8810 8812 7396 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877642356 10805829632 990028 33554432000 1073741824 1073778376 140736835377472 18446744073709551615 228134530560 0 4 0 16800975 18446604453919772864 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 10552568
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1792.11 s]
/proc/loadavg: 2.00 2.00 2.08 3/214 9003
/proc/meminfo: memFree=24065704/32951124 swapFree=67051744/67111528
[pid=8812] ppid=8810 vsize=0 CPUtime=1800.18 cores=0,2,4,6
/proc/8812/stat : 8812 (java) Z 8810 8812 7396 0 -1 4203548 1004286 0 1 0 179885 133 0 0 17 0 2 0 877642298 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/8812/statm: 0 0 0 0 0 0 0
[pid=8812/tid=8814] ppid=8810 vsize=0 CPUtime=1788.01 cores=0,2,4,6
/proc/8812/task/8814/stat : 8814 (java) R 8810 8812 7396 0 -1 4203588 796155 0 1 0 178702 99 0 0 25 0 2 0 877642299 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.18
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1792.2
CPU time (s): 1800.27
CPU user time (s): 1798.85
CPU system time (s): 1.41978
CPU usage (%): 100.451
Max. virtual memory (cumulated for all children) (KiB): 10563208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.85
system time used= 1.41978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1004286
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= 39744
involuntary context switches= 7355
runsolver used 3.2875 second user time and 6.51501 second system time
The end