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-3453909-1307194408/watcher-3453909-1307194408 -o /tmp/evaluation-result-3453909-1307194408/solver-3453909-1307194408 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453909-1307194408.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: 3.52 3.67 3.54 3/482 27837
/proc/meminfo: memFree=24783572/32950928 swapFree=61542356/67111528
[pid=27837] ppid=27835 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/27837/stat : 27837 (java) S 27835 27837 22562 0 -1 4202496 1651 0 1 0 0 0 0 0 24 0 2 0 909671439 10681323520 1352 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917196773 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/27837/statm: 2607745 1364 906 9 0 2598901 0
[pid=27837/tid=27839] ppid=27835 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27839/stat : 27839 (java) R 27835 27837 22562 0 -1 4202560 4804 0 1 0 0 0 0 0 25 0 2 0 909671440 10694979584 5620 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260905088059 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0637721 s]
/proc/loadavg: 3.52 3.67 3.54 3/482 27837
/proc/meminfo: memFree=24783572/32950928 swapFree=61542356/67111528
[pid=27837] ppid=27835 vsize=10472924 CPUtime=0.05 cores=1,3,5,7
/proc/27837/stat : 27837 (java) S 27835 27837 22562 0 -1 4202496 11672 0 1 0 3 2 0 0 24 0 18 0 909671439 10724274176 11368 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27837/statm: 2618231 11368 1733 9 0 2608972 0
[pid=27837/tid=27839] ppid=27835 vsize=10472924 CPUtime=0.04 cores=1,3,5,7
/proc/27837/task/27839/stat : 27839 (java) R 27835 27837 22562 0 -1 4202560 10497 0 1 0 3 1 0 0 22 0 18 0 909671440 10724274176 11369 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 46926086643717 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472924
[startup+0.100705 s]
/proc/loadavg: 3.52 3.67 3.54 3/482 27837
/proc/meminfo: memFree=24783572/32950928 swapFree=61542356/67111528
[pid=27837] ppid=27835 vsize=10540832 CPUtime=0.11 cores=1,3,5,7
/proc/27837/stat : 27837 (java) S 27835 27837 22562 0 -1 4202496 13067 0 1 0 9 2 0 0 24 0 18 0 909671439 10793811968 12746 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27837/statm: 2635208 12746 2092 9 0 2625942 0
[pid=27837/tid=27839] ppid=27835 vsize=10540832 CPUtime=0.08 cores=1,3,5,7
/proc/27837/task/27839/stat : 27839 (java) R 27835 27837 22562 0 -1 4202560 11126 0 1 0 7 1 0 0 18 0 18 0 909671440 10793811968 12746 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 46926087390820 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540832
[startup+0.300669 s]
/proc/loadavg: 3.52 3.67 3.54 3/482 27837
/proc/meminfo: memFree=24783572/32950928 swapFree=61542356/67111528
[pid=27837] ppid=27835 vsize=10542880 CPUtime=0.46 cores=1,3,5,7
/proc/27837/stat : 27837 (java) S 27835 27837 22562 0 -1 4202496 15479 0 1 0 44 2 0 0 24 0 18 0 909671439 10795909120 15158 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27837/statm: 2635720 15158 2207 9 0 2626454 0
[pid=27837/tid=27839] ppid=27835 vsize=10542880 CPUtime=0.29 cores=1,3,5,7
/proc/27837/task/27839/stat : 27839 (java) R 27835 27837 22562 0 -1 4202560 12817 0 1 0 27 2 0 0 18 0 18 0 909671440 10795909120 15158 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 46912505566182 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10542880
[startup+0.700597 s]
/proc/loadavg: 3.52 3.67 3.54 3/482 27837
/proc/meminfo: memFree=24783572/32950928 swapFree=61542356/67111528
[pid=27837] ppid=27835 vsize=10552096 CPUtime=1.64 cores=1,3,5,7
/proc/27837/stat : 27837 (java) S 27835 27837 22562 0 -1 4202496 32898 0 1 0 159 5 0 0 24 0 18 0 909671439 10805346304 31186 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27837/statm: 2638024 31189 2227 9 0 2628758 0
[pid=27837/tid=27839] ppid=27835 vsize=10552096 CPUtime=0.68 cores=1,3,5,7
/proc/27837/task/27839/stat : 27839 (java) R 27835 27837 22562 0 -1 4202560 23515 0 1 0 65 3 0 0 18 0 18 0 909671440 10805346304 31190 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 46912505592713 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 10552096
[startup+1.50145 s]
/proc/loadavg: 3.52 3.67 3.54 2/520 27881
/proc/meminfo: memFree=24525320/32950928 swapFree=61542356/67111528
[pid=27837] ppid=27835 vsize=10560460 CPUtime=3.27 cores=1,3,5,7
/proc/27837/stat : 27837 (java) S 27835 27837 22562 0 -1 4202496 49221 0 1 0 320 7 0 0 24 0 22 0 909671439 10813911040 46060 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27837/statm: 2640115 46060 2242 9 0 2630849 0
[pid=27837/tid=27839] ppid=27835 vsize=10560460 CPUtime=0.72 cores=1,3,5,7
/proc/27837/task/27839/stat : 27839 (java) S 27835 27837 22562 0 -1 4202560 25185 0 1 0 69 3 0 0 17 0 22 0 909671440 10813911040 46060 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210624 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=27837/tid=27850] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27850/stat : 27850 (java) S 27835 27837 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909671442 10813911040 46060 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 3 0 0 0
[pid=27837/tid=27851] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27851/stat : 27851 (java) S 27835 27837 22562 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 909671442 10813911040 46060 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 3 0 0 0
[pid=27837/tid=27852] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27852/stat : 27852 (java) S 27835 27837 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909671442 10813911040 46060 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 3 0 0 0
[pid=27837/tid=27853] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27853/stat : 27853 (java) S 27835 27837 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909671442 10813911040 46060 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 3 0 0 0
[pid=27837/tid=27854] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27854/stat : 27854 (java) S 27835 27837 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909671442 10813911040 46060 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 3 0 0 0
[pid=27837/tid=27855] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27855/stat : 27855 (java) S 27835 27837 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909671442 10813911040 46060 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 3 0 0 0
[pid=27837/tid=27856] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27856/stat : 27856 (java) S 27835 27837 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909671442 10813911040 46060 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 3 0 0 0
[pid=27837/tid=27857] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27857/stat : 27857 (java) S 27835 27837 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909671442 10813911040 46060 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 3 0 0 0
[pid=27837/tid=27859] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27859/stat : 27859 (java) S 27835 27837 22562 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 22 0 909671443 10813911040 46060 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210624 0 0 0 16800975 18446604467811484864 0 0 -1 7 0 0 0
[pid=27837/tid=27862] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27862/stat : 27862 (java) S 27835 27837 22562 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 909671443 10813911040 46060 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=27837/tid=27863] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27863/stat : 27863 (java) S 27835 27837 22562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909671443 10813911040 46060 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 3 0 0 0
[pid=27837/tid=27866] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27866/stat : 27866 (java) S 27835 27837 22562 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909671445 10813911040 46060 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917217713 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=27837/tid=27867] ppid=27835 vsize=10560460 CPUtime=0.85 cores=1,3,5,7
/proc/27837/task/27867/stat : 27867 (java) R 27835 27837 22562 0 -1 4202560 2554 0 0 0 85 0 0 0 16 0 22 0 909671445 10813911040 46060 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 46926091119644 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=27837/tid=27870] ppid=27835 vsize=10560460 CPUtime=0.89 cores=1,3,5,7
/proc/27837/task/27870/stat : 27870 (java) R 27835 27837 22562 0 -1 4202560 8064 0 0 0 88 1 0 0 16 0 22 0 909671445 10813911040 46060 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 46926085430459 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27837/tid=27871] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27871/stat : 27871 (java) S 27835 27837 22562 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909671445 10813911040 46060 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=27837/tid=27873] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27873/stat : 27873 (java) S 27835 27837 22562 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909671445 10813911040 46060 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210624 0 4 0 16800975 18446604467811484864 0 0 -1 7 0 0 0
[pid=27837/tid=27878] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27878/stat : 27878 (java) S 27835 27837 22562 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 909671514 10813911040 46060 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210624 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.27
Current children cumulated vsize (KiB) 10560460
[startup+3.10116 s]
/proc/loadavg: 3.24 3.61 3.52 2/520 27890
/proc/meminfo: memFree=24312784/32950928 swapFree=61542356/67111528
[pid=27837] ppid=27835 vsize=10560460 CPUtime=6.36 cores=1,3,5,7
/proc/27837/stat : 27837 (java) S 27835 27837 22562 0 -1 4202496 166248 0 1 0 615 21 0 0 24 0 22 0 909671439 10813911040 163086 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27837/statm: 2640115 163086 2244 9 0 2630849 0
[pid=27837/tid=27839] ppid=27835 vsize=10560460 CPUtime=0.73 cores=1,3,5,7
/proc/27837/task/27839/stat : 27839 (java) S 27835 27837 22562 0 -1 4202560 25282 0 1 0 70 3 0 0 15 0 22 0 909671440 10813911040 163086 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210624 0 4 0 16800975 18446604467811484864 0 0 -1 3 0 0 0
[pid=27837/tid=27850] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27850/stat : 27850 (java) S 27835 27837 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909671442 10813911040 163086 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 3 0 0 0
[pid=27837/tid=27851] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27851/stat : 27851 (java) S 27835 27837 22562 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 909671442 10813911040 163086 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 3 0 0 0
[pid=27837/tid=27852] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27852/stat : 27852 (java) S 27835 27837 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909671442 10813911040 163086 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 3 0 0 0
[pid=27837/tid=27853] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27853/stat : 27853 (java) S 27835 27837 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909671442 10813911040 163086 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 3 0 0 0
[pid=27837/tid=27854] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27854/stat : 27854 (java) S 27835 27837 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909671442 10813911040 163086 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 3 0 0 0
[pid=27837/tid=27855] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27855/stat : 27855 (java) S 27835 27837 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909671442 10813911040 163086 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 3 0 0 0
[pid=27837/tid=27856] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27856/stat : 27856 (java) S 27835 27837 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909671442 10813911040 163086 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 3 0 0 0
[pid=27837/tid=27857] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27857/stat : 27857 (java) S 27835 27837 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909671442 10813911040 163086 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 3 0 0 0
[pid=27837/tid=27859] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27859/stat : 27859 (java) S 27835 27837 22562 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 22 0 909671443 10813911040 163086 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210624 0 0 0 16800975 18446604467811484864 0 0 -1 7 0 0 0
[pid=27837/tid=27862] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27862/stat : 27862 (java) S 27835 27837 22562 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 909671443 10813911040 163086 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=27837/tid=27863] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27863/stat : 27863 (java) S 27835 27837 22562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909671443 10813911040 163086 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 3 0 0 0
[pid=27837/tid=27866] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27866/stat : 27866 (java) S 27835 27837 22562 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909671445 10813911040 163086 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917217713 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=27837/tid=27867] ppid=27835 vsize=10560460 CPUtime=1.03 cores=1,3,5,7
/proc/27837/task/27867/stat : 27867 (java) S 27835 27837 22562 0 -1 4202560 2587 0 0 0 103 0 0 0 15 0 22 0 909671445 10813911040 163086 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 3 0 0 0
[pid=27837/tid=27870] ppid=27835 vsize=10560460 CPUtime=1.07 cores=1,3,5,7
/proc/27837/task/27870/stat : 27870 (java) S 27835 27837 22562 0 -1 4202560 8102 0 0 0 106 1 0 0 15 0 22 0 909671445 10813911040 163086 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 5 0 0 0
[pid=27837/tid=27871] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27871/stat : 27871 (java) S 27835 27837 22562 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909671445 10813911040 163086 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=27837/tid=27873] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27873/stat : 27873 (java) S 27835 27837 22562 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909671445 10813911040 163086 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210624 0 4 0 16800975 18446604467811484864 0 0 -1 7 0 0 0
[pid=27837/tid=27886] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27886/stat : 27886 (java) S 27835 27837 22562 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 909671564 10813911040 163086 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210624 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.36
Current children cumulated vsize (KiB) 10560460
[startup+6.30157 s]
/proc/loadavg: 3.24 3.61 3.52 6/526 27903
/proc/meminfo: memFree=22738032/32950928 swapFree=61542356/67111528
[pid=27837] ppid=27835 vsize=10560460 CPUtime=12.72 cores=1,3,5,7
/proc/27837/stat : 27837 (java) S 27835 27837 22562 0 -1 4202496 286877 0 1 0 1238 34 0 0 24 0 22 0 909671439 10813911040 283703 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27837/statm: 2640115 283703 2270 9 0 2630849 0
[pid=27837/tid=27839] ppid=27835 vsize=10560460 CPUtime=0.73 cores=1,3,5,7
/proc/27837/task/27839/stat : 27839 (java) S 27835 27837 22562 0 -1 4202560 25283 0 1 0 70 3 0 0 15 0 22 0 909671440 10813911040 283703 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210624 0 4 0 16800975 18446604467811484864 0 0 -1 3 0 0 0
[pid=27837/tid=27850] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27850/stat : 27850 (java) S 27835 27837 22562 0 -1 4202560 719 0 0 0 0 0 0 0 16 0 22 0 909671442 10813911040 283703 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 3 0 0 0
[pid=27837/tid=27851] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27851/stat : 27851 (java) S 27835 27837 22562 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 909671442 10813911040 283703 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 3 0 0 0
[pid=27837/tid=27852] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27852/stat : 27852 (java) S 27835 27837 22562 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909671442 10813911040 283703 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 3 0 0 0
[pid=27837/tid=27853] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27853/stat : 27853 (java) S 27835 27837 22562 0 -1 4202560 427 0 0 0 0 0 0 0 18 0 22 0 909671442 10813911040 283703 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=27837/tid=27854] ppid=27835 vsize=10560460 CPUtime=0.01 cores=1,3,5,7
/proc/27837/task/27854/stat : 27854 (java) S 27835 27837 22562 0 -1 4202560 1413 0 0 0 1 0 0 0 18 0 22 0 909671442 10813911040 283703 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 3 0 0 0
[pid=27837/tid=27855] ppid=27835 vsize=10560460 CPUtime=0.02 cores=1,3,5,7
/proc/27837/task/27855/stat : 27855 (java) S 27835 27837 22562 0 -1 4202560 2536 0 0 0 2 0 0 0 18 0 22 0 909671442 10813911040 283703 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=27837/tid=27856] ppid=27835 vsize=10560460 CPUtime=0.02 cores=1,3,5,7
/proc/27837/task/27856/stat : 27856 (java) S 27835 27837 22562 0 -1 4202560 2434 0 0 0 2 0 0 0 18 0 22 0 909671442 10813911040 283703 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 7 0 0 0
[pid=27837/tid=27857] ppid=27835 vsize=10560460 CPUtime=0.02 cores=1,3,5,7
/proc/27837/task/27857/stat : 27857 (java) S 27835 27837 22562 0 -1 4202560 2170 0 0 0 2 0 0 0 18 0 22 0 909671442 10813911040 283703 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 7 0 0 0
[pid=27837/tid=27859] ppid=27835 vsize=10560460 CPUtime=0.19 cores=1,3,5,7
/proc/27837/task/27859/stat : 27859 (java) S 27835 27837 22562 0 -1 4202560 8950 0 0 0 19 0 0 0 15 0 22 0 909671443 10813911040 283703 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210624 0 0 0 16800975 18446604467811484864 0 0 -1 5 0 0 0
[pid=27837/tid=27862] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27862/stat : 27862 (java) S 27835 27837 22562 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 909671443 10813911040 283703 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 5 0 0 0
[pid=27837/tid=27863] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27863/stat : 27863 (java) S 27835 27837 22562 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 909671443 10813911040 283703 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 3 0 0 0
[pid=27837/tid=27866] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27866/stat : 27866 (java) S 27835 27837 22562 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909671445 10813911040 283703 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917217713 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=27837/tid=27867] ppid=27835 vsize=10560460 CPUtime=1.08 cores=1,3,5,7
/proc/27837/task/27867/stat : 27867 (java) S 27835 27837 22562 0 -1 4202560 2598 0 0 0 108 0 0 0 16 0 22 0 909671445 10813911040 283703 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 3 0 0 0
[pid=27837/tid=27870] ppid=27835 vsize=10560460 CPUtime=1.12 cores=1,3,5,7
/proc/27837/task/27870/stat : 27870 (java) S 27835 27837 22562 0 -1 4202560 8112 0 0 0 111 1 0 0 15 0 22 0 909671445 10813911040 283703 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 5 0 0 0
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 3.99 3.95 3.77 6/526 27934
/proc/meminfo: memFree=17423912/32950928 swapFree=61542356/67111528
[pid=27837] ppid=27835 vsize=10560460 CPUtime=1618.68 cores=1,3,5,7
/proc/27837/stat : 27837 (java) S 27835 27837 22562 0 -1 4202496 886088 0 1 0 161771 97 0 0 24 0 22 0 909671439 10813911040 882697 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27837/statm: 2640115 882697 2271 9 0 2630849 0
[pid=27837/tid=27839] ppid=27835 vsize=10560460 CPUtime=0.73 cores=1,3,5,7
/proc/27837/task/27839/stat : 27839 (java) S 27835 27837 22562 0 -1 4202560 25286 0 1 0 70 3 0 0 15 0 22 0 909671440 10813911040 882697 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210624 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=27837/tid=27850] ppid=27835 vsize=10560460 CPUtime=0.36 cores=1,3,5,7
/proc/27837/task/27850/stat : 27850 (java) S 27835 27837 22562 0 -1 4202560 1680 0 0 0 36 0 0 0 15 0 22 0 909671442 10813911040 882697 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=27837/tid=27851] ppid=27835 vsize=10560460 CPUtime=0.59 cores=1,3,5,7
/proc/27837/task/27851/stat : 27851 (java) S 27835 27837 22562 0 -1 4202560 5168 0 0 0 59 0 0 0 16 0 22 0 909671442 10813911040 882697 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 5 0 0 0
[pid=27837/tid=27852] ppid=27835 vsize=10560460 CPUtime=0.52 cores=1,3,5,7
/proc/27837/task/27852/stat : 27852 (java) S 27835 27837 22562 0 -1 4202560 2680 0 0 0 52 0 0 0 16 0 22 0 909671442 10813911040 882697 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 7 0 0 0
[pid=27837/tid=27853] ppid=27835 vsize=10560460 CPUtime=0.58 cores=1,3,5,7
/proc/27837/task/27853/stat : 27853 (java) S 27835 27837 22562 0 -1 4202560 4708 0 0 0 58 0 0 0 15 0 22 0 909671442 10813911040 882697 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 7 0 0 0
[pid=27837/tid=27854] ppid=27835 vsize=10560460 CPUtime=0.54 cores=1,3,5,7
/proc/27837/task/27854/stat : 27854 (java) S 27835 27837 22562 0 -1 4202560 5275 0 0 0 54 0 0 0 16 0 22 0 909671442 10813911040 882697 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=27837/tid=27855] ppid=27835 vsize=10560460 CPUtime=0.67 cores=1,3,5,7
/proc/27837/task/27855/stat : 27855 (java) S 27835 27837 22562 0 -1 4202560 5371 0 0 0 67 0 0 0 15 0 22 0 909671442 10813911040 882697 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 7 0 0 0
[pid=27837/tid=27856] ppid=27835 vsize=10560460 CPUtime=0.45 cores=1,3,5,7
/proc/27837/task/27856/stat : 27856 (java) S 27835 27837 22562 0 -1 4202560 5262 0 0 0 45 0 0 0 15 0 22 0 909671442 10813911040 882697 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 5 0 0 0
[pid=27837/tid=27857] ppid=27835 vsize=10560460 CPUtime=0.46 cores=1,3,5,7
/proc/27837/task/27857/stat : 27857 (java) S 27835 27837 22562 0 -1 4202560 5497 0 0 0 45 1 0 0 16 0 22 0 909671442 10813911040 882697 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 7 0 0 0
[pid=27837/tid=27859] ppid=27835 vsize=10560460 CPUtime=27.75 cores=1,3,5,7
/proc/27837/task/27859/stat : 27859 (java) S 27835 27837 22562 0 -1 4202560 75827 0 0 0 2767 8 0 0 15 0 22 0 909671443 10813911040 882697 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210624 0 0 0 16800975 18446604467811484864 0 0 -1 3 0 0 0
[pid=27837/tid=27862] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27862/stat : 27862 (java) S 27835 27837 22562 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 22 0 909671443 10813911040 882697 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 5 0 0 0
[pid=27837/tid=27863] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27863/stat : 27863 (java) S 27835 27837 22562 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 909671443 10813911040 882697 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 5 0 0 0
[pid=27837/tid=27866] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27866/stat : 27866 (java) S 27835 27837 22562 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909671445 10813911040 882697 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917217713 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=27837/tid=27867] ppid=27835 vsize=10560460 CPUtime=1.16 cores=1,3,5,7
/proc/27837/task/27867/stat : 27867 (java) S 27835 27837 22562 0 -1 4202560 2617 0 0 0 116 0 0 0 16 0 22 0 909671445 10813911040 882697 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 7 0 0 0
[pid=27837/tid=27870] ppid=27835 vsize=10560460 CPUtime=1.31 cores=1,3,5,7
/proc/27837/task/27870/stat : 27870 (java) S 27835 27837 22562 0 -1 4202560 8132 0 0 0 130 1 0 0 15 0 22 0 909671445 10813911040 882697 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 5 0 0 0
[pid=27837/tid=27871] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27871/stat : 27871 (java) S 27835 27837 22562 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909671445 10813911040 882697 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=27837/tid=27873] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27873/stat : 27873 (java) S 27835 27837 22562 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 22 0 909671445 10813911040 882697 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210624 0 4 0 16800975 18446604467811484864 0 0 -1 5 0 0 0
[pid=27837/tid=27886] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27886/stat : 27886 (java) S 27835 27837 22562 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 909671564 10813911040 882697 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210624 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=27837/tid=27904] ppid=27835 vsize=10560460 CPUtime=784.32 cores=1,3,5,7
/proc/27837/task/27904/stat : 27904 (java) R 27835 27837 22562 0 -1 4202560 1901 0 0 0 78432 0 0 0 25 0 22 0 909672379 10813911040 882697 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 46912506033412 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=27837/tid=27905] ppid=27835 vsize=10560460 CPUtime=784.32 cores=1,3,5,7
/proc/27837/task/27905/stat : 27905 (java) R 27835 27837 22562 0 -1 4202560 504402 0 0 0 78382 50 0 0 25 0 22 0 909672379 10813911040 882697 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 46912506063951 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=27837/tid=27906] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27906/stat : 27906 (java) S 27835 27837 22562 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909672380 10813911040 882697 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210624 0 4 0 16800975 18446604467811484864 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1618.68
Current children cumulated vsize (KiB) 10560460
[startup+882.301 s]
/proc/loadavg: 3.95 3.94 3.77 6/526 27936
/proc/meminfo: memFree=17409996/32950928 swapFree=61542356/67111528
[pid=27837] ppid=27835 vsize=10560460 CPUtime=1736.06 cores=1,3,5,7
/proc/27837/stat : 27837 (java) S 27835 27837 22562 0 -1 4202496 888582 0 1 0 173508 98 0 0 24 0 22 0 909671439 10813911040 885175 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27837/statm: 2640115 885175 2271 9 0 2630849 0
[pid=27837/tid=27839] ppid=27835 vsize=10560460 CPUtime=0.73 cores=1,3,5,7
/proc/27837/task/27839/stat : 27839 (java) S 27835 27837 22562 0 -1 4202560 25286 0 1 0 70 3 0 0 15 0 22 0 909671440 10813911040 885175 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210624 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=27837/tid=27850] ppid=27835 vsize=10560460 CPUtime=0.4 cores=1,3,5,7
/proc/27837/task/27850/stat : 27850 (java) S 27835 27837 22562 0 -1 4202560 2005 0 0 0 40 0 0 0 16 0 22 0 909671442 10813911040 885175 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 7 0 0 0
[pid=27837/tid=27851] ppid=27835 vsize=10560460 CPUtime=0.65 cores=1,3,5,7
/proc/27837/task/27851/stat : 27851 (java) S 27835 27837 22562 0 -1 4202560 5955 0 0 0 65 0 0 0 15 0 22 0 909671442 10813911040 885175 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 7 0 0 0
[pid=27837/tid=27852] ppid=27835 vsize=10560460 CPUtime=0.56 cores=1,3,5,7
/proc/27837/task/27852/stat : 27852 (java) S 27835 27837 22562 0 -1 4202560 3007 0 0 0 56 0 0 0 15 0 22 0 909671442 10813911040 885175 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=27837/tid=27853] ppid=27835 vsize=10560460 CPUtime=0.62 cores=1,3,5,7
/proc/27837/task/27853/stat : 27853 (java) S 27835 27837 22562 0 -1 4202560 4911 0 0 0 62 0 0 0 16 0 22 0 909671442 10813911040 885175 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 5 0 0 0
[pid=27837/tid=27854] ppid=27835 vsize=10560460 CPUtime=0.58 cores=1,3,5,7
/proc/27837/task/27854/stat : 27854 (java) S 27835 27837 22562 0 -1 4202560 5458 0 0 0 58 0 0 0 15 0 22 0 909671442 10813911040 885175 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 7 0 0 0
[pid=27837/tid=27855] ppid=27835 vsize=10560460 CPUtime=0.69 cores=1,3,5,7
/proc/27837/task/27855/stat : 27855 (java) S 27835 27837 22562 0 -1 4202560 5378 0 0 0 69 0 0 0 15 0 22 0 909671442 10813911040 885175 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=27837/tid=27856] ppid=27835 vsize=10560460 CPUtime=0.47 cores=1,3,5,7
/proc/27837/task/27856/stat : 27856 (java) S 27835 27837 22562 0 -1 4202560 5271 0 0 0 47 0 0 0 15 0 22 0 909671442 10813911040 885175 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 5 0 0 0
[pid=27837/tid=27857] ppid=27835 vsize=10560460 CPUtime=0.5 cores=1,3,5,7
/proc/27837/task/27857/stat : 27857 (java) S 27835 27837 22562 0 -1 4202560 5886 0 0 0 49 1 0 0 15 0 22 0 909671442 10813911040 885175 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 7 0 0 0
[pid=27837/tid=27859] ppid=27835 vsize=10560460 CPUtime=30.52 cores=1,3,5,7
/proc/27837/task/27859/stat : 27859 (java) S 27835 27837 22562 0 -1 4202560 76082 0 0 0 3044 8 0 0 16 0 22 0 909671443 10813911040 885175 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210624 0 0 0 16800975 18446604467811484864 0 0 -1 3 0 0 0
[pid=27837/tid=27862] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27862/stat : 27862 (java) S 27835 27837 22562 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 22 0 909671443 10813911040 885175 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 5 0 0 0
[pid=27837/tid=27863] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27863/stat : 27863 (java) S 27835 27837 22562 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 909671443 10813911040 885175 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 5 0 0 0
[pid=27837/tid=27866] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27866/stat : 27866 (java) S 27835 27837 22562 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909671445 10813911040 885175 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917217713 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=27837/tid=27867] ppid=27835 vsize=10560460 CPUtime=1.16 cores=1,3,5,7
/proc/27837/task/27867/stat : 27867 (java) S 27835 27837 22562 0 -1 4202560 2617 0 0 0 116 0 0 0 16 0 22 0 909671445 10813911040 885175 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 7 0 0 0
[pid=27837/tid=27870] ppid=27835 vsize=10560460 CPUtime=1.31 cores=1,3,5,7
/proc/27837/task/27870/stat : 27870 (java) S 27835 27837 22562 0 -1 4202560 8132 0 0 0 130 1 0 0 15 0 22 0 909671445 10813911040 885175 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 5 0 0 0
[pid=27837/tid=27871] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27871/stat : 27871 (java) S 27835 27837 22562 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909671445 10813911040 885175 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=27837/tid=27873] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27873/stat : 27873 (java) S 27835 27837 22562 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 909671445 10813911040 885175 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210624 0 4 0 16800975 18446604467811484864 0 0 -1 5 0 0 0
[pid=27837/tid=27886] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27886/stat : 27886 (java) S 27835 27837 22562 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 909671564 10813911040 885175 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210624 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=27837/tid=27904] ppid=27835 vsize=10560460 CPUtime=841.48 cores=1,3,5,7
/proc/27837/task/27904/stat : 27904 (java) R 27835 27837 22562 0 -1 4202560 1906 0 0 0 84148 0 0 0 22 0 22 0 909672379 10813911040 885175 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 46912506033880 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=27837/tid=27905] ppid=27835 vsize=10560460 CPUtime=841.48 cores=1,3,5,7
/proc/27837/task/27905/stat : 27905 (java) R 27835 27837 22562 0 -1 4202560 504402 0 0 0 84098 50 0 0 22 0 22 0 909672379 10813911040 885175 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 46912506063937 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=27837/tid=27906] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27906/stat : 27906 (java) S 27835 27837 22562 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909672380 10813911040 885175 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210624 0 4 0 16800975 18446604467811484864 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1736.06
Current children cumulated vsize (KiB) 10560460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+914.901 s]
/proc/loadavg: 3.97 3.94 3.78 5/526 27936
/proc/meminfo: memFree=17406868/32950928 swapFree=61542356/67111528
[pid=27837] ppid=27835 vsize=10560460 CPUtime=1800.07 cores=1,3,5,7
/proc/27837/stat : 27837 (java) S 27835 27837 22562 0 -1 4202496 889045 0 1 0 179909 98 0 0 24 0 22 0 909671439 10813911040 885632 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27837/statm: 2640115 885632 2271 9 0 2630849 0
[pid=27837/tid=27839] ppid=27835 vsize=10560460 CPUtime=0.73 cores=1,3,5,7
/proc/27837/task/27839/stat : 27839 (java) S 27835 27837 22562 0 -1 4202560 25286 0 1 0 70 3 0 0 15 0 22 0 909671440 10813911040 885632 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210624 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=27837/tid=27850] ppid=27835 vsize=10560460 CPUtime=0.41 cores=1,3,5,7
/proc/27837/task/27850/stat : 27850 (java) S 27835 27837 22562 0 -1 4202560 2005 0 0 0 41 0 0 0 15 0 22 0 909671442 10813911040 885632 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=27837/tid=27851] ppid=27835 vsize=10560460 CPUtime=0.67 cores=1,3,5,7
/proc/27837/task/27851/stat : 27851 (java) S 27835 27837 22562 0 -1 4202560 5961 0 0 0 67 0 0 0 16 0 22 0 909671442 10813911040 885632 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=27837/tid=27852] ppid=27835 vsize=10560460 CPUtime=0.56 cores=1,3,5,7
/proc/27837/task/27852/stat : 27852 (java) S 27835 27837 22562 0 -1 4202560 3007 0 0 0 56 0 0 0 15 0 22 0 909671442 10813911040 885632 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=27837/tid=27853] ppid=27835 vsize=10560460 CPUtime=0.65 cores=1,3,5,7
/proc/27837/task/27853/stat : 27853 (java) S 27835 27837 22562 0 -1 4202560 4911 0 0 0 65 0 0 0 16 0 22 0 909671442 10813911040 885632 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=27837/tid=27854] ppid=27835 vsize=10560460 CPUtime=0.58 cores=1,3,5,7
/proc/27837/task/27854/stat : 27854 (java) S 27835 27837 22562 0 -1 4202560 5458 0 0 0 58 0 0 0 16 0 22 0 909671442 10813911040 885632 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 7 0 0 0
[pid=27837/tid=27855] ppid=27835 vsize=10560460 CPUtime=0.69 cores=1,3,5,7
/proc/27837/task/27855/stat : 27855 (java) S 27835 27837 22562 0 -1 4202560 5378 0 0 0 69 0 0 0 15 0 22 0 909671442 10813911040 885632 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=27837/tid=27856] ppid=27835 vsize=10560460 CPUtime=0.48 cores=1,3,5,7
/proc/27837/task/27856/stat : 27856 (java) S 27835 27837 22562 0 -1 4202560 5274 0 0 0 48 0 0 0 15 0 22 0 909671442 10813911040 885632 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 5 0 0 0
[pid=27837/tid=27857] ppid=27835 vsize=10560460 CPUtime=0.54 cores=1,3,5,7
/proc/27837/task/27857/stat : 27857 (java) S 27835 27837 22562 0 -1 4202560 5890 0 0 0 53 1 0 0 16 0 22 0 909671442 10813911040 885632 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 7 0 0 0
[pid=27837/tid=27859] ppid=27835 vsize=10560460 CPUtime=31.78 cores=1,3,5,7
/proc/27837/task/27859/stat : 27859 (java) S 27835 27837 22562 0 -1 4202560 76528 0 0 0 3170 8 0 0 15 0 22 0 909671443 10813911040 885632 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210624 0 0 0 16800975 18446604467811484864 0 0 -1 3 0 0 0
[pid=27837/tid=27862] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27862/stat : 27862 (java) S 27835 27837 22562 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 22 0 909671443 10813911040 885632 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 5 0 0 0
[pid=27837/tid=27863] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27863/stat : 27863 (java) S 27835 27837 22562 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 909671443 10813911040 885632 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 5 0 0 0
[pid=27837/tid=27866] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27866/stat : 27866 (java) S 27835 27837 22562 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909671445 10813911040 885632 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917217713 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=27837/tid=27867] ppid=27835 vsize=10560460 CPUtime=1.16 cores=1,3,5,7
/proc/27837/task/27867/stat : 27867 (java) S 27835 27837 22562 0 -1 4202560 2617 0 0 0 116 0 0 0 16 0 22 0 909671445 10813911040 885632 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 7 0 0 0
[pid=27837/tid=27870] ppid=27835 vsize=10560460 CPUtime=1.31 cores=1,3,5,7
/proc/27837/task/27870/stat : 27870 (java) S 27835 27837 22562 0 -1 4202560 8132 0 0 0 130 1 0 0 15 0 22 0 909671445 10813911040 885632 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 5 0 0 0
[pid=27837/tid=27871] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27871/stat : 27871 (java) S 27835 27837 22562 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909671445 10813911040 885632 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210009 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=27837/tid=27873] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27873/stat : 27873 (java) S 27835 27837 22562 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 909671445 10813911040 885632 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210624 0 4 0 16800975 18446604467811484864 0 0 -1 5 0 0 0
[pid=27837/tid=27886] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27886/stat : 27886 (java) S 27835 27837 22562 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 909671564 10813911040 885632 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210624 0 4 0 16800975 18446604467811484864 0 0 -1 1 0 0 0
[pid=27837/tid=27904] ppid=27835 vsize=10560460 CPUtime=872.8 cores=1,3,5,7
/proc/27837/task/27904/stat : 27904 (java) R 27835 27837 22562 0 -1 4202560 1908 0 0 0 87280 0 0 0 25 0 22 0 909672379 10813911040 885632 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 46912506039909 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=27837/tid=27905] ppid=27835 vsize=10560460 CPUtime=872.8 cores=1,3,5,7
/proc/27837/task/27905/stat : 27905 (java) R 27835 27837 22562 0 -1 4202560 504402 0 0 0 87230 50 0 0 25 0 22 0 909672379 10813911040 885632 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 46912506113771 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=27837/tid=27906] ppid=27835 vsize=10560460 CPUtime=0 cores=1,3,5,7
/proc/27837/task/27906/stat : 27906 (java) S 27835 27837 22562 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909672380 10813911040 885632 33554432000 1073741824 1073778376 140734793300304 18446744073709551615 260917210624 0 4 0 16800975 18446604467811484864 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 10560460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+915.024 s]
/proc/loadavg: 3.97 3.94 3.78 5/526 27936
/proc/meminfo: memFree=17406868/32950928 swapFree=61542356/67111528
[pid=27837] ppid=27835 vsize=0 CPUtime=1800.2 cores=1,3,5,7
/proc/27837/stat : 27837 (java) Z 27835 27837 22562 0 -1 4203548 889073 0 1 0 179913 107 0 0 17 0 2 0 909671439 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27837/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 915.064
CPU time (s): 1800.25
CPU user time (s): 1799.14
CPU system time (s): 1.11483
CPU usage (%): 196.735
Max. virtual memory (cumulated for all children) (KiB): 10560460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.14
system time used= 1.11483
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 889073
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= 23786
involuntary context switches= 10868
runsolver used 4.47532 second user time and 10.8004 second system time
The end