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-3453598-1307195810/watcher-3453598-1307195810 -o /tmp/evaluation-result-3453598-1307195810/solver-3453598-1307195810 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453598-1307195810.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.84 2.83 3.18 6/596 3040
/proc/meminfo: memFree=23429956/32951124 swapFree=58940260/67111528
[pid=3040] ppid=3037 vsize=26088 CPUtime=0 cores=1,3,5,7
/proc/3040/stat : 3040 (java) S 3037 3040 2924 0 -1 4202496 1167 0 0 0 0 0 0 0 25 0 2 0 831178731 26714112 897 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 212699477989 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/3040/statm: 6522 897 682 9 0 381 0
[pid=3040/tid=3041] ppid=3037 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/3040/task/3041/stat : 3041 (java) R 3037 3040 2924 0 -1 4202560 8814 0 1 0 0 0 0 0 25 0 10 0 831178731 10703900672 9639 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 47845756422064 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=3040/tid=3042] ppid=3037 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/3040/task/3042/stat : 3042 (java) R 3037 3040 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 831178733 10703900672 9640 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 212699491225 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=3040/tid=3043] ppid=3037 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/3040/task/3043/stat : 3043 (java) R 3037 3040 2924 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 10 0 831178733 10703900672 9645 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 212699491225 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=3040/tid=3044] ppid=3037 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/3040/task/3044/stat : 3044 (java) R 3037 3040 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 831178733 10703900672 9647 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 212699491225 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=3040/tid=3045] ppid=3037 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/3040/task/3045/stat : 3045 (java) R 3037 3040 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 831178733 10703900672 9647 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 212699491225 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=3040/tid=3046] ppid=3037 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/3040/task/3046/stat : 3046 (java) R 3037 3040 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 831178733 10703900672 9648 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 212699491225 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=3040/tid=3047] ppid=3037 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/3040/task/3047/stat : 3047 (java) R 3037 3040 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 831178733 10703900672 9648 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 212699491225 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=3040/tid=3049] ppid=3037 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/3040/task/3049/stat : 3049 (java) R 3037 3040 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 831178733 10703900672 9649 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 212699491225 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=3040/tid=3050] ppid=3037 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/3040/task/3050/stat : 3050 (java) R 3037 3040 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 831178733 10703900672 9650 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 212699491225 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.116853 s]
/proc/loadavg: 1.84 2.83 3.18 6/596 3040
/proc/meminfo: memFree=23429956/32951124 swapFree=58940260/67111528
[pid=3040] ppid=3037 vsize=10539312 CPUtime=0.13 cores=1,3,5,7
/proc/3040/stat : 3040 (java) S 3037 3040 2924 0 -1 4202496 13390 0 1 0 12 1 0 0 25 0 18 0 831178731 10792255488 13013 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3040/statm: 2634828 13013 2133 9 0 2625562 0
[pid=3040/tid=3041] ppid=3037 vsize=10539312 CPUtime=0.1 cores=1,3,5,7
/proc/3040/task/3041/stat : 3041 (java) R 3037 3040 2924 0 -1 4202560 11345 0 1 0 9 1 0 0 25 0 18 0 831178731 10792255488 13013 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 47845759937332 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3040/tid=3042] ppid=3037 vsize=10539312 CPUtime=0 cores=1,3,5,7
/proc/3040/task/3042/stat : 3042 (java) S 3037 3040 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831178733 10792255488 13013 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 212699491225 0 4 0 16800975 18446604464383251392 0 0 -1 7 0 0 0
[pid=3040/tid=3043] ppid=3037 vsize=10539312 CPUtime=0 cores=1,3,5,7
/proc/3040/task/3043/stat : 3043 (java) S 3037 3040 2924 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 831178733 10792255488 13013 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 212699491225 0 4 0 16800975 18446604464383251392 0 0 -1 7 0 0 0
[pid=3040/tid=3044] ppid=3037 vsize=10539312 CPUtime=0 cores=1,3,5,7
/proc/3040/task/3044/stat : 3044 (java) S 3037 3040 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831178733 10792255488 13013 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 212699491225 0 4 0 16800975 18446604464383251392 0 0 -1 7 0 0 0
[pid=3040/tid=3045] ppid=3037 vsize=10539312 CPUtime=0 cores=1,3,5,7
/proc/3040/task/3045/stat : 3045 (java) S 3037 3040 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831178733 10792255488 13013 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 212699491225 0 4 0 16800975 18446604464383251392 0 0 -1 7 0 0 0
[pid=3040/tid=3046] ppid=3037 vsize=10539312 CPUtime=0 cores=1,3,5,7
/proc/3040/task/3046/stat : 3046 (java) S 3037 3040 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831178733 10792255488 13013 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 212699491225 0 4 0 16800975 18446604464383251392 0 0 -1 7 0 0 0
[pid=3040/tid=3047] ppid=3037 vsize=10539312 CPUtime=0 cores=1,3,5,7
/proc/3040/task/3047/stat : 3047 (java) S 3037 3040 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831178733 10792255488 13013 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 212699491225 0 4 0 16800975 18446604464383251392 0 0 -1 7 0 0 0
[pid=3040/tid=3049] ppid=3037 vsize=10539312 CPUtime=0 cores=1,3,5,7
/proc/3040/task/3049/stat : 3049 (java) S 3037 3040 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831178733 10792255488 13013 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 212699491225 0 4 0 16800975 18446604464383251392 0 0 -1 7 0 0 0
[pid=3040/tid=3050] ppid=3037 vsize=10539312 CPUtime=0 cores=1,3,5,7
/proc/3040/task/3050/stat : 3050 (java) S 3037 3040 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831178733 10792255488 13014 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 212699491225 0 4 0 16800975 18446604464383251392 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 10539312
[startup+0.200837 s]
/proc/loadavg: 1.84 2.83 3.18 6/596 3040
/proc/meminfo: memFree=23429956/32951124 swapFree=58940260/67111528
[pid=3040] ppid=3037 vsize=10539464 CPUtime=0.23 cores=1,3,5,7
/proc/3040/stat : 3040 (java) S 3037 3040 2924 0 -1 4202496 14025 0 1 0 22 1 0 0 25 0 18 0 831178731 10792411136 13648 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3040/statm: 2634866 13648 2180 9 0 2625600 0
[pid=3040/tid=3041] ppid=3037 vsize=10539464 CPUtime=0.18 cores=1,3,5,7
/proc/3040/task/3041/stat : 3041 (java) R 3037 3040 2924 0 -1 4202560 11914 0 1 0 17 1 0 0 25 0 18 0 831178731 10792411136 13648 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 46912505497732 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3040/tid=3042] ppid=3037 vsize=10539464 CPUtime=0 cores=1,3,5,7
/proc/3040/task/3042/stat : 3042 (java) S 3037 3040 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831178733 10792411136 13648 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 212699491225 0 4 0 16800975 18446604464383251392 0 0 -1 7 0 0 0
[pid=3040/tid=3043] ppid=3037 vsize=10539464 CPUtime=0 cores=1,3,5,7
/proc/3040/task/3043/stat : 3043 (java) S 3037 3040 2924 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 831178733 10792411136 13648 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 212699491225 0 4 0 16800975 18446604464383251392 0 0 -1 7 0 0 0
[pid=3040/tid=3044] ppid=3037 vsize=10539464 CPUtime=0 cores=1,3,5,7
/proc/3040/task/3044/stat : 3044 (java) S 3037 3040 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831178733 10792411136 13648 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 212699491225 0 4 0 16800975 18446604464383251392 0 0 -1 7 0 0 0
[pid=3040/tid=3045] ppid=3037 vsize=10539464 CPUtime=0 cores=1,3,5,7
/proc/3040/task/3045/stat : 3045 (java) S 3037 3040 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831178733 10792411136 13649 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 212699491225 0 4 0 16800975 18446604464383251392 0 0 -1 7 0 0 0
[pid=3040/tid=3046] ppid=3037 vsize=10539464 CPUtime=0 cores=1,3,5,7
/proc/3040/task/3046/stat : 3046 (java) S 3037 3040 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831178733 10792411136 13649 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 212699491225 0 4 0 16800975 18446604464383251392 0 0 -1 7 0 0 0
[pid=3040/tid=3047] ppid=3037 vsize=10539464 CPUtime=0 cores=1,3,5,7
/proc/3040/task/3047/stat : 3047 (java) S 3037 3040 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831178733 10792411136 13649 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 212699491225 0 4 0 16800975 18446604464383251392 0 0 -1 7 0 0 0
[pid=3040/tid=3049] ppid=3037 vsize=10539464 CPUtime=0 cores=1,3,5,7
/proc/3040/task/3049/stat : 3049 (java) S 3037 3040 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831178733 10792411136 13649 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 212699491225 0 4 0 16800975 18446604464383251392 0 0 -1 7 0 0 0
[pid=3040/tid=3050] ppid=3037 vsize=10539464 CPUtime=0 cores=1,3,5,7
/proc/3040/task/3050/stat : 3050 (java) S 3037 3040 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831178733 10792411136 13649 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 212699491225 0 4 0 16800975 18446604464383251392 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 10539464
[startup+0.301719 s]
/proc/loadavg: 1.84 2.83 3.18 6/596 3040
/proc/meminfo: memFree=23429956/32951124 swapFree=58940260/67111528
[pid=3040] ppid=3037 vsize=10542140 CPUtime=0.48 cores=1,3,5,7
/proc/3040/stat : 3040 (java) S 3037 3040 2924 0 -1 4202496 16463 0 1 0 47 1 0 0 25 0 18 0 831178731 10795151360 15782 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3040/statm: 2635535 15783 2212 9 0 2626269 0
[pid=3040/tid=3041] ppid=3037 vsize=10542140 CPUtime=0.28 cores=1,3,5,7
/proc/3040/task/3041/stat : 3041 (java) R 3037 3040 2924 0 -1 4202560 12972 0 1 0 27 1 0 0 25 0 18 0 831178731 10795151360 15783 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 46912505578662 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3040/tid=3042] ppid=3037 vsize=10542140 CPUtime=0 cores=1,3,5,7
/proc/3040/task/3042/stat : 3042 (java) S 3037 3040 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831178733 10795151360 15784 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 212699491225 0 4 0 16800975 18446604464383251392 0 0 -1 7 0 0 0
[pid=3040/tid=3043] ppid=3037 vsize=10542140 CPUtime=0 cores=1,3,5,7
/proc/3040/task/3043/stat : 3043 (java) S 3037 3040 2924 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 831178733 10795151360 15784 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 212699491225 0 4 0 16800975 18446604464383251392 0 0 -1 7 0 0 0
[pid=3040/tid=3044] ppid=3037 vsize=10542140 CPUtime=0 cores=1,3,5,7
/proc/3040/task/3044/stat : 3044 (java) S 3037 3040 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831178733 10795151360 15784 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 212699491225 0 4 0 16800975 18446604464383251392 0 0 -1 7 0 0 0
[pid=3040/tid=3045] ppid=3037 vsize=10542140 CPUtime=0 cores=1,3,5,7
/proc/3040/task/3045/stat : 3045 (java) S 3037 3040 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831178733 10795151360 15785 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 212699491225 0 4 0 16800975 18446604464383251392 0 0 -1 7 0 0 0
[pid=3040/tid=3046] ppid=3037 vsize=10542140 CPUtime=0 cores=1,3,5,7
/proc/3040/task/3046/stat : 3046 (java) S 3037 3040 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831178733 10795151360 15785 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 212699491225 0 4 0 16800975 18446604464383251392 0 0 -1 7 0 0 0
[pid=3040/tid=3047] ppid=3037 vsize=10542140 CPUtime=0 cores=1,3,5,7
/proc/3040/task/3047/stat : 3047 (java) S 3037 3040 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831178733 10795151360 15785 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 212699491225 0 4 0 16800975 18446604464383251392 0 0 -1 7 0 0 0
[pid=3040/tid=3049] ppid=3037 vsize=10542140 CPUtime=0 cores=1,3,5,7
/proc/3040/task/3049/stat : 3049 (java) S 3037 3040 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831178733 10795151360 15786 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 212699491225 0 4 0 16800975 18446604464383251392 0 0 -1 7 0 0 0
[pid=3040/tid=3050] ppid=3037 vsize=10542140 CPUtime=0 cores=1,3,5,7
/proc/3040/task/3050/stat : 3050 (java) S 3037 3040 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831178733 10795151360 15786 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 212699491225 0 4 0 16800975 18446604464383251392 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10542140
[startup+0.787755 s]
/proc/loadavg: 1.84 2.83 3.18 6/596 3040
/proc/meminfo: memFree=23429956/32951124 swapFree=58940260/67111528
[pid=3040] ppid=3037 vsize=10558064 CPUtime=2.32 cores=1,3,5,7
/proc/3040/stat : 3040 (java) S 3037 3040 2924 0 -1 4202496 34543 0 1 0 229 3 0 0 25 0 19 0 831178731 10811457536 30803 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3040/statm: 2639516 30803 2237 9 0 2630250 0
[pid=3040/tid=3041] ppid=3037 vsize=10558064 CPUtime=0.31 cores=1,3,5,7
/proc/3040/task/3041/stat : 3041 (java) S 3037 3040 2924 0 -1 4202560 13442 0 1 0 30 1 0 0 25 0 19 0 831178731 10811457536 30803 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 212699491840 0 4 0 16800975 18446604464383251392 0 0 -1 5 0 0 0
[pid=3040/tid=3042] ppid=3037 vsize=10558064 CPUtime=0 cores=1,3,5,7
/proc/3040/task/3042/stat : 3042 (java) S 3037 3040 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831178733 10811457536 30803 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 212699491225 0 4 0 16800975 18446604464383251392 0 0 -1 7 0 0 0
[pid=3040/tid=3043] ppid=3037 vsize=10558064 CPUtime=0 cores=1,3,5,7
/proc/3040/task/3043/stat : 3043 (java) S 3037 3040 2924 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831178733 10811457536 30804 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 212699491225 0 4 0 16800975 18446604464383251392 0 0 -1 7 0 0 0
[pid=3040/tid=3044] ppid=3037 vsize=10558064 CPUtime=0 cores=1,3,5,7
/proc/3040/task/3044/stat : 3044 (java) S 3037 3040 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831178733 10811457536 30812 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 212699491225 0 4 0 16800975 18446604464383251392 0 0 -1 7 0 0 0
[pid=3040/tid=3045] ppid=3037 vsize=10558064 CPUtime=0 cores=1,3,5,7
/proc/3040/task/3045/stat : 3045 (java) S 3037 3040 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831178733 10811457536 30812 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 212699491225 0 4 0 16800975 18446604464383251392 0 0 -1 7 0 0 0
[pid=3040/tid=3046] ppid=3037 vsize=10558064 CPUtime=0 cores=1,3,5,7
/proc/3040/task/3046/stat : 3046 (java) S 3037 3040 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831178733 10811457536 30812 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 212699491225 0 4 0 16800975 18446604464383251392 0 0 -1 7 0 0 0
[pid=3040/tid=3047] ppid=3037 vsize=10558064 CPUtime=0 cores=1,3,5,7
/proc/3040/task/3047/stat : 3047 (java) S 3037 3040 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831178733 10811457536 30812 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 212699491225 0 4 0 16800975 18446604464383251392 0 0 -1 7 0 0 0
[pid=3040/tid=3049] ppid=3037 vsize=10558064 CPUtime=0 cores=1,3,5,7
/proc/3040/task/3049/stat : 3049 (java) S 3037 3040 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831178733 10811457536 30812 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 212699491225 0 4 0 16800975 18446604464383251392 0 0 -1 7 0 0 0
[pid=3040/tid=3050] ppid=3037 vsize=10558064 CPUtime=0 cores=1,3,5,7
/proc/3040/task/3050/stat : 3050 (java) S 3037 3040 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831178733 10811457536 30812 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 212699491225 0 4 0 16800975 18446604464383251392 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.32
Current children cumulated vsize (KiB) 10558064
Solver just ended. Dumping a history of the last processes samples
[startup+0.800727 s]
/proc/loadavg: 1.84 2.83 3.18 6/596 3040
/proc/meminfo: memFree=23429956/32951124 swapFree=58940260/67111528
[pid=3040] ppid=3037 vsize=10558064 CPUtime=2.34 cores=1,3,5,7
/proc/3040/stat : 3040 (java) S 3037 3040 2924 0 -1 4202496 34554 0 1 0 231 3 0 0 25 0 19 0 831178731 10811457536 30814 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3040/statm: 2639516 30814 2237 9 0 2630250 0
[pid=3040/tid=3041] ppid=3037 vsize=10558064 CPUtime=0.31 cores=1,3,5,7
/proc/3040/task/3041/stat : 3041 (java) S 3037 3040 2924 0 -1 4202560 13442 0 1 0 30 1 0 0 25 0 19 0 831178731 10811457536 30814 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 212699491840 0 4 0 16800975 18446604464383251392 0 0 -1 5 0 0 0
[pid=3040/tid=3042] ppid=3037 vsize=10558064 CPUtime=0 cores=1,3,5,7
/proc/3040/task/3042/stat : 3042 (java) S 3037 3040 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831178733 10811457536 30814 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 212699491225 0 4 0 16800975 18446604464383251392 0 0 -1 7 0 0 0
[pid=3040/tid=3043] ppid=3037 vsize=10558064 CPUtime=0 cores=1,3,5,7
/proc/3040/task/3043/stat : 3043 (java) S 3037 3040 2924 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831178733 10811457536 30814 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 212699491225 0 4 0 16800975 18446604464383251392 0 0 -1 7 0 0 0
[pid=3040/tid=3044] ppid=3037 vsize=10558064 CPUtime=0 cores=1,3,5,7
/proc/3040/task/3044/stat : 3044 (java) S 3037 3040 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831178733 10811457536 30814 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 212699491225 0 4 0 16800975 18446604464383251392 0 0 -1 7 0 0 0
[pid=3040/tid=3045] ppid=3037 vsize=10558064 CPUtime=0 cores=1,3,5,7
/proc/3040/task/3045/stat : 3045 (java) S 3037 3040 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831178733 10811457536 30814 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 212699491225 0 4 0 16800975 18446604464383251392 0 0 -1 7 0 0 0
[pid=3040/tid=3046] ppid=3037 vsize=10558064 CPUtime=0 cores=1,3,5,7
/proc/3040/task/3046/stat : 3046 (java) S 3037 3040 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831178733 10811457536 30814 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 212699491225 0 4 0 16800975 18446604464383251392 0 0 -1 7 0 0 0
[pid=3040/tid=3047] ppid=3037 vsize=10558064 CPUtime=0 cores=1,3,5,7
/proc/3040/task/3047/stat : 3047 (java) S 3037 3040 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831178733 10811457536 30814 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 212699491225 0 4 0 16800975 18446604464383251392 0 0 -1 7 0 0 0
[pid=3040/tid=3049] ppid=3037 vsize=10558064 CPUtime=0 cores=1,3,5,7
/proc/3040/task/3049/stat : 3049 (java) S 3037 3040 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831178733 10811457536 30814 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 212699491225 0 4 0 16800975 18446604464383251392 0 0 -1 7 0 0 0
[pid=3040/tid=3050] ppid=3037 vsize=10558064 CPUtime=0 cores=1,3,5,7
/proc/3040/task/3050/stat : 3050 (java) S 3037 3040 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831178733 10811457536 30814 33554432000 1073741824 1073778376 140733677578192 18446744073709551615 212699491225 0 4 0 16800975 18446604464383251392 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.34
Current children cumulated vsize (KiB) 10558064
Child status: 10
Real time (s): 0.85043
CPU time (s): 2.44263
CPU user time (s): 2.39564
CPU system time (s): 0.046992
CPU usage (%): 287.223
Max. virtual memory (cumulated for all children) (KiB): 10558064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.39563
system time used= 0.046992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34575
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= 214
involuntary context switches= 25
runsolver used 0.005999 second user time and 0.019996 second system time
The end