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-3455189-1307190815/watcher-3455189-1307190815 -o /tmp/evaluation-result-3455189-1307190815/solver-3455189-1307190815 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455189-1307190815.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.91 2.94 3.37 3/478 24823
/proc/meminfo: memFree=28399788/32951124 swapFree=41830676/67111528
[pid=24823] ppid=24821 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/24823/stat : 24823 (java) S 24821 24823 21158 0 -1 4202496 6699 0 1 0 0 0 0 0 21 0 2 0 830679553 10694979584 6401 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134516709 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/24823/statm: 2611079 6414 917 9 0 2602235 0
[pid=24823/tid=24824] ppid=24821 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/24823/task/24824/stat : 24824 (java) R 24821 24823 21158 0 -1 4202560 6192 0 1 0 0 0 0 0 23 0 2 0 830679554 10694979584 7008 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228122407995 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0413539 s]
/proc/loadavg: 1.91 2.94 3.37 3/478 24823
/proc/meminfo: memFree=28399788/32951124 swapFree=41830676/67111528
[pid=24823] ppid=24821 vsize=10533016 CPUtime=0.03 cores=1,3,5,7
/proc/24823/stat : 24823 (java) S 24821 24823 21158 0 -1 4202496 11242 0 1 0 2 1 0 0 21 0 13 0 830679553 10785808384 10939 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134516709 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/24823/statm: 2633254 10940 1669 9 0 2624002 0
[pid=24823/tid=24824] ppid=24821 vsize=10533016 CPUtime=0.02 cores=1,3,5,7
/proc/24823/task/24824/stat : 24824 (java) R 24821 24823 21158 0 -1 4202560 10093 0 1 0 1 1 0 0 25 0 13 0 830679554 10785808384 10940 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 47148186306291 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10533016
[startup+0.100341 s]
/proc/loadavg: 1.91 2.94 3.37 3/478 24823
/proc/meminfo: memFree=28399788/32951124 swapFree=41830676/67111528
[pid=24823] ppid=24821 vsize=10539980 CPUtime=0.1 cores=1,3,5,7
/proc/24823/stat : 24823 (java) S 24821 24823 21158 0 -1 4202496 13104 0 1 0 8 2 0 0 21 0 18 0 830679553 10792939520 12774 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24823/statm: 2634995 12774 2093 9 0 2625729 0
[pid=24823/tid=24824] ppid=24821 vsize=10539980 CPUtime=0.08 cores=1,3,5,7
/proc/24823/task/24824/stat : 24824 (java) R 24821 24823 21158 0 -1 4202560 11156 0 1 0 7 1 0 0 18 0 18 0 830679554 10792939520 12775 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 47148191599443 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539980
[startup+0.306332 s]
/proc/loadavg: 1.91 2.94 3.37 3/478 24823
/proc/meminfo: memFree=28399788/32951124 swapFree=41830676/67111528
[pid=24823] ppid=24821 vsize=10543760 CPUtime=0.54 cores=1,3,5,7
/proc/24823/stat : 24823 (java) S 24821 24823 21158 0 -1 4202496 20557 0 1 0 51 3 0 0 21 0 18 0 830679553 10796810240 19208 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24823/statm: 2635940 19208 2201 9 0 2626674 0
[pid=24823/tid=24824] ppid=24821 vsize=10543760 CPUtime=0.29 cores=1,3,5,7
/proc/24823/task/24824/stat : 24824 (java) R 24821 24823 21158 0 -1 4202560 15528 0 1 0 27 2 0 0 18 0 18 0 830679554 10796810240 19208 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 10543760
[startup+0.700235 s]
/proc/loadavg: 1.91 2.94 3.37 3/478 24823
/proc/meminfo: memFree=28399788/32951124 swapFree=41830676/67111528
[pid=24823] ppid=24821 vsize=10545004 CPUtime=1.34 cores=1,3,5,7
/proc/24823/stat : 24823 (java) S 24821 24823 21158 0 -1 4202496 54235 0 1 0 126 8 0 0 21 0 18 0 830679553 10798084096 48880 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24823/statm: 2636251 48883 2211 9 0 2626985 0
[pid=24823/tid=24824] ppid=24821 vsize=10545004 CPUtime=0.69 cores=1,3,5,7
/proc/24823/task/24824/stat : 24824 (java) R 24821 24823 21158 0 -1 4202560 42849 0 1 0 63 6 0 0 18 0 18 0 830679554 10798084096 48885 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 46912505366294 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 10545004
[startup+1.50109 s]
/proc/loadavg: 2.07 2.95 3.37 3/496 24841
/proc/meminfo: memFree=27737680/32951124 swapFree=41830676/67111528
[pid=24823] ppid=24821 vsize=10545004 CPUtime=2.17 cores=1,3,5,7
/proc/24823/stat : 24823 (java) S 24821 24823 21158 0 -1 4202496 117292 0 1 0 203 14 0 0 21 0 18 0 830679553 10798084096 111937 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24823/statm: 2636251 111940 2211 9 0 2626985 0
[pid=24823/tid=24824] ppid=24821 vsize=10545004 CPUtime=1.48 cores=1,3,5,7
/proc/24823/task/24824/stat : 24824 (java) R 24821 24823 21158 0 -1 4202560 105875 0 1 0 136 12 0 0 19 0 18 0 830679554 10798084096 111941 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 46912505710395 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=24823/tid=24826] ppid=24821 vsize=10545004 CPUtime=0 cores=1,3,5,7
/proc/24823/task/24826/stat : 24826 (java) S 24821 24823 21158 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 830679555 10798084096 111943 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134529945 0 4 0 16800975 18446604470721004736 0 0 -1 3 0 0 0
[pid=24823/tid=24827] ppid=24821 vsize=10545004 CPUtime=0 cores=1,3,5,7
/proc/24823/task/24827/stat : 24827 (java) S 24821 24823 21158 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830679555 10798084096 111945 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134529945 0 4 0 16800975 18446604470721004736 0 0 -1 3 0 0 0
[pid=24823/tid=24828] ppid=24821 vsize=10545004 CPUtime=0 cores=1,3,5,7
/proc/24823/task/24828/stat : 24828 (java) S 24821 24823 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830679555 10798084096 111947 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134529945 0 4 0 16800975 18446604470721004736 0 0 -1 3 0 0 0
[pid=24823/tid=24829] ppid=24821 vsize=10545004 CPUtime=0 cores=1,3,5,7
/proc/24823/task/24829/stat : 24829 (java) S 24821 24823 21158 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830679555 10798084096 111949 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134529945 0 4 0 16800975 18446604470721004736 0 0 -1 7 0 0 0
[pid=24823/tid=24830] ppid=24821 vsize=10545004 CPUtime=0 cores=1,3,5,7
/proc/24823/task/24830/stat : 24830 (java) S 24821 24823 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830679555 10798084096 111950 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134529945 0 4 0 16800975 18446604470721004736 0 0 -1 7 0 0 0
[pid=24823/tid=24831] ppid=24821 vsize=10545004 CPUtime=0 cores=1,3,5,7
/proc/24823/task/24831/stat : 24831 (java) S 24821 24823 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830679555 10798084096 111952 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134529945 0 4 0 16800975 18446604470721004736 0 0 -1 7 0 0 0
[pid=24823/tid=24832] ppid=24821 vsize=10545004 CPUtime=0 cores=1,3,5,7
/proc/24823/task/24832/stat : 24832 (java) S 24821 24823 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830679555 10798084096 111954 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134529945 0 4 0 16800975 18446604470721004736 0 0 -1 5 0 0 0
[pid=24823/tid=24833] ppid=24821 vsize=10545004 CPUtime=0 cores=1,3,5,7
/proc/24823/task/24833/stat : 24833 (java) S 24821 24823 21158 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830679555 10798084096 111955 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134529945 0 4 0 16800975 18446604470721004736 0 0 -1 5 0 0 0
[pid=24823/tid=24834] ppid=24821 vsize=10545004 CPUtime=0 cores=1,3,5,7
/proc/24823/task/24834/stat : 24834 (java) S 24821 24823 21158 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 830679556 10798084096 111957 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134530560 0 0 0 16800975 18446604470721004736 0 0 -1 5 0 0 0
[pid=24823/tid=24835] ppid=24821 vsize=10545004 CPUtime=0 cores=1,3,5,7
/proc/24823/task/24835/stat : 24835 (java) S 24821 24823 21158 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 830679557 10798084096 111959 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134529945 0 4 0 16800975 18446604470721004736 0 0 -1 5 0 0 0
[pid=24823/tid=24836] ppid=24821 vsize=10545004 CPUtime=0 cores=1,3,5,7
/proc/24823/task/24836/stat : 24836 (java) S 24821 24823 21158 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 830679557 10798084096 111960 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134529945 0 4 0 16800975 18446604470721004736 0 0 -1 5 0 0 0
[pid=24823/tid=24837] ppid=24821 vsize=10545004 CPUtime=0 cores=1,3,5,7
/proc/24823/task/24837/stat : 24837 (java) S 24821 24823 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830679559 10798084096 111962 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134537649 0 4 0 16800975 18446604470721004736 0 0 -1 5 0 0 0
[pid=24823/tid=24838] ppid=24821 vsize=10545004 CPUtime=0.28 cores=1,3,5,7
/proc/24823/task/24838/stat : 24838 (java) S 24821 24823 21158 0 -1 4202560 2759 0 0 0 28 0 0 0 15 0 18 0 830679559 10798084096 111964 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134529945 0 4 0 16800975 18446604470721004736 0 0 -1 3 0 0 0
[pid=24823/tid=24839] ppid=24821 vsize=10545004 CPUtime=0.39 cores=1,3,5,7
/proc/24823/task/24839/stat : 24839 (java) S 24821 24823 21158 0 -1 4202560 7509 0 0 0 38 1 0 0 15 0 18 0 830679559 10798084096 111966 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134529945 0 4 0 16800975 18446604470721004736 0 0 -1 1 0 0 0
[pid=24823/tid=24840] ppid=24821 vsize=10545004 CPUtime=0 cores=1,3,5,7
/proc/24823/task/24840/stat : 24840 (java) S 24821 24823 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830679559 10798084096 111967 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134529945 0 4 0 16800975 18446604470721004736 0 0 -1 5 0 0 0
[pid=24823/tid=24841] ppid=24821 vsize=10545004 CPUtime=0 cores=1,3,5,7
/proc/24823/task/24841/stat : 24841 (java) S 24821 24823 21158 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 830679559 10798084096 111969 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134530560 0 4 0 16800975 18446604470721004736 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 10545004
Solver just ended. Dumping a history of the last processes samples
[startup+2.30095 s]
/proc/loadavg: 2.07 2.95 3.37 5/496 24888
/proc/meminfo: memFree=27881448/32951124 swapFree=41830676/67111528
[pid=24823] ppid=24821 vsize=10545004 CPUtime=2.98 cores=1,3,5,7
/proc/24823/stat : 24823 (java) S 24821 24823 21158 0 -1 4202496 181936 0 1 0 277 21 0 0 21 0 18 0 830679553 10798084096 176582 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24823/statm: 2636251 176582 2211 9 0 2626985 0
[pid=24823/tid=24824] ppid=24821 vsize=10545004 CPUtime=2.28 cores=1,3,5,7
/proc/24823/task/24824/stat : 24824 (java) R 24821 24823 21158 0 -1 4202560 170518 0 1 0 209 19 0 0 21 0 18 0 830679554 10798084096 176584 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 46912505591540 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=24823/tid=24826] ppid=24821 vsize=10545004 CPUtime=0 cores=1,3,5,7
/proc/24823/task/24826/stat : 24826 (java) S 24821 24823 21158 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 830679555 10798084096 176586 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134529945 0 4 0 16800975 18446604470721004736 0 0 -1 3 0 0 0
[pid=24823/tid=24827] ppid=24821 vsize=10545004 CPUtime=0 cores=1,3,5,7
/proc/24823/task/24827/stat : 24827 (java) S 24821 24823 21158 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830679555 10798084096 176587 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134529945 0 4 0 16800975 18446604470721004736 0 0 -1 3 0 0 0
[pid=24823/tid=24828] ppid=24821 vsize=10545004 CPUtime=0 cores=1,3,5,7
/proc/24823/task/24828/stat : 24828 (java) S 24821 24823 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830679555 10798084096 176589 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134529945 0 4 0 16800975 18446604470721004736 0 0 -1 3 0 0 0
[pid=24823/tid=24829] ppid=24821 vsize=10545004 CPUtime=0 cores=1,3,5,7
/proc/24823/task/24829/stat : 24829 (java) S 24821 24823 21158 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830679555 10798084096 176591 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134529945 0 4 0 16800975 18446604470721004736 0 0 -1 7 0 0 0
[pid=24823/tid=24830] ppid=24821 vsize=10545004 CPUtime=0 cores=1,3,5,7
/proc/24823/task/24830/stat : 24830 (java) S 24821 24823 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830679555 10798084096 176593 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134529945 0 4 0 16800975 18446604470721004736 0 0 -1 7 0 0 0
[pid=24823/tid=24831] ppid=24821 vsize=10545004 CPUtime=0 cores=1,3,5,7
/proc/24823/task/24831/stat : 24831 (java) S 24821 24823 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830679555 10798084096 176595 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134529945 0 4 0 16800975 18446604470721004736 0 0 -1 7 0 0 0
[pid=24823/tid=24832] ppid=24821 vsize=10545004 CPUtime=0 cores=1,3,5,7
/proc/24823/task/24832/stat : 24832 (java) S 24821 24823 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830679555 10798084096 176596 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134529945 0 4 0 16800975 18446604470721004736 0 0 -1 5 0 0 0
[pid=24823/tid=24833] ppid=24821 vsize=10545004 CPUtime=0 cores=1,3,5,7
/proc/24823/task/24833/stat : 24833 (java) S 24821 24823 21158 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830679555 10798084096 176598 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134529945 0 4 0 16800975 18446604470721004736 0 0 -1 5 0 0 0
[pid=24823/tid=24834] ppid=24821 vsize=10545004 CPUtime=0 cores=1,3,5,7
/proc/24823/task/24834/stat : 24834 (java) S 24821 24823 21158 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 830679556 10798084096 176600 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134530560 0 0 0 16800975 18446604470721004736 0 0 -1 5 0 0 0
[pid=24823/tid=24835] ppid=24821 vsize=10545004 CPUtime=0 cores=1,3,5,7
/proc/24823/task/24835/stat : 24835 (java) S 24821 24823 21158 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 830679557 10798084096 176602 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134529945 0 4 0 16800975 18446604470721004736 0 0 -1 5 0 0 0
[pid=24823/tid=24836] ppid=24821 vsize=10545004 CPUtime=0 cores=1,3,5,7
/proc/24823/task/24836/stat : 24836 (java) S 24821 24823 21158 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 830679557 10798084096 176603 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134529945 0 4 0 16800975 18446604470721004736 0 0 -1 5 0 0 0
[pid=24823/tid=24837] ppid=24821 vsize=10545004 CPUtime=0 cores=1,3,5,7
/proc/24823/task/24837/stat : 24837 (java) S 24821 24823 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830679559 10798084096 176605 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134537649 0 4 0 16800975 18446604470721004736 0 0 -1 5 0 0 0
[pid=24823/tid=24838] ppid=24821 vsize=10545004 CPUtime=0.28 cores=1,3,5,7
/proc/24823/task/24838/stat : 24838 (java) S 24821 24823 21158 0 -1 4202560 2759 0 0 0 28 0 0 0 15 0 18 0 830679559 10798084096 176607 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134529945 0 4 0 16800975 18446604470721004736 0 0 -1 3 0 0 0
[pid=24823/tid=24839] ppid=24821 vsize=10545004 CPUtime=0.39 cores=1,3,5,7
/proc/24823/task/24839/stat : 24839 (java) S 24821 24823 21158 0 -1 4202560 7509 0 0 0 38 1 0 0 15 0 18 0 830679559 10798084096 176609 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134529945 0 4 0 16800975 18446604470721004736 0 0 -1 1 0 0 0
[pid=24823/tid=24840] ppid=24821 vsize=10545004 CPUtime=0 cores=1,3,5,7
/proc/24823/task/24840/stat : 24840 (java) S 24821 24823 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830679559 10798084096 176611 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134529945 0 4 0 16800975 18446604470721004736 0 0 -1 5 0 0 0
[pid=24823/tid=24841] ppid=24821 vsize=10545004 CPUtime=0 cores=1,3,5,7
/proc/24823/task/24841/stat : 24841 (java) S 24821 24823 21158 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 830679559 10798084096 176612 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134530560 0 4 0 16800975 18446604470721004736 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 10545004
[startup+2.50091 s]
/proc/loadavg: 2.07 2.95 3.37 5/496 24888
/proc/meminfo: memFree=27881448/32951124 swapFree=41830676/67111528
[pid=24823] ppid=24821 vsize=10545004 CPUtime=3.18 cores=1,3,5,7
/proc/24823/stat : 24823 (java) S 24821 24823 21158 0 -1 4202496 199139 0 1 0 295 23 0 0 21 0 18 0 830679553 10798084096 193784 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24823/statm: 2636251 193786 2211 9 0 2626985 0
[pid=24823/tid=24824] ppid=24821 vsize=10545004 CPUtime=2.49 cores=1,3,5,7
/proc/24823/task/24824/stat : 24824 (java) R 24821 24823 21158 0 -1 4202560 187722 0 1 0 228 21 0 0 22 0 18 0 830679554 10798084096 193788 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 46912505574516 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=24823/tid=24826] ppid=24821 vsize=10545004 CPUtime=0 cores=1,3,5,7
/proc/24823/task/24826/stat : 24826 (java) S 24821 24823 21158 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 830679555 10798084096 193790 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134529945 0 4 0 16800975 18446604470721004736 0 0 -1 3 0 0 0
[pid=24823/tid=24827] ppid=24821 vsize=10545004 CPUtime=0 cores=1,3,5,7
/proc/24823/task/24827/stat : 24827 (java) S 24821 24823 21158 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830679555 10798084096 193792 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134529945 0 4 0 16800975 18446604470721004736 0 0 -1 3 0 0 0
[pid=24823/tid=24828] ppid=24821 vsize=10545004 CPUtime=0 cores=1,3,5,7
/proc/24823/task/24828/stat : 24828 (java) S 24821 24823 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830679555 10798084096 193792 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134529945 0 4 0 16800975 18446604470721004736 0 0 -1 3 0 0 0
[pid=24823/tid=24829] ppid=24821 vsize=10545004 CPUtime=0 cores=1,3,5,7
/proc/24823/task/24829/stat : 24829 (java) S 24821 24823 21158 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830679555 10798084096 193792 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134529945 0 4 0 16800975 18446604470721004736 0 0 -1 7 0 0 0
[pid=24823/tid=24830] ppid=24821 vsize=10545004 CPUtime=0 cores=1,3,5,7
/proc/24823/task/24830/stat : 24830 (java) S 24821 24823 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830679555 10798084096 193794 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134529945 0 4 0 16800975 18446604470721004736 0 0 -1 7 0 0 0
[pid=24823/tid=24831] ppid=24821 vsize=10545004 CPUtime=0 cores=1,3,5,7
/proc/24823/task/24831/stat : 24831 (java) S 24821 24823 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830679555 10798084096 193796 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134529945 0 4 0 16800975 18446604470721004736 0 0 -1 7 0 0 0
[pid=24823/tid=24832] ppid=24821 vsize=10545004 CPUtime=0 cores=1,3,5,7
/proc/24823/task/24832/stat : 24832 (java) S 24821 24823 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830679555 10798084096 193798 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134529945 0 4 0 16800975 18446604470721004736 0 0 -1 5 0 0 0
[pid=24823/tid=24833] ppid=24821 vsize=10545004 CPUtime=0 cores=1,3,5,7
/proc/24823/task/24833/stat : 24833 (java) S 24821 24823 21158 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830679555 10798084096 193800 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134529945 0 4 0 16800975 18446604470721004736 0 0 -1 5 0 0 0
[pid=24823/tid=24834] ppid=24821 vsize=10545004 CPUtime=0 cores=1,3,5,7
/proc/24823/task/24834/stat : 24834 (java) S 24821 24823 21158 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 830679556 10798084096 193801 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134530560 0 0 0 16800975 18446604470721004736 0 0 -1 5 0 0 0
[pid=24823/tid=24835] ppid=24821 vsize=10545004 CPUtime=0 cores=1,3,5,7
/proc/24823/task/24835/stat : 24835 (java) S 24821 24823 21158 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 830679557 10798084096 193803 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134529945 0 4 0 16800975 18446604470721004736 0 0 -1 5 0 0 0
[pid=24823/tid=24836] ppid=24821 vsize=10545004 CPUtime=0 cores=1,3,5,7
/proc/24823/task/24836/stat : 24836 (java) S 24821 24823 21158 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 830679557 10798084096 193805 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134529945 0 4 0 16800975 18446604470721004736 0 0 -1 5 0 0 0
[pid=24823/tid=24837] ppid=24821 vsize=10545004 CPUtime=0 cores=1,3,5,7
/proc/24823/task/24837/stat : 24837 (java) S 24821 24823 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830679559 10798084096 193807 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134537649 0 4 0 16800975 18446604470721004736 0 0 -1 5 0 0 0
[pid=24823/tid=24838] ppid=24821 vsize=10545004 CPUtime=0.28 cores=1,3,5,7
/proc/24823/task/24838/stat : 24838 (java) S 24821 24823 21158 0 -1 4202560 2759 0 0 0 28 0 0 0 15 0 18 0 830679559 10798084096 193809 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134529945 0 4 0 16800975 18446604470721004736 0 0 -1 3 0 0 0
[pid=24823/tid=24839] ppid=24821 vsize=10545004 CPUtime=0.39 cores=1,3,5,7
/proc/24823/task/24839/stat : 24839 (java) S 24821 24823 21158 0 -1 4202560 7509 0 0 0 38 1 0 0 15 0 18 0 830679559 10798084096 193811 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134529945 0 4 0 16800975 18446604470721004736 0 0 -1 1 0 0 0
[pid=24823/tid=24840] ppid=24821 vsize=10545004 CPUtime=0 cores=1,3,5,7
/proc/24823/task/24840/stat : 24840 (java) S 24821 24823 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830679559 10798084096 193813 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134529945 0 4 0 16800975 18446604470721004736 0 0 -1 5 0 0 0
[pid=24823/tid=24841] ppid=24821 vsize=10545004 CPUtime=0 cores=1,3,5,7
/proc/24823/task/24841/stat : 24841 (java) S 24821 24823 21158 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 830679559 10798084096 193816 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134530560 0 4 0 16800975 18446604470721004736 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.18
Current children cumulated vsize (KiB) 10545004
[startup+2.6009 s]
/proc/loadavg: 2.07 2.95 3.37 5/496 24888
/proc/meminfo: memFree=27881448/32951124 swapFree=41830676/67111528
[pid=24823] ppid=24821 vsize=10545004 CPUtime=3.28 cores=1,3,5,7
/proc/24823/stat : 24823 (java) S 24821 24823 21158 0 -1 4202496 207649 0 1 0 304 24 0 0 21 0 18 0 830679553 10798084096 202295 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24823/statm: 2636251 202304 2211 9 0 2626985 0
[pid=24823/tid=24824] ppid=24821 vsize=10545004 CPUtime=2.59 cores=1,3,5,7
/proc/24823/task/24824/stat : 24824 (java) R 24821 24823 21158 0 -1 4202560 196242 0 1 0 237 22 0 0 22 0 18 0 830679554 10798084096 202308 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 46912505631010 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=24823/tid=24826] ppid=24821 vsize=10545004 CPUtime=0 cores=1,3,5,7
/proc/24823/task/24826/stat : 24826 (java) S 24821 24823 21158 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 830679555 10798084096 202313 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134529945 0 4 0 16800975 18446604470721004736 0 0 -1 3 0 0 0
[pid=24823/tid=24827] ppid=24821 vsize=10545004 CPUtime=0 cores=1,3,5,7
/proc/24823/task/24827/stat : 24827 (java) S 24821 24823 21158 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830679555 10798084096 202319 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134529945 0 4 0 16800975 18446604470721004736 0 0 -1 3 0 0 0
[pid=24823/tid=24828] ppid=24821 vsize=10545004 CPUtime=0 cores=1,3,5,7
/proc/24823/task/24828/stat : 24828 (java) S 24821 24823 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830679555 10798084096 202325 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134529945 0 4 0 16800975 18446604470721004736 0 0 -1 3 0 0 0
[pid=24823/tid=24829] ppid=24821 vsize=10545004 CPUtime=0 cores=1,3,5,7
/proc/24823/task/24829/stat : 24829 (java) S 24821 24823 21158 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830679555 10798084096 202331 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134529945 0 4 0 16800975 18446604470721004736 0 0 -1 7 0 0 0
[pid=24823/tid=24830] ppid=24821 vsize=10545004 CPUtime=0 cores=1,3,5,7
/proc/24823/task/24830/stat : 24830 (java) S 24821 24823 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830679555 10798084096 202339 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134529945 0 4 0 16800975 18446604470721004736 0 0 -1 7 0 0 0
[pid=24823/tid=24831] ppid=24821 vsize=10545004 CPUtime=0 cores=1,3,5,7
/proc/24823/task/24831/stat : 24831 (java) S 24821 24823 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830679555 10798084096 202339 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134529945 0 4 0 16800975 18446604470721004736 0 0 -1 7 0 0 0
[pid=24823/tid=24832] ppid=24821 vsize=10545004 CPUtime=0 cores=1,3,5,7
/proc/24823/task/24832/stat : 24832 (java) S 24821 24823 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830679555 10798084096 202339 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134529945 0 4 0 16800975 18446604470721004736 0 0 -1 5 0 0 0
[pid=24823/tid=24833] ppid=24821 vsize=10545004 CPUtime=0 cores=1,3,5,7
/proc/24823/task/24833/stat : 24833 (java) S 24821 24823 21158 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830679555 10798084096 202339 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134529945 0 4 0 16800975 18446604470721004736 0 0 -1 5 0 0 0
[pid=24823/tid=24834] ppid=24821 vsize=10545004 CPUtime=0 cores=1,3,5,7
/proc/24823/task/24834/stat : 24834 (java) S 24821 24823 21158 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 830679556 10798084096 202339 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134530560 0 0 0 16800975 18446604470721004736 0 0 -1 5 0 0 0
[pid=24823/tid=24835] ppid=24821 vsize=10545004 CPUtime=0 cores=1,3,5,7
/proc/24823/task/24835/stat : 24835 (java) S 24821 24823 21158 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 830679557 10798084096 202339 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134529945 0 4 0 16800975 18446604470721004736 0 0 -1 5 0 0 0
[pid=24823/tid=24836] ppid=24821 vsize=10545004 CPUtime=0 cores=1,3,5,7
/proc/24823/task/24836/stat : 24836 (java) S 24821 24823 21158 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 830679557 10798084096 202339 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134529945 0 4 0 16800975 18446604470721004736 0 0 -1 5 0 0 0
[pid=24823/tid=24837] ppid=24821 vsize=10545004 CPUtime=0 cores=1,3,5,7
/proc/24823/task/24837/stat : 24837 (java) S 24821 24823 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830679559 10798084096 202339 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134537649 0 4 0 16800975 18446604470721004736 0 0 -1 5 0 0 0
[pid=24823/tid=24838] ppid=24821 vsize=10545004 CPUtime=0.28 cores=1,3,5,7
/proc/24823/task/24838/stat : 24838 (java) S 24821 24823 21158 0 -1 4202560 2759 0 0 0 28 0 0 0 15 0 18 0 830679559 10798084096 202339 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134529945 0 4 0 16800975 18446604470721004736 0 0 -1 3 0 0 0
[pid=24823/tid=24839] ppid=24821 vsize=10545004 CPUtime=0.39 cores=1,3,5,7
/proc/24823/task/24839/stat : 24839 (java) S 24821 24823 21158 0 -1 4202560 7509 0 0 0 38 1 0 0 15 0 18 0 830679559 10798084096 202339 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134529945 0 4 0 16800975 18446604470721004736 0 0 -1 1 0 0 0
[pid=24823/tid=24840] ppid=24821 vsize=10545004 CPUtime=0 cores=1,3,5,7
/proc/24823/task/24840/stat : 24840 (java) S 24821 24823 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830679559 10798084096 202339 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134529945 0 4 0 16800975 18446604470721004736 0 0 -1 5 0 0 0
[pid=24823/tid=24841] ppid=24821 vsize=10545004 CPUtime=0 cores=1,3,5,7
/proc/24823/task/24841/stat : 24841 (java) S 24821 24823 21158 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 830679559 10798084096 202341 33554432000 1073741824 1073778376 140735493482832 18446744073709551615 228134530560 0 4 0 16800975 18446604470721004736 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.28
Current children cumulated vsize (KiB) 10545004
Child status: 20
Real time (s): 2.68759
CPU time (s): 3.37449
CPU user time (s): 3.09353
CPU system time (s): 0.280957
CPU usage (%): 125.558
Max. virtual memory (cumulated for all children) (KiB): 10545004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.09353
system time used= 0.280957
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 211785
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= 260
involuntary context switches= 18
runsolver used 0.012998 second user time and 0.038994 second system time
The end