0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.33 name=esac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/225383-1168272174/unknown.xml
0.39
0.39 domains being loaded...
0.40
0.40 variables being loaded...
0.44 nbVariables=40 nbDomainTypes=1 minDomainSize=180 maxDomainSize=180
0.44 => wckTime=0.114 cpuTime=0.09 mem=6M951
0.44
0.44 relations being loaded...
0.81
0.81 constraints being loaded...
0.95 nbConstraints=84 nbRelationTypes=84 nbExtensionStructures=84 nbSharedExtensionStructures=0
0.95 nbConflictsStructures=84 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=9 maxArity=2
0.95 => wckTime=0.624 cpuTime=0.56 mem=35M513
1.01
1.01 solver IterativeSystematicSolver being built...
1.18 => wckTime=0.857 cpuTime=0.7 mem=16M399
1.27
1.27 preprocessing
1.27 nbConstraintChecks=614558 nbPropagations=1106 nbRevisions=4249 nbUselessRevisions=2379 nbSingletonTests=52
1.27 nbEffectiveSingletonTests=0 nbESACBranches=11 nbRemovedValues=0 detectedInconsistency=no
1.27 => wckTime=0.08 cpuTime=0.06 mem=16M399
1.35
1.35 search
1.35 run=0 nbConstraintChecks=710410 nbPropagations=2901 nbRevisions=11760 nbUselessRevisions=6202 nbAssignments=74
1.35 nbFailedAssignments=63 nbBacktracks=10 nbVisitedNodes=147 nbRestartNogoods=0 mapSize=10 nbInferences=0
1.35 nbTooLargeKeys=0
1.35 => wckTime=0.16 cpuTime=0.12 mem=16M399
1.38
1.38 search
1.38 run=1 nbConstraintChecks=1117002 nbPropagations=7221 nbRevisions=28727 nbUselessRevisions=14693
1.38 nbAssignments=111 nbFailedAssignments=82 nbBacktracks=25 nbVisitedNodes=214 nbRestartNogoods=2 mapSize=23
1.38 nbInferences=0 nbTooLargeKeys=0
1.38 => wckTime=0.189 cpuTime=0.15 mem=16M399
1.42
1.42 search
1.42 run=2 nbConstraintChecks=1696032 nbPropagations=13701 nbRevisions=53539 nbUselessRevisions=26595
1.42 nbAssignments=167 nbFailedAssignments=112 nbBacktracks=48 nbVisitedNodes=316 nbRestartNogoods=7 mapSize=44
1.42 nbInferences=0 nbTooLargeKeys=0
1.42 => wckTime=0.233 cpuTime=0.19 mem=16M399
1.55
1.55 search
1.55 run=3 nbConstraintChecks=3773194 nbPropagations=25312 nbRevisions=100159 nbUselessRevisions=48345
1.55 nbAssignments=328 nbFailedAssignments=239 nbBacktracks=81 nbVisitedNodes=632 nbRestartNogoods=13 mapSize=76
1.55 nbInferences=0 nbTooLargeKeys=0
1.55 => wckTime=0.358 cpuTime=0.31 mem=16M399
1.63
1.63 search
1.63 run=4 nbConstraintChecks=5115364 nbPropagations=41369 nbRevisions=163587 nbUselessRevisions=77288
1.63 nbAssignments=444 nbFailedAssignments=303 nbBacktracks=132 nbVisitedNodes=841 nbRestartNogoods=18 mapSize=114
1.63 nbInferences=0 nbTooLargeKeys=0
1.63 => wckTime=0.443 cpuTime=0.39 mem=16M399
1.78
1.79 search
1.79 run=5 nbConstraintChecks=7684229 nbPropagations=65546 nbRevisions=258125 nbUselessRevisions=120392
1.79 nbAssignments=701 nbFailedAssignments=483 nbBacktracks=207 nbVisitedNodes=1322 nbRestartNogoods=28 mapSize=171
1.79 nbInferences=0 nbTooLargeKeys=0
1.79 => wckTime=0.596 cpuTime=0.54 mem=16M399
2.07
2.07 search
2.07 run=6 nbConstraintChecks=12465473 nbPropagations=103735 nbRevisions=408731 nbUselessRevisions=189423
2.07 nbAssignments=1145 nbFailedAssignments=811 nbBacktracks=320 nbVisitedNodes=2177 nbRestartNogoods=29
2.07 mapSize=271 nbInferences=0 nbTooLargeKeys=0
2.07 => wckTime=0.883 cpuTime=0.82 mem=17M368
2.52
2.52 search
2.52 run=7 nbConstraintChecks=19943382 nbPropagations=161977 nbRevisions=643289 nbUselessRevisions=298329
2.52 nbAssignments=1844 nbFailedAssignments=1339 nbBacktracks=490 nbVisitedNodes=3513 nbRestartNogoods=32
2.52 mapSize=413 nbInferences=0 nbTooLargeKeys=0
2.52 => wckTime=1.333 cpuTime=1.24 mem=17M368
2.90
2.90 search
2.90 run=8 nbConstraintChecks=26399230 nbPropagations=241520 nbRevisions=958729 nbUselessRevisions=442508
2.90 nbAssignments=2479 nbFailedAssignments=1680 nbBacktracks=742 nbVisitedNodes=4634 nbRestartNogoods=37
2.90 mapSize=619 nbInferences=0 nbTooLargeKeys=0
2.90 => wckTime=1.714 cpuTime=1.61 mem=17M368
2.91
2.91 global
2.91 nbConstraintChecks=27013788 nbPropagations=242626 nbRevisions=962978 nbUselessRevisions=444887
2.91 nbRestartNogoods=37 solvingWckTime=1.716 solvingCpuTime=1.61 expiredTime=no totalExploration=no
2.91 nbFoundSolutions=1 globalCpuTime=2.38
2.91 => wckTime=2.578 cpuTime=2.32 mem=17M368
2.91
2.91 s SATISFIABLE
2.91 v 123 73 59 162 148 33 8 164 49 143 28 160 164 26 37 146 3 2 36 53 104 56 133 56 35 101 118 76 16 9 16 168 165 72 142 44 124 18 140 87
2.91 d NODES 2479
2.91 d CHECKS 27013788
2.91
2.91 totalWckTime=2.663 totalCpuTime=2.38
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node6/watcher-225383-1168272174 -o ROOT/results/node6/solver-225383-1168272174 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/225383-1168272174/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: 1.99 1.97 1.94 4/87 28380
/proc/meminfo: memFree=1505640/2055924 swapFree=4165672/4192956
[pid=28379] ppid=28377 vsize=1784 CPUtime=0
/proc/28379/stat : 28379 (java) D 28377 28379 27603 0 -1 0 169 0 0 0 0 0 0 0 18 0 1 0 175612866 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/28379/statm: 446 140 106 14 0 91 0
[startup+0.106842 s]
/proc/loadavg: 1.99 1.97 1.94 4/87 28380
/proc/meminfo: memFree=1505640/2055924 swapFree=4165672/4192956
[pid=28379] ppid=28377 vsize=914988 CPUtime=0.09
/proc/28379/stat : 28379 (java) R 28377 28379 27603 0 -1 0 2962 0 1 0 7 2 0 0 18 0 8 0 175612866 936947712 2708 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155288283 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28379/statm: 228747 2708 1417 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.514889 s]
/proc/loadavg: 1.99 1.97 1.94 4/87 28380
/proc/meminfo: memFree=1505640/2055924 swapFree=4165672/4192956
[pid=28379] ppid=28377 vsize=915328 CPUtime=0.48
/proc/28379/stat : 28379 (java) R 28377 28379 27603 0 -1 0 6999 0 1 0 44 4 0 0 18 0 8 0 175612866 937295872 6738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153440224 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28379/statm: 228832 6738 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33698 s]
/proc/loadavg: 1.99 1.97 1.94 3/94 28387
/proc/meminfo: memFree=1459056/2055924 swapFree=4165672/4192956
[pid=28379] ppid=28377 vsize=915464 CPUtime=1.3
/proc/28379/stat : 28379 (java) R 28377 28379 27603 0 -1 0 14329 0 1 0 121 9 0 0 25 0 8 0 175612866 937435136 14067 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073748867 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28379/statm: 228866 14067 2524 14 0 215336 0
[pid=28379/tid=28381] ppid=28377 vsize=915464 CPUtime=0.04
/proc/28379/task/28381/stat : 28381 (java) S 28377 28379 27603 0 -1 64 611 0 0 0 4 0 0 0 17 0 8 0 175612870 937435136 14067 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28379/tid=28382] ppid=28377 vsize=915464 CPUtime=0
/proc/28379/task/28382/stat : 28382 (java) S 28377 28379 27603 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175612871 937435136 14067 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28379/tid=28383] ppid=28377 vsize=915464 CPUtime=0
/proc/28379/task/28383/stat : 28383 (java) S 28377 28379 27603 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 175612871 937435136 14067 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28379/tid=28384] ppid=28377 vsize=915464 CPUtime=0
/proc/28379/task/28384/stat : 28384 (java) S 28377 28379 27603 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 175612874 937435136 14067 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28379/tid=28385] ppid=28377 vsize=915464 CPUtime=0.17
/proc/28379/task/28385/stat : 28385 (java) S 28377 28379 27603 0 -1 64 355 0 0 0 17 0 0 0 16 0 8 0 175612874 937435136 14067 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28379/tid=28386] ppid=28377 vsize=915464 CPUtime=0
/proc/28379/task/28386/stat : 28386 (java) S 28377 28379 27603 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 175612874 937435136 14067 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28379/tid=28387] ppid=28377 vsize=915464 CPUtime=0
/proc/28379/task/28387/stat : 28387 (java) S 28377 28379 27603 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175612874 937435136 14067 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 2.97238
CPU time (s): 2.87556
CPU user time (s): 2.76758
CPU system time (s): 0.107983
CPU usage (%): 96.7429
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.76758
system time used= 0.107983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14357
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= 1066
involuntary context switches= 1208
runsolver used 0.004999 s user time and 0.020996 s system time
The end
Begin job on node6 on Mon Jan 8 16:02:54 UTC 2007
IDJOB= 225383
IDBENCH= 5851
FILE ID= node6/225383-1168272174
PBS_JOBID= 3482992
Free space on /tmp= 66534 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.9/rand-2-40-180-84-900-73_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/225383-1168272174/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-225383-1168272174 -o ROOT/results/node6/solver-225383-1168272174 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/225383-1168272174/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= b1212a4072c6d66bef0fb0bf75f91d0a
RANDOM SEED= 384148595
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.240
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.240
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: 2055924 kB
MemFree: 1506056 kB
Buffers: 61788 kB
Cached: 240520 kB
SwapCached: 2944 kB
Active: 340352 kB
Inactive: 148716 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1506056 kB
SwapTotal: 4192956 kB
SwapFree: 4165672 kB
Dirty: 3556 kB
Writeback: 0 kB
Mapped: 197088 kB
Slab: 45256 kB
Committed_AS: 5616488 kB
PageTables: 2672 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= 66534 MiB
End job on node6 on Mon Jan 8 16:02:57 UTC 2007