runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3687710-1337873766/watcher-3687710-1337873766 -o /tmp/evaluation-result-3687710-1337873766/solver-3687710-1337873766 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687710-1337873766.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.82 3.68 3.18 4/197 24153
/proc/meminfo: memFree=25805952/32873844 swapFree=7356/7356
[pid=24153] ppid=24151 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/24153/stat : 24153 (java) D 24151 24153 23457 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 253505196 9515008 182 33554432000 1073741824 1073778376 140735569613008 140735569604040 245294251701 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/24153/statm: 2323 182 140 9 0 71 0
[startup+0.031756 s]
/proc/loadavg: 3.82 3.68 3.18 4/197 24153
/proc/meminfo: memFree=25805952/32873844 swapFree=7356/7356
[pid=24153] ppid=24151 vsize=9016616 CPUtime=0 cores=0,2,4,6
/proc/24153/stat : 24153 (java) S 24151 24153 23457 0 -1 4202496 2764 0 1 0 0 0 0 0 20 0 10 0 253505196 9233014784 3463 33554432000 1073741824 1073778376 140734452842368 140734452833504 245297610813 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24153/statm: 2254154 3463 1535 9 0 2244855 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9016616
[startup+0.100265 s]
/proc/loadavg: 3.82 3.68 3.18 4/197 24153
/proc/meminfo: memFree=25805952/32873844 swapFree=7356/7356
[pid=24153] ppid=24151 vsize=9558412 CPUtime=0.07 cores=0,2,4,6
/proc/24153/stat : 24153 (java) S 24151 24153 23457 0 -1 4202496 3748 0 1 0 7 0 0 0 20 0 18 0 253505196 9787813888 4955 33554432000 1073741824 1073778376 140734452842368 140734452833504 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24153/statm: 2389603 4961 1987 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558412
[startup+0.300279 s]
/proc/loadavg: 3.82 3.68 3.18 4/197 24153
/proc/meminfo: memFree=25805952/32873844 swapFree=7356/7356
[pid=24153] ppid=24151 vsize=9824668 CPUtime=0.47 cores=0,2,4,6
/proc/24153/stat : 24153 (java) S 24151 24153 23457 0 -1 4202496 7058 0 1 0 44 3 0 0 20 0 19 0 253505196 10060460032 8571 33554432000 1073741824 1073778376 140734452842368 140734452833504 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24153/statm: 2456167 8571 2234 9 0 2446860 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9824668
[startup+0.700265 s]
/proc/loadavg: 3.82 3.68 3.18 4/197 24153
/proc/meminfo: memFree=25805952/32873844 swapFree=7356/7356
[pid=24153] ppid=24151 vsize=9824668 CPUtime=0.53 cores=0,2,4,6
/proc/24153/stat : 24153 (java) S 24151 24153 23457 0 -1 4202496 8004 0 1 0 50 3 0 0 20 0 19 0 253505196 10060460032 9170 33554432000 1073741824 1073778376 140734452842368 140734452833504 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24153/statm: 2456167 9170 2237 9 0 2446860 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9824668
Solver just ended. Dumping a history of the last processes samples
[startup+1.10725 s]
/proc/loadavg: 3.82 3.68 3.18 3/216 24178
/proc/meminfo: memFree=25771432/32873844 swapFree=7356/7356
[pid=24153] ppid=24151 vsize=9824668 CPUtime=0.77 cores=0,2,4,6
/proc/24153/stat : 24153 (java) S 24151 24153 23457 0 -1 4202496 8319 0 1 0 72 5 0 0 20 0 19 0 253505196 10060460032 10780 33554432000 1073741824 1073778376 140734452842368 140734452833504 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24153/statm: 2456167 10780 2238 9 0 2446860 0
[pid=24153/tid=24155] ppid=24151 vsize=9824668 CPUtime=0.2 cores=0,2,4,6
/proc/24153/task/24155/stat : 24155 (java) S 24151 24153 23457 0 -1 4202560 2458 0 1 0 20 0 0 0 20 0 19 0 253505197 10060460032 10780 33554432000 1073741824 1073778376 140734452842368 140283397592056 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24153/tid=24156] ppid=24151 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24153/task/24156/stat : 24156 (java) S 24151 24153 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253505199 10060460032 10780 33554432000 1073741824 1073778376 140734452842368 140283370044328 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24153/tid=24157] ppid=24151 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24153/task/24157/stat : 24157 (java) S 24151 24153 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253505199 10060460032 10780 33554432000 1073741824 1073778376 140734452842368 140283368991784 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24153/tid=24158] ppid=24151 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24153/task/24158/stat : 24158 (java) S 24151 24153 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253505199 10060460032 10780 33554432000 1073741824 1073778376 140734452842368 140283367938728 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24153/tid=24159] ppid=24151 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24153/task/24159/stat : 24159 (java) S 24151 24153 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253505199 10060460032 10780 33554432000 1073741824 1073778376 140734452842368 140283366886184 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24153/tid=24160] ppid=24151 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24153/task/24160/stat : 24160 (java) S 24151 24153 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253505199 10060460032 10780 33554432000 1073741824 1073778376 140734452842368 140283365833128 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24153/tid=24161] ppid=24151 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24153/task/24161/stat : 24161 (java) S 24151 24153 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253505199 10060460032 10780 33554432000 1073741824 1073778376 140734452842368 140283364780584 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24153/tid=24162] ppid=24151 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24153/task/24162/stat : 24162 (java) S 24151 24153 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253505199 10060460032 10780 33554432000 1073741824 1073778376 140734452842368 140283363727528 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24153/tid=24163] ppid=24151 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24153/task/24163/stat : 24163 (java) S 24151 24153 23457 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253505199 10060460032 10780 33554432000 1073741824 1073778376 140734452842368 140283234265384 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24153/tid=24164] ppid=24151 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24153/task/24164/stat : 24164 (java) S 24151 24153 23457 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253505200 10060460032 10780 33554432000 1073741824 1073778376 140734452842368 140282751318888 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24153/tid=24165] ppid=24151 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24153/task/24165/stat : 24165 (java) S 24151 24153 23457 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253505200 10060460032 10780 33554432000 1073741824 1073778376 140734452842368 140282750265208 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24153/tid=24166] ppid=24151 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24153/task/24166/stat : 24166 (java) S 24151 24153 23457 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253505201 10060460032 10780 33554432000 1073741824 1073778376 140734452842368 140282749212040 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24153/tid=24167] ppid=24151 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24153/task/24167/stat : 24167 (java) S 24151 24153 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253505203 10060460032 10780 33554432000 1073741824 1073778376 140734452842368 140282748160784 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24153/tid=24168] ppid=24151 vsize=9824668 CPUtime=0.18 cores=0,2,4,6
/proc/24153/task/24168/stat : 24168 (java) S 24151 24153 23457 0 -1 4202560 2258 0 0 0 18 0 0 0 20 0 19 0 253505203 10060460032 10780 33554432000 1073741824 1073778376 140734452842368 140282747107640 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24153/tid=24169] ppid=24151 vsize=9824668 CPUtime=0.2 cores=0,2,4,6
/proc/24153/task/24169/stat : 24169 (java) S 24151 24153 23457 0 -1 4202560 2294 0 0 0 20 0 0 0 20 0 19 0 253505203 10060460032 10780 33554432000 1073741824 1073778376 140734452842368 140282746055096 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24153/tid=24170] ppid=24151 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24153/task/24170/stat : 24170 (java) S 24151 24153 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253505203 10060460032 10780 33554432000 1073741824 1073778376 140734452842368 140282745002232 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24153/tid=24171] ppid=24151 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24153/task/24171/stat : 24171 (java) S 24151 24153 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253505203 10060460032 10780 33554432000 1073741824 1073778376 140734452842368 140282743949896 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24153/tid=24178] ppid=24151 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24153/task/24178/stat : 24178 (java) S 24151 24153 23457 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253505270 10060460032 10780 33554432000 1073741824 1073778376 140734452842368 140282739737384 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 9824668
[startup+1.20075 s]
/proc/loadavg: 3.82 3.68 3.18 3/216 24178
/proc/meminfo: memFree=25771432/32873844 swapFree=7356/7356
[pid=24153] ppid=24151 vsize=9824668 CPUtime=0.77 cores=0,2,4,6
/proc/24153/stat : 24153 (java) S 24151 24153 23457 0 -1 4202496 8319 0 1 0 72 5 0 0 20 0 19 0 253505196 10060460032 10780 33554432000 1073741824 1073778376 140734452842368 140734452833504 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24153/statm: 2456167 10780 2238 9 0 2446860 0
[pid=24153/tid=24155] ppid=24151 vsize=9824668 CPUtime=0.2 cores=0,2,4,6
/proc/24153/task/24155/stat : 24155 (java) S 24151 24153 23457 0 -1 4202560 2458 0 1 0 20 0 0 0 20 0 19 0 253505197 10060460032 10780 33554432000 1073741824 1073778376 140734452842368 140283397592056 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24153/tid=24156] ppid=24151 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24153/task/24156/stat : 24156 (java) S 24151 24153 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253505199 10060460032 10780 33554432000 1073741824 1073778376 140734452842368 140283370044328 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24153/tid=24157] ppid=24151 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24153/task/24157/stat : 24157 (java) S 24151 24153 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253505199 10060460032 10780 33554432000 1073741824 1073778376 140734452842368 140283368991784 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24153/tid=24158] ppid=24151 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24153/task/24158/stat : 24158 (java) S 24151 24153 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253505199 10060460032 10780 33554432000 1073741824 1073778376 140734452842368 140283367938728 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24153/tid=24159] ppid=24151 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24153/task/24159/stat : 24159 (java) S 24151 24153 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253505199 10060460032 10780 33554432000 1073741824 1073778376 140734452842368 140283366886184 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24153/tid=24160] ppid=24151 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24153/task/24160/stat : 24160 (java) S 24151 24153 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253505199 10060460032 10780 33554432000 1073741824 1073778376 140734452842368 140283365833128 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24153/tid=24161] ppid=24151 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24153/task/24161/stat : 24161 (java) S 24151 24153 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253505199 10060460032 10780 33554432000 1073741824 1073778376 140734452842368 140283364780584 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24153/tid=24162] ppid=24151 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24153/task/24162/stat : 24162 (java) S 24151 24153 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253505199 10060460032 10780 33554432000 1073741824 1073778376 140734452842368 140283363727528 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24153/tid=24163] ppid=24151 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24153/task/24163/stat : 24163 (java) S 24151 24153 23457 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253505199 10060460032 10780 33554432000 1073741824 1073778376 140734452842368 140283234265384 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24153/tid=24164] ppid=24151 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24153/task/24164/stat : 24164 (java) S 24151 24153 23457 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253505200 10060460032 10780 33554432000 1073741824 1073778376 140734452842368 140282751318888 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24153/tid=24165] ppid=24151 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24153/task/24165/stat : 24165 (java) S 24151 24153 23457 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253505200 10060460032 10780 33554432000 1073741824 1073778376 140734452842368 140282750265208 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24153/tid=24166] ppid=24151 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24153/task/24166/stat : 24166 (java) S 24151 24153 23457 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253505201 10060460032 10780 33554432000 1073741824 1073778376 140734452842368 140282749212040 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24153/tid=24167] ppid=24151 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24153/task/24167/stat : 24167 (java) S 24151 24153 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253505203 10060460032 10780 33554432000 1073741824 1073778376 140734452842368 140282748160784 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24153/tid=24168] ppid=24151 vsize=9824668 CPUtime=0.18 cores=0,2,4,6
/proc/24153/task/24168/stat : 24168 (java) S 24151 24153 23457 0 -1 4202560 2258 0 0 0 18 0 0 0 20 0 19 0 253505203 10060460032 10780 33554432000 1073741824 1073778376 140734452842368 140282747107640 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24153/tid=24169] ppid=24151 vsize=9824668 CPUtime=0.2 cores=0,2,4,6
/proc/24153/task/24169/stat : 24169 (java) S 24151 24153 23457 0 -1 4202560 2294 0 0 0 20 0 0 0 20 0 19 0 253505203 10060460032 10780 33554432000 1073741824 1073778376 140734452842368 140282746055096 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24153/tid=24170] ppid=24151 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24153/task/24170/stat : 24170 (java) S 24151 24153 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253505203 10060460032 10780 33554432000 1073741824 1073778376 140734452842368 140282745002232 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24153/tid=24171] ppid=24151 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24153/task/24171/stat : 24171 (java) S 24151 24153 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253505203 10060460032 10780 33554432000 1073741824 1073778376 140734452842368 140282743949896 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24153/tid=24178] ppid=24151 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24153/task/24178/stat : 24178 (java) S 24151 24153 23457 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253505270 10060460032 10780 33554432000 1073741824 1073778376 140734452842368 140282739737384 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 9824668
Child status: 30
Real time (s): 1.25396
CPU time (s): 0.801877
CPU user time (s): 0.730888
CPU system time (s): 0.070989
CPU usage (%): 63.9475
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.730888
system time used= 0.070989
maximum resident set size= 45180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8327
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 332
involuntary context switches= 32
runsolver used 0.006998 second user time and 0.010998 second system time
The end