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-3456174-1307664239/watcher-3456174-1307664239 -o /tmp/evaluation-result-3456174-1307664239/solver-3456174-1307664239 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456174-1307664239.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.08 2.02 1.96 2/195 7830
/proc/meminfo: memFree=32314444/32950928 swapFree=67048820/67111528
[pid=7830] ppid=7828 vsize=30540 CPUtime=0 cores=1,3,5,7
/proc/7830/stat : 7830 (java) S 7828 7830 6256 0 -1 4202496 1239 0 0 0 0 0 0 0 25 0 2 0 878022688 31272960 959 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284491749 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/7830/statm: 7635 959 732 9 0 386 0
[pid=7830/tid=7831] ppid=7828 vsize=30540 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7831/stat : 7831 (java) R 7828 7830 6256 0 -1 4202560 126 0 0 0 0 0 0 0 25 0 2 0 878022688 31272960 959 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268272732295 0 0 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.077809 s]
/proc/loadavg: 2.08 2.02 1.96 2/195 7830
/proc/meminfo: memFree=32314444/32950928 swapFree=67048820/67111528
[pid=7830] ppid=7828 vsize=10538496 CPUtime=0.06 cores=1,3,5,7
/proc/7830/stat : 7830 (java) S 7828 7830 6256 0 -1 4202496 12091 0 1 0 5 1 0 0 25 0 18 0 878022688 10791419904 11788 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7830/statm: 2634624 11788 1796 9 0 2625358 0
[pid=7830/tid=7831] ppid=7828 vsize=10538496 CPUtime=0.06 cores=1,3,5,7
/proc/7830/task/7831/stat : 7831 (java) R 7828 7830 6256 0 -1 4202560 10853 0 1 0 5 1 0 0 25 0 18 0 878022688 10791419904 11788 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268272732343 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10538496
[startup+0.105625 s]
/proc/loadavg: 2.08 2.02 1.96 2/195 7830
/proc/meminfo: memFree=32314444/32950928 swapFree=67048820/67111528
[pid=7830] ppid=7828 vsize=10539792 CPUtime=0.11 cores=1,3,5,7
/proc/7830/stat : 7830 (java) S 7828 7830 6256 0 -1 4202496 13219 0 1 0 10 1 0 0 25 0 18 0 878022688 10792747008 12868 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7830/statm: 2634948 12868 2108 9 0 2625682 0
[pid=7830/tid=7831] ppid=7828 vsize=10539792 CPUtime=0.09 cores=1,3,5,7
/proc/7830/task/7831/stat : 7831 (java) R 7828 7830 6256 0 -1 4202560 11225 0 1 0 8 1 0 0 25 0 18 0 878022688 10792747008 12868 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 47796066191824 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539792
[startup+0.300586 s]
/proc/loadavg: 2.08 2.02 1.96 2/195 7830
/proc/meminfo: memFree=32314444/32950928 swapFree=67048820/67111528
[pid=7830] ppid=7828 vsize=10541764 CPUtime=0.47 cores=1,3,5,7
/proc/7830/stat : 7830 (java) S 7828 7830 6256 0 -1 4202496 15639 0 1 0 45 2 0 0 25 0 19 0 878022688 10794766336 14906 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7830/statm: 2635441 14907 2220 9 0 2626175 0
[pid=7830/tid=7831] ppid=7828 vsize=10541764 CPUtime=0.28 cores=1,3,5,7
/proc/7830/task/7831/stat : 7831 (java) R 7828 7830 6256 0 -1 4202560 12753 0 1 0 27 1 0 0 25 0 19 0 878022688 10794766336 14907 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10541764
[startup+0.700521 s]
/proc/loadavg: 2.08 2.02 1.96 2/195 7830
/proc/meminfo: memFree=32314444/32950928 swapFree=67048820/67111528
[pid=7830] ppid=7828 vsize=10547296 CPUtime=1.64 cores=1,3,5,7
/proc/7830/stat : 7830 (java) S 7828 7830 6256 0 -1 4202496 35018 0 1 0 160 4 0 0 25 0 19 0 878022688 10800431104 31498 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7830/statm: 2636824 31502 2231 9 0 2627558 0
[pid=7830/tid=7831] ppid=7828 vsize=10547296 CPUtime=0.69 cores=1,3,5,7
/proc/7830/task/7831/stat : 7831 (java) R 7828 7830 6256 0 -1 4202560 24858 0 1 0 66 3 0 0 25 0 19 0 878022688 10800431104 31502 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 46912505571519 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 10547296
[startup+1.50138 s]
/proc/loadavg: 2.08 2.02 1.96 3/214 7849
/proc/meminfo: memFree=31853408/32950928 swapFree=67048820/67111528
[pid=7830] ppid=7828 vsize=10547296 CPUtime=2.58 cores=1,3,5,7
/proc/7830/stat : 7830 (java) S 7828 7830 6256 0 -1 4202496 98402 0 1 0 247 11 0 0 25 0 19 0 878022688 10800431104 94794 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7830/statm: 2636824 94797 2235 9 0 2627558 0
[pid=7830/tid=7831] ppid=7828 vsize=10547296 CPUtime=1.49 cores=1,3,5,7
/proc/7830/task/7831/stat : 7831 (java) R 7828 7830 6256 0 -1 4202560 88131 0 1 0 139 10 0 0 25 0 19 0 878022688 10800431104 94799 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 46912505648743 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=7830/tid=7833] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7833/stat : 7833 (java) S 7828 7830 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022690 10800431104 94800 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 5 0 0 0
[pid=7830/tid=7834] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7834/stat : 7834 (java) S 7828 7830 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022690 10800431104 94802 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 3 0 0 0
[pid=7830/tid=7835] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7835/stat : 7835 (java) S 7828 7830 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022690 10800431104 94804 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 1 0 0 0
[pid=7830/tid=7836] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7836/stat : 7836 (java) S 7828 7830 6256 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 878022690 10800431104 94806 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 1 0 0 0
[pid=7830/tid=7837] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7837/stat : 7837 (java) S 7828 7830 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022690 10800431104 94809 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 5 0 0 0
[pid=7830/tid=7838] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7838/stat : 7838 (java) S 7828 7830 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022690 10800431104 94811 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 5 0 0 0
[pid=7830/tid=7839] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7839/stat : 7839 (java) S 7828 7830 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022690 10800431104 94813 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 3 0 0 0
[pid=7830/tid=7840] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7840/stat : 7840 (java) S 7828 7830 6256 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 878022690 10800431104 94814 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 3 0 0 0
[pid=7830/tid=7841] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7841/stat : 7841 (java) S 7828 7830 6256 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 878022691 10800431104 94816 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284505600 0 0 0 16800975 18446604471165392832 0 0 -1 7 0 0 0
[pid=7830/tid=7842] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7842/stat : 7842 (java) S 7828 7830 6256 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 878022691 10800431104 94818 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 7 0 0 0
[pid=7830/tid=7843] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7843/stat : 7843 (java) S 7828 7830 6256 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 878022691 10800431104 94820 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 7 0 0 0
[pid=7830/tid=7844] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7844/stat : 7844 (java) S 7828 7830 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022693 10800431104 94822 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284512689 0 4 0 16800975 18446604471165392832 0 0 -1 7 0 0 0
[pid=7830/tid=7845] ppid=7828 vsize=10547296 CPUtime=0.51 cores=1,3,5,7
/proc/7830/task/7845/stat : 7845 (java) S 7828 7830 6256 0 -1 4202560 6120 0 0 0 51 0 0 0 19 0 19 0 878022693 10800431104 94823 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 3 0 0 0
[pid=7830/tid=7846] ppid=7828 vsize=10547296 CPUtime=0.55 cores=1,3,5,7
/proc/7830/task/7846/stat : 7846 (java) S 7828 7830 6256 0 -1 4202560 2995 0 0 0 55 0 0 0 20 0 19 0 878022693 10800431104 94825 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 1 0 0 0
[pid=7830/tid=7847] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7847/stat : 7847 (java) S 7828 7830 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022693 10800431104 94828 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 7 0 0 0
[pid=7830/tid=7848] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7848/stat : 7848 (java) S 7828 7830 6256 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 878022693 10800431104 94829 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284505600 0 4 0 16800975 18446604471165392832 0 0 -1 1 0 0 0
[pid=7830/tid=7849] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7849/stat : 7849 (java) S 7828 7830 6256 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 878022717 10800431104 94831 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284505600 0 4 0 16800975 18446604471165392832 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.58
Current children cumulated vsize (KiB) 10547296
[startup+3.10109 s]
/proc/loadavg: 2.08 2.02 1.96 4/214 7849
/proc/meminfo: memFree=31256692/32950928 swapFree=67048820/67111528
[pid=7830] ppid=7828 vsize=10547296 CPUtime=4.33 cores=1,3,5,7
/proc/7830/stat : 7830 (java) S 7828 7830 6256 0 -1 4202496 227840 0 1 0 410 23 0 0 25 0 19 0 878022688 10800431104 223601 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7830/statm: 2636824 223605 2237 9 0 2627558 0
[pid=7830/tid=7831] ppid=7828 vsize=10547296 CPUtime=3.08 cores=1,3,5,7
/proc/7830/task/7831/stat : 7831 (java) R 7828 7830 6256 0 -1 4202560 216918 0 1 0 286 22 0 0 25 0 19 0 878022688 10800431104 223606 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 46912505648365 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=7830/tid=7833] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7833/stat : 7833 (java) S 7828 7830 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022690 10800431104 223608 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 5 0 0 0
[pid=7830/tid=7834] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7834/stat : 7834 (java) S 7828 7830 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022690 10800431104 223610 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 3 0 0 0
[pid=7830/tid=7835] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7835/stat : 7835 (java) S 7828 7830 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022690 10800431104 223612 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 1 0 0 0
[pid=7830/tid=7836] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7836/stat : 7836 (java) S 7828 7830 6256 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 878022690 10800431104 223614 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 1 0 0 0
[pid=7830/tid=7837] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7837/stat : 7837 (java) S 7828 7830 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022690 10800431104 223616 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 5 0 0 0
[pid=7830/tid=7838] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7838/stat : 7838 (java) S 7828 7830 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022690 10800431104 223618 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 5 0 0 0
[pid=7830/tid=7839] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7839/stat : 7839 (java) S 7828 7830 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022690 10800431104 223620 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 3 0 0 0
[pid=7830/tid=7840] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7840/stat : 7840 (java) S 7828 7830 6256 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 878022690 10800431104 223622 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 3 0 0 0
[pid=7830/tid=7841] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7841/stat : 7841 (java) S 7828 7830 6256 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 878022691 10800431104 223624 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284505600 0 0 0 16800975 18446604471165392832 0 0 -1 7 0 0 0
[pid=7830/tid=7842] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7842/stat : 7842 (java) S 7828 7830 6256 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 878022691 10800431104 223626 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 7 0 0 0
[pid=7830/tid=7843] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7843/stat : 7843 (java) S 7828 7830 6256 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 878022691 10800431104 223628 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 7 0 0 0
[pid=7830/tid=7844] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7844/stat : 7844 (java) S 7828 7830 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022693 10800431104 223630 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284512689 0 4 0 16800975 18446604471165392832 0 0 -1 7 0 0 0
[pid=7830/tid=7845] ppid=7828 vsize=10547296 CPUtime=0.66 cores=1,3,5,7
/proc/7830/task/7845/stat : 7845 (java) S 7828 7830 6256 0 -1 4202560 6771 0 0 0 66 0 0 0 15 0 19 0 878022693 10800431104 223632 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 3 0 0 0
[pid=7830/tid=7846] ppid=7828 vsize=10547296 CPUtime=0.56 cores=1,3,5,7
/proc/7830/task/7846/stat : 7846 (java) S 7828 7830 6256 0 -1 4202560 2995 0 0 0 56 0 0 0 15 0 19 0 878022693 10800431104 223633 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 1 0 0 0
[pid=7830/tid=7847] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7847/stat : 7847 (java) S 7828 7830 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022693 10800431104 223636 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 7 0 0 0
[pid=7830/tid=7848] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7848/stat : 7848 (java) S 7828 7830 6256 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 878022693 10800431104 223638 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284505600 0 4 0 16800975 18446604471165392832 0 0 -1 1 0 0 0
[pid=7830/tid=7849] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7849/stat : 7849 (java) S 7828 7830 6256 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 878022717 10800431104 223640 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284505600 0 4 0 16800975 18446604471165392832 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.33
Current children cumulated vsize (KiB) 10547296
[startup+6.30152 s]
/proc/loadavg: 2.08 2.02 1.96 3/214 7849
/proc/meminfo: memFree=29431284/32950928 swapFree=67048820/67111528
[pid=7830] ppid=7828 vsize=10547296 CPUtime=7.56 cores=1,3,5,7
/proc/7830/stat : 7830 (java) S 7828 7830 6256 0 -1 4202496 476181 0 1 0 709 47 0 0 25 0 19 0 878022688 10800431104 471933 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7830/statm: 2636824 471937 2238 9 0 2627558 0
[pid=7830/tid=7831] ppid=7828 vsize=10547296 CPUtime=6.29 cores=1,3,5,7
/proc/7830/task/7831/stat : 7831 (java) R 7828 7830 6256 0 -1 4202560 465258 0 1 0 583 46 0 0 25 0 19 0 878022688 10800431104 471939 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 46912505648350 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=7830/tid=7833] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7833/stat : 7833 (java) S 7828 7830 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022690 10800431104 471941 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 5 0 0 0
[pid=7830/tid=7834] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7834/stat : 7834 (java) S 7828 7830 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022690 10800431104 471943 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 3 0 0 0
[pid=7830/tid=7835] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7835/stat : 7835 (java) S 7828 7830 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022690 10800431104 471945 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 1 0 0 0
[pid=7830/tid=7836] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7836/stat : 7836 (java) S 7828 7830 6256 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 878022690 10800431104 471947 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 1 0 0 0
[pid=7830/tid=7837] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7837/stat : 7837 (java) S 7828 7830 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022690 10800431104 471949 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 5 0 0 0
[pid=7830/tid=7838] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7838/stat : 7838 (java) S 7828 7830 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022690 10800431104 471951 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 5 0 0 0
[pid=7830/tid=7839] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7839/stat : 7839 (java) S 7828 7830 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022690 10800431104 471953 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 3 0 0 0
[pid=7830/tid=7840] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7840/stat : 7840 (java) S 7828 7830 6256 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 878022690 10800431104 471955 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 3 0 0 0
[pid=7830/tid=7841] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7841/stat : 7841 (java) S 7828 7830 6256 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 878022691 10800431104 471957 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284505600 0 0 0 16800975 18446604471165392832 0 0 -1 7 0 0 0
[pid=7830/tid=7842] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7842/stat : 7842 (java) S 7828 7830 6256 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 878022691 10800431104 471959 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 7 0 0 0
[pid=7830/tid=7843] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7843/stat : 7843 (java) S 7828 7830 6256 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 878022691 10800431104 471961 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 7 0 0 0
[pid=7830/tid=7844] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7844/stat : 7844 (java) S 7828 7830 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022693 10800431104 471963 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284512689 0 4 0 16800975 18446604471165392832 0 0 -1 7 0 0 0
[pid=7830/tid=7845] ppid=7828 vsize=10547296 CPUtime=0.68 cores=1,3,5,7
/proc/7830/task/7845/stat : 7845 (java) S 7828 7830 6256 0 -1 4202560 6772 0 0 0 68 0 0 0 15 0 19 0 878022693 10800431104 471966 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 3 0 0 0
[pid=7830/tid=7846] ppid=7828 vsize=10547296 CPUtime=0.57 cores=1,3,5,7
/proc/7830/task/7846/stat : 7846 (java) S 7828 7830 6256 0 -1 4202560 2995 0 0 0 57 0 0 0 15 0 19 0 878022693 10800431104 471968 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/7830/task/7842/stat : 7842 (java) S 7828 7830 6256 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 878022691 10800431104 1002433 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 7 0 0 0
[pid=7830/tid=7843] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7843/stat : 7843 (java) S 7828 7830 6256 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 878022691 10800431104 1002433 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 7 0 0 0
[pid=7830/tid=7844] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7844/stat : 7844 (java) S 7828 7830 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022693 10800431104 1002433 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284512689 0 4 0 16800975 18446604471165392832 0 0 -1 7 0 0 0
[pid=7830/tid=7845] ppid=7828 vsize=10547296 CPUtime=0.81 cores=1,3,5,7
/proc/7830/task/7845/stat : 7845 (java) S 7828 7830 6256 0 -1 4202560 6804 0 0 0 81 0 0 0 16 0 19 0 878022693 10800431104 1002433 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 3 0 0 0
[pid=7830/tid=7846] ppid=7828 vsize=10547296 CPUtime=0.7 cores=1,3,5,7
/proc/7830/task/7846/stat : 7846 (java) S 7828 7830 6256 0 -1 4202560 3024 0 0 0 70 0 0 0 15 0 19 0 878022693 10800431104 1002433 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 1 0 0 0
[pid=7830/tid=7847] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7847/stat : 7847 (java) S 7828 7830 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022693 10800431104 1002433 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 7 0 0 0
[pid=7830/tid=7848] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7848/stat : 7848 (java) S 7828 7830 6256 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 878022693 10800431104 1002433 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284505600 0 4 0 16800975 18446604471165392832 0 0 -1 1 0 0 0
[pid=7830/tid=7849] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7849/stat : 7849 (java) S 7828 7830 6256 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 878022717 10800431104 1002433 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284505600 0 4 0 16800975 18446604471165392832 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1668.62
Current children cumulated vsize (KiB) 10547296
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 7898
/proc/meminfo: memFree=24602856/32950928 swapFree=67048820/67111528
[pid=7830] ppid=7828 vsize=10547296 CPUtime=1728.83 cores=1,3,5,7
/proc/7830/stat : 7830 (java) S 7828 7830 6256 0 -1 4202496 1015666 0 1 0 172776 107 0 0 25 0 19 0 878022688 10800431104 1006875 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7830/statm: 2636824 1006875 2267 9 0 2627558 0
[pid=7830/tid=7831] ppid=7828 vsize=10547296 CPUtime=1719.54 cores=1,3,5,7
/proc/7830/task/7831/stat : 7831 (java) R 7828 7830 6256 0 -1 4202560 819911 0 1 0 171872 82 0 0 25 0 19 0 878022688 10800431104 1006875 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 46912505647840 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=7830/tid=7833] ppid=7828 vsize=10547296 CPUtime=0.83 cores=1,3,5,7
/proc/7830/task/7833/stat : 7833 (java) S 7828 7830 6256 0 -1 4202560 24134 0 0 0 80 3 0 0 15 0 19 0 878022690 10800431104 1006875 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 1 0 0 0
[pid=7830/tid=7834] ppid=7828 vsize=10547296 CPUtime=0.8 cores=1,3,5,7
/proc/7830/task/7834/stat : 7834 (java) S 7828 7830 6256 0 -1 4202560 18797 0 0 0 78 2 0 0 16 0 19 0 878022690 10800431104 1006875 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 7 0 0 0
[pid=7830/tid=7835] ppid=7828 vsize=10547296 CPUtime=0.8 cores=1,3,5,7
/proc/7830/task/7835/stat : 7835 (java) S 7828 7830 6256 0 -1 4202560 19712 0 0 0 78 2 0 0 16 0 19 0 878022690 10800431104 1006875 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 3 0 0 0
[pid=7830/tid=7836] ppid=7828 vsize=10547296 CPUtime=0.94 cores=1,3,5,7
/proc/7830/task/7836/stat : 7836 (java) S 7828 7830 6256 0 -1 4202560 19375 0 0 0 91 3 0 0 16 0 19 0 878022690 10800431104 1006875 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 5 0 0 0
[pid=7830/tid=7837] ppid=7828 vsize=10547296 CPUtime=0.8 cores=1,3,5,7
/proc/7830/task/7837/stat : 7837 (java) S 7828 7830 6256 0 -1 4202560 20588 0 0 0 78 2 0 0 16 0 19 0 878022690 10800431104 1006875 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 1 0 0 0
[pid=7830/tid=7838] ppid=7828 vsize=10547296 CPUtime=0.84 cores=1,3,5,7
/proc/7830/task/7838/stat : 7838 (java) S 7828 7830 6256 0 -1 4202560 22962 0 0 0 82 2 0 0 15 0 19 0 878022690 10800431104 1006875 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 3 0 0 0
[pid=7830/tid=7839] ppid=7828 vsize=10547296 CPUtime=0.92 cores=1,3,5,7
/proc/7830/task/7839/stat : 7839 (java) S 7828 7830 6256 0 -1 4202560 27386 0 0 0 90 2 0 0 15 0 19 0 878022690 10800431104 1006875 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 5 0 0 0
[pid=7830/tid=7840] ppid=7828 vsize=10547296 CPUtime=0.72 cores=1,3,5,7
/proc/7830/task/7840/stat : 7840 (java) S 7828 7830 6256 0 -1 4202560 21760 0 0 0 70 2 0 0 15 0 19 0 878022690 10800431104 1006875 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 3 0 0 0
[pid=7830/tid=7841] ppid=7828 vsize=10547296 CPUtime=1.02 cores=1,3,5,7
/proc/7830/task/7841/stat : 7841 (java) S 7828 7830 6256 0 -1 4202560 9962 0 0 0 101 1 0 0 15 0 19 0 878022691 10800431104 1006875 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284505600 0 0 0 16800975 18446604471165392832 0 0 -1 3 0 0 0
[pid=7830/tid=7842] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7842/stat : 7842 (java) S 7828 7830 6256 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 878022691 10800431104 1006875 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 7 0 0 0
[pid=7830/tid=7843] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7843/stat : 7843 (java) S 7828 7830 6256 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 878022691 10800431104 1006875 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 7 0 0 0
[pid=7830/tid=7844] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7844/stat : 7844 (java) S 7828 7830 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022693 10800431104 1006875 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284512689 0 4 0 16800975 18446604471165392832 0 0 -1 7 0 0 0
[pid=7830/tid=7845] ppid=7828 vsize=10547296 CPUtime=0.81 cores=1,3,5,7
/proc/7830/task/7845/stat : 7845 (java) S 7828 7830 6256 0 -1 4202560 6804 0 0 0 81 0 0 0 16 0 19 0 878022693 10800431104 1006875 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 3 0 0 0
[pid=7830/tid=7846] ppid=7828 vsize=10547296 CPUtime=0.7 cores=1,3,5,7
/proc/7830/task/7846/stat : 7846 (java) S 7828 7830 6256 0 -1 4202560 3024 0 0 0 70 0 0 0 15 0 19 0 878022693 10800431104 1006875 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 1 0 0 0
[pid=7830/tid=7847] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7847/stat : 7847 (java) S 7828 7830 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022693 10800431104 1006875 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 7 0 0 0
[pid=7830/tid=7848] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7848/stat : 7848 (java) S 7828 7830 6256 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 878022693 10800431104 1006875 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284505600 0 4 0 16800975 18446604471165392832 0 0 -1 5 0 0 0
[pid=7830/tid=7849] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7849/stat : 7849 (java) S 7828 7830 6256 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 878022717 10800431104 1006875 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284505600 0 4 0 16800975 18446604471165392832 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1728.83
Current children cumulated vsize (KiB) 10547296
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 7899
/proc/meminfo: memFree=24579240/32950928 swapFree=67048820/67111528
[pid=7830] ppid=7828 vsize=10547296 CPUtime=1789.04 cores=1,3,5,7
/proc/7830/stat : 7830 (java) S 7828 7830 6256 0 -1 4202496 1020292 0 1 0 178796 108 0 0 25 0 19 0 878022688 10800431104 1011345 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7830/statm: 2636824 1011345 2267 9 0 2627558 0
[pid=7830/tid=7831] ppid=7828 vsize=10547296 CPUtime=1779.47 cores=1,3,5,7
/proc/7830/task/7831/stat : 7831 (java) R 7828 7830 6256 0 -1 4202560 819914 0 1 0 177865 82 0 0 25 0 19 0 878022688 10800431104 1011345 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 46912505647867 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=7830/tid=7833] ppid=7828 vsize=10547296 CPUtime=0.85 cores=1,3,5,7
/proc/7830/task/7833/stat : 7833 (java) S 7828 7830 6256 0 -1 4202560 24388 0 0 0 82 3 0 0 15 0 19 0 878022690 10800431104 1011345 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 1 0 0 0
[pid=7830/tid=7834] ppid=7828 vsize=10547296 CPUtime=0.86 cores=1,3,5,7
/proc/7830/task/7834/stat : 7834 (java) S 7828 7830 6256 0 -1 4202560 19797 0 0 0 84 2 0 0 16 0 19 0 878022690 10800431104 1011345 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 1 0 0 0
[pid=7830/tid=7835] ppid=7828 vsize=10547296 CPUtime=0.83 cores=1,3,5,7
/proc/7830/task/7835/stat : 7835 (java) S 7828 7830 6256 0 -1 4202560 19983 0 0 0 81 2 0 0 15 0 19 0 878022690 10800431104 1011345 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 3 0 0 0
[pid=7830/tid=7836] ppid=7828 vsize=10547296 CPUtime=0.99 cores=1,3,5,7
/proc/7830/task/7836/stat : 7836 (java) S 7828 7830 6256 0 -1 4202560 19914 0 0 0 96 3 0 0 16 0 19 0 878022690 10800431104 1011345 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 5 0 0 0
[pid=7830/tid=7837] ppid=7828 vsize=10547296 CPUtime=0.82 cores=1,3,5,7
/proc/7830/task/7837/stat : 7837 (java) S 7828 7830 6256 0 -1 4202560 21299 0 0 0 80 2 0 0 15 0 19 0 878022690 10800431104 1011345 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 1 0 0 0
[pid=7830/tid=7838] ppid=7828 vsize=10547296 CPUtime=0.87 cores=1,3,5,7
/proc/7830/task/7838/stat : 7838 (java) S 7828 7830 6256 0 -1 4202560 23343 0 0 0 84 3 0 0 16 0 19 0 878022690 10800431104 1011345 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 7 0 0 0
[pid=7830/tid=7839] ppid=7828 vsize=10547296 CPUtime=0.94 cores=1,3,5,7
/proc/7830/task/7839/stat : 7839 (java) S 7828 7830 6256 0 -1 4202560 27741 0 0 0 92 2 0 0 16 0 19 0 878022690 10800431104 1011345 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 3 0 0 0
[pid=7830/tid=7840] ppid=7828 vsize=10547296 CPUtime=0.78 cores=1,3,5,7
/proc/7830/task/7840/stat : 7840 (java) S 7828 7830 6256 0 -1 4202560 22866 0 0 0 75 3 0 0 15 0 19 0 878022690 10800431104 1011345 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 5 0 0 0
[pid=7830/tid=7841] ppid=7828 vsize=10547296 CPUtime=1.02 cores=1,3,5,7
/proc/7830/task/7841/stat : 7841 (java) S 7828 7830 6256 0 -1 4202560 9964 0 0 0 101 1 0 0 15 0 19 0 878022691 10800431104 1011345 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284505600 0 0 0 16800975 18446604471165392832 0 0 -1 3 0 0 0
[pid=7830/tid=7842] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7842/stat : 7842 (java) S 7828 7830 6256 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 878022691 10800431104 1011345 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 7 0 0 0
[pid=7830/tid=7843] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7843/stat : 7843 (java) S 7828 7830 6256 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 878022691 10800431104 1011345 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 7 0 0 0
[pid=7830/tid=7844] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7844/stat : 7844 (java) S 7828 7830 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022693 10800431104 1011345 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284512689 0 4 0 16800975 18446604471165392832 0 0 -1 7 0 0 0
[pid=7830/tid=7845] ppid=7828 vsize=10547296 CPUtime=0.81 cores=1,3,5,7
/proc/7830/task/7845/stat : 7845 (java) S 7828 7830 6256 0 -1 4202560 6804 0 0 0 81 0 0 0 16 0 19 0 878022693 10800431104 1011345 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 3 0 0 0
[pid=7830/tid=7846] ppid=7828 vsize=10547296 CPUtime=0.7 cores=1,3,5,7
/proc/7830/task/7846/stat : 7846 (java) S 7828 7830 6256 0 -1 4202560 3024 0 0 0 70 0 0 0 15 0 19 0 878022693 10800431104 1011345 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 1 0 0 0
[pid=7830/tid=7847] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7847/stat : 7847 (java) S 7828 7830 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022693 10800431104 1011345 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 7 0 0 0
[pid=7830/tid=7848] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7848/stat : 7848 (java) S 7828 7830 6256 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 878022693 10800431104 1011345 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284505600 0 4 0 16800975 18446604471165392832 0 0 -1 5 0 0 0
[pid=7830/tid=7849] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7849/stat : 7849 (java) S 7828 7830 6256 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 878022717 10800431104 1011345 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284505600 0 4 0 16800975 18446604471165392832 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1789.04
Current children cumulated vsize (KiB) 10547296
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.3 s]
/proc/loadavg: 2.00 2.00 2.00 2/194 7903
/proc/meminfo: memFree=28492584/32950928 swapFree=67048820/67111528
[pid=7830] ppid=7828 vsize=10547296 CPUtime=1800.05 cores=1,3,5,7
/proc/7830/stat : 7830 (java) S 7828 7830 6256 0 -1 4202496 1020292 0 1 0 179897 108 0 0 25 0 19 0 878022688 10800431104 1011345 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7830/statm: 2636824 1011345 2267 9 0 2627558 0
[pid=7830/tid=7831] ppid=7828 vsize=10547296 CPUtime=1790.47 cores=1,3,5,7
/proc/7830/task/7831/stat : 7831 (java) R 7828 7830 6256 0 -1 4202560 819914 0 1 0 178965 82 0 0 25 0 19 0 878022688 10800431104 1011345 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 46912505640863 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=7830/tid=7833] ppid=7828 vsize=10547296 CPUtime=0.85 cores=1,3,5,7
/proc/7830/task/7833/stat : 7833 (java) S 7828 7830 6256 0 -1 4202560 24388 0 0 0 82 3 0 0 15 0 19 0 878022690 10800431104 1011345 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 1 0 0 0
[pid=7830/tid=7834] ppid=7828 vsize=10547296 CPUtime=0.86 cores=1,3,5,7
/proc/7830/task/7834/stat : 7834 (java) S 7828 7830 6256 0 -1 4202560 19797 0 0 0 84 2 0 0 16 0 19 0 878022690 10800431104 1011345 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 1 0 0 0
[pid=7830/tid=7835] ppid=7828 vsize=10547296 CPUtime=0.83 cores=1,3,5,7
/proc/7830/task/7835/stat : 7835 (java) S 7828 7830 6256 0 -1 4202560 19983 0 0 0 81 2 0 0 15 0 19 0 878022690 10800431104 1011345 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 3 0 0 0
[pid=7830/tid=7836] ppid=7828 vsize=10547296 CPUtime=0.99 cores=1,3,5,7
/proc/7830/task/7836/stat : 7836 (java) S 7828 7830 6256 0 -1 4202560 19914 0 0 0 96 3 0 0 16 0 19 0 878022690 10800431104 1011345 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 5 0 0 0
[pid=7830/tid=7837] ppid=7828 vsize=10547296 CPUtime=0.82 cores=1,3,5,7
/proc/7830/task/7837/stat : 7837 (java) S 7828 7830 6256 0 -1 4202560 21299 0 0 0 80 2 0 0 15 0 19 0 878022690 10800431104 1011345 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 1 0 0 0
[pid=7830/tid=7838] ppid=7828 vsize=10547296 CPUtime=0.87 cores=1,3,5,7
/proc/7830/task/7838/stat : 7838 (java) S 7828 7830 6256 0 -1 4202560 23343 0 0 0 84 3 0 0 16 0 19 0 878022690 10800431104 1011345 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 7 0 0 0
[pid=7830/tid=7839] ppid=7828 vsize=10547296 CPUtime=0.94 cores=1,3,5,7
/proc/7830/task/7839/stat : 7839 (java) S 7828 7830 6256 0 -1 4202560 27741 0 0 0 92 2 0 0 16 0 19 0 878022690 10800431104 1011345 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 3 0 0 0
[pid=7830/tid=7840] ppid=7828 vsize=10547296 CPUtime=0.78 cores=1,3,5,7
/proc/7830/task/7840/stat : 7840 (java) S 7828 7830 6256 0 -1 4202560 22866 0 0 0 75 3 0 0 15 0 19 0 878022690 10800431104 1011345 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 5 0 0 0
[pid=7830/tid=7841] ppid=7828 vsize=10547296 CPUtime=1.02 cores=1,3,5,7
/proc/7830/task/7841/stat : 7841 (java) S 7828 7830 6256 0 -1 4202560 9964 0 0 0 101 1 0 0 15 0 19 0 878022691 10800431104 1011345 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284505600 0 0 0 16800975 18446604471165392832 0 0 -1 3 0 0 0
[pid=7830/tid=7842] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7842/stat : 7842 (java) S 7828 7830 6256 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 878022691 10800431104 1011345 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 7 0 0 0
[pid=7830/tid=7843] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7843/stat : 7843 (java) S 7828 7830 6256 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 878022691 10800431104 1011345 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 7 0 0 0
[pid=7830/tid=7844] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7844/stat : 7844 (java) S 7828 7830 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022693 10800431104 1011345 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284512689 0 4 0 16800975 18446604471165392832 0 0 -1 7 0 0 0
[pid=7830/tid=7845] ppid=7828 vsize=10547296 CPUtime=0.81 cores=1,3,5,7
/proc/7830/task/7845/stat : 7845 (java) S 7828 7830 6256 0 -1 4202560 6804 0 0 0 81 0 0 0 16 0 19 0 878022693 10800431104 1011345 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 3 0 0 0
[pid=7830/tid=7846] ppid=7828 vsize=10547296 CPUtime=0.7 cores=1,3,5,7
/proc/7830/task/7846/stat : 7846 (java) S 7828 7830 6256 0 -1 4202560 3024 0 0 0 70 0 0 0 15 0 19 0 878022693 10800431104 1011345 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 1 0 0 0
[pid=7830/tid=7847] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7847/stat : 7847 (java) S 7828 7830 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878022693 10800431104 1011345 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284504985 0 4 0 16800975 18446604471165392832 0 0 -1 7 0 0 0
[pid=7830/tid=7848] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7848/stat : 7848 (java) S 7828 7830 6256 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 878022693 10800431104 1011345 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284505600 0 4 0 16800975 18446604471165392832 0 0 -1 5 0 0 0
[pid=7830/tid=7849] ppid=7828 vsize=10547296 CPUtime=0 cores=1,3,5,7
/proc/7830/task/7849/stat : 7849 (java) S 7828 7830 6256 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 878022717 10800431104 1011345 33554432000 1073741824 1073778376 140735826578992 18446744073709551615 268284505600 0 4 0 16800975 18446604471165392832 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 10547296
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1793.41 s]
/proc/loadavg: 2.00 2.00 2.00 2/194 7903
/proc/meminfo: memFree=28492584/32950928 swapFree=67048820/67111528
[pid=7830] ppid=7828 vsize=0 CPUtime=1800.23 cores=1,3,5,7
/proc/7830/stat : 7830 (java) R 7828 7830 6256 0 -1 4203524 1021966 0 1 0 179910 113 0 0 17 0 1 0 878022688 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7830/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1793.49
CPU time (s): 1800.32
CPU user time (s): 1799.1
CPU system time (s): 1.21181
CPU usage (%): 100.38
Max. virtual memory (cumulated for all children) (KiB): 10547296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.1
system time used= 1.21182
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1021966
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= 39090
involuntary context switches= 6256
runsolver used 2.96155 second user time and 6.83896 second system time
The end