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-3453939-1307194568/watcher-3453939-1307194568 -o /tmp/evaluation-result-3453939-1307194568/solver-3453939-1307194568 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453939-1307194568.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.83 3.74 3.62 3/485 18779
/proc/meminfo: memFree=26634144/32950928 swapFree=45617076/67111528
[pid=18779] ppid=18777 vsize=35820 CPUtime=0 cores=1,3,5,7
/proc/18779/stat : 18779 (java) S 18777 18779 13462 0 -1 4202496 1363 0 1 0 0 0 0 0 25 0 2 0 831056597 36679680 1066 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101500901 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/18779/statm: 8955 1066 828 9 0 386 0
[pid=18779/tid=18780] ppid=18777 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18780/stat : 18780 (java) R 18777 18779 13462 0 -1 4202560 3329 0 1 0 0 0 0 0 25 0 2 0 831056597 10694979584 4145 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248089392187 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.0449689 s]
/proc/loadavg: 3.83 3.74 3.62 3/485 18779
/proc/meminfo: memFree=26634144/32950928 swapFree=45617076/67111528
[pid=18779] ppid=18777 vsize=10467480 CPUtime=0.02 cores=1,3,5,7
/proc/18779/stat : 18779 (java) S 18777 18779 13462 0 -1 4202496 11104 0 1 0 1 1 0 0 25 0 13 0 831056597 10718699520 10802 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101500901 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/18779/statm: 2616870 10802 1638 9 0 2607618 0
[pid=18779/tid=18780] ppid=18777 vsize=10467480 CPUtime=0.02 cores=1,3,5,7
/proc/18779/task/18780/stat : 18780 (java) S 18777 18779 13462 0 -1 4202560 9956 0 1 0 1 1 0 0 25 0 13 0 831056597 10718699520 10802 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248089718342 0 4 0 16784584 4517372659775832064 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10467480
[startup+0.103033 s]
/proc/loadavg: 3.83 3.74 3.62 3/485 18779
/proc/meminfo: memFree=26634144/32950928 swapFree=45617076/67111528
[pid=18779] ppid=18777 vsize=10539952 CPUtime=0.1 cores=1,3,5,7
/proc/18779/stat : 18779 (java) S 18777 18779 13462 0 -1 4202496 12955 0 1 0 8 2 0 0 25 0 18 0 831056597 10792910848 12620 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18779/statm: 2634988 12623 2086 9 0 2625722 0
[pid=18779/tid=18780] ppid=18777 vsize=10539952 CPUtime=0.07 cores=1,3,5,7
/proc/18779/task/18780/stat : 18780 (java) R 18777 18779 13462 0 -1 4202560 11020 0 1 0 6 1 0 0 25 0 18 0 831056597 10792910848 12625 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 47095872150467 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539952
[startup+0.300895 s]
/proc/loadavg: 3.83 3.74 3.62 3/485 18779
/proc/meminfo: memFree=26634144/32950928 swapFree=45617076/67111528
[pid=18779] ppid=18777 vsize=10541672 CPUtime=0.44 cores=1,3,5,7
/proc/18779/stat : 18779 (java) S 18777 18779 13462 0 -1 4202496 15581 0 1 0 42 2 0 0 25 0 18 0 831056597 10794672128 14987 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18779/statm: 2635418 14988 2206 9 0 2626152 0
[pid=18779/tid=18780] ppid=18777 vsize=10541672 CPUtime=0.27 cores=1,3,5,7
/proc/18779/task/18780/stat : 18780 (java) R 18777 18779 13462 0 -1 4202560 12625 0 1 0 26 1 0 0 25 0 18 0 831056597 10794672128 14988 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 46912505574577 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 10541672
[startup+0.700821 s]
/proc/loadavg: 3.83 3.74 3.62 3/485 18779
/proc/meminfo: memFree=26634144/32950928 swapFree=45617076/67111528
[pid=18779] ppid=18777 vsize=10549444 CPUtime=1.06 cores=1,3,5,7
/proc/18779/stat : 18779 (java) S 18777 18779 13462 0 -1 4202496 21482 0 1 0 103 3 0 0 25 0 19 0 831056597 10802630656 18802 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18779/statm: 2637361 18802 2232 9 0 2628095 0
[pid=18779/tid=18780] ppid=18777 vsize=10549444 CPUtime=0.37 cores=1,3,5,7
/proc/18779/task/18780/stat : 18780 (java) S 18777 18779 13462 0 -1 4202560 14133 0 1 0 35 2 0 0 25 0 19 0 831056597 10802630656 18802 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514752 0 4 0 16800975 18446604460504320000 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 10549444
[startup+1.50068 s]
/proc/loadavg: 3.84 3.74 3.62 5/504 18804
/proc/meminfo: memFree=26562384/32950928 swapFree=45617076/67111528
[pid=18779] ppid=18777 vsize=10557504 CPUtime=1.8 cores=1,3,5,7
/proc/18779/stat : 18779 (java) S 18777 18779 13462 0 -1 4202496 28334 0 1 0 177 3 0 0 25 0 22 0 831056597 10810884096 23710 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18779/statm: 2639376 23710 2240 9 0 2630110 0
[pid=18779/tid=18780] ppid=18777 vsize=10557504 CPUtime=0.38 cores=1,3,5,7
/proc/18779/task/18780/stat : 18780 (java) S 18777 18779 13462 0 -1 4202560 14195 0 1 0 36 2 0 0 17 0 22 0 831056597 10810884096 23710 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514752 0 4 0 16800975 18446604460504320000 0 0 -1 1 0 0 0
[pid=18779/tid=18782] ppid=18777 vsize=10557504 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18782/stat : 18782 (java) S 18777 18779 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831056599 10810884096 23710 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 7 0 0 0
[pid=18779/tid=18783] ppid=18777 vsize=10557504 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18783/stat : 18783 (java) S 18777 18779 13462 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 831056599 10810884096 23710 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 7 0 0 0
[pid=18779/tid=18784] ppid=18777 vsize=10557504 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18784/stat : 18784 (java) S 18777 18779 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831056599 10810884096 23710 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 7 0 0 0
[pid=18779/tid=18785] ppid=18777 vsize=10557504 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18785/stat : 18785 (java) S 18777 18779 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831056599 10810884096 23710 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 7 0 0 0
[pid=18779/tid=18786] ppid=18777 vsize=10557504 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18786/stat : 18786 (java) S 18777 18779 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831056599 10810884096 23710 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 7 0 0 0
[pid=18779/tid=18787] ppid=18777 vsize=10557504 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18787/stat : 18787 (java) S 18777 18779 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831056599 10810884096 23710 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 7 0 0 0
[pid=18779/tid=18788] ppid=18777 vsize=10557504 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18788/stat : 18788 (java) S 18777 18779 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831056599 10810884096 23710 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 7 0 0 0
[pid=18779/tid=18789] ppid=18777 vsize=10557504 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18789/stat : 18789 (java) S 18777 18779 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831056599 10810884096 23710 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 7 0 0 0
[pid=18779/tid=18790] ppid=18777 vsize=10557504 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18790/stat : 18790 (java) S 18777 18779 13462 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 831056600 10810884096 23710 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514752 0 0 0 16800975 18446604460504320000 0 0 -1 5 0 0 0
[pid=18779/tid=18791] ppid=18777 vsize=10557504 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18791/stat : 18791 (java) S 18777 18779 13462 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 831056601 10810884096 23710 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 5 0 0 0
[pid=18779/tid=18792] ppid=18777 vsize=10557504 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18792/stat : 18792 (java) S 18777 18779 13462 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831056601 10810884096 23710 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 5 0 0 0
[pid=18779/tid=18793] ppid=18777 vsize=10557504 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18793/stat : 18793 (java) S 18777 18779 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831056604 10810884096 23710 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101521841 0 4 0 16800975 18446604460504320000 0 0 -1 5 0 0 0
[pid=18779/tid=18794] ppid=18777 vsize=10557504 CPUtime=0.52 cores=1,3,5,7
/proc/18779/task/18794/stat : 18794 (java) R 18777 18779 13462 0 -1 4202560 4309 0 0 0 52 0 0 0 18 0 22 0 831056604 10810884096 23710 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 47095875022395 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18779/tid=18795] ppid=18777 vsize=10557504 CPUtime=0.48 cores=1,3,5,7
/proc/18779/task/18795/stat : 18795 (java) R 18777 18779 13462 0 -1 4202560 5563 0 0 0 48 0 0 0 19 0 22 0 831056604 10810884096 23710 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 47095871872160 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18779/tid=18796] ppid=18777 vsize=10557504 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18796/stat : 18796 (java) S 18777 18779 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831056604 10810884096 23710 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 5 0 0 0
[pid=18779/tid=18797] ppid=18777 vsize=10557504 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18797/stat : 18797 (java) S 18777 18779 13462 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831056604 10810884096 23710 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514752 0 4 0 16800975 18446604460504320000 0 0 -1 5 0 0 0
[pid=18779/tid=18800] ppid=18777 vsize=10557504 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18800/stat : 18800 (java) S 18777 18779 13462 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831056638 10810884096 23710 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514752 0 4 0 16800975 18446604460504320000 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.8
Current children cumulated vsize (KiB) 10557504
[startup+3.1014 s]
/proc/loadavg: 3.84 3.74 3.62 5/507 18810
/proc/meminfo: memFree=26459996/32950928 swapFree=45617076/67111528
[pid=18779] ppid=18777 vsize=10559408 CPUtime=5.24 cores=1,3,5,7
/proc/18779/stat : 18779 (java) S 18777 18779 13462 0 -1 4202496 102595 0 1 0 511 13 0 0 25 0 22 0 831056597 10812833792 97447 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18779/statm: 2639852 97447 2270 9 0 2630586 0
[pid=18779/tid=18780] ppid=18777 vsize=10559408 CPUtime=0.38 cores=1,3,5,7
/proc/18779/task/18780/stat : 18780 (java) S 18777 18779 13462 0 -1 4202560 14216 0 1 0 36 2 0 0 15 0 22 0 831056597 10812833792 97447 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514752 0 4 0 16800975 18446604460504320000 0 0 -1 7 0 0 0
[pid=18779/tid=18782] ppid=18777 vsize=10559408 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18782/stat : 18782 (java) S 18777 18779 13462 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831056599 10812833792 97447 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 7 0 0 0
[pid=18779/tid=18783] ppid=18777 vsize=10559408 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18783/stat : 18783 (java) S 18777 18779 13462 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 831056599 10812833792 97447 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 7 0 0 0
[pid=18779/tid=18784] ppid=18777 vsize=10559408 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18784/stat : 18784 (java) S 18777 18779 13462 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831056599 10812833792 97447 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 7 0 0 0
[pid=18779/tid=18785] ppid=18777 vsize=10559408 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18785/stat : 18785 (java) S 18777 18779 13462 0 -1 4202560 355 0 0 0 0 0 0 0 18 0 22 0 831056599 10812833792 97447 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 5 0 0 0
[pid=18779/tid=18786] ppid=18777 vsize=10559408 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18786/stat : 18786 (java) S 18777 18779 13462 0 -1 4202560 57 0 0 0 0 0 0 0 18 0 22 0 831056599 10812833792 97447 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 5 0 0 0
[pid=18779/tid=18787] ppid=18777 vsize=10559408 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18787/stat : 18787 (java) S 18777 18779 13462 0 -1 4202560 704 0 0 0 0 0 0 0 18 0 22 0 831056599 10812833792 97447 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 1 0 0 0
[pid=18779/tid=18788] ppid=18777 vsize=10559408 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18788/stat : 18788 (java) S 18777 18779 13462 0 -1 4202560 612 0 0 0 0 0 0 0 18 0 22 0 831056599 10812833792 97447 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 5 0 0 0
[pid=18779/tid=18789] ppid=18777 vsize=10559408 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18789/stat : 18789 (java) S 18777 18779 13462 0 -1 4202560 835 0 0 0 0 0 0 0 18 0 22 0 831056599 10812833792 97447 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 7 0 0 0
[pid=18779/tid=18790] ppid=18777 vsize=10559408 CPUtime=0.03 cores=1,3,5,7
/proc/18779/task/18790/stat : 18790 (java) S 18777 18779 13462 0 -1 4202560 2548 0 0 0 3 0 0 0 15 0 22 0 831056600 10812833792 97447 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514752 0 0 0 16800975 18446604460504320000 0 0 -1 3 0 0 0
[pid=18779/tid=18791] ppid=18777 vsize=10559408 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18791/stat : 18791 (java) S 18777 18779 13462 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831056601 10812833792 97447 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 3 0 0 0
[pid=18779/tid=18792] ppid=18777 vsize=10559408 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18792/stat : 18792 (java) S 18777 18779 13462 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 831056601 10812833792 97447 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 5 0 0 0
[pid=18779/tid=18793] ppid=18777 vsize=10559408 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18793/stat : 18793 (java) S 18777 18779 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831056604 10812833792 97447 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101521841 0 4 0 16800975 18446604460504320000 0 0 -1 5 0 0 0
[pid=18779/tid=18794] ppid=18777 vsize=10559408 CPUtime=0.8 cores=1,3,5,7
/proc/18779/task/18794/stat : 18794 (java) S 18777 18779 13462 0 -1 4202560 6437 0 0 0 79 1 0 0 15 0 22 0 831056604 10812833792 97447 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 3 0 0 0
[pid=18779/tid=18795] ppid=18777 vsize=10559408 CPUtime=0.84 cores=1,3,5,7
/proc/18779/task/18795/stat : 18795 (java) S 18777 18779 13462 0 -1 4202560 6263 0 0 0 84 0 0 0 15 0 22 0 831056604 10812833792 97447 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 5 0 0 0
[pid=18779/tid=18796] ppid=18777 vsize=10559408 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18796/stat : 18796 (java) S 18777 18779 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831056604 10812833792 97447 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 5 0 0 0
[pid=18779/tid=18797] ppid=18777 vsize=10559408 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18797/stat : 18797 (java) S 18777 18779 13462 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831056604 10812833792 97447 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514752 0 4 0 16800975 18446604460504320000 0 0 -1 1 0 0 0
[pid=18779/tid=18800] ppid=18777 vsize=10559408 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18800/stat : 18800 (java) S 18777 18779 13462 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831056638 10812833792 97447 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514752 0 4 0 16800975 18446604460504320000 0 0 -1 5 0 0 0
[pid=18779/tid=18808] ppid=18777 vsize=10559408 CPUtime=1.12 cores=1,3,5,7
/proc/18779/task/18808/stat : 18808 (java) R 18777 18779 13462 0 -1 4202560 699 0 0 0 112 0 0 0 17 0 22 0 831056789 10812833792 97447 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 46912505822714 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18779/tid=18809] ppid=18777 vsize=10559408 CPUtime=1.11 cores=1,3,5,7
/proc/18779/task/18809/stat : 18809 (java) R 18777 18779 13462 0 -1 4202560 56202 0 0 0 105 6 0 0 19 0 22 0 831056789 10812833792 97447 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 46912505898322 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=18779/tid=18810] ppid=18777 vsize=10559408 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18810/stat : 18810 (java) S 18777 18779 13462 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 831056789 10812833792 97447 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514752 0 4 0 16800975 18446604460504320000 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.24
Current children cumulated vsize (KiB) 10559408
[startup+6.30084 s]
/proc/loadavg: 3.85 3.75 3.62 5/507 18810
/proc/meminfo: memFree=26105216/32950928 swapFree=45617076/67111528
[pid=18779] ppid=18777 vsize=10559408 CPUtime=11.65 cores=1,3,5,7
/proc/18779/stat : 18779 (java) S 18777 18779 13462 0 -1 4202496 142205 0 1 0 1148 17 0 0 25 0 22 0 831056597 10812833792 137043 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18779/statm: 2639852 137043 2270 9 0 2630586 0
[pid=18779/tid=18780] ppid=18777 vsize=10559408 CPUtime=0.38 cores=1,3,5,7
/proc/18779/task/18780/stat : 18780 (java) S 18777 18779 13462 0 -1 4202560 14216 0 1 0 36 2 0 0 15 0 22 0 831056597 10812833792 137043 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514752 0 4 0 16800975 18446604460504320000 0 0 -1 7 0 0 0
[pid=18779/tid=18782] ppid=18777 vsize=10559408 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18782/stat : 18782 (java) S 18777 18779 13462 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 22 0 831056599 10812833792 137043 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 7 0 0 0
[pid=18779/tid=18783] ppid=18777 vsize=10559408 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18783/stat : 18783 (java) S 18777 18779 13462 0 -1 4202560 428 0 0 0 0 0 0 0 15 0 22 0 831056599 10812833792 137043 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 7 0 0 0
[pid=18779/tid=18784] ppid=18777 vsize=10559408 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18784/stat : 18784 (java) S 18777 18779 13462 0 -1 4202560 20 0 0 0 0 0 0 0 16 0 22 0 831056599 10812833792 137043 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 5 0 0 0
[pid=18779/tid=18785] ppid=18777 vsize=10559408 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18785/stat : 18785 (java) S 18777 18779 13462 0 -1 4202560 355 0 0 0 0 0 0 0 15 0 22 0 831056599 10812833792 137043 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 5 0 0 0
[pid=18779/tid=18786] ppid=18777 vsize=10559408 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18786/stat : 18786 (java) S 18777 18779 13462 0 -1 4202560 451 0 0 0 0 0 0 0 15 0 22 0 831056599 10812833792 137043 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 5 0 0 0
[pid=18779/tid=18787] ppid=18777 vsize=10559408 CPUtime=0.01 cores=1,3,5,7
/proc/18779/task/18787/stat : 18787 (java) S 18777 18779 13462 0 -1 4202560 1109 0 0 0 1 0 0 0 15 0 22 0 831056599 10812833792 137043 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 1 0 0 0
[pid=18779/tid=18788] ppid=18777 vsize=10559408 CPUtime=0.01 cores=1,3,5,7
/proc/18779/task/18788/stat : 18788 (java) S 18777 18779 13462 0 -1 4202560 808 0 0 0 1 0 0 0 18 0 22 0 831056599 10812833792 137043 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 5 0 0 0
[pid=18779/tid=18789] ppid=18777 vsize=10559408 CPUtime=0.01 cores=1,3,5,7
/proc/18779/task/18789/stat : 18789 (java) S 18777 18779 13462 0 -1 4202560 846 0 0 0 1 0 0 0 16 0 22 0 831056599 10812833792 137043 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 7 0 0 0
[pid=18779/tid=18790] ppid=18777 vsize=10559408 CPUtime=0.19 cores=1,3,5,7
/proc/18779/task/18790/stat : 18790 (java) S 18777 18779 13462 0 -1 4202560 4789 0 0 0 19 0 0 0 16 0 22 0 831056600 10812833792 137043 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514752 0 0 0 16800975 18446604460504320000 0 0 -1 7 0 0 0
[pid=18779/tid=18791] ppid=18777 vsize=10559408 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18791/stat : 18791 (java) S 18777 18779 13462 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831056601 10812833792 137043 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 3 0 0 0
[pid=18779/tid=18792] ppid=18777 vsize=10559408 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18792/stat : 18792 (java) S 18777 18779 13462 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 831056601 10812833792 137043 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 5 0 0 0
################
# More data... #
################
[pid=18779/tid=18812] ppid=18777 vsize=10559408 CPUtime=633.75 cores=1,3,5,7
/proc/18779/task/18812/stat : 18812 (java) R 18777 18779 13462 0 -1 4202560 260 0 0 0 63374 1 0 0 25 0 22 0 831063401 10812833792 185279 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 46912505702427 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18779/tid=18813] ppid=18777 vsize=10559408 CPUtime=633.75 cores=1,3,5,7
/proc/18779/task/18813/stat : 18813 (java) R 18777 18779 13462 0 -1 4202560 11634 0 0 0 63374 1 0 0 25 0 22 0 831063401 10812833792 185279 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 46912505806603 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18779/tid=18814] ppid=18777 vsize=10559408 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18814/stat : 18814 (java) S 18777 18779 13462 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 831063402 10812833792 185279 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514752 0 4 0 16800975 18446604460504320000 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1462.67
Current children cumulated vsize (KiB) 10559408
[startup+822.301 s]
/proc/loadavg: 2.68 3.58 3.68 3/480 18855
/proc/meminfo: memFree=29267120/32950928 swapFree=45617076/67111528
[pid=18779] ppid=18777 vsize=10559408 CPUtime=1576.55 cores=1,3,5,7
/proc/18779/stat : 18779 (java) S 18777 18779 13462 0 -1 4202496 192249 0 1 0 157627 28 0 0 25 0 22 0 831056597 10812833792 186668 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18779/statm: 2639852 186668 2271 9 0 2630586 0
[pid=18779/tid=18780] ppid=18777 vsize=10559408 CPUtime=0.38 cores=1,3,5,7
/proc/18779/task/18780/stat : 18780 (java) S 18777 18779 13462 0 -1 4202560 14222 0 1 0 36 2 0 0 15 0 22 0 831056597 10812833792 186668 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514752 0 4 0 16800975 18446604460504320000 0 0 -1 7 0 0 0
[pid=18779/tid=18782] ppid=18777 vsize=10559408 CPUtime=0.93 cores=1,3,5,7
/proc/18779/task/18782/stat : 18782 (java) S 18777 18779 13462 0 -1 4202560 235 0 0 0 93 0 0 0 16 0 22 0 831056599 10812833792 186668 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 3 0 0 0
[pid=18779/tid=18783] ppid=18777 vsize=10559408 CPUtime=0.91 cores=1,3,5,7
/proc/18779/task/18783/stat : 18783 (java) S 18777 18779 13462 0 -1 4202560 480 0 0 0 91 0 0 0 16 0 22 0 831056599 10812833792 186668 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 7 0 0 0
[pid=18779/tid=18784] ppid=18777 vsize=10559408 CPUtime=0.95 cores=1,3,5,7
/proc/18779/task/18784/stat : 18784 (java) S 18777 18779 13462 0 -1 4202560 82 0 0 0 95 0 0 0 16 0 22 0 831056599 10812833792 186668 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 7 0 0 0
[pid=18779/tid=18785] ppid=18777 vsize=10559408 CPUtime=0.92 cores=1,3,5,7
/proc/18779/task/18785/stat : 18785 (java) S 18777 18779 13462 0 -1 4202560 406 0 0 0 92 0 0 0 15 0 22 0 831056599 10812833792 186668 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 7 0 0 0
[pid=18779/tid=18786] ppid=18777 vsize=10559408 CPUtime=0.91 cores=1,3,5,7
/proc/18779/task/18786/stat : 18786 (java) S 18777 18779 13462 0 -1 4202560 668 0 0 0 91 0 0 0 15 0 22 0 831056599 10812833792 186668 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 3 0 0 0
[pid=18779/tid=18787] ppid=18777 vsize=10559408 CPUtime=1 cores=1,3,5,7
/proc/18779/task/18787/stat : 18787 (java) S 18777 18779 13462 0 -1 4202560 1164 0 0 0 100 0 0 0 15 0 22 0 831056599 10812833792 186668 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 7 0 0 0
[pid=18779/tid=18788] ppid=18777 vsize=10559408 CPUtime=0.94 cores=1,3,5,7
/proc/18779/task/18788/stat : 18788 (java) S 18777 18779 13462 0 -1 4202560 1008 0 0 0 94 0 0 0 15 0 22 0 831056599 10812833792 186668 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 7 0 0 0
[pid=18779/tid=18789] ppid=18777 vsize=10559408 CPUtime=0.9 cores=1,3,5,7
/proc/18779/task/18789/stat : 18789 (java) S 18777 18779 13462 0 -1 4202560 1015 0 0 0 90 0 0 0 16 0 22 0 831056599 10812833792 186668 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 1 0 0 0
[pid=18779/tid=18790] ppid=18777 vsize=10559408 CPUtime=69.1 cores=1,3,5,7
/proc/18779/task/18790/stat : 18790 (java) S 18777 18779 13462 0 -1 4202560 33407 0 0 0 6905 5 0 0 15 0 22 0 831056600 10812833792 186668 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514752 0 0 0 16800975 18446604460504320000 0 0 -1 5 0 0 0
[pid=18779/tid=18791] ppid=18777 vsize=10559408 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18791/stat : 18791 (java) S 18777 18779 13462 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831056601 10812833792 186668 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 7 0 0 0
[pid=18779/tid=18792] ppid=18777 vsize=10559408 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18792/stat : 18792 (java) S 18777 18779 13462 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 831056601 10812833792 186668 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 5 0 0 0
[pid=18779/tid=18793] ppid=18777 vsize=10559408 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18793/stat : 18793 (java) S 18777 18779 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831056604 10812833792 186668 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101521841 0 4 0 16800975 18446604460504320000 0 0 -1 5 0 0 0
[pid=18779/tid=18794] ppid=18777 vsize=10559408 CPUtime=0.86 cores=1,3,5,7
/proc/18779/task/18794/stat : 18794 (java) S 18777 18779 13462 0 -1 4202560 6443 0 0 0 85 1 0 0 15 0 22 0 831056604 10812833792 186668 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 3 0 0 0
[pid=18779/tid=18795] ppid=18777 vsize=10559408 CPUtime=1.04 cores=1,3,5,7
/proc/18779/task/18795/stat : 18795 (java) S 18777 18779 13462 0 -1 4202560 6287 0 0 0 104 0 0 0 15 0 22 0 831056604 10812833792 186668 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 5 0 0 0
[pid=18779/tid=18796] ppid=18777 vsize=10559408 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18796/stat : 18796 (java) S 18777 18779 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831056604 10812833792 186668 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 5 0 0 0
[pid=18779/tid=18797] ppid=18777 vsize=10559408 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18797/stat : 18797 (java) S 18777 18779 13462 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 22 0 831056604 10812833792 186668 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514752 0 4 0 16800975 18446604460504320000 0 0 -1 3 0 0 0
[pid=18779/tid=18800] ppid=18777 vsize=10559408 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18800/stat : 18800 (java) S 18777 18779 13462 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831056638 10812833792 186668 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514752 0 4 0 16800975 18446604460504320000 0 0 -1 5 0 0 0
[pid=18779/tid=18812] ppid=18777 vsize=10559408 CPUtime=687.17 cores=1,3,5,7
/proc/18779/task/18812/stat : 18812 (java) R 18777 18779 13462 0 -1 4202560 281 0 0 0 68716 1 0 0 25 0 22 0 831063401 10812833792 186668 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 46912505710456 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18779/tid=18813] ppid=18777 vsize=10559408 CPUtime=687.18 cores=1,3,5,7
/proc/18779/task/18813/stat : 18813 (java) R 18777 18779 13462 0 -1 4202560 11634 0 0 0 68717 1 0 0 25 0 22 0 831063401 10812833792 186668 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 46912505873405 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18779/tid=18814] ppid=18777 vsize=10559408 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18814/stat : 18814 (java) S 18777 18779 13462 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 831063402 10812833792 186668 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514752 0 4 0 16800975 18446604460504320000 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1576.55
Current children cumulated vsize (KiB) 10559408
[startup+882.301 s]
/proc/loadavg: 2.26 3.29 3.57 3/480 18856
/proc/meminfo: memFree=29261508/32950928 swapFree=45617076/67111528
[pid=18779] ppid=18777 vsize=10559408 CPUtime=1690.56 cores=1,3,5,7
/proc/18779/stat : 18779 (java) S 18777 18779 13462 0 -1 4202496 193635 0 1 0 169028 28 0 0 25 0 22 0 831056597 10812833792 188024 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18779/statm: 2639852 188024 2271 9 0 2630586 0
[pid=18779/tid=18780] ppid=18777 vsize=10559408 CPUtime=0.38 cores=1,3,5,7
/proc/18779/task/18780/stat : 18780 (java) S 18777 18779 13462 0 -1 4202560 14222 0 1 0 36 2 0 0 15 0 22 0 831056597 10812833792 188024 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514752 0 4 0 16800975 18446604460504320000 0 0 -1 3 0 0 0
[pid=18779/tid=18782] ppid=18777 vsize=10559408 CPUtime=1.01 cores=1,3,5,7
/proc/18779/task/18782/stat : 18782 (java) S 18777 18779 13462 0 -1 4202560 237 0 0 0 101 0 0 0 16 0 22 0 831056599 10812833792 188024 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 7 0 0 0
[pid=18779/tid=18783] ppid=18777 vsize=10559408 CPUtime=0.98 cores=1,3,5,7
/proc/18779/task/18783/stat : 18783 (java) S 18777 18779 13462 0 -1 4202560 480 0 0 0 98 0 0 0 15 0 22 0 831056599 10812833792 188024 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 7 0 0 0
[pid=18779/tid=18784] ppid=18777 vsize=10559408 CPUtime=1.03 cores=1,3,5,7
/proc/18779/task/18784/stat : 18784 (java) S 18777 18779 13462 0 -1 4202560 86 0 0 0 103 0 0 0 16 0 22 0 831056599 10812833792 188024 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 7 0 0 0
[pid=18779/tid=18785] ppid=18777 vsize=10559408 CPUtime=0.97 cores=1,3,5,7
/proc/18779/task/18785/stat : 18785 (java) S 18777 18779 13462 0 -1 4202560 410 0 0 0 97 0 0 0 15 0 22 0 831056599 10812833792 188024 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 3 0 0 0
[pid=18779/tid=18786] ppid=18777 vsize=10559408 CPUtime=0.98 cores=1,3,5,7
/proc/18779/task/18786/stat : 18786 (java) S 18777 18779 13462 0 -1 4202560 670 0 0 0 98 0 0 0 15 0 22 0 831056599 10812833792 188024 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 1 0 0 0
[pid=18779/tid=18787] ppid=18777 vsize=10559408 CPUtime=1.11 cores=1,3,5,7
/proc/18779/task/18787/stat : 18787 (java) S 18777 18779 13462 0 -1 4202560 1171 0 0 0 111 0 0 0 15 0 22 0 831056599 10812833792 188024 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 7 0 0 0
[pid=18779/tid=18788] ppid=18777 vsize=10559408 CPUtime=1.04 cores=1,3,5,7
/proc/18779/task/18788/stat : 18788 (java) S 18777 18779 13462 0 -1 4202560 1008 0 0 0 104 0 0 0 16 0 22 0 831056599 10812833792 188024 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 1 0 0 0
[pid=18779/tid=18789] ppid=18777 vsize=10559408 CPUtime=0.99 cores=1,3,5,7
/proc/18779/task/18789/stat : 18789 (java) S 18777 18779 13462 0 -1 4202560 1019 0 0 0 99 0 0 0 16 0 22 0 831056599 10812833792 188024 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 3 0 0 0
[pid=18779/tid=18790] ppid=18777 vsize=10559408 CPUtime=75.37 cores=1,3,5,7
/proc/18779/task/18790/stat : 18790 (java) S 18777 18779 13462 0 -1 4202560 34744 0 0 0 7532 5 0 0 15 0 22 0 831056600 10812833792 188024 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514752 0 0 0 16800975 18446604460504320000 0 0 -1 5 0 0 0
[pid=18779/tid=18791] ppid=18777 vsize=10559408 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18791/stat : 18791 (java) S 18777 18779 13462 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831056601 10812833792 188024 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 7 0 0 0
[pid=18779/tid=18792] ppid=18777 vsize=10559408 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18792/stat : 18792 (java) S 18777 18779 13462 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 831056601 10812833792 188024 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 5 0 0 0
[pid=18779/tid=18793] ppid=18777 vsize=10559408 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18793/stat : 18793 (java) S 18777 18779 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831056604 10812833792 188024 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101521841 0 4 0 16800975 18446604460504320000 0 0 -1 5 0 0 0
[pid=18779/tid=18794] ppid=18777 vsize=10559408 CPUtime=0.86 cores=1,3,5,7
/proc/18779/task/18794/stat : 18794 (java) S 18777 18779 13462 0 -1 4202560 6443 0 0 0 85 1 0 0 15 0 22 0 831056604 10812833792 188024 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 3 0 0 0
[pid=18779/tid=18795] ppid=18777 vsize=10559408 CPUtime=1.04 cores=1,3,5,7
/proc/18779/task/18795/stat : 18795 (java) S 18777 18779 13462 0 -1 4202560 6287 0 0 0 104 0 0 0 15 0 22 0 831056604 10812833792 188024 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 5 0 0 0
[pid=18779/tid=18796] ppid=18777 vsize=10559408 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18796/stat : 18796 (java) S 18777 18779 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831056604 10812833792 188024 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 5 0 0 0
[pid=18779/tid=18797] ppid=18777 vsize=10559408 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18797/stat : 18797 (java) S 18777 18779 13462 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 831056604 10812833792 188024 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514752 0 4 0 16800975 18446604460504320000 0 0 -1 3 0 0 0
[pid=18779/tid=18800] ppid=18777 vsize=10559408 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18800/stat : 18800 (java) S 18777 18779 13462 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831056638 10812833792 188024 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514752 0 4 0 16800975 18446604460504320000 0 0 -1 5 0 0 0
[pid=18779/tid=18812] ppid=18777 vsize=10559408 CPUtime=740.73 cores=1,3,5,7
/proc/18779/task/18812/stat : 18812 (java) R 18777 18779 13462 0 -1 4202560 303 0 0 0 74072 1 0 0 25 0 22 0 831063401 10812833792 188024 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 46912505876724 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18779/tid=18813] ppid=18777 vsize=10559408 CPUtime=740.73 cores=1,3,5,7
/proc/18779/task/18813/stat : 18813 (java) R 18777 18779 13462 0 -1 4202560 11634 0 0 0 74072 1 0 0 25 0 22 0 831063401 10812833792 188024 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 46912505806619 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18779/tid=18814] ppid=18777 vsize=10559408 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18814/stat : 18814 (java) S 18777 18779 13462 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 831063402 10812833792 188024 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514752 0 4 0 16800975 18446604460504320000 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1690.56
Current children cumulated vsize (KiB) 10559408
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+939.801 s]
/proc/loadavg: 2.06 3.06 3.47 3/480 18858
/proc/meminfo: memFree=29258844/32950928 swapFree=45617076/67111528
[pid=18779] ppid=18777 vsize=10557348 CPUtime=1800.11 cores=1,3,5,7
/proc/18779/stat : 18779 (java) S 18777 18779 13462 0 -1 4202496 194983 0 1 0 179982 29 0 0 25 0 22 0 831056597 10810724352 188573 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18779/statm: 2639337 188573 2271 9 0 2630071 0
[pid=18779/tid=18780] ppid=18777 vsize=10557348 CPUtime=0.38 cores=1,3,5,7
/proc/18779/task/18780/stat : 18780 (java) S 18777 18779 13462 0 -1 4202560 14222 0 1 0 36 2 0 0 15 0 22 0 831056597 10810724352 188573 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514752 0 4 0 16800975 18446604460504320000 0 0 -1 3 0 0 0
[pid=18779/tid=18782] ppid=18777 vsize=10557348 CPUtime=1.1 cores=1,3,5,7
/proc/18779/task/18782/stat : 18782 (java) S 18777 18779 13462 0 -1 4202560 246 0 0 0 110 0 0 0 16 0 22 0 831056599 10810724352 188573 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 7 0 0 0
[pid=18779/tid=18783] ppid=18777 vsize=10557348 CPUtime=1.06 cores=1,3,5,7
/proc/18779/task/18783/stat : 18783 (java) S 18777 18779 13462 0 -1 4202560 485 0 0 0 106 0 0 0 16 0 22 0 831056599 10810724352 188573 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 1 0 0 0
[pid=18779/tid=18784] ppid=18777 vsize=10557348 CPUtime=1.11 cores=1,3,5,7
/proc/18779/task/18784/stat : 18784 (java) S 18777 18779 13462 0 -1 4202560 88 0 0 0 111 0 0 0 16 0 22 0 831056599 10810724352 188573 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 1 0 0 0
[pid=18779/tid=18785] ppid=18777 vsize=10557348 CPUtime=1.06 cores=1,3,5,7
/proc/18779/task/18785/stat : 18785 (java) S 18777 18779 13462 0 -1 4202560 410 0 0 0 106 0 0 0 15 0 22 0 831056599 10810724352 188573 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 7 0 0 0
[pid=18779/tid=18786] ppid=18777 vsize=10557348 CPUtime=1.04 cores=1,3,5,7
/proc/18779/task/18786/stat : 18786 (java) S 18777 18779 13462 0 -1 4202560 673 0 0 0 104 0 0 0 16 0 22 0 831056599 10810724352 188573 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 3 0 0 0
[pid=18779/tid=18787] ppid=18777 vsize=10557348 CPUtime=1.18 cores=1,3,5,7
/proc/18779/task/18787/stat : 18787 (java) S 18777 18779 13462 0 -1 4202560 1173 0 0 0 118 0 0 0 16 0 22 0 831056599 10810724352 188573 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 3 0 0 0
[pid=18779/tid=18788] ppid=18777 vsize=10557348 CPUtime=1.13 cores=1,3,5,7
/proc/18779/task/18788/stat : 18788 (java) S 18777 18779 13462 0 -1 4202560 1010 0 0 0 113 0 0 0 15 0 22 0 831056599 10810724352 188573 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 7 0 0 0
[pid=18779/tid=18789] ppid=18777 vsize=10557348 CPUtime=1.05 cores=1,3,5,7
/proc/18779/task/18789/stat : 18789 (java) S 18777 18779 13462 0 -1 4202560 1027 0 0 0 105 0 0 0 16 0 22 0 831056599 10810724352 188573 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 7 0 0 0
[pid=18779/tid=18790] ppid=18777 vsize=10557348 CPUtime=81.49 cores=1,3,5,7
/proc/18779/task/18790/stat : 18790 (java) S 18777 18779 13462 0 -1 4202560 35689 0 0 0 8144 5 0 0 15 0 22 0 831056600 10810724352 188573 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514752 0 0 0 16800975 18446604460504320000 0 0 -1 5 0 0 0
[pid=18779/tid=18791] ppid=18777 vsize=10557348 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18791/stat : 18791 (java) S 18777 18779 13462 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831056601 10810724352 188573 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 7 0 0 0
[pid=18779/tid=18792] ppid=18777 vsize=10557348 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18792/stat : 18792 (java) S 18777 18779 13462 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 831056601 10810724352 188573 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 5 0 0 0
[pid=18779/tid=18793] ppid=18777 vsize=10557348 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18793/stat : 18793 (java) S 18777 18779 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831056604 10810724352 188573 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101521841 0 4 0 16800975 18446604460504320000 0 0 -1 5 0 0 0
[pid=18779/tid=18794] ppid=18777 vsize=10557348 CPUtime=0.9 cores=1,3,5,7
/proc/18779/task/18794/stat : 18794 (java) S 18777 18779 13462 0 -1 4202560 6449 0 0 0 89 1 0 0 15 0 22 0 831056604 10810724352 188573 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 3 0 0 0
[pid=18779/tid=18795] ppid=18777 vsize=10557348 CPUtime=1.41 cores=1,3,5,7
/proc/18779/task/18795/stat : 18795 (java) S 18777 18779 13462 0 -1 4202560 6631 0 0 0 141 0 0 0 15 0 22 0 831056604 10810724352 188573 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 5 0 0 0
[pid=18779/tid=18796] ppid=18777 vsize=10557348 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18796/stat : 18796 (java) S 18777 18779 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831056604 10810724352 188573 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514137 0 4 0 16800975 18446604460504320000 0 0 -1 5 0 0 0
[pid=18779/tid=18797] ppid=18777 vsize=10557348 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18797/stat : 18797 (java) S 18777 18779 13462 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 831056604 10810724352 188573 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514752 0 4 0 16800975 18446604460504320000 0 0 -1 3 0 0 0
[pid=18779/tid=18800] ppid=18777 vsize=10557348 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18800/stat : 18800 (java) S 18777 18779 13462 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831056638 10810724352 188573 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514752 0 4 0 16800975 18446604460504320000 0 0 -1 5 0 0 0
[pid=18779/tid=18812] ppid=18777 vsize=10557348 CPUtime=791.91 cores=1,3,5,7
/proc/18779/task/18812/stat : 18812 (java) R 18777 18779 13462 0 -1 4202560 321 0 0 0 79190 1 0 0 25 0 22 0 831063401 10810724352 188573 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 46912505627495 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18779/tid=18813] ppid=18777 vsize=10557348 CPUtime=791.93 cores=1,3,5,7
/proc/18779/task/18813/stat : 18813 (java) R 18777 18779 13462 0 -1 4202560 11634 0 0 0 79192 1 0 0 25 0 22 0 831063401 10810724352 188573 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 46912505873389 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18779/tid=18814] ppid=18777 vsize=10557348 CPUtime=0 cores=1,3,5,7
/proc/18779/task/18814/stat : 18814 (java) S 18777 18779 13462 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 831063402 10810724352 188573 33554432000 1073741824 1073778376 140736790481680 18446744073709551615 248101514752 0 4 0 16800975 18446604460504320000 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 10557348
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 939.887
CPU time (s): 1800.27
CPU user time (s): 1799.94
CPU system time (s): 0.32695
CPU usage (%): 191.541
Max. virtual memory (cumulated for all children) (KiB): 10560556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.94
system time used= 0.32695
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 195012
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= 33127
involuntary context switches= 17744
runsolver used 4.24635 second user time and 10.4294 second system time
The end