0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/213585-1168225976/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.43 nbVariables=200 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.43 => wckTime=0.111 cpuTime=0.1 mem=6M951
0.43
0.43 predicates being loaded...
0.44
0.44 constraints being loaded...
0.80 nbConstraints=900 nbConvertedConstraints=160 nbConvertConstraintsChecks=4096 nbExtensionStructures=2
0.80 nbSharedExtensionStructures=158 nbConflictsStructures=11 nbSharedConflictsStructures=889
0.80 nbSharedBinaryRepresentations=5 nbEvaluationManagers=9 nbSharedEvaluationManagers=731 maxDegree=32 maxArity=11
0.80 => wckTime=0.476 cpuTime=0.36 mem=16M703
0.84
0.84 solver IterativeSystematicSolver being built...
1.07 => wckTime=0.752 cpuTime=0.53 mem=22M445
1.17
1.17 preprocessing
1.17 nbConstraintChecks=2683 nbValidityChecks=694 nbPropagations=1015 nbRevisions=2648 nbUselessRevisions=1989
1.17 nbSingletonTests=226 nbEffectiveSingletonTests=0 nbESACBranches=8 nbRemovedValues=0 detectedInconsistency=no
1.17 => wckTime=0.099 cpuTime=0.08 mem=22M445
1.22
1.22 search
1.22 run=0 nbConstraintChecks=1340 nbValidityChecks=931 nbPropagations=1307 nbRevisions=4310
1.22 nbUselessRevisions=3324 nbAssignments=70 nbFailedAssignments=2 nbBacktracks=15 nbVisitedNodes=77
1.22 nbRestartNogoods=0 mapSize=5 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.148 cpuTime=0.11 mem=23M437
1.24
1.25 search
1.25 run=1 nbConstraintChecks=2383 nbValidityChecks=2001 nbPropagations=2893 nbRevisions=10254
1.25 nbUselessRevisions=7976 nbAssignments=145 nbFailedAssignments=4 nbBacktracks=42 nbVisitedNodes=158
1.25 nbRestartNogoods=1 mapSize=10 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.174 cpuTime=0.13 mem=23M437
1.27
1.27 search
1.27 run=2 nbConstraintChecks=3459 nbValidityChecks=3087 nbPropagations=4751 nbRevisions=17797
1.27 nbUselessRevisions=13924 nbAssignments=228 nbFailedAssignments=6 nbBacktracks=68 nbVisitedNodes=247
1.27 nbRestartNogoods=2 mapSize=15 nbInferences=0 nbTooLargeKeys=0
1.27 => wckTime=0.2 cpuTime=0.15 mem=23M437
1.29
1.29 search
1.29 run=3 nbConstraintChecks=3871 nbValidityChecks=3498 nbPropagations=6749 nbRevisions=25960
1.29 nbUselessRevisions=20346 nbAssignments=291 nbFailedAssignments=7 nbBacktracks=128 nbVisitedNodes=312
1.29 nbRestartNogoods=3 mapSize=16 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.215 cpuTime=0.16 mem=23M437
1.31
1.31 search
1.31 run=4 nbConstraintChecks=5629 nbValidityChecks=4772 nbPropagations=9162 nbRevisions=36226
1.31 nbUselessRevisions=28433 nbAssignments=385 nbFailedAssignments=11 nbBacktracks=180 nbVisitedNodes=413
1.31 nbRestartNogoods=4 mapSize=20 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.239 cpuTime=0.19 mem=23M437
1.35
1.35 search
1.35 run=5 nbConstraintChecks=7965 nbValidityChecks=6867 nbPropagations=12237 nbRevisions=49577
1.35 nbUselessRevisions=38919 nbAssignments=552 nbFailedAssignments=19 nbBacktracks=284 nbVisitedNodes=564
1.35 nbRestartNogoods=7 mapSize=34 nbInferences=0 nbTooLargeKeys=0
1.35 => wckTime=0.277 cpuTime=0.22 mem=23M437
1.40
1.40 search
1.40 run=6 nbConstraintChecks=11422 nbValidityChecks=10736 nbPropagations=16145 nbRevisions=68289
1.40 nbUselessRevisions=53853 nbAssignments=764 nbFailedAssignments=30 nbBacktracks=435 nbVisitedNodes=799
1.40 nbRestartNogoods=8 mapSize=55 nbInferences=0 nbTooLargeKeys=0
1.40 => wckTime=0.328 cpuTime=0.27 mem=23M437
1.46
1.46 search
1.46 run=7 nbConstraintChecks=16133 nbValidityChecks=15942 nbPropagations=21388 nbRevisions=94004
1.46 nbUselessRevisions=74328 nbAssignments=999 nbFailedAssignments=43 nbBacktracks=631 nbVisitedNodes=1066
1.46 nbRestartNogoods=10 mapSize=86 nbInferences=0 nbTooLargeKeys=0
1.46 => wckTime=0.39 cpuTime=0.33 mem=23M437
1.56
1.56 search
1.56 run=8 nbConstraintChecks=23582 nbValidityChecks=23832 nbPropagations=28554 nbRevisions=130989
1.56 nbUselessRevisions=103974 nbAssignments=1308 nbFailedAssignments=64 nbBacktracks=898 nbVisitedNodes=1411
1.56 nbRestartNogoods=11 mapSize=120 nbInferences=0 nbTooLargeKeys=0
1.56 => wckTime=0.49 cpuTime=0.43 mem=23M437
1.78
1.78 search
1.78 run=9 nbConstraintChecks=37100 nbValidityChecks=37787 nbPropagations=38767 nbRevisions=187735
1.78 nbUselessRevisions=150122 nbAssignments=1930 nbFailedAssignments=91 nbBacktracks=1272 nbVisitedNodes=2059
1.78 nbRestartNogoods=13 mapSize=164 nbInferences=0 nbTooLargeKeys=0
1.78 => wckTime=0.708 cpuTime=0.63 mem=23M437
1.78
1.78 global
1.78 nbConstraintChecks=39783 nbValidityChecks=38481 nbPropagations=39782 nbRevisions=190383
1.78 nbUselessRevisions=152111 nbRestartNogoods=13 solvingWckTime=0.709 solvingCpuTime=0.63 expiredTime=no
1.78 totalExploration=no nbFoundSolutions=1 globalCpuTime=1.21
1.78 => wckTime=1.462 cpuTime=1.16 mem=23M437
1.78
1.78 s SATISFIABLE
1.78 v 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0
1.78 d NODES 1930
1.78 d CHECKS 39783
1.78
1.78 totalWckTime=1.543 totalCpuTime=1.21
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node40/watcher-213585-1168225976 -o ROOT/results/node40/solver-213585-1168225976 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213585-1168225976/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: 0.02 0.47 1.17 5/74 6292
/proc/meminfo: memFree=1682064/2055920 swapFree=4192812/4192956
[pid=6290] ppid=6285 vsize=18540 CPUtime=0
/proc/6290/stat : 6290 (runsolver) R 6285 6290 5755 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 170998271 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 264519609639 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/6290/statm: 4635 279 244 17 0 2626 0
[startup+0.109205 s]
/proc/loadavg: 0.02 0.47 1.17 5/74 6292
/proc/meminfo: memFree=1682064/2055920 swapFree=4192812/4192956
[pid=6290] ppid=6285 vsize=914988 CPUtime=0.09
/proc/6290/stat : 6290 (java) R 6285 6290 5755 0 -1 0 2995 0 1 0 7 2 0 0 17 0 8 0 170998271 936947712 2741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942180 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6290/statm: 228747 2741 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.517257 s]
/proc/loadavg: 0.02 0.47 1.17 5/74 6292
/proc/meminfo: memFree=1682064/2055920 swapFree=4192812/4192956
[pid=6290] ppid=6285 vsize=915328 CPUtime=0.49
/proc/6290/stat : 6290 (java) R 6285 6290 5755 0 -1 0 6535 0 1 0 45 4 0 0 18 0 8 0 170998271 937295872 6274 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6290/statm: 228832 6274 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33937 s]
/proc/loadavg: 0.02 0.47 1.17 4/88 6307
/proc/meminfo: memFree=1640288/2055920 swapFree=4192812/4192956
[pid=6290] ppid=6285 vsize=915576 CPUtime=1.31
/proc/6290/stat : 6290 (java) R 6285 6290 5755 0 -1 0 10781 0 1 0 121 10 0 0 24 0 8 0 170998271 937549824 10519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336163 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6290/statm: 228894 10519 2543 14 0 215364 0
[pid=6290/tid=6295] ppid=6285 vsize=915576 CPUtime=0.03
/proc/6290/task/6295/stat : 6295 (java) S 6285 6290 5755 0 -1 64 416 0 0 0 3 0 0 0 16 0 8 0 170998275 937549824 10519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6290/tid=6298] ppid=6285 vsize=915576 CPUtime=0
/proc/6290/task/6298/stat : 6298 (java) S 6285 6290 5755 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170998276 937549824 10519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6290/tid=6299] ppid=6285 vsize=915576 CPUtime=0
/proc/6290/task/6299/stat : 6299 (java) S 6285 6290 5755 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170998276 937549824 10519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6290/tid=6304] ppid=6285 vsize=915576 CPUtime=0
/proc/6290/task/6304/stat : 6304 (java) S 6285 6290 5755 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 170998279 937549824 10519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6290/tid=6305] ppid=6285 vsize=915576 CPUtime=0.26
/proc/6290/task/6305/stat : 6305 (java) S 6285 6290 5755 0 -1 64 423 0 0 0 25 1 0 0 15 0 8 0 170998279 937549824 10519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6290/tid=6306] ppid=6285 vsize=915576 CPUtime=0
/proc/6290/task/6306/stat : 6306 (java) S 6285 6290 5755 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 170998279 937549824 10519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6290/tid=6307] ppid=6285 vsize=915576 CPUtime=0
/proc/6290/task/6307/stat : 6307 (java) S 6285 6290 5755 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170998279 937549824 10519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915576
Child status: 0
Real time (s): 1.83995
CPU time (s): 1.77673
CPU user time (s): 1.65975
CPU system time (s): 0.116982
CPU usage (%): 96.5641
Max. virtual memory (cumulated for all children) (KiB): 915576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.65975
system time used= 0.116982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10959
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= 1382
involuntary context switches= 1466
runsolver used 0.005999 s user time and 0.010998 s system time
The end
Begin job on node40 on Mon Jan 8 03:13:01 UTC 2007
IDJOB= 213585
IDBENCH= 4859
FILE ID= node40/213585-1168225976
PBS_JOBID= 3481077
Free space on /tmp= 66553 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/jnh/jnh-209.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213585-1168225976/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node40/watcher-213585-1168225976 -o ROOT/results/node40/solver-213585-1168225976 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213585-1168225976/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= b8618cbbc1cc5cbcf706efa3031ab6bd
RANDOM SEED= 443740737
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.239
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.239
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: 1683408 kB
Buffers: 27772 kB
Cached: 252320 kB
SwapCached: 0 kB
Active: 103948 kB
Inactive: 196404 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1683408 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2160 kB
Writeback: 0 kB
Mapped: 30500 kB
Slab: 57872 kB
Committed_AS: 3542020 kB
PageTables: 1656 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= 66553 MiB
End job on node40 on Mon Jan 8 03:13:18 UTC 2007