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/223357-1168265603/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=30 nbDomainTypes=1 minDomainSize=15 maxDomainSize=15
0.42 => wckTime=0.094 cpuTime=0.07 mem=6M951
0.42
0.42 relations being loaded...
0.48
0.48 constraints being loaded...
0.58 nbConstraints=228 nbRelationTypes=228 nbExtensionStructures=228 nbSharedExtensionStructures=0
0.58 nbConflictsStructures=228 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2913 maxDegree=21
0.58 maxArity=2
0.58 => wckTime=0.253 cpuTime=0.18 mem=10M853
0.61
0.61 solver IterativeSystematicSolver being built...
0.77 => wckTime=0.446 cpuTime=0.31 mem=14M687
0.81
0.81 preprocessing
0.81 nbConstraintChecks=32577 nbPropagations=603 nbRevisions=4055 nbUselessRevisions=3224 nbSingletonTests=41
0.81 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.81 => wckTime=0.041 cpuTime=0.02 mem=14M687
0.83
0.83 search
0.83 run=0 nbConstraintChecks=19835 nbPropagations=1013 nbRevisions=8322 nbUselessRevisions=6667 nbAssignments=22
0.83 nbFailedAssignments=6 nbBacktracks=11 nbVisitedNodes=36 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.83 nbTooLargeKeys=0
0.83 => wckTime=0.061 cpuTime=0.04 mem=14M687
0.84
0.84 search
0.84 run=1 nbConstraintChecks=41637 nbPropagations=2464 nbRevisions=21344 nbUselessRevisions=17112 nbAssignments=53
0.84 nbFailedAssignments=16 nbBacktracks=28 nbVisitedNodes=87 nbRestartNogoods=2 mapSize=21 nbInferences=0
0.84 nbTooLargeKeys=0
0.84 => wckTime=0.073 cpuTime=0.05 mem=14M687
0.86
0.86 search
0.86 run=2 nbConstraintChecks=80346 nbPropagations=4636 nbRevisions=42928 nbUselessRevisions=34416 nbAssignments=99
0.86 nbFailedAssignments=34 nbBacktracks=50 nbVisitedNodes=169 nbRestartNogoods=4 mapSize=42 nbInferences=0
0.86 nbTooLargeKeys=0
0.86 => wckTime=0.092 cpuTime=0.06 mem=14M687
0.87
0.87 search
0.87 run=3 nbConstraintChecks=128254 nbPropagations=7634 nbRevisions=73726 nbUselessRevisions=58993
0.87 nbAssignments=156 nbFailedAssignments=55 nbBacktracks=83 nbVisitedNodes=263 nbRestartNogoods=7 mapSize=68
0.87 nbInferences=0 nbTooLargeKeys=0
0.87 => wckTime=0.104 cpuTime=0.07 mem=14M687
0.90
0.90 search
0.90 run=4 nbConstraintChecks=233958 nbPropagations=12408 nbRevisions=126450 nbUselessRevisions=101053
0.90 nbAssignments=259 nbFailedAssignments=103 nbBacktracks=133 nbVisitedNodes=451 nbRestartNogoods=9 mapSize=115
0.90 nbInferences=0 nbTooLargeKeys=0
0.90 => wckTime=0.126 cpuTime=0.09 mem=14M687
0.93
0.93 search
0.93 run=5 nbConstraintChecks=365484 nbPropagations=19573 nbRevisions=205545 nbUselessRevisions=163886
0.93 nbAssignments=412 nbFailedAssignments=157 nbBacktracks=208 nbVisitedNodes=681 nbRestartNogoods=14 mapSize=182
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.159 cpuTime=0.12 mem=14M687
0.96
0.96 search
0.96 run=6 nbConstraintChecks=515678 nbPropagations=29656 nbRevisions=318377 nbUselessRevisions=253674
0.96 nbAssignments=608 nbFailedAssignments=235 nbBacktracks=321 nbVisitedNodes=1024 nbRestartNogoods=17 mapSize=276
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.192 cpuTime=0.15 mem=14M687
1.02
1.02 search
1.02 run=7 nbConstraintChecks=794560 nbPropagations=44650 nbRevisions=490862 nbUselessRevisions=391225
1.02 nbAssignments=930 nbFailedAssignments=381 nbBacktracks=491 nbVisitedNodes=1598 nbRestartNogoods=20 mapSize=431
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.248 cpuTime=0.2 mem=14M687
1.09
1.09 search
1.09 run=8 nbConstraintChecks=1146656 nbPropagations=66377 nbRevisions=742557 nbUselessRevisions=592233
1.09 nbAssignments=1360 nbFailedAssignments=551 nbBacktracks=747 nbVisitedNodes=2349 nbRestartNogoods=27
1.09 mapSize=654 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.324 cpuTime=0.27 mem=14M687
1.21
1.21 search
1.21 run=9 nbConstraintChecks=1686446 nbPropagations=98126 nbRevisions=1112818 nbUselessRevisions=887837
1.21 nbAssignments=2012 nbFailedAssignments=814 nbBacktracks=1132 nbVisitedNodes=3481 nbRestartNogoods=37
1.21 mapSize=980 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.438 cpuTime=0.37 mem=14M687
1.23
1.23 INFO : Stopping hyperNogood (mapSize=1036, nbTooLargekeys=0, mem=14M687)
1.37
1.37 search
1.37 run=10 nbConstraintChecks=2554097 nbPropagations=144986 nbRevisions=1666388 nbUselessRevisions=1328374
1.37 nbAssignments=2968 nbFailedAssignments=1186 nbBacktracks=1708 nbVisitedNodes=5134 nbRestartNogoods=42
1.37 => wckTime=0.595 cpuTime=0.52 mem=14M687
1.59
1.59 search
1.59 run=11 nbConstraintChecks=3888631 nbPropagations=215904 nbRevisions=2512258 nbUselessRevisions=2003255
1.59 nbAssignments=4495 nbFailedAssignments=1844 nbBacktracks=2572 nbVisitedNodes=7841 nbRestartNogoods=49
1.59 => wckTime=0.817 cpuTime=0.74 mem=14M687
1.90
1.90 search
1.90 run=12 nbConstraintChecks=5833889 nbPropagations=321770 nbRevisions=3782518 nbUselessRevisions=3016764
1.90 nbAssignments=6673 nbFailedAssignments=2709 nbBacktracks=3870 nbVisitedNodes=11665 nbRestartNogoods=57
1.90 => wckTime=1.134 cpuTime=1.05 mem=14M687
2.37
2.37 search
2.37 run=13 nbConstraintChecks=8727922 nbPropagations=478832 nbRevisions=5669836 nbUselessRevisions=4521577
2.37 nbAssignments=9886 nbFailedAssignments=3962 nbBacktracks=5816 nbVisitedNodes=17256 nbRestartNogoods=66
2.37 => wckTime=1.6 cpuTime=1.52 mem=14M687
3.08
3.08 search
3.08 run=14 nbConstraintChecks=12997533 nbPropagations=712134 nbRevisions=8486452 nbUselessRevisions=6768828
3.08 nbAssignments=14746 nbFailedAssignments=5898 nbBacktracks=8735 nbVisitedNodes=25749 nbRestartNogoods=71
3.08 => wckTime=2.31 cpuTime=2.23 mem=14M687
4.05
4.05 search
4.05 run=15 nbConstraintChecks=18926730 nbPropagations=1049549 nbRevisions=12587669 nbUselessRevisions=10042342
4.05 nbAssignments=21314 nbFailedAssignments=8609 nbBacktracks=12562 nbVisitedNodes=37362 nbRestartNogoods=78
4.06 => wckTime=3.284 cpuTime=3.19 mem=14M687
4.06
4.06 global
4.06 nbConstraintChecks=18959307 nbPropagations=1050152 nbRevisions=12591724 nbUselessRevisions=10045566
4.06 nbRestartNogoods=78 solvingWckTime=3.285 solvingCpuTime=3.19 expiredTime=no totalExploration=no
4.06 nbFoundSolutions=1 globalCpuTime=3.55
4.06 => wckTime=3.734 cpuTime=3.5 mem=14M687
4.06
4.06 s SATISFIABLE
4.06 v 5 12 13 3 4 14 1 13 5 2 12 7 13 14 0 7 14 14 4 9 1 7 6 2 7 3 11 13 2 2
4.06 d NODES 21314
4.06 d CHECKS 18959307
4.06
4.06 totalWckTime=3.81 totalCpuTime=3.56
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node11/watcher-223357-1168265603 -o ROOT/results/node11/solver-223357-1168265603 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/223357-1168265603/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.07 0.10 0.27 3/81 8851
/proc/meminfo: memFree=1731216/2055920 swapFree=4192812/4192956
[pid=8850] ppid=8848 vsize=300 CPUtime=0
/proc/8850/stat : 8850 (java) R 8848 8850 8707 0 -1 0 54 0 0 0 0 0 0 0 20 0 1 0 174956745 307200 37 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 7981709 0 0 4096 0 0 0 0 17 1 0 0
/proc/8850/statm: 77 40 31 14 0 5 0
[startup+0.10734 s]
/proc/loadavg: 0.07 0.10 0.27 3/81 8851
/proc/meminfo: memFree=1731216/2055920 swapFree=4192812/4192956
[pid=8850] ppid=8848 vsize=914988 CPUtime=0.08
/proc/8850/stat : 8850 (java) R 8848 8850 8707 0 -1 0 2979 0 1 0 7 1 0 0 22 0 8 0 174956745 936947712 2725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8850/statm: 228747 2725 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515082 s]
/proc/loadavg: 0.07 0.10 0.27 3/81 8851
/proc/meminfo: memFree=1731216/2055920 swapFree=4192812/4192956
[pid=8850] ppid=8848 vsize=915328 CPUtime=0.46
/proc/8850/stat : 8850 (java) R 8848 8850 8707 0 -1 0 6521 0 1 0 43 3 0 0 23 0 8 0 174956745 937295872 6260 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8850/statm: 228832 6261 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915328
[startup+1.33624 s]
/proc/loadavg: 0.07 0.10 0.27 4/101 8872
/proc/meminfo: memFree=1698664/2055920 swapFree=4192812/4192956
[pid=8850] ppid=8848 vsize=915452 CPUtime=1.29
/proc/8850/stat : 8850 (java) R 8848 8850 8707 0 -1 0 8641 0 1 0 124 5 0 0 25 0 8 0 174956745 937422848 8379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073801695 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8850/statm: 228863 8379 2524 14 0 215333 0
[pid=8850/tid=8858] ppid=8848 vsize=915452 CPUtime=0.02
/proc/8850/task/8858/stat : 8858 (java) S 8848 8850 8707 0 -1 64 207 0 0 0 2 0 0 0 17 0 8 0 174956750 937422848 8379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8850/tid=8860] ppid=8848 vsize=915452 CPUtime=0
/proc/8850/task/8860/stat : 8860 (java) S 8848 8850 8707 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174956750 937422848 8379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8850/tid=8861] ppid=8848 vsize=915452 CPUtime=0
/proc/8850/task/8861/stat : 8861 (java) S 8848 8850 8707 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174956750 937422848 8379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8850/tid=8865] ppid=8848 vsize=915452 CPUtime=0
/proc/8850/task/8865/stat : 8865 (java) S 8848 8850 8707 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 174956754 937422848 8379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8850/tid=8866] ppid=8848 vsize=915452 CPUtime=0.22
/proc/8850/task/8866/stat : 8866 (java) S 8848 8850 8707 0 -1 64 388 0 0 0 21 1 0 0 16 0 8 0 174956754 937422848 8379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8850/tid=8867] ppid=8848 vsize=915452 CPUtime=0
/proc/8850/task/8867/stat : 8867 (java) S 8848 8850 8707 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 174956754 937422848 8379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8850/tid=8868] ppid=8848 vsize=915452 CPUtime=0
/proc/8850/task/8868/stat : 8868 (java) S 8848 8850 8707 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174956754 937422848 8379 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) 915452
[startup+2.97356 s]
/proc/loadavg: 0.07 0.10 0.27 2/88 8873
/proc/meminfo: memFree=1707216/2055920 swapFree=4192812/4192956
[pid=8850] ppid=8848 vsize=915452 CPUtime=2.92
/proc/8850/stat : 8850 (java) R 8848 8850 8707 0 -1 0 8654 0 1 0 287 5 0 0 25 0 8 0 174956745 937422848 8391 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073801723 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8850/statm: 228863 8391 2524 14 0 215333 0
[pid=8850/tid=8858] ppid=8848 vsize=915452 CPUtime=0.02
/proc/8850/task/8858/stat : 8858 (java) S 8848 8850 8707 0 -1 64 207 0 0 0 2 0 0 0 17 0 8 0 174956750 937422848 8391 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8850/tid=8860] ppid=8848 vsize=915452 CPUtime=0
/proc/8850/task/8860/stat : 8860 (java) S 8848 8850 8707 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174956750 937422848 8391 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8850/tid=8861] ppid=8848 vsize=915452 CPUtime=0
/proc/8850/task/8861/stat : 8861 (java) S 8848 8850 8707 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174956750 937422848 8391 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8850/tid=8865] ppid=8848 vsize=915452 CPUtime=0
/proc/8850/task/8865/stat : 8865 (java) S 8848 8850 8707 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 174956754 937422848 8391 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8850/tid=8866] ppid=8848 vsize=915452 CPUtime=0.22
/proc/8850/task/8866/stat : 8866 (java) S 8848 8850 8707 0 -1 64 390 0 0 0 21 1 0 0 15 0 8 0 174956754 937422848 8391 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8850/tid=8867] ppid=8848 vsize=915452 CPUtime=0
/proc/8850/task/8867/stat : 8867 (java) S 8848 8850 8707 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 174956754 937422848 8391 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8850/tid=8868] ppid=8848 vsize=915452 CPUtime=0
/proc/8850/task/8868/stat : 8868 (java) S 8848 8850 8707 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174956754 937422848 8391 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 4.10093
CPU time (s): 4.02339
CPU user time (s): 3.9584
CPU system time (s): 0.06499
CPU usage (%): 98.1092
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.9584
system time used= 0.06499
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8750
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= 1225
involuntary context switches= 1447
runsolver used 0.006998 s user time and 0.018997 s system time
The end
Begin job on node11 on Mon Jan 8 14:13:29 UTC 2007
IDJOB= 223357
IDBENCH= 5627
FILE ID= node11/223357-1168265603
PBS_JOBID= 3482562
Free space on /tmp= 66344 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-30-15-fcd/rand-2-30-15-306-230-fcd-47_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/223357-1168265603/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-223357-1168265603 -o ROOT/results/node11/solver-223357-1168265603 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/223357-1168265603/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= c0a0d4edf44f89b1f63a9a33cfb1cecd
RANDOM SEED= 801691786
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: 1731288 kB
Buffers: 54368 kB
Cached: 153848 kB
SwapCached: 0 kB
Active: 159636 kB
Inactive: 109160 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1731288 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2292 kB
Writeback: 0 kB
Mapped: 79556 kB
Slab: 40624 kB
Committed_AS: 5540264 kB
PageTables: 2336 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 14:13:41 UTC 2007