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-3479012-1307441571/watcher-3479012-1307441571 -o /tmp/evaluation-result-3479012-1307441571/solver-3479012-1307441571 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3479012-1307441571.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.85 3.91 3.84 4/482 15834
/proc/meminfo: memFree=22455600/32951124 swapFree=41830676/67111528
[pid=15834] ppid=15832 vsize=35820 CPUtime=0 cores=1,3,5,7
/proc/15834/stat : 15834 (java) S 15832 15834 15115 0 -1 4202496 1362 0 1 0 0 0 0 0 25 0 2 0 855755069 36679680 1065 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134516709 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/15834/statm: 8955 1065 828 9 0 386 0
[pid=15834/tid=15835] ppid=15832 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/15834/task/15835/stat : 15835 (java) R 15832 15834 15115 0 -1 4202560 3685 0 1 0 0 0 0 0 18 0 2 0 855755070 10694979584 4500 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228122407995 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.105467 s]
/proc/loadavg: 3.85 3.91 3.84 4/482 15834
/proc/meminfo: memFree=22455600/32951124 swapFree=41830676/67111528
[pid=15834] ppid=15832 vsize=10540040 CPUtime=0.1 cores=1,3,5,7
/proc/15834/stat : 15834 (java) S 15832 15834 15115 0 -1 4202496 13106 0 1 0 9 1 0 0 25 0 18 0 855755069 10793000960 12773 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15834/statm: 2635010 12774 2093 9 0 2625744 0
[pid=15834/tid=15835] ppid=15832 vsize=10540040 CPUtime=0.08 cores=1,3,5,7
/proc/15834/task/15835/stat : 15835 (java) R 15832 15834 15115 0 -1 4202560 11178 0 1 0 7 1 0 0 18 0 18 0 855755070 10793000960 12775 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 47726359288659 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540040
[startup+0.200439 s]
/proc/loadavg: 3.85 3.91 3.84 4/482 15834
/proc/meminfo: memFree=22455600/32951124 swapFree=41830676/67111528
[pid=15834] ppid=15832 vsize=10540040 CPUtime=0.24 cores=1,3,5,7
/proc/15834/stat : 15834 (java) S 15832 15834 15115 0 -1 4202496 14174 0 1 0 23 1 0 0 25 0 18 0 855755069 10793000960 13800 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15834/statm: 2635010 13800 2166 9 0 2625744 0
[pid=15834/tid=15835] ppid=15832 vsize=10540040 CPUtime=0.18 cores=1,3,5,7
/proc/15834/task/15835/stat : 15835 (java) R 15832 15834 15115 0 -1 4202560 12012 0 1 0 17 1 0 0 18 0 18 0 855755070 10793000960 13800 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 47726359288628 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 10540040
[startup+0.543746 s]
/proc/loadavg: 3.85 3.91 3.84 4/482 15834
/proc/meminfo: memFree=22455600/32951124 swapFree=41830676/67111528
[pid=15834] ppid=15832 vsize=10556676 CPUtime=2.72 cores=1,3,5,7
/proc/15834/stat : 15834 (java) S 15832 15834 15115 0 -1 4202496 41851 0 1 0 268 4 0 0 25 0 22 0 855755069 10810036224 37456 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15834/statm: 2639169 37456 2236 9 0 2629903 0
[pid=15834/tid=15835] ppid=15832 vsize=10556676 CPUtime=0.25 cores=1,3,5,7
/proc/15834/task/15835/stat : 15835 (java) S 15832 15834 15115 0 -1 4202560 13140 0 1 0 24 1 0 0 15 0 22 0 855755070 10810036224 37456 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134530560 0 4 0 16800975 18446604466238271872 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.72
Current children cumulated vsize (KiB) 10556676
[startup+0.9085 s]
/proc/loadavg: 3.85 3.91 3.84 4/482 15834
/proc/meminfo: memFree=22455600/32951124 swapFree=41830676/67111528
[pid=15834] ppid=15832 vsize=10556676 CPUtime=2.89 cores=1,3,5,7
/proc/15834/stat : 15834 (java) S 15832 15834 15115 0 -1 4202496 49294 0 1 0 284 5 0 0 25 0 22 0 855755069 10810036224 42959 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15834/statm: 2639169 42964 2256 9 0 2629903 0
[pid=15834/tid=15835] ppid=15832 vsize=10556676 CPUtime=0.25 cores=1,3,5,7
/proc/15834/task/15835/stat : 15835 (java) S 15832 15834 15115 0 -1 4202560 13140 0 1 0 24 1 0 0 15 0 22 0 855755070 10810036224 42966 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134530560 0 4 0 16800975 18446604466238271872 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 10556676
[startup+1.50017 s]
/proc/loadavg: 3.85 3.91 3.84 4/482 15834
/proc/meminfo: memFree=22455600/32951124 swapFree=41830676/67111528
[pid=15834] ppid=15832 vsize=10556676 CPUtime=4.31 cores=1,3,5,7
/proc/15834/stat : 15834 (java) S 15832 15834 15115 0 -1 4202496 73337 0 1 0 423 8 0 0 25 0 22 0 855755069 10810036224 64025 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15834/statm: 2639169 64025 2258 9 0 2629903 0
[pid=15834/tid=15835] ppid=15832 vsize=10556676 CPUtime=0.25 cores=1,3,5,7
/proc/15834/task/15835/stat : 15835 (java) S 15832 15834 15115 0 -1 4202560 13141 0 1 0 24 1 0 0 15 0 22 0 855755070 10810036224 64025 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134530560 0 4 0 16800975 18446604466238271872 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.31
Current children cumulated vsize (KiB) 10556676
[startup+3.10089 s]
/proc/loadavg: 3.85 3.91 3.84 5/504 15856
/proc/meminfo: memFree=21991424/32951124 swapFree=41830676/67111528
[pid=15834] ppid=15832 vsize=10556676 CPUtime=7.7 cores=1,3,5,7
/proc/15834/stat : 15834 (java) S 15832 15834 15115 0 -1 4202496 148219 0 1 0 753 17 0 0 25 0 22 0 855755069 10810036224 138815 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15834/statm: 2639169 138815 2258 9 0 2629903 0
[pid=15834/tid=15835] ppid=15832 vsize=10556676 CPUtime=0.25 cores=1,3,5,7
/proc/15834/task/15835/stat : 15835 (java) S 15832 15834 15115 0 -1 4202560 13141 0 1 0 24 1 0 0 15 0 22 0 855755070 10810036224 138815 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134530560 0 4 0 16800975 18446604466238271872 0 0 -1 7 0 0 0
[pid=15834/tid=15837] ppid=15832 vsize=10556676 CPUtime=0 cores=1,3,5,7
/proc/15834/task/15837/stat : 15837 (java) S 15832 15834 15115 0 -1 4202560 397 0 0 0 0 0 0 0 16 0 22 0 855755072 10810036224 138815 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 7 0 0 0
[pid=15834/tid=15838] ppid=15832 vsize=10556676 CPUtime=0 cores=1,3,5,7
/proc/15834/task/15838/stat : 15838 (java) S 15832 15834 15115 0 -1 4202560 94 0 0 0 0 0 0 0 16 0 22 0 855755072 10810036224 138815 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 7 0 0 0
[pid=15834/tid=15839] ppid=15832 vsize=10556676 CPUtime=0 cores=1,3,5,7
/proc/15834/task/15839/stat : 15839 (java) S 15832 15834 15115 0 -1 4202560 114 0 0 0 0 0 0 0 16 0 22 0 855755072 10810036224 138815 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 7 0 0 0
[pid=15834/tid=15840] ppid=15832 vsize=10556676 CPUtime=0 cores=1,3,5,7
/proc/15834/task/15840/stat : 15840 (java) S 15832 15834 15115 0 -1 4202560 170 0 0 0 0 0 0 0 16 0 22 0 855755072 10810036224 138815 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 1 0 0 0
[pid=15834/tid=15841] ppid=15832 vsize=10556676 CPUtime=0 cores=1,3,5,7
/proc/15834/task/15841/stat : 15841 (java) S 15832 15834 15115 0 -1 4202560 238 0 0 0 0 0 0 0 16 0 22 0 855755072 10810036224 138815 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 5 0 0 0
[pid=15834/tid=15842] ppid=15832 vsize=10556676 CPUtime=0 cores=1,3,5,7
/proc/15834/task/15842/stat : 15842 (java) S 15832 15834 15115 0 -1 4202560 372 0 0 0 0 0 0 0 15 0 22 0 855755072 10810036224 138815 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 7 0 0 0
[pid=15834/tid=15843] ppid=15832 vsize=10556676 CPUtime=0 cores=1,3,5,7
/proc/15834/task/15843/stat : 15843 (java) S 15832 15834 15115 0 -1 4202560 136 0 0 0 0 0 0 0 15 0 22 0 855755072 10810036224 138815 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 7 0 0 0
[pid=15834/tid=15844] ppid=15832 vsize=10556676 CPUtime=0 cores=1,3,5,7
/proc/15834/task/15844/stat : 15844 (java) S 15832 15834 15115 0 -1 4202560 297 0 0 0 0 0 0 0 16 0 22 0 855755072 10810036224 138815 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 5 0 0 0
[pid=15834/tid=15845] ppid=15832 vsize=10556676 CPUtime=0.09 cores=1,3,5,7
/proc/15834/task/15845/stat : 15845 (java) S 15832 15834 15115 0 -1 4202560 1919 0 0 0 9 0 0 0 15 0 22 0 855755073 10810036224 138815 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134530560 0 0 0 16800975 18446604466238271872 0 0 -1 3 0 0 0
[pid=15834/tid=15846] ppid=15832 vsize=10556676 CPUtime=0 cores=1,3,5,7
/proc/15834/task/15846/stat : 15846 (java) S 15832 15834 15115 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 855755073 10810036224 138815 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 3 0 0 0
[pid=15834/tid=15847] ppid=15832 vsize=10556676 CPUtime=0 cores=1,3,5,7
/proc/15834/task/15847/stat : 15847 (java) S 15832 15834 15115 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 855755073 10810036224 138815 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 3 0 0 0
[pid=15834/tid=15848] ppid=15832 vsize=10556676 CPUtime=0 cores=1,3,5,7
/proc/15834/task/15848/stat : 15848 (java) S 15832 15834 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855755076 10810036224 138815 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134537649 0 4 0 16800975 18446604466238271872 0 0 -1 3 0 0 0
[pid=15834/tid=15849] ppid=15832 vsize=10556676 CPUtime=0.99 cores=1,3,5,7
/proc/15834/task/15849/stat : 15849 (java) S 15832 15834 15115 0 -1 4202560 10630 0 0 0 98 1 0 0 15 0 22 0 855755076 10810036224 138815 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 1 0 0 0
[pid=15834/tid=15850] ppid=15832 vsize=10556676 CPUtime=0.89 cores=1,3,5,7
/proc/15834/task/15850/stat : 15850 (java) S 15832 15834 15115 0 -1 4202560 5820 0 0 0 89 0 0 0 15 0 22 0 855755076 10810036224 138815 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 5 0 0 0
[pid=15834/tid=15851] ppid=15832 vsize=10556676 CPUtime=0 cores=1,3,5,7
/proc/15834/task/15851/stat : 15851 (java) S 15832 15834 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855755076 10810036224 138815 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 3 0 0 0
[pid=15834/tid=15852] ppid=15832 vsize=10556676 CPUtime=0 cores=1,3,5,7
/proc/15834/task/15852/stat : 15852 (java) S 15832 15834 15115 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 855755076 10810036224 138815 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134530560 0 4 0 16800975 18446604466238271872 0 0 -1 7 0 0 0
[pid=15834/tid=15853] ppid=15832 vsize=10556676 CPUtime=2.71 cores=1,3,5,7
/proc/15834/task/15853/stat : 15853 (java) R 15832 15834 15115 0 -1 4202560 468 0 0 0 271 0 0 0 25 0 22 0 855755097 10810036224 138815 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 46912505628948 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15834/tid=15854] ppid=15832 vsize=10556676 CPUtime=2.7 cores=1,3,5,7
/proc/15834/task/15854/stat : 15854 (java) R 15832 15834 15115 0 -1 4202560 113267 0 0 0 257 13 0 0 25 0 22 0 855755097 10810036224 138815 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 46912505700378 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=15834/tid=15855] ppid=15832 vsize=10556676 CPUtime=0 cores=1,3,5,7
/proc/15834/task/15855/stat : 15855 (java) S 15832 15834 15115 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 855755097 10810036224 138815 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134530560 0 4 0 16800975 18446604466238271872 0 0 -1 5 0 0 0
[pid=15834/tid=15856] ppid=15832 vsize=10556676 CPUtime=0 cores=1,3,5,7
/proc/15834/task/15856/stat : 15856 (java) S 15832 15834 15115 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 855755097 10810036224 138815 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134530560 0 4 0 16800975 18446604466238271872 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 7.7
Current children cumulated vsize (KiB) 10556676
[startup+6.30134 s]
/proc/loadavg: 3.86 3.91 3.84 5/504 15856
/proc/meminfo: memFree=21541004/32951124 swapFree=41830676/67111528
[pid=15834] ppid=15832 vsize=10556676 CPUtime=14.05 cores=1,3,5,7
/proc/15834/stat : 15834 (java) S 15832 15834 15115 0 -1 4202496 239424 0 1 0 1377 28 0 0 25 0 22 0 855755069 10810036224 229993 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15834/statm: 2639169 229993 2258 9 0 2629903 0
[pid=15834/tid=15835] ppid=15832 vsize=10556676 CPUtime=0.25 cores=1,3,5,7
/proc/15834/task/15835/stat : 15835 (java) S 15832 15834 15115 0 -1 4202560 13141 0 1 0 24 1 0 0 15 0 22 0 855755070 10810036224 229993 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134530560 0 4 0 16800975 18446604466238271872 0 0 -1 5 0 0 0
[pid=15834/tid=15837] ppid=15832 vsize=10556676 CPUtime=0 cores=1,3,5,7
/proc/15834/task/15837/stat : 15837 (java) S 15832 15834 15115 0 -1 4202560 397 0 0 0 0 0 0 0 16 0 22 0 855755072 10810036224 229993 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 7 0 0 0
[pid=15834/tid=15838] ppid=15832 vsize=10556676 CPUtime=0 cores=1,3,5,7
/proc/15834/task/15838/stat : 15838 (java) S 15832 15834 15115 0 -1 4202560 121 0 0 0 0 0 0 0 15 0 22 0 855755072 10810036224 229993 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 7 0 0 0
[pid=15834/tid=15839] ppid=15832 vsize=10556676 CPUtime=0 cores=1,3,5,7
/proc/15834/task/15839/stat : 15839 (java) S 15832 15834 15115 0 -1 4202560 143 0 0 0 0 0 0 0 16 0 22 0 855755072 10810036224 229993 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 1 0 0 0
[pid=15834/tid=15840] ppid=15832 vsize=10556676 CPUtime=0 cores=1,3,5,7
/proc/15834/task/15840/stat : 15840 (java) S 15832 15834 15115 0 -1 4202560 210 0 0 0 0 0 0 0 15 0 22 0 855755072 10810036224 229993 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 1 0 0 0
[pid=15834/tid=15841] ppid=15832 vsize=10556676 CPUtime=0 cores=1,3,5,7
/proc/15834/task/15841/stat : 15841 (java) S 15832 15834 15115 0 -1 4202560 332 0 0 0 0 0 0 0 15 0 22 0 855755072 10810036224 229993 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 1 0 0 0
[pid=15834/tid=15842] ppid=15832 vsize=10556676 CPUtime=0 cores=1,3,5,7
/proc/15834/task/15842/stat : 15842 (java) S 15832 15834 15115 0 -1 4202560 392 0 0 0 0 0 0 0 16 0 22 0 855755072 10810036224 229993 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 5 0 0 0
[pid=15834/tid=15843] ppid=15832 vsize=10556676 CPUtime=0 cores=1,3,5,7
/proc/15834/task/15843/stat : 15843 (java) S 15832 15834 15115 0 -1 4202560 163 0 0 0 0 0 0 0 16 0 22 0 855755072 10810036224 229993 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 7 0 0 0
[pid=15834/tid=15844] ppid=15832 vsize=10556676 CPUtime=0 cores=1,3,5,7
/proc/15834/task/15844/stat : 15844 (java) S 15832 15834 15115 0 -1 4202560 326 0 0 0 0 0 0 0 15 0 22 0 855755072 10810036224 229993 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 5 0 0 0
[pid=15834/tid=15845] ppid=15832 vsize=10556676 CPUtime=0.16 cores=1,3,5,7
/proc/15834/task/15845/stat : 15845 (java) S 15832 15834 15115 0 -1 4202560 3184 0 0 0 16 0 0 0 16 0 22 0 855755073 10810036224 229993 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134530560 0 0 0 16800975 18446604466238271872 0 0 -1 3 0 0 0
[pid=15834/tid=15846] ppid=15832 vsize=10556676 CPUtime=0 cores=1,3,5,7
/proc/15834/task/15846/stat : 15846 (java) S 15832 15834 15115 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 855755073 10810036224 229993 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 3 0 0 0
[pid=15834/tid=15847] ppid=15832 vsize=10556676 CPUtime=0 cores=1,3,5,7
/proc/15834/task/15847/stat : 15847 (java) S 15832 15834 15115 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 855755073 10810036224 229993 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 3 0 0 0
[pid=15834/tid=15848] ppid=15832 vsize=10556676 CPUtime=0 cores=1,3,5,7
/proc/15834/task/15848/stat : 15848 (java) S 15832 15834 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855755076 10810036224 229993 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134537649 0 4 0 16800975 18446604466238271872 0 0 -1 3 0 0 0
[pid=15834/tid=15849] ppid=15832 vsize=10556676 CPUtime=1 cores=1,3,5,7
/proc/15834/task/15849/stat : 15849 (java) S 15832 15834 15115 0 -1 4202560 10630 0 0 0 99 1 0 0 15 0 22 0 855755076 10810036224 229993 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 1 0 0 0
[pid=15834/tid=15850] ppid=15832 vsize=10556676 CPUtime=0.89 cores=1,3,5,7
/proc/15834/task/15850/stat : 15850 (java) S 15832 15834 15115 0 -1 4202560 5820 0 0 0 89 0 0 0 15 0 22 0 855755076 10810036224 229993 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 5 0 0 0
[pid=15834/tid=15851] ppid=15832 vsize=10556676 CPUtime=0 cores=1,3,5,7
/proc/15834/task/15851/stat : 15851 (java) S 15832 15834 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855755076 10810036224 229993 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 3 0 0 0
[pid=15834/tid=15852] ppid=15832 vsize=10556676 CPUtime=0 cores=1,3,5,7
/proc/15834/task/15852/stat : 15852 (java) S 15832 15834 15115 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 855755076 10810036224 229993 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134530560 0 4 0 16800975 18446604466238271872 0 0 -1 7 0 0 0
[pid=15834/tid=15853] ppid=15832 vsize=10556676 CPUtime=5.83 cores=1,3,5,7
/proc/15834/task/15853/stat : 15853 (java) R 15832 15834 15115 0 -1 4202560 471 0 0 0 583 0 0 0 25 0 22 0 855755097 10810036224 229993 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 46912505644034 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15834/tid=15854] ppid=15832 vsize=10556676 CPUtime=5.82 cores=1,3,5,7
/proc/15834/task/15854/stat : 15854 (java) R 15832 15834 15115 0 -1 4202560 202938 0 0 0 559 23 0 0 25 0 22 0 855755097 10810036224 229993 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 46912505661986 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=15834/tid=15855] ppid=15832 vsize=10556676 CPUtime=0 cores=1,3,5,7
/proc/15834/task/15855/stat : 15855 (java) S 15832 15834 15115 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 855755097 10810036224 229993 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134530560 0 4 0 16800975 18446604466238271872 0 0 -1 5 0 0 0
[pid=15834/tid=15856] ppid=15832 vsize=10556676 CPUtime=0 cores=1,3,5,7
/proc/15834/task/15856/stat : 15856 (java) S 15832 15834 15115 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 855755097 10810036224 229993 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134530560 0 4 0 16800975 18446604466238271872 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 14.05
Current children cumulated vsize (KiB) 10556676
[startup+12.7182 s]
/proc/loadavg: 3.87 3.92 3.84 5/504 15856
/proc/meminfo: memFree=21332220/32951124 swapFree=41830676/67111528
[pid=15834] ppid=15832 vsize=10556676 CPUtime=27.32 cores=1,3,5,7
/proc/15834/stat : 15834 (java) S 15832 15834 15115 0 -1 4202496 291670 0 1 0 2699 33 0 0 25 0 22 0 855755069 10810036224 281824 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15834/statm: 2639169 281824 2258 9 0 2629903 0
[pid=15834/tid=15835] ppid=15832 vsize=10556676 CPUtime=0.25 cores=1,3,5,7
/proc/15834/task/15835/stat : 15835 (java) S 15832 15834 15115 0 -1 4202560 13141 0 1 0 24 1 0 0 15 0 22 0 855755070 10810036224 281824 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134530560 0 4 0 16800975 18446604466238271872 0 0 -1 5 0 0 0
[pid=15834/tid=15837] ppid=15832 vsize=10556676 CPUtime=0.01 cores=1,3,5,7
/proc/15834/task/15837/stat : 15837 (java) S 15832 15834 15115 0 -1 4202560 475 0 0 0 1 0 0 0 16 0 22 0 855755072 10810036224 281824 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 7 0 0 0
[pid=15834/tid=15838] ppid=15832 vsize=10556676 CPUtime=0 cores=1,3,5,7
/proc/15834/task/15838/stat : 15838 (java) S 15832 15834 15115 0 -1 4202560 196 0 0 0 0 0 0 0 15 0 22 0 855755072 10810036224 281824 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 1 0 0 0
[pid=15834/tid=15839] ppid=15832 vsize=10556676 CPUtime=0.01 cores=1,3,5,7
################
# More data... #
################
[pid=15834/tid=15854] ppid=15832 vsize=10556676 CPUtime=796.23 cores=1,3,5,7
/proc/15834/task/15854/stat : 15854 (java) R 15832 15834 15115 0 -1 4202560 276459 0 0 0 79592 31 0 0 25 0 22 0 855755097 10810036224 345563 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 46912505700479 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15834/tid=15855] ppid=15832 vsize=10556676 CPUtime=0 cores=1,3,5,7
/proc/15834/task/15855/stat : 15855 (java) S 15832 15834 15115 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 855755097 10810036224 345563 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134530560 0 4 0 16800975 18446604466238271872 0 0 -1 5 0 0 0
[pid=15834/tid=15856] ppid=15832 vsize=10556676 CPUtime=0 cores=1,3,5,7
/proc/15834/task/15856/stat : 15856 (java) S 15832 15834 15115 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 855755097 10810036224 345563 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134530560 0 4 0 16800975 18446604466238271872 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1688.05
Current children cumulated vsize (KiB) 10556676
[startup+942.301 s]
/proc/loadavg: 3.75 3.89 3.84 5/504 15938
/proc/meminfo: memFree=22676932/32951124 swapFree=41830676/67111528
[pid=15834] ppid=15832 vsize=10556676 CPUtime=1799.86 cores=1,3,5,7
/proc/15834/stat : 15834 (java) S 15832 15834 15115 0 -1 4202496 357100 0 1 0 179938 48 0 0 25 0 22 0 855755069 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15834/statm: 2639169 346771 2259 9 0 2629903 0
[pid=15834/tid=15835] ppid=15832 vsize=10556676 CPUtime=0.26 cores=1,3,5,7
/proc/15834/task/15835/stat : 15835 (java) S 15832 15834 15115 0 -1 4202560 13156 0 1 0 24 2 0 0 15 0 22 0 855755070 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134530560 0 4 0 16800975 18446604466238271872 0 0 -1 5 0 0 0
[pid=15834/tid=15837] ppid=15832 vsize=10556676 CPUtime=1.41 cores=1,3,5,7
/proc/15834/task/15837/stat : 15837 (java) S 15832 15834 15115 0 -1 4202560 608 0 0 0 141 0 0 0 15 0 22 0 855755072 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 7 0 0 0
[pid=15834/tid=15838] ppid=15832 vsize=10556676 CPUtime=1.25 cores=1,3,5,7
/proc/15834/task/15838/stat : 15838 (java) S 15832 15834 15115 0 -1 4202560 325 0 0 0 125 0 0 0 15 0 22 0 855755072 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 3 0 0 0
[pid=15834/tid=15839] ppid=15832 vsize=10556676 CPUtime=1.35 cores=1,3,5,7
/proc/15834/task/15839/stat : 15839 (java) S 15832 15834 15115 0 -1 4202560 402 0 0 0 135 0 0 0 16 0 22 0 855755072 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 3 0 0 0
[pid=15834/tid=15840] ppid=15832 vsize=10556676 CPUtime=1.28 cores=1,3,5,7
/proc/15834/task/15840/stat : 15840 (java) S 15832 15834 15115 0 -1 4202560 297 0 0 0 128 0 0 0 16 0 22 0 855755072 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 7 0 0 0
[pid=15834/tid=15841] ppid=15832 vsize=10556676 CPUtime=1.33 cores=1,3,5,7
/proc/15834/task/15841/stat : 15841 (java) S 15832 15834 15115 0 -1 4202560 474 0 0 0 133 0 0 0 16 0 22 0 855755072 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 3 0 0 0
[pid=15834/tid=15842] ppid=15832 vsize=10556676 CPUtime=1.38 cores=1,3,5,7
/proc/15834/task/15842/stat : 15842 (java) S 15832 15834 15115 0 -1 4202560 518 0 0 0 138 0 0 0 16 0 22 0 855755072 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 5 0 0 0
[pid=15834/tid=15843] ppid=15832 vsize=10556676 CPUtime=1.38 cores=1,3,5,7
/proc/15834/task/15843/stat : 15843 (java) S 15832 15834 15115 0 -1 4202560 414 0 0 0 138 0 0 0 15 0 22 0 855755072 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 7 0 0 0
[pid=15834/tid=15844] ppid=15832 vsize=10556676 CPUtime=1.32 cores=1,3,5,7
/proc/15834/task/15844/stat : 15844 (java) S 15832 15834 15115 0 -1 4202560 436 0 0 0 132 0 0 0 15 0 22 0 855755072 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 3 0 0 0
[pid=15834/tid=15845] ppid=15832 vsize=10556676 CPUtime=91.36 cores=1,3,5,7
/proc/15834/task/15845/stat : 15845 (java) R 15832 15834 15115 0 -1 4202560 43979 0 0 0 9129 7 0 0 15 0 22 0 855755073 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 47726357650575 0 0 0 16800975 0 0 0 -1 1 0 0 0
[pid=15834/tid=15846] ppid=15832 vsize=10556676 CPUtime=0 cores=1,3,5,7
/proc/15834/task/15846/stat : 15846 (java) S 15832 15834 15115 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 855755073 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 3 0 0 0
[pid=15834/tid=15847] ppid=15832 vsize=10556676 CPUtime=0 cores=1,3,5,7
/proc/15834/task/15847/stat : 15847 (java) S 15832 15834 15115 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 855755073 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 3 0 0 0
[pid=15834/tid=15848] ppid=15832 vsize=10556676 CPUtime=0 cores=1,3,5,7
/proc/15834/task/15848/stat : 15848 (java) S 15832 15834 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855755076 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134537649 0 4 0 16800975 18446604466238271872 0 0 -1 3 0 0 0
[pid=15834/tid=15849] ppid=15832 vsize=10556676 CPUtime=1.67 cores=1,3,5,7
/proc/15834/task/15849/stat : 15849 (java) S 15832 15834 15115 0 -1 4202560 12209 0 0 0 166 1 0 0 15 0 22 0 855755076 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 1 0 0 0
[pid=15834/tid=15850] ppid=15832 vsize=10556676 CPUtime=0.98 cores=1,3,5,7
/proc/15834/task/15850/stat : 15850 (java) S 15832 15834 15115 0 -1 4202560 5825 0 0 0 98 0 0 0 15 0 22 0 855755076 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 5 0 0 0
[pid=15834/tid=15851] ppid=15832 vsize=10556676 CPUtime=0 cores=1,3,5,7
/proc/15834/task/15851/stat : 15851 (java) S 15832 15834 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855755076 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 3 0 0 0
[pid=15834/tid=15852] ppid=15832 vsize=10556676 CPUtime=0 cores=1,3,5,7
/proc/15834/task/15852/stat : 15852 (java) S 15832 15834 15115 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 855755076 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134530560 0 4 0 16800975 18446604466238271872 0 0 -1 5 0 0 0
[pid=15834/tid=15853] ppid=15832 vsize=10556676 CPUtime=847.38 cores=1,3,5,7
/proc/15834/task/15853/stat : 15853 (java) S 15832 15834 15115 0 -1 4202560 790 0 0 0 84737 1 0 0 25 0 22 0 855755097 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 1 0 0 0
[pid=15834/tid=15854] ppid=15832 vsize=10556676 CPUtime=847.38 cores=1,3,5,7
/proc/15834/task/15854/stat : 15854 (java) S 15832 15834 15115 0 -1 4202560 276459 0 0 0 84707 31 0 0 25 0 22 0 855755097 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 3 0 0 0
[pid=15834/tid=15855] ppid=15832 vsize=10556676 CPUtime=0 cores=1,3,5,7
/proc/15834/task/15855/stat : 15855 (java) S 15832 15834 15115 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 855755097 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134530560 0 4 0 16800975 18446604466238271872 0 0 -1 5 0 0 0
[pid=15834/tid=15856] ppid=15832 vsize=10556676 CPUtime=0 cores=1,3,5,7
/proc/15834/task/15856/stat : 15856 (java) S 15832 15834 15115 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 855755097 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134530560 0 4 0 16800975 18446604466238271872 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1799.86
Current children cumulated vsize (KiB) 10556676
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+942.502 s]
/proc/loadavg: 3.75 3.89 3.84 4/504 15938
/proc/meminfo: memFree=22676808/32951124 swapFree=41830676/67111528
[pid=15834] ppid=15832 vsize=10556676 CPUtime=1800.07 cores=1,3,5,7
/proc/15834/stat : 15834 (java) S 15832 15834 15115 0 -1 4202496 357100 0 1 0 179959 48 0 0 25 0 22 0 855755069 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15834/statm: 2639169 346771 2259 9 0 2629903 0
[pid=15834/tid=15835] ppid=15832 vsize=10556676 CPUtime=0.26 cores=1,3,5,7
/proc/15834/task/15835/stat : 15835 (java) S 15832 15834 15115 0 -1 4202560 13156 0 1 0 24 2 0 0 15 0 22 0 855755070 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134530560 0 4 0 16800975 18446604466238271872 0 0 -1 5 0 0 0
[pid=15834/tid=15837] ppid=15832 vsize=10556676 CPUtime=1.41 cores=1,3,5,7
/proc/15834/task/15837/stat : 15837 (java) S 15832 15834 15115 0 -1 4202560 608 0 0 0 141 0 0 0 15 0 22 0 855755072 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 7 0 0 0
[pid=15834/tid=15838] ppid=15832 vsize=10556676 CPUtime=1.25 cores=1,3,5,7
/proc/15834/task/15838/stat : 15838 (java) S 15832 15834 15115 0 -1 4202560 325 0 0 0 125 0 0 0 15 0 22 0 855755072 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 3 0 0 0
[pid=15834/tid=15839] ppid=15832 vsize=10556676 CPUtime=1.35 cores=1,3,5,7
/proc/15834/task/15839/stat : 15839 (java) S 15832 15834 15115 0 -1 4202560 402 0 0 0 135 0 0 0 16 0 22 0 855755072 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 3 0 0 0
[pid=15834/tid=15840] ppid=15832 vsize=10556676 CPUtime=1.28 cores=1,3,5,7
/proc/15834/task/15840/stat : 15840 (java) S 15832 15834 15115 0 -1 4202560 297 0 0 0 128 0 0 0 16 0 22 0 855755072 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 7 0 0 0
[pid=15834/tid=15841] ppid=15832 vsize=10556676 CPUtime=1.33 cores=1,3,5,7
/proc/15834/task/15841/stat : 15841 (java) S 15832 15834 15115 0 -1 4202560 474 0 0 0 133 0 0 0 16 0 22 0 855755072 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 3 0 0 0
[pid=15834/tid=15842] ppid=15832 vsize=10556676 CPUtime=1.38 cores=1,3,5,7
/proc/15834/task/15842/stat : 15842 (java) S 15832 15834 15115 0 -1 4202560 518 0 0 0 138 0 0 0 16 0 22 0 855755072 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 5 0 0 0
[pid=15834/tid=15843] ppid=15832 vsize=10556676 CPUtime=1.38 cores=1,3,5,7
/proc/15834/task/15843/stat : 15843 (java) S 15832 15834 15115 0 -1 4202560 414 0 0 0 138 0 0 0 15 0 22 0 855755072 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 7 0 0 0
[pid=15834/tid=15844] ppid=15832 vsize=10556676 CPUtime=1.32 cores=1,3,5,7
/proc/15834/task/15844/stat : 15844 (java) S 15832 15834 15115 0 -1 4202560 436 0 0 0 132 0 0 0 15 0 22 0 855755072 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 3 0 0 0
[pid=15834/tid=15845] ppid=15832 vsize=10556676 CPUtime=91.57 cores=1,3,5,7
/proc/15834/task/15845/stat : 15845 (java) S 15832 15834 15115 0 -1 4202560 43979 0 0 0 9150 7 0 0 16 0 22 0 855755073 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134530560 0 0 0 16800975 18446604466238271872 0 0 -1 1 0 0 0
[pid=15834/tid=15846] ppid=15832 vsize=10556676 CPUtime=0 cores=1,3,5,7
/proc/15834/task/15846/stat : 15846 (java) S 15832 15834 15115 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 855755073 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 3 0 0 0
[pid=15834/tid=15847] ppid=15832 vsize=10556676 CPUtime=0 cores=1,3,5,7
/proc/15834/task/15847/stat : 15847 (java) S 15832 15834 15115 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 855755073 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 3 0 0 0
[pid=15834/tid=15848] ppid=15832 vsize=10556676 CPUtime=0 cores=1,3,5,7
/proc/15834/task/15848/stat : 15848 (java) S 15832 15834 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855755076 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134537649 0 4 0 16800975 18446604466238271872 0 0 -1 3 0 0 0
[pid=15834/tid=15849] ppid=15832 vsize=10556676 CPUtime=1.67 cores=1,3,5,7
/proc/15834/task/15849/stat : 15849 (java) S 15832 15834 15115 0 -1 4202560 12209 0 0 0 166 1 0 0 15 0 22 0 855755076 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 1 0 0 0
[pid=15834/tid=15850] ppid=15832 vsize=10556676 CPUtime=0.98 cores=1,3,5,7
/proc/15834/task/15850/stat : 15850 (java) S 15832 15834 15115 0 -1 4202560 5825 0 0 0 98 0 0 0 15 0 22 0 855755076 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 5 0 0 0
[pid=15834/tid=15851] ppid=15832 vsize=10556676 CPUtime=0 cores=1,3,5,7
/proc/15834/task/15851/stat : 15851 (java) S 15832 15834 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855755076 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 3 0 0 0
[pid=15834/tid=15852] ppid=15832 vsize=10556676 CPUtime=0 cores=1,3,5,7
/proc/15834/task/15852/stat : 15852 (java) S 15832 15834 15115 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 855755076 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134530560 0 4 0 16800975 18446604466238271872 0 0 -1 5 0 0 0
[pid=15834/tid=15853] ppid=15832 vsize=10556676 CPUtime=847.39 cores=1,3,5,7
/proc/15834/task/15853/stat : 15853 (java) R 15832 15834 15115 0 -1 4202560 790 0 0 0 84738 1 0 0 22 0 22 0 855755097 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 46912505623295 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15834/tid=15854] ppid=15832 vsize=10556676 CPUtime=847.39 cores=1,3,5,7
/proc/15834/task/15854/stat : 15854 (java) R 15832 15834 15115 0 -1 4202560 276459 0 0 0 84708 31 0 0 22 0 22 0 855755097 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 46912505764837 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15834/tid=15855] ppid=15832 vsize=10556676 CPUtime=0 cores=1,3,5,7
/proc/15834/task/15855/stat : 15855 (java) S 15832 15834 15115 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 855755097 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134530560 0 4 0 16800975 18446604466238271872 0 0 -1 5 0 0 0
[pid=15834/tid=15856] ppid=15832 vsize=10556676 CPUtime=0 cores=1,3,5,7
/proc/15834/task/15856/stat : 15856 (java) S 15832 15834 15115 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 855755097 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134530560 0 4 0 16800975 18446604466238271872 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 10556676
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+942.502 s]
/proc/loadavg: 3.75 3.89 3.84 4/504 15938
/proc/meminfo: memFree=22676808/32951124 swapFree=41830676/67111528
[pid=15834] ppid=15832 vsize=10556676 CPUtime=1800.07 cores=1,3,5,7
/proc/15834/stat : 15834 (java) S 15832 15834 15115 0 -1 4202496 357100 0 1 0 179959 48 0 0 25 0 22 0 855755069 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15834/statm: 2639169 346771 2259 9 0 2629903 0
[pid=15834/tid=15835] ppid=15832 vsize=10556676 CPUtime=0.26 cores=1,3,5,7
/proc/15834/task/15835/stat : 15835 (java) S 15832 15834 15115 0 -1 4202560 13156 0 1 0 24 2 0 0 15 0 22 0 855755070 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134530560 0 4 0 16800975 18446604466238271872 0 0 -1 5 0 0 0
[pid=15834/tid=15837] ppid=15832 vsize=10556676 CPUtime=1.41 cores=1,3,5,7
/proc/15834/task/15837/stat : 15837 (java) S 15832 15834 15115 0 -1 4202560 608 0 0 0 141 0 0 0 15 0 22 0 855755072 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 7 0 0 0
[pid=15834/tid=15838] ppid=15832 vsize=10556676 CPUtime=1.25 cores=1,3,5,7
/proc/15834/task/15838/stat : 15838 (java) S 15832 15834 15115 0 -1 4202560 325 0 0 0 125 0 0 0 15 0 22 0 855755072 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 3 0 0 0
[pid=15834/tid=15839] ppid=15832 vsize=10556676 CPUtime=1.35 cores=1,3,5,7
/proc/15834/task/15839/stat : 15839 (java) S 15832 15834 15115 0 -1 4202560 402 0 0 0 135 0 0 0 16 0 22 0 855755072 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 3 0 0 0
[pid=15834/tid=15840] ppid=15832 vsize=10556676 CPUtime=1.28 cores=1,3,5,7
/proc/15834/task/15840/stat : 15840 (java) S 15832 15834 15115 0 -1 4202560 297 0 0 0 128 0 0 0 16 0 22 0 855755072 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 7 0 0 0
[pid=15834/tid=15841] ppid=15832 vsize=10556676 CPUtime=1.33 cores=1,3,5,7
/proc/15834/task/15841/stat : 15841 (java) S 15832 15834 15115 0 -1 4202560 474 0 0 0 133 0 0 0 16 0 22 0 855755072 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 3 0 0 0
[pid=15834/tid=15842] ppid=15832 vsize=10556676 CPUtime=1.38 cores=1,3,5,7
/proc/15834/task/15842/stat : 15842 (java) S 15832 15834 15115 0 -1 4202560 518 0 0 0 138 0 0 0 16 0 22 0 855755072 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 5 0 0 0
[pid=15834/tid=15843] ppid=15832 vsize=10556676 CPUtime=1.38 cores=1,3,5,7
/proc/15834/task/15843/stat : 15843 (java) S 15832 15834 15115 0 -1 4202560 414 0 0 0 138 0 0 0 15 0 22 0 855755072 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 7 0 0 0
[pid=15834/tid=15844] ppid=15832 vsize=10556676 CPUtime=1.32 cores=1,3,5,7
/proc/15834/task/15844/stat : 15844 (java) S 15832 15834 15115 0 -1 4202560 436 0 0 0 132 0 0 0 15 0 22 0 855755072 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 3 0 0 0
[pid=15834/tid=15845] ppid=15832 vsize=10556676 CPUtime=91.57 cores=1,3,5,7
/proc/15834/task/15845/stat : 15845 (java) S 15832 15834 15115 0 -1 4202560 43979 0 0 0 9150 7 0 0 16 0 22 0 855755073 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134530560 0 0 0 16800975 18446604466238271872 0 0 -1 1 0 0 0
[pid=15834/tid=15846] ppid=15832 vsize=10556676 CPUtime=0 cores=1,3,5,7
/proc/15834/task/15846/stat : 15846 (java) S 15832 15834 15115 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 855755073 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 3 0 0 0
[pid=15834/tid=15847] ppid=15832 vsize=10556676 CPUtime=0 cores=1,3,5,7
/proc/15834/task/15847/stat : 15847 (java) S 15832 15834 15115 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 855755073 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 3 0 0 0
[pid=15834/tid=15848] ppid=15832 vsize=10556676 CPUtime=0 cores=1,3,5,7
/proc/15834/task/15848/stat : 15848 (java) S 15832 15834 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855755076 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134537649 0 4 0 16800975 18446604466238271872 0 0 -1 3 0 0 0
[pid=15834/tid=15849] ppid=15832 vsize=10556676 CPUtime=1.67 cores=1,3,5,7
/proc/15834/task/15849/stat : 15849 (java) S 15832 15834 15115 0 -1 4202560 12209 0 0 0 166 1 0 0 15 0 22 0 855755076 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 1 0 0 0
[pid=15834/tid=15850] ppid=15832 vsize=10556676 CPUtime=0.98 cores=1,3,5,7
/proc/15834/task/15850/stat : 15850 (java) S 15832 15834 15115 0 -1 4202560 5825 0 0 0 98 0 0 0 15 0 22 0 855755076 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 5 0 0 0
[pid=15834/tid=15851] ppid=15832 vsize=10556676 CPUtime=0 cores=1,3,5,7
/proc/15834/task/15851/stat : 15851 (java) S 15832 15834 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855755076 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134529945 0 4 0 16800975 18446604466238271872 0 0 -1 3 0 0 0
[pid=15834/tid=15852] ppid=15832 vsize=10556676 CPUtime=0 cores=1,3,5,7
/proc/15834/task/15852/stat : 15852 (java) S 15832 15834 15115 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 855755076 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134530560 0 4 0 16800975 18446604466238271872 0 0 -1 5 0 0 0
[pid=15834/tid=15853] ppid=15832 vsize=10556676 CPUtime=847.39 cores=1,3,5,7
/proc/15834/task/15853/stat : 15853 (java) R 15832 15834 15115 0 -1 4202560 790 0 0 0 84738 1 0 0 22 0 22 0 855755097 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 46912505623295 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15834/tid=15854] ppid=15832 vsize=10556676 CPUtime=847.39 cores=1,3,5,7
/proc/15834/task/15854/stat : 15854 (java) R 15832 15834 15115 0 -1 4202560 276459 0 0 0 84708 31 0 0 22 0 22 0 855755097 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 46912505764837 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15834/tid=15855] ppid=15832 vsize=10556676 CPUtime=0 cores=1,3,5,7
/proc/15834/task/15855/stat : 15855 (java) S 15832 15834 15115 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 855755097 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134530560 0 4 0 16800975 18446604466238271872 0 0 -1 5 0 0 0
[pid=15834/tid=15856] ppid=15832 vsize=10556676 CPUtime=0 cores=1,3,5,7
/proc/15834/task/15856/stat : 15856 (java) S 15832 15834 15115 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 855755097 10810036224 346771 33554432000 1073741824 1073778376 140735469731936 18446744073709551615 228134530560 0 4 0 16800975 18446604466238271872 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 10556676
Child status: 143
Real time (s): 942.589
CPU time (s): 1800.19
CPU user time (s): 1799.65
CPU system time (s): 0.540917
CPU usage (%): 190.984
Max. virtual memory (cumulated for all children) (KiB): 10556676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.65
system time used= 0.540917
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 357133
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= 32899
involuntary context switches= 22396
runsolver used 4.52831 second user time and 10.1035 second system time
The end