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-3453814-1307194262/watcher-3453814-1307194262 -o /tmp/evaluation-result-3453814-1307194262/solver-3453814-1307194262 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453814-1307194262.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: 3.52 3.78 3.70 4/519 27953
/proc/meminfo: memFree=29471216/32951124 swapFree=53876548/67111528
[pid=27953] ppid=27951 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/27953/stat : 27953 (java) S 27951 27953 21775 0 -1 4202496 6630 0 1 0 0 0 0 0 17 0 2 0 831027137 10694979584 6333 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624913381 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/27953/statm: 2611079 6348 917 9 0 2602235 0
[pid=27953/tid=27954] ppid=27951 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27954/stat : 27954 (java) R 27951 27953 21775 0 -1 4202560 5582 0 1 0 0 0 0 0 18 0 2 0 831027138 10694979584 6398 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270612804667 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.113134 s]
/proc/loadavg: 3.52 3.78 3.70 4/519 27953
/proc/meminfo: memFree=29471216/32951124 swapFree=53876548/67111528
[pid=27953] ppid=27951 vsize=10540036 CPUtime=0.12 cores=1,3,5,7
/proc/27953/stat : 27953 (java) S 27951 27953 21775 0 -1 4202496 13232 0 1 0 11 1 0 0 17 0 18 0 831027137 10792996864 12907 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27953/statm: 2635009 12908 2123 9 0 2625743 0
[pid=27953/tid=27954] ppid=27951 vsize=10540036 CPUtime=0.09 cores=1,3,5,7
/proc/27953/task/27954/stat : 27954 (java) R 27951 27953 21775 0 -1 4202560 11245 0 1 0 8 1 0 0 18 0 18 0 831027138 10792996864 12908 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10540036
[startup+0.248448 s]
/proc/loadavg: 3.52 3.78 3.70 4/519 27953
/proc/meminfo: memFree=29471216/32951124 swapFree=53876548/67111528
[pid=27953] ppid=27951 vsize=10546300 CPUtime=0.48 cores=1,3,5,7
/proc/27953/stat : 27953 (java) S 27951 27953 21775 0 -1 4202496 16184 0 1 0 47 1 0 0 17 0 22 0 831027137 10799411200 15018 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27953/statm: 2636575 15018 2195 9 0 2627309 0
[pid=27953/tid=27954] ppid=27951 vsize=10546300 CPUtime=0.13 cores=1,3,5,7
/proc/27953/task/27954/stat : 27954 (java) S 27951 27953 21775 0 -1 4202560 11579 0 1 0 12 1 0 0 19 0 22 0 831027138 10799411200 15018 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624927232 0 4 0 16800975 18446604466582770688 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10546300
[startup+0.332084 s]
/proc/loadavg: 3.52 3.78 3.70 4/519 27953
/proc/meminfo: memFree=29471216/32951124 swapFree=53876548/67111528
[pid=27953] ppid=27951 vsize=10548124 CPUtime=0.82 cores=1,3,5,7
/proc/27953/stat : 27953 (java) S 27951 27953 21775 0 -1 4202496 17988 0 1 0 80 2 0 0 17 0 19 0 831027137 10801278976 16295 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27953/statm: 2637031 16295 2199 9 0 2627765 0
[pid=27953/tid=27954] ppid=27951 vsize=10548124 CPUtime=0.13 cores=1,3,5,7
/proc/27953/task/27954/stat : 27954 (java) S 27951 27953 21775 0 -1 4202560 11579 0 1 0 12 1 0 0 19 0 19 0 831027138 10801278976 16295 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624927232 0 4 0 16800975 18446604466582770688 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.82
Current children cumulated vsize (KiB) 10548124
[startup+0.701037 s]
/proc/loadavg: 3.52 3.78 3.70 4/519 27953
/proc/meminfo: memFree=29471216/32951124 swapFree=53876548/67111528
[pid=27953] ppid=27951 vsize=10547624 CPUtime=0.95 cores=1,3,5,7
/proc/27953/stat : 27953 (java) S 27951 27953 21775 0 -1 4202496 19731 0 1 0 93 2 0 0 17 0 19 0 831027137 10800766976 16849 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27953/statm: 2636906 16849 2203 9 0 2627640 0
[pid=27953/tid=27954] ppid=27951 vsize=10547624 CPUtime=0.13 cores=1,3,5,7
/proc/27953/task/27954/stat : 27954 (java) S 27951 27953 21775 0 -1 4202560 11581 0 1 0 12 1 0 0 16 0 19 0 831027138 10800766976 16849 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624927232 0 4 0 16800975 18446604466582770688 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 10547624
[startup+1.5009 s]
/proc/loadavg: 3.52 3.78 3.70 4/538 27978
/proc/meminfo: memFree=29410004/32951124 swapFree=53876548/67111528
[pid=27953] ppid=27951 vsize=10547816 CPUtime=1 cores=1,3,5,7
/proc/27953/stat : 27953 (java) S 27951 27953 21775 0 -1 4202496 19992 0 1 0 98 2 0 0 17 0 19 0 831027137 10800963584 17109 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27953/statm: 2636954 17109 2211 9 0 2627688 0
[pid=27953/tid=27954] ppid=27951 vsize=10547816 CPUtime=0.13 cores=1,3,5,7
/proc/27953/task/27954/stat : 27954 (java) S 27951 27953 21775 0 -1 4202560 11584 0 1 0 12 1 0 0 16 0 19 0 831027138 10800963584 17109 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624927232 0 4 0 16800975 18446604466582770688 0 0 -1 7 0 0 0
[pid=27953/tid=27956] ppid=27951 vsize=10547816 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27956/stat : 27956 (java) S 27951 27953 21775 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831027140 10800963584 17109 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624926617 0 4 0 16800975 18446604466582770688 0 0 -1 1 0 0 0
[pid=27953/tid=27957] ppid=27951 vsize=10547816 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27957/stat : 27957 (java) S 27951 27953 21775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831027140 10800963584 17109 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624926617 0 4 0 16800975 18446604466582770688 0 0 -1 7 0 0 0
[pid=27953/tid=27958] ppid=27951 vsize=10547816 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27958/stat : 27958 (java) S 27951 27953 21775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831027140 10800963584 17109 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624926617 0 4 0 16800975 18446604466582770688 0 0 -1 7 0 0 0
[pid=27953/tid=27959] ppid=27951 vsize=10547816 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27959/stat : 27959 (java) S 27951 27953 21775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831027140 10800963584 17109 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624926617 0 4 0 16800975 18446604466582770688 0 0 -1 7 0 0 0
[pid=27953/tid=27960] ppid=27951 vsize=10547816 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27960/stat : 27960 (java) S 27951 27953 21775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831027140 10800963584 17109 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624926617 0 4 0 16800975 18446604466582770688 0 0 -1 7 0 0 0
[pid=27953/tid=27961] ppid=27951 vsize=10547816 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27961/stat : 27961 (java) S 27951 27953 21775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831027140 10800963584 17109 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624926617 0 4 0 16800975 18446604466582770688 0 0 -1 7 0 0 0
[pid=27953/tid=27962] ppid=27951 vsize=10547816 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27962/stat : 27962 (java) S 27951 27953 21775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831027140 10800963584 17109 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624926617 0 4 0 16800975 18446604466582770688 0 0 -1 7 0 0 0
[pid=27953/tid=27963] ppid=27951 vsize=10547816 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27963/stat : 27963 (java) S 27951 27953 21775 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 831027140 10800963584 17109 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624926617 0 4 0 16800975 18446604466582770688 0 0 -1 7 0 0 0
[pid=27953/tid=27964] ppid=27951 vsize=10547816 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27964/stat : 27964 (java) S 27951 27953 21775 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 831027141 10800963584 17109 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624927232 0 0 0 16800975 18446604466582770688 0 0 -1 3 0 0 0
[pid=27953/tid=27965] ppid=27951 vsize=10547816 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27965/stat : 27965 (java) S 27951 27953 21775 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 831027141 10800963584 17109 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624926617 0 4 0 16800975 18446604466582770688 0 0 -1 1 0 0 0
[pid=27953/tid=27966] ppid=27951 vsize=10547816 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27966/stat : 27966 (java) S 27951 27953 21775 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 831027141 10800963584 17109 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624926617 0 4 0 16800975 18446604466582770688 0 0 -1 1 0 0 0
[pid=27953/tid=27967] ppid=27951 vsize=10547816 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27967/stat : 27967 (java) S 27951 27953 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831027143 10800963584 17109 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624934321 0 4 0 16800975 18446604466582770688 0 0 -1 1 0 0 0
[pid=27953/tid=27968] ppid=27951 vsize=10547816 CPUtime=0.29 cores=1,3,5,7
/proc/27953/task/27968/stat : 27968 (java) S 27951 27953 21775 0 -1 4202560 3366 0 0 0 29 0 0 0 18 0 19 0 831027143 10800963584 17109 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624926617 0 4 0 16800975 18446604466582770688 0 0 -1 3 0 0 0
[pid=27953/tid=27969] ppid=27951 vsize=10547816 CPUtime=0.2 cores=1,3,5,7
/proc/27953/task/27969/stat : 27969 (java) S 27951 27953 21775 0 -1 4202560 2253 0 0 0 20 0 0 0 15 0 19 0 831027143 10800963584 17109 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624926617 0 4 0 16800975 18446604466582770688 0 0 -1 1 0 0 0
[pid=27953/tid=27970] ppid=27951 vsize=10547816 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27970/stat : 27970 (java) S 27951 27953 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831027143 10800963584 17109 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624926617 0 4 0 16800975 18446604466582770688 0 0 -1 1 0 0 0
[pid=27953/tid=27971] ppid=27951 vsize=10547816 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27971/stat : 27971 (java) S 27951 27953 21775 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831027143 10800963584 17109 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624927232 0 4 0 16800975 18446604466582770688 0 0 -1 3 0 0 0
[pid=27953/tid=27974] ppid=27951 vsize=10547816 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27974/stat : 27974 (java) S 27951 27953 21775 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 831027152 10800963584 17109 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624927232 0 4 0 16800975 18446604466582770688 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 10547816
############
# WARNING:
# current cumulated CPU time (0 s) is less than in the last sample (2.72 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (2.72 s) to the 'lost time'.
[startup+2.10075 s]
/proc/loadavg: 3.52 3.78 3.70 4/538 27978
/proc/meminfo: memFree=29410004/32951124 swapFree=53876548/67111528
[pid=27953] ppid=27951 vsize=10554360 CPUtime=2.72 cores=1,3,5,7
/proc/27953/stat : 27953 (java) S 27951 27953 21775 0 -1 4202496 51191 0 1 0 266 6 0 0 17 0 22 0 831027137 10807664640 44047 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27953/statm: 2638590 44048 2230 9 0 2629324 0
[pid=27953/tid=27954] ppid=27951 vsize=10554360 CPUtime=0.13 cores=1,3,5,7
/proc/27953/task/27954/stat : 27954 (java) S 27951 27953 21775 0 -1 4202560 11586 0 1 0 12 1 0 0 16 0 22 0 831027138 10807664640 44049 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624927232 0 4 0 16800975 18446604466582770688 0 0 -1 5 0 0 0
[pid=27953/tid=27956] ppid=27951 vsize=10554360 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27956/stat : 27956 (java) S 27951 27953 21775 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831027140 10807664640 44050 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624926617 0 4 0 16800975 18446604466582770688 0 0 -1 1 0 0 0
[pid=27953/tid=27957] ppid=27951 vsize=10554360 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27957/stat : 27957 (java) S 27951 27953 21775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 831027140 10807664640 44052 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624926617 0 4 0 16800975 18446604466582770688 0 0 -1 7 0 0 0
[pid=27953/tid=27958] ppid=27951 vsize=10554360 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27958/stat : 27958 (java) S 27951 27953 21775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 831027140 10807664640 44054 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624926617 0 4 0 16800975 18446604466582770688 0 0 -1 7 0 0 0
[pid=27953/tid=27959] ppid=27951 vsize=10554360 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27959/stat : 27959 (java) S 27951 27953 21775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 831027140 10807664640 44056 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624926617 0 4 0 16800975 18446604466582770688 0 0 -1 7 0 0 0
[pid=27953/tid=27960] ppid=27951 vsize=10554360 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27960/stat : 27960 (java) S 27951 27953 21775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 831027140 10807664640 44059 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624926617 0 4 0 16800975 18446604466582770688 0 0 -1 7 0 0 0
[pid=27953/tid=27961] ppid=27951 vsize=10554360 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27961/stat : 27961 (java) S 27951 27953 21775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 831027140 10807664640 44061 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624926617 0 4 0 16800975 18446604466582770688 0 0 -1 7 0 0 0
[pid=27953/tid=27962] ppid=27951 vsize=10554360 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27962/stat : 27962 (java) S 27951 27953 21775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 831027140 10807664640 44062 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624926617 0 4 0 16800975 18446604466582770688 0 0 -1 7 0 0 0
[pid=27953/tid=27963] ppid=27951 vsize=10554360 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27963/stat : 27963 (java) S 27951 27953 21775 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831027140 10807664640 44063 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624926617 0 4 0 16800975 18446604466582770688 0 0 -1 7 0 0 0
[pid=27953/tid=27964] ppid=27951 vsize=10554360 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27964/stat : 27964 (java) R 27951 27953 21775 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 831027141 10807664640 44064 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624927232 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=27953/tid=27965] ppid=27951 vsize=10554360 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27965/stat : 27965 (java) S 27951 27953 21775 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 22 0 831027141 10807664640 44065 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624926617 0 4 0 16800975 18446604466582770688 0 0 -1 1 0 0 0
[pid=27953/tid=27966] ppid=27951 vsize=10554360 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27966/stat : 27966 (java) S 27951 27953 21775 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 22 0 831027141 10807664640 44067 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624926617 0 4 0 16800975 18446604466582770688 0 0 -1 1 0 0 0
[pid=27953/tid=27967] ppid=27951 vsize=10554360 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27967/stat : 27967 (java) S 27951 27953 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831027143 10807664640 44070 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624934321 0 4 0 16800975 18446604466582770688 0 0 -1 1 0 0 0
[pid=27953/tid=27968] ppid=27951 vsize=10554360 CPUtime=0.72 cores=1,3,5,7
/proc/27953/task/27968/stat : 27968 (java) R 27951 27953 21775 0 -1 4202560 5918 0 0 0 72 0 0 0 16 0 22 0 831027143 10807664640 44071 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 47842725225392 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=27953/tid=27969] ppid=27951 vsize=10554360 CPUtime=0.62 cores=1,3,5,7
/proc/27953/task/27969/stat : 27969 (java) R 27951 27953 21775 0 -1 4202560 7711 0 0 0 61 1 0 0 16 0 22 0 831027143 10807664640 44074 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 47842726064992 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=27953/tid=27970] ppid=27951 vsize=10554360 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27970/stat : 27970 (java) S 27951 27953 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831027143 10807664640 44076 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624926617 0 4 0 16800975 18446604466582770688 0 0 -1 1 0 0 0
[pid=27953/tid=27971] ppid=27951 vsize=10554360 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27971/stat : 27971 (java) S 27951 27953 21775 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831027143 10807664640 44077 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624927232 0 4 0 16800975 18446604466582770688 0 0 -1 3 0 0 0
[pid=27953/tid=27974] ppid=27951 vsize=10554360 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27974/stat : 27974 (java) S 27951 27953 21775 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 831027152 10807664640 44079 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624927232 0 4 0 16800975 18446604466582770688 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.72
Current children cumulated vsize (KiB) 10554360
[startup+2.20077 s]
/proc/loadavg: 3.40 3.75 3.69 5/521 27985
/proc/meminfo: memFree=29429976/32951124 swapFree=53876548/67111528
[pid=27953] ppid=-1 vsize=0 CPUtime=0 cores=
/proc/27953/stat : -- couldn't open stat file --/proc/27953/statm: Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
#
############
Solver just ended. Dumping a history of the last processes samples
[startup+1.6009 s]
/proc/loadavg: 3.52 3.78 3.70 4/538 27978
/proc/meminfo: memFree=29410004/32951124 swapFree=53876548/67111528
[pid=27953] ppid=27951 vsize=10547816 CPUtime=1 cores=1,3,5,7
/proc/27953/stat : 27953 (java) S 27951 27953 21775 0 -1 4202496 19992 0 1 0 98 2 0 0 17 0 19 0 831027137 10800963584 17109 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27953/statm: 2636954 17109 2211 9 0 2627688 0
[pid=27953/tid=27954] ppid=27951 vsize=10547816 CPUtime=0.13 cores=1,3,5,7
/proc/27953/task/27954/stat : 27954 (java) S 27951 27953 21775 0 -1 4202560 11584 0 1 0 12 1 0 0 16 0 19 0 831027138 10800963584 17109 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624927232 0 4 0 16800975 18446604466582770688 0 0 -1 7 0 0 0
[pid=27953/tid=27956] ppid=27951 vsize=10547816 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27956/stat : 27956 (java) S 27951 27953 21775 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831027140 10800963584 17109 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624926617 0 4 0 16800975 18446604466582770688 0 0 -1 1 0 0 0
[pid=27953/tid=27957] ppid=27951 vsize=10547816 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27957/stat : 27957 (java) S 27951 27953 21775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831027140 10800963584 17109 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624926617 0 4 0 16800975 18446604466582770688 0 0 -1 7 0 0 0
[pid=27953/tid=27958] ppid=27951 vsize=10547816 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27958/stat : 27958 (java) S 27951 27953 21775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831027140 10800963584 17109 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624926617 0 4 0 16800975 18446604466582770688 0 0 -1 7 0 0 0
[pid=27953/tid=27959] ppid=27951 vsize=10547816 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27959/stat : 27959 (java) S 27951 27953 21775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831027140 10800963584 17109 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624926617 0 4 0 16800975 18446604466582770688 0 0 -1 7 0 0 0
[pid=27953/tid=27960] ppid=27951 vsize=10547816 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27960/stat : 27960 (java) S 27951 27953 21775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831027140 10800963584 17109 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624926617 0 4 0 16800975 18446604466582770688 0 0 -1 7 0 0 0
[pid=27953/tid=27961] ppid=27951 vsize=10547816 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27961/stat : 27961 (java) S 27951 27953 21775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831027140 10800963584 17109 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624926617 0 4 0 16800975 18446604466582770688 0 0 -1 7 0 0 0
[pid=27953/tid=27962] ppid=27951 vsize=10547816 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27962/stat : 27962 (java) S 27951 27953 21775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831027140 10800963584 17109 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624926617 0 4 0 16800975 18446604466582770688 0 0 -1 7 0 0 0
[pid=27953/tid=27963] ppid=27951 vsize=10547816 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27963/stat : 27963 (java) S 27951 27953 21775 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 831027140 10800963584 17109 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624926617 0 4 0 16800975 18446604466582770688 0 0 -1 7 0 0 0
[pid=27953/tid=27964] ppid=27951 vsize=10547816 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27964/stat : 27964 (java) S 27951 27953 21775 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 831027141 10800963584 17109 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624927232 0 0 0 16800975 18446604466582770688 0 0 -1 3 0 0 0
[pid=27953/tid=27965] ppid=27951 vsize=10547816 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27965/stat : 27965 (java) S 27951 27953 21775 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 831027141 10800963584 17109 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624926617 0 4 0 16800975 18446604466582770688 0 0 -1 1 0 0 0
[pid=27953/tid=27966] ppid=27951 vsize=10547816 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27966/stat : 27966 (java) S 27951 27953 21775 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 831027141 10800963584 17109 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624926617 0 4 0 16800975 18446604466582770688 0 0 -1 1 0 0 0
[pid=27953/tid=27967] ppid=27951 vsize=10547816 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27967/stat : 27967 (java) S 27951 27953 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831027143 10800963584 17109 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624934321 0 4 0 16800975 18446604466582770688 0 0 -1 1 0 0 0
[pid=27953/tid=27968] ppid=27951 vsize=10547816 CPUtime=0.29 cores=1,3,5,7
/proc/27953/task/27968/stat : 27968 (java) S 27951 27953 21775 0 -1 4202560 3366 0 0 0 29 0 0 0 18 0 19 0 831027143 10800963584 17109 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624926617 0 4 0 16800975 18446604466582770688 0 0 -1 3 0 0 0
[pid=27953/tid=27969] ppid=27951 vsize=10547816 CPUtime=0.2 cores=1,3,5,7
/proc/27953/task/27969/stat : 27969 (java) S 27951 27953 21775 0 -1 4202560 2253 0 0 0 20 0 0 0 15 0 19 0 831027143 10800963584 17109 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624926617 0 4 0 16800975 18446604466582770688 0 0 -1 1 0 0 0
[pid=27953/tid=27970] ppid=27951 vsize=10547816 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27970/stat : 27970 (java) S 27951 27953 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831027143 10800963584 17109 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624926617 0 4 0 16800975 18446604466582770688 0 0 -1 1 0 0 0
[pid=27953/tid=27971] ppid=27951 vsize=10547816 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27971/stat : 27971 (java) S 27951 27953 21775 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831027143 10800963584 17109 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624927232 0 4 0 16800975 18446604466582770688 0 0 -1 3 0 0 0
[pid=27953/tid=27974] ppid=27951 vsize=10547816 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27974/stat : 27974 (java) S 27951 27953 21775 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 831027152 10800963584 17109 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624927232 0 4 0 16800975 18446604466582770688 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 10547816
[startup+2.00077 s]
/proc/loadavg: 3.52 3.78 3.70 4/538 27978
/proc/meminfo: memFree=29410004/32951124 swapFree=53876548/67111528
[pid=27953] ppid=27951 vsize=10553812 CPUtime=2.32 cores=1,3,5,7
/proc/27953/stat : 27953 (java) S 27951 27953 21775 0 -1 4202496 42496 0 1 0 227 5 0 0 17 0 22 0 831027137 10807103488 36103 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27953/statm: 2638453 36106 2222 9 0 2629187 0
[pid=27953/tid=27954] ppid=27951 vsize=10553812 CPUtime=0.13 cores=1,3,5,7
/proc/27953/task/27954/stat : 27954 (java) S 27951 27953 21775 0 -1 4202560 11586 0 1 0 12 1 0 0 16 0 22 0 831027138 10807103488 36108 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624927232 0 4 0 16800975 18446604466582770688 0 0 -1 5 0 0 0
[pid=27953/tid=27956] ppid=27951 vsize=10553812 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27956/stat : 27956 (java) S 27951 27953 21775 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831027140 10807103488 36110 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624926617 0 4 0 16800975 18446604466582770688 0 0 -1 1 0 0 0
[pid=27953/tid=27957] ppid=27951 vsize=10553812 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27957/stat : 27957 (java) S 27951 27953 21775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 831027140 10807103488 36113 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624926617 0 4 0 16800975 18446604466582770688 0 0 -1 7 0 0 0
[pid=27953/tid=27958] ppid=27951 vsize=10553812 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27958/stat : 27958 (java) S 27951 27953 21775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 831027140 10807103488 36115 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624926617 0 4 0 16800975 18446604466582770688 0 0 -1 7 0 0 0
[pid=27953/tid=27959] ppid=27951 vsize=10553812 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27959/stat : 27959 (java) S 27951 27953 21775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 831027140 10807103488 36118 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624926617 0 4 0 16800975 18446604466582770688 0 0 -1 7 0 0 0
[pid=27953/tid=27960] ppid=27951 vsize=10553812 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27960/stat : 27960 (java) S 27951 27953 21775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 831027140 10807103488 36120 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624926617 0 4 0 16800975 18446604466582770688 0 0 -1 7 0 0 0
[pid=27953/tid=27961] ppid=27951 vsize=10553812 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27961/stat : 27961 (java) S 27951 27953 21775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 831027140 10807103488 36123 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624926617 0 4 0 16800975 18446604466582770688 0 0 -1 7 0 0 0
[pid=27953/tid=27962] ppid=27951 vsize=10553812 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27962/stat : 27962 (java) S 27951 27953 21775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 831027140 10807103488 36126 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624926617 0 4 0 16800975 18446604466582770688 0 0 -1 7 0 0 0
[pid=27953/tid=27963] ppid=27951 vsize=10553812 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27963/stat : 27963 (java) S 27951 27953 21775 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831027140 10807103488 36128 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624926617 0 4 0 16800975 18446604466582770688 0 0 -1 7 0 0 0
[pid=27953/tid=27964] ppid=27951 vsize=10553812 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27964/stat : 27964 (java) S 27951 27953 21775 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 831027141 10807103488 36131 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624927232 0 0 0 16800975 18446604466582770688 0 0 -1 3 0 0 0
[pid=27953/tid=27965] ppid=27951 vsize=10553812 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27965/stat : 27965 (java) S 27951 27953 21775 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 22 0 831027141 10807103488 36135 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624926617 0 4 0 16800975 18446604466582770688 0 0 -1 1 0 0 0
[pid=27953/tid=27966] ppid=27951 vsize=10553812 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27966/stat : 27966 (java) S 27951 27953 21775 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 22 0 831027141 10807103488 36138 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624926617 0 4 0 16800975 18446604466582770688 0 0 -1 1 0 0 0
[pid=27953/tid=27967] ppid=27951 vsize=10553812 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27967/stat : 27967 (java) S 27951 27953 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831027143 10807103488 36141 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624934321 0 4 0 16800975 18446604466582770688 0 0 -1 1 0 0 0
[pid=27953/tid=27968] ppid=27951 vsize=10553812 CPUtime=0.62 cores=1,3,5,7
/proc/27953/task/27968/stat : 27968 (java) R 27951 27953 21775 0 -1 4202560 5180 0 0 0 62 0 0 0 16 0 22 0 831027143 10807103488 36145 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 47842721872084 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=27953/tid=27969] ppid=27951 vsize=10553812 CPUtime=0.52 cores=1,3,5,7
/proc/27953/task/27969/stat : 27969 (java) R 27951 27953 21775 0 -1 4202560 7476 0 0 0 51 1 0 0 16 0 22 0 831027143 10807103488 36148 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 47842723381712 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=27953/tid=27970] ppid=27951 vsize=10553812 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27970/stat : 27970 (java) S 27951 27953 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831027143 10807103488 36150 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624926617 0 4 0 16800975 18446604466582770688 0 0 -1 1 0 0 0
[pid=27953/tid=27971] ppid=27951 vsize=10553812 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27971/stat : 27971 (java) S 27951 27953 21775 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831027143 10807103488 36152 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624927232 0 4 0 16800975 18446604466582770688 0 0 -1 3 0 0 0
[pid=27953/tid=27974] ppid=27951 vsize=10553812 CPUtime=0 cores=1,3,5,7
/proc/27953/task/27974/stat : 27974 (java) S 27951 27953 21775 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 831027152 10807103488 36155 33554432000 1073741824 1073778376 140733245194000 18446744073709551615 270624927232 0 4 0 16800975 18446604466582770688 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.32
Current children cumulated vsize (KiB) 10553812
[startup+2.20077 s]
/proc/loadavg: 3.40 3.75 3.69 5/521 27985
/proc/meminfo: memFree=29429976/32951124 swapFree=53876548/67111528
[pid=27953] ppid=-1 vsize=0 CPUtime=0 cores=
/proc/27953/stat : -- couldn't open stat file --/proc/27953/statm: Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
Child status: 30
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 2.72
# lost CPU user time (s): 2.66
# lost CPU system time (s): 0.06
Real time (s): 2.21237
CPU time (s): 5.71654
CPU user time (s): 5.56756
CPU system time (s): 0.148986
CPU usage (%): 258.39
Max. virtual memory (cumulated for all children) (KiB): 10554360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.90756
system time used= 0.088986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57789
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= 352
involuntary context switches= 116
runsolver used 0.010998 second user time and 0.046992 second system time
The end