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-3454704-1307186274/watcher-3454704-1307186274 -o /tmp/evaluation-result-3454704-1307186274/solver-3454704-1307186274 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454704-1307186274.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: 1.11 1.67 1.86 6/534 17846
/proc/meminfo: memFree=21466800/32950928 swapFree=34259960/67111528
[pid=17846] ppid=17844 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/17846/stat : 17846 (java) S 17844 17846 15618 0 -1 4202496 5833 0 1 0 0 0 0 0 18 0 2 0 830224064 10694979584 5535 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512494565 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/17846/statm: 2611079 5549 917 9 0 2602235 0
[pid=17846/tid=17847] ppid=17844 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17847/stat : 17847 (java) R 17844 17846 15618 0 -1 4202560 7964 0 1 0 0 0 0 0 19 0 2 0 830224065 10694979584 8780 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254500385851 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0327569 s]
/proc/loadavg: 1.11 1.67 1.86 6/534 17846
/proc/meminfo: memFree=21466800/32950928 swapFree=34259960/67111528
[pid=17846] ppid=17844 vsize=10465424 CPUtime=0.02 cores=1,3,5,7
/proc/17846/stat : 17846 (java) S 17844 17846 15618 0 -1 4202496 10973 0 1 0 1 1 0 0 18 0 11 0 830224064 10716594176 10672 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512494565 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/17846/statm: 2616356 10674 1604 9 0 2607104 0
[pid=17846/tid=17847] ppid=17844 vsize=10465424 CPUtime=0.01 cores=1,3,5,7
/proc/17846/task/17847/stat : 17847 (java) R 17844 17846 15618 0 -1 4202560 9851 0 1 0 1 0 0 0 23 0 11 0 830224065 10716594176 10674 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512518603 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10465424
[startup+0.100739 s]
/proc/loadavg: 1.11 1.67 1.86 6/534 17846
/proc/meminfo: memFree=21466800/32950928 swapFree=34259960/67111528
[pid=17846] ppid=17844 vsize=10539852 CPUtime=0.1 cores=1,3,5,7
/proc/17846/stat : 17846 (java) S 17844 17846 15618 0 -1 4202496 13107 0 1 0 9 1 0 0 18 0 18 0 830224064 10792808448 12777 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17846/statm: 2634963 12778 2092 9 0 2625697 0
[pid=17846/tid=17847] ppid=17844 vsize=10539852 CPUtime=0.09 cores=1,3,5,7
/proc/17846/task/17847/stat : 17847 (java) R 17844 17846 15618 0 -1 4202560 11162 0 1 0 8 1 0 0 18 0 18 0 830224065 10792808448 12779 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 46935325170515 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539852
[startup+0.370452 s]
/proc/loadavg: 1.11 1.67 1.86 6/534 17846
/proc/meminfo: memFree=21466800/32950928 swapFree=34259960/67111528
[pid=17846] ppid=17844 vsize=10548332 CPUtime=0.72 cores=1,3,5,7
/proc/17846/stat : 17846 (java) S 17844 17846 15618 0 -1 4202496 17777 0 1 0 70 2 0 0 18 0 22 0 830224064 10801491968 16413 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17846/statm: 2637083 16413 2215 9 0 2627817 0
[pid=17846/tid=17847] ppid=17844 vsize=10548332 CPUtime=0.22 cores=1,3,5,7
/proc/17846/task/17847/stat : 17847 (java) S 17844 17846 15618 0 -1 4202560 12159 0 1 0 21 1 0 0 19 0 22 0 830224065 10801491968 16413 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512508416 0 4 0 16800975 18446604471153502208 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 10548332
[startup+0.935096 s]
/proc/loadavg: 1.11 1.67 1.86 6/534 17846
/proc/meminfo: memFree=21466800/32950928 swapFree=34259960/67111528
[pid=17846] ppid=17844 vsize=10563576 CPUtime=2.98 cores=1,3,5,7
/proc/17846/stat : 17846 (java) S 17844 17846 15618 0 -1 4202496 46339 0 1 0 292 6 0 0 18 0 22 0 830224064 10817101824 40173 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17846/statm: 2640894 40173 2250 9 0 2631628 0
[pid=17846/tid=17847] ppid=17844 vsize=10563576 CPUtime=0.22 cores=1,3,5,7
/proc/17846/task/17847/stat : 17847 (java) S 17844 17846 15618 0 -1 4202560 12159 0 1 0 21 1 0 0 15 0 22 0 830224065 10817101824 40173 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512508416 0 4 0 16800975 18446604471153502208 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 10563576
[startup+1.50045 s]
/proc/loadavg: 1.11 1.67 1.86 5/560 17872
/proc/meminfo: memFree=20751000/32950928 swapFree=34259960/67111528
[pid=17846] ppid=17844 vsize=10568492 CPUtime=4.64 cores=1,3,5,7
/proc/17846/stat : 17846 (java) S 17844 17846 15618 0 -1 4202496 75473 0 1 0 454 10 0 0 18 0 22 0 830224064 10822135808 68324 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17846/statm: 2642123 68325 2257 9 0 2632857 0
[pid=17846/tid=17847] ppid=17844 vsize=10568492 CPUtime=0.22 cores=1,3,5,7
/proc/17846/task/17847/stat : 17847 (java) S 17844 17846 15618 0 -1 4202560 12159 0 1 0 21 1 0 0 15 0 22 0 830224065 10822135808 68701 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512508416 0 4 0 16800975 18446604471153502208 0 0 -1 7 0 0 0
[pid=17846/tid=17849] ppid=17844 vsize=10568492 CPUtime=0.01 cores=1,3,5,7
/proc/17846/task/17849/stat : 17849 (java) S 17844 17846 15618 0 -1 4202560 326 0 0 0 1 0 0 0 17 0 22 0 830224066 10822135808 68703 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 1 0 0 0
[pid=17846/tid=17850] ppid=17844 vsize=10568492 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17850/stat : 17850 (java) S 17844 17846 15618 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830224066 10822135808 68704 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 5 0 0 0
[pid=17846/tid=17851] ppid=17844 vsize=10568492 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17851/stat : 17851 (java) S 17844 17846 15618 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830224066 10822135808 68705 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 1 0 0 0
[pid=17846/tid=17852] ppid=17844 vsize=10568492 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17852/stat : 17852 (java) S 17844 17846 15618 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830224066 10822135808 68708 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 5 0 0 0
[pid=17846/tid=17853] ppid=17844 vsize=10568492 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17853/stat : 17853 (java) S 17844 17846 15618 0 -1 4202560 146 0 0 0 0 0 0 0 17 0 22 0 830224066 10822135808 68710 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 5 0 0 0
[pid=17846/tid=17854] ppid=17844 vsize=10568492 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17854/stat : 17854 (java) S 17844 17846 15618 0 -1 4202560 155 0 0 0 0 0 0 0 17 0 22 0 830224066 10822135808 68712 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 1 0 0 0
[pid=17846/tid=17855] ppid=17844 vsize=10568492 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17855/stat : 17855 (java) S 17844 17846 15618 0 -1 4202560 220 0 0 0 0 0 0 0 17 0 22 0 830224066 10822135808 68715 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 1 0 0 0
[pid=17846/tid=17856] ppid=17844 vsize=10568492 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17856/stat : 17856 (java) S 17844 17846 15618 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830224066 10822135808 68717 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 5 0 0 0
[pid=17846/tid=17857] ppid=17844 vsize=10568492 CPUtime=0.01 cores=1,3,5,7
/proc/17846/task/17857/stat : 17857 (java) S 17844 17846 15618 0 -1 4202560 844 0 0 0 1 0 0 0 17 0 22 0 830224067 10822135808 68719 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512508416 0 0 0 16800975 18446604471153502208 0 0 -1 3 0 0 0
[pid=17846/tid=17858] ppid=17844 vsize=10568492 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17858/stat : 17858 (java) S 17844 17846 15618 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830224068 10822135808 68722 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 3 0 0 0
[pid=17846/tid=17859] ppid=17844 vsize=10568492 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17859/stat : 17859 (java) S 17844 17846 15618 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830224068 10822135808 68724 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 3 0 0 0
[pid=17846/tid=17860] ppid=17844 vsize=10568492 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17860/stat : 17860 (java) S 17844 17846 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830224070 10822135808 68727 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512515505 0 4 0 16800975 18446604471153502208 0 0 -1 3 0 0 0
[pid=17846/tid=17861] ppid=17844 vsize=10568492 CPUtime=1.11 cores=1,3,5,7
/proc/17846/task/17861/stat : 17861 (java) S 17844 17846 15618 0 -1 4202560 8491 0 0 0 110 1 0 0 17 0 22 0 830224070 10822135808 68729 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 7 0 0 0
[pid=17846/tid=17862] ppid=17844 vsize=10568492 CPUtime=0.91 cores=1,3,5,7
/proc/17846/task/17862/stat : 17862 (java) S 17844 17846 15618 0 -1 4202560 7698 0 0 0 91 0 0 0 15 0 22 0 830224070 10822135808 68732 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 5 0 0 0
[pid=17846/tid=17863] ppid=17844 vsize=10568492 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17863/stat : 17863 (java) S 17844 17846 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830224070 10822135808 68736 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 3 0 0 0
[pid=17846/tid=17864] ppid=17844 vsize=10568492 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17864/stat : 17864 (java) S 17844 17846 15618 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830224070 10822135808 68738 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512508416 0 4 0 16800975 18446604471153502208 0 0 -1 1 0 0 0
[pid=17846/tid=17868] ppid=17844 vsize=10568492 CPUtime=1.24 cores=1,3,5,7
/proc/17846/task/17868/stat : 17868 (java) R 17844 17846 15618 0 -1 4202560 618 0 0 0 124 0 0 0 20 0 22 0 830224088 10822135808 68741 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 46912506268562 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17846/tid=17869] ppid=17844 vsize=10568492 CPUtime=1.05 cores=1,3,5,7
/proc/17846/task/17869/stat : 17869 (java) R 17844 17846 15618 0 -1 4202560 44074 0 0 0 100 5 0 0 23 0 22 0 830224088 10822135808 68743 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 46912505739029 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17846/tid=17870] ppid=17844 vsize=10568492 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17870/stat : 17870 (java) S 17844 17846 15618 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830224088 10822135808 68745 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512508416 0 4 0 16800975 18446604471153502208 0 0 -1 3 0 0 0
[pid=17846/tid=17871] ppid=17844 vsize=10568492 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17871/stat : 17871 (java) S 17844 17846 15618 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830224088 10822135808 68748 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512508416 0 4 0 16800975 18446604471153502208 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.64
Current children cumulated vsize (KiB) 10568492
[startup+3.10113 s]
/proc/loadavg: 1.34 1.71 1.88 5/560 17872
/proc/meminfo: memFree=20278064/32950928 swapFree=34259960/67111528
[pid=17846] ppid=17844 vsize=10568492 CPUtime=7.78 cores=1,3,5,7
/proc/17846/stat : 17846 (java) S 17844 17846 15618 0 -1 4202496 110048 0 1 0 765 13 0 0 18 0 22 0 830224064 10822135808 102897 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17846/statm: 2642123 102897 2257 9 0 2632857 0
[pid=17846/tid=17847] ppid=17844 vsize=10568492 CPUtime=0.22 cores=1,3,5,7
/proc/17846/task/17847/stat : 17847 (java) S 17844 17846 15618 0 -1 4202560 12159 0 1 0 21 1 0 0 15 0 22 0 830224065 10822135808 102897 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512508416 0 4 0 16800975 18446604471153502208 0 0 -1 7 0 0 0
[pid=17846/tid=17849] ppid=17844 vsize=10568492 CPUtime=0.01 cores=1,3,5,7
/proc/17846/task/17849/stat : 17849 (java) S 17844 17846 15618 0 -1 4202560 577 0 0 0 1 0 0 0 16 0 22 0 830224066 10822135808 102897 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 5 0 0 0
[pid=17846/tid=17850] ppid=17844 vsize=10568492 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17850/stat : 17850 (java) S 17844 17846 15618 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830224066 10822135808 102897 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 5 0 0 0
[pid=17846/tid=17851] ppid=17844 vsize=10568492 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17851/stat : 17851 (java) S 17844 17846 15618 0 -1 4202560 463 0 0 0 0 0 0 0 16 0 22 0 830224066 10822135808 102897 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 7 0 0 0
[pid=17846/tid=17852] ppid=17844 vsize=10568492 CPUtime=0.01 cores=1,3,5,7
/proc/17846/task/17852/stat : 17852 (java) S 17844 17846 15618 0 -1 4202560 256 0 0 0 1 0 0 0 15 0 22 0 830224066 10822135808 102897 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 1 0 0 0
[pid=17846/tid=17853] ppid=17844 vsize=10568492 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17853/stat : 17853 (java) S 17844 17846 15618 0 -1 4202560 240 0 0 0 0 0 0 0 16 0 22 0 830224066 10822135808 102897 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 1 0 0 0
[pid=17846/tid=17854] ppid=17844 vsize=10568492 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17854/stat : 17854 (java) S 17844 17846 15618 0 -1 4202560 155 0 0 0 0 0 0 0 15 0 22 0 830224066 10822135808 102897 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 1 0 0 0
[pid=17846/tid=17855] ppid=17844 vsize=10568492 CPUtime=0.01 cores=1,3,5,7
/proc/17846/task/17855/stat : 17855 (java) S 17844 17846 15618 0 -1 4202560 342 0 0 0 1 0 0 0 15 0 22 0 830224066 10822135808 102897 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 1 0 0 0
[pid=17846/tid=17856] ppid=17844 vsize=10568492 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17856/stat : 17856 (java) S 17844 17846 15618 0 -1 4202560 408 0 0 0 0 0 0 0 15 0 22 0 830224066 10822135808 102897 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 7 0 0 0
[pid=17846/tid=17857] ppid=17844 vsize=10568492 CPUtime=0.06 cores=1,3,5,7
/proc/17846/task/17857/stat : 17857 (java) S 17844 17846 15618 0 -1 4202560 2742 0 0 0 6 0 0 0 16 0 22 0 830224067 10822135808 102897 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512508416 0 0 0 16800975 18446604471153502208 0 0 -1 3 0 0 0
[pid=17846/tid=17858] ppid=17844 vsize=10568492 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17858/stat : 17858 (java) S 17844 17846 15618 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830224068 10822135808 102897 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 3 0 0 0
[pid=17846/tid=17859] ppid=17844 vsize=10568492 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17859/stat : 17859 (java) S 17844 17846 15618 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830224068 10822135808 102897 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 3 0 0 0
[pid=17846/tid=17860] ppid=17844 vsize=10568492 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17860/stat : 17860 (java) S 17844 17846 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830224070 10822135808 102897 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512515505 0 4 0 16800975 18446604471153502208 0 0 -1 3 0 0 0
[pid=17846/tid=17861] ppid=17844 vsize=10568492 CPUtime=1.12 cores=1,3,5,7
/proc/17846/task/17861/stat : 17861 (java) S 17844 17846 15618 0 -1 4202560 8491 0 0 0 111 1 0 0 15 0 22 0 830224070 10822135808 102897 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 7 0 0 0
[pid=17846/tid=17862] ppid=17844 vsize=10568492 CPUtime=0.92 cores=1,3,5,7
/proc/17846/task/17862/stat : 17862 (java) S 17844 17846 15618 0 -1 4202560 7698 0 0 0 92 0 0 0 15 0 22 0 830224070 10822135808 102897 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 5 0 0 0
[pid=17846/tid=17863] ppid=17844 vsize=10568492 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17863/stat : 17863 (java) S 17844 17846 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830224070 10822135808 102897 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 3 0 0 0
[pid=17846/tid=17864] ppid=17844 vsize=10568492 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17864/stat : 17864 (java) S 17844 17846 15618 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830224070 10822135808 102897 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512508416 0 4 0 16800975 18446604471153502208 0 0 -1 7 0 0 0
[pid=17846/tid=17868] ppid=17844 vsize=10568492 CPUtime=2.76 cores=1,3,5,7
/proc/17846/task/17868/stat : 17868 (java) R 17844 17846 15618 0 -1 4202560 699 0 0 0 276 0 0 0 25 0 22 0 830224088 10822135808 102897 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 46912505641841 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17846/tid=17869] ppid=17844 vsize=10568492 CPUtime=2.58 cores=1,3,5,7
/proc/17846/task/17869/stat : 17869 (java) R 17844 17846 15618 0 -1 4202560 74660 0 0 0 250 8 0 0 25 0 22 0 830224088 10822135808 102897 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 46912505620031 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17846/tid=17870] ppid=17844 vsize=10568492 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17870/stat : 17870 (java) S 17844 17846 15618 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830224088 10822135808 102897 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512508416 0 4 0 16800975 18446604471153502208 0 0 -1 3 0 0 0
[pid=17846/tid=17871] ppid=17844 vsize=10568492 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17871/stat : 17871 (java) S 17844 17846 15618 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830224088 10822135808 102897 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512508416 0 4 0 16800975 18446604471153502208 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.78
Current children cumulated vsize (KiB) 10568492
[startup+6.30149 s]
/proc/loadavg: 1.34 1.71 1.88 5/560 17872
/proc/meminfo: memFree=19473732/32950928 swapFree=34259960/67111528
[pid=17846] ppid=17844 vsize=10560524 CPUtime=14.13 cores=1,3,5,7
/proc/17846/stat : 17846 (java) S 17844 17846 15618 0 -1 4202496 180754 0 1 0 1393 20 0 0 18 0 22 0 830224064 10813976576 171883 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17846/statm: 2640131 171883 2257 9 0 2630865 0
[pid=17846/tid=17847] ppid=17844 vsize=10560524 CPUtime=0.22 cores=1,3,5,7
/proc/17846/task/17847/stat : 17847 (java) S 17844 17846 15618 0 -1 4202560 12159 0 1 0 21 1 0 0 15 0 22 0 830224065 10813976576 171883 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512508416 0 4 0 16800975 18446604471153502208 0 0 -1 7 0 0 0
[pid=17846/tid=17849] ppid=17844 vsize=10560524 CPUtime=0.01 cores=1,3,5,7
/proc/17846/task/17849/stat : 17849 (java) S 17844 17846 15618 0 -1 4202560 595 0 0 0 1 0 0 0 15 0 22 0 830224066 10813976576 171883 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 5 0 0 0
[pid=17846/tid=17850] ppid=17844 vsize=10560524 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17850/stat : 17850 (java) S 17844 17846 15618 0 -1 4202560 21 0 0 0 0 0 0 0 16 0 22 0 830224066 10813976576 171883 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 7 0 0 0
[pid=17846/tid=17851] ppid=17844 vsize=10560524 CPUtime=0.01 cores=1,3,5,7
/proc/17846/task/17851/stat : 17851 (java) S 17844 17846 15618 0 -1 4202560 483 0 0 0 1 0 0 0 16 0 22 0 830224066 10813976576 171883 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 5 0 0 0
[pid=17846/tid=17852] ppid=17844 vsize=10560524 CPUtime=0.01 cores=1,3,5,7
/proc/17846/task/17852/stat : 17852 (java) S 17844 17846 15618 0 -1 4202560 256 0 0 0 1 0 0 0 15 0 22 0 830224066 10813976576 171883 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 1 0 0 0
[pid=17846/tid=17853] ppid=17844 vsize=10560524 CPUtime=0.01 cores=1,3,5,7
/proc/17846/task/17853/stat : 17853 (java) S 17844 17846 15618 0 -1 4202560 284 0 0 0 1 0 0 0 16 0 22 0 830224066 10813976576 171883 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 1 0 0 0
[pid=17846/tid=17854] ppid=17844 vsize=10560524 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17854/stat : 17854 (java) S 17844 17846 15618 0 -1 4202560 174 0 0 0 0 0 0 0 15 0 22 0 830224066 10813976576 171883 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 1 0 0 0
[pid=17846/tid=17855] ppid=17844 vsize=10560524 CPUtime=0.01 cores=1,3,5,7
/proc/17846/task/17855/stat : 17855 (java) S 17844 17846 15618 0 -1 4202560 358 0 0 0 1 0 0 0 15 0 22 0 830224066 10813976576 171883 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 1 0 0 0
[pid=17846/tid=17856] ppid=17844 vsize=10560524 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17856/stat : 17856 (java) S 17844 17846 15618 0 -1 4202560 450 0 0 0 0 0 0 0 15 0 22 0 830224066 10813976576 171883 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 7 0 0 0
################
# More data... #
################
/proc/17846/task/17856/stat : 17856 (java) S 17844 17846 15618 0 -1 4202560 450 0 0 0 0 0 0 0 15 0 22 0 830224066 10813976576 222078 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 7 0 0 0
[pid=17846/tid=17857] ppid=17844 vsize=10560524 CPUtime=0.29 cores=1,3,5,7
/proc/17846/task/17857/stat : 17857 (java) S 17844 17846 15618 0 -1 4202560 5735 0 0 0 29 0 0 0 16 0 22 0 830224067 10813976576 222078 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512508416 0 0 0 16800975 18446604471153502208 0 0 -1 3 0 0 0
[pid=17846/tid=17858] ppid=17844 vsize=10560524 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17858/stat : 17858 (java) S 17844 17846 15618 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830224068 10813976576 222078 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 3 0 0 0
[pid=17846/tid=17859] ppid=17844 vsize=10560524 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17859/stat : 17859 (java) S 17844 17846 15618 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830224068 10813976576 222078 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 3 0 0 0
[pid=17846/tid=17860] ppid=17844 vsize=10560524 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17860/stat : 17860 (java) S 17844 17846 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830224070 10813976576 222078 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512515505 0 4 0 16800975 18446604471153502208 0 0 -1 3 0 0 0
[pid=17846/tid=17861] ppid=17844 vsize=10560524 CPUtime=1.12 cores=1,3,5,7
/proc/17846/task/17861/stat : 17861 (java) S 17844 17846 15618 0 -1 4202560 8491 0 0 0 111 1 0 0 15 0 22 0 830224070 10813976576 222078 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 7 0 0 0
[pid=17846/tid=17862] ppid=17844 vsize=10560524 CPUtime=1 cores=1,3,5,7
/proc/17846/task/17862/stat : 17862 (java) S 17844 17846 15618 0 -1 4202560 7708 0 0 0 100 0 0 0 15 0 22 0 830224070 10813976576 222078 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 5 0 0 0
[pid=17846/tid=17863] ppid=17844 vsize=10560524 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17863/stat : 17863 (java) S 17844 17846 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830224070 10813976576 222078 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 3 0 0 0
[pid=17846/tid=17864] ppid=17844 vsize=10560524 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17864/stat : 17864 (java) S 17844 17846 15618 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830224070 10813976576 222078 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512508416 0 4 0 16800975 18446604471153502208 0 0 -1 7 0 0 0
[pid=17846/tid=17868] ppid=17844 vsize=10560524 CPUtime=12.11 cores=1,3,5,7
/proc/17846/task/17868/stat : 17868 (java) R 17844 17846 15618 0 -1 4202560 810 0 0 0 1211 0 0 0 25 0 22 0 830224088 10813976576 222078 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 46912505594662 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17846/tid=17869] ppid=17844 vsize=10560524 CPUtime=11.92 cores=1,3,5,7
/proc/17846/task/17869/stat : 17869 (java) R 17844 17846 15618 0 -1 4202560 192251 0 0 0 1171 21 0 0 25 0 22 0 830224088 10813976576 222078 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 46912505743279 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17846/tid=17870] ppid=17844 vsize=10560524 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17870/stat : 17870 (java) S 17844 17846 15618 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830224088 10813976576 222078 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512508416 0 4 0 16800975 18446604471153502208 0 0 -1 3 0 0 0
[pid=17846/tid=17871] ppid=17844 vsize=10560524 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17871/stat : 17871 (java) S 17844 17846 15618 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830224088 10813976576 222078 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512508416 0 4 0 16800975 18446604471153502208 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 26.85
Current children cumulated vsize (KiB) 10560524
Solver just ended. Dumping a history of the last processes samples
[startup+12.8012 s]
/proc/loadavg: 1.75 1.78 1.90 5/560 17873
/proc/meminfo: memFree=18176408/32950928 swapFree=34259960/67111528
[pid=17846] ppid=17844 vsize=10560524 CPUtime=27.05 cores=1,3,5,7
/proc/17846/stat : 17846 (java) S 17844 17846 15618 0 -1 4202496 230952 0 1 0 2679 26 0 0 18 0 22 0 830224064 10813976576 222078 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17846/statm: 2640131 222078 2257 9 0 2630865 0
[pid=17846/tid=17847] ppid=17844 vsize=10560524 CPUtime=0.22 cores=1,3,5,7
/proc/17846/task/17847/stat : 17847 (java) R 17844 17846 15618 0 -1 4202560 12159 0 1 0 21 1 0 0 15 0 22 0 830224065 10813976576 222078 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512508416 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=17846/tid=17849] ppid=17844 vsize=10560524 CPUtime=0.02 cores=1,3,5,7
/proc/17846/task/17849/stat : 17849 (java) S 17844 17846 15618 0 -1 4202560 595 0 0 0 2 0 0 0 15 0 22 0 830224066 10813976576 222078 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 5 0 0 0
[pid=17846/tid=17850] ppid=17844 vsize=10560524 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17850/stat : 17850 (java) S 17844 17846 15618 0 -1 4202560 24 0 0 0 0 0 0 0 16 0 22 0 830224066 10813976576 222078 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 7 0 0 0
[pid=17846/tid=17851] ppid=17844 vsize=10560524 CPUtime=0.01 cores=1,3,5,7
/proc/17846/task/17851/stat : 17851 (java) S 17844 17846 15618 0 -1 4202560 484 0 0 0 1 0 0 0 15 0 22 0 830224066 10813976576 222078 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 7 0 0 0
[pid=17846/tid=17852] ppid=17844 vsize=10560524 CPUtime=0.01 cores=1,3,5,7
/proc/17846/task/17852/stat : 17852 (java) S 17844 17846 15618 0 -1 4202560 257 0 0 0 1 0 0 0 15 0 22 0 830224066 10813976576 222078 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 1 0 0 0
[pid=17846/tid=17853] ppid=17844 vsize=10560524 CPUtime=0.02 cores=1,3,5,7
/proc/17846/task/17853/stat : 17853 (java) S 17844 17846 15618 0 -1 4202560 288 0 0 0 2 0 0 0 16 0 22 0 830224066 10813976576 222078 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 1 0 0 0
[pid=17846/tid=17854] ppid=17844 vsize=10560524 CPUtime=0.01 cores=1,3,5,7
/proc/17846/task/17854/stat : 17854 (java) S 17844 17846 15618 0 -1 4202560 179 0 0 0 1 0 0 0 16 0 22 0 830224066 10813976576 222078 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 1 0 0 0
[pid=17846/tid=17855] ppid=17844 vsize=10560524 CPUtime=0.01 cores=1,3,5,7
/proc/17846/task/17855/stat : 17855 (java) S 17844 17846 15618 0 -1 4202560 364 0 0 0 1 0 0 0 15 0 22 0 830224066 10813976576 222078 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 5 0 0 0
[pid=17846/tid=17856] ppid=17844 vsize=10560524 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17856/stat : 17856 (java) S 17844 17846 15618 0 -1 4202560 450 0 0 0 0 0 0 0 15 0 22 0 830224066 10813976576 222078 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 7 0 0 0
[pid=17846/tid=17857] ppid=17844 vsize=10560524 CPUtime=0.29 cores=1,3,5,7
/proc/17846/task/17857/stat : 17857 (java) S 17844 17846 15618 0 -1 4202560 5735 0 0 0 29 0 0 0 16 0 22 0 830224067 10813976576 222078 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512508416 0 0 0 16800975 18446604471153502208 0 0 -1 3 0 0 0
[pid=17846/tid=17858] ppid=17844 vsize=10560524 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17858/stat : 17858 (java) S 17844 17846 15618 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830224068 10813976576 222078 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 3 0 0 0
[pid=17846/tid=17859] ppid=17844 vsize=10560524 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17859/stat : 17859 (java) S 17844 17846 15618 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830224068 10813976576 222078 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 3 0 0 0
[pid=17846/tid=17860] ppid=17844 vsize=10560524 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17860/stat : 17860 (java) S 17844 17846 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830224070 10813976576 222078 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512515505 0 4 0 16800975 18446604471153502208 0 0 -1 3 0 0 0
[pid=17846/tid=17861] ppid=17844 vsize=10560524 CPUtime=1.12 cores=1,3,5,7
/proc/17846/task/17861/stat : 17861 (java) S 17844 17846 15618 0 -1 4202560 8491 0 0 0 111 1 0 0 15 0 22 0 830224070 10813976576 222078 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 7 0 0 0
[pid=17846/tid=17862] ppid=17844 vsize=10560524 CPUtime=1 cores=1,3,5,7
/proc/17846/task/17862/stat : 17862 (java) S 17844 17846 15618 0 -1 4202560 7708 0 0 0 100 0 0 0 15 0 22 0 830224070 10813976576 222078 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 5 0 0 0
[pid=17846/tid=17863] ppid=17844 vsize=10560524 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17863/stat : 17863 (java) S 17844 17846 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830224070 10813976576 222078 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 3 0 0 0
[pid=17846/tid=17864] ppid=17844 vsize=10560524 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17864/stat : 17864 (java) S 17844 17846 15618 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830224070 10813976576 222078 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512508416 0 4 0 16800975 18446604471153502208 0 0 -1 7 0 0 0
[pid=17846/tid=17868] ppid=17844 vsize=10560524 CPUtime=12.21 cores=1,3,5,7
/proc/17846/task/17868/stat : 17868 (java) R 17844 17846 15618 0 -1 4202560 810 0 0 0 1221 0 0 0 25 0 22 0 830224088 10813976576 222078 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 46912505595020 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17846/tid=17869] ppid=17844 vsize=10560524 CPUtime=12.02 cores=1,3,5,7
/proc/17846/task/17869/stat : 17869 (java) R 17844 17846 15618 0 -1 4202560 192251 0 0 0 1181 21 0 0 25 0 22 0 830224088 10813976576 222078 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 46912505776560 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17846/tid=17870] ppid=17844 vsize=10560524 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17870/stat : 17870 (java) S 17844 17846 15618 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830224088 10813976576 222078 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512508416 0 4 0 16800975 18446604471153502208 0 0 -1 3 0 0 0
[pid=17846/tid=17871] ppid=17844 vsize=10560524 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17871/stat : 17871 (java) S 17844 17846 15618 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830224088 10813976576 222078 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512508416 0 4 0 16800975 18446604471153502208 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 27.05
Current children cumulated vsize (KiB) 10560524
[startup+13.2011 s]
/proc/loadavg: 1.75 1.78 1.90 5/560 17873
/proc/meminfo: memFree=18176408/32950928 swapFree=34259960/67111528
[pid=17846] ppid=17844 vsize=10560524 CPUtime=27.74 cores=1,3,5,7
/proc/17846/stat : 17846 (java) S 17844 17846 15618 0 -1 4202496 230953 0 1 0 2748 26 0 0 18 0 19 0 830224064 10813976576 222079 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17846/statm: 2640131 222079 2258 9 0 2630865 0
[pid=17846/tid=17847] ppid=17844 vsize=10560524 CPUtime=0.22 cores=1,3,5,7
/proc/17846/task/17847/stat : 17847 (java) S 17844 17846 15618 0 -1 4202560 12159 0 1 0 21 1 0 0 15 0 19 0 830224065 10813976576 222079 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512508416 0 4 0 16800975 18446604471153502208 0 0 -1 7 0 0 0
[pid=17846/tid=17849] ppid=17844 vsize=10560524 CPUtime=0.02 cores=1,3,5,7
/proc/17846/task/17849/stat : 17849 (java) S 17844 17846 15618 0 -1 4202560 595 0 0 0 2 0 0 0 15 0 19 0 830224066 10813976576 222079 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 5 0 0 0
[pid=17846/tid=17850] ppid=17844 vsize=10560524 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17850/stat : 17850 (java) S 17844 17846 15618 0 -1 4202560 24 0 0 0 0 0 0 0 16 0 19 0 830224066 10813976576 222079 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 7 0 0 0
[pid=17846/tid=17851] ppid=17844 vsize=10560524 CPUtime=0.01 cores=1,3,5,7
/proc/17846/task/17851/stat : 17851 (java) S 17844 17846 15618 0 -1 4202560 484 0 0 0 1 0 0 0 15 0 19 0 830224066 10813976576 222079 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 7 0 0 0
[pid=17846/tid=17852] ppid=17844 vsize=10560524 CPUtime=0.01 cores=1,3,5,7
/proc/17846/task/17852/stat : 17852 (java) S 17844 17846 15618 0 -1 4202560 257 0 0 0 1 0 0 0 15 0 19 0 830224066 10813976576 222079 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 1 0 0 0
[pid=17846/tid=17853] ppid=17844 vsize=10560524 CPUtime=0.02 cores=1,3,5,7
/proc/17846/task/17853/stat : 17853 (java) S 17844 17846 15618 0 -1 4202560 288 0 0 0 2 0 0 0 16 0 19 0 830224066 10813976576 222079 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 1 0 0 0
[pid=17846/tid=17854] ppid=17844 vsize=10560524 CPUtime=0.01 cores=1,3,5,7
/proc/17846/task/17854/stat : 17854 (java) S 17844 17846 15618 0 -1 4202560 179 0 0 0 1 0 0 0 16 0 19 0 830224066 10813976576 222079 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 1 0 0 0
[pid=17846/tid=17855] ppid=17844 vsize=10560524 CPUtime=0.01 cores=1,3,5,7
/proc/17846/task/17855/stat : 17855 (java) S 17844 17846 15618 0 -1 4202560 364 0 0 0 1 0 0 0 15 0 19 0 830224066 10813976576 222079 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 5 0 0 0
[pid=17846/tid=17856] ppid=17844 vsize=10560524 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17856/stat : 17856 (java) S 17844 17846 15618 0 -1 4202560 450 0 0 0 0 0 0 0 15 0 19 0 830224066 10813976576 222079 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 7 0 0 0
[pid=17846/tid=17857] ppid=17844 vsize=10560524 CPUtime=0.29 cores=1,3,5,7
/proc/17846/task/17857/stat : 17857 (java) S 17844 17846 15618 0 -1 4202560 5735 0 0 0 29 0 0 0 15 0 19 0 830224067 10813976576 222079 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512508416 0 0 0 16800975 18446604471153502208 0 0 -1 3 0 0 0
[pid=17846/tid=17858] ppid=17844 vsize=10560524 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17858/stat : 17858 (java) S 17844 17846 15618 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 830224068 10813976576 222079 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 3 0 0 0
[pid=17846/tid=17859] ppid=17844 vsize=10560524 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17859/stat : 17859 (java) S 17844 17846 15618 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 830224068 10813976576 222079 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 3 0 0 0
[pid=17846/tid=17860] ppid=17844 vsize=10560524 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17860/stat : 17860 (java) S 17844 17846 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830224070 10813976576 222079 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512515505 0 4 0 16800975 18446604471153502208 0 0 -1 3 0 0 0
[pid=17846/tid=17861] ppid=17844 vsize=10560524 CPUtime=1.12 cores=1,3,5,7
/proc/17846/task/17861/stat : 17861 (java) S 17844 17846 15618 0 -1 4202560 8491 0 0 0 111 1 0 0 15 0 19 0 830224070 10813976576 222079 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 7 0 0 0
[pid=17846/tid=17862] ppid=17844 vsize=10560524 CPUtime=1 cores=1,3,5,7
/proc/17846/task/17862/stat : 17862 (java) S 17844 17846 15618 0 -1 4202560 7708 0 0 0 100 0 0 0 15 0 19 0 830224070 10813976576 222079 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 5 0 0 0
[pid=17846/tid=17863] ppid=17844 vsize=10560524 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17863/stat : 17863 (java) S 17844 17846 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830224070 10813976576 222079 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 3 0 0 0
[pid=17846/tid=17864] ppid=17844 vsize=10560524 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17864/stat : 17864 (java) S 17844 17846 15618 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830224070 10813976576 222079 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512508416 0 4 0 16800975 18446604471153502208 0 0 -1 7 0 0 0
[pid=17846/tid=17871] ppid=17844 vsize=10560524 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17871/stat : 17871 (java) S 17844 17846 15618 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 830224088 10813976576 222079 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512508416 0 4 0 16800975 18446604471153502208 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 27.74
Current children cumulated vsize (KiB) 10560524
[startup+13.3011 s]
/proc/loadavg: 1.75 1.78 1.90 5/560 17873
/proc/meminfo: memFree=18176408/32950928 swapFree=34259960/67111528
[pid=17846] ppid=17844 vsize=10560524 CPUtime=27.74 cores=1,3,5,7
/proc/17846/stat : 17846 (java) S 17844 17846 15618 0 -1 4202496 230953 0 1 0 2748 26 0 0 18 0 19 0 830224064 10813976576 222079 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17846/statm: 2640131 222079 2258 9 0 2630865 0
[pid=17846/tid=17847] ppid=17844 vsize=10560524 CPUtime=0.22 cores=1,3,5,7
/proc/17846/task/17847/stat : 17847 (java) S 17844 17846 15618 0 -1 4202560 12159 0 1 0 21 1 0 0 15 0 19 0 830224065 10813976576 222079 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512508416 0 4 0 16800975 18446604471153502208 0 0 -1 7 0 0 0
[pid=17846/tid=17849] ppid=17844 vsize=10560524 CPUtime=0.02 cores=1,3,5,7
/proc/17846/task/17849/stat : 17849 (java) S 17844 17846 15618 0 -1 4202560 595 0 0 0 2 0 0 0 15 0 19 0 830224066 10813976576 222079 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 5 0 0 0
[pid=17846/tid=17850] ppid=17844 vsize=10560524 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17850/stat : 17850 (java) S 17844 17846 15618 0 -1 4202560 24 0 0 0 0 0 0 0 16 0 19 0 830224066 10813976576 222079 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 7 0 0 0
[pid=17846/tid=17851] ppid=17844 vsize=10560524 CPUtime=0.01 cores=1,3,5,7
/proc/17846/task/17851/stat : 17851 (java) S 17844 17846 15618 0 -1 4202560 484 0 0 0 1 0 0 0 15 0 19 0 830224066 10813976576 222079 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 7 0 0 0
[pid=17846/tid=17852] ppid=17844 vsize=10560524 CPUtime=0.01 cores=1,3,5,7
/proc/17846/task/17852/stat : 17852 (java) S 17844 17846 15618 0 -1 4202560 257 0 0 0 1 0 0 0 15 0 19 0 830224066 10813976576 222079 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 1 0 0 0
[pid=17846/tid=17853] ppid=17844 vsize=10560524 CPUtime=0.02 cores=1,3,5,7
/proc/17846/task/17853/stat : 17853 (java) S 17844 17846 15618 0 -1 4202560 288 0 0 0 2 0 0 0 16 0 19 0 830224066 10813976576 222079 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 1 0 0 0
[pid=17846/tid=17854] ppid=17844 vsize=10560524 CPUtime=0.01 cores=1,3,5,7
/proc/17846/task/17854/stat : 17854 (java) S 17844 17846 15618 0 -1 4202560 179 0 0 0 1 0 0 0 16 0 19 0 830224066 10813976576 222079 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 1 0 0 0
[pid=17846/tid=17855] ppid=17844 vsize=10560524 CPUtime=0.01 cores=1,3,5,7
/proc/17846/task/17855/stat : 17855 (java) S 17844 17846 15618 0 -1 4202560 364 0 0 0 1 0 0 0 15 0 19 0 830224066 10813976576 222079 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 5 0 0 0
[pid=17846/tid=17856] ppid=17844 vsize=10560524 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17856/stat : 17856 (java) S 17844 17846 15618 0 -1 4202560 450 0 0 0 0 0 0 0 15 0 19 0 830224066 10813976576 222079 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 7 0 0 0
[pid=17846/tid=17857] ppid=17844 vsize=10560524 CPUtime=0.29 cores=1,3,5,7
/proc/17846/task/17857/stat : 17857 (java) S 17844 17846 15618 0 -1 4202560 5735 0 0 0 29 0 0 0 15 0 19 0 830224067 10813976576 222079 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512508416 0 0 0 16800975 18446604471153502208 0 0 -1 3 0 0 0
[pid=17846/tid=17858] ppid=17844 vsize=10560524 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17858/stat : 17858 (java) S 17844 17846 15618 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 830224068 10813976576 222079 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 3 0 0 0
[pid=17846/tid=17859] ppid=17844 vsize=10560524 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17859/stat : 17859 (java) S 17844 17846 15618 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 830224068 10813976576 222079 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 3 0 0 0
[pid=17846/tid=17860] ppid=17844 vsize=10560524 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17860/stat : 17860 (java) S 17844 17846 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830224070 10813976576 222079 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512515505 0 4 0 16800975 18446604471153502208 0 0 -1 3 0 0 0
[pid=17846/tid=17861] ppid=17844 vsize=10560524 CPUtime=1.12 cores=1,3,5,7
/proc/17846/task/17861/stat : 17861 (java) S 17844 17846 15618 0 -1 4202560 8491 0 0 0 111 1 0 0 15 0 19 0 830224070 10813976576 222079 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 7 0 0 0
[pid=17846/tid=17862] ppid=17844 vsize=10560524 CPUtime=1 cores=1,3,5,7
/proc/17846/task/17862/stat : 17862 (java) S 17844 17846 15618 0 -1 4202560 7708 0 0 0 100 0 0 0 15 0 19 0 830224070 10813976576 222079 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 5 0 0 0
[pid=17846/tid=17863] ppid=17844 vsize=10560524 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17863/stat : 17863 (java) S 17844 17846 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830224070 10813976576 222079 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512507801 0 4 0 16800975 18446604471153502208 0 0 -1 3 0 0 0
[pid=17846/tid=17864] ppid=17844 vsize=10560524 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17864/stat : 17864 (java) S 17844 17846 15618 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830224070 10813976576 222079 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512508416 0 4 0 16800975 18446604471153502208 0 0 -1 7 0 0 0
[pid=17846/tid=17871] ppid=17844 vsize=10560524 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17871/stat : 17871 (java) S 17844 17846 15618 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 830224088 10813976576 222079 33554432000 1073741824 1073778376 140737440607936 18446744073709551615 254512508416 0 4 0 16800975 18446604471153502208 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 27.74
Current children cumulated vsize (KiB) 10560524
Child status: 10
Real time (s): 13.3436
CPU time (s): 27.7918
CPU user time (s): 27.4908
CPU system time (s): 0.300954
CPU usage (%): 208.278
Max. virtual memory (cumulated for all children) (KiB): 10568492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.4908
system time used= 0.300954
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 230958
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= 853
involuntary context switches= 718
runsolver used 0.066989 second user time and 0.175973 second system time
The end