0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/218930-1168253713/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=100 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.42 => wckTime=0.1 cpuTime=0.1 mem=6M951
0.42
0.42 predicates being loaded...
0.42
0.42 constraints being loaded...
1.04 nbConstraints=2025 nbConflictsStructures=1 nbSharedConflictsStructures=2024 nbSharedBinaryRepresentations=0
1.04 nbEvaluationManagers=1 nbSharedEvaluationManagers=2024 maxDegree=81 maxArity=4
1.04 => wckTime=0.718 cpuTime=0.58 mem=45M958
1.11
1.11 solver IterativeSystematicSolver being built...
1.36 => wckTime=1.045 cpuTime=0.78 mem=30M433
1.44
1.44 preprocessing
1.44 nbConstraintChecks=443 nbValidityChecks=393 nbPropagations=255 nbRevisions=746 nbUselessRevisions=651
1.44 nbSingletonTests=105 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
1.44 => wckTime=0.074 cpuTime=0.05 mem=31M406
1.49
1.49 search
1.49 run=0 nbConstraintChecks=1785 nbValidityChecks=513 nbPropagations=311 nbRevisions=1945 nbUselessRevisions=1673
1.49 nbAssignments=37 nbFailedAssignments=9 nbBacktracks=10 nbVisitedNodes=48 nbRestartNogoods=0 mapSize=9
1.49 nbInferences=0 nbTooLargeKeys=0
1.49 => wckTime=0.122 cpuTime=0.08 mem=31M406
1.50
1.50 search
1.50 run=1 nbConstraintChecks=2587 nbValidityChecks=1421 nbPropagations=680 nbRevisions=4588
1.50 nbUselessRevisions=3979 nbAssignments=79 nbFailedAssignments=13 nbBacktracks=30 nbVisitedNodes=98
1.50 nbRestartNogoods=1 mapSize=16 nbInferences=0 nbTooLargeKeys=0
1.50 => wckTime=0.136 cpuTime=0.09 mem=31M406
1.51
1.51 search
1.51 run=2 nbConstraintChecks=3163 nbValidityChecks=2246 nbPropagations=1117 nbRevisions=7763
1.51 nbUselessRevisions=6748 nbAssignments=131 nbFailedAssignments=20 nbBacktracks=52 nbVisitedNodes=161
1.51 nbRestartNogoods=2 mapSize=25 nbInferences=0 nbTooLargeKeys=0
1.51 => wckTime=0.148 cpuTime=0.1 mem=31M406
1.53
1.53 search
1.53 run=3 nbConstraintChecks=3877 nbValidityChecks=3336 nbPropagations=1642 nbRevisions=11656
1.53 nbUselessRevisions=10134 nbAssignments=180 nbFailedAssignments=28 nbBacktracks=85 nbVisitedNodes=226
1.53 nbRestartNogoods=4 mapSize=39 nbInferences=0 nbTooLargeKeys=0
1.53 => wckTime=0.162 cpuTime=0.11 mem=31M406
1.54
1.54 search
1.54 run=4 nbConstraintChecks=4731 nbValidityChecks=4707 nbPropagations=2270 nbRevisions=16489
1.54 nbUselessRevisions=14338 nbAssignments=250 nbFailedAssignments=39 nbBacktracks=137 nbVisitedNodes=314
1.54 nbRestartNogoods=6 mapSize=55 nbInferences=0 nbTooLargeKeys=0
1.54 => wckTime=0.178 cpuTime=0.13 mem=31M406
1.57
1.57 search
1.57 run=5 nbConstraintChecks=5904 nbValidityChecks=6461 nbPropagations=3074 nbRevisions=22467
1.57 nbUselessRevisions=19491 nbAssignments=354 nbFailedAssignments=57 nbBacktracks=212 nbVisitedNodes=447
1.57 nbRestartNogoods=8 mapSize=82 nbInferences=0 nbTooLargeKeys=0
1.57 => wckTime=0.201 cpuTime=0.15 mem=31M406
1.61
1.61 search
1.61 run=6 nbConstraintChecks=8929 nbValidityChecks=11001 nbPropagations=4203 nbRevisions=31259
1.61 nbUselessRevisions=27087 nbAssignments=500 nbFailedAssignments=80 nbBacktracks=327 nbVisitedNodes=645
1.61 nbRestartNogoods=10 mapSize=131 nbInferences=0 nbTooLargeKeys=0
1.61 => wckTime=0.242 cpuTime=0.19 mem=31M406
1.66
1.66 search
1.66 run=7 nbConstraintChecks=12974 nbValidityChecks=17349 nbPropagations=5839 nbRevisions=44152
1.66 nbUselessRevisions=38170 nbAssignments=722 nbFailedAssignments=122 nbBacktracks=501 nbVisitedNodes=946
1.66 nbRestartNogoods=13 mapSize=207 nbInferences=0 nbTooLargeKeys=0
1.66 => wckTime=0.298 cpuTime=0.24 mem=31M406
1.74
1.74 search
1.74 run=8 nbConstraintChecks=20061 nbValidityChecks=28301 nbPropagations=8323 nbRevisions=64172
1.74 nbUselessRevisions=55330 nbAssignments=1063 nbFailedAssignments=194 nbBacktracks=758 nbVisitedNodes=1409
1.74 nbRestartNogoods=16 mapSize=324 nbInferences=0 nbTooLargeKeys=0
1.74 => wckTime=0.376 cpuTime=0.31 mem=31M406
1.88
1.88 search
1.88 run=9 nbConstraintChecks=32825 nbValidityChecks=48744 nbPropagations=12263 nbRevisions=97197
1.88 nbUselessRevisions=83720 nbAssignments=1565 nbFailedAssignments=299 nbBacktracks=1146 nbVisitedNodes=2099
1.88 nbRestartNogoods=21 mapSize=509 nbInferences=0 nbTooLargeKeys=0
1.88 => wckTime=0.515 cpuTime=0.43 mem=31M406
2.04
2.04 search
2.04 run=10 nbConstraintChecks=48258 nbValidityChecks=73082 nbPropagations=17986 nbRevisions=145992
2.04 nbUselessRevisions=125706 nbAssignments=2277 nbFailedAssignments=424 nbBacktracks=1726 nbVisitedNodes=3048
2.04 nbRestartNogoods=24 mapSize=742 nbInferences=0 nbTooLargeKeys=0
2.04 => wckTime=0.672 cpuTime=0.57 mem=31M406
2.19
2.19 INFO : Stopping hyperNogood (mapSize=1008, nbTooLargekeys=0, mem=31M406)
2.24
2.24 search
2.24 run=11 nbConstraintChecks=72029 nbValidityChecks=111184 nbPropagations=26511 nbRevisions=219523
2.24 nbUselessRevisions=189047 nbAssignments=3328 nbFailedAssignments=603 nbBacktracks=2590 nbVisitedNodes=4459
2.24 nbRestartNogoods=27
2.24 => wckTime=0.873 cpuTime=0.77 mem=31M406
2.30
2.30 search
2.30 run=12 nbConstraintChecks=79102 nbValidityChecks=122369 nbPropagations=35824 nbRevisions=300369
2.30 nbUselessRevisions=258689 nbAssignments=3621 nbFailedAssignments=662 nbBacktracks=2825 nbVisitedNodes=4862
2.30 nbRestartNogoods=32
2.30 => wckTime=0.935 cpuTime=0.83 mem=31M406
2.30
2.30 global
2.30 nbConstraintChecks=79545 nbValidityChecks=122762 nbPropagations=36079 nbRevisions=301115
2.30 nbUselessRevisions=259340 nbRestartNogoods=32 solvingWckTime=0.936 solvingCpuTime=0.83 expiredTime=no
2.30 totalExploration=yes nbFoundSolutions=0 globalCpuTime=1.65
2.30 => wckTime=1.983 cpuTime=1.61 mem=31M406
2.30
2.30 s UNSATISFIABLE
2.30 d NODES 3621
2.30 d CHECKS 79545
2.30
2.30 totalWckTime=2.066 totalCpuTime=1.65
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node7/watcher-218930-1168253713 -o ROOT/results/node7/solver-218930-1168253713 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218930-1168253713/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.78 1.96 1.98 4/87 19370
/proc/meminfo: memFree=1661520/2055920 swapFree=4192812/4192956
[pid=19369] ppid=19367 vsize=1784 CPUtime=0
/proc/19369/stat : 19369 (java) R 19367 19369 19231 0 -1 0 169 0 0 0 0 0 0 0 19 0 1 0 173766824 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/19369/statm: 446 140 106 14 0 91 0
[startup+0.104875 s]
/proc/loadavg: 1.78 1.96 1.98 4/87 19370
/proc/meminfo: memFree=1661520/2055920 swapFree=4192812/4192956
[pid=19369] ppid=19367 vsize=914988 CPUtime=0.08
/proc/19369/stat : 19369 (java) R 19367 19369 19231 0 -1 0 2987 0 1 0 7 1 0 0 18 0 8 0 173766824 936947712 2733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 10380504 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19369/statm: 228747 2733 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.512914 s]
/proc/loadavg: 1.78 1.96 1.98 4/87 19370
/proc/meminfo: memFree=1661520/2055920 swapFree=4192812/4192956
[pid=19369] ppid=19367 vsize=915328 CPUtime=0.49
/proc/19369/stat : 19369 (java) R 19367 19369 19231 0 -1 0 6818 0 1 0 44 5 0 0 18 0 8 0 173766824 937295872 6557 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073553021 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19369/statm: 228832 6557 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.334 s]
/proc/loadavg: 1.88 1.97 1.99 3/94 19377
/proc/meminfo: memFree=1604632/2055920 swapFree=4192812/4192956
[pid=19369] ppid=19367 vsize=915756 CPUtime=1.3
/proc/19369/stat : 19369 (java) R 19367 19369 19231 0 -1 0 16991 0 1 0 113 17 0 0 24 0 8 0 173766824 937734144 16729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154575699 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19369/statm: 228939 16729 2528 14 0 215409 0
[pid=19369/tid=19371] ppid=19367 vsize=915756 CPUtime=0.06
/proc/19369/task/19371/stat : 19371 (java) S 19367 19369 19231 0 -1 64 691 0 0 0 6 0 0 0 17 0 8 0 173766828 937734144 16729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19369/tid=19372] ppid=19367 vsize=915756 CPUtime=0
/proc/19369/task/19372/stat : 19372 (java) S 19367 19369 19231 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173766828 937734144 16729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19369/tid=19373] ppid=19367 vsize=915756 CPUtime=0
/proc/19369/task/19373/stat : 19373 (java) S 19367 19369 19231 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173766828 937734144 16729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19369/tid=19374] ppid=19367 vsize=915756 CPUtime=0
/proc/19369/task/19374/stat : 19374 (java) S 19367 19369 19231 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173766832 937734144 16729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19369/tid=19375] ppid=19367 vsize=915756 CPUtime=0.24
/proc/19369/task/19375/stat : 19375 (java) S 19367 19369 19231 0 -1 64 450 0 0 0 23 1 0 0 15 0 8 0 173766832 937734144 16729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19369/tid=19376] ppid=19367 vsize=915756 CPUtime=0
/proc/19369/task/19376/stat : 19376 (java) S 19367 19369 19231 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173766832 937734144 16729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19369/tid=19377] ppid=19367 vsize=915756 CPUtime=0
/proc/19369/task/19377/stat : 19377 (java) S 19367 19369 19231 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173766832 937734144 16729 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) 915756
Child status: 0
Real time (s): 2.33316
CPU time (s): 2.29365
CPU user time (s): 2.09168
CPU system time (s): 0.201969
CPU usage (%): 98.3066
Max. virtual memory (cumulated for all children) (KiB): 915756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.09168
system time used= 0.201969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17090
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= 1452
involuntary context switches= 1692
runsolver used 0.005999 s user time and 0.018997 s system time
The end
Begin job on node7 on Mon Jan 8 10:55:14 UTC 2007
IDJOB= 218930
IDBENCH= 5267
FILE ID= node7/218930-1168253713
PBS_JOBID= 3481712
Free space on /tmp= 66550 MiB
BENCH NAME= HOME/pub/bench/CPAI06/chessboardColoration/cc-10-10-2.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218930-1168253713/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-218930-1168253713 -o ROOT/results/node7/solver-218930-1168253713 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218930-1168253713/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a92776cdff8557438c3e6ed66838915a
RANDOM SEED= 183142965
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.220
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.220
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: 1662000 kB
Buffers: 42408 kB
Cached: 104676 kB
SwapCached: 0 kB
Active: 278508 kB
Inactive: 63416 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1662000 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2448 kB
Writeback: 0 kB
Mapped: 214944 kB
Slab: 36484 kB
Committed_AS: 5300408 kB
PageTables: 2636 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= 66550 MiB
End job on node7 on Mon Jan 8 10:55:16 UTC 2007