0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/224629-1168269319/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=40 nbDomainTypes=1 minDomainSize=80 maxDomainSize=80
0.43 => wckTime=0.103 cpuTime=0.09 mem=6M951
0.43
0.43 relations being loaded...
0.61
0.61 constraints being loaded...
0.70 nbConstraints=103 nbRelationTypes=103 nbExtensionStructures=103 nbSharedExtensionStructures=0
0.70 nbConflictsStructures=103 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=9 maxArity=2
0.70 => wckTime=0.38 cpuTime=0.31 mem=21M678
0.75
0.75 solver IterativeSystematicSolver being built...
0.91 => wckTime=0.587 cpuTime=0.45 mem=15M362
0.96
0.96 preprocessing
0.96 nbConstraintChecks=157850 nbPropagations=991 nbRevisions=3470 nbUselessRevisions=2065 nbSingletonTests=47
0.96 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.96 => wckTime=0.049 cpuTime=0.04 mem=15M362
0.99
0.99 search
0.99 run=0 nbConstraintChecks=89606 nbPropagations=1843 nbRevisions=7127 nbUselessRevisions=4076 nbAssignments=28
0.99 nbFailedAssignments=13 nbBacktracks=10 nbVisitedNodes=50 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.99 nbTooLargeKeys=0
0.99 => wckTime=0.077 cpuTime=0.05 mem=15M362
1.02
1.02 search
1.02 run=1 nbConstraintChecks=245209 nbPropagations=5236 nbRevisions=20669 nbUselessRevisions=11515
1.02 nbAssignments=80 nbFailedAssignments=45 nbBacktracks=25 nbVisitedNodes=148 nbRestartNogoods=4 mapSize=24
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.101 cpuTime=0.07 mem=15M362
1.04
1.04 search
1.04 run=2 nbConstraintChecks=470502 nbPropagations=10651 nbRevisions=42375 nbUselessRevisions=23216
1.04 nbAssignments=149 nbFailedAssignments=80 nbBacktracks=48 nbVisitedNodes=263 nbRestartNogoods=7 mapSize=45
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.127 cpuTime=0.1 mem=15M362
1.07
1.07 search
1.07 run=3 nbConstraintChecks=676440 nbPropagations=18219 nbRevisions=73536 nbUselessRevisions=40043
1.07 nbAssignments=228 nbFailedAssignments=122 nbBacktracks=82 nbVisitedNodes=407 nbRestartNogoods=9 mapSize=74
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.151 cpuTime=0.12 mem=15M362
1.09
1.09 search
1.09 run=4 nbConstraintChecks=892729 nbPropagations=28252 nbRevisions=115298 nbUselessRevisions=62593
1.09 nbAssignments=334 nbFailedAssignments=170 nbBacktracks=134 nbVisitedNodes=584 nbRestartNogoods=13 mapSize=111
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.178 cpuTime=0.14 mem=15M362
1.15
1.15 search
1.15 run=5 nbConstraintChecks=1479687 nbPropagations=43643 nbRevisions=180351 nbUselessRevisions=97558
1.15 nbAssignments=534 nbFailedAssignments=289 nbBacktracks=210 nbVisitedNodes=954 nbRestartNogoods=15 mapSize=177
1.15 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.237 cpuTime=0.19 mem=15M362
1.23
1.23 search
1.23 run=6 nbConstraintChecks=2342519 nbPropagations=66240 nbRevisions=276644 nbUselessRevisions=149309
1.23 nbAssignments=777 nbFailedAssignments=417 nbBacktracks=323 nbVisitedNodes=1396 nbRestartNogoods=24 mapSize=275
1.23 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.312 cpuTime=0.27 mem=15M362
1.32
1.32 search
1.32 run=7 nbConstraintChecks=3210113 nbPropagations=98500 nbRevisions=415701 nbUselessRevisions=223759
1.32 nbAssignments=1161 nbFailedAssignments=621 nbBacktracks=493 nbVisitedNodes=2081 nbRestartNogoods=31
1.32 mapSize=409 nbInferences=0 nbTooLargeKeys=0
1.32 => wckTime=0.403 cpuTime=0.35 mem=15M362
1.48
1.48 search
1.48 run=8 nbConstraintChecks=5015796 nbPropagations=147206 nbRevisions=625288 nbUselessRevisions=335641
1.48 nbAssignments=1773 nbFailedAssignments=963 nbBacktracks=716 nbVisitedNodes=3182 nbRestartNogoods=40
1.48 mapSize=607 nbInferences=0 nbTooLargeKeys=0
1.49 => wckTime=0.571 cpuTime=0.5 mem=15M362
1.49
1.49 global
1.49 nbConstraintChecks=5173646 nbPropagations=148197 nbRevisions=628758 nbUselessRevisions=337706
1.49 nbRestartNogoods=40 solvingWckTime=0.572 solvingCpuTime=0.5 expiredTime=no totalExploration=no
1.49 nbFoundSolutions=1 globalCpuTime=1.0
1.49 => wckTime=1.164 cpuTime=0.95 mem=15M362
1.49
1.49 s SATISFIABLE
1.49 v 65 27 9 40 48 56 19 50 15 58 37 68 25 13 72 10 3 69 41 11 79 39 51 70 5 77 2 52 26 39 46 55 10 29 38 38 22 3 68 3
1.49 d NODES 1773
1.49 d CHECKS 5173646
1.49
1.49 totalWckTime=1.244 totalCpuTime=1.01
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node4/watcher-224629-1168269319 -o ROOT/results/node4/solver-224629-1168269319 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/224629-1168269319/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.74 2.58 2.29 4/94 28264
/proc/meminfo: memFree=1131488/2055920 swapFree=4182144/4192956
[pid=28263] ppid=28261 vsize=18540 CPUtime=0
/proc/28263/stat : 28263 (runsolver) R 28261 28263 27308 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 175327524 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 259913215271 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/28263/statm: 4635 279 244 17 0 2626 0
[startup+0.10279 s]
/proc/loadavg: 2.74 2.58 2.29 4/94 28264
/proc/meminfo: memFree=1131488/2055920 swapFree=4182144/4192956
[pid=28263] ppid=28261 vsize=913228 CPUtime=0.08
/proc/28263/stat : 28263 (java) R 28261 28263 27308 0 -1 0 2920 0 1 0 6 2 0 0 25 0 8 0 175327524 935145472 2666 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28263/statm: 228307 2666 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913228
[startup+0.51283 s]
/proc/loadavg: 2.74 2.58 2.29 4/94 28264
/proc/meminfo: memFree=1131488/2055920 swapFree=4182144/4192956
[pid=28263] ppid=28261 vsize=915328 CPUtime=0.48
/proc/28263/stat : 28263 (java) R 28261 28263 27308 0 -1 0 7229 0 1 0 43 5 0 0 25 0 8 0 175327524 937295872 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28263/statm: 228832 6968 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33391 s]
/proc/loadavg: 2.74 2.58 2.29 4/101 28271
/proc/meminfo: memFree=1091880/2055920 swapFree=4182144/4192956
[pid=28263] ppid=28261 vsize=915464 CPUtime=1.28
/proc/28263/stat : 28263 (java) R 28261 28263 27308 0 -1 0 10540 0 1 0 120 8 0 0 25 0 8 0 175327524 937435136 10278 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073741519 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28263/statm: 228866 10278 2524 14 0 215336 0
[pid=28263/tid=28265] ppid=28261 vsize=915464 CPUtime=0.03
/proc/28263/task/28265/stat : 28265 (java) S 28261 28263 27308 0 -1 64 353 0 0 0 3 0 0 0 16 0 8 0 175327528 937435136 10278 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28263/tid=28266] ppid=28261 vsize=915464 CPUtime=0
/proc/28263/task/28266/stat : 28266 (java) S 28261 28263 27308 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175327529 937435136 10278 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28263/tid=28267] ppid=28261 vsize=915464 CPUtime=0
/proc/28263/task/28267/stat : 28267 (java) S 28261 28263 27308 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175327529 937435136 10278 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28263/tid=28268] ppid=28261 vsize=915464 CPUtime=0
/proc/28263/task/28268/stat : 28268 (java) S 28261 28263 27308 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 175327532 937435136 10278 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28263/tid=28269] ppid=28261 vsize=915464 CPUtime=0.18
/proc/28263/task/28269/stat : 28269 (java) S 28261 28263 27308 0 -1 64 363 0 0 0 17 1 0 0 15 0 8 0 175327532 937435136 10278 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28263/tid=28270] ppid=28261 vsize=915464 CPUtime=0
/proc/28263/task/28270/stat : 28270 (java) S 28261 28263 27308 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 175327532 937435136 10278 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28263/tid=28271] ppid=28261 vsize=915464 CPUtime=0
/proc/28263/task/28271/stat : 28271 (java) S 28261 28263 27308 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 175327532 937435136 10278 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 1.5538
CPU time (s): 1.46078
CPU user time (s): 1.36079
CPU system time (s): 0.099984
CPU usage (%): 94.0134
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.36079
system time used= 0.099984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10554
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= 1061
involuntary context switches= 1207
runsolver used 0.003999 s user time and 0.014997 s system time
The end
Begin job on node4 on Mon Jan 8 15:15:20 UTC 2007
IDJOB= 224629
IDBENCH= 5774
FILE ID= node4/224629-1168269319
PBS_JOBID= 3482873
Free space on /tmp= 66308 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.8/rand-2-40-80-103-800-37_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/224629-1168269319/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-224629-1168269319 -o ROOT/results/node4/solver-224629-1168269319 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/224629-1168269319/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 4f1efc87014a8b5ba672ff295cc5cd98
RANDOM SEED= 307148961
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.223
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.223
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1131968 kB
Buffers: 61988 kB
Cached: 214736 kB
SwapCached: 2552 kB
Active: 749656 kB
Inactive: 116716 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1131968 kB
SwapTotal: 4192956 kB
SwapFree: 4182144 kB
Dirty: 2416 kB
Writeback: 0 kB
Mapped: 605684 kB
Slab: 40848 kB
Committed_AS: 5585148 kB
PageTables: 3572 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66308 MiB
End job on node4 on Mon Jan 8 15:15:21 UTC 2007