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-3479266-1307449220/watcher-3479266-1307449220 -o /tmp/evaluation-result-3479266-1307449220/solver-3479266-1307449220 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3479266-1307449220.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.02 2.04 2/572 5814
/proc/meminfo: memFree=20474324/32950928 swapFree=67056580/67111528
[pid=5814] ppid=5812 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/5814/stat : 5814 (java) R 5812 5814 3822 0 -1 4202496 934 0 0 0 0 0 0 0 22 0 1 0 856519087 23580672 678 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239471732480 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5814/statm: 5757 688 505 9 0 124 0
[pid=5814/tid=5815] ppid=5812 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5815/stat : 5815 (java) R 5812 5814 3822 0 -1 4202560 5924 0 1 0 0 0 0 0 23 0 2 0 856519088 10694979584 6740 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239476388923 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.0729601 s]
/proc/loadavg: 2.00 2.02 2.04 2/572 5814
/proc/meminfo: memFree=20474324/32950928 swapFree=67056580/67111528
[pid=5814] ppid=5812 vsize=10473088 CPUtime=0.05 cores=1,3,5,7
/proc/5814/stat : 5814 (java) S 5812 5814 3822 0 -1 4202496 11840 0 1 0 4 1 0 0 22 0 18 0 856519087 10724442112 11537 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5814/statm: 2618272 11539 1742 9 0 2609006 0
[pid=5814/tid=5815] ppid=5812 vsize=10473088 CPUtime=0.05 cores=1,3,5,7
/proc/5814/task/5815/stat : 5815 (java) R 5812 5814 3822 0 -1 4202560 10668 0 1 0 4 1 0 0 22 0 18 0 856519088 10724442112 11539 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 47403679137797 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10473088
[startup+0.100949 s]
/proc/loadavg: 2.00 2.02 2.04 2/572 5814
/proc/meminfo: memFree=20474324/32950928 swapFree=67056580/67111528
[pid=5814] ppid=5812 vsize=10540084 CPUtime=0.09 cores=1,3,5,7
/proc/5814/stat : 5814 (java) S 5812 5814 3822 0 -1 4202496 12982 0 1 0 8 1 0 0 22 0 18 0 856519087 10793046016 12679 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5814/statm: 2635021 12679 2092 9 0 2625755 0
[pid=5814/tid=5815] ppid=5812 vsize=10540084 CPUtime=0.08 cores=1,3,5,7
/proc/5814/task/5815/stat : 5815 (java) R 5812 5814 3822 0 -1 4202560 11101 0 1 0 7 1 0 0 22 0 18 0 856519088 10793046016 12679 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239476379974 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540084
[startup+0.306476 s]
/proc/loadavg: 2.00 2.02 2.04 2/572 5814
/proc/meminfo: memFree=20474324/32950928 swapFree=67056580/67111528
[pid=5814] ppid=5812 vsize=10543596 CPUtime=0.53 cores=1,3,5,7
/proc/5814/stat : 5814 (java) S 5812 5814 3822 0 -1 4202496 17040 0 1 0 51 2 0 0 22 0 18 0 856519087 10796642304 16477 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5814/statm: 2635899 16479 2205 9 0 2626633 0
[pid=5814/tid=5815] ppid=5812 vsize=10543596 CPUtime=0.28 cores=1,3,5,7
/proc/5814/task/5815/stat : 5815 (java) R 5812 5814 3822 0 -1 4202560 13931 0 1 0 27 1 0 0 22 0 18 0 856519088 10796642304 16481 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 46912505611511 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 10543596
[startup+0.700834 s]
/proc/loadavg: 2.00 2.02 2.04 2/572 5814
/proc/meminfo: memFree=20474324/32950928 swapFree=67056580/67111528
[pid=5814] ppid=5812 vsize=10547128 CPUtime=1.26 cores=1,3,5,7
/proc/5814/stat : 5814 (java) S 5812 5814 3822 0 -1 4202496 22657 0 1 0 123 3 0 0 22 0 19 0 856519087 10800259072 21474 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5814/statm: 2636782 21474 2229 9 0 2627516 0
[pid=5814/tid=5815] ppid=5812 vsize=10547128 CPUtime=0.67 cores=1,3,5,7
/proc/5814/task/5815/stat : 5815 (java) R 5812 5814 3822 0 -1 4202560 17803 0 1 0 65 2 0 0 18 0 19 0 856519088 10800259072 21474 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 46912505717099 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 10547128
[startup+1.50069 s]
/proc/loadavg: 2.00 2.02 2.04 3/591 5833
/proc/meminfo: memFree=20389180/32950928 swapFree=67056580/67111528
[pid=5814] ppid=5812 vsize=10550940 CPUtime=2.62 cores=1,3,5,7
/proc/5814/stat : 5814 (java) S 5812 5814 3822 0 -1 4202496 34366 0 1 0 258 4 0 0 22 0 19 0 856519087 10804162560 30879 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5814/statm: 2637735 30879 2233 9 0 2628469 0
[pid=5814/tid=5815] ppid=5812 vsize=10550940 CPUtime=1.48 cores=1,3,5,7
/proc/5814/task/5815/stat : 5815 (java) R 5812 5814 3822 0 -1 4202560 22626 0 1 0 145 3 0 0 18 0 19 0 856519088 10804162560 30879 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 46912505717009 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5814/tid=5817] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5817/stat : 5817 (java) S 5812 5814 3822 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 856519090 10804162560 30879 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 5 0 0 0
[pid=5814/tid=5818] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5818/stat : 5818 (java) S 5812 5814 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856519090 10804162560 30879 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 7 0 0 0
[pid=5814/tid=5819] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5819/stat : 5819 (java) S 5812 5814 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856519090 10804162560 30879 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 7 0 0 0
[pid=5814/tid=5820] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5820/stat : 5820 (java) S 5812 5814 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856519090 10804162560 30879 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 7 0 0 0
[pid=5814/tid=5821] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5821/stat : 5821 (java) S 5812 5814 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856519090 10804162560 30879 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 7 0 0 0
[pid=5814/tid=5822] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5822/stat : 5822 (java) S 5812 5814 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856519090 10804162560 30879 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 7 0 0 0
[pid=5814/tid=5823] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5823/stat : 5823 (java) S 5812 5814 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856519090 10804162560 30879 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 7 0 0 0
[pid=5814/tid=5824] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5824/stat : 5824 (java) S 5812 5814 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856519090 10804162560 30879 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 7 0 0 0
[pid=5814/tid=5825] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5825/stat : 5825 (java) S 5812 5814 3822 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 856519091 10804162560 30879 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488511488 0 0 0 16800975 18446604467594899712 0 0 -1 5 0 0 0
[pid=5814/tid=5826] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5826/stat : 5826 (java) S 5812 5814 3822 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 856519091 10804162560 30879 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 5 0 0 0
[pid=5814/tid=5827] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5827/stat : 5827 (java) S 5812 5814 3822 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 856519091 10804162560 30879 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 5 0 0 0
[pid=5814/tid=5828] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5828/stat : 5828 (java) S 5812 5814 3822 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 856519093 10804162560 30879 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488518577 0 4 0 16800975 18446604467594899712 0 0 -1 5 0 0 0
[pid=5814/tid=5829] ppid=5812 vsize=10550940 CPUtime=0.63 cores=1,3,5,7
/proc/5814/task/5829/stat : 5829 (java) S 5812 5814 3822 0 -1 4202560 7499 0 0 0 63 0 0 0 16 0 19 0 856519093 10804162560 30879 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 7 0 0 0
[pid=5814/tid=5830] ppid=5812 vsize=10550940 CPUtime=0.49 cores=1,3,5,7
/proc/5814/task/5830/stat : 5830 (java) S 5812 5814 3822 0 -1 4202560 3082 0 0 0 49 0 0 0 15 0 19 0 856519093 10804162560 30879 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 5 0 0 0
[pid=5814/tid=5831] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5831/stat : 5831 (java) S 5812 5814 3822 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 856519093 10804162560 30879 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 5 0 0 0
[pid=5814/tid=5832] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5832/stat : 5832 (java) S 5812 5814 3822 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 856519093 10804162560 30879 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488511488 0 4 0 16800975 18446604467594899712 0 0 -1 5 0 0 0
[pid=5814/tid=5833] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5833/stat : 5833 (java) S 5812 5814 3822 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 856519123 10804162560 30879 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488511488 0 4 0 16800975 18446604467594899712 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.62
Current children cumulated vsize (KiB) 10550940
[startup+3.10138 s]
/proc/loadavg: 2.00 2.02 2.04 3/591 5833
/proc/meminfo: memFree=20339448/32950928 swapFree=67056580/67111528
[pid=5814] ppid=5812 vsize=10550940 CPUtime=4.36 cores=1,3,5,7
/proc/5814/stat : 5814 (java) S 5812 5814 3822 0 -1 4202496 99569 0 1 0 425 11 0 0 22 0 19 0 856519087 10804162560 96080 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5814/statm: 2637735 96084 2233 9 0 2628469 0
[pid=5814/tid=5815] ppid=5812 vsize=10550940 CPUtime=3.07 cores=1,3,5,7
/proc/5814/task/5815/stat : 5815 (java) R 5812 5814 3822 0 -1 4202560 87812 0 1 0 297 10 0 0 18 0 19 0 856519088 10804162560 96084 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 46912505978489 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5814/tid=5817] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5817/stat : 5817 (java) S 5812 5814 3822 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 856519090 10804162560 96085 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 5 0 0 0
[pid=5814/tid=5818] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5818/stat : 5818 (java) S 5812 5814 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856519090 10804162560 96087 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 7 0 0 0
[pid=5814/tid=5819] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5819/stat : 5819 (java) S 5812 5814 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856519090 10804162560 96087 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 7 0 0 0
[pid=5814/tid=5820] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5820/stat : 5820 (java) S 5812 5814 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856519090 10804162560 96091 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 7 0 0 0
[pid=5814/tid=5821] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5821/stat : 5821 (java) S 5812 5814 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856519090 10804162560 96091 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 7 0 0 0
[pid=5814/tid=5822] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5822/stat : 5822 (java) S 5812 5814 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856519090 10804162560 96093 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 7 0 0 0
[pid=5814/tid=5823] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5823/stat : 5823 (java) S 5812 5814 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856519090 10804162560 96094 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 7 0 0 0
[pid=5814/tid=5824] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5824/stat : 5824 (java) S 5812 5814 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856519090 10804162560 96094 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 7 0 0 0
[pid=5814/tid=5825] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5825/stat : 5825 (java) S 5812 5814 3822 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 856519091 10804162560 96097 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488511488 0 0 0 16800975 18446604467594899712 0 0 -1 5 0 0 0
[pid=5814/tid=5826] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5826/stat : 5826 (java) S 5812 5814 3822 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 856519091 10804162560 96097 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 5 0 0 0
[pid=5814/tid=5827] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5827/stat : 5827 (java) S 5812 5814 3822 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 856519091 10804162560 96101 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 5 0 0 0
[pid=5814/tid=5828] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5828/stat : 5828 (java) S 5812 5814 3822 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 856519093 10804162560 96101 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488518577 0 4 0 16800975 18446604467594899712 0 0 -1 5 0 0 0
[pid=5814/tid=5829] ppid=5812 vsize=10550940 CPUtime=0.75 cores=1,3,5,7
/proc/5814/task/5829/stat : 5829 (java) S 5812 5814 3822 0 -1 4202560 7518 0 0 0 75 0 0 0 15 0 19 0 856519093 10804162560 96102 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 5 0 0 0
[pid=5814/tid=5830] ppid=5812 vsize=10550940 CPUtime=0.51 cores=1,3,5,7
/proc/5814/task/5830/stat : 5830 (java) S 5812 5814 3822 0 -1 4202560 3083 0 0 0 51 0 0 0 15 0 19 0 856519093 10804162560 96104 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 7 0 0 0
[pid=5814/tid=5831] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5831/stat : 5831 (java) S 5812 5814 3822 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 856519093 10804162560 96104 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 5 0 0 0
[pid=5814/tid=5832] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5832/stat : 5832 (java) S 5812 5814 3822 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 856519093 10804162560 96107 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488511488 0 4 0 16800975 18446604467594899712 0 0 -1 7 0 0 0
[pid=5814/tid=5833] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5833/stat : 5833 (java) S 5812 5814 3822 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 856519123 10804162560 96107 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488511488 0 4 0 16800975 18446604467594899712 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.36
Current children cumulated vsize (KiB) 10550940
[startup+6.30077 s]
/proc/loadavg: 2.00 2.02 2.04 3/591 5834
/proc/meminfo: memFree=19268708/32950928 swapFree=67056580/67111528
[pid=5814] ppid=5812 vsize=10550940 CPUtime=7.59 cores=1,3,5,7
/proc/5814/stat : 5814 (java) S 5812 5814 3822 0 -1 4202496 388812 0 1 0 717 42 0 0 22 0 19 0 856519087 10804162560 385217 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5814/statm: 2637735 385225 2234 9 0 2628469 0
[pid=5814/tid=5815] ppid=5812 vsize=10550940 CPUtime=6.27 cores=1,3,5,7
/proc/5814/task/5815/stat : 5815 (java) R 5812 5814 3822 0 -1 4202560 377052 0 1 0 586 41 0 0 21 0 19 0 856519088 10804162560 385225 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 46912505978492 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5814/tid=5817] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5817/stat : 5817 (java) S 5812 5814 3822 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 856519090 10804162560 385230 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 5 0 0 0
[pid=5814/tid=5818] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5818/stat : 5818 (java) S 5812 5814 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856519090 10804162560 385232 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 7 0 0 0
[pid=5814/tid=5819] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5819/stat : 5819 (java) S 5812 5814 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856519090 10804162560 385233 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 7 0 0 0
[pid=5814/tid=5820] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5820/stat : 5820 (java) S 5812 5814 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856519090 10804162560 385239 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 7 0 0 0
[pid=5814/tid=5821] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5821/stat : 5821 (java) S 5812 5814 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856519090 10804162560 385240 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 7 0 0 0
[pid=5814/tid=5822] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5822/stat : 5822 (java) S 5812 5814 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856519090 10804162560 385242 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 7 0 0 0
[pid=5814/tid=5823] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5823/stat : 5823 (java) S 5812 5814 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856519090 10804162560 385248 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 7 0 0 0
[pid=5814/tid=5824] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5824/stat : 5824 (java) S 5812 5814 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856519090 10804162560 385248 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 7 0 0 0
[pid=5814/tid=5825] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5825/stat : 5825 (java) S 5812 5814 3822 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 856519091 10804162560 385250 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488511488 0 0 0 16800975 18446604467594899712 0 0 -1 5 0 0 0
[pid=5814/tid=5826] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5826/stat : 5826 (java) S 5812 5814 3822 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 856519091 10804162560 385256 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 5 0 0 0
[pid=5814/tid=5827] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5827/stat : 5827 (java) S 5812 5814 3822 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 856519091 10804162560 385256 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 5 0 0 0
[pid=5814/tid=5828] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5828/stat : 5828 (java) S 5812 5814 3822 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 856519093 10804162560 385259 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488518577 0 4 0 16800975 18446604467594899712 0 0 -1 5 0 0 0
[pid=5814/tid=5829] ppid=5812 vsize=10550940 CPUtime=0.78 cores=1,3,5,7
/proc/5814/task/5829/stat : 5829 (java) S 5812 5814 3822 0 -1 4202560 7524 0 0 0 78 0 0 0 15 0 19 0 856519093 10804162560 385263 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 5 0 0 0
[pid=5814/tid=5830] ppid=5812 vsize=10550940 CPUtime=0.52 cores=1,3,5,7
/proc/5814/task/5830/stat : 5830 (java) S 5812 5814 3822 0 -1 4202560 3083 0 0 0 52 0 0 0 15 0 19 0 856519093 10804162560 385263 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 7 0 0 0
################
# More data... #
################
/proc/5814/task/5827/stat : 5827 (java) S 5812 5814 3822 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 856519091 10804162560 1124790 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 5 0 0 0
[pid=5814/tid=5828] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5828/stat : 5828 (java) S 5812 5814 3822 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 856519093 10804162560 1124790 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488518577 0 4 0 16800975 18446604467594899712 0 0 -1 5 0 0 0
[pid=5814/tid=5829] ppid=5812 vsize=10550940 CPUtime=1.06 cores=1,3,5,7
/proc/5814/task/5829/stat : 5829 (java) S 5812 5814 3822 0 -1 4202560 7612 0 0 0 106 0 0 0 15 0 19 0 856519093 10804162560 1124790 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 5 0 0 0
[pid=5814/tid=5830] ppid=5812 vsize=10550940 CPUtime=0.76 cores=1,3,5,7
/proc/5814/task/5830/stat : 5830 (java) S 5812 5814 3822 0 -1 4202560 3118 0 0 0 76 0 0 0 15 0 19 0 856519093 10804162560 1124790 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 7 0 0 0
[pid=5814/tid=5831] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5831/stat : 5831 (java) S 5812 5814 3822 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 856519093 10804162560 1124790 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 5 0 0 0
[pid=5814/tid=5832] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5832/stat : 5832 (java) S 5812 5814 3822 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 856519093 10804162560 1124790 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488511488 0 4 0 16800975 18446604467594899712 0 0 -1 3 0 0 0
[pid=5814/tid=5833] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5833/stat : 5833 (java) S 5812 5814 3822 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 856519123 10804162560 1124790 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488511488 0 4 0 16800975 18446604467594899712 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1673.51
Current children cumulated vsize (KiB) 10550940
[startup+1722.3 s]
/proc/loadavg: 2.37 2.16 2.09 3/591 5927
/proc/meminfo: memFree=16226912/32950928 swapFree=67056580/67111528
[pid=5814] ppid=5812 vsize=10550940 CPUtime=1733.77 cores=1,3,5,7
/proc/5814/stat : 5814 (java) S 5812 5814 3822 0 -1 4202496 1140188 0 1 0 173241 136 0 0 22 0 19 0 856519087 10804162560 1128451 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5814/statm: 2637735 1128451 2263 9 0 2628469 0
[pid=5814/tid=5815] ppid=5812 vsize=10550940 CPUtime=1715.44 cores=1,3,5,7
/proc/5814/task/5815/stat : 5815 (java) R 5812 5814 3822 0 -1 4202560 825488 0 1 0 171453 91 0 0 25 0 19 0 856519088 10804162560 1128451 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 46912506086345 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=5814/tid=5817] ppid=5812 vsize=10550940 CPUtime=1.82 cores=1,3,5,7
/proc/5814/task/5817/stat : 5817 (java) S 5812 5814 3822 0 -1 4202560 37203 0 0 0 177 5 0 0 16 0 19 0 856519090 10804162560 1128451 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 5 0 0 0
[pid=5814/tid=5818] ppid=5812 vsize=10550940 CPUtime=1.64 cores=1,3,5,7
/proc/5814/task/5818/stat : 5818 (java) S 5812 5814 3822 0 -1 4202560 42038 0 0 0 159 5 0 0 15 0 19 0 856519090 10804162560 1128451 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 7 0 0 0
[pid=5814/tid=5819] ppid=5812 vsize=10550940 CPUtime=1.7 cores=1,3,5,7
/proc/5814/task/5819/stat : 5819 (java) S 5812 5814 3822 0 -1 4202560 37958 0 0 0 165 5 0 0 16 0 19 0 856519090 10804162560 1128451 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 7 0 0 0
[pid=5814/tid=5820] ppid=5812 vsize=10550940 CPUtime=2.02 cores=1,3,5,7
/proc/5814/task/5820/stat : 5820 (java) S 5812 5814 3822 0 -1 4202560 42739 0 0 0 196 6 0 0 15 0 19 0 856519090 10804162560 1128451 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 7 0 0 0
[pid=5814/tid=5821] ppid=5812 vsize=10550940 CPUtime=1.59 cores=1,3,5,7
/proc/5814/task/5821/stat : 5821 (java) S 5812 5814 3822 0 -1 4202560 36950 0 0 0 155 4 0 0 15 0 19 0 856519090 10804162560 1128451 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 3 0 0 0
[pid=5814/tid=5822] ppid=5812 vsize=10550940 CPUtime=1.66 cores=1,3,5,7
/proc/5814/task/5822/stat : 5822 (java) S 5812 5814 3822 0 -1 4202560 36567 0 0 0 161 5 0 0 16 0 19 0 856519090 10804162560 1128451 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 3 0 0 0
[pid=5814/tid=5823] ppid=5812 vsize=10550940 CPUtime=1.5 cores=1,3,5,7
/proc/5814/task/5823/stat : 5823 (java) S 5812 5814 3822 0 -1 4202560 27347 0 0 0 147 3 0 0 15 0 19 0 856519090 10804162560 1128451 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 3 0 0 0
[pid=5814/tid=5824] ppid=5812 vsize=10550940 CPUtime=1.74 cores=1,3,5,7
/proc/5814/task/5824/stat : 5824 (java) S 5812 5814 3822 0 -1 4202560 37944 0 0 0 170 4 0 0 16 0 19 0 856519090 10804162560 1128451 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 1 0 0 0
[pid=5814/tid=5825] ppid=5812 vsize=10550940 CPUtime=2.73 cores=1,3,5,7
/proc/5814/task/5825/stat : 5825 (java) S 5812 5814 3822 0 -1 4202560 3973 0 0 0 271 2 0 0 15 0 19 0 856519091 10804162560 1128451 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488511488 0 0 0 16800975 18446604467594899712 0 0 -1 1 0 0 0
[pid=5814/tid=5826] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5826/stat : 5826 (java) S 5812 5814 3822 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 856519091 10804162560 1128451 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 5 0 0 0
[pid=5814/tid=5827] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5827/stat : 5827 (java) S 5812 5814 3822 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 856519091 10804162560 1128451 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 5 0 0 0
[pid=5814/tid=5828] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5828/stat : 5828 (java) S 5812 5814 3822 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 856519093 10804162560 1128451 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488518577 0 4 0 16800975 18446604467594899712 0 0 -1 5 0 0 0
[pid=5814/tid=5829] ppid=5812 vsize=10550940 CPUtime=1.06 cores=1,3,5,7
/proc/5814/task/5829/stat : 5829 (java) S 5812 5814 3822 0 -1 4202560 7612 0 0 0 106 0 0 0 15 0 19 0 856519093 10804162560 1128451 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 5 0 0 0
[pid=5814/tid=5830] ppid=5812 vsize=10550940 CPUtime=0.76 cores=1,3,5,7
/proc/5814/task/5830/stat : 5830 (java) S 5812 5814 3822 0 -1 4202560 3118 0 0 0 76 0 0 0 15 0 19 0 856519093 10804162560 1128451 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 7 0 0 0
[pid=5814/tid=5831] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5831/stat : 5831 (java) S 5812 5814 3822 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 856519093 10804162560 1128451 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 5 0 0 0
[pid=5814/tid=5832] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5832/stat : 5832 (java) S 5812 5814 3822 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 856519093 10804162560 1128451 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488511488 0 4 0 16800975 18446604467594899712 0 0 -1 3 0 0 0
[pid=5814/tid=5833] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5833/stat : 5833 (java) S 5812 5814 3822 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 856519123 10804162560 1128451 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488511488 0 4 0 16800975 18446604467594899712 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1733.77
Current children cumulated vsize (KiB) 10550940
[startup+1782.3 s]
/proc/loadavg: 2.19 2.14 2.09 3/591 5929
/proc/meminfo: memFree=16183616/32950928 swapFree=67056580/67111528
[pid=5814] ppid=5812 vsize=10550940 CPUtime=1794.04 cores=1,3,5,7
/proc/5814/stat : 5814 (java) S 5812 5814 3822 0 -1 4202496 1147952 0 1 0 179267 137 0 0 22 0 19 0 856519087 10804162560 1136134 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5814/statm: 2637735 1136134 2263 9 0 2628469 0
[pid=5814/tid=5815] ppid=5812 vsize=10550940 CPUtime=1775.32 cores=1,3,5,7
/proc/5814/task/5815/stat : 5815 (java) R 5812 5814 3822 0 -1 4202560 825491 0 1 0 177441 91 0 0 25 0 19 0 856519088 10804162560 1136134 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 46912506086992 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=5814/tid=5817] ppid=5812 vsize=10550940 CPUtime=1.9 cores=1,3,5,7
/proc/5814/task/5817/stat : 5817 (java) S 5812 5814 3822 0 -1 4202560 38397 0 0 0 185 5 0 0 16 0 19 0 856519090 10804162560 1136134 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 5 0 0 0
[pid=5814/tid=5818] ppid=5812 vsize=10550940 CPUtime=1.64 cores=1,3,5,7
/proc/5814/task/5818/stat : 5818 (java) S 5812 5814 3822 0 -1 4202560 42038 0 0 0 159 5 0 0 15 0 19 0 856519090 10804162560 1136134 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 3 0 0 0
[pid=5814/tid=5819] ppid=5812 vsize=10550940 CPUtime=1.7 cores=1,3,5,7
/proc/5814/task/5819/stat : 5819 (java) S 5812 5814 3822 0 -1 4202560 37958 0 0 0 165 5 0 0 15 0 19 0 856519090 10804162560 1136134 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 7 0 0 0
[pid=5814/tid=5820] ppid=5812 vsize=10550940 CPUtime=2.07 cores=1,3,5,7
/proc/5814/task/5820/stat : 5820 (java) S 5812 5814 3822 0 -1 4202560 44287 0 0 0 200 7 0 0 15 0 19 0 856519090 10804162560 1136134 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 3 0 0 0
[pid=5814/tid=5821] ppid=5812 vsize=10550940 CPUtime=1.62 cores=1,3,5,7
/proc/5814/task/5821/stat : 5821 (java) S 5812 5814 3822 0 -1 4202560 37251 0 0 0 158 4 0 0 16 0 19 0 856519090 10804162560 1136134 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 3 0 0 0
[pid=5814/tid=5822] ppid=5812 vsize=10550940 CPUtime=1.77 cores=1,3,5,7
/proc/5814/task/5822/stat : 5822 (java) S 5812 5814 3822 0 -1 4202560 38985 0 0 0 172 5 0 0 16 0 19 0 856519090 10804162560 1136134 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 7 0 0 0
[pid=5814/tid=5823] ppid=5812 vsize=10550940 CPUtime=1.54 cores=1,3,5,7
/proc/5814/task/5823/stat : 5823 (java) S 5812 5814 3822 0 -1 4202560 28505 0 0 0 151 3 0 0 15 0 19 0 856519090 10804162560 1136134 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 3 0 0 0
[pid=5814/tid=5824] ppid=5812 vsize=10550940 CPUtime=1.82 cores=1,3,5,7
/proc/5814/task/5824/stat : 5824 (java) S 5812 5814 3822 0 -1 4202560 39082 0 0 0 177 5 0 0 16 0 19 0 856519090 10804162560 1136134 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 1 0 0 0
[pid=5814/tid=5825] ppid=5812 vsize=10550940 CPUtime=2.73 cores=1,3,5,7
/proc/5814/task/5825/stat : 5825 (java) S 5812 5814 3822 0 -1 4202560 3975 0 0 0 271 2 0 0 15 0 19 0 856519091 10804162560 1136134 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488511488 0 0 0 16800975 18446604467594899712 0 0 -1 1 0 0 0
[pid=5814/tid=5826] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5826/stat : 5826 (java) S 5812 5814 3822 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 856519091 10804162560 1136134 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 5 0 0 0
[pid=5814/tid=5827] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5827/stat : 5827 (java) S 5812 5814 3822 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 856519091 10804162560 1136134 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 5 0 0 0
[pid=5814/tid=5828] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5828/stat : 5828 (java) S 5812 5814 3822 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 856519093 10804162560 1136134 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488518577 0 4 0 16800975 18446604467594899712 0 0 -1 5 0 0 0
[pid=5814/tid=5829] ppid=5812 vsize=10550940 CPUtime=1.06 cores=1,3,5,7
/proc/5814/task/5829/stat : 5829 (java) S 5812 5814 3822 0 -1 4202560 7612 0 0 0 106 0 0 0 15 0 19 0 856519093 10804162560 1136134 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 5 0 0 0
[pid=5814/tid=5830] ppid=5812 vsize=10550940 CPUtime=0.76 cores=1,3,5,7
/proc/5814/task/5830/stat : 5830 (java) S 5812 5814 3822 0 -1 4202560 3118 0 0 0 76 0 0 0 15 0 19 0 856519093 10804162560 1136134 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 7 0 0 0
[pid=5814/tid=5831] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5831/stat : 5831 (java) S 5812 5814 3822 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 856519093 10804162560 1136134 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 5 0 0 0
[pid=5814/tid=5832] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5832/stat : 5832 (java) S 5812 5814 3822 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 856519093 10804162560 1136134 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488511488 0 4 0 16800975 18446604467594899712 0 0 -1 3 0 0 0
[pid=5814/tid=5833] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5833/stat : 5833 (java) S 5812 5814 3822 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 856519123 10804162560 1136134 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488511488 0 4 0 16800975 18446604467594899712 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1794.04
Current children cumulated vsize (KiB) 10550940
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1788.2 s]
/proc/loadavg: 2.17 2.14 2.09 3/591 5929
/proc/meminfo: memFree=16178032/32950928 swapFree=67056580/67111528
[pid=5814] ppid=5812 vsize=10550940 CPUtime=1800.04 cores=1,3,5,7
/proc/5814/stat : 5814 (java) S 5812 5814 3822 0 -1 4202496 1149561 0 1 0 179867 137 0 0 22 0 19 0 856519087 10804162560 1137717 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5814/statm: 2637735 1137717 2263 9 0 2628469 0
[pid=5814/tid=5815] ppid=5812 vsize=10550940 CPUtime=1781.21 cores=1,3,5,7
/proc/5814/task/5815/stat : 5815 (java) R 5812 5814 3822 0 -1 4202560 825492 0 1 0 178030 91 0 0 25 0 19 0 856519088 10804162560 1137717 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 46912505914718 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=5814/tid=5817] ppid=5812 vsize=10550940 CPUtime=1.93 cores=1,3,5,7
/proc/5814/task/5817/stat : 5817 (java) S 5812 5814 3822 0 -1 4202560 38826 0 0 0 188 5 0 0 16 0 19 0 856519090 10804162560 1137717 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 5 0 0 0
[pid=5814/tid=5818] ppid=5812 vsize=10550940 CPUtime=1.67 cores=1,3,5,7
/proc/5814/task/5818/stat : 5818 (java) S 5812 5814 3822 0 -1 4202560 42350 0 0 0 162 5 0 0 16 0 19 0 856519090 10804162560 1137717 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 3 0 0 0
[pid=5814/tid=5819] ppid=5812 vsize=10550940 CPUtime=1.73 cores=1,3,5,7
/proc/5814/task/5819/stat : 5819 (java) S 5812 5814 3822 0 -1 4202560 38293 0 0 0 168 5 0 0 16 0 19 0 856519090 10804162560 1137717 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 7 0 0 0
[pid=5814/tid=5820] ppid=5812 vsize=10550940 CPUtime=2.07 cores=1,3,5,7
/proc/5814/task/5820/stat : 5820 (java) S 5812 5814 3822 0 -1 4202560 44287 0 0 0 200 7 0 0 15 0 19 0 856519090 10804162560 1137717 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 3 0 0 0
[pid=5814/tid=5821] ppid=5812 vsize=10550940 CPUtime=1.62 cores=1,3,5,7
/proc/5814/task/5821/stat : 5821 (java) S 5812 5814 3822 0 -1 4202560 37251 0 0 0 158 4 0 0 15 0 19 0 856519090 10804162560 1137717 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 3 0 0 0
[pid=5814/tid=5822] ppid=5812 vsize=10550940 CPUtime=1.77 cores=1,3,5,7
/proc/5814/task/5822/stat : 5822 (java) S 5812 5814 3822 0 -1 4202560 38985 0 0 0 172 5 0 0 15 0 19 0 856519090 10804162560 1137717 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 7 0 0 0
[pid=5814/tid=5823] ppid=5812 vsize=10550940 CPUtime=1.54 cores=1,3,5,7
/proc/5814/task/5823/stat : 5823 (java) S 5812 5814 3822 0 -1 4202560 28505 0 0 0 151 3 0 0 15 0 19 0 856519090 10804162560 1137717 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 3 0 0 0
[pid=5814/tid=5824] ppid=5812 vsize=10550940 CPUtime=1.85 cores=1,3,5,7
/proc/5814/task/5824/stat : 5824 (java) S 5812 5814 3822 0 -1 4202560 39614 0 0 0 180 5 0 0 16 0 19 0 856519090 10804162560 1137717 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 7 0 0 0
[pid=5814/tid=5825] ppid=5812 vsize=10550940 CPUtime=2.73 cores=1,3,5,7
/proc/5814/task/5825/stat : 5825 (java) S 5812 5814 3822 0 -1 4202560 3975 0 0 0 271 2 0 0 15 0 19 0 856519091 10804162560 1137717 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488511488 0 0 0 16800975 18446604467594899712 0 0 -1 1 0 0 0
[pid=5814/tid=5826] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5826/stat : 5826 (java) S 5812 5814 3822 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 856519091 10804162560 1137717 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 5 0 0 0
[pid=5814/tid=5827] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5827/stat : 5827 (java) S 5812 5814 3822 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 856519091 10804162560 1137717 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 5 0 0 0
[pid=5814/tid=5828] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5828/stat : 5828 (java) S 5812 5814 3822 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 856519093 10804162560 1137717 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488518577 0 4 0 16800975 18446604467594899712 0 0 -1 5 0 0 0
[pid=5814/tid=5829] ppid=5812 vsize=10550940 CPUtime=1.06 cores=1,3,5,7
/proc/5814/task/5829/stat : 5829 (java) S 5812 5814 3822 0 -1 4202560 7612 0 0 0 106 0 0 0 15 0 19 0 856519093 10804162560 1137717 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 5 0 0 0
[pid=5814/tid=5830] ppid=5812 vsize=10550940 CPUtime=0.76 cores=1,3,5,7
/proc/5814/task/5830/stat : 5830 (java) S 5812 5814 3822 0 -1 4202560 3118 0 0 0 76 0 0 0 15 0 19 0 856519093 10804162560 1137717 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 7 0 0 0
[pid=5814/tid=5831] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5831/stat : 5831 (java) S 5812 5814 3822 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 856519093 10804162560 1137717 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488510873 0 4 0 16800975 18446604467594899712 0 0 -1 5 0 0 0
[pid=5814/tid=5832] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5832/stat : 5832 (java) S 5812 5814 3822 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 856519093 10804162560 1137717 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488511488 0 4 0 16800975 18446604467594899712 0 0 -1 3 0 0 0
[pid=5814/tid=5833] ppid=5812 vsize=10550940 CPUtime=0 cores=1,3,5,7
/proc/5814/task/5833/stat : 5833 (java) S 5812 5814 3822 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 856519123 10804162560 1137717 33554432000 1073741824 1073778376 140733836175056 18446744073709551615 239488511488 0 4 0 16800975 18446604467594899712 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10550940
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1788.4 s]
/proc/loadavg: 2.17 2.14 2.09 3/591 5929
/proc/meminfo: memFree=16178032/32950928 swapFree=67056580/67111528
[pid=5814] ppid=5812 vsize=0 CPUtime=1800.29 cores=1,3,5,7
/proc/5814/stat : 5814 (java) Z 5812 5814 3822 0 -1 4203548 1149599 0 1 0 179880 149 0 0 17 0 2 0 856519087 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5814/statm: 0 0 0 0 0 0 0
[pid=5814/tid=5833] ppid=5812 vsize=0 CPUtime=0.11 cores=1,3,5,7
/proc/5814/task/5833/stat : 5833 (java) R 5812 5814 3822 0 -1 4203588 7 0 0 0 0 11 0 0 18 0 2 0 856519123 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1788.46
CPU time (s): 1800.36
CPU user time (s): 1798.81
CPU system time (s): 1.54976
CPU usage (%): 100.665
Max. virtual memory (cumulated for all children) (KiB): 10550940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.81
system time used= 1.54976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1149599
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= 40255
involuntary context switches= 11636
runsolver used 9.8775 second user time and 22.8915 second system time
The end