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-3456786-1307644074/watcher-3456786-1307644074 -o /tmp/evaluation-result-3456786-1307644074/solver-3456786-1307644074 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456786-1307644074.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 1/175 29782
/proc/meminfo: memFree=32268220/32950928 swapFree=67051812/67111528
[pid=29782] ppid=29780 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/29782/stat : 29782 (java) R 29780 29782 28735 0 -1 4202496 953 0 0 0 0 0 0 0 25 0 1 0 954638046 23580672 697 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260900431761 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29782/statm: 5757 697 514 9 0 124 0
[startup+0.0225729 s]
/proc/loadavg: 2.00 2.00 2.00 1/175 29782
/proc/meminfo: memFree=32268220/32950928 swapFree=67051812/67111528
[pid=29782] ppid=29780 vsize=10444316 CPUtime=0.01 cores=1,3,5,7
/proc/29782/stat : 29782 (java) S 29780 29782 28735 0 -1 4202496 9190 0 1 0 0 1 0 0 25 0 2 0 954638046 10694979584 8892 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917196773 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/29782/statm: 2611079 8910 917 9 0 2602235 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10444316
[startup+0.100619 s]
/proc/loadavg: 2.00 2.00 2.00 1/175 29782
/proc/meminfo: memFree=32268220/32950928 swapFree=67051812/67111528
[pid=29782] ppid=29780 vsize=10539912 CPUtime=0.1 cores=1,3,5,7
/proc/29782/stat : 29782 (java) S 29780 29782 28735 0 -1 4202496 13060 0 1 0 9 1 0 0 25 0 18 0 954638046 10792869888 12729 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29782/statm: 2634978 12729 2092 9 0 2625712 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539912
[startup+0.300529 s]
/proc/loadavg: 2.00 2.00 2.00 1/175 29782
/proc/meminfo: memFree=32268220/32950928 swapFree=67051812/67111528
[pid=29782] ppid=29780 vsize=10552868 CPUtime=0.6 cores=1,3,5,7
/proc/29782/stat : 29782 (java) S 29780 29782 28735 0 -1 4202496 21235 0 1 0 58 2 0 0 25 0 19 0 954638046 10806136832 18708 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29782/statm: 2638217 18709 2195 9 0 2628951 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 10552868
[startup+0.700452 s]
/proc/loadavg: 2.00 2.00 2.00 1/175 29782
/proc/meminfo: memFree=32268220/32950928 swapFree=67051812/67111528
[pid=29782] ppid=29780 vsize=10553620 CPUtime=1.46 cores=1,3,5,7
/proc/29782/stat : 29782 (java) S 29780 29782 28735 0 -1 4202496 41835 0 1 0 142 4 0 0 25 0 19 0 954638046 10806906880 37075 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29782/statm: 2638405 37076 2219 9 0 2629139 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 10553620
[startup+1.50131 s]
/proc/loadavg: 2.00 2.00 2.00 4/193 29811
/proc/meminfo: memFree=32034972/32950928 swapFree=67051812/67111528
[pid=29782] ppid=29780 vsize=10553620 CPUtime=2.36 cores=1,3,5,7
/proc/29782/stat : 29782 (java) S 29780 29782 28735 0 -1 4202496 79808 0 1 0 226 10 0 0 25 0 19 0 954638046 10806906880 74999 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29782/statm: 2638405 74999 2224 9 0 2629139 0
[pid=29782/tid=29784] ppid=29780 vsize=10553620 CPUtime=1.48 cores=1,3,5,7
/proc/29782/task/29784/stat : 29784 (java) R 29780 29782 28735 0 -1 4202560 68748 0 1 0 140 8 0 0 25 0 19 0 954638047 10806906880 74999 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 46912505596559 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29782/tid=29785] ppid=29780 vsize=10553620 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29785/stat : 29785 (java) S 29780 29782 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954638049 10806906880 74999 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 1 0 0 0
[pid=29782/tid=29786] ppid=29780 vsize=10553620 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29786/stat : 29786 (java) S 29780 29782 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954638049 10806906880 74999 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 1 0 0 0
[pid=29782/tid=29787] ppid=29780 vsize=10553620 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29787/stat : 29787 (java) S 29780 29782 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954638049 10806906880 74999 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 1 0 0 0
[pid=29782/tid=29788] ppid=29780 vsize=10553620 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29788/stat : 29788 (java) S 29780 29782 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954638049 10806906880 74999 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 1 0 0 0
[pid=29782/tid=29789] ppid=29780 vsize=10553620 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29789/stat : 29789 (java) S 29780 29782 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954638049 10806906880 74999 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 1 0 0 0
[pid=29782/tid=29790] ppid=29780 vsize=10553620 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29790/stat : 29790 (java) S 29780 29782 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954638049 10806906880 74999 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 1 0 0 0
[pid=29782/tid=29791] ppid=29780 vsize=10553620 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29791/stat : 29791 (java) S 29780 29782 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954638049 10806906880 74999 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 1 0 0 0
[pid=29782/tid=29792] ppid=29780 vsize=10553620 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29792/stat : 29792 (java) S 29780 29782 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954638049 10806906880 74999 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 1 0 0 0
[pid=29782/tid=29793] ppid=29780 vsize=10553620 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29793/stat : 29793 (java) S 29780 29782 28735 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 954638050 10806906880 74999 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210624 0 0 0 16800975 18446604471158753280 0 0 -1 1 0 0 0
[pid=29782/tid=29794] ppid=29780 vsize=10553620 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29794/stat : 29794 (java) S 29780 29782 28735 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 954638050 10806906880 74999 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 1 0 0 0
[pid=29782/tid=29795] ppid=29780 vsize=10553620 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29795/stat : 29795 (java) S 29780 29782 28735 0 -1 4202560 9 0 0 0 0 0 0 0 25 0 19 0 954638050 10806906880 74999 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 3 0 0 0
[pid=29782/tid=29796] ppid=29780 vsize=10553620 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29796/stat : 29796 (java) S 29780 29782 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954638052 10806906880 74999 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917217713 0 4 0 16800975 18446604471158753280 0 0 -1 1 0 0 0
[pid=29782/tid=29797] ppid=29780 vsize=10553620 CPUtime=0.46 cores=1,3,5,7
/proc/29782/task/29797/stat : 29797 (java) S 29780 29782 28735 0 -1 4202560 4935 0 0 0 46 0 0 0 17 0 19 0 954638052 10806906880 75003 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 3 0 0 0
[pid=29782/tid=29798] ppid=29780 vsize=10553620 CPUtime=0.4 cores=1,3,5,7
/proc/29782/task/29798/stat : 29798 (java) R 29780 29782 28735 0 -1 4202560 4963 0 0 0 40 0 0 0 16 0 19 0 954638052 10806906880 75003 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 47380167551544 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29782/tid=29799] ppid=29780 vsize=10553620 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29799/stat : 29799 (java) S 29780 29782 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954638052 10806906880 75003 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 1 0 0 0
[pid=29782/tid=29800] ppid=29780 vsize=10553620 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29800/stat : 29800 (java) S 29780 29782 28735 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 954638052 10806906880 75003 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210624 0 4 0 16800975 18446604471158753280 0 0 -1 5 0 0 0
[pid=29782/tid=29801] ppid=29780 vsize=10553620 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29801/stat : 29801 (java) S 29780 29782 28735 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954638064 10806906880 75003 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210624 0 4 0 16800975 18446604471158753280 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.36
Current children cumulated vsize (KiB) 10553620
[startup+3.10101 s]
/proc/loadavg: 2.00 2.00 2.00 3/193 29829
/proc/meminfo: memFree=31941736/32950928 swapFree=67051812/67111528
[pid=29782] ppid=29780 vsize=10553620 CPUtime=3.96 cores=1,3,5,7
/proc/29782/stat : 29782 (java) S 29780 29782 28735 0 -1 4202496 100235 0 1 0 384 12 0 0 25 0 19 0 954638046 10806906880 95426 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29782/statm: 2638405 95426 2224 9 0 2629139 0
[pid=29782/tid=29784] ppid=29780 vsize=10553620 CPUtime=3.08 cores=1,3,5,7
/proc/29782/task/29784/stat : 29784 (java) R 29780 29782 28735 0 -1 4202560 89171 0 1 0 297 11 0 0 25 0 19 0 954638047 10806906880 95426 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 46912505596559 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29782/tid=29785] ppid=29780 vsize=10553620 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29785/stat : 29785 (java) S 29780 29782 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954638049 10806906880 95426 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 1 0 0 0
[pid=29782/tid=29786] ppid=29780 vsize=10553620 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29786/stat : 29786 (java) S 29780 29782 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954638049 10806906880 95426 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 1 0 0 0
[pid=29782/tid=29787] ppid=29780 vsize=10553620 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29787/stat : 29787 (java) S 29780 29782 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954638049 10806906880 95426 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 1 0 0 0
[pid=29782/tid=29788] ppid=29780 vsize=10553620 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29788/stat : 29788 (java) S 29780 29782 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954638049 10806906880 95426 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 1 0 0 0
[pid=29782/tid=29789] ppid=29780 vsize=10553620 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29789/stat : 29789 (java) S 29780 29782 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954638049 10806906880 95426 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 1 0 0 0
[pid=29782/tid=29790] ppid=29780 vsize=10553620 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29790/stat : 29790 (java) S 29780 29782 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954638049 10806906880 95426 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 1 0 0 0
[pid=29782/tid=29791] ppid=29780 vsize=10553620 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29791/stat : 29791 (java) S 29780 29782 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954638049 10806906880 95426 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 1 0 0 0
[pid=29782/tid=29792] ppid=29780 vsize=10553620 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29792/stat : 29792 (java) S 29780 29782 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954638049 10806906880 95426 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 1 0 0 0
[pid=29782/tid=29793] ppid=29780 vsize=10553620 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29793/stat : 29793 (java) S 29780 29782 28735 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 954638050 10806906880 95426 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210624 0 0 0 16800975 18446604471158753280 0 0 -1 1 0 0 0
[pid=29782/tid=29794] ppid=29780 vsize=10553620 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29794/stat : 29794 (java) S 29780 29782 28735 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 954638050 10806906880 95426 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 1 0 0 0
[pid=29782/tid=29795] ppid=29780 vsize=10553620 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29795/stat : 29795 (java) S 29780 29782 28735 0 -1 4202560 9 0 0 0 0 0 0 0 25 0 19 0 954638050 10806906880 95426 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 3 0 0 0
[pid=29782/tid=29796] ppid=29780 vsize=10553620 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29796/stat : 29796 (java) S 29780 29782 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954638052 10806906880 95426 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917217713 0 4 0 16800975 18446604471158753280 0 0 -1 1 0 0 0
[pid=29782/tid=29797] ppid=29780 vsize=10553620 CPUtime=0.46 cores=1,3,5,7
/proc/29782/task/29797/stat : 29797 (java) S 29780 29782 28735 0 -1 4202560 4935 0 0 0 46 0 0 0 17 0 19 0 954638052 10806906880 95426 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 3 0 0 0
[pid=29782/tid=29798] ppid=29780 vsize=10553620 CPUtime=0.41 cores=1,3,5,7
/proc/29782/task/29798/stat : 29798 (java) S 29780 29782 28735 0 -1 4202560 4967 0 0 0 41 0 0 0 16 0 19 0 954638052 10806906880 95426 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 5 0 0 0
[pid=29782/tid=29799] ppid=29780 vsize=10553620 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29799/stat : 29799 (java) S 29780 29782 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954638052 10806906880 95426 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 1 0 0 0
[pid=29782/tid=29800] ppid=29780 vsize=10553620 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29800/stat : 29800 (java) S 29780 29782 28735 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 954638052 10806906880 95426 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210624 0 4 0 16800975 18446604471158753280 0 0 -1 5 0 0 0
[pid=29782/tid=29801] ppid=29780 vsize=10553620 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29801/stat : 29801 (java) S 29780 29782 28735 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954638064 10806906880 95426 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210624 0 4 0 16800975 18446604471158753280 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 10553620
[startup+6.30143 s]
/proc/loadavg: 2.08 2.02 2.01 3/213 29856
/proc/meminfo: memFree=31282360/32950928 swapFree=67051812/67111528
[pid=29782] ppid=29780 vsize=10550748 CPUtime=7.17 cores=1,3,5,7
/proc/29782/stat : 29782 (java) S 29780 29782 28735 0 -1 4202496 197593 0 1 0 695 22 0 0 25 0 19 0 954638046 10803965952 192197 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29782/statm: 2637687 192197 2225 9 0 2628421 0
[pid=29782/tid=29784] ppid=29780 vsize=10550748 CPUtime=6.29 cores=1,3,5,7
/proc/29782/task/29784/stat : 29784 (java) R 29780 29782 28735 0 -1 4202560 186529 0 1 0 608 21 0 0 25 0 19 0 954638047 10803965952 192198 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 46912505596112 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29782/tid=29785] ppid=29780 vsize=10550748 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29785/stat : 29785 (java) S 29780 29782 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954638049 10803965952 192198 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 1 0 0 0
[pid=29782/tid=29786] ppid=29780 vsize=10550748 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29786/stat : 29786 (java) S 29780 29782 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954638049 10803965952 192198 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 1 0 0 0
[pid=29782/tid=29787] ppid=29780 vsize=10550748 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29787/stat : 29787 (java) S 29780 29782 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954638049 10803965952 192198 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 1 0 0 0
[pid=29782/tid=29788] ppid=29780 vsize=10550748 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29788/stat : 29788 (java) S 29780 29782 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954638049 10803965952 192198 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 1 0 0 0
[pid=29782/tid=29789] ppid=29780 vsize=10550748 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29789/stat : 29789 (java) S 29780 29782 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954638049 10803965952 192198 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 1 0 0 0
[pid=29782/tid=29790] ppid=29780 vsize=10550748 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29790/stat : 29790 (java) S 29780 29782 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954638049 10803965952 192198 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 1 0 0 0
[pid=29782/tid=29791] ppid=29780 vsize=10550748 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29791/stat : 29791 (java) S 29780 29782 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954638049 10803965952 192198 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 1 0 0 0
[pid=29782/tid=29792] ppid=29780 vsize=10550748 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29792/stat : 29792 (java) S 29780 29782 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954638049 10803965952 192198 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 1 0 0 0
[pid=29782/tid=29793] ppid=29780 vsize=10550748 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29793/stat : 29793 (java) S 29780 29782 28735 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 954638050 10803965952 192198 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210624 0 0 0 16800975 18446604471158753280 0 0 -1 1 0 0 0
[pid=29782/tid=29794] ppid=29780 vsize=10550748 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29794/stat : 29794 (java) S 29780 29782 28735 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 954638050 10803965952 192198 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 1 0 0 0
[pid=29782/tid=29795] ppid=29780 vsize=10550748 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29795/stat : 29795 (java) S 29780 29782 28735 0 -1 4202560 9 0 0 0 0 0 0 0 25 0 19 0 954638050 10803965952 192198 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 3 0 0 0
[pid=29782/tid=29796] ppid=29780 vsize=10550748 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29796/stat : 29796 (java) S 29780 29782 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954638052 10803965952 192198 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917217713 0 4 0 16800975 18446604471158753280 0 0 -1 1 0 0 0
[pid=29782/tid=29797] ppid=29780 vsize=10550748 CPUtime=0.46 cores=1,3,5,7
/proc/29782/task/29797/stat : 29797 (java) S 29780 29782 28735 0 -1 4202560 4935 0 0 0 46 0 0 0 15 0 19 0 954638052 10803965952 192198 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 3 0 0 0
[pid=29782/tid=29798] ppid=29780 vsize=10550748 CPUtime=0.41 cores=1,3,5,7
/proc/29782/task/29798/stat : 29798 (java) S 29780 29782 28735 0 -1 4202560 4967 0 0 0 41 0 0 0 15 0 19 0 954638052 10803965952 192198 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 5 0 0 0
[pid=29782/tid=29799] ppid=29780 vsize=10550748 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29799/stat : 29799 (java) S 29780 29782 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954638052 10803965952 192198 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 1 0 0 0
[pid=29782/tid=29800] ppid=29780 vsize=10550748 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29800/stat : 29800 (java) S 29780 29782 28735 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 954638052 10803965952 192198 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210624 0 4 0 16800975 18446604471158753280 0 0 -1 5 0 0 0
[pid=29782/tid=29801] ppid=29780 vsize=10550748 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29801/stat : 29801 (java) S 29780 29782 28735 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954638064 10803965952 192198 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210624 0 4 0 16800975 18446604471158753280 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 7.17
Current children cumulated vsize (KiB) 10550748
[startup+12.7013 s]
################
# More data... #
################
/proc/29782/task/29791/stat : 29791 (java) S 29780 29782 28735 0 -1 4202560 31019 0 0 0 7 5 0 0 15 0 19 0 954638049 10803965952 915201 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 7 0 0 0
[pid=29782/tid=29792] ppid=29780 vsize=10550748 CPUtime=0.08 cores=1,3,5,7
/proc/29782/task/29792/stat : 29792 (java) S 29780 29782 28735 0 -1 4202560 19252 0 0 0 6 2 0 0 16 0 19 0 954638049 10803965952 915201 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 1 0 0 0
[pid=29782/tid=29793] ppid=29780 vsize=10550748 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29793/stat : 29793 (java) S 29780 29782 28735 0 -1 4202560 34 0 0 0 0 0 0 0 15 0 19 0 954638050 10803965952 915201 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210624 0 0 0 16800975 18446604471158753280 0 0 -1 5 0 0 0
[pid=29782/tid=29794] ppid=29780 vsize=10550748 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29794/stat : 29794 (java) S 29780 29782 28735 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 954638050 10803965952 915201 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 1 0 0 0
[pid=29782/tid=29795] ppid=29780 vsize=10550748 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29795/stat : 29795 (java) S 29780 29782 28735 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 954638050 10803965952 915201 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 3 0 0 0
[pid=29782/tid=29796] ppid=29780 vsize=10550748 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29796/stat : 29796 (java) S 29780 29782 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954638052 10803965952 915201 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917217713 0 4 0 16800975 18446604471158753280 0 0 -1 1 0 0 0
[pid=29782/tid=29797] ppid=29780 vsize=10550748 CPUtime=0.51 cores=1,3,5,7
/proc/29782/task/29797/stat : 29797 (java) S 29780 29782 28735 0 -1 4202560 4950 0 0 0 51 0 0 0 15 0 19 0 954638052 10803965952 915201 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 3 0 0 0
[pid=29782/tid=29798] ppid=29780 vsize=10550748 CPUtime=0.41 cores=1,3,5,7
/proc/29782/task/29798/stat : 29798 (java) S 29780 29782 28735 0 -1 4202560 4967 0 0 0 41 0 0 0 15 0 19 0 954638052 10803965952 915201 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 5 0 0 0
[pid=29782/tid=29799] ppid=29780 vsize=10550748 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29799/stat : 29799 (java) S 29780 29782 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954638052 10803965952 915201 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 1 0 0 0
[pid=29782/tid=29800] ppid=29780 vsize=10550748 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29800/stat : 29800 (java) S 29780 29782 28735 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 954638052 10803965952 915201 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210624 0 4 0 16800975 18446604471158753280 0 0 -1 5 0 0 0
[pid=29782/tid=29801] ppid=29780 vsize=10550748 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29801/stat : 29801 (java) S 29780 29782 28735 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954638064 10803965952 915201 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210624 0 4 0 16800975 18446604471158753280 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1783.88
Current children cumulated vsize (KiB) 10550748
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.51 s]
/proc/loadavg: 1.93 1.98 1.99 3/214 29967
/proc/meminfo: memFree=26842852/32950928 swapFree=67051812/67111528
[pid=29782] ppid=29780 vsize=10550748 CPUtime=1800.09 cores=1,3,5,7
/proc/29782/stat : 29782 (java) S 29780 29782 28735 0 -1 4202496 922499 0 1 0 179903 106 0 0 25 0 19 0 954638046 10803965952 915201 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29782/statm: 2637687 915201 2238 9 0 2628421 0
[pid=29782/tid=29784] ppid=29780 vsize=10550748 CPUtime=1798.3 cores=1,3,5,7
/proc/29782/task/29784/stat : 29784 (java) R 29780 29782 28735 0 -1 4202560 746901 0 1 0 179755 75 0 0 25 0 19 0 954638047 10803965952 915201 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 46912505596533 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29782/tid=29785] ppid=29780 vsize=10550748 CPUtime=0.12 cores=1,3,5,7
/proc/29782/task/29785/stat : 29785 (java) S 29780 29782 28735 0 -1 4202560 26962 0 0 0 7 5 0 0 15 0 19 0 954638049 10803965952 915201 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 7 0 0 0
[pid=29782/tid=29786] ppid=29780 vsize=10550748 CPUtime=0.06 cores=1,3,5,7
/proc/29782/task/29786/stat : 29786 (java) S 29780 29782 28735 0 -1 4202560 13093 0 0 0 4 2 0 0 16 0 19 0 954638049 10803965952 915201 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 7 0 0 0
[pid=29782/tid=29787] ppid=29780 vsize=10550748 CPUtime=0.06 cores=1,3,5,7
/proc/29782/task/29787/stat : 29787 (java) S 29780 29782 28735 0 -1 4202560 10538 0 0 0 4 2 0 0 16 0 19 0 954638049 10803965952 915201 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 1 0 0 0
[pid=29782/tid=29788] ppid=29780 vsize=10550748 CPUtime=0.09 cores=1,3,5,7
/proc/29782/task/29788/stat : 29788 (java) S 29780 29782 28735 0 -1 4202560 24782 0 0 0 6 3 0 0 15 0 19 0 954638049 10803965952 915201 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 5 0 0 0
[pid=29782/tid=29789] ppid=29780 vsize=10550748 CPUtime=0.12 cores=1,3,5,7
/proc/29782/task/29789/stat : 29789 (java) S 29780 29782 28735 0 -1 4202560 24733 0 0 0 8 4 0 0 16 0 19 0 954638049 10803965952 915201 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 3 0 0 0
[pid=29782/tid=29790] ppid=29780 vsize=10550748 CPUtime=0.1 cores=1,3,5,7
/proc/29782/task/29790/stat : 29790 (java) S 29780 29782 28735 0 -1 4202560 14011 0 0 0 8 2 0 0 16 0 19 0 954638049 10803965952 915201 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 5 0 0 0
[pid=29782/tid=29791] ppid=29780 vsize=10550748 CPUtime=0.12 cores=1,3,5,7
/proc/29782/task/29791/stat : 29791 (java) S 29780 29782 28735 0 -1 4202560 31019 0 0 0 7 5 0 0 15 0 19 0 954638049 10803965952 915201 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 7 0 0 0
[pid=29782/tid=29792] ppid=29780 vsize=10550748 CPUtime=0.08 cores=1,3,5,7
/proc/29782/task/29792/stat : 29792 (java) S 29780 29782 28735 0 -1 4202560 19252 0 0 0 6 2 0 0 16 0 19 0 954638049 10803965952 915201 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 1 0 0 0
[pid=29782/tid=29793] ppid=29780 vsize=10550748 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29793/stat : 29793 (java) S 29780 29782 28735 0 -1 4202560 34 0 0 0 0 0 0 0 15 0 19 0 954638050 10803965952 915201 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210624 0 0 0 16800975 18446604471158753280 0 0 -1 5 0 0 0
[pid=29782/tid=29794] ppid=29780 vsize=10550748 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29794/stat : 29794 (java) S 29780 29782 28735 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 954638050 10803965952 915201 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 1 0 0 0
[pid=29782/tid=29795] ppid=29780 vsize=10550748 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29795/stat : 29795 (java) S 29780 29782 28735 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 954638050 10803965952 915201 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 3 0 0 0
[pid=29782/tid=29796] ppid=29780 vsize=10550748 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29796/stat : 29796 (java) S 29780 29782 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954638052 10803965952 915201 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917217713 0 4 0 16800975 18446604471158753280 0 0 -1 1 0 0 0
[pid=29782/tid=29797] ppid=29780 vsize=10550748 CPUtime=0.51 cores=1,3,5,7
/proc/29782/task/29797/stat : 29797 (java) S 29780 29782 28735 0 -1 4202560 4950 0 0 0 51 0 0 0 15 0 19 0 954638052 10803965952 915201 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 3 0 0 0
[pid=29782/tid=29798] ppid=29780 vsize=10550748 CPUtime=0.41 cores=1,3,5,7
/proc/29782/task/29798/stat : 29798 (java) S 29780 29782 28735 0 -1 4202560 4967 0 0 0 41 0 0 0 15 0 19 0 954638052 10803965952 915201 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 5 0 0 0
[pid=29782/tid=29799] ppid=29780 vsize=10550748 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29799/stat : 29799 (java) S 29780 29782 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954638052 10803965952 915201 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 1 0 0 0
[pid=29782/tid=29800] ppid=29780 vsize=10550748 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29800/stat : 29800 (java) S 29780 29782 28735 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 954638052 10803965952 915201 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210624 0 4 0 16800975 18446604471158753280 0 0 -1 5 0 0 0
[pid=29782/tid=29801] ppid=29780 vsize=10550748 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29801/stat : 29801 (java) S 29780 29782 28735 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954638064 10803965952 915201 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210624 0 4 0 16800975 18446604471158753280 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 10550748
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1798.61 s]
/proc/loadavg: 1.93 1.98 1.99 3/214 29967
/proc/meminfo: memFree=26842852/32950928 swapFree=67051812/67111528
[pid=29782] ppid=29780 vsize=10552804 CPUtime=1800.29 cores=1,3,5,7
/proc/29782/stat : 29782 (java) S 29780 29782 28735 0 -1 4202496 922528 0 1 0 179914 115 0 0 18 0 18 0 954638046 10806071296 915229 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29782/statm: 2638201 915229 2241 9 0 2628935 0
[pid=29782/tid=29784] ppid=29780 vsize=10552804 CPUtime=1798.4 cores=1,3,5,7
/proc/29782/task/29784/stat : 29784 (java) R 29780 29782 28735 0 -1 4202560 746901 0 1 0 179765 75 0 0 25 0 18 0 954638047 10806071296 915229 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 46912505596533 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29782/tid=29785] ppid=29780 vsize=10552804 CPUtime=0.12 cores=1,3,5,7
/proc/29782/task/29785/stat : 29785 (java) S 29780 29782 28735 0 -1 4202560 26962 0 0 0 7 5 0 0 15 0 18 0 954638049 10806071296 915229 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 7 0 0 0
[pid=29782/tid=29786] ppid=29780 vsize=10552804 CPUtime=0.06 cores=1,3,5,7
/proc/29782/task/29786/stat : 29786 (java) S 29780 29782 28735 0 -1 4202560 13093 0 0 0 4 2 0 0 16 0 18 0 954638049 10806071296 915229 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 7 0 0 0
[pid=29782/tid=29787] ppid=29780 vsize=10552804 CPUtime=0.06 cores=1,3,5,7
/proc/29782/task/29787/stat : 29787 (java) S 29780 29782 28735 0 -1 4202560 10538 0 0 0 4 2 0 0 16 0 18 0 954638049 10806071296 915229 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 1 0 0 0
[pid=29782/tid=29788] ppid=29780 vsize=10552804 CPUtime=0.09 cores=1,3,5,7
/proc/29782/task/29788/stat : 29788 (java) S 29780 29782 28735 0 -1 4202560 24782 0 0 0 6 3 0 0 15 0 18 0 954638049 10806071296 915229 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 5 0 0 0
[pid=29782/tid=29789] ppid=29780 vsize=10552804 CPUtime=0.12 cores=1,3,5,7
/proc/29782/task/29789/stat : 29789 (java) S 29780 29782 28735 0 -1 4202560 24733 0 0 0 8 4 0 0 16 0 18 0 954638049 10806071296 915229 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 3 0 0 0
[pid=29782/tid=29790] ppid=29780 vsize=10552804 CPUtime=0.1 cores=1,3,5,7
/proc/29782/task/29790/stat : 29790 (java) S 29780 29782 28735 0 -1 4202560 14011 0 0 0 8 2 0 0 16 0 18 0 954638049 10806071296 915229 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 5 0 0 0
[pid=29782/tid=29791] ppid=29780 vsize=10552804 CPUtime=0.12 cores=1,3,5,7
/proc/29782/task/29791/stat : 29791 (java) S 29780 29782 28735 0 -1 4202560 31019 0 0 0 7 5 0 0 15 0 18 0 954638049 10806071296 915229 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 7 0 0 0
[pid=29782/tid=29792] ppid=29780 vsize=10552804 CPUtime=0.08 cores=1,3,5,7
/proc/29782/task/29792/stat : 29792 (java) S 29780 29782 28735 0 -1 4202560 19252 0 0 0 6 2 0 0 16 0 18 0 954638049 10806071296 915229 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 1 0 0 0
[pid=29782/tid=29793] ppid=29780 vsize=10552804 CPUtime=0.09 cores=1,3,5,7
/proc/29782/task/29793/stat : 29793 (java) R 29780 29782 28735 0 -1 4202560 35 0 0 0 0 9 0 0 16 0 18 0 954638050 10806071296 915229 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260905347383 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=29782/tid=29794] ppid=29780 vsize=10552804 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29794/stat : 29794 (java) S 29780 29782 28735 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 954638050 10806071296 915229 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 1 0 0 0
[pid=29782/tid=29795] ppid=29780 vsize=10552804 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29795/stat : 29795 (java) S 29780 29782 28735 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 18 0 954638050 10806071296 915229 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 3 0 0 0
[pid=29782/tid=29797] ppid=29780 vsize=10552804 CPUtime=0.51 cores=1,3,5,7
/proc/29782/task/29797/stat : 29797 (java) S 29780 29782 28735 0 -1 4202560 4950 0 0 0 51 0 0 0 15 0 18 0 954638052 10806071296 915229 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 3 0 0 0
[pid=29782/tid=29798] ppid=29780 vsize=10552804 CPUtime=0.41 cores=1,3,5,7
/proc/29782/task/29798/stat : 29798 (java) S 29780 29782 28735 0 -1 4202560 4967 0 0 0 41 0 0 0 15 0 18 0 954638052 10806071296 915229 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 5 0 0 0
[pid=29782/tid=29799] ppid=29780 vsize=10552804 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29799/stat : 29799 (java) S 29780 29782 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 954638052 10806071296 915229 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 1 0 0 0
[pid=29782/tid=29801] ppid=29780 vsize=10552804 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29801/stat : 29801 (java) S 29780 29782 28735 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 954638064 10806071296 915229 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210624 0 4 0 16800975 18446604471158753280 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (KiB) 10552804
[startup+1798.8 s]
/proc/loadavg: 1.93 1.98 1.99 3/214 29967
/proc/meminfo: memFree=26842852/32950928 swapFree=67051812/67111528
[pid=29782] ppid=29780 vsize=10552804 CPUtime=1800.66 cores=1,3,5,7
/proc/29782/stat : 29782 (java) S 29780 29782 28735 0 -1 4202496 922528 0 1 0 179932 134 0 0 18 0 18 0 954638046 10806071296 915229 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29782/statm: 2638201 915229 2241 9 0 2628935 0
[pid=29782/tid=29784] ppid=29780 vsize=10552804 CPUtime=1798.59 cores=1,3,5,7
/proc/29782/task/29784/stat : 29784 (java) R 29780 29782 28735 0 -1 4202560 746901 0 1 0 179784 75 0 0 25 0 18 0 954638047 10806071296 915229 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 46912505596533 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29782/tid=29785] ppid=29780 vsize=10552804 CPUtime=0.12 cores=1,3,5,7
/proc/29782/task/29785/stat : 29785 (java) S 29780 29782 28735 0 -1 4202560 26962 0 0 0 7 5 0 0 15 0 18 0 954638049 10806071296 915229 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 7 0 0 0
[pid=29782/tid=29786] ppid=29780 vsize=10552804 CPUtime=0.06 cores=1,3,5,7
/proc/29782/task/29786/stat : 29786 (java) S 29780 29782 28735 0 -1 4202560 13093 0 0 0 4 2 0 0 16 0 18 0 954638049 10806071296 915229 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 7 0 0 0
[pid=29782/tid=29787] ppid=29780 vsize=10552804 CPUtime=0.06 cores=1,3,5,7
/proc/29782/task/29787/stat : 29787 (java) S 29780 29782 28735 0 -1 4202560 10538 0 0 0 4 2 0 0 16 0 18 0 954638049 10806071296 915229 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 1 0 0 0
[pid=29782/tid=29788] ppid=29780 vsize=10552804 CPUtime=0.09 cores=1,3,5,7
/proc/29782/task/29788/stat : 29788 (java) S 29780 29782 28735 0 -1 4202560 24782 0 0 0 6 3 0 0 15 0 18 0 954638049 10806071296 915229 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 5 0 0 0
[pid=29782/tid=29789] ppid=29780 vsize=10552804 CPUtime=0.12 cores=1,3,5,7
/proc/29782/task/29789/stat : 29789 (java) S 29780 29782 28735 0 -1 4202560 24733 0 0 0 8 4 0 0 16 0 18 0 954638049 10806071296 915229 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 3 0 0 0
[pid=29782/tid=29790] ppid=29780 vsize=10552804 CPUtime=0.1 cores=1,3,5,7
/proc/29782/task/29790/stat : 29790 (java) S 29780 29782 28735 0 -1 4202560 14011 0 0 0 8 2 0 0 16 0 18 0 954638049 10806071296 915229 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 5 0 0 0
[pid=29782/tid=29791] ppid=29780 vsize=10552804 CPUtime=0.12 cores=1,3,5,7
/proc/29782/task/29791/stat : 29791 (java) S 29780 29782 28735 0 -1 4202560 31019 0 0 0 7 5 0 0 15 0 18 0 954638049 10806071296 915229 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 7 0 0 0
[pid=29782/tid=29792] ppid=29780 vsize=10552804 CPUtime=0.08 cores=1,3,5,7
/proc/29782/task/29792/stat : 29792 (java) S 29780 29782 28735 0 -1 4202560 19252 0 0 0 6 2 0 0 16 0 18 0 954638049 10806071296 915229 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 1 0 0 0
[pid=29782/tid=29793] ppid=29780 vsize=10552804 CPUtime=0.28 cores=1,3,5,7
/proc/29782/task/29793/stat : 29793 (java) R 29780 29782 28735 0 -1 4202560 35 0 0 0 0 28 0 0 16 0 18 0 954638050 10806071296 915229 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260905347383 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=29782/tid=29794] ppid=29780 vsize=10552804 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29794/stat : 29794 (java) S 29780 29782 28735 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 954638050 10806071296 915229 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 1 0 0 0
[pid=29782/tid=29795] ppid=29780 vsize=10552804 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29795/stat : 29795 (java) S 29780 29782 28735 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 18 0 954638050 10806071296 915229 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 3 0 0 0
[pid=29782/tid=29797] ppid=29780 vsize=10552804 CPUtime=0.51 cores=1,3,5,7
/proc/29782/task/29797/stat : 29797 (java) S 29780 29782 28735 0 -1 4202560 4950 0 0 0 51 0 0 0 15 0 18 0 954638052 10806071296 915229 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 3 0 0 0
[pid=29782/tid=29798] ppid=29780 vsize=10552804 CPUtime=0.41 cores=1,3,5,7
/proc/29782/task/29798/stat : 29798 (java) S 29780 29782 28735 0 -1 4202560 4967 0 0 0 41 0 0 0 15 0 18 0 954638052 10806071296 915229 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 5 0 0 0
[pid=29782/tid=29799] ppid=29780 vsize=10552804 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29799/stat : 29799 (java) S 29780 29782 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 954638052 10806071296 915229 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210009 0 4 0 16800975 18446604471158753280 0 0 -1 1 0 0 0
[pid=29782/tid=29801] ppid=29780 vsize=10552804 CPUtime=0 cores=1,3,5,7
/proc/29782/task/29801/stat : 29801 (java) S 29780 29782 28735 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 954638064 10806071296 915229 33554432000 1073741824 1073778376 140736428833760 18446744073709551615 260917210624 0 4 0 16800975 18446604471158753280 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.66
Current children cumulated vsize (KiB) 10552804
[startup+1798.9 s]
/proc/loadavg: 1.93 1.98 1.99 3/214 29967
/proc/meminfo: memFree=26842852/32950928 swapFree=67051812/67111528
[pid=29782] ppid=29780 vsize=0 CPUtime=1800.77 cores=1,3,5,7
/proc/29782/stat : 29782 (java) Z 29780 29782 28735 0 -1 4203548 922528 0 1 0 179933 144 0 0 15 0 2 0 954638046 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29782/statm: 0 0 0 0 0 0 0
[pid=29782/tid=29799] ppid=29780 vsize=0 CPUtime=0.08 cores=1,3,5,7
/proc/29782/task/29799/stat : 29799 (java) R 29780 29782 28735 0 -1 4203588 1 0 0 0 0 8 0 0 18 0 2 0 954638052 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.77
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1798.94
CPU time (s): 1800.83
CPU user time (s): 1799.34
CPU system time (s): 1.48877
CPU usage (%): 100.105
Max. virtual memory (cumulated for all children) (KiB): 10553620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.34
system time used= 1.48877
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 922528
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= 37033
involuntary context switches= 5667
runsolver used 2.95455 second user time and 6.67498 second system time
The end