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/208387-1168187352/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.43 => wckTime=0.11 cpuTime=0.08 mem=6M951
0.43
0.43 relations being loaded...
0.54
0.54 constraints being loaded...
0.66 nbConstraints=351 nbRelationTypes=351 nbExtensionStructures=351 nbSharedExtensionStructures=0
0.66 nbConflictsStructures=351 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=3255 maxDegree=24
0.66 maxArity=2
0.66 => wckTime=0.338 cpuTime=0.24 mem=13M780
0.70
0.70 solver IterativeSystematicSolver being built...
0.87 => wckTime=0.547 cpuTime=0.38 mem=15M32
0.92
0.92 preprocessing
0.92 nbConstraintChecks=63915 nbPropagations=849 nbRevisions=6344 nbUselessRevisions=5226 nbSingletonTests=46
0.92 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.92 => wckTime=0.051 cpuTime=0.03 mem=15M32
0.94
0.94 search
0.95 run=0 nbConstraintChecks=36890 nbPropagations=1299 nbRevisions=11643 nbUselessRevisions=9356 nbAssignments=20
0.95 nbFailedAssignments=6 nbBacktracks=10 nbVisitedNodes=33 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.95 nbTooLargeKeys=0
0.95 => wckTime=0.075 cpuTime=0.04 mem=15M32
0.97
0.97 search
0.97 run=1 nbConstraintChecks=86655 nbPropagations=3211 nbRevisions=30648 nbUselessRevisions=24492 nbAssignments=51
0.97 nbFailedAssignments=15 nbBacktracks=26 nbVisitedNodes=83 nbRestartNogoods=3 mapSize=18 nbInferences=0
0.97 nbTooLargeKeys=0
0.97 => wckTime=0.098 cpuTime=0.05 mem=15M32
0.99
0.99 search
0.99 run=2 nbConstraintChecks=151963 nbPropagations=5981 nbRevisions=60760 nbUselessRevisions=48384
0.99 nbAssignments=98 nbFailedAssignments=35 nbBacktracks=48 nbVisitedNodes=162 nbRestartNogoods=7 mapSize=36
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.116 cpuTime=0.07 mem=15M32
1.00
1.00 search
1.00 run=3 nbConstraintChecks=231076 nbPropagations=9850 nbRevisions=104916 nbUselessRevisions=83548
1.00 nbAssignments=159 nbFailedAssignments=57 nbBacktracks=81 nbVisitedNodes=261 nbRestartNogoods=9 mapSize=62
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.134 cpuTime=0.08 mem=15M32
1.03
1.03 search
1.03 run=4 nbConstraintChecks=372362 nbPropagations=15437 nbRevisions=173499 nbUselessRevisions=138121
1.03 nbAssignments=257 nbFailedAssignments=100 nbBacktracks=131 nbVisitedNodes=432 nbRestartNogoods=12 mapSize=108
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.163 cpuTime=0.11 mem=15M32
1.08
1.08 search
1.08 run=5 nbConstraintChecks=571191 nbPropagations=23543 nbRevisions=276439 nbUselessRevisions=219770
1.08 nbAssignments=395 nbFailedAssignments=156 nbBacktracks=206 nbVisitedNodes=670 nbRestartNogoods=16 mapSize=169
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.207 cpuTime=0.15 mem=15M32
1.14
1.14 search
1.14 run=6 nbConstraintChecks=897800 nbPropagations=35415 nbRevisions=433052 nbUselessRevisions=344041
1.14 nbAssignments=611 nbFailedAssignments=255 nbBacktracks=320 nbVisitedNodes=1052 nbRestartNogoods=21 mapSize=269
1.14 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.27 cpuTime=0.2 mem=15M32
1.22
1.22 search
1.22 run=7 nbConstraintChecks=1309583 nbPropagations=52547 nbRevisions=659820 nbUselessRevisions=523856
1.22 nbAssignments=887 nbFailedAssignments=357 nbBacktracks=491 nbVisitedNodes=1534 nbRestartNogoods=23 mapSize=413
1.22 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.347 cpuTime=0.28 mem=15M32
1.34
1.34 search
1.34 run=8 nbConstraintChecks=1986030 nbPropagations=77988 nbRevisions=1004216 nbUselessRevisions=797179
1.34 nbAssignments=1344 nbFailedAssignments=552 nbBacktracks=748 nbVisitedNodes=2329 nbRestartNogoods=27
1.34 mapSize=636 nbInferences=0 nbTooLargeKeys=0
1.34 => wckTime=0.475 cpuTime=0.4 mem=15M32
1.52
1.52 search
1.52 run=9 nbConstraintChecks=2935929 nbPropagations=115538 nbRevisions=1516663 nbUselessRevisions=1203828
1.52 nbAssignments=2002 nbFailedAssignments=814 nbBacktracks=1138 nbVisitedNodes=3467 nbRestartNogoods=34
1.52 mapSize=951 nbInferences=0 nbTooLargeKeys=0
1.52 => wckTime=0.653 cpuTime=0.56 mem=15M32
1.58
1.58 INFO : Stopping hyperNogood (mapSize=1037, nbTooLargekeys=0, mem=15M32)
1.61
1.61 search
1.61 run=10 nbConstraintChecks=3346050 nbPropagations=158566 nbRevisions=2102894 nbUselessRevisions=1669201
1.61 nbAssignments=2333 nbFailedAssignments=928 nbBacktracks=1315 nbVisitedNodes=3998 nbRestartNogoods=43
1.61 => wckTime=0.737 cpuTime=0.63 mem=15M32
1.61
1.61 global
1.61 nbConstraintChecks=3409965 nbPropagations=159415 nbRevisions=2109238 nbUselessRevisions=1674427
1.61 nbRestartNogoods=43 solvingWckTime=0.739 solvingCpuTime=0.63 expiredTime=no totalExploration=no
1.61 nbFoundSolutions=1 globalCpuTime=1.07
1.61 => wckTime=1.289 cpuTime=1.01 mem=15M32
1.61
1.61 s SATISFIABLE
1.61 v 7 2 18 14 13 1 10 4 5 9 16 1 12 1 14 8 10 13 9 10 6 10 4 15 8 1 3 18 0 17 9 6 3 1 9 16 2 2 7 10
1.61 d NODES 2333
1.61 d CHECKS 3409965
1.61
1.61 totalWckTime=1.372 totalCpuTime=1.08
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node13/watcher-208387-1168187352 -o ROOT/results/node13/solver-208387-1168187352 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208387-1168187352/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.85 1.97 1.99 4/98 10453
/proc/meminfo: memFree=1395768/2055920 swapFree=4192812/4192956
[pid=10452] ppid=10450 vsize=18540 CPUtime=0
/proc/10452/stat : 10452 (runsolver) R 10450 10452 10385 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 167130264 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 269757246759 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/10452/statm: 4635 279 244 17 0 2626 0
[startup+0.109654 s]
/proc/loadavg: 1.85 1.97 1.99 4/98 10453
/proc/meminfo: memFree=1395768/2055920 swapFree=4192812/4192956
[pid=10452] ppid=10450 vsize=914988 CPUtime=0.09
/proc/10452/stat : 10452 (java) R 10450 10452 10385 0 -1 0 3018 0 1 0 7 2 0 0 17 0 8 0 167130264 936947712 2764 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10452/statm: 228747 2764 1435 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.517707 s]
/proc/loadavg: 1.85 1.97 1.99 4/98 10453
/proc/meminfo: memFree=1395768/2055920 swapFree=4192812/4192956
[pid=10452] ppid=10450 vsize=915328 CPUtime=0.49
/proc/10452/stat : 10452 (java) S 10450 10452 10385 0 -1 0 6731 0 1 0 45 4 0 0 18 0 8 0 167130264 937295872 6470 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10452/statm: 228832 6470 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33881 s]
/proc/loadavg: 1.85 1.97 1.99 4/105 10460
/proc/meminfo: memFree=1371776/2055920 swapFree=4192812/4192956
[pid=10452] ppid=10450 vsize=915456 CPUtime=1.3
/proc/10452/stat : 10452 (java) R 10450 10452 10385 0 -1 0 8725 0 1 0 123 7 0 0 20 0 8 0 167130264 937426944 8463 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073815107 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10452/statm: 228864 8463 2524 14 0 215334 0
[pid=10452/tid=10454] ppid=10450 vsize=915456 CPUtime=0.03
/proc/10452/task/10454/stat : 10454 (java) S 10450 10452 10385 0 -1 64 292 0 0 0 3 0 0 0 16 0 8 0 167130268 937426944 8463 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10452/tid=10455] ppid=10450 vsize=915456 CPUtime=0
/proc/10452/task/10455/stat : 10455 (java) S 10450 10452 10385 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167130268 937426944 8463 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10452/tid=10456] ppid=10450 vsize=915456 CPUtime=0
/proc/10452/task/10456/stat : 10456 (java) S 10450 10452 10385 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167130268 937426944 8463 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10452/tid=10457] ppid=10450 vsize=915456 CPUtime=0
/proc/10452/task/10457/stat : 10457 (java) S 10450 10452 10385 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167130271 937426944 8463 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10452/tid=10458] ppid=10450 vsize=915456 CPUtime=0.22
/proc/10452/task/10458/stat : 10458 (java) S 10450 10452 10385 0 -1 64 378 0 0 0 22 0 0 0 20 0 8 0 167130271 937426944 8463 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10452/tid=10459] ppid=10450 vsize=915456 CPUtime=0
/proc/10452/task/10459/stat : 10459 (java) S 10450 10452 10385 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 167130271 937426944 8463 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10452/tid=10460] ppid=10450 vsize=915456 CPUtime=0
/proc/10452/task/10460/stat : 10460 (java) S 10450 10452 10385 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167130271 937426944 8463 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) 915456
Child status: 0
Real time (s): 1.66267
CPU time (s): 1.58576
CPU user time (s): 1.50577
CPU system time (s): 0.079987
CPU usage (%): 95.374
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.50577
system time used= 0.079987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8854
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= 834
involuntary context switches= 1056
runsolver used 0.001999 s user time and 0.021996 s system time
The end
Begin job on node13 on Sun Jan 7 16:29:13 UTC 2007
IDJOB= 208387
IDBENCH= 4382
FILE ID= node13/208387-1168187352
PBS_JOBID= 3478969
Free space on /tmp= 66320 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-39_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208387-1168187352/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-208387-1168187352 -o ROOT/results/node13/solver-208387-1168187352 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208387-1168187352/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7bc1444cdb9251565aae0e00e6f236db
RANDOM SEED= 471433357
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.247
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.247
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: 1396184 kB
Buffers: 60560 kB
Cached: 369404 kB
SwapCached: 0 kB
Active: 263488 kB
Inactive: 315888 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1396184 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2120 kB
Writeback: 0 kB
Mapped: 178428 kB
Slab: 64584 kB
Committed_AS: 4948768 kB
PageTables: 2628 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= 66320 MiB
End job on node13 on Sun Jan 7 16:29:15 UTC 2007