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-3453639-1307195876/watcher-3453639-1307195876 -o /tmp/evaluation-result-3453639-1307195876/solver-3453639-1307195876 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453639-1307195876.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.13 2.92 3.29 5/467 26962
/proc/meminfo: memFree=29858192/32950928 swapFree=34365992/67111528
[pid=26962] ppid=26960 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/26962/stat : 26962 (java) S 26960 26962 26457 0 -1 4202496 4604 0 1 0 0 0 0 0 25 0 2 0 831186323 10694979584 4305 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606669285 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/26962/statm: 2611079 4319 917 9 0 2602235 0
[pid=26962/tid=26963] ppid=26960 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26963/stat : 26963 (java) R 26960 26962 26457 0 -1 4202560 6111 0 1 0 0 0 0 0 25 0 2 0 831186324 10694979584 6926 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235594560571 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.060072 s]
/proc/loadavg: 3.13 2.92 3.29 5/467 26962
/proc/meminfo: memFree=29858192/32950928 swapFree=34365992/67111528
[pid=26962] ppid=26960 vsize=10472924 CPUtime=0.05 cores=1,3,5,7
/proc/26962/stat : 26962 (java) S 26960 26962 26457 0 -1 4202496 11680 0 1 0 4 1 0 0 25 0 18 0 831186323 10724274176 11376 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26962/statm: 2618231 11376 1733 9 0 2608972 0
[pid=26962/tid=26963] ppid=26960 vsize=10472924 CPUtime=0.04 cores=1,3,5,7
/proc/26962/task/26963/stat : 26963 (java) R 26960 26962 26457 0 -1 4202560 10506 0 1 0 3 1 0 0 25 0 18 0 831186324 10724274176 11377 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 47435611122750 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.101064 s]
/proc/loadavg: 3.13 2.92 3.29 5/467 26962
/proc/meminfo: memFree=29858192/32950928 swapFree=34365992/67111528
[pid=26962] ppid=26960 vsize=10540452 CPUtime=0.11 cores=1,3,5,7
/proc/26962/stat : 26962 (java) S 26960 26962 26457 0 -1 4202496 13184 0 1 0 9 2 0 0 25 0 18 0 831186323 10793422848 12841 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26962/statm: 2635113 12841 2092 9 0 2625847 0
[pid=26962/tid=26963] ppid=26960 vsize=10540452 CPUtime=0.08 cores=1,3,5,7
/proc/26962/task/26963/stat : 26963 (java) R 26960 26962 26457 0 -1 4202560 11211 0 1 0 7 1 0 0 25 0 18 0 831186324 10793422848 12842 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 47435611462483 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) 10540452
[startup+0.300972 s]
/proc/loadavg: 3.13 2.92 3.29 5/467 26962
/proc/meminfo: memFree=29858192/32950928 swapFree=34365992/67111528
[pid=26962] ppid=26960 vsize=10545228 CPUtime=0.48 cores=1,3,5,7
/proc/26962/stat : 26962 (java) S 26960 26962 26457 0 -1 4202496 16547 0 1 0 46 2 0 0 25 0 18 0 831186323 10798313472 15957 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26962/statm: 2636307 15957 2212 9 0 2627041 0
[pid=26962/tid=26963] ppid=26960 vsize=10545228 CPUtime=0.29 cores=1,3,5,7
/proc/26962/task/26963/stat : 26963 (java) R 26960 26962 26457 0 -1 4202560 13031 0 1 0 27 2 0 0 25 0 18 0 831186324 10798313472 15957 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 46912505571505 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10545228
[startup+0.700905 s]
/proc/loadavg: 3.13 2.92 3.29 5/467 26962
/proc/meminfo: memFree=29858192/32950928 swapFree=34365992/67111528
[pid=26962] ppid=26960 vsize=10557468 CPUtime=1.86 cores=1,3,5,7
/proc/26962/stat : 26962 (java) S 26960 26962 26457 0 -1 4202496 28792 0 1 0 182 4 0 0 25 0 22 0 831186323 10810847232 24311 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26962/statm: 2639367 24311 2234 9 0 2630101 0
[pid=26962/tid=26963] ppid=26960 vsize=10557468 CPUtime=0.43 cores=1,3,5,7
/proc/26962/task/26963/stat : 26963 (java) S 26960 26962 26457 0 -1 4202560 16004 0 1 0 41 2 0 0 25 0 22 0 831186324 10810847232 24311 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606683136 0 4 0 16800975 18446604459465001152 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 10557468
[startup+1.50077 s]
/proc/loadavg: 3.13 2.92 3.29 6/489 26984
/proc/meminfo: memFree=29747032/32950928 swapFree=34365992/67111528
[pid=26962] ppid=26960 vsize=10559572 CPUtime=4.31 cores=1,3,5,7
/proc/26962/stat : 26962 (java) S 26960 26962 26457 0 -1 4202496 59185 0 1 0 423 8 0 0 25 0 22 0 831186323 10813001728 50114 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26962/statm: 2639893 50114 2242 9 0 2630627 0
[pid=26962/tid=26963] ppid=26960 vsize=10559572 CPUtime=0.43 cores=1,3,5,7
/proc/26962/task/26963/stat : 26963 (java) S 26960 26962 26457 0 -1 4202560 16004 0 1 0 41 2 0 0 15 0 22 0 831186324 10813001728 50114 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606683136 0 4 0 16800975 18446604459465001152 0 0 -1 7 0 0 0
[pid=26962/tid=26965] ppid=26960 vsize=10559572 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26965/stat : 26965 (java) S 26960 26962 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831186325 10813001728 50114 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 5 0 0 0
[pid=26962/tid=26966] ppid=26960 vsize=10559572 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26966/stat : 26966 (java) S 26960 26962 26457 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 831186325 10813001728 50114 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 5 0 0 0
[pid=26962/tid=26967] ppid=26960 vsize=10559572 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26967/stat : 26967 (java) S 26960 26962 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831186325 10813001728 50114 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 5 0 0 0
[pid=26962/tid=26968] ppid=26960 vsize=10559572 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26968/stat : 26968 (java) S 26960 26962 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831186325 10813001728 50114 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 5 0 0 0
[pid=26962/tid=26969] ppid=26960 vsize=10559572 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26969/stat : 26969 (java) S 26960 26962 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831186325 10813001728 50114 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 5 0 0 0
[pid=26962/tid=26970] ppid=26960 vsize=10559572 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26970/stat : 26970 (java) S 26960 26962 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831186325 10813001728 50114 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 5 0 0 0
[pid=26962/tid=26971] ppid=26960 vsize=10559572 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26971/stat : 26971 (java) S 26960 26962 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831186325 10813001728 50114 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 7 0 0 0
[pid=26962/tid=26972] ppid=26960 vsize=10559572 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26972/stat : 26972 (java) S 26960 26962 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831186325 10813001728 50114 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 7 0 0 0
[pid=26962/tid=26973] ppid=26960 vsize=10559572 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26973/stat : 26973 (java) S 26960 26962 26457 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 831186327 10813001728 50114 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606683136 0 0 0 16800975 18446604459465001152 0 0 -1 1 0 0 0
[pid=26962/tid=26974] ppid=26960 vsize=10559572 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26974/stat : 26974 (java) S 26960 26962 26457 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 831186327 10813001728 50114 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 1 0 0 0
[pid=26962/tid=26975] ppid=26960 vsize=10559572 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26975/stat : 26975 (java) S 26960 26962 26457 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831186327 10813001728 50114 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 1 0 0 0
[pid=26962/tid=26976] ppid=26960 vsize=10559572 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26976/stat : 26976 (java) S 26960 26962 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831186329 10813001728 50114 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606690225 0 4 0 16800975 18446604459465001152 0 0 -1 1 0 0 0
[pid=26962/tid=26977] ppid=26960 vsize=10559572 CPUtime=0.9 cores=1,3,5,7
/proc/26962/task/26977/stat : 26977 (java) S 26960 26962 26457 0 -1 4202560 8187 0 0 0 89 1 0 0 22 0 22 0 831186329 10813001728 50114 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 5 0 0 0
[pid=26962/tid=26978] ppid=26960 vsize=10559572 CPUtime=0.87 cores=1,3,5,7
/proc/26962/task/26978/stat : 26978 (java) S 26960 26962 26457 0 -1 4202560 7631 0 0 0 86 1 0 0 25 0 22 0 831186329 10813001728 50114 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 3 0 0 0
[pid=26962/tid=26979] ppid=26960 vsize=10559572 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26979/stat : 26979 (java) S 26960 26962 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831186329 10813001728 50114 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 1 0 0 0
[pid=26962/tid=26980] ppid=26960 vsize=10559572 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26980/stat : 26980 (java) S 26960 26962 26457 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831186329 10813001728 50114 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606683136 0 4 0 16800975 18446604459465001152 0 0 -1 7 0 0 0
[pid=26962/tid=26981] ppid=26960 vsize=10559572 CPUtime=1.05 cores=1,3,5,7
/proc/26962/task/26981/stat : 26981 (java) R 26960 26962 26457 0 -1 4202560 947 0 0 0 105 0 0 0 25 0 22 0 831186368 10813001728 50114 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 46912505962814 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26962/tid=26982] ppid=26960 vsize=10559572 CPUtime=1.03 cores=1,3,5,7
/proc/26962/task/26982/stat : 26982 (java) R 26960 26962 26457 0 -1 4202560 25249 0 0 0 100 3 0 0 25 0 22 0 831186368 10813001728 50114 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 46912505936597 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=26962/tid=26983] ppid=26960 vsize=10559572 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26983/stat : 26983 (java) S 26960 26962 26457 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831186369 10813001728 50114 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606683136 0 4 0 16800975 18446604459465001152 0 0 -1 1 0 0 0
[pid=26962/tid=26984] ppid=26960 vsize=10559572 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26984/stat : 26984 (java) S 26960 26962 26457 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831186369 10813001728 50114 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606683136 0 4 0 16800975 18446604459465001152 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.31
Current children cumulated vsize (KiB) 10559572
[startup+3.10149 s]
/proc/loadavg: 3.20 2.94 3.29 5/489 26984
/proc/meminfo: memFree=29545780/32950928 swapFree=34365992/67111528
[pid=26962] ppid=26960 vsize=10559572 CPUtime=7.73 cores=1,3,5,7
/proc/26962/stat : 26962 (java) S 26960 26962 26457 0 -1 4202496 116307 0 1 0 758 15 0 0 25 0 22 0 831186323 10813001728 105773 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26962/statm: 2639893 105773 2269 9 0 2630627 0
[pid=26962/tid=26963] ppid=26960 vsize=10559572 CPUtime=0.43 cores=1,3,5,7
/proc/26962/task/26963/stat : 26963 (java) S 26960 26962 26457 0 -1 4202560 16004 0 1 0 41 2 0 0 15 0 22 0 831186324 10813001728 105773 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606683136 0 4 0 16800975 18446604459465001152 0 0 -1 7 0 0 0
[pid=26962/tid=26965] ppid=26960 vsize=10559572 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26965/stat : 26965 (java) S 26960 26962 26457 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831186325 10813001728 105773 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 5 0 0 0
[pid=26962/tid=26966] ppid=26960 vsize=10559572 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26966/stat : 26966 (java) S 26960 26962 26457 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 831186325 10813001728 105773 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 3 0 0 0
[pid=26962/tid=26967] ppid=26960 vsize=10559572 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26967/stat : 26967 (java) S 26960 26962 26457 0 -1 4202560 450 0 0 0 0 0 0 0 18 0 22 0 831186325 10813001728 105773 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 3 0 0 0
[pid=26962/tid=26968] ppid=26960 vsize=10559572 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26968/stat : 26968 (java) S 26960 26962 26457 0 -1 4202560 549 0 0 0 0 0 0 0 18 0 22 0 831186325 10813001728 105773 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 5 0 0 0
[pid=26962/tid=26969] ppid=26960 vsize=10559572 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26969/stat : 26969 (java) S 26960 26962 26457 0 -1 4202560 167 0 0 0 0 0 0 0 18 0 22 0 831186325 10813001728 105773 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 5 0 0 0
[pid=26962/tid=26970] ppid=26960 vsize=10559572 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26970/stat : 26970 (java) S 26960 26962 26457 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 831186325 10813001728 105773 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 5 0 0 0
[pid=26962/tid=26971] ppid=26960 vsize=10559572 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26971/stat : 26971 (java) S 26960 26962 26457 0 -1 4202560 657 0 0 0 0 0 0 0 18 0 22 0 831186325 10813001728 105773 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 3 0 0 0
[pid=26962/tid=26972] ppid=26960 vsize=10559572 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26972/stat : 26972 (java) S 26960 26962 26457 0 -1 4202560 621 0 0 0 0 0 0 0 18 0 22 0 831186325 10813001728 105773 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 7 0 0 0
[pid=26962/tid=26973] ppid=26960 vsize=10559572 CPUtime=0.03 cores=1,3,5,7
/proc/26962/task/26973/stat : 26973 (java) S 26960 26962 26457 0 -1 4202560 2411 0 0 0 3 0 0 0 16 0 22 0 831186327 10813001728 105773 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606683136 0 0 0 16800975 18446604459465001152 0 0 -1 1 0 0 0
[pid=26962/tid=26974] ppid=26960 vsize=10559572 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26974/stat : 26974 (java) S 26960 26962 26457 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831186327 10813001728 105773 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 1 0 0 0
[pid=26962/tid=26975] ppid=26960 vsize=10559572 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26975/stat : 26975 (java) S 26960 26962 26457 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 831186327 10813001728 105773 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 1 0 0 0
[pid=26962/tid=26976] ppid=26960 vsize=10559572 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26976/stat : 26976 (java) S 26960 26962 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831186329 10813001728 105773 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606690225 0 4 0 16800975 18446604459465001152 0 0 -1 1 0 0 0
[pid=26962/tid=26977] ppid=26960 vsize=10559572 CPUtime=1.08 cores=1,3,5,7
/proc/26962/task/26977/stat : 26977 (java) S 26960 26962 26457 0 -1 4202560 9666 0 0 0 107 1 0 0 15 0 22 0 831186329 10813001728 105773 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 5 0 0 0
[pid=26962/tid=26978] ppid=26960 vsize=10559572 CPUtime=0.93 cores=1,3,5,7
/proc/26962/task/26978/stat : 26978 (java) S 26960 26962 26457 0 -1 4202560 7643 0 0 0 92 1 0 0 15 0 22 0 831186329 10813001728 105773 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 3 0 0 0
[pid=26962/tid=26979] ppid=26960 vsize=10559572 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26979/stat : 26979 (java) S 26960 26962 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831186329 10813001728 105773 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 1 0 0 0
[pid=26962/tid=26980] ppid=26960 vsize=10559572 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26980/stat : 26980 (java) S 26960 26962 26457 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831186329 10813001728 105773 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606683136 0 4 0 16800975 18446604459465001152 0 0 -1 7 0 0 0
[pid=26962/tid=26981] ppid=26960 vsize=10559572 CPUtime=2.6 cores=1,3,5,7
/proc/26962/task/26981/stat : 26981 (java) R 26960 26962 26457 0 -1 4202560 1385 0 0 0 260 0 0 0 25 0 22 0 831186368 10813001728 105773 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 46912505866896 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26962/tid=26982] ppid=26960 vsize=10559572 CPUtime=2.58 cores=1,3,5,7
/proc/26962/task/26982/stat : 26982 (java) R 26960 26962 26457 0 -1 4202560 75592 0 0 0 250 8 0 0 25 0 22 0 831186368 10813001728 105773 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 46912505936442 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=26962/tid=26983] ppid=26960 vsize=10559572 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26983/stat : 26983 (java) S 26960 26962 26457 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831186369 10813001728 105773 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606683136 0 4 0 16800975 18446604459465001152 0 0 -1 1 0 0 0
[pid=26962/tid=26984] ppid=26960 vsize=10559572 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26984/stat : 26984 (java) S 26960 26962 26457 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831186369 10813001728 105773 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606683136 0 4 0 16800975 18446604459465001152 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.73
Current children cumulated vsize (KiB) 10559572
[startup+6.30092 s]
/proc/loadavg: 3.20 2.94 3.29 5/489 26984
/proc/meminfo: memFree=29303472/32950928 swapFree=34365992/67111528
[pid=26962] ppid=26960 vsize=10556692 CPUtime=14.09 cores=1,3,5,7
/proc/26962/stat : 26962 (java) S 26960 26962 26457 0 -1 4202496 174968 0 1 0 1388 21 0 0 25 0 22 0 831186323 10810052608 163708 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26962/statm: 2639173 163708 2269 9 0 2629907 0
[pid=26962/tid=26963] ppid=26960 vsize=10556692 CPUtime=0.43 cores=1,3,5,7
/proc/26962/task/26963/stat : 26963 (java) S 26960 26962 26457 0 -1 4202560 16004 0 1 0 41 2 0 0 15 0 22 0 831186324 10810052608 163708 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606683136 0 4 0 16800975 18446604459465001152 0 0 -1 7 0 0 0
[pid=26962/tid=26965] ppid=26960 vsize=10556692 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26965/stat : 26965 (java) S 26960 26962 26457 0 -1 4202560 549 0 0 0 0 0 0 0 16 0 22 0 831186325 10810052608 163708 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 5 0 0 0
[pid=26962/tid=26966] ppid=26960 vsize=10556692 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26966/stat : 26966 (java) S 26960 26962 26457 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 831186325 10810052608 163708 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 3 0 0 0
[pid=26962/tid=26967] ppid=26960 vsize=10556692 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26967/stat : 26967 (java) S 26960 26962 26457 0 -1 4202560 450 0 0 0 0 0 0 0 15 0 22 0 831186325 10810052608 163708 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 7 0 0 0
[pid=26962/tid=26968] ppid=26960 vsize=10556692 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26968/stat : 26968 (java) S 26960 26962 26457 0 -1 4202560 919 0 0 0 0 0 0 0 15 0 22 0 831186325 10810052608 163708 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 5 0 0 0
[pid=26962/tid=26969] ppid=26960 vsize=10556692 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26969/stat : 26969 (java) S 26960 26962 26457 0 -1 4202560 602 0 0 0 0 0 0 0 15 0 22 0 831186325 10810052608 163708 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 3 0 0 0
[pid=26962/tid=26970] ppid=26960 vsize=10556692 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26970/stat : 26970 (java) S 26960 26962 26457 0 -1 4202560 7 0 0 0 0 0 0 0 16 0 22 0 831186325 10810052608 163708 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 5 0 0 0
[pid=26962/tid=26971] ppid=26960 vsize=10556692 CPUtime=0.01 cores=1,3,5,7
/proc/26962/task/26971/stat : 26971 (java) S 26960 26962 26457 0 -1 4202560 1091 0 0 0 1 0 0 0 18 0 22 0 831186325 10810052608 163708 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 5 0 0 0
[pid=26962/tid=26972] ppid=26960 vsize=10556692 CPUtime=0.01 cores=1,3,5,7
/proc/26962/task/26972/stat : 26972 (java) S 26960 26962 26457 0 -1 4202560 626 0 0 0 1 0 0 0 16 0 22 0 831186325 10810052608 163708 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=26962/tid=26982] ppid=26960 vsize=10556692 CPUtime=788.49 cores=1,3,5,7
/proc/26962/task/26982/stat : 26982 (java) R 26960 26962 26457 0 -1 4202560 333478 0 0 0 78809 40 0 0 20 0 22 0 831186368 10810052608 413663 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 46912505937427 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26962/tid=26983] ppid=26960 vsize=10556692 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26983/stat : 26983 (java) S 26960 26962 26457 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831186369 10810052608 413663 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606683136 0 4 0 16800975 18446604459465001152 0 0 -1 1 0 0 0
[pid=26962/tid=26984] ppid=26960 vsize=10556692 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26984/stat : 26984 (java) S 26960 26962 26457 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831186369 10810052608 413663 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606683136 0 4 0 16800975 18446604459465001152 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1679.64
Current children cumulated vsize (KiB) 10556692
[startup+942.301 s]
/proc/loadavg: 3.55 3.66 3.58 4/489 27138
/proc/meminfo: memFree=26111184/32950928 swapFree=34365992/67111528
[pid=26962] ppid=26960 vsize=10556692 CPUtime=1790.98 cores=1,3,5,7
/proc/26962/stat : 26962 (java) S 26960 26962 26457 0 -1 4202496 431874 0 1 0 179038 60 0 0 25 0 22 0 831186323 10810052608 415954 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26962/statm: 2639173 415954 2270 9 0 2629907 0
[pid=26962/tid=26963] ppid=26960 vsize=10556692 CPUtime=0.43 cores=1,3,5,7
/proc/26962/task/26963/stat : 26963 (java) S 26960 26962 26457 0 -1 4202560 16075 0 1 0 41 2 0 0 15 0 22 0 831186324 10810052608 415954 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606683136 0 4 0 16800975 18446604459465001152 0 0 -1 1 0 0 0
[pid=26962/tid=26965] ppid=26960 vsize=10556692 CPUtime=1.12 cores=1,3,5,7
/proc/26962/task/26965/stat : 26965 (java) S 26960 26962 26457 0 -1 4202560 804 0 0 0 112 0 0 0 15 0 22 0 831186325 10810052608 415954 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 1 0 0 0
[pid=26962/tid=26966] ppid=26960 vsize=10556692 CPUtime=1.18 cores=1,3,5,7
/proc/26962/task/26966/stat : 26966 (java) S 26960 26962 26457 0 -1 4202560 155 0 0 0 118 0 0 0 16 0 22 0 831186325 10810052608 415954 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 7 0 0 0
[pid=26962/tid=26967] ppid=26960 vsize=10556692 CPUtime=1.16 cores=1,3,5,7
/proc/26962/task/26967/stat : 26967 (java) S 26960 26962 26457 0 -1 4202560 1048 0 0 0 116 0 0 0 16 0 22 0 831186325 10810052608 415954 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 5 0 0 0
[pid=26962/tid=26968] ppid=26960 vsize=10556692 CPUtime=1.22 cores=1,3,5,7
/proc/26962/task/26968/stat : 26968 (java) S 26960 26962 26457 0 -1 4202560 1102 0 0 0 122 0 0 0 16 0 22 0 831186325 10810052608 415954 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 1 0 0 0
[pid=26962/tid=26969] ppid=26960 vsize=10556692 CPUtime=1.15 cores=1,3,5,7
/proc/26962/task/26969/stat : 26969 (java) S 26960 26962 26457 0 -1 4202560 870 0 0 0 115 0 0 0 15 0 22 0 831186325 10810052608 415954 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 5 0 0 0
[pid=26962/tid=26970] ppid=26960 vsize=10556692 CPUtime=1.17 cores=1,3,5,7
/proc/26962/task/26970/stat : 26970 (java) S 26960 26962 26457 0 -1 4202560 191 0 0 0 117 0 0 0 15 0 22 0 831186325 10810052608 415954 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 7 0 0 0
[pid=26962/tid=26971] ppid=26960 vsize=10556692 CPUtime=1.22 cores=1,3,5,7
/proc/26962/task/26971/stat : 26971 (java) S 26960 26962 26457 0 -1 4202560 1385 0 0 0 122 0 0 0 16 0 22 0 831186325 10810052608 415954 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 7 0 0 0
[pid=26962/tid=26972] ppid=26960 vsize=10556692 CPUtime=1.17 cores=1,3,5,7
/proc/26962/task/26972/stat : 26972 (java) S 26960 26962 26457 0 -1 4202560 885 0 0 0 117 0 0 0 15 0 22 0 831186325 10810052608 415954 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 7 0 0 0
[pid=26962/tid=26973] ppid=26960 vsize=10556692 CPUtime=99.56 cores=1,3,5,7
/proc/26962/task/26973/stat : 26973 (java) S 26960 26962 26457 0 -1 4202560 51079 0 0 0 9949 7 0 0 15 0 22 0 831186327 10810052608 415954 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606683136 0 0 0 16800975 18446604459465001152 0 0 -1 3 0 0 0
[pid=26962/tid=26974] ppid=26960 vsize=10556692 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26974/stat : 26974 (java) S 26960 26962 26457 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831186327 10810052608 415954 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 1 0 0 0
[pid=26962/tid=26975] ppid=26960 vsize=10556692 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26975/stat : 26975 (java) S 26960 26962 26457 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 831186327 10810052608 415954 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 1 0 0 0
[pid=26962/tid=26976] ppid=26960 vsize=10556692 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26976/stat : 26976 (java) S 26960 26962 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831186329 10810052608 415954 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606690225 0 4 0 16800975 18446604459465001152 0 0 -1 1 0 0 0
[pid=26962/tid=26977] ppid=26960 vsize=10556692 CPUtime=1.52 cores=1,3,5,7
/proc/26962/task/26977/stat : 26977 (java) S 26960 26962 26457 0 -1 4202560 13944 0 0 0 151 1 0 0 15 0 22 0 831186329 10810052608 415954 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 5 0 0 0
[pid=26962/tid=26978] ppid=26960 vsize=10556692 CPUtime=1.32 cores=1,3,5,7
/proc/26962/task/26978/stat : 26978 (java) S 26960 26962 26457 0 -1 4202560 7682 0 0 0 131 1 0 0 15 0 22 0 831186329 10810052608 415954 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 3 0 0 0
[pid=26962/tid=26979] ppid=26960 vsize=10556692 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26979/stat : 26979 (java) S 26960 26962 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831186329 10810052608 415954 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 1 0 0 0
[pid=26962/tid=26980] ppid=26960 vsize=10556692 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26980/stat : 26980 (java) S 26960 26962 26457 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 831186329 10810052608 415954 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606683136 0 4 0 16800975 18446604459465001152 0 0 -1 1 0 0 0
[pid=26962/tid=26981] ppid=26960 vsize=10556692 CPUtime=839.33 cores=1,3,5,7
/proc/26962/task/26981/stat : 26981 (java) R 26960 26962 26457 0 -1 4202560 1964 0 0 0 83932 1 0 0 25 0 22 0 831186368 10810052608 415954 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 46912505962507 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=26962/tid=26982] ppid=26960 vsize=10556692 CPUtime=839.28 cores=1,3,5,7
/proc/26962/task/26982/stat : 26982 (java) R 26960 26962 26457 0 -1 4202560 333478 0 0 0 83888 40 0 0 25 0 22 0 831186368 10810052608 415954 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 46912505571636 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26962/tid=26983] ppid=26960 vsize=10556692 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26983/stat : 26983 (java) S 26960 26962 26457 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831186369 10810052608 415954 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606683136 0 4 0 16800975 18446604459465001152 0 0 -1 1 0 0 0
[pid=26962/tid=26984] ppid=26960 vsize=10556692 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26984/stat : 26984 (java) S 26960 26962 26457 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831186369 10810052608 415954 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606683136 0 4 0 16800975 18446604459465001152 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1790.98
Current children cumulated vsize (KiB) 10556692
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+947.301 s]
/proc/loadavg: 3.62 3.67 3.58 4/489 27141
/proc/meminfo: memFree=26100764/32950928 swapFree=34365992/67111528
[pid=26962] ppid=26960 vsize=10556692 CPUtime=1800.13 cores=1,3,5,7
/proc/26962/stat : 26962 (java) S 26960 26962 26457 0 -1 4202496 431877 0 1 0 179953 60 0 0 25 0 22 0 831186323 10810052608 415955 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26962/statm: 2639173 415955 2270 9 0 2629907 0
[pid=26962/tid=26963] ppid=26960 vsize=10556692 CPUtime=0.43 cores=1,3,5,7
/proc/26962/task/26963/stat : 26963 (java) S 26960 26962 26457 0 -1 4202560 16075 0 1 0 41 2 0 0 15 0 22 0 831186324 10810052608 415955 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606683136 0 4 0 16800975 18446604459465001152 0 0 -1 1 0 0 0
[pid=26962/tid=26965] ppid=26960 vsize=10556692 CPUtime=1.13 cores=1,3,5,7
/proc/26962/task/26965/stat : 26965 (java) S 26960 26962 26457 0 -1 4202560 804 0 0 0 113 0 0 0 16 0 22 0 831186325 10810052608 415955 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 1 0 0 0
[pid=26962/tid=26966] ppid=26960 vsize=10556692 CPUtime=1.18 cores=1,3,5,7
/proc/26962/task/26966/stat : 26966 (java) S 26960 26962 26457 0 -1 4202560 155 0 0 0 118 0 0 0 15 0 22 0 831186325 10810052608 415955 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 7 0 0 0
[pid=26962/tid=26967] ppid=26960 vsize=10556692 CPUtime=1.16 cores=1,3,5,7
/proc/26962/task/26967/stat : 26967 (java) S 26960 26962 26457 0 -1 4202560 1048 0 0 0 116 0 0 0 15 0 22 0 831186325 10810052608 415955 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 5 0 0 0
[pid=26962/tid=26968] ppid=26960 vsize=10556692 CPUtime=1.23 cores=1,3,5,7
/proc/26962/task/26968/stat : 26968 (java) S 26960 26962 26457 0 -1 4202560 1102 0 0 0 123 0 0 0 15 0 22 0 831186325 10810052608 415955 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 5 0 0 0
[pid=26962/tid=26969] ppid=26960 vsize=10556692 CPUtime=1.16 cores=1,3,5,7
/proc/26962/task/26969/stat : 26969 (java) S 26960 26962 26457 0 -1 4202560 870 0 0 0 116 0 0 0 15 0 22 0 831186325 10810052608 415955 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 5 0 0 0
[pid=26962/tid=26970] ppid=26960 vsize=10556692 CPUtime=1.17 cores=1,3,5,7
/proc/26962/task/26970/stat : 26970 (java) S 26960 26962 26457 0 -1 4202560 191 0 0 0 117 0 0 0 15 0 22 0 831186325 10810052608 415955 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 7 0 0 0
[pid=26962/tid=26971] ppid=26960 vsize=10556692 CPUtime=1.24 cores=1,3,5,7
/proc/26962/task/26971/stat : 26971 (java) S 26960 26962 26457 0 -1 4202560 1386 0 0 0 124 0 0 0 16 0 22 0 831186325 10810052608 415955 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 7 0 0 0
[pid=26962/tid=26972] ppid=26960 vsize=10556692 CPUtime=1.18 cores=1,3,5,7
/proc/26962/task/26972/stat : 26972 (java) S 26960 26962 26457 0 -1 4202560 885 0 0 0 118 0 0 0 15 0 22 0 831186325 10810052608 415955 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 7 0 0 0
[pid=26962/tid=26973] ppid=26960 vsize=10556692 CPUtime=100.47 cores=1,3,5,7
/proc/26962/task/26973/stat : 26973 (java) S 26960 26962 26457 0 -1 4202560 51079 0 0 0 10040 7 0 0 15 0 22 0 831186327 10810052608 415955 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606683136 0 0 0 16800975 18446604459465001152 0 0 -1 3 0 0 0
[pid=26962/tid=26974] ppid=26960 vsize=10556692 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26974/stat : 26974 (java) S 26960 26962 26457 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831186327 10810052608 415955 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 1 0 0 0
[pid=26962/tid=26975] ppid=26960 vsize=10556692 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26975/stat : 26975 (java) S 26960 26962 26457 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 831186327 10810052608 415955 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 1 0 0 0
[pid=26962/tid=26976] ppid=26960 vsize=10556692 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26976/stat : 26976 (java) S 26960 26962 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831186329 10810052608 415955 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606690225 0 4 0 16800975 18446604459465001152 0 0 -1 1 0 0 0
[pid=26962/tid=26977] ppid=26960 vsize=10556692 CPUtime=1.52 cores=1,3,5,7
/proc/26962/task/26977/stat : 26977 (java) S 26960 26962 26457 0 -1 4202560 13944 0 0 0 151 1 0 0 15 0 22 0 831186329 10810052608 415955 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 5 0 0 0
[pid=26962/tid=26978] ppid=26960 vsize=10556692 CPUtime=1.32 cores=1,3,5,7
/proc/26962/task/26978/stat : 26978 (java) S 26960 26962 26457 0 -1 4202560 7682 0 0 0 131 1 0 0 15 0 22 0 831186329 10810052608 415955 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 3 0 0 0
[pid=26962/tid=26979] ppid=26960 vsize=10556692 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26979/stat : 26979 (java) S 26960 26962 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831186329 10810052608 415955 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 1 0 0 0
[pid=26962/tid=26980] ppid=26960 vsize=10556692 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26980/stat : 26980 (java) S 26960 26962 26457 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 831186329 10810052608 415955 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606683136 0 4 0 16800975 18446604459465001152 0 0 -1 1 0 0 0
[pid=26962/tid=26981] ppid=26960 vsize=10556692 CPUtime=843.42 cores=1,3,5,7
/proc/26962/task/26981/stat : 26981 (java) R 26960 26962 26457 0 -1 4202560 1966 0 0 0 84341 1 0 0 25 0 22 0 831186368 10810052608 415955 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 46912505829628 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=26962/tid=26982] ppid=26960 vsize=10556692 CPUtime=843.37 cores=1,3,5,7
/proc/26962/task/26982/stat : 26982 (java) R 26960 26962 26457 0 -1 4202560 333478 0 0 0 84297 40 0 0 25 0 22 0 831186368 10810052608 415955 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 46912505938745 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26962/tid=26983] ppid=26960 vsize=10556692 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26983/stat : 26983 (java) S 26960 26962 26457 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831186369 10810052608 415955 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606683136 0 4 0 16800975 18446604459465001152 0 0 -1 1 0 0 0
[pid=26962/tid=26984] ppid=26960 vsize=10556692 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26984/stat : 26984 (java) S 26960 26962 26457 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831186369 10810052608 415955 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606683136 0 4 0 16800975 18446604459465001152 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 10556692
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+947.301 s]
/proc/loadavg: 3.62 3.67 3.58 4/489 27141
/proc/meminfo: memFree=26100764/32950928 swapFree=34365992/67111528
[pid=26962] ppid=26960 vsize=10556692 CPUtime=1800.13 cores=1,3,5,7
/proc/26962/stat : 26962 (java) S 26960 26962 26457 0 -1 4202496 431877 0 1 0 179953 60 0 0 25 0 22 0 831186323 10810052608 415955 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26962/statm: 2639173 415955 2270 9 0 2629907 0
[pid=26962/tid=26963] ppid=26960 vsize=10556692 CPUtime=0.43 cores=1,3,5,7
/proc/26962/task/26963/stat : 26963 (java) S 26960 26962 26457 0 -1 4202560 16075 0 1 0 41 2 0 0 15 0 22 0 831186324 10810052608 415955 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606683136 0 4 0 16800975 18446604459465001152 0 0 -1 1 0 0 0
[pid=26962/tid=26965] ppid=26960 vsize=10556692 CPUtime=1.13 cores=1,3,5,7
/proc/26962/task/26965/stat : 26965 (java) S 26960 26962 26457 0 -1 4202560 804 0 0 0 113 0 0 0 16 0 22 0 831186325 10810052608 415955 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 1 0 0 0
[pid=26962/tid=26966] ppid=26960 vsize=10556692 CPUtime=1.18 cores=1,3,5,7
/proc/26962/task/26966/stat : 26966 (java) S 26960 26962 26457 0 -1 4202560 155 0 0 0 118 0 0 0 15 0 22 0 831186325 10810052608 415955 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 7 0 0 0
[pid=26962/tid=26967] ppid=26960 vsize=10556692 CPUtime=1.16 cores=1,3,5,7
/proc/26962/task/26967/stat : 26967 (java) S 26960 26962 26457 0 -1 4202560 1048 0 0 0 116 0 0 0 15 0 22 0 831186325 10810052608 415955 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 5 0 0 0
[pid=26962/tid=26968] ppid=26960 vsize=10556692 CPUtime=1.23 cores=1,3,5,7
/proc/26962/task/26968/stat : 26968 (java) S 26960 26962 26457 0 -1 4202560 1102 0 0 0 123 0 0 0 15 0 22 0 831186325 10810052608 415955 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 5 0 0 0
[pid=26962/tid=26969] ppid=26960 vsize=10556692 CPUtime=1.16 cores=1,3,5,7
/proc/26962/task/26969/stat : 26969 (java) S 26960 26962 26457 0 -1 4202560 870 0 0 0 116 0 0 0 15 0 22 0 831186325 10810052608 415955 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 5 0 0 0
[pid=26962/tid=26970] ppid=26960 vsize=10556692 CPUtime=1.17 cores=1,3,5,7
/proc/26962/task/26970/stat : 26970 (java) S 26960 26962 26457 0 -1 4202560 191 0 0 0 117 0 0 0 15 0 22 0 831186325 10810052608 415955 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 7 0 0 0
[pid=26962/tid=26971] ppid=26960 vsize=10556692 CPUtime=1.24 cores=1,3,5,7
/proc/26962/task/26971/stat : 26971 (java) S 26960 26962 26457 0 -1 4202560 1386 0 0 0 124 0 0 0 16 0 22 0 831186325 10810052608 415955 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 7 0 0 0
[pid=26962/tid=26972] ppid=26960 vsize=10556692 CPUtime=1.18 cores=1,3,5,7
/proc/26962/task/26972/stat : 26972 (java) S 26960 26962 26457 0 -1 4202560 885 0 0 0 118 0 0 0 15 0 22 0 831186325 10810052608 415955 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 7 0 0 0
[pid=26962/tid=26973] ppid=26960 vsize=10556692 CPUtime=100.47 cores=1,3,5,7
/proc/26962/task/26973/stat : 26973 (java) S 26960 26962 26457 0 -1 4202560 51079 0 0 0 10040 7 0 0 15 0 22 0 831186327 10810052608 415955 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606683136 0 0 0 16800975 18446604459465001152 0 0 -1 3 0 0 0
[pid=26962/tid=26974] ppid=26960 vsize=10556692 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26974/stat : 26974 (java) S 26960 26962 26457 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831186327 10810052608 415955 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 1 0 0 0
[pid=26962/tid=26975] ppid=26960 vsize=10556692 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26975/stat : 26975 (java) S 26960 26962 26457 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 831186327 10810052608 415955 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 1 0 0 0
[pid=26962/tid=26976] ppid=26960 vsize=10556692 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26976/stat : 26976 (java) S 26960 26962 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831186329 10810052608 415955 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606690225 0 4 0 16800975 18446604459465001152 0 0 -1 1 0 0 0
[pid=26962/tid=26977] ppid=26960 vsize=10556692 CPUtime=1.52 cores=1,3,5,7
/proc/26962/task/26977/stat : 26977 (java) S 26960 26962 26457 0 -1 4202560 13944 0 0 0 151 1 0 0 15 0 22 0 831186329 10810052608 415955 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 5 0 0 0
[pid=26962/tid=26978] ppid=26960 vsize=10556692 CPUtime=1.32 cores=1,3,5,7
/proc/26962/task/26978/stat : 26978 (java) S 26960 26962 26457 0 -1 4202560 7682 0 0 0 131 1 0 0 15 0 22 0 831186329 10810052608 415955 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 3 0 0 0
[pid=26962/tid=26979] ppid=26960 vsize=10556692 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26979/stat : 26979 (java) S 26960 26962 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831186329 10810052608 415955 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606682521 0 4 0 16800975 18446604459465001152 0 0 -1 1 0 0 0
[pid=26962/tid=26980] ppid=26960 vsize=10556692 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26980/stat : 26980 (java) S 26960 26962 26457 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 831186329 10810052608 415955 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606683136 0 4 0 16800975 18446604459465001152 0 0 -1 1 0 0 0
[pid=26962/tid=26981] ppid=26960 vsize=10556692 CPUtime=843.42 cores=1,3,5,7
/proc/26962/task/26981/stat : 26981 (java) R 26960 26962 26457 0 -1 4202560 1966 0 0 0 84341 1 0 0 25 0 22 0 831186368 10810052608 415955 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 46912505829628 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=26962/tid=26982] ppid=26960 vsize=10556692 CPUtime=843.37 cores=1,3,5,7
/proc/26962/task/26982/stat : 26982 (java) R 26960 26962 26457 0 -1 4202560 333478 0 0 0 84297 40 0 0 25 0 22 0 831186368 10810052608 415955 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 46912505938745 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26962/tid=26983] ppid=26960 vsize=10556692 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26983/stat : 26983 (java) S 26960 26962 26457 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831186369 10810052608 415955 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606683136 0 4 0 16800975 18446604459465001152 0 0 -1 1 0 0 0
[pid=26962/tid=26984] ppid=26960 vsize=10556692 CPUtime=0 cores=1,3,5,7
/proc/26962/task/26984/stat : 26984 (java) S 26960 26962 26457 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831186369 10810052608 415955 33554432000 1073741824 1073778376 140734254149440 18446744073709551615 235606683136 0 4 0 16800975 18446604459465001152 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 10556692
Child status: 143
Real time (s): 947.397
CPU time (s): 1800.25
CPU user time (s): 1799.59
CPU system time (s): 0.668898
CPU usage (%): 190.021
Max. virtual memory (cumulated for all children) (KiB): 10561972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.668898
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 431908
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= 32371
involuntary context switches= 21000
runsolver used 4.5763 second user time and 10.0975 second system time
The end