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/218956-1168253762/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.38 nbVariables=64 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.38 => wckTime=0.089 cpuTime=0.08 mem=6M951
0.38
0.38 predicates being loaded...
0.39
0.39 constraints being loaded...
0.73 nbConstraints=784 nbConflictsStructures=1 nbSharedConflictsStructures=783 nbSharedBinaryRepresentations=0
0.73 nbEvaluationManagers=1 nbSharedEvaluationManagers=783 maxDegree=49 maxArity=4
0.73 => wckTime=0.437 cpuTime=0.31 mem=22M554
0.78
0.78 solver IterativeSystematicSolver being built...
0.97 => wckTime=0.679 cpuTime=0.47 mem=20M996
1.01
1.01 preprocessing
1.01 nbConstraintChecks=247 nbValidityChecks=187 nbPropagations=164 nbRevisions=378 nbUselessRevisions=318
1.01 nbSingletonTests=68 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
1.01 => wckTime=0.039 cpuTime=0.03 mem=20M996
1.05
1.05 search
1.05 run=0 nbConstraintChecks=957 nbValidityChecks=396 nbPropagations=214 nbRevisions=1069 nbUselessRevisions=886
1.05 nbAssignments=31 nbFailedAssignments=8 nbBacktracks=11 nbVisitedNodes=42 nbRestartNogoods=0 mapSize=9
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.076 cpuTime=0.06 mem=20M996
1.07
1.07 search
1.07 run=1 nbConstraintChecks=2285 nbValidityChecks=1551 nbPropagations=508 nbRevisions=3114
1.07 nbUselessRevisions=2623 nbAssignments=80 nbFailedAssignments=17 nbBacktracks=34 nbVisitedNodes=105
1.07 nbRestartNogoods=1 mapSize=21 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.099 cpuTime=0.07 mem=20M996
1.08
1.08 search
1.08 run=2 nbConstraintChecks=2955 nbValidityChecks=2403 nbPropagations=873 nbRevisions=5773
1.08 nbUselessRevisions=4889 nbAssignments=120 nbFailedAssignments=25 nbBacktracks=62 nbVisitedNodes=158
1.08 nbRestartNogoods=3 mapSize=33 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.107 cpuTime=0.07 mem=20M996
1.09
1.09 search
1.09 run=3 nbConstraintChecks=3624 nbValidityChecks=3291 nbPropagations=1353 nbRevisions=9003
1.09 nbUselessRevisions=7605 nbAssignments=177 nbFailedAssignments=38 nbBacktracks=96 nbVisitedNodes=235
1.09 nbRestartNogoods=4 mapSize=50 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.117 cpuTime=0.08 mem=20M996
1.11
1.11 search
1.11 run=4 nbConstraintChecks=5074 nbValidityChecks=5703 nbPropagations=2011 nbRevisions=13788
1.11 nbUselessRevisions=11667 nbAssignments=250 nbFailedAssignments=49 nbBacktracks=147 nbVisitedNodes=330
1.11 nbRestartNogoods=7 mapSize=69 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.132 cpuTime=0.1 mem=20M996
1.12
1.12 search
1.12 run=5 nbConstraintChecks=6513 nbValidityChecks=7802 nbPropagations=2851 nbRevisions=19925
1.12 nbUselessRevisions=16883 nbAssignments=352 nbFailedAssignments=68 nbBacktracks=222 nbVisitedNodes=463
1.12 nbRestartNogoods=10 mapSize=98 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.149 cpuTime=0.11 mem=20M996
1.15
1.15 search
1.15 run=6 nbConstraintChecks=8331 nbValidityChecks=10633 nbPropagations=3905 nbRevisions=27947
1.15 nbUselessRevisions=23721 nbAssignments=492 nbFailedAssignments=86 nbBacktracks=335 nbVisitedNodes=637
1.15 nbRestartNogoods=12 mapSize=130 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.175 cpuTime=0.13 mem=20M996
1.18
1.18 search
1.18 run=7 nbConstraintChecks=12005 nbValidityChecks=16212 nbPropagations=5379 nbRevisions=39515
1.18 nbUselessRevisions=33592 nbAssignments=709 nbFailedAssignments=124 nbBacktracks=506 nbVisitedNodes=922
1.18 nbRestartNogoods=14 mapSize=195 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.21 cpuTime=0.16 mem=20M996
1.23
1.23 search
1.23 run=8 nbConstraintChecks=18663 nbValidityChecks=26188 nbPropagations=7545 nbRevisions=57260
1.23 nbUselessRevisions=48820 nbAssignments=1028 nbFailedAssignments=176 nbBacktracks=763 nbVisitedNodes=1332
1.23 nbRestartNogoods=17 mapSize=281 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.259 cpuTime=0.21 mem=20M996
1.32
1.32 search
1.32 run=9 nbConstraintChecks=30181 nbValidityChecks=44869 nbPropagations=11020 nbRevisions=87099
1.32 nbUselessRevisions=74514 nbAssignments=1524 nbFailedAssignments=264 nbBacktracks=1148 nbVisitedNodes=1975
1.32 nbRestartNogoods=22 mapSize=442 nbInferences=0 nbTooLargeKeys=0
1.32 => wckTime=0.347 cpuTime=0.28 mem=20M996
1.42
1.42 search
1.42 run=10 nbConstraintChecks=46246 nbValidityChecks=70101 nbPropagations=16210 nbRevisions=133028
1.42 nbUselessRevisions=114250 nbAssignments=2218 nbFailedAssignments=378 nbBacktracks=1725 nbVisitedNodes=2879
1.42 nbRestartNogoods=25 mapSize=649 nbInferences=0 nbTooLargeKeys=0
1.42 => wckTime=0.445 cpuTime=0.36 mem=20M996
1.54
1.54 search
1.54 run=11 nbConstraintChecks=71606 nbValidityChecks=108938 nbPropagations=23996 nbRevisions=203813
1.54 nbUselessRevisions=175745 nbAssignments=3254 nbFailedAssignments=535 nbBacktracks=2594 nbVisitedNodes=4238
1.54 nbRestartNogoods=28 mapSize=968 nbInferences=0 nbTooLargeKeys=0
1.54 => wckTime=0.568 cpuTime=0.48 mem=20M996
1.56
1.56 INFO : Stopping hyperNogood (mapSize=1014, nbTooLargekeys=0, mem=20M996)
1.58
1.58 search
1.58 run=12 nbConstraintChecks=79235 nbValidityChecks=120958 nbPropagations=32631 nbRevisions=282545
1.58 nbUselessRevisions=244116 nbAssignments=3516 nbFailedAssignments=590 nbBacktracks=2802 nbVisitedNodes=4615
1.58 nbRestartNogoods=32
1.58 => wckTime=0.604 cpuTime=0.52 mem=20M996
1.58
1.58 global
1.58 nbConstraintChecks=79482 nbValidityChecks=121145 nbPropagations=32795 nbRevisions=282923
1.58 nbUselessRevisions=244434 nbRestartNogoods=32 solvingWckTime=0.605 solvingCpuTime=0.52 expiredTime=no
1.58 totalExploration=yes nbFoundSolutions=0 globalCpuTime=1.04
1.58 => wckTime=1.286 cpuTime=0.99 mem=20M996
1.58
1.58 s UNSATISFIABLE
1.58 d NODES 3516
1.58 d CHECKS 79482
1.58
1.58 totalWckTime=1.361 totalCpuTime=1.04
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node11/watcher-218956-1168253762 -o ROOT/results/node11/solver-218956-1168253762 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218956-1168253762/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.26 1.74 1.86 2/94 29598
/proc/meminfo: memFree=1754816/2055920 swapFree=4192812/4192956
[pid=29597] ppid=29595 vsize=18540 CPUtime=0
/proc/29597/stat : 29597 (runsolver) R 29595 29597 28136 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 173771619 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 262910045479 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/29597/statm: 4635 279 244 17 0 2626 0
[startup+0.102504 s]
/proc/loadavg: 1.26 1.74 1.86 2/94 29598
/proc/meminfo: memFree=1754816/2055920 swapFree=4192812/4192956
[pid=29597] ppid=29595 vsize=914988 CPUtime=0.08
/proc/29597/stat : 29597 (java) R 29595 29597 28136 0 -1 0 3023 0 1 0 7 1 0 0 25 0 8 0 173771619 936947712 2769 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152785274 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29597/statm: 228747 2769 1436 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.514585 s]
/proc/loadavg: 1.26 1.74 1.86 2/94 29598
/proc/meminfo: memFree=1754816/2055920 swapFree=4192812/4192956
[pid=29597] ppid=29595 vsize=915328 CPUtime=0.48
/proc/29597/stat : 29597 (java) R 29595 29597 28136 0 -1 0 7394 0 1 0 44 4 0 0 25 0 8 0 173771619 937295872 7133 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073533745 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29597/statm: 228832 7133 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33981 s]
/proc/loadavg: 1.48 1.77 1.87 3/101 29605
/proc/meminfo: memFree=1721224/2055920 swapFree=4192812/4192956
[pid=29597] ppid=29595 vsize=915576 CPUtime=1.29
/proc/29597/stat : 29597 (java) R 29595 29597 28136 0 -1 0 10780 0 1 0 119 10 0 0 25 0 8 0 173771619 937549824 10518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29597/statm: 228894 10518 2543 14 0 215364 0
[pid=29597/tid=29599] ppid=29595 vsize=915576 CPUtime=0.03
/proc/29597/task/29599/stat : 29599 (java) S 29595 29597 28136 0 -1 64 311 0 0 0 3 0 0 0 16 0 8 0 173771623 937549824 10518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29597/tid=29600] ppid=29595 vsize=915576 CPUtime=0
/proc/29597/task/29600/stat : 29600 (java) S 29595 29597 28136 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173771623 937549824 10518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29597/tid=29601] ppid=29595 vsize=915576 CPUtime=0
/proc/29597/task/29601/stat : 29601 (java) S 29595 29597 28136 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 173771623 937549824 10518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29597/tid=29602] ppid=29595 vsize=915576 CPUtime=0
/proc/29597/task/29602/stat : 29602 (java) S 29595 29597 28136 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 173771626 937549824 10518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29597/tid=29603] ppid=29595 vsize=915576 CPUtime=0.26
/proc/29597/task/29603/stat : 29603 (java) S 29595 29597 28136 0 -1 64 429 0 0 0 25 1 0 0 15 0 8 0 173771626 937549824 10518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29597/tid=29604] ppid=29595 vsize=915576 CPUtime=0
/proc/29597/task/29604/stat : 29604 (java) S 29595 29597 28136 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 173771626 937549824 10518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29597/tid=29605] ppid=29595 vsize=915576 CPUtime=0
/proc/29597/task/29605/stat : 29605 (java) S 29595 29597 28136 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173771626 937549824 10518 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) 915576
Child status: 0
Real time (s): 1.59923
CPU time (s): 1.55076
CPU user time (s): 1.43978
CPU system time (s): 0.110983
CPU usage (%): 96.9693
Max. virtual memory (cumulated for all children) (KiB): 915576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.43978
system time used= 0.110983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10794
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= 1357
involuntary context switches= 1605
runsolver used 0.003999 s user time and 0.015997 s system time
The end
Begin job on node11 on Mon Jan 8 10:56:04 UTC 2007
IDJOB= 218956
IDBENCH= 5269
FILE ID= node11/218956-1168253762
PBS_JOBID= 3481710
Free space on /tmp= 66344 MiB
BENCH NAME= HOME/pub/bench/CPAI06/chessboardColoration/cc-8-8-2.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218956-1168253762/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-218956-1168253762 -o ROOT/results/node11/solver-218956-1168253762 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218956-1168253762/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 4cb14a14b9ffd06a9e1ae9114d8e69f5
RANDOM SEED= 43444398
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: 1763584 kB
Buffers: 40884 kB
Cached: 132108 kB
SwapCached: 0 kB
Active: 143364 kB
Inactive: 93352 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1763584 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2352 kB
Writeback: 0 kB
Mapped: 88168 kB
Slab: 40240 kB
Committed_AS: 5364392 kB
PageTables: 2428 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= 66344 MiB
End job on node11 on Mon Jan 8 10:56:09 UTC 2007