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-3458760-1307148827/watcher-3458760-1307148827 -o /tmp/evaluation-result-3458760-1307148827/solver-3458760-1307148827 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458760-1307148827.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: 1.48 1.90 1.96 2/513 12891
/proc/meminfo: memFree=21310064/32950928 swapFree=34259960/67111528
[pid=12891] ppid=12888 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/12891/stat : 12891 (java) S 12888 12891 7151 0 -1 4202496 2100 0 1 0 0 0 0 0 17 0 2 0 826479392 13833195520 1802 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512494565 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/12891/statm: 3377245 1817 906 9 0 3368401 0
[pid=12891/tid=12896] ppid=12888 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12896/stat : 12896 (java) R 12888 12891 7151 0 -1 4202560 5780 0 1 0 0 0 0 0 18 0 2 0 826479392 13850947584 6596 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254500385851 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.108583 s]
/proc/loadavg: 1.48 1.90 1.96 2/513 12891
/proc/meminfo: memFree=21310064/32950928 swapFree=34259960/67111528
[pid=12891] ppid=12888 vsize=13622120 CPUtime=0.11 cores=1,3,5,7
/proc/12891/stat : 12891 (java) S 12888 12891 7151 0 -1 4202496 15587 0 1 0 9 2 0 0 17 0 18 0 826479392 13949050880 15284 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12891/statm: 3405530 15286 2092 9 0 3396264 0
[pid=12891/tid=12896] ppid=12888 vsize=13622120 CPUtime=0.08 cores=1,3,5,7
/proc/12891/task/12896/stat : 12896 (java) R 12888 12891 7151 0 -1 4202560 13680 0 1 0 7 1 0 0 18 0 18 0 826479392 13949050880 15286 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 47056643657635 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13622120
[startup+0.200515 s]
/proc/loadavg: 1.48 1.90 1.96 2/513 12891
/proc/meminfo: memFree=21310064/32950928 swapFree=34259960/67111528
[pid=12891] ppid=12888 vsize=13622748 CPUtime=0.27 cores=1,3,5,7
/proc/12891/stat : 12891 (java) S 12888 12891 7151 0 -1 4202496 16495 0 1 0 25 2 0 0 17 0 18 0 826479392 13949693952 16101 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12891/statm: 3405687 16102 2181 9 0 3396421 0
[pid=12891/tid=12896] ppid=12888 vsize=13622884 CPUtime=0.17 cores=1,3,5,7
/proc/12891/task/12896/stat : 12896 (java) R 12888 12891 7151 0 -1 4202560 14281 0 1 0 16 1 0 0 18 0 18 0 826479392 13949833216 16114 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 13622748
[startup+0.300497 s]
/proc/loadavg: 1.48 1.90 1.96 2/513 12891
/proc/meminfo: memFree=21310064/32950928 swapFree=34259960/67111528
[pid=12891] ppid=12888 vsize=13623640 CPUtime=0.46 cores=1,3,5,7
/proc/12891/stat : 12891 (java) S 12888 12891 7151 0 -1 4202496 18463 0 1 0 44 2 0 0 17 0 18 0 826479392 13950607360 17828 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12891/statm: 3405910 17830 2200 9 0 3396644 0
[pid=12891/tid=12896] ppid=12888 vsize=13623640 CPUtime=0.27 cores=1,3,5,7
/proc/12891/task/12896/stat : 12896 (java) R 12888 12891 7151 0 -1 4202560 15397 0 1 0 26 1 0 0 18 0 18 0 826479392 13950607360 17831 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 46912505194949 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 13623640
[startup+0.700418 s]
/proc/loadavg: 1.48 1.90 1.96 2/513 12891
/proc/meminfo: memFree=21310064/32950928 swapFree=34259960/67111528
[pid=12891] ppid=12888 vsize=13624804 CPUtime=1.01 cores=1,3,5,7
/proc/12891/stat : 12891 (java) S 12888 12891 7151 0 -1 4202496 52020 0 1 0 96 5 0 0 17 0 19 0 826479392 13951799296 50525 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12891/statm: 3406201 50525 2222 9 0 3396935 0
[pid=12891/tid=12896] ppid=12888 vsize=13624804 CPUtime=0.68 cores=1,3,5,7
/proc/12891/task/12896/stat : 12896 (java) R 12888 12891 7151 0 -1 4202560 47157 0 1 0 63 5 0 0 19 0 19 0 826479392 13951799296 50525 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 47056643629827 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 13624804
[startup+1.50128 s]
/proc/loadavg: 1.84 1.97 1.98 3/554 12933
/proc/meminfo: memFree=20903008/32950928 swapFree=34259960/67111528
[pid=12891] ppid=12888 vsize=13626608 CPUtime=2.13 cores=1,3,5,7
/proc/12891/stat : 12891 (java) S 12888 12891 7151 0 -1 4202496 56632 0 1 0 207 6 0 0 17 0 19 0 826479392 13953646592 54876 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12891/statm: 3406652 54876 2231 9 0 3397386 0
[pid=12891/tid=12896] ppid=12888 vsize=13626608 CPUtime=1.48 cores=1,3,5,7
/proc/12891/task/12896/stat : 12896 (java) R 12888 12891 7151 0 -1 4202560 50915 0 1 0 143 5 0 0 18 0 19 0 826479392 13953646592 54876 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 47056648125267 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12891/tid=12900] ppid=12888 vsize=13626608 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12900/stat : 12900 (java) S 12888 12891 7151 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 826479395 13953646592 54876 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 3 0 0 0
[pid=12891/tid=12901] ppid=12888 vsize=13626608 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12901/stat : 12901 (java) S 12888 12891 7151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 826479395 13953646592 54876 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 1 0 0 0
[pid=12891/tid=12902] ppid=12888 vsize=13626608 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12902/stat : 12902 (java) S 12888 12891 7151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 826479395 13953646592 54876 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 1 0 0 0
[pid=12891/tid=12903] ppid=12888 vsize=13626608 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12903/stat : 12903 (java) S 12888 12891 7151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 826479395 13953646592 54876 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 1 0 0 0
[pid=12891/tid=12904] ppid=12888 vsize=13626608 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12904/stat : 12904 (java) S 12888 12891 7151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 826479395 13953646592 54876 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 1 0 0 0
[pid=12891/tid=12905] ppid=12888 vsize=13626608 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12905/stat : 12905 (java) S 12888 12891 7151 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 826479395 13953646592 54876 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 1 0 0 0
[pid=12891/tid=12906] ppid=12888 vsize=13626608 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12906/stat : 12906 (java) S 12888 12891 7151 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 826479395 13953646592 54877 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 1 0 0 0
[pid=12891/tid=12907] ppid=12888 vsize=13626608 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12907/stat : 12907 (java) S 12888 12891 7151 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 826479395 13953646592 54877 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 1 0 0 0
[pid=12891/tid=12916] ppid=12888 vsize=13626608 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12916/stat : 12916 (java) S 12888 12891 7151 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 826479396 13953646592 54877 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512508416 0 0 0 16800975 18446604460683756672 0 0 -1 3 0 0 0
[pid=12891/tid=12918] ppid=12888 vsize=13626608 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12918/stat : 12918 (java) S 12888 12891 7151 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 826479396 13953646592 54877 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 3 0 0 0
[pid=12891/tid=12919] ppid=12888 vsize=13626608 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12919/stat : 12919 (java) S 12888 12891 7151 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 826479396 13953646592 54877 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 3 0 0 0
[pid=12891/tid=12922] ppid=12888 vsize=13626608 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12922/stat : 12922 (java) S 12888 12891 7151 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 826479398 13953646592 54877 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512515505 0 4 0 16800975 18446604460683756672 0 0 -1 3 0 0 0
[pid=12891/tid=12923] ppid=12888 vsize=13626608 CPUtime=0.29 cores=1,3,5,7
/proc/12891/task/12923/stat : 12923 (java) S 12888 12891 7151 0 -1 4202560 1154 0 0 0 29 0 0 0 15 0 19 0 826479398 13953646592 54877 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 3 0 0 0
[pid=12891/tid=12924] ppid=12888 vsize=13626608 CPUtime=0.33 cores=1,3,5,7
/proc/12891/task/12924/stat : 12924 (java) S 12888 12891 7151 0 -1 4202560 3403 0 0 0 33 0 0 0 17 0 19 0 826479398 13953646592 54877 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 5 0 0 0
[pid=12891/tid=12926] ppid=12888 vsize=13626608 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12926/stat : 12926 (java) S 12888 12891 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826479398 13953646592 54877 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 3 0 0 0
[pid=12891/tid=12928] ppid=12888 vsize=13626608 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12928/stat : 12928 (java) S 12888 12891 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826479398 13953646592 54877 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512508416 0 4 0 16800975 18446604460683756672 0 0 -1 7 0 0 0
[pid=12891/tid=12932] ppid=12888 vsize=13626608 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12932/stat : 12932 (java) S 12888 12891 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826479459 13953646592 54877 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512508416 0 4 0 16800975 18446604460683756672 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.13
Current children cumulated vsize (KiB) 13626608
[startup+3.10096 s]
/proc/loadavg: 1.84 1.97 1.98 4/554 12933
/proc/meminfo: memFree=20823028/32950928 swapFree=34259960/67111528
[pid=12891] ppid=12888 vsize=13626608 CPUtime=3.8 cores=1,3,5,7
/proc/12891/stat : 12891 (java) S 12888 12891 7151 0 -1 4202496 71908 0 1 0 372 8 0 0 17 0 19 0 826479392 13953646592 70147 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12891/statm: 3406652 70147 2259 9 0 3397386 0
[pid=12891/tid=12896] ppid=12888 vsize=13626608 CPUtime=3.03 cores=1,3,5,7
/proc/12891/task/12896/stat : 12896 (java) R 12888 12891 7151 0 -1 4202560 55566 0 1 0 297 6 0 0 18 0 19 0 826479392 13953646592 70147 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 46912505734196 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12891/tid=12900] ppid=12888 vsize=13626608 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12900/stat : 12900 (java) S 12888 12891 7151 0 -1 4202560 1077 0 0 0 0 0 0 0 18 0 19 0 826479395 13953646592 70147 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 1 0 0 0
[pid=12891/tid=12901] ppid=12888 vsize=13626608 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12901/stat : 12901 (java) S 12888 12891 7151 0 -1 4202560 954 0 0 0 0 0 0 0 18 0 19 0 826479395 13953646592 70147 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 7 0 0 0
[pid=12891/tid=12902] ppid=12888 vsize=13626608 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12902/stat : 12902 (java) S 12888 12891 7151 0 -1 4202560 1401 0 0 0 0 0 0 0 18 0 19 0 826479395 13953646592 70147 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 7 0 0 0
[pid=12891/tid=12903] ppid=12888 vsize=13626608 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12903/stat : 12903 (java) S 12888 12891 7151 0 -1 4202560 600 0 0 0 0 0 0 0 18 0 19 0 826479395 13953646592 70147 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 1 0 0 0
[pid=12891/tid=12904] ppid=12888 vsize=13626608 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12904/stat : 12904 (java) S 12888 12891 7151 0 -1 4202560 1367 0 0 0 0 0 0 0 18 0 19 0 826479395 13953646592 70147 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 1 0 0 0
[pid=12891/tid=12905] ppid=12888 vsize=13626608 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12905/stat : 12905 (java) S 12888 12891 7151 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 826479395 13953646592 70147 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 1 0 0 0
[pid=12891/tid=12906] ppid=12888 vsize=13626608 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12906/stat : 12906 (java) S 12888 12891 7151 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 826479395 13953646592 70147 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 1 0 0 0
[pid=12891/tid=12907] ppid=12888 vsize=13626608 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12907/stat : 12907 (java) S 12888 12891 7151 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826479395 13953646592 70147 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 1 0 0 0
[pid=12891/tid=12916] ppid=12888 vsize=13626608 CPUtime=0.02 cores=1,3,5,7
/proc/12891/task/12916/stat : 12916 (java) S 12888 12891 7151 0 -1 4202560 5193 0 0 0 2 0 0 0 15 0 19 0 826479396 13953646592 70147 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512508416 0 0 0 16800975 18446604460683756672 0 0 -1 3 0 0 0
[pid=12891/tid=12918] ppid=12888 vsize=13626608 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12918/stat : 12918 (java) S 12888 12891 7151 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826479396 13953646592 70147 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 3 0 0 0
[pid=12891/tid=12919] ppid=12888 vsize=13626608 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12919/stat : 12919 (java) S 12888 12891 7151 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826479396 13953646592 70147 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 3 0 0 0
[pid=12891/tid=12922] ppid=12888 vsize=13626608 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12922/stat : 12922 (java) S 12888 12891 7151 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 826479398 13953646592 70147 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512515505 0 4 0 16800975 18446604460683756672 0 0 -1 3 0 0 0
[pid=12891/tid=12923] ppid=12888 vsize=13626608 CPUtime=0.3 cores=1,3,5,7
/proc/12891/task/12923/stat : 12923 (java) S 12888 12891 7151 0 -1 4202560 1157 0 0 0 30 0 0 0 15 0 19 0 826479398 13953646592 70147 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 3 0 0 0
[pid=12891/tid=12924] ppid=12888 vsize=13626608 CPUtime=0.38 cores=1,3,5,7
/proc/12891/task/12924/stat : 12924 (java) S 12888 12891 7151 0 -1 4202560 3439 0 0 0 38 0 0 0 15 0 19 0 826479398 13953646592 70147 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 5 0 0 0
[pid=12891/tid=12926] ppid=12888 vsize=13626608 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12926/stat : 12926 (java) S 12888 12891 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826479398 13953646592 70147 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 3 0 0 0
[pid=12891/tid=12928] ppid=12888 vsize=13626608 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12928/stat : 12928 (java) S 12888 12891 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826479398 13953646592 70147 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512508416 0 4 0 16800975 18446604460683756672 0 0 -1 7 0 0 0
[pid=12891/tid=12932] ppid=12888 vsize=13626608 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12932/stat : 12932 (java) S 12888 12891 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826479459 13953646592 70147 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512508416 0 4 0 16800975 18446604460683756672 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 13626608
[startup+6.30133 s]
/proc/loadavg: 1.84 1.97 1.98 3/554 12933
/proc/meminfo: memFree=20681916/32950928 swapFree=34259960/67111528
[pid=12891] ppid=12888 vsize=13626608 CPUtime=7.06 cores=1,3,5,7
/proc/12891/stat : 12891 (java) S 12888 12891 7151 0 -1 4202496 84034 0 1 0 697 9 0 0 17 0 19 0 826479392 13953646592 82104 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12891/statm: 3406652 82104 2259 9 0 3397386 0
[pid=12891/tid=12896] ppid=12888 vsize=13626608 CPUtime=6.16 cores=1,3,5,7
/proc/12891/task/12896/stat : 12896 (java) R 12888 12891 7151 0 -1 4202560 55569 0 1 0 610 6 0 0 21 0 19 0 826479392 13953646592 82104 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 46912505767052 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12891/tid=12900] ppid=12888 vsize=13626608 CPUtime=0.01 cores=1,3,5,7
/proc/12891/task/12900/stat : 12900 (java) S 12888 12891 7151 0 -1 4202560 1245 0 0 0 1 0 0 0 16 0 19 0 826479395 13953646592 82104 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 1 0 0 0
[pid=12891/tid=12901] ppid=12888 vsize=13626608 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12901/stat : 12901 (java) S 12888 12891 7151 0 -1 4202560 954 0 0 0 0 0 0 0 15 0 19 0 826479395 13953646592 82104 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 7 0 0 0
[pid=12891/tid=12902] ppid=12888 vsize=13626608 CPUtime=0.01 cores=1,3,5,7
/proc/12891/task/12902/stat : 12902 (java) S 12888 12891 7151 0 -1 4202560 5123 0 0 0 1 0 0 0 18 0 19 0 826479395 13953646592 82104 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 7 0 0 0
[pid=12891/tid=12903] ppid=12888 vsize=13626608 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12903/stat : 12903 (java) S 12888 12891 7151 0 -1 4202560 600 0 0 0 0 0 0 0 15 0 19 0 826479395 13953646592 82104 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 1 0 0 0
[pid=12891/tid=12904] ppid=12888 vsize=13626608 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12904/stat : 12904 (java) S 12888 12891 7151 0 -1 4202560 1409 0 0 0 0 0 0 0 18 0 19 0 826479395 13953646592 82104 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 1 0 0 0
[pid=12891/tid=12905] ppid=12888 vsize=13626608 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12905/stat : 12905 (java) S 12888 12891 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826479395 13953646592 82104 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 1 0 0 0
[pid=12891/tid=12906] ppid=12888 vsize=13626608 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12906/stat : 12906 (java) S 12888 12891 7151 0 -1 4202560 195 0 0 0 0 0 0 0 16 0 19 0 826479395 13953646592 82104 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 1 0 0 0
[pid=12891/tid=12907] ppid=12888 vsize=13626608 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12907/stat : 12907 (java) S 12888 12891 7151 0 -1 4202560 3096 0 0 0 0 0 0 0 15 0 19 0 826479395 13953646592 82104 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 1 0 0 0
[pid=12891/tid=12916] ppid=12888 vsize=13626608 CPUtime=0.08 cores=1,3,5,7
/proc/12891/task/12916/stat : 12916 (java) S 12888 12891 7151 0 -1 4202560 10089 0 0 0 7 1 0 0 15 0 19 0 826479396 13953646592 82104 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512508416 0 0 0 16800975 18446604460683756672 0 0 -1 3 0 0 0
[pid=12891/tid=12918] ppid=12888 vsize=13626608 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12918/stat : 12918 (java) S 12888 12891 7151 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826479396 13953646592 82104 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 3 0 0 0
[pid=12891/tid=12919] ppid=12888 vsize=13626608 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12919/stat : 12919 (java) S 12888 12891 7151 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826479396 13953646592 82104 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 3 0 0 0
[pid=12891/tid=12922] ppid=12888 vsize=13626608 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12922/stat : 12922 (java) S 12888 12891 7151 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 826479398 13953646592 82104 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512515505 0 4 0 16800975 18446604460683756672 0 0 -1 3 0 0 0
[pid=12891/tid=12923] ppid=12888 vsize=13626608 CPUtime=0.32 cores=1,3,5,7
/proc/12891/task/12923/stat : 12923 (java) S 12888 12891 7151 0 -1 4202560 1158 0 0 0 32 0 0 0 15 0 19 0 826479398 13953646592 82104 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 3 0 0 0
[pid=12891/tid=12924] ppid=12888 vsize=13626608 CPUtime=0.4 cores=1,3,5,7
/proc/12891/task/12924/stat : 12924 (java) S 12888 12891 7151 0 -1 4202560 3444 0 0 0 40 0 0 0 15 0 19 0 826479398 13953646592 82104 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/12891/task/12919/stat : 12919 (java) S 12888 12891 7151 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826479396 13952569344 379008 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 3 0 0 0
[pid=12891/tid=12922] ppid=12888 vsize=13625556 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12922/stat : 12922 (java) S 12888 12891 7151 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 826479398 13952569344 379008 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512515505 0 4 0 16800975 18446604460683756672 0 0 -1 3 0 0 0
[pid=12891/tid=12923] ppid=12888 vsize=13625556 CPUtime=0.39 cores=1,3,5,7
/proc/12891/task/12923/stat : 12923 (java) S 12888 12891 7151 0 -1 4202560 1183 0 0 0 39 0 0 0 15 0 19 0 826479398 13952569344 379008 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 3 0 0 0
[pid=12891/tid=12924] ppid=12888 vsize=13625556 CPUtime=0.4 cores=1,3,5,7
/proc/12891/task/12924/stat : 12924 (java) S 12888 12891 7151 0 -1 4202560 3444 0 0 0 40 0 0 0 15 0 19 0 826479398 13952569344 379008 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 5 0 0 0
[pid=12891/tid=12926] ppid=12888 vsize=13625556 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12926/stat : 12926 (java) S 12888 12891 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826479398 13952569344 379008 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 3 0 0 0
[pid=12891/tid=12928] ppid=12888 vsize=13625556 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12928/stat : 12928 (java) S 12888 12891 7151 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 826479398 13952569344 379008 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512508416 0 4 0 16800975 18446604460683756672 0 0 -1 3 0 0 0
[pid=12891/tid=12932] ppid=12888 vsize=13625556 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12932/stat : 12932 (java) S 12888 12891 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826479459 13952569344 379008 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512508416 0 4 0 16800975 18446604460683756672 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1668.97
Current children cumulated vsize (KiB) 13625556
[startup+1722.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/554 12991
/proc/meminfo: memFree=18264028/32950928 swapFree=34259960/67111528
[pid=12891] ppid=12888 vsize=13625556 CPUtime=1729.31 cores=1,3,5,7
/proc/12891/stat : 12891 (java) S 12888 12891 7151 0 -1 4202496 384788 0 1 0 172882 49 0 0 17 0 19 0 826479392 13952569344 382316 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12891/statm: 3406389 382316 2260 9 0 3397123 0
[pid=12891/tid=12896] ppid=12888 vsize=13625556 CPUtime=1711.56 cores=1,3,5,7
/proc/12891/task/12896/stat : 12896 (java) R 12888 12891 7151 0 -1 4202560 102816 0 1 0 171142 14 0 0 25 0 19 0 826479392 13952569344 382316 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 46912505760710 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12891/tid=12900] ppid=12888 vsize=13625556 CPUtime=1.28 cores=1,3,5,7
/proc/12891/task/12900/stat : 12900 (java) S 12888 12891 7151 0 -1 4202560 28571 0 0 0 125 3 0 0 16 0 19 0 826479395 13952569344 382316 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 7 0 0 0
[pid=12891/tid=12901] ppid=12888 vsize=13625556 CPUtime=1.08 cores=1,3,5,7
/proc/12891/task/12901/stat : 12901 (java) S 12888 12891 7151 0 -1 4202560 15579 0 0 0 107 1 0 0 16 0 19 0 826479395 13952569344 382316 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 5 0 0 0
[pid=12891/tid=12902] ppid=12888 vsize=13625556 CPUtime=1.45 cores=1,3,5,7
/proc/12891/task/12902/stat : 12902 (java) S 12888 12891 7151 0 -1 4202560 19718 0 0 0 143 2 0 0 16 0 19 0 826479395 13952569344 382316 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 3 0 0 0
[pid=12891/tid=12903] ppid=12888 vsize=13625556 CPUtime=1.1 cores=1,3,5,7
/proc/12891/task/12903/stat : 12903 (java) S 12888 12891 7151 0 -1 4202560 22406 0 0 0 108 2 0 0 15 0 19 0 826479395 13952569344 382316 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 5 0 0 0
[pid=12891/tid=12904] ppid=12888 vsize=13625556 CPUtime=1.19 cores=1,3,5,7
/proc/12891/task/12904/stat : 12904 (java) S 12888 12891 7151 0 -1 4202560 21774 0 0 0 117 2 0 0 15 0 19 0 826479395 13952569344 382316 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 7 0 0 0
[pid=12891/tid=12905] ppid=12888 vsize=13625556 CPUtime=1.04 cores=1,3,5,7
/proc/12891/task/12905/stat : 12905 (java) S 12888 12891 7151 0 -1 4202560 15359 0 0 0 103 1 0 0 16 0 19 0 826479395 13952569344 382316 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 7 0 0 0
[pid=12891/tid=12906] ppid=12888 vsize=13625556 CPUtime=1.25 cores=1,3,5,7
/proc/12891/task/12906/stat : 12906 (java) S 12888 12891 7151 0 -1 4202560 16783 0 0 0 123 2 0 0 16 0 19 0 826479395 13952569344 382316 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 7 0 0 0
[pid=12891/tid=12907] ppid=12888 vsize=13625556 CPUtime=0.92 cores=1,3,5,7
/proc/12891/task/12907/stat : 12907 (java) S 12888 12891 7151 0 -1 4202560 15223 0 0 0 90 2 0 0 15 0 19 0 826479395 13952569344 382316 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 5 0 0 0
[pid=12891/tid=12916] ppid=12888 vsize=13625556 CPUtime=7.52 cores=1,3,5,7
/proc/12891/task/12916/stat : 12916 (java) S 12888 12891 7151 0 -1 4202560 120681 0 0 0 739 13 0 0 15 0 19 0 826479396 13952569344 382316 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512508416 0 0 0 16800975 18446604460683756672 0 0 -1 1 0 0 0
[pid=12891/tid=12918] ppid=12888 vsize=13625556 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12918/stat : 12918 (java) S 12888 12891 7151 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826479396 13952569344 382316 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 3 0 0 0
[pid=12891/tid=12919] ppid=12888 vsize=13625556 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12919/stat : 12919 (java) S 12888 12891 7151 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826479396 13952569344 382316 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 3 0 0 0
[pid=12891/tid=12922] ppid=12888 vsize=13625556 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12922/stat : 12922 (java) S 12888 12891 7151 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 826479398 13952569344 382316 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512515505 0 4 0 16800975 18446604460683756672 0 0 -1 3 0 0 0
[pid=12891/tid=12923] ppid=12888 vsize=13625556 CPUtime=0.39 cores=1,3,5,7
/proc/12891/task/12923/stat : 12923 (java) S 12888 12891 7151 0 -1 4202560 1183 0 0 0 39 0 0 0 15 0 19 0 826479398 13952569344 382316 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 3 0 0 0
[pid=12891/tid=12924] ppid=12888 vsize=13625556 CPUtime=0.4 cores=1,3,5,7
/proc/12891/task/12924/stat : 12924 (java) S 12888 12891 7151 0 -1 4202560 3444 0 0 0 40 0 0 0 15 0 19 0 826479398 13952569344 382316 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 5 0 0 0
[pid=12891/tid=12926] ppid=12888 vsize=13625556 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12926/stat : 12926 (java) S 12888 12891 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826479398 13952569344 382316 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 3 0 0 0
[pid=12891/tid=12928] ppid=12888 vsize=13625556 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12928/stat : 12928 (java) S 12888 12891 7151 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 826479398 13952569344 382316 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512508416 0 4 0 16800975 18446604460683756672 0 0 -1 3 0 0 0
[pid=12891/tid=12932] ppid=12888 vsize=13625556 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12932/stat : 12932 (java) S 12888 12891 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826479459 13952569344 382316 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512508416 0 4 0 16800975 18446604460683756672 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1729.31
Current children cumulated vsize (KiB) 13625556
[startup+1782.3 s]
/proc/loadavg: 2.38 2.14 2.04 3/554 12993
/proc/meminfo: memFree=18233496/32950928 swapFree=34259960/67111528
[pid=12891] ppid=12888 vsize=13625556 CPUtime=1789.51 cores=1,3,5,7
/proc/12891/stat : 12891 (java) S 12888 12891 7151 0 -1 4202496 390399 0 1 0 178901 50 0 0 17 0 19 0 826479392 13952569344 387922 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12891/statm: 3406389 387922 2260 9 0 3397123 0
[pid=12891/tid=12896] ppid=12888 vsize=13625556 CPUtime=1771.36 cores=1,3,5,7
/proc/12891/task/12896/stat : 12896 (java) R 12888 12891 7151 0 -1 4202560 102877 0 1 0 177122 14 0 0 25 0 19 0 826479392 13952569344 387922 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 46912505767364 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12891/tid=12900] ppid=12888 vsize=13625556 CPUtime=1.36 cores=1,3,5,7
/proc/12891/task/12900/stat : 12900 (java) S 12888 12891 7151 0 -1 4202560 30078 0 0 0 133 3 0 0 16 0 19 0 826479395 13952569344 387922 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 7 0 0 0
[pid=12891/tid=12901] ppid=12888 vsize=13625556 CPUtime=1.11 cores=1,3,5,7
/proc/12891/task/12901/stat : 12901 (java) S 12888 12891 7151 0 -1 4202560 16749 0 0 0 110 1 0 0 15 0 19 0 826479395 13952569344 387922 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 3 0 0 0
[pid=12891/tid=12902] ppid=12888 vsize=13625556 CPUtime=1.45 cores=1,3,5,7
/proc/12891/task/12902/stat : 12902 (java) S 12888 12891 7151 0 -1 4202560 19718 0 0 0 143 2 0 0 15 0 19 0 826479395 13952569344 387922 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 3 0 0 0
[pid=12891/tid=12903] ppid=12888 vsize=13625556 CPUtime=1.17 cores=1,3,5,7
/proc/12891/task/12903/stat : 12903 (java) S 12888 12891 7151 0 -1 4202560 23932 0 0 0 115 2 0 0 16 0 19 0 826479395 13952569344 387922 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 5 0 0 0
[pid=12891/tid=12904] ppid=12888 vsize=13625556 CPUtime=1.19 cores=1,3,5,7
/proc/12891/task/12904/stat : 12904 (java) S 12888 12891 7151 0 -1 4202560 21774 0 0 0 117 2 0 0 15 0 19 0 826479395 13952569344 387922 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 3 0 0 0
[pid=12891/tid=12905] ppid=12888 vsize=13625556 CPUtime=1.04 cores=1,3,5,7
/proc/12891/task/12905/stat : 12905 (java) S 12888 12891 7151 0 -1 4202560 15359 0 0 0 103 1 0 0 15 0 19 0 826479395 13952569344 387922 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 7 0 0 0
[pid=12891/tid=12906] ppid=12888 vsize=13625556 CPUtime=1.32 cores=1,3,5,7
/proc/12891/task/12906/stat : 12906 (java) S 12888 12891 7151 0 -1 4202560 18126 0 0 0 130 2 0 0 16 0 19 0 826479395 13952569344 387922 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 7 0 0 0
[pid=12891/tid=12907] ppid=12888 vsize=13625556 CPUtime=0.93 cores=1,3,5,7
/proc/12891/task/12907/stat : 12907 (java) S 12888 12891 7151 0 -1 4202560 15223 0 0 0 91 2 0 0 15 0 19 0 826479395 13952569344 387922 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 5 0 0 0
[pid=12891/tid=12916] ppid=12888 vsize=13625556 CPUtime=7.63 cores=1,3,5,7
/proc/12891/task/12916/stat : 12916 (java) S 12888 12891 7151 0 -1 4202560 120683 0 0 0 750 13 0 0 15 0 19 0 826479396 13952569344 387922 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512508416 0 0 0 16800975 18446604460683756672 0 0 -1 1 0 0 0
[pid=12891/tid=12918] ppid=12888 vsize=13625556 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12918/stat : 12918 (java) S 12888 12891 7151 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826479396 13952569344 387922 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 3 0 0 0
[pid=12891/tid=12919] ppid=12888 vsize=13625556 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12919/stat : 12919 (java) S 12888 12891 7151 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826479396 13952569344 387922 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 3 0 0 0
[pid=12891/tid=12922] ppid=12888 vsize=13625556 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12922/stat : 12922 (java) S 12888 12891 7151 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 826479398 13952569344 387922 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512515505 0 4 0 16800975 18446604460683756672 0 0 -1 3 0 0 0
[pid=12891/tid=12923] ppid=12888 vsize=13625556 CPUtime=0.39 cores=1,3,5,7
/proc/12891/task/12923/stat : 12923 (java) S 12888 12891 7151 0 -1 4202560 1183 0 0 0 39 0 0 0 15 0 19 0 826479398 13952569344 387922 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 3 0 0 0
[pid=12891/tid=12924] ppid=12888 vsize=13625556 CPUtime=0.4 cores=1,3,5,7
/proc/12891/task/12924/stat : 12924 (java) S 12888 12891 7151 0 -1 4202560 3444 0 0 0 40 0 0 0 15 0 19 0 826479398 13952569344 387922 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 5 0 0 0
[pid=12891/tid=12926] ppid=12888 vsize=13625556 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12926/stat : 12926 (java) S 12888 12891 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826479398 13952569344 387922 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 3 0 0 0
[pid=12891/tid=12928] ppid=12888 vsize=13625556 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12928/stat : 12928 (java) S 12888 12891 7151 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 826479398 13952569344 387922 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512508416 0 4 0 16800975 18446604460683756672 0 0 -1 3 0 0 0
[pid=12891/tid=12932] ppid=12888 vsize=13625556 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12932/stat : 12932 (java) S 12888 12891 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826479459 13952569344 387922 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512508416 0 4 0 16800975 18446604460683756672 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1789.51
Current children cumulated vsize (KiB) 13625556
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1792.8 s]
/proc/loadavg: 2.32 2.13 2.04 3/533 12999
/proc/meminfo: memFree=19759716/32950928 swapFree=34259960/67111528
[pid=12891] ppid=12888 vsize=13625556 CPUtime=1800.02 cores=1,3,5,7
/proc/12891/stat : 12891 (java) S 12888 12891 7151 0 -1 4202496 390401 0 1 0 179952 50 0 0 17 0 19 0 826479392 13952569344 387922 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12891/statm: 3406389 387922 2260 9 0 3397123 0
[pid=12891/tid=12896] ppid=12888 vsize=13625556 CPUtime=1781.89 cores=1,3,5,7
/proc/12891/task/12896/stat : 12896 (java) R 12888 12891 7151 0 -1 4202560 102877 0 1 0 178175 14 0 0 25 0 19 0 826479392 13952569344 387922 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 46912505715814 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12891/tid=12900] ppid=12888 vsize=13625556 CPUtime=1.36 cores=1,3,5,7
/proc/12891/task/12900/stat : 12900 (java) S 12888 12891 7151 0 -1 4202560 30078 0 0 0 133 3 0 0 16 0 19 0 826479395 13952569344 387922 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 7 0 0 0
[pid=12891/tid=12901] ppid=12888 vsize=13625556 CPUtime=1.11 cores=1,3,5,7
/proc/12891/task/12901/stat : 12901 (java) S 12888 12891 7151 0 -1 4202560 16749 0 0 0 110 1 0 0 15 0 19 0 826479395 13952569344 387922 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 3 0 0 0
[pid=12891/tid=12902] ppid=12888 vsize=13625556 CPUtime=1.45 cores=1,3,5,7
/proc/12891/task/12902/stat : 12902 (java) S 12888 12891 7151 0 -1 4202560 19718 0 0 0 143 2 0 0 15 0 19 0 826479395 13952569344 387922 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 3 0 0 0
[pid=12891/tid=12903] ppid=12888 vsize=13625556 CPUtime=1.17 cores=1,3,5,7
/proc/12891/task/12903/stat : 12903 (java) S 12888 12891 7151 0 -1 4202560 23932 0 0 0 115 2 0 0 16 0 19 0 826479395 13952569344 387922 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 5 0 0 0
[pid=12891/tid=12904] ppid=12888 vsize=13625556 CPUtime=1.19 cores=1,3,5,7
/proc/12891/task/12904/stat : 12904 (java) S 12888 12891 7151 0 -1 4202560 21774 0 0 0 117 2 0 0 15 0 19 0 826479395 13952569344 387922 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 3 0 0 0
[pid=12891/tid=12905] ppid=12888 vsize=13625556 CPUtime=1.04 cores=1,3,5,7
/proc/12891/task/12905/stat : 12905 (java) S 12888 12891 7151 0 -1 4202560 15359 0 0 0 103 1 0 0 15 0 19 0 826479395 13952569344 387922 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 7 0 0 0
[pid=12891/tid=12906] ppid=12888 vsize=13625556 CPUtime=1.32 cores=1,3,5,7
/proc/12891/task/12906/stat : 12906 (java) S 12888 12891 7151 0 -1 4202560 18126 0 0 0 130 2 0 0 16 0 19 0 826479395 13952569344 387922 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 7 0 0 0
[pid=12891/tid=12907] ppid=12888 vsize=13625556 CPUtime=0.93 cores=1,3,5,7
/proc/12891/task/12907/stat : 12907 (java) S 12888 12891 7151 0 -1 4202560 15223 0 0 0 91 2 0 0 15 0 19 0 826479395 13952569344 387922 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 5 0 0 0
[pid=12891/tid=12916] ppid=12888 vsize=13625556 CPUtime=7.63 cores=1,3,5,7
/proc/12891/task/12916/stat : 12916 (java) S 12888 12891 7151 0 -1 4202560 120683 0 0 0 750 13 0 0 15 0 19 0 826479396 13952569344 387922 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512508416 0 0 0 16800975 18446604460683756672 0 0 -1 1 0 0 0
[pid=12891/tid=12918] ppid=12888 vsize=13625556 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12918/stat : 12918 (java) S 12888 12891 7151 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826479396 13952569344 387922 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 3 0 0 0
[pid=12891/tid=12919] ppid=12888 vsize=13625556 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12919/stat : 12919 (java) S 12888 12891 7151 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826479396 13952569344 387922 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 3 0 0 0
[pid=12891/tid=12922] ppid=12888 vsize=13625556 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12922/stat : 12922 (java) S 12888 12891 7151 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 826479398 13952569344 387922 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512515505 0 4 0 16800975 18446604460683756672 0 0 -1 3 0 0 0
[pid=12891/tid=12923] ppid=12888 vsize=13625556 CPUtime=0.39 cores=1,3,5,7
/proc/12891/task/12923/stat : 12923 (java) S 12888 12891 7151 0 -1 4202560 1183 0 0 0 39 0 0 0 15 0 19 0 826479398 13952569344 387922 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 3 0 0 0
[pid=12891/tid=12924] ppid=12888 vsize=13625556 CPUtime=0.4 cores=1,3,5,7
/proc/12891/task/12924/stat : 12924 (java) S 12888 12891 7151 0 -1 4202560 3444 0 0 0 40 0 0 0 15 0 19 0 826479398 13952569344 387922 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 5 0 0 0
[pid=12891/tid=12926] ppid=12888 vsize=13625556 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12926/stat : 12926 (java) S 12888 12891 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826479398 13952569344 387922 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512507801 0 4 0 16800975 18446604460683756672 0 0 -1 3 0 0 0
[pid=12891/tid=12928] ppid=12888 vsize=13625556 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12928/stat : 12928 (java) S 12888 12891 7151 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 826479398 13952569344 387922 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512508416 0 4 0 16800975 18446604460683756672 0 0 -1 3 0 0 0
[pid=12891/tid=12932] ppid=12888 vsize=13625556 CPUtime=0 cores=1,3,5,7
/proc/12891/task/12932/stat : 12932 (java) S 12888 12891 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826479459 13952569344 387922 33554432000 1073741824 1073778376 140734056753696 18446744073709551615 254512508416 0 4 0 16800975 18446604460683756672 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 13625556
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1792.93 s]
/proc/loadavg: 2.32 2.13 2.04 3/533 12999
/proc/meminfo: memFree=19759716/32950928 swapFree=34259960/67111528
[pid=12891] ppid=12888 vsize=0 CPUtime=1800.18 cores=1,3,5,7
/proc/12891/stat : 12891 (java) Z 12888 12891 7151 0 -1 4203548 390459 0 1 0 179962 56 0 0 15 0 2 0 826479392 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12891/statm: 0 0 0 0 0 0 0
[pid=12891/tid=12932] ppid=12888 vsize=0 CPUtime=0.06 cores=1,3,5,7
/proc/12891/task/12932/stat : 12932 (java) R 12888 12891 7151 0 -1 4203588 7 0 0 0 0 6 0 0 18 0 2 0 826479459 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1792.93
CPU time (s): 1800.19
CPU user time (s): 1799.63
CPU system time (s): 0.563914
CPU usage (%): 100.405
Max. virtual memory (cumulated for all children) (KiB): 13626608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.63
system time used= 0.563914
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 390459
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= 39086
involuntary context switches= 14093
runsolver used 9.12561 second user time and 23.4894 second system time
The end