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-3455424-1307196616/watcher-3455424-1307196616 -o /tmp/evaluation-result-3455424-1307196616/solver-3455424-1307196616 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455424-1307196616.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.18 3.37 3.43 2/532 21577
/proc/meminfo: memFree=22068896/32950928 swapFree=58671692/67111528
[pid=21577] ppid=21575 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/21577/stat : 21577 (java) S 21575 21577 21325 0 -1 4202496 6733 0 1 0 0 0 0 0 24 0 2 0 909892924 10694979584 6437 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427194341 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/21577/statm: 2611079 6450 917 9 0 2602235 0
[pid=21577/tid=21578] ppid=21575 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21578/stat : 21578 (java) R 21575 21577 21325 0 -1 4202560 8423 0 1 0 0 0 0 0 25 0 2 0 909892925 10694979584 9239 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256415085627 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.095869 s]
/proc/loadavg: 3.18 3.37 3.43 2/532 21577
/proc/meminfo: memFree=22068896/32950928 swapFree=58671692/67111528
[pid=21577] ppid=21575 vsize=10539908 CPUtime=0.09 cores=0,2,4,6
/proc/21577/stat : 21577 (java) S 21575 21577 21325 0 -1 4202496 12965 0 1 0 8 1 0 0 24 0 18 0 909892924 10792865792 12663 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21577/statm: 2634977 12664 2092 9 0 2625711 0
[pid=21577/tid=21578] ppid=21575 vsize=10539908 CPUtime=0.08 cores=0,2,4,6
/proc/21577/task/21578/stat : 21578 (java) R 21575 21577 21325 0 -1 4202560 11046 0 1 0 7 1 0 0 23 0 18 0 909892925 10792865792 12664 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 47119882109699 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10539908
[startup+0.100871 s]
/proc/loadavg: 3.18 3.37 3.43 2/532 21577
/proc/meminfo: memFree=22068896/32950928 swapFree=58671692/67111528
[pid=21577] ppid=21575 vsize=10539908 CPUtime=0.1 cores=0,2,4,6
/proc/21577/stat : 21577 (java) S 21575 21577 21325 0 -1 4202496 13035 0 1 0 9 1 0 0 24 0 18 0 909892924 10792865792 12733 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21577/statm: 2634977 12733 2092 9 0 2625711 0
[pid=21577/tid=21578] ppid=21575 vsize=10539908 CPUtime=0.08 cores=0,2,4,6
/proc/21577/task/21578/stat : 21578 (java) R 21575 21577 21325 0 -1 4202560 11115 0 1 0 7 1 0 0 23 0 18 0 909892925 10792865792 12733 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 47119882109699 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539908
[startup+0.30083 s]
/proc/loadavg: 3.18 3.37 3.43 2/532 21577
/proc/meminfo: memFree=22068896/32950928 swapFree=58671692/67111528
[pid=21577] ppid=21575 vsize=10540984 CPUtime=0.4 cores=0,2,4,6
/proc/21577/stat : 21577 (java) S 21575 21577 21325 0 -1 4202496 72018 0 1 0 31 9 0 0 24 0 18 0 909892924 10793967616 71659 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21577/statm: 2635246 71659 2194 9 0 2625980 0
[pid=21577/tid=21578] ppid=21575 vsize=10540984 CPUtime=0.28 cores=0,2,4,6
/proc/21577/task/21578/stat : 21578 (java) R 21575 21577 21325 0 -1 4202560 69526 0 1 0 19 9 0 0 23 0 18 0 909892925 10793967616 71659 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 46912505551966 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 10540984
[startup+0.700794 s]
/proc/loadavg: 3.18 3.37 3.43 2/532 21577
/proc/meminfo: memFree=22068896/32950928 swapFree=58671692/67111528
[pid=21577] ppid=21575 vsize=10540724 CPUtime=0.86 cores=0,2,4,6
/proc/21577/stat : 21577 (java) S 21575 21577 21325 0 -1 4202496 102020 0 1 0 73 13 0 0 24 0 18 0 909892924 10793701376 101531 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21577/statm: 2635181 101534 2199 9 0 2625915 0
[pid=21577/tid=21578] ppid=21575 vsize=10540724 CPUtime=0.68 cores=0,2,4,6
/proc/21577/task/21578/stat : 21578 (java) R 21575 21577 21325 0 -1 4202560 99312 0 1 0 56 12 0 0 25 0 18 0 909892925 10793701376 101535 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 46912505574479 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 10540724
[startup+1.50164 s]
/proc/loadavg: 3.18 3.37 3.43 3/550 21595
/proc/meminfo: memFree=21262760/32950928 swapFree=58671692/67111528
[pid=21577] ppid=21575 vsize=10540724 CPUtime=1.66 cores=0,2,4,6
/proc/21577/stat : 21577 (java) S 21575 21577 21325 0 -1 4202496 163346 0 1 0 145 21 0 0 24 0 18 0 909892924 10793701376 162856 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21577/statm: 2635181 162859 2199 9 0 2625915 0
[pid=21577/tid=21578] ppid=21575 vsize=10540724 CPUtime=1.48 cores=0,2,4,6
/proc/21577/task/21578/stat : 21578 (java) R 21575 21577 21325 0 -1 4202560 160637 0 1 0 128 20 0 0 25 0 18 0 909892925 10793701376 162860 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 46912505602801 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=21577/tid=21580] ppid=21575 vsize=10540724 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21580/stat : 21580 (java) S 21575 21577 21325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909892926 10793701376 162862 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 6 0 0 0
[pid=21577/tid=21581] ppid=21575 vsize=10540724 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21581/stat : 21581 (java) S 21575 21577 21325 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 909892926 10793701376 162864 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 6 0 0 0
[pid=21577/tid=21582] ppid=21575 vsize=10540724 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21582/stat : 21582 (java) S 21575 21577 21325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909892926 10793701376 162866 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 6 0 0 0
[pid=21577/tid=21583] ppid=21575 vsize=10540724 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21583/stat : 21583 (java) S 21575 21577 21325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909892926 10793701376 162868 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 6 0 0 0
[pid=21577/tid=21584] ppid=21575 vsize=10540724 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21584/stat : 21584 (java) S 21575 21577 21325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909892926 10793701376 162870 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 6 0 0 0
[pid=21577/tid=21585] ppid=21575 vsize=10540724 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21585/stat : 21585 (java) S 21575 21577 21325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909892926 10793701376 162872 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 6 0 0 0
[pid=21577/tid=21586] ppid=21575 vsize=10540724 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21586/stat : 21586 (java) S 21575 21577 21325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909892926 10793701376 162874 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 6 0 0 0
[pid=21577/tid=21587] ppid=21575 vsize=10540724 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21587/stat : 21587 (java) S 21575 21577 21325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909892926 10793701376 162876 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 6 0 0 0
[pid=21577/tid=21588] ppid=21575 vsize=10540724 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21588/stat : 21588 (java) S 21575 21577 21325 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 909892927 10793701376 162878 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427208192 0 0 0 16800975 18446604447413040384 0 0 -1 4 0 0 0
[pid=21577/tid=21589] ppid=21575 vsize=10540724 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21589/stat : 21589 (java) S 21575 21577 21325 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 909892928 10793701376 162880 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 4 0 0 0
[pid=21577/tid=21590] ppid=21575 vsize=10540724 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21590/stat : 21590 (java) S 21575 21577 21325 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 18 0 909892928 10793701376 162882 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 6 0 0 0
[pid=21577/tid=21591] ppid=21575 vsize=10540724 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21591/stat : 21591 (java) S 21575 21577 21325 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 909892930 10793701376 162883 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427215281 0 4 0 16800975 18446604447413040384 0 0 -1 6 0 0 0
[pid=21577/tid=21592] ppid=21575 vsize=10540724 CPUtime=0.08 cores=0,2,4,6
/proc/21577/task/21592/stat : 21592 (java) S 21575 21577 21325 0 -1 4202560 690 0 0 0 8 0 0 0 15 0 18 0 909892930 10793701376 162885 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 6 0 0 0
[pid=21577/tid=21593] ppid=21575 vsize=10540724 CPUtime=0.08 cores=0,2,4,6
/proc/21577/task/21593/stat : 21593 (java) S 21575 21577 21325 0 -1 4202560 872 0 0 0 8 0 0 0 20 0 18 0 909892930 10793701376 162887 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 2 0 0 0
[pid=21577/tid=21594] ppid=21575 vsize=10540724 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21594/stat : 21594 (java) S 21575 21577 21325 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 909892930 10793701376 162889 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 6 0 0 0
[pid=21577/tid=21595] ppid=21575 vsize=10540724 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21595/stat : 21595 (java) S 21575 21577 21325 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 909892930 10793701376 162891 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427208192 0 4 0 16800975 18446604447413040384 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 10540724
[startup+3.10133 s]
/proc/loadavg: 3.18 3.37 3.43 3/550 21595
/proc/meminfo: memFree=20610276/32950928 swapFree=58671692/67111528
[pid=21577] ppid=21575 vsize=10540724 CPUtime=3.26 cores=0,2,4,6
/proc/21577/stat : 21577 (java) S 21575 21577 21325 0 -1 4202496 286877 0 1 0 290 36 0 0 24 0 18 0 909892924 10793701376 286388 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21577/statm: 2635181 286391 2203 9 0 2625915 0
[pid=21577/tid=21578] ppid=21575 vsize=10540724 CPUtime=3.08 cores=0,2,4,6
/proc/21577/task/21578/stat : 21578 (java) R 21575 21577 21325 0 -1 4202560 284165 0 1 0 273 35 0 0 25 0 18 0 909892925 10793701376 286392 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 46912505574580 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=21577/tid=21580] ppid=21575 vsize=10540724 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21580/stat : 21580 (java) S 21575 21577 21325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909892926 10793701376 286394 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 6 0 0 0
[pid=21577/tid=21581] ppid=21575 vsize=10540724 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21581/stat : 21581 (java) S 21575 21577 21325 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 909892926 10793701376 286396 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 6 0 0 0
[pid=21577/tid=21582] ppid=21575 vsize=10540724 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21582/stat : 21582 (java) S 21575 21577 21325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909892926 10793701376 286398 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 6 0 0 0
[pid=21577/tid=21583] ppid=21575 vsize=10540724 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21583/stat : 21583 (java) S 21575 21577 21325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909892926 10793701376 286400 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 6 0 0 0
[pid=21577/tid=21584] ppid=21575 vsize=10540724 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21584/stat : 21584 (java) S 21575 21577 21325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909892926 10793701376 286402 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 6 0 0 0
[pid=21577/tid=21585] ppid=21575 vsize=10540724 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21585/stat : 21585 (java) S 21575 21577 21325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909892926 10793701376 286403 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 6 0 0 0
[pid=21577/tid=21586] ppid=21575 vsize=10540724 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21586/stat : 21586 (java) S 21575 21577 21325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909892926 10793701376 286405 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 6 0 0 0
[pid=21577/tid=21587] ppid=21575 vsize=10540724 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21587/stat : 21587 (java) S 21575 21577 21325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909892926 10793701376 286407 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 6 0 0 0
[pid=21577/tid=21588] ppid=21575 vsize=10540724 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21588/stat : 21588 (java) S 21575 21577 21325 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 909892927 10793701376 286409 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427208192 0 0 0 16800975 18446604447413040384 0 0 -1 4 0 0 0
[pid=21577/tid=21589] ppid=21575 vsize=10540724 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21589/stat : 21589 (java) S 21575 21577 21325 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 909892928 10793701376 286411 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 4 0 0 0
[pid=21577/tid=21590] ppid=21575 vsize=10540724 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21590/stat : 21590 (java) S 21575 21577 21325 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 18 0 909892928 10793701376 286412 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 6 0 0 0
[pid=21577/tid=21591] ppid=21575 vsize=10540724 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21591/stat : 21591 (java) S 21575 21577 21325 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 909892930 10793701376 286414 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427215281 0 4 0 16800975 18446604447413040384 0 0 -1 6 0 0 0
[pid=21577/tid=21592] ppid=21575 vsize=10540724 CPUtime=0.08 cores=0,2,4,6
/proc/21577/task/21592/stat : 21592 (java) S 21575 21577 21325 0 -1 4202560 694 0 0 0 8 0 0 0 15 0 18 0 909892930 10793701376 286416 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 6 0 0 0
[pid=21577/tid=21593] ppid=21575 vsize=10540724 CPUtime=0.08 cores=0,2,4,6
/proc/21577/task/21593/stat : 21593 (java) S 21575 21577 21325 0 -1 4202560 872 0 0 0 8 0 0 0 20 0 18 0 909892930 10793701376 286418 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 2 0 0 0
[pid=21577/tid=21594] ppid=21575 vsize=10540724 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21594/stat : 21594 (java) S 21575 21577 21325 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 909892930 10793701376 286420 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 6 0 0 0
[pid=21577/tid=21595] ppid=21575 vsize=10540724 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21595/stat : 21595 (java) S 21575 21577 21325 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 909892930 10793701376 286422 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427208192 0 4 0 16800975 18446604447413040384 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.26
Current children cumulated vsize (KiB) 10540724
[startup+6.30073 s]
/proc/loadavg: 3.25 3.38 3.43 3/550 21596
/proc/meminfo: memFree=18493628/32950928 swapFree=58671692/67111528
[pid=21577] ppid=21575 vsize=10540724 CPUtime=6.48 cores=0,2,4,6
/proc/21577/stat : 21577 (java) S 21575 21577 21325 0 -1 4202496 548085 0 1 0 583 65 0 0 24 0 18 0 909892924 10793701376 547469 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21577/statm: 2635181 547473 2205 9 0 2625915 0
[pid=21577/tid=21578] ppid=21575 vsize=10540724 CPUtime=6.28 cores=0,2,4,6
/proc/21577/task/21578/stat : 21578 (java) R 21575 21577 21325 0 -1 4202560 545339 0 1 0 564 64 0 0 25 0 18 0 909892925 10793701376 547474 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 46912505546779 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=21577/tid=21580] ppid=21575 vsize=10540724 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21580/stat : 21580 (java) S 21575 21577 21325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909892926 10793701376 547477 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 6 0 0 0
[pid=21577/tid=21581] ppid=21575 vsize=10540724 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21581/stat : 21581 (java) S 21575 21577 21325 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 909892926 10793701376 547479 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 6 0 0 0
[pid=21577/tid=21582] ppid=21575 vsize=10540724 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21582/stat : 21582 (java) S 21575 21577 21325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909892926 10793701376 547481 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 6 0 0 0
[pid=21577/tid=21583] ppid=21575 vsize=10540724 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21583/stat : 21583 (java) S 21575 21577 21325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909892926 10793701376 547483 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 6 0 0 0
[pid=21577/tid=21584] ppid=21575 vsize=10540724 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21584/stat : 21584 (java) S 21575 21577 21325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909892926 10793701376 547486 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 6 0 0 0
[pid=21577/tid=21585] ppid=21575 vsize=10540724 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21585/stat : 21585 (java) S 21575 21577 21325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909892926 10793701376 547488 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 6 0 0 0
[pid=21577/tid=21586] ppid=21575 vsize=10540724 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21586/stat : 21586 (java) S 21575 21577 21325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909892926 10793701376 547490 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 6 0 0 0
[pid=21577/tid=21587] ppid=21575 vsize=10540724 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21587/stat : 21587 (java) S 21575 21577 21325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909892926 10793701376 547492 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 6 0 0 0
[pid=21577/tid=21588] ppid=21575 vsize=10540724 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21588/stat : 21588 (java) S 21575 21577 21325 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 18 0 909892927 10793701376 547494 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427208192 0 0 0 16800975 18446604447413040384 0 0 -1 4 0 0 0
[pid=21577/tid=21589] ppid=21575 vsize=10540724 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21589/stat : 21589 (java) S 21575 21577 21325 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 909892928 10793701376 547496 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 4 0 0 0
[pid=21577/tid=21590] ppid=21575 vsize=10540724 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21590/stat : 21590 (java) S 21575 21577 21325 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 18 0 909892928 10793701376 547499 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 6 0 0 0
[pid=21577/tid=21591] ppid=21575 vsize=10540724 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21591/stat : 21591 (java) S 21575 21577 21325 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 909892930 10793701376 547501 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427215281 0 4 0 16800975 18446604447413040384 0 0 -1 6 0 0 0
[pid=21577/tid=21592] ppid=21575 vsize=10540724 CPUtime=0.1 cores=0,2,4,6
/proc/21577/task/21592/stat : 21592 (java) S 21575 21577 21325 0 -1 4202560 725 0 0 0 10 0 0 0 15 0 18 0 909892930 10793701376 547503 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 6 0 0 0
[pid=21577/tid=21593] ppid=21575 vsize=10540724 CPUtime=0.08 cores=0,2,4,6
/proc/21577/task/21593/stat : 21593 (java) S 21575 21577 21325 0 -1 4202560 873 0 0 0 8 0 0 0 18 0 18 0 909892930 10793701376 547504 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 2 0 0 0
[pid=21577/tid=21594] ppid=21575 vsize=10540724 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21594/stat : 21594 (java) S 21575 21577 21325 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 909892930 10793701376 547505 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 6 0 0 0
[pid=21577/tid=21595] ppid=21575 vsize=10540724 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21595/stat : 21595 (java) S 21575 21577 21325 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 909892930 10793701376 547508 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427208192 0 4 0 16800975 18446604447413040384 0 0 -1 2 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=4539636/32950928 swapFree=58671692/67111528
[pid=21577] ppid=21575 vsize=10559420 CPUtime=1606.61 cores=0,2,4,6
/proc/21577/stat : 21577 (java) S 21575 21577 21325 0 -1 4202496 2221770 0 1 0 160323 338 0 0 24 0 22 0 909892924 10812846080 2207165 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21577/statm: 2639855 2207165 2251 9 0 2630589 0
[pid=21577/tid=21578] ppid=21575 vsize=10559420 CPUtime=72.31 cores=0,2,4,6
/proc/21577/task/21578/stat : 21578 (java) S 21575 21577 21325 0 -1 4202560 651114 0 1 0 7143 88 0 0 15 0 22 0 909892925 10812846080 2207165 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427208192 0 4 0 16800975 18446604447413040384 0 0 -1 2 0 0 0
[pid=21577/tid=21580] ppid=21575 vsize=10559420 CPUtime=7.35 cores=0,2,4,6
/proc/21577/task/21580/stat : 21580 (java) S 21575 21577 21325 0 -1 4202560 161405 0 0 0 710 25 0 0 16 0 22 0 909892926 10812846080 2207165 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 0 0 0 0
[pid=21577/tid=21581] ppid=21575 vsize=10559420 CPUtime=7.21 cores=0,2,4,6
/proc/21577/task/21581/stat : 21581 (java) S 21575 21577 21325 0 -1 4202560 181691 0 0 0 691 30 0 0 15 0 22 0 909892926 10812846080 2207165 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 4 0 0 0
[pid=21577/tid=21582] ppid=21575 vsize=10559420 CPUtime=8.19 cores=0,2,4,6
/proc/21577/task/21582/stat : 21582 (java) S 21575 21577 21325 0 -1 4202560 208234 0 0 0 787 32 0 0 16 0 22 0 909892926 10812846080 2207165 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 0 0 0 0
[pid=21577/tid=21583] ppid=21575 vsize=10559420 CPUtime=8.94 cores=0,2,4,6
/proc/21577/task/21583/stat : 21583 (java) S 21575 21577 21325 0 -1 4202560 209768 0 0 0 863 31 0 0 16 0 22 0 909892926 10812846080 2207165 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 2 0 0 0
[pid=21577/tid=21584] ppid=21575 vsize=10559420 CPUtime=9.49 cores=0,2,4,6
/proc/21577/task/21584/stat : 21584 (java) S 21575 21577 21325 0 -1 4202560 188879 0 0 0 920 29 0 0 16 0 22 0 909892926 10812846080 2207165 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 4 0 0 0
[pid=21577/tid=21585] ppid=21575 vsize=10559420 CPUtime=9.45 cores=0,2,4,6
/proc/21577/task/21585/stat : 21585 (java) S 21575 21577 21325 0 -1 4202560 249366 0 0 0 905 40 0 0 15 0 22 0 909892926 10812846080 2207165 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 2 0 0 0
[pid=21577/tid=21586] ppid=21575 vsize=10559420 CPUtime=8.61 cores=0,2,4,6
/proc/21577/task/21586/stat : 21586 (java) S 21575 21577 21325 0 -1 4202560 189938 0 0 0 831 30 0 0 15 0 22 0 909892926 10812846080 2207165 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 4 0 0 0
[pid=21577/tid=21587] ppid=21575 vsize=10559420 CPUtime=7.31 cores=0,2,4,6
/proc/21577/task/21587/stat : 21587 (java) S 21575 21577 21325 0 -1 4202560 173201 0 0 0 706 25 0 0 16 0 22 0 909892926 10812846080 2207165 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 6 0 0 0
[pid=21577/tid=21588] ppid=21575 vsize=10559420 CPUtime=0.02 cores=0,2,4,6
/proc/21577/task/21588/stat : 21588 (java) S 21575 21577 21325 0 -1 4202560 46 0 0 0 1 1 0 0 15 0 22 0 909892927 10812846080 2207165 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427208192 0 0 0 16800975 18446604447413040384 0 0 -1 4 0 0 0
[pid=21577/tid=21589] ppid=21575 vsize=10559420 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21589/stat : 21589 (java) S 21575 21577 21325 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909892928 10812846080 2207165 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 4 0 0 0
[pid=21577/tid=21590] ppid=21575 vsize=10559420 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21590/stat : 21590 (java) S 21575 21577 21325 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 909892928 10812846080 2207165 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 6 0 0 0
[pid=21577/tid=21591] ppid=21575 vsize=10559420 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21591/stat : 21591 (java) S 21575 21577 21325 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909892930 10812846080 2207165 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427215281 0 4 0 16800975 18446604447413040384 0 0 -1 6 0 0 0
[pid=21577/tid=21592] ppid=21575 vsize=10559420 CPUtime=1.14 cores=0,2,4,6
/proc/21577/task/21592/stat : 21592 (java) S 21575 21577 21325 0 -1 4202560 4466 0 0 0 113 1 0 0 15 0 22 0 909892930 10812846080 2207165 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 0 0 0 0
[pid=21577/tid=21593] ppid=21575 vsize=10559420 CPUtime=0.96 cores=0,2,4,6
/proc/21577/task/21593/stat : 21593 (java) S 21575 21577 21325 0 -1 4202560 2330 0 0 0 96 0 0 0 16 0 22 0 909892930 10812846080 2207165 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 2 0 0 0
[pid=21577/tid=21594] ppid=21575 vsize=10559420 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21594/stat : 21594 (java) S 21575 21577 21325 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 909892930 10812846080 2207165 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 6 0 0 0
[pid=21577/tid=21595] ppid=21575 vsize=10559420 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21595/stat : 21595 (java) S 21575 21577 21325 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 22 0 909892930 10812846080 2207165 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427208192 0 4 0 16800975 18446604447413040384 0 0 -1 2 0 0 0
[pid=21577/tid=21599] ppid=21575 vsize=10559420 CPUtime=732.67 cores=0,2,4,6
/proc/21577/task/21599/stat : 21599 (java) R 21575 21577 21325 0 -1 4202560 41 0 0 0 73267 0 0 0 25 0 22 0 909901350 10812846080 2207165 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 46912506056630 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21577/tid=21600] ppid=21575 vsize=10559420 CPUtime=732.84 cores=0,2,4,6
/proc/21577/task/21600/stat : 21600 (java) R 21575 21577 21325 0 -1 4202560 87 0 0 0 73284 0 0 0 25 0 22 0 909901350 10812846080 2207165 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 46912506165236 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21577/tid=21601] ppid=21575 vsize=10559420 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21601/stat : 21601 (java) S 21575 21577 21325 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 909901476 10812846080 2207165 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427208192 0 4 0 16800975 18446604447413040384 0 0 -1 2 0 0 0
[pid=21577/tid=21602] ppid=21575 vsize=10559420 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21602/stat : 21602 (java) S 21575 21577 21325 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 22 0 909901476 10812846080 2207165 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427208192 0 4 0 16800975 18446604447413040384 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1606.61
Current children cumulated vsize (KiB) 10559420
[startup+882.301 s]
/proc/loadavg: 4.06 4.02 3.81 5/558 21627
/proc/meminfo: memFree=4509448/32950928 swapFree=58671692/67111528
[pid=21577] ppid=21575 vsize=10559420 CPUtime=1726.94 cores=0,2,4,6
/proc/21577/stat : 21577 (java) S 21575 21577 21325 0 -1 4202496 2229309 0 1 0 172355 339 0 0 24 0 22 0 909892924 10812846080 2214695 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21577/statm: 2639855 2214695 2251 9 0 2630589 0
[pid=21577/tid=21578] ppid=21575 vsize=10559420 CPUtime=72.31 cores=0,2,4,6
/proc/21577/task/21578/stat : 21578 (java) S 21575 21577 21325 0 -1 4202560 651114 0 1 0 7143 88 0 0 15 0 22 0 909892925 10812846080 2214695 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427208192 0 4 0 16800975 18446604447413040384 0 0 -1 2 0 0 0
[pid=21577/tid=21580] ppid=21575 vsize=10559420 CPUtime=7.37 cores=0,2,4,6
/proc/21577/task/21580/stat : 21580 (java) S 21575 21577 21325 0 -1 4202560 162537 0 0 0 712 25 0 0 15 0 22 0 909892926 10812846080 2214695 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 2 0 0 0
[pid=21577/tid=21581] ppid=21575 vsize=10559420 CPUtime=7.29 cores=0,2,4,6
/proc/21577/task/21581/stat : 21581 (java) S 21575 21577 21325 0 -1 4202560 182158 0 0 0 699 30 0 0 16 0 22 0 909892926 10812846080 2214695 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 2 0 0 0
[pid=21577/tid=21582] ppid=21575 vsize=10559420 CPUtime=8.27 cores=0,2,4,6
/proc/21577/task/21582/stat : 21582 (java) S 21575 21577 21325 0 -1 4202560 208592 0 0 0 794 33 0 0 16 0 22 0 909892926 10812846080 2214695 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 6 0 0 0
[pid=21577/tid=21583] ppid=21575 vsize=10559420 CPUtime=9.08 cores=0,2,4,6
/proc/21577/task/21583/stat : 21583 (java) S 21575 21577 21325 0 -1 4202560 213385 0 0 0 877 31 0 0 16 0 22 0 909892926 10812846080 2214695 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 0 0 0 0
[pid=21577/tid=21584] ppid=21575 vsize=10559420 CPUtime=9.64 cores=0,2,4,6
/proc/21577/task/21584/stat : 21584 (java) S 21575 21577 21325 0 -1 4202560 189631 0 0 0 935 29 0 0 16 0 22 0 909892926 10812846080 2214695 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 4 0 0 0
[pid=21577/tid=21585] ppid=21575 vsize=10559420 CPUtime=9.53 cores=0,2,4,6
/proc/21577/task/21585/stat : 21585 (java) S 21575 21577 21325 0 -1 4202560 250285 0 0 0 913 40 0 0 16 0 22 0 909892926 10812846080 2214695 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 2 0 0 0
[pid=21577/tid=21586] ppid=21575 vsize=10559420 CPUtime=8.62 cores=0,2,4,6
/proc/21577/task/21586/stat : 21586 (java) S 21575 21577 21325 0 -1 4202560 189938 0 0 0 832 30 0 0 16 0 22 0 909892926 10812846080 2214695 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 4 0 0 0
[pid=21577/tid=21587] ppid=21575 vsize=10559420 CPUtime=7.4 cores=0,2,4,6
/proc/21577/task/21587/stat : 21587 (java) S 21575 21577 21325 0 -1 4202560 173486 0 0 0 715 25 0 0 16 0 22 0 909892926 10812846080 2214695 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 6 0 0 0
[pid=21577/tid=21588] ppid=21575 vsize=10559420 CPUtime=0.02 cores=0,2,4,6
/proc/21577/task/21588/stat : 21588 (java) S 21575 21577 21325 0 -1 4202560 48 0 0 0 1 1 0 0 15 0 22 0 909892927 10812846080 2214695 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427208192 0 0 0 16800975 18446604447413040384 0 0 -1 4 0 0 0
[pid=21577/tid=21589] ppid=21575 vsize=10559420 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21589/stat : 21589 (java) S 21575 21577 21325 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909892928 10812846080 2214695 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 4 0 0 0
[pid=21577/tid=21590] ppid=21575 vsize=10559420 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21590/stat : 21590 (java) S 21575 21577 21325 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 909892928 10812846080 2214695 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 6 0 0 0
[pid=21577/tid=21591] ppid=21575 vsize=10559420 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21591/stat : 21591 (java) S 21575 21577 21325 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909892930 10812846080 2214695 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427215281 0 4 0 16800975 18446604447413040384 0 0 -1 6 0 0 0
[pid=21577/tid=21592] ppid=21575 vsize=10559420 CPUtime=1.14 cores=0,2,4,6
/proc/21577/task/21592/stat : 21592 (java) S 21575 21577 21325 0 -1 4202560 4466 0 0 0 113 1 0 0 15 0 22 0 909892930 10812846080 2214695 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 0 0 0 0
[pid=21577/tid=21593] ppid=21575 vsize=10559420 CPUtime=0.96 cores=0,2,4,6
/proc/21577/task/21593/stat : 21593 (java) S 21575 21577 21325 0 -1 4202560 2330 0 0 0 96 0 0 0 16 0 22 0 909892930 10812846080 2214695 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 2 0 0 0
[pid=21577/tid=21594] ppid=21575 vsize=10559420 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21594/stat : 21594 (java) S 21575 21577 21325 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 909892930 10812846080 2214695 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 6 0 0 0
[pid=21577/tid=21595] ppid=21575 vsize=10559420 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21595/stat : 21595 (java) S 21575 21577 21325 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 909892930 10812846080 2214695 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427208192 0 4 0 16800975 18446604447413040384 0 0 -1 2 0 0 0
[pid=21577/tid=21599] ppid=21575 vsize=10559420 CPUtime=792.5 cores=0,2,4,6
/proc/21577/task/21599/stat : 21599 (java) R 21575 21577 21325 0 -1 4202560 42 0 0 0 79250 0 0 0 25 0 22 0 909901350 10812846080 2214695 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 46912506061272 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21577/tid=21600] ppid=21575 vsize=10559420 CPUtime=792.67 cores=0,2,4,6
/proc/21577/task/21600/stat : 21600 (java) R 21575 21577 21325 0 -1 4202560 89 0 0 0 79267 0 0 0 25 0 22 0 909901350 10812846080 2214695 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 46912506176316 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21577/tid=21601] ppid=21575 vsize=10559420 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21601/stat : 21601 (java) S 21575 21577 21325 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 909901476 10812846080 2214695 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427208192 0 4 0 16800975 18446604447413040384 0 0 -1 2 0 0 0
[pid=21577/tid=21602] ppid=21575 vsize=10559420 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21602/stat : 21602 (java) S 21575 21577 21325 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 22 0 909901476 10812846080 2214695 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427208192 0 4 0 16800975 18446604447413040384 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1726.94
Current children cumulated vsize (KiB) 10559420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+922.202 s]
/proc/loadavg: 3.98 4.00 3.81 5/558 21628
/proc/meminfo: memFree=4491556/32950928 swapFree=58671692/67111528
[pid=21577] ppid=21575 vsize=10560564 CPUtime=1800.1 cores=0,2,4,6
/proc/21577/stat : 21577 (java) S 21575 21577 21325 0 -1 4202496 2234208 0 1 0 179671 339 0 0 24 0 22 0 909892924 10814017536 2219018 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21577/statm: 2640141 2219018 2263 9 0 2630875 0
[pid=21577/tid=21578] ppid=21575 vsize=10560564 CPUtime=72.31 cores=0,2,4,6
/proc/21577/task/21578/stat : 21578 (java) S 21575 21577 21325 0 -1 4202560 651115 0 1 0 7143 88 0 0 15 0 22 0 909892925 10814017536 2219018 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427208192 0 4 0 16800975 18446604447413040384 0 0 -1 2 0 0 0
[pid=21577/tid=21580] ppid=21575 vsize=10560564 CPUtime=7.38 cores=0,2,4,6
/proc/21577/task/21580/stat : 21580 (java) S 21575 21577 21325 0 -1 4202560 162537 0 0 0 713 25 0 0 16 0 22 0 909892926 10814017536 2219018 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 2 0 0 0
[pid=21577/tid=21581] ppid=21575 vsize=10560564 CPUtime=7.35 cores=0,2,4,6
/proc/21577/task/21581/stat : 21581 (java) S 21575 21577 21325 0 -1 4202560 184217 0 0 0 705 30 0 0 16 0 22 0 909892926 10814017536 2219018 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 2 0 0 0
[pid=21577/tid=21582] ppid=21575 vsize=10560564 CPUtime=8.34 cores=0,2,4,6
/proc/21577/task/21582/stat : 21582 (java) S 21575 21577 21325 0 -1 4202560 209009 0 0 0 801 33 0 0 16 0 22 0 909892926 10814017536 2219018 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 6 0 0 0
[pid=21577/tid=21583] ppid=21575 vsize=10560564 CPUtime=9.09 cores=0,2,4,6
/proc/21577/task/21583/stat : 21583 (java) S 21575 21577 21325 0 -1 4202560 213385 0 0 0 878 31 0 0 16 0 22 0 909892926 10814017536 2219018 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 0 0 0 0
[pid=21577/tid=21584] ppid=21575 vsize=10560564 CPUtime=9.64 cores=0,2,4,6
/proc/21577/task/21584/stat : 21584 (java) S 21575 21577 21325 0 -1 4202560 189631 0 0 0 935 29 0 0 15 0 22 0 909892926 10814017536 2219018 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 4 0 0 0
[pid=21577/tid=21585] ppid=21575 vsize=10560564 CPUtime=9.6 cores=0,2,4,6
/proc/21577/task/21585/stat : 21585 (java) S 21575 21577 21325 0 -1 4202560 250702 0 0 0 920 40 0 0 16 0 22 0 909892926 10814017536 2219018 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 0 0 0 0
[pid=21577/tid=21586] ppid=21575 vsize=10560564 CPUtime=8.63 cores=0,2,4,6
/proc/21577/task/21586/stat : 21586 (java) S 21575 21577 21325 0 -1 4202560 191110 0 0 0 833 30 0 0 16 0 22 0 909892926 10814017536 2219018 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 2 0 0 0
[pid=21577/tid=21587] ppid=21575 vsize=10560564 CPUtime=7.45 cores=0,2,4,6
/proc/21577/task/21587/stat : 21587 (java) S 21575 21577 21325 0 -1 4202560 173486 0 0 0 720 25 0 0 16 0 22 0 909892926 10814017536 2219018 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 0 0 0 0
[pid=21577/tid=21588] ppid=21575 vsize=10560564 CPUtime=6.98 cores=0,2,4,6
/proc/21577/task/21588/stat : 21588 (java) S 21575 21577 21325 0 -1 4202560 59 0 0 0 697 1 0 0 18 0 22 0 909892927 10814017536 2219018 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427208192 0 0 0 16800975 18446604447413040384 0 0 -1 4 0 0 0
[pid=21577/tid=21589] ppid=21575 vsize=10560564 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21589/stat : 21589 (java) S 21575 21577 21325 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909892928 10814017536 2219018 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 4 0 0 0
[pid=21577/tid=21590] ppid=21575 vsize=10560564 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21590/stat : 21590 (java) S 21575 21577 21325 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 909892928 10814017536 2219018 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 6 0 0 0
[pid=21577/tid=21591] ppid=21575 vsize=10560564 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21591/stat : 21591 (java) S 21575 21577 21325 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909892930 10814017536 2219018 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427215281 0 4 0 16800975 18446604447413040384 0 0 -1 6 0 0 0
[pid=21577/tid=21592] ppid=21575 vsize=10560564 CPUtime=1.15 cores=0,2,4,6
/proc/21577/task/21592/stat : 21592 (java) S 21575 21577 21325 0 -1 4202560 4474 0 0 0 114 1 0 0 15 0 22 0 909892930 10814017536 2219018 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 0 0 0 0
[pid=21577/tid=21593] ppid=21575 vsize=10560564 CPUtime=1.12 cores=0,2,4,6
/proc/21577/task/21593/stat : 21593 (java) S 21575 21577 21325 0 -1 4202560 3141 0 0 0 112 0 0 0 16 0 22 0 909892930 10814017536 2219018 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 2 0 0 0
[pid=21577/tid=21594] ppid=21575 vsize=10560564 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21594/stat : 21594 (java) S 21575 21577 21325 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 909892930 10814017536 2219018 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427207577 0 4 0 16800975 18446604447413040384 0 0 -1 6 0 0 0
[pid=21577/tid=21595] ppid=21575 vsize=10560564 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21595/stat : 21595 (java) S 21575 21577 21325 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 909892930 10814017536 2219018 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427208192 0 4 0 16800975 18446604447413040384 0 0 -1 4 0 0 0
[pid=21577/tid=21599] ppid=21575 vsize=10560564 CPUtime=825.39 cores=0,2,4,6
/proc/21577/task/21599/stat : 21599 (java) R 21575 21577 21325 0 -1 4202560 43 0 0 0 82539 0 0 0 25 0 22 0 909901350 10814017536 2219018 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 46912505938667 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=21577/tid=21600] ppid=21575 vsize=10560564 CPUtime=825.55 cores=0,2,4,6
/proc/21577/task/21600/stat : 21600 (java) R 21575 21577 21325 0 -1 4202560 89 0 0 0 82555 0 0 0 25 0 22 0 909901350 10814017536 2219018 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 46912505943504 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21577/tid=21601] ppid=21575 vsize=10560564 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21601/stat : 21601 (java) S 21575 21577 21325 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 909901476 10814017536 2219018 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427208192 0 4 0 16800975 18446604447413040384 0 0 -1 2 0 0 0
[pid=21577/tid=21602] ppid=21575 vsize=10560564 CPUtime=0 cores=0,2,4,6
/proc/21577/task/21602/stat : 21602 (java) S 21575 21577 21325 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 22 0 909901476 10814017536 2219018 33554432000 1073741824 1073778376 140734720952768 18446744073709551615 256427208192 0 4 0 16800975 18446604447413040384 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 10560564
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+922.501 s]
/proc/loadavg: 3.98 4.00 3.81 5/558 21628
/proc/meminfo: memFree=4491556/32950928 swapFree=58671692/67111528
[pid=21577] ppid=21575 vsize=0 CPUtime=1800.41 cores=0,2,4,6
/proc/21577/stat : 21577 (java) Z 21575 21577 21325 0 -1 4203548 2234236 0 1 0 179675 366 0 0 17 0 2 0 909892924 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21577/statm: 0 0 0 0 0 0 0
[pid=21577/tid=21602] ppid=21575 vsize=0 CPUtime=0.26 cores=0,2,4,6
/proc/21577/task/21602/stat : 21602 (java) R 21575 21577 21325 0 -1 4203588 7 0 0 0 0 26 0 0 18 0 2 0 909901476 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.41
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 922.575
CPU time (s): 1800.5
CPU user time (s): 1796.75
CPU system time (s): 3.74243
CPU usage (%): 195.16
Max. virtual memory (cumulated for all children) (KiB): 10563680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.75
system time used= 3.74243
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2234236
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= 25668
involuntary context switches= 78579
runsolver used 5.13022 second user time and 11.1293 second system time
The end