0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/241710-1168375525/unknown.xml
0.37
0.37 domains being loaded...
0.40
0.40 variables being loaded...
0.44 nbVariables=141 nbDomainTypes=135 minDomainSize=2 maxDomainSize=6
0.44 => wckTime=0.129 cpuTime=0.1 mem=6M886
0.44
0.44 constraints being loaded...
0.47 nbConstraints=36 nbGlobalConstraints=36 nbSharedBinaryRepresentations=0 maxDegree=2 maxArity=8
0.47 => wckTime=0.16 cpuTime=0.12 mem=7M861
0.50
0.50 solver IterativeSystematicSolver being built...
0.68 => wckTime=0.372 cpuTime=0.27 mem=15M408
0.82
0.82 preprocessing
0.82 nbConstraintChecks=0 nbPropagations=5516 nbRevisions=0 nbUselessRevisions=0 nbSingletonTests=889
0.82 nbEffectiveSingletonTests=14 nbESACBranches=61 nbRemovedValues=17 detectedInconsistency=no
0.82 => wckTime=0.135 cpuTime=0.09 mem=17M358
0.84
0.84 search
0.84 run=0 nbConstraintChecks=0 nbPropagations=5774 nbRevisions=0 nbUselessRevisions=0 nbAssignments=52
0.84 nbFailedAssignments=5 nbBacktracks=21 nbVisitedNodes=62 nbRestartNogoods=0 mapSize=5 nbInferences=0
0.84 nbTooLargeKeys=0
0.84 => wckTime=0.157 cpuTime=0.1 mem=17M358
0.85
0.85 search
0.85 run=1 nbConstraintChecks=0 nbPropagations=11905 nbRevisions=0 nbUselessRevisions=0 nbAssignments=115
0.85 nbFailedAssignments=7 nbBacktracks=39 nbVisitedNodes=108 nbRestartNogoods=3 mapSize=8 nbInferences=0
0.85 nbTooLargeKeys=0
0.85 => wckTime=0.166 cpuTime=0.11 mem=18M333
0.86
0.86 search
0.86 run=2 nbConstraintChecks=0 nbPropagations=18363 nbRevisions=0 nbUselessRevisions=0 nbAssignments=174
0.86 nbFailedAssignments=12 nbBacktracks=62 nbVisitedNodes=177 nbRestartNogoods=4 mapSize=15 nbInferences=0
0.86 nbTooLargeKeys=0
0.86 => wckTime=0.174 cpuTime=0.13 mem=18M333
0.87
0.87 search
0.87 run=3 nbConstraintChecks=0 nbPropagations=25288 nbRevisions=0 nbUselessRevisions=0 nbAssignments=252
0.87 nbFailedAssignments=19 nbBacktracks=109 nbVisitedNodes=260 nbRestartNogoods=7 mapSize=30 nbInferences=0
0.87 nbTooLargeKeys=0
0.87 => wckTime=0.184 cpuTime=0.13 mem=18M333
0.88
0.88 search
0.88 run=4 nbConstraintChecks=0 nbPropagations=32820 nbRevisions=0 nbUselessRevisions=0 nbAssignments=355
0.88 nbFailedAssignments=30 nbBacktracks=168 nbVisitedNodes=380 nbRestartNogoods=8 mapSize=43 nbInferences=0
0.88 nbTooLargeKeys=0
0.88 => wckTime=0.197 cpuTime=0.15 mem=18M333
0.90
0.90 search
0.90 run=5 nbConstraintChecks=0 nbPropagations=41314 nbRevisions=0 nbUselessRevisions=0 nbAssignments=504
0.90 nbFailedAssignments=50 nbBacktracks=250 nbVisitedNodes=545 nbRestartNogoods=12 mapSize=72 nbInferences=0
0.90 nbTooLargeKeys=0
0.90 => wckTime=0.216 cpuTime=0.16 mem=18M333
0.93
0.93 search
0.93 run=6 nbConstraintChecks=0 nbPropagations=51596 nbRevisions=0 nbUselessRevisions=0 nbAssignments=703
0.93 nbFailedAssignments=79 nbBacktracks=370 nbVisitedNodes=773 nbRestartNogoods=15 mapSize=114 nbInferences=0
0.93 nbTooLargeKeys=0
0.93 => wckTime=0.25 cpuTime=0.19 mem=19M308
0.96
0.96 search
0.96 run=7 nbConstraintChecks=0 nbPropagations=63545 nbRevisions=0 nbUselessRevisions=0 nbAssignments=975
0.96 nbFailedAssignments=117 nbBacktracks=557 nbVisitedNodes=1092 nbRestartNogoods=20 mapSize=184 nbInferences=0
0.96 nbTooLargeKeys=0
0.96 => wckTime=0.279 cpuTime=0.22 mem=20M284
1.00
1.00 search
1.00 run=8 nbConstraintChecks=0 nbPropagations=77338 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1286
1.00 nbFailedAssignments=160 nbBacktracks=816 nbVisitedNodes=1490 nbRestartNogoods=25 mapSize=272 nbInferences=0
1.00 nbTooLargeKeys=0
1.00 => wckTime=0.314 cpuTime=0.25 mem=20M284
1.07
1.07 search
1.07 run=9 nbConstraintChecks=0 nbPropagations=94789 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1783
1.07 nbFailedAssignments=242 nbBacktracks=1205 nbVisitedNodes=2135 nbRestartNogoods=27 mapSize=414 nbInferences=0
1.07 nbTooLargeKeys=0
1.07 => wckTime=0.382 cpuTime=0.31 mem=21M259
1.16
1.16 search
1.16 run=10 nbConstraintChecks=0 nbPropagations=116960 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2509
1.16 nbFailedAssignments=348 nbBacktracks=1783 nbVisitedNodes=3044 nbRestartNogoods=33 mapSize=595 nbInferences=0
1.16 nbTooLargeKeys=0
1.16 => wckTime=0.477 cpuTime=0.37 mem=23M209
1.28
1.28 search
1.28 run=11 nbConstraintChecks=0 nbPropagations=148098 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3691
1.28 nbFailedAssignments=510 nbBacktracks=2651 nbVisitedNodes=4466 nbRestartNogoods=42 mapSize=942 nbInferences=0
1.28 nbTooLargeKeys=0
1.28 => wckTime=0.597 cpuTime=0.49 mem=26M135
1.30
1.30 INFO : Stopping hyperNogood (mapSize=1014, nbTooLargekeys=0, mem=27M110)
1.41
1.41 search
1.41 run=12 nbConstraintChecks=0 nbPropagations=189846 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5247
1.41 nbFailedAssignments=738 nbBacktracks=3948 nbVisitedNodes=6508 nbRestartNogoods=48
1.41 => wckTime=0.722 cpuTime=0.62 mem=29M60
1.61
1.61 search
1.61 run=13 nbConstraintChecks=0 nbPropagations=249349 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7629
1.61 nbFailedAssignments=1091 nbBacktracks=5895 nbVisitedNodes=9512 nbRestartNogoods=53
1.61 => wckTime=0.922 cpuTime=0.81 mem=34M911
1.90
1.90 search
1.90 run=14 nbConstraintChecks=0 nbPropagations=335995 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11122
1.90 nbFailedAssignments=1637 nbBacktracks=8815 nbVisitedNodes=14089 nbRestartNogoods=60
1.90 => wckTime=1.22 cpuTime=1.12 mem=41M738
2.31
2.31 search
2.31 run=15 nbConstraintChecks=0 nbPropagations=456968 nbRevisions=0 nbUselessRevisions=0 nbAssignments=16169
2.31 nbFailedAssignments=2255 nbBacktracks=13194 nbVisitedNodes=20469 nbRestartNogoods=66
2.31 => wckTime=1.624 cpuTime=1.51 mem=4M950
2.64
2.64 search
2.64 run=16 nbConstraintChecks=36 nbPropagations=607307 nbRevisions=0 nbUselessRevisions=0 nbAssignments=20749
2.64 nbFailedAssignments=2749 nbBacktracks=17081 nbVisitedNodes=26063 nbRestartNogoods=77
2.64 => wckTime=1.955 cpuTime=1.84 mem=13M902
2.64
2.64 global
2.64 nbConstraintChecks=36 nbPropagations=612823 nbRestartNogoods=77 solvingWckTime=1.957 solvingCpuTime=1.84
2.64 expiredTime=no totalExploration=no nbFoundSolutions=1 globalCpuTime=2.16
2.64 => wckTime=2.33 cpuTime=2.12 mem=13M902
2.64
2.64 s SATISFIABLE
2.64 v 12 16 6 14 2 3 7 13 17 13 3 0 12 14 15 7 2 11 15 16 1 7 13 6 7 12 6 14 17 1 4 16 12 8 6 3 9 11 13 14 6 0 16 15 7 8 5 3 9 4 7 2 8 0 9 13 3 1 4 11 8 16 5 1 17 12 11 16 15 14 11 3 7 2 9 4 8 15 16 14 0 1 8 15 2 13 4 10 9 3 8 0 2 0 13 16 7 15 17 11 2 12 7 2 4 13 1 16 3 11 16 0 3 13 17 1 8 7 8 17 6 5 10 12 4 8 14 3 5 2 6 10 9 13 4 10 8 11 14 3 12
2.64 d NODES 20749
2.64 d CHECKS 36
2.64
2.64 totalWckTime=2.407 totalCpuTime=2.16
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-241710-1168375525 -o ROOT/results/node17/solver-241710-1168375525 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/241710-1168375525/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.06 0.11 0.24 4/87 3498
/proc/meminfo: memFree=1720544/2055920 swapFree=4192812/4192956
[pid=3497] ppid=3494 vsize=18540 CPUtime=0
/proc/3497/stat : 3497 (runsolver) D 3494 3497 3347 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 185947905 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 245482712359 0 2147483391 4096 24578 18446744072099781622 0 0 17 0 0 0
/proc/3497/statm: 4635 279 244 17 0 2626 0
[startup+0.106075 s]
/proc/loadavg: 0.06 0.11 0.24 4/87 3498
/proc/meminfo: memFree=1720544/2055920 swapFree=4192812/4192956
[pid=3497] ppid=3494 vsize=914988 CPUtime=0.08
/proc/3497/stat : 3497 (java) R 3494 3497 3347 0 -1 0 2978 0 1 0 7 1 0 0 22 0 8 0 185947905 936947712 2724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154109190 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3497/statm: 228747 2724 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.514115 s]
/proc/loadavg: 0.06 0.11 0.24 4/87 3498
/proc/meminfo: memFree=1720544/2055920 swapFree=4192812/4192956
[pid=3497] ppid=3494 vsize=915328 CPUtime=0.48
/proc/3497/stat : 3497 (java) R 3494 3497 3347 0 -1 0 6536 0 1 0 44 4 0 0 25 0 8 0 185947905 937295872 6274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 3292712 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3497/statm: 228832 6274 2289 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.3352 s]
/proc/loadavg: 0.06 0.11 0.24 4/101 3512
/proc/meminfo: memFree=1681776/2055920 swapFree=4192812/4192956
[pid=3497] ppid=3494 vsize=915464 CPUtime=1.29
/proc/3497/stat : 3497 (java) R 3494 3497 3347 0 -1 0 11635 0 1 0 122 7 0 0 25 0 8 0 185947905 937435136 11373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073709719 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3497/statm: 228866 11373 2523 14 0 215336 0
[pid=3497/tid=3500] ppid=3494 vsize=915464 CPUtime=0.02
/proc/3497/task/3500/stat : 3500 (java) S 3494 3497 3347 0 -1 64 144 0 0 0 2 0 0 0 17 0 8 0 185947910 937435136 11373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3497/tid=3503] ppid=3494 vsize=915464 CPUtime=0
/proc/3497/task/3503/stat : 3503 (java) S 3494 3497 3347 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 185947910 937435136 11373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3497/tid=3504] ppid=3494 vsize=915464 CPUtime=0
/proc/3497/task/3504/stat : 3504 (java) S 3494 3497 3347 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185947910 937435136 11373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3497/tid=3505] ppid=3494 vsize=915464 CPUtime=0
/proc/3497/task/3505/stat : 3505 (java) S 3494 3497 3347 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 185947913 937435136 11373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3497/tid=3507] ppid=3494 vsize=915464 CPUtime=0.2
/proc/3497/task/3507/stat : 3507 (java) S 3494 3497 3347 0 -1 64 370 0 0 0 19 1 0 0 15 0 8 0 185947913 937435136 11373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3497/tid=3509] ppid=3494 vsize=915464 CPUtime=0
/proc/3497/task/3509/stat : 3509 (java) S 3494 3497 3347 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 185947913 937435136 11373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3497/tid=3511] ppid=3494 vsize=915464 CPUtime=0
/proc/3497/task/3511/stat : 3511 (java) S 3494 3497 3347 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185947914 937435136 11373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 2.70485
CPU time (s): 2.6206
CPU user time (s): 2.50762
CPU system time (s): 0.112982
CPU usage (%): 96.8854
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.50762
system time used= 0.112982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17234
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= 1135
involuntary context switches= 1305
runsolver used 0.005999 s user time and 0.017997 s system time
The end
Begin job on node17 on Tue Jan 9 20:45:28 UTC 2007
IDJOB= 241710
IDBENCH= 7316
FILE ID= node17/241710-1168375525
PBS_JOBID= 3522275
Free space on /tmp= 66559 MiB
BENCH NAME= HOME/pub/bench/CPAI06/bqwh/bqwh-18-141_glb/bqwh-18-141-97_glb.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/241710-1168375525/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-241710-1168375525 -o ROOT/results/node17/solver-241710-1168375525 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/241710-1168375525/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 5cc6940be43bda8dfadc25ac7fee624f
RANDOM SEED= 792521976
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.236
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.236
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: 1722032 kB
Buffers: 66696 kB
Cached: 149952 kB
SwapCached: 0 kB
Active: 172820 kB
Inactive: 103876 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1722032 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1900 kB
Writeback: 0 kB
Mapped: 76648 kB
Slab: 42292 kB
Committed_AS: 5694496 kB
PageTables: 2076 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= 66559 MiB
End job on node17 on Tue Jan 9 20:45:39 UTC 2007