0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=esac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/218943-1168253738/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.38 nbVariables=36 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.38 => wckTime=0.085 cpuTime=0.08 mem=6M951
0.38
0.38 predicates being loaded...
0.38
0.38 constraints being loaded...
0.55 nbConstraints=225 nbConflictsStructures=1 nbSharedConflictsStructures=224 nbSharedBinaryRepresentations=0
0.55 nbEvaluationManagers=1 nbSharedEvaluationManagers=224 maxDegree=25 maxArity=4
0.55 => wckTime=0.259 cpuTime=0.19 mem=11M844
0.59
0.59 solver IterativeSystematicSolver being built...
0.76 => wckTime=0.471 cpuTime=0.34 mem=15M567
0.79
0.79 preprocessing
0.79 nbConstraintChecks=125 nbValidityChecks=77 nbPropagations=94 nbRevisions=172 nbUselessRevisions=139
0.79 nbSingletonTests=39 nbEffectiveSingletonTests=0 nbESACBranches=3 nbRemovedValues=0 detectedInconsistency=no
0.79 => wckTime=0.024 cpuTime=0.01 mem=16M543
0.81
0.81 search
0.81 run=0 nbConstraintChecks=253 nbValidityChecks=298 nbPropagations=154 nbRevisions=431 nbUselessRevisions=341
0.81 nbAssignments=23 nbFailedAssignments=6 nbBacktracks=12 nbVisitedNodes=33 nbRestartNogoods=0 mapSize=6
0.81 nbInferences=0 nbTooLargeKeys=0
0.81 => wckTime=0.047 cpuTime=0.03 mem=16M543
0.84
0.84 search
0.84 run=1 nbConstraintChecks=1282 nbValidityChecks=1401 nbPropagations=393 nbRevisions=1740
0.84 nbUselessRevisions=1435 nbAssignments=63 nbFailedAssignments=13 nbBacktracks=31 nbVisitedNodes=88
0.84 nbRestartNogoods=3 mapSize=18 nbInferences=0 nbTooLargeKeys=0
0.84 => wckTime=0.077 cpuTime=0.04 mem=16M543
0.85
0.85 search
0.85 run=2 nbConstraintChecks=1515 nbValidityChecks=1727 nbPropagations=692 nbRevisions=3269
0.85 nbUselessRevisions=2703 nbAssignments=109 nbFailedAssignments=19 nbBacktracks=54 nbVisitedNodes=130
0.85 nbRestartNogoods=6 mapSize=25 nbInferences=0 nbTooLargeKeys=0
0.85 => wckTime=0.088 cpuTime=0.05 mem=16M543
0.86
0.86 search
0.86 run=3 nbConstraintChecks=2585 nbValidityChecks=3185 nbPropagations=1096 nbRevisions=5764
0.86 nbUselessRevisions=4799 nbAssignments=159 nbFailedAssignments=27 nbBacktracks=87 nbVisitedNodes=198
0.86 nbRestartNogoods=8 mapSize=41 nbInferences=0 nbTooLargeKeys=0
0.86 => wckTime=0.097 cpuTime=0.06 mem=16M543
0.87
0.87 search
0.87 run=4 nbConstraintChecks=3932 nbValidityChecks=5220 nbPropagations=1685 nbRevisions=9623
0.87 nbUselessRevisions=8018 nbAssignments=244 nbFailedAssignments=48 nbBacktracks=142 nbVisitedNodes=314
0.88 nbRestartNogoods=10 mapSize=69 nbInferences=0 nbTooLargeKeys=0
0.88 => wckTime=0.11 cpuTime=0.07 mem=16M543
0.89
0.89 search
0.89 run=5 nbConstraintChecks=5978 nbValidityChecks=8251 nbPropagations=2509 nbRevisions=15375
0.89 nbUselessRevisions=12869 nbAssignments=365 nbFailedAssignments=66 nbBacktracks=218 nbVisitedNodes=454
0.89 nbRestartNogoods=13 mapSize=99 nbInferences=0 nbTooLargeKeys=0
0.89 => wckTime=0.126 cpuTime=0.08 mem=16M543
0.91
0.91 search
0.91 run=6 nbConstraintChecks=8131 nbValidityChecks=11508 nbPropagations=3623 nbRevisions=23303
0.91 nbUselessRevisions=19579 nbAssignments=508 nbFailedAssignments=90 nbBacktracks=331 nbVisitedNodes=641
0.91 nbRestartNogoods=17 mapSize=140 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.148 cpuTime=0.09 mem=16M543
0.94
0.94 search
0.94 run=7 nbConstraintChecks=12923 nbValidityChecks=19152 nbPropagations=5335 nbRevisions=36198
0.94 nbUselessRevisions=30576 nbAssignments=730 nbFailedAssignments=134 nbBacktracks=502 nbVisitedNodes=944
0.94 nbRestartNogoods=20 mapSize=217 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.176 cpuTime=0.12 mem=16M543
0.98
0.98 search
0.98 run=8 nbConstraintChecks=21175 nbValidityChecks=31824 nbPropagations=7931 nbRevisions=57234
0.98 nbUselessRevisions=48669 nbAssignments=1049 nbFailedAssignments=192 nbBacktracks=758 nbVisitedNodes=1381
0.98 nbRestartNogoods=24 mapSize=332 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.213 cpuTime=0.15 mem=16M543
1.04
1.04 search
1.04 run=9 nbConstraintChecks=32629 nbValidityChecks=49933 nbPropagations=11849 nbRevisions=90024
1.04 nbUselessRevisions=76983 nbAssignments=1526 nbFailedAssignments=272 nbBacktracks=1146 nbVisitedNodes=2029
1.04 nbRestartNogoods=27 mapSize=498 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.277 cpuTime=0.2 mem=16M543
1.11
1.11 search
1.11 run=10 nbConstraintChecks=46984 nbValidityChecks=71623 nbPropagations=17386 nbRevisions=136369
1.11 nbUselessRevisions=116898 nbAssignments=2248 nbFailedAssignments=394 nbBacktracks=1724 nbVisitedNodes=2978
1.11 nbRestartNogoods=32 mapSize=734 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.348 cpuTime=0.26 mem=16M543
1.17
1.17 search
1.17 run=11 nbConstraintChecks=61365 nbValidityChecks=94202 nbPropagations=24737 nbRevisions=197452
1.17 nbUselessRevisions=169364 nbAssignments=3034 nbFailedAssignments=524 nbBacktracks=2381 nbVisitedNodes=4047
1.17 nbRestartNogoods=36 mapSize=1016 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.402 cpuTime=0.31 mem=16M543
1.17
1.17 global
1.17 nbConstraintChecks=61490 nbValidityChecks=94279 nbPropagations=24831 nbRevisions=197624
1.17 nbUselessRevisions=169503 nbRestartNogoods=36 solvingWckTime=0.404 solvingCpuTime=0.31 expiredTime=no
1.17 totalExploration=yes nbFoundSolutions=0 globalCpuTime=0.69
1.17 => wckTime=0.876 cpuTime=0.65 mem=16M543
1.17
1.17 s UNSATISFIABLE
1.17 d NODES 3034
1.17 d CHECKS 61490
1.17
1.17 totalWckTime=0.952 totalCpuTime=0.69
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node11/watcher-218943-1168253738 -o ROOT/results/node11/solver-218943-1168253738 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218943-1168253738/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.83 1.87 1.90 4/87 28966
/proc/meminfo: memFree=1669904/2055920 swapFree=4192812/4192956
[pid=28965] ppid=28963 vsize=905804 CPUtime=0
/proc/28965/stat : 28965 (java) R 28963 28965 28671 0 -1 0 1635 0 1 0 0 0 0 0 17 0 1 0 173768888 927543296 1384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153443603 0 4 0 7368 0 0 0 17 0 0 0
/proc/28965/statm: 226451 1390 831 14 0 214034 0
[startup+0.102651 s]
/proc/loadavg: 1.83 1.87 1.90 4/87 28966
/proc/meminfo: memFree=1669904/2055920 swapFree=4192812/4192956
[pid=28965] ppid=28963 vsize=914988 CPUtime=0.09
/proc/28965/stat : 28965 (java) R 28963 28965 28671 0 -1 0 3064 0 1 0 7 2 0 0 23 0 8 0 173768888 936947712 2810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28965/statm: 228747 2811 1451 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.510731 s]
/proc/loadavg: 1.83 1.87 1.90 4/87 28966
/proc/meminfo: memFree=1669904/2055920 swapFree=4192812/4192956
[pid=28965] ppid=28963 vsize=915456 CPUtime=0.49
/proc/28965/stat : 28965 (java) R 28963 28965 28671 0 -1 0 7120 0 1 0 43 6 0 0 25 0 8 0 173768888 937426944 6859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942099 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28965/statm: 228864 6859 2164 14 0 215334 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 1.22535
CPU time (s): 1.16182
CPU user time (s): 1.07084
CPU system time (s): 0.090986
CPU usage (%): 94.8157
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.07084
system time used= 0.090986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9201
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= 1165
involuntary context switches= 1378
runsolver used 0.008998 s user time and 0.015997 s system time
The end
Begin job on node11 on Mon Jan 8 10:55:38 UTC 2007
IDJOB= 218943
IDBENCH= 5268
FILE ID= node11/218943-1168253738
PBS_JOBID= 3481716
Free space on /tmp= 66288 MiB
BENCH NAME= HOME/pub/bench/CPAI06/chessboardColoration/cc-6-6-2.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218943-1168253738/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-218943-1168253738 -o ROOT/results/node11/solver-218943-1168253738 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218943-1168253738/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a8c14c438e718ff6d9298db1d4701e5f
RANDOM SEED= 808425902
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.261
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 : 5931.00
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.261
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: 1679344 kB
Buffers: 40680 kB
Cached: 189364 kB
SwapCached: 0 kB
Active: 212344 kB
Inactive: 108332 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1679344 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2592 kB
Writeback: 0 kB
Mapped: 110628 kB
Slab: 40584 kB
Committed_AS: 5371004 kB
PageTables: 2460 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= 66288 MiB
End job on node11 on Mon Jan 8 10:55:40 UTC 2007