runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3744608-1338804828/watcher-3744608-1338804828 -o /tmp/evaluation-result-3744608-1338804828/solver-3744608-1338804828 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3744608-1338804828.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.01 2.00 4/192 12675
/proc/meminfo: memFree=26227892/32873852 swapFree=6856/6856
[pid=12675] ppid=12673 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/12675/stat : 12675 (java) D 12673 12675 9704 0 -1 4202496 242 0 0 0 0 0 0 0 20 0 1 0 346608752 9515008 176 33554432000 1073741824 1073778376 140733601797232 140733601779960 273448518544 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/12675/statm: 2323 176 133 9 0 71 0
[startup+0.065719 s]
/proc/loadavg: 2.00 2.01 2.00 4/192 12675
/proc/meminfo: memFree=26227892/32873852 swapFree=6856/6856
[pid=12675] ppid=12673 vsize=2623916 CPUtime=0.03 cores=1,3,5,7
/proc/12675/stat : 12675 (java) S 12673 12675 9704 0 -1 4202496 3967 0 1 0 3 0 0 0 20 0 13 0 346608752 2686889984 5685 33554432000 1073741824 1073778376 140736392422096 140736392413232 273451876413 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12675/statm: 655979 5685 1715 9 0 646680 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2623916
[startup+0.100291 s]
/proc/loadavg: 2.00 2.01 2.00 4/192 12675
/proc/meminfo: memFree=26227892/32873852 swapFree=6856/6856
[pid=12675] ppid=12673 vsize=2957856 CPUtime=0.08 cores=1,3,5,7
/proc/12675/stat : 12675 (java) S 12673 12675 9704 0 -1 4202496 4789 0 1 0 7 1 0 0 20 0 18 0 346608752 3028844544 6503 33554432000 1073741824 1073778376 140736392422096 140736392413232 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12675/statm: 739464 6504 2059 9 0 729885 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2957856
[startup+0.30025 s]
/proc/loadavg: 2.00 2.01 2.00 4/192 12675
/proc/meminfo: memFree=26227892/32873852 swapFree=6856/6856
[pid=12675] ppid=12673 vsize=2957856 CPUtime=0.49 cores=1,3,5,7
/proc/12675/stat : 12675 (java) S 12673 12675 9704 0 -1 4202496 5899 0 1 0 47 2 0 0 20 0 18 0 346608752 3028844544 11870 33554432000 1073741824 1073778376 140736392422096 140736392413232 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12675/statm: 739464 11870 2247 9 0 729885 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 2957856
[startup+0.700274 s]
/proc/loadavg: 2.00 2.01 2.00 4/192 12675
/proc/meminfo: memFree=26227892/32873852 swapFree=6856/6856
[pid=12675] ppid=12673 vsize=2957856 CPUtime=1.68 cores=1,3,5,7
/proc/12675/stat : 12675 (java) S 12673 12675 9704 0 -1 4202496 16738 0 1 0 163 5 0 0 20 0 18 0 346608752 3028844544 30128 33554432000 1073741824 1073778376 140736392422096 140736392413232 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12675/statm: 739464 30156 2267 9 0 729885 0
Current children cumulated CPU time (s) 1.68
Current children cumulated vsize (KiB) 2957856
[startup+1.51919 s]
/proc/loadavg: 2.16 2.04 2.01 3/210 12693
/proc/meminfo: memFree=26006992/32873852 swapFree=6856/6856
[pid=12675] ppid=12673 vsize=2957856 CPUtime=3.07 cores=1,3,5,7
/proc/12675/stat : 12675 (java) S 12673 12675 9704 0 -1 4202496 22217 0 1 0 291 16 0 0 20 0 18 0 346608752 3028844544 124344 33554432000 1073741824 1073778376 140736392422096 140736392413232 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12675/statm: 739464 124344 2278 9 0 729885 0
[pid=12675/tid=12677] ppid=12673 vsize=2957856 CPUtime=1.45 cores=1,3,5,7
/proc/12675/task/12677/stat : 12677 (java) S 12673 12675 9704 0 -1 4202560 3234 0 1 0 135 10 0 0 20 0 18 0 346608753 3028844544 124344 33554432000 1073741824 1073778376 140736392422096 140588319022712 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12675/tid=12678] ppid=12673 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/12675/task/12678/stat : 12678 (java) R 12673 12675 9704 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 18 0 346608754 3028844544 124344 33554432000 1073741824 1073778376 140736392422096 140588184456024 140588323199151 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=12675/tid=12679] ppid=12673 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/12675/task/12679/stat : 12679 (java) R 12673 12675 9704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 346608754 3028844544 124344 33554432000 1073741824 1073778376 140736392422096 140588183403480 140588325922040 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12675/tid=12680] ppid=12673 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/12675/task/12680/stat : 12680 (java) R 12673 12675 9704 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 18 0 346608754 3028844544 124344 33554432000 1073741824 1073778376 140736392422096 140588182350936 140588323199151 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=12675/tid=12681] ppid=12673 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/12675/task/12681/stat : 12681 (java) R 12673 12675 9704 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 18 0 346608754 3028844544 124344 33554432000 1073741824 1073778376 140736392422096 140588181298392 140588321494713 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12675/tid=12682] ppid=12673 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/12675/task/12682/stat : 12682 (java) R 12673 12675 9704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 346608754 3028844544 124344 33554432000 1073741824 1073778376 140736392422096 140588180244824 140588323199151 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12675/tid=12683] ppid=12673 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/12675/task/12683/stat : 12683 (java) R 12673 12675 9704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 346608754 3028844544 124344 33554432000 1073741824 1073778376 140736392422096 140588179192280 140588323199151 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12675/tid=12684] ppid=12673 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/12675/task/12684/stat : 12684 (java) R 12673 12675 9704 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 346608754 3028844544 124344 33554432000 1073741824 1073778376 140736392422096 140588178139736 140588323199151 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12675/tid=12685] ppid=12673 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/12675/task/12685/stat : 12685 (java) R 12673 12675 9704 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 346608754 3028844544 124344 33554432000 1073741824 1073778376 140736392422096 140588177087016 140588325919819 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12675/tid=12686] ppid=12673 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/12675/task/12686/stat : 12686 (java) S 12673 12675 9704 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 18 0 346608756 3028844544 124344 33554432000 1073741824 1073778376 140736392422096 140587695048200 273451889724 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12675/tid=12687] ppid=12673 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/12675/task/12687/stat : 12687 (java) S 12673 12675 9704 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 346608756 3028844544 124344 33554432000 1073741824 1073778376 140736392422096 140587693995640 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12675/tid=12688] ppid=12673 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/12675/task/12688/stat : 12688 (java) S 12673 12675 9704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 346608756 3028844544 124344 33554432000 1073741824 1073778376 140736392422096 140587692942984 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12675/tid=12689] ppid=12673 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/12675/task/12689/stat : 12689 (java) S 12673 12675 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346608758 3028844544 124344 33554432000 1073741824 1073778376 140736392422096 140587691891728 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12675/tid=12690] ppid=12673 vsize=2957856 CPUtime=0.75 cores=1,3,5,7
/proc/12675/task/12690/stat : 12690 (java) S 12673 12675 9704 0 -1 4202560 8209 0 0 0 73 2 0 0 20 0 18 0 346608758 3028844544 124344 33554432000 1073741824 1073778376 140736392422096 140587690838072 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12675/tid=12691] ppid=12673 vsize=2957856 CPUtime=0.73 cores=1,3,5,7
/proc/12675/task/12691/stat : 12691 (java) S 12673 12675 9704 0 -1 4202560 9536 0 0 0 71 2 0 0 20 0 18 0 346608758 3028844544 124344 33554432000 1073741824 1073778376 140736392422096 140587689785528 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12675/tid=12692] ppid=12673 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/12675/task/12692/stat : 12692 (java) S 12673 12675 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346608758 3028844544 124344 33554432000 1073741824 1073778376 140736392422096 140587688733176 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12675/tid=12693] ppid=12673 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/12675/task/12693/stat : 12693 (java) S 12673 12675 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346608759 3028844544 124344 33554432000 1073741824 1073778376 140736392422096 140587687680840 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 2957856
[startup+3.10077 s]
/proc/loadavg: 2.16 2.04 2.01 3/210 12693
/proc/meminfo: memFree=25676264/32873852 swapFree=6856/6856
[pid=12675] ppid=12673 vsize=3024420 CPUtime=5.62 cores=1,3,5,7
/proc/12675/stat : 12675 (java) S 12673 12675 9704 0 -1 4202496 22614 0 1 0 523 39 0 0 20 0 19 0 346608752 3097006080 160798 33554432000 1073741824 1073778376 140736392422096 140736392413232 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12675/statm: 756105 160798 2298 9 0 746526 0
[pid=12675/tid=12677] ppid=12673 vsize=3024420 CPUtime=2.81 cores=1,3,5,7
/proc/12675/task/12677/stat : 12677 (java) R 12673 12675 9704 0 -1 4202560 3242 0 1 0 271 10 0 0 20 0 19 0 346608753 3097006080 160798 33554432000 1073741824 1073778376 140736392422096 140588319022072 140588188996340 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12675/tid=12678] ppid=12673 vsize=3024420 CPUtime=0.11 cores=1,3,5,7
/proc/12675/task/12678/stat : 12678 (java) S 12673 12675 9704 0 -1 4202560 51 0 0 0 8 3 0 0 20 0 19 0 346608754 3097006080 160798 33554432000 1073741824 1073778376 140736392422096 140588184455848 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12675/tid=12679] ppid=12673 vsize=3024420 CPUtime=0.13 cores=1,3,5,7
/proc/12675/task/12679/stat : 12679 (java) S 12673 12675 9704 0 -1 4202560 50 0 0 0 9 4 0 0 20 0 19 0 346608754 3097006080 160798 33554432000 1073741824 1073778376 140736392422096 140588183403304 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12675/tid=12680] ppid=12673 vsize=3024420 CPUtime=0.11 cores=1,3,5,7
/proc/12675/task/12680/stat : 12680 (java) S 12673 12675 9704 0 -1 4202560 53 0 0 0 7 4 0 0 20 0 19 0 346608754 3097006080 160798 33554432000 1073741824 1073778376 140736392422096 140588182350760 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12675/tid=12681] ppid=12673 vsize=3024420 CPUtime=0.14 cores=1,3,5,7
/proc/12675/task/12681/stat : 12681 (java) S 12673 12675 9704 0 -1 4202560 63 0 0 0 10 4 0 0 20 0 19 0 346608754 3097006080 160798 33554432000 1073741824 1073778376 140736392422096 140588181298216 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12675/tid=12682] ppid=12673 vsize=3024420 CPUtime=0.11 cores=1,3,5,7
/proc/12675/task/12682/stat : 12682 (java) S 12673 12675 9704 0 -1 4202560 50 0 0 0 8 3 0 0 20 0 19 0 346608754 3097006080 160798 33554432000 1073741824 1073778376 140736392422096 140588180244648 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12675/tid=12683] ppid=12673 vsize=3024420 CPUtime=0.09 cores=1,3,5,7
/proc/12675/task/12683/stat : 12683 (java) S 12673 12675 9704 0 -1 4202560 41 0 0 0 6 3 0 0 20 0 19 0 346608754 3097006080 160798 33554432000 1073741824 1073778376 140736392422096 140588179192104 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12675/tid=12684] ppid=12673 vsize=3024420 CPUtime=0.09 cores=1,3,5,7
/proc/12675/task/12684/stat : 12684 (java) S 12673 12675 9704 0 -1 4202560 40 0 0 0 6 3 0 0 20 0 19 0 346608754 3097006080 160798 33554432000 1073741824 1073778376 140736392422096 140588178139560 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12675/tid=12685] ppid=12673 vsize=3024420 CPUtime=0.11 cores=1,3,5,7
/proc/12675/task/12685/stat : 12685 (java) S 12673 12675 9704 0 -1 4202560 51 0 0 0 7 4 0 0 20 0 19 0 346608754 3097006080 160798 33554432000 1073741824 1073778376 140736392422096 140588177087016 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12675/tid=12686] ppid=12673 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12675/task/12686/stat : 12686 (java) S 12673 12675 9704 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 346608756 3097006080 160798 33554432000 1073741824 1073778376 140736392422096 140587695049320 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12675/tid=12687] ppid=12673 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12675/task/12687/stat : 12687 (java) S 12673 12675 9704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346608756 3097006080 160798 33554432000 1073741824 1073778376 140736392422096 140587693995640 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12675/tid=12688] ppid=12673 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12675/task/12688/stat : 12688 (java) S 12673 12675 9704 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346608756 3097006080 160798 33554432000 1073741824 1073778376 140736392422096 140587692942984 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12675/tid=12689] ppid=12673 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12675/task/12689/stat : 12689 (java) S 12673 12675 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346608758 3097006080 160798 33554432000 1073741824 1073778376 140736392422096 140587691891728 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12675/tid=12690] ppid=12673 vsize=3024420 CPUtime=0.93 cores=1,3,5,7
/proc/12675/task/12690/stat : 12690 (java) S 12673 12675 9704 0 -1 4202560 8235 0 0 0 91 2 0 0 20 0 19 0 346608758 3097006080 160798 33554432000 1073741824 1073778376 140736392422096 140587690838072 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12675/tid=12691] ppid=12673 vsize=3024420 CPUtime=0.86 cores=1,3,5,7
/proc/12675/task/12691/stat : 12691 (java) S 12673 12675 9704 0 -1 4202560 9545 0 0 0 83 3 0 0 20 0 19 0 346608758 3097006080 160798 33554432000 1073741824 1073778376 140736392422096 140587689785528 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12675/tid=12692] ppid=12673 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12675/task/12692/stat : 12692 (java) S 12673 12675 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346608758 3097006080 160798 33554432000 1073741824 1073778376 140736392422096 140587688733176 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12675/tid=12693] ppid=12673 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12675/task/12693/stat : 12693 (java) S 12673 12675 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346608759 3097006080 160798 33554432000 1073741824 1073778376 140736392422096 140587687680840 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 5.62
Current children cumulated vsize (KiB) 3024420
[startup+6.3008 s]
/proc/loadavg: 2.16 2.04 2.01 3/211 12694
/proc/meminfo: memFree=25582924/32873852 swapFree=6856/6856
[pid=12675] ppid=12673 vsize=3024420 CPUtime=9.15 cores=1,3,5,7
/proc/12675/stat : 12675 (java) S 12673 12675 9704 0 -1 4202496 22649 0 1 0 874 41 0 0 20 0 19 0 346608752 3097006080 162777 33554432000 1073741824 1073778376 140736392422096 140736392413232 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12675/statm: 756105 162777 2298 9 0 746526 0
[pid=12675/tid=12677] ppid=12673 vsize=3024420 CPUtime=5.93 cores=1,3,5,7
/proc/12675/task/12677/stat : 12677 (java) R 12673 12675 9704 0 -1 4202560 3245 0 1 0 583 10 0 0 20 0 19 0 346608753 3097006080 162777 33554432000 1073741824 1073778376 140736392422096 140588319023752 140588188996288 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12675/tid=12678] ppid=12673 vsize=3024420 CPUtime=0.13 cores=1,3,5,7
/proc/12675/task/12678/stat : 12678 (java) S 12673 12675 9704 0 -1 4202560 53 0 0 0 10 3 0 0 20 0 19 0 346608754 3097006080 162777 33554432000 1073741824 1073778376 140736392422096 140588184455848 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12675/tid=12679] ppid=12673 vsize=3024420 CPUtime=0.16 cores=1,3,5,7
/proc/12675/task/12679/stat : 12679 (java) S 12673 12675 9704 0 -1 4202560 55 0 0 0 12 4 0 0 20 0 19 0 346608754 3097006080 162777 33554432000 1073741824 1073778376 140736392422096 140588183403304 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12675/tid=12680] ppid=12673 vsize=3024420 CPUtime=0.13 cores=1,3,5,7
/proc/12675/task/12680/stat : 12680 (java) S 12673 12675 9704 0 -1 4202560 56 0 0 0 9 4 0 0 20 0 19 0 346608754 3097006080 162777 33554432000 1073741824 1073778376 140736392422096 140588182350760 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12675/tid=12681] ppid=12673 vsize=3024420 CPUtime=0.2 cores=1,3,5,7
/proc/12675/task/12681/stat : 12681 (java) S 12673 12675 9704 0 -1 4202560 67 0 0 0 16 4 0 0 20 0 19 0 346608754 3097006080 162777 33554432000 1073741824 1073778376 140736392422096 140588181298216 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12675/tid=12682] ppid=12673 vsize=3024420 CPUtime=0.13 cores=1,3,5,7
/proc/12675/task/12682/stat : 12682 (java) S 12673 12675 9704 0 -1 4202560 52 0 0 0 10 3 0 0 20 0 19 0 346608754 3097006080 162777 33554432000 1073741824 1073778376 140736392422096 140588180244648 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12675/tid=12683] ppid=12673 vsize=3024420 CPUtime=0.14 cores=1,3,5,7
/proc/12675/task/12683/stat : 12683 (java) S 12673 12675 9704 0 -1 4202560 48 0 0 0 11 3 0 0 20 0 19 0 346608754 3097006080 162777 33554432000 1073741824 1073778376 140736392422096 140588179192104 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12675/tid=12684] ppid=12673 vsize=3024420 CPUtime=0.12 cores=1,3,5,7
/proc/12675/task/12684/stat : 12684 (java) S 12673 12675 9704 0 -1 4202560 44 0 0 0 9 3 0 0 20 0 19 0 346608754 3097006080 162777 33554432000 1073741824 1073778376 140736392422096 140588178139560 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12675/tid=12685] ppid=12673 vsize=3024420 CPUtime=0.19 cores=1,3,5,7
/proc/12675/task/12685/stat : 12685 (java) S 12673 12675 9704 0 -1 4202560 56 0 0 0 15 4 0 0 20 0 19 0 346608754 3097006080 162777 33554432000 1073741824 1073778376 140736392422096 140588177087016 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12675/tid=12686] ppid=12673 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12675/task/12686/stat : 12686 (java) S 12673 12675 9704 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 346608756 3097006080 162777 33554432000 1073741824 1073778376 140736392422096 140587695049320 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12675/tid=12687] ppid=12673 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12675/task/12687/stat : 12687 (java) S 12673 12675 9704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346608756 3097006080 162777 33554432000 1073741824 1073778376 140736392422096 140587693995640 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12675/tid=12688] ppid=12673 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12675/task/12688/stat : 12688 (java) S 12673 12675 9704 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346608756 3097006080 162777 33554432000 1073741824 1073778376 140736392422096 140587692942984 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12675/tid=12689] ppid=12673 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12675/task/12689/stat : 12689 (java) S 12673 12675 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346608758 3097006080 162777 33554432000 1073741824 1073778376 140736392422096 140587691891728 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12675/tid=12690] ppid=12673 vsize=3024420 CPUtime=1 cores=1,3,5,7
/proc/12675/task/12690/stat : 12690 (java) S 12673 12675 9704 0 -1 4202560 8235 0 0 0 98 2 0 0 20 0 19 0 346608758 3097006080 162777 33554432000 1073741824 1073778376 140736392422096 140587690838072 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12675/tid=12691] ppid=12673 vsize=3024420 CPUtime=0.88 cores=1,3,5,7
/proc/12675/task/12691/stat : 12691 (java) S 12673 12675 9704 0 -1 4202560 9545 0 0 0 85 3 0 0 20 0 19 0 346608758 3097006080 162777 33554432000 1073741824 1073778376 140736392422096 140587689785528 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12675/tid=12692] ppid=12673 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12675/task/12692/stat : 12692 (java) S 12673 12675 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346608758 3097006080 162777 33554432000 1073741824 1073778376 140736392422096 140587688733176 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12675/tid=12693] ppid=12673 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12675/task/12693/stat : 12693 (java) S 12673 12675 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346608759 3097006080 162777 33554432000 1073741824 1073778376 140736392422096 140587687680840 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12675/tid=12694] ppid=12673 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12675/task/12694/stat : 12694 (java) S 12673 12675 9704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346609033 3097006080 162777 33554432000 1073741824 1073778376 140736392422096 140587685549352 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 9.15
Current children cumulated vsize (KiB) 3024420
[startup+12.7008 s]
/proc/loadavg: 2.13 2.04 2.01 3/211 12694
/proc/meminfo: memFree=25571708/32873852 swapFree=6856/6856
[pid=12675] ppid=12673 vsize=3024420 CPUtime=16.48 cores=1,3,5,7
/proc/12675/stat : 12675 (java) S 12673 12675 9704 0 -1 4202496 23077 0 1 0 1597 51 0 0 20 0 19 0 346608752 3097006080 177935 33554432000 1073741824 1073778376 140736392422096 140736392413232 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
################
# More data... #
################
[pid=12675/tid=12683] ppid=12673 vsize=3024420 CPUtime=4.38 cores=1,3,5,7
/proc/12675/task/12683/stat : 12683 (java) S 12673 12675 9704 0 -1 4202560 448 0 0 0 423 15 0 0 20 0 19 0 346608754 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140588179192104 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12675/tid=12684] ppid=12673 vsize=3024420 CPUtime=4.37 cores=1,3,5,7
/proc/12675/task/12684/stat : 12684 (java) S 12673 12675 9704 0 -1 4202560 439 0 0 0 422 15 0 0 20 0 19 0 346608754 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140588178139560 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12675/tid=12685] ppid=12673 vsize=3024420 CPUtime=4.48 cores=1,3,5,7
/proc/12675/task/12685/stat : 12685 (java) S 12673 12675 9704 0 -1 4202560 455 0 0 0 432 16 0 0 20 0 19 0 346608754 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140588177087016 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12675/tid=12686] ppid=12673 vsize=3024420 CPUtime=0.64 cores=1,3,5,7
/proc/12675/task/12686/stat : 12686 (java) S 12673 12675 9704 0 -1 4202560 3673 0 0 0 58 6 0 0 20 0 19 0 346608756 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140587695049320 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12675/tid=12687] ppid=12673 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12675/task/12687/stat : 12687 (java) S 12673 12675 9704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346608756 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140587693995640 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12675/tid=12688] ppid=12673 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12675/task/12688/stat : 12688 (java) S 12673 12675 9704 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346608756 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140587692942984 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12675/tid=12689] ppid=12673 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12675/task/12689/stat : 12689 (java) S 12673 12675 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346608758 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140587691891728 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12675/tid=12690] ppid=12673 vsize=3024420 CPUtime=1.07 cores=1,3,5,7
/proc/12675/task/12690/stat : 12690 (java) S 12673 12675 9704 0 -1 4202560 8243 0 0 0 105 2 0 0 20 0 19 0 346608758 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140587690838072 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12675/tid=12691] ppid=12673 vsize=3024420 CPUtime=0.94 cores=1,3,5,7
/proc/12675/task/12691/stat : 12691 (java) S 12673 12675 9704 0 -1 4202560 9555 0 0 0 91 3 0 0 20 0 19 0 346608758 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140587689785528 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12675/tid=12692] ppid=12673 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12675/task/12692/stat : 12692 (java) S 12673 12675 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346608758 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140587688733176 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12675/tid=12693] ppid=12673 vsize=3024420 CPUtime=0.82 cores=1,3,5,7
/proc/12675/task/12693/stat : 12693 (java) S 12673 12675 9704 0 -1 4202560 93 0 0 0 41 41 0 0 20 0 19 0 346608759 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140587687680840 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12675/tid=12694] ppid=12673 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12675/task/12694/stat : 12694 (java) S 12673 12675 9704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346609033 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140587685549352 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1630.46
Current children cumulated vsize (KiB) 3024420
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/211 12830
/proc/meminfo: memFree=24398156/32873852 swapFree=6856/6856
[pid=12675] ppid=12673 vsize=3024420 CPUtime=1691.35 cores=1,3,5,7
/proc/12675/stat : 12675 (java) S 12673 12675 9704 0 -1 4202496 30256 0 1 0 168928 207 0 0 20 0 19 0 346608752 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140736392413232 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12675/statm: 756105 426975 2310 9 0 746526 0
[pid=12675/tid=12677] ppid=12673 vsize=3024420 CPUtime=1650.66 cores=1,3,5,7
/proc/12675/task/12677/stat : 12677 (java) R 12673 12675 9704 0 -1 4202560 3865 0 1 0 165026 40 0 0 20 0 19 0 346608753 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140588319022224 140588189049690 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12675/tid=12678] ppid=12673 vsize=3024420 CPUtime=4.69 cores=1,3,5,7
/proc/12675/task/12678/stat : 12678 (java) S 12673 12675 9704 0 -1 4202560 427 0 0 0 454 15 0 0 20 0 19 0 346608754 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140588184455848 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12675/tid=12679] ppid=12673 vsize=3024420 CPUtime=4.62 cores=1,3,5,7
/proc/12675/task/12679/stat : 12679 (java) S 12673 12675 9704 0 -1 4202560 466 0 0 0 446 16 0 0 20 0 19 0 346608754 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140588183403304 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12675/tid=12680] ppid=12673 vsize=3024420 CPUtime=4.63 cores=1,3,5,7
/proc/12675/task/12680/stat : 12680 (java) S 12673 12675 9704 0 -1 4202560 451 0 0 0 448 15 0 0 20 0 19 0 346608754 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140588182350760 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12675/tid=12681] ppid=12673 vsize=3024420 CPUtime=4.69 cores=1,3,5,7
/proc/12675/task/12681/stat : 12681 (java) S 12673 12675 9704 0 -1 4202560 482 0 0 0 451 18 0 0 20 0 19 0 346608754 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140588181298216 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12675/tid=12682] ppid=12673 vsize=3024420 CPUtime=4.64 cores=1,3,5,7
/proc/12675/task/12682/stat : 12682 (java) S 12673 12675 9704 0 -1 4202560 473 0 0 0 447 17 0 0 20 0 19 0 346608754 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140588180244648 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12675/tid=12683] ppid=12673 vsize=3024420 CPUtime=4.55 cores=1,3,5,7
/proc/12675/task/12683/stat : 12683 (java) S 12673 12675 9704 0 -1 4202560 448 0 0 0 440 15 0 0 20 0 19 0 346608754 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140588179192104 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12675/tid=12684] ppid=12673 vsize=3024420 CPUtime=4.51 cores=1,3,5,7
/proc/12675/task/12684/stat : 12684 (java) S 12673 12675 9704 0 -1 4202560 439 0 0 0 436 15 0 0 20 0 19 0 346608754 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140588178139560 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12675/tid=12685] ppid=12673 vsize=3024420 CPUtime=4.67 cores=1,3,5,7
/proc/12675/task/12685/stat : 12685 (java) S 12673 12675 9704 0 -1 4202560 455 0 0 0 451 16 0 0 20 0 19 0 346608754 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140588177087016 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12675/tid=12686] ppid=12673 vsize=3024420 CPUtime=0.64 cores=1,3,5,7
/proc/12675/task/12686/stat : 12686 (java) S 12673 12675 9704 0 -1 4202560 3675 0 0 0 58 6 0 0 20 0 19 0 346608756 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140587695049320 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12675/tid=12687] ppid=12673 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12675/task/12687/stat : 12687 (java) S 12673 12675 9704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346608756 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140587693995640 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12675/tid=12688] ppid=12673 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12675/task/12688/stat : 12688 (java) S 12673 12675 9704 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346608756 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140587692942984 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12675/tid=12689] ppid=12673 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12675/task/12689/stat : 12689 (java) S 12673 12675 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346608758 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140587691891728 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12675/tid=12690] ppid=12673 vsize=3024420 CPUtime=1.07 cores=1,3,5,7
/proc/12675/task/12690/stat : 12690 (java) S 12673 12675 9704 0 -1 4202560 8243 0 0 0 105 2 0 0 20 0 19 0 346608758 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140587690838072 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12675/tid=12691] ppid=12673 vsize=3024420 CPUtime=0.94 cores=1,3,5,7
/proc/12675/task/12691/stat : 12691 (java) S 12673 12675 9704 0 -1 4202560 9555 0 0 0 91 3 0 0 20 0 19 0 346608758 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140587689785528 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12675/tid=12692] ppid=12673 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12675/task/12692/stat : 12692 (java) S 12673 12675 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346608758 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140587688733176 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12675/tid=12693] ppid=12673 vsize=3024420 CPUtime=0.85 cores=1,3,5,7
/proc/12675/task/12693/stat : 12693 (java) S 12673 12675 9704 0 -1 4202560 95 0 0 0 43 42 0 0 20 0 19 0 346608759 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140587687680840 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12675/tid=12694] ppid=12673 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12675/task/12694/stat : 12694 (java) S 12673 12675 9704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346609033 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140587685549352 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1691.35
Current children cumulated vsize (KiB) 3024420
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/211 12830
/proc/meminfo: memFree=24332248/32873852 swapFree=6856/6856
[pid=12675] ppid=12673 vsize=3024420 CPUtime=1752.37 cores=1,3,5,7
/proc/12675/stat : 12675 (java) S 12673 12675 9704 0 -1 4202496 30283 0 1 0 175026 211 0 0 20 0 19 0 346608752 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140736392413232 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12675/statm: 756105 426975 2310 9 0 746526 0
[pid=12675/tid=12677] ppid=12673 vsize=3024420 CPUtime=1710.27 cores=1,3,5,7
/proc/12675/task/12677/stat : 12677 (java) R 12673 12675 9704 0 -1 4202560 3884 0 1 0 170987 40 0 0 20 0 19 0 346608753 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140588319022440 140588188996340 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12675/tid=12678] ppid=12673 vsize=3024420 CPUtime=4.84 cores=1,3,5,7
/proc/12675/task/12678/stat : 12678 (java) S 12673 12675 9704 0 -1 4202560 427 0 0 0 469 15 0 0 20 0 19 0 346608754 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140588184455848 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12675/tid=12679] ppid=12673 vsize=3024420 CPUtime=4.8 cores=1,3,5,7
/proc/12675/task/12679/stat : 12679 (java) S 12673 12675 9704 0 -1 4202560 466 0 0 0 464 16 0 0 20 0 19 0 346608754 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140588183403304 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12675/tid=12680] ppid=12673 vsize=3024420 CPUtime=4.82 cores=1,3,5,7
/proc/12675/task/12680/stat : 12680 (java) S 12673 12675 9704 0 -1 4202560 451 0 0 0 466 16 0 0 20 0 19 0 346608754 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140588182350760 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12675/tid=12681] ppid=12673 vsize=3024420 CPUtime=4.88 cores=1,3,5,7
/proc/12675/task/12681/stat : 12681 (java) S 12673 12675 9704 0 -1 4202560 482 0 0 0 470 18 0 0 20 0 19 0 346608754 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140588181298216 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12675/tid=12682] ppid=12673 vsize=3024420 CPUtime=4.8 cores=1,3,5,7
/proc/12675/task/12682/stat : 12682 (java) S 12673 12675 9704 0 -1 4202560 473 0 0 0 463 17 0 0 20 0 19 0 346608754 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140588180244648 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12675/tid=12683] ppid=12673 vsize=3024420 CPUtime=4.72 cores=1,3,5,7
/proc/12675/task/12683/stat : 12683 (java) S 12673 12675 9704 0 -1 4202560 448 0 0 0 457 15 0 0 20 0 19 0 346608754 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140588179192104 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12675/tid=12684] ppid=12673 vsize=3024420 CPUtime=4.64 cores=1,3,5,7
/proc/12675/task/12684/stat : 12684 (java) S 12673 12675 9704 0 -1 4202560 439 0 0 0 449 15 0 0 20 0 19 0 346608754 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140588178139560 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12675/tid=12685] ppid=12673 vsize=3024420 CPUtime=4.85 cores=1,3,5,7
/proc/12675/task/12685/stat : 12685 (java) S 12673 12675 9704 0 -1 4202560 455 0 0 0 469 16 0 0 20 0 19 0 346608754 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140588177087016 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12675/tid=12686] ppid=12673 vsize=3024420 CPUtime=0.65 cores=1,3,5,7
/proc/12675/task/12686/stat : 12686 (java) S 12673 12675 9704 0 -1 4202560 3679 0 0 0 59 6 0 0 20 0 19 0 346608756 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140587695049320 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12675/tid=12687] ppid=12673 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12675/task/12687/stat : 12687 (java) S 12673 12675 9704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346608756 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140587693995640 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12675/tid=12688] ppid=12673 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12675/task/12688/stat : 12688 (java) S 12673 12675 9704 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346608756 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140587692942984 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12675/tid=12689] ppid=12673 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12675/task/12689/stat : 12689 (java) S 12673 12675 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346608758 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140587691891728 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12675/tid=12690] ppid=12673 vsize=3024420 CPUtime=1.07 cores=1,3,5,7
/proc/12675/task/12690/stat : 12690 (java) S 12673 12675 9704 0 -1 4202560 8243 0 0 0 105 2 0 0 20 0 19 0 346608758 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140587690838072 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12675/tid=12691] ppid=12673 vsize=3024420 CPUtime=0.94 cores=1,3,5,7
/proc/12675/task/12691/stat : 12691 (java) S 12673 12675 9704 0 -1 4202560 9555 0 0 0 91 3 0 0 20 0 19 0 346608758 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140587689785528 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12675/tid=12692] ppid=12673 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12675/task/12692/stat : 12692 (java) S 12673 12675 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346608758 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140587688733176 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12675/tid=12693] ppid=12673 vsize=3024420 CPUtime=0.89 cores=1,3,5,7
/proc/12675/task/12693/stat : 12693 (java) S 12673 12675 9704 0 -1 4202560 99 0 0 0 45 44 0 0 20 0 19 0 346608759 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140587687680840 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12675/tid=12694] ppid=12673 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12675/task/12694/stat : 12694 (java) S 12673 12675 9704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346609033 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140587685549352 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1752.37
Current children cumulated vsize (KiB) 3024420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1769.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/211 12830
/proc/meminfo: memFree=24280800/32873852 swapFree=6856/6856
[pid=12675] ppid=12673 vsize=3024420 CPUtime=1800.07 cores=1,3,5,7
/proc/12675/stat : 12675 (java) S 12673 12675 9704 0 -1 4202496 30303 0 1 0 179794 213 0 0 20 0 19 0 346608752 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140736392413232 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12675/statm: 756105 426975 2310 9 0 746526 0
[pid=12675/tid=12677] ppid=12673 vsize=3024420 CPUtime=1757.1 cores=1,3,5,7
/proc/12675/task/12677/stat : 12677 (java) R 12673 12675 9704 0 -1 4202560 3898 0 1 0 175669 41 0 0 20 0 19 0 346608753 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140588319022320 140588189049764 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12675/tid=12678] ppid=12673 vsize=3024420 CPUtime=4.97 cores=1,3,5,7
/proc/12675/task/12678/stat : 12678 (java) S 12673 12675 9704 0 -1 4202560 427 0 0 0 482 15 0 0 20 0 19 0 346608754 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140588184455848 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12675/tid=12679] ppid=12673 vsize=3024420 CPUtime=4.88 cores=1,3,5,7
/proc/12675/task/12679/stat : 12679 (java) S 12673 12675 9704 0 -1 4202560 466 0 0 0 472 16 0 0 20 0 19 0 346608754 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140588183403304 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12675/tid=12680] ppid=12673 vsize=3024420 CPUtime=4.95 cores=1,3,5,7
/proc/12675/task/12680/stat : 12680 (java) S 12673 12675 9704 0 -1 4202560 451 0 0 0 479 16 0 0 20 0 19 0 346608754 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140588182350760 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12675/tid=12681] ppid=12673 vsize=3024420 CPUtime=4.98 cores=1,3,5,7
/proc/12675/task/12681/stat : 12681 (java) S 12673 12675 9704 0 -1 4202560 482 0 0 0 480 18 0 0 20 0 19 0 346608754 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140588181298216 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12675/tid=12682] ppid=12673 vsize=3024420 CPUtime=4.89 cores=1,3,5,7
/proc/12675/task/12682/stat : 12682 (java) S 12673 12675 9704 0 -1 4202560 473 0 0 0 472 17 0 0 20 0 19 0 346608754 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140588180244648 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12675/tid=12683] ppid=12673 vsize=3024420 CPUtime=4.84 cores=1,3,5,7
/proc/12675/task/12683/stat : 12683 (java) S 12673 12675 9704 0 -1 4202560 448 0 0 0 469 15 0 0 20 0 19 0 346608754 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140588179192104 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12675/tid=12684] ppid=12673 vsize=3024420 CPUtime=4.76 cores=1,3,5,7
/proc/12675/task/12684/stat : 12684 (java) S 12673 12675 9704 0 -1 4202560 439 0 0 0 461 15 0 0 20 0 19 0 346608754 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140588178139560 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12675/tid=12685] ppid=12673 vsize=3024420 CPUtime=4.94 cores=1,3,5,7
/proc/12675/task/12685/stat : 12685 (java) S 12673 12675 9704 0 -1 4202560 455 0 0 0 478 16 0 0 20 0 19 0 346608754 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140588177087016 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12675/tid=12686] ppid=12673 vsize=3024420 CPUtime=0.65 cores=1,3,5,7
/proc/12675/task/12686/stat : 12686 (java) S 12673 12675 9704 0 -1 4202560 3681 0 0 0 59 6 0 0 20 0 19 0 346608756 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140587695049320 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12675/tid=12687] ppid=12673 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12675/task/12687/stat : 12687 (java) S 12673 12675 9704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346608756 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140587693995640 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12675/tid=12688] ppid=12673 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12675/task/12688/stat : 12688 (java) S 12673 12675 9704 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346608756 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140587692942984 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12675/tid=12689] ppid=12673 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12675/task/12689/stat : 12689 (java) S 12673 12675 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346608758 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140587691891728 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12675/tid=12690] ppid=12673 vsize=3024420 CPUtime=1.07 cores=1,3,5,7
/proc/12675/task/12690/stat : 12690 (java) S 12673 12675 9704 0 -1 4202560 8243 0 0 0 105 2 0 0 20 0 19 0 346608758 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140587690838072 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12675/tid=12691] ppid=12673 vsize=3024420 CPUtime=0.94 cores=1,3,5,7
/proc/12675/task/12691/stat : 12691 (java) S 12673 12675 9704 0 -1 4202560 9555 0 0 0 91 3 0 0 20 0 19 0 346608758 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140587689785528 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12675/tid=12692] ppid=12673 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12675/task/12692/stat : 12692 (java) S 12673 12675 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346608758 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140587688733176 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12675/tid=12693] ppid=12673 vsize=3024420 CPUtime=0.91 cores=1,3,5,7
/proc/12675/task/12693/stat : 12693 (java) S 12673 12675 9704 0 -1 4202560 103 0 0 0 46 45 0 0 20 0 19 0 346608759 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140587687680840 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12675/tid=12694] ppid=12673 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12675/task/12694/stat : 12694 (java) S 12673 12675 9704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346609033 3097006080 426975 33554432000 1073741824 1073778376 140736392422096 140587685549352 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 3024420
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): 1769.43
CPU time (s): 1800.13
CPU user time (s): 1797.75
CPU system time (s): 2.38164
CPU usage (%): 101.735
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.75
system time used= 2.38164
maximum resident set size= 1721988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30333
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57155
involuntary context switches= 70060
runsolver used 6.96194 second user time and 16.0526 second system time
The end