0.34
0.34 Abscon 109 (November, 2006)
0.34
0.34 configuration
0.34 name=mac.xml
0.37
0.37 instance
0.37 name=/tmp/evaluation/241881-1168085426/unknown.xml
0.40
0.40 domains being loaded...
0.40
0.40 variables being loaded...
0.43 nbVariables=60 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.43 => wckTime=0.088 cpuTime=0.08 mem=6M951
0.43
0.43 relations being loaded...
0.43
0.43 constraints being loaded...
0.46 nbConstraints=40 nbRelationTypes=2 nbExtensionStructures=2 nbSharedExtensionStructures=38
0.46 nbConflictsStructures=2 nbSharedConflictsStructures=38 nbSharedBinaryRepresentations=0 maxDegree=2 maxArity=3
0.46 => wckTime=0.123 cpuTime=0.1 mem=6M951
0.49
0.49 solver IterativeSystematicSolver being built...
0.66 => wckTime=0.323 cpuTime=0.25 mem=14M454
0.66
0.66 preprocessing
0.66 nbConstraintChecks=0 nbPropagations=60 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.66 detectedInconsistency=no
0.66 => wckTime=0.0010 cpuTime=0.0 mem=14M454
0.70
0.70 search
0.70 run=0 nbConstraintChecks=179 nbValidityChecks=310 nbPropagations=138 nbRevisions=156 nbUselessRevisions=101
0.70 nbAssignments=48 nbFailedAssignments=2 nbBacktracks=10 nbVisitedNodes=54 nbRestartNogoods=0 mapSize=4
0.70 nbInferences=1 nbTooLargeKeys=0
0.70 => wckTime=0.033 cpuTime=0.02 mem=15M462
0.71
0.71 search
0.71 run=1 nbConstraintChecks=290 nbValidityChecks=725 nbPropagations=366 nbRevisions=493 nbUselessRevisions=315
0.71 nbAssignments=98 nbFailedAssignments=5 nbBacktracks=25 nbVisitedNodes=113 nbRestartNogoods=1 mapSize=11
0.71 nbInferences=4 nbTooLargeKeys=0
0.71 => wckTime=0.043 cpuTime=0.03 mem=15M462
0.72
0.72 search
0.72 run=2 nbConstraintChecks=494 nbValidityChecks=1364 nbPropagations=724 nbRevisions=1103 nbUselessRevisions=693
0.72 nbAssignments=168 nbFailedAssignments=13 nbBacktracks=47 nbVisitedNodes=200 nbRestartNogoods=3 mapSize=21
0.72 nbInferences=5 nbTooLargeKeys=0
0.72 => wckTime=0.058 cpuTime=0.03 mem=15M462
0.74
0.74 search
0.74 run=3 nbConstraintChecks=828 nbValidityChecks=2319 nbPropagations=1289 nbRevisions=2108
0.74 nbUselessRevisions=1280 nbAssignments=250 nbFailedAssignments=25 nbBacktracks=85 nbVisitedNodes=307
0.74 nbRestartNogoods=6 mapSize=42 nbInferences=6 nbTooLargeKeys=0
0.74 => wckTime=0.075 cpuTime=0.04 mem=15M462
0.75
0.75 search
0.75 run=4 nbConstraintChecks=1192 nbValidityChecks=3344 nbPropagations=2076 nbRevisions=3547
0.75 nbUselessRevisions=2102 nbAssignments=346 nbFailedAssignments=40 nbBacktracks=139 nbVisitedNodes=437
0.75 nbRestartNogoods=8 mapSize=71 nbInferences=10 nbTooLargeKeys=0
0.75 => wckTime=0.089 cpuTime=0.05 mem=15M462
0.77
0.77 search
0.77 run=5 nbConstraintChecks=1725 nbValidityChecks=4798 nbPropagations=3190 nbRevisions=5616
0.77 nbUselessRevisions=3279 nbAssignments=483 nbFailedAssignments=50 nbBacktracks=218 nbVisitedNodes=611
0.77 nbRestartNogoods=12 mapSize=105 nbInferences=27 nbTooLargeKeys=0
0.77 => wckTime=0.106 cpuTime=0.07 mem=15M462
0.80
0.80 search
0.80 run=6 nbConstraintChecks=2655 nbValidityChecks=7663 nbPropagations=5000 nbRevisions=8977
0.80 nbUselessRevisions=5197 nbAssignments=689 nbFailedAssignments=54 nbBacktracks=331 nbVisitedNodes=888
0.80 nbRestartNogoods=15 mapSize=172 nbInferences=90 nbTooLargeKeys=0
0.80 => wckTime=0.133 cpuTime=0.08 mem=15M462
0.81
0.81 search
0.81 run=7 nbConstraintChecks=3949 nbValidityChecks=11481 nbPropagations=7734 nbRevisions=14049
0.81 nbUselessRevisions=8080 nbAssignments=981 nbFailedAssignments=68 nbBacktracks=505 nbVisitedNodes=1288
0.81 nbRestartNogoods=19 mapSize=275 nbInferences=170 nbTooLargeKeys=0
0.81 => wckTime=0.152 cpuTime=0.1 mem=15M462
0.84
0.84 search
0.84 run=8 nbConstraintChecks=5509 nbValidityChecks=15874 nbPropagations=11512 nbRevisions=21065
0.84 nbUselessRevisions=12084 nbAssignments=1379 nbFailedAssignments=85 nbBacktracks=761 nbVisitedNodes=1817
0.84 nbRestartNogoods=24 mapSize=401 nbInferences=272 nbTooLargeKeys=0
0.84 => wckTime=0.176 cpuTime=0.12 mem=15M462
0.88
0.88 search
0.88 run=9 nbConstraintChecks=7379 nbValidityChecks=21006 nbPropagations=16508 nbRevisions=30289
0.88 nbUselessRevisions=17302 nbAssignments=1917 nbFailedAssignments=115 nbBacktracks=1148 nbVisitedNodes=2512
0.88 nbRestartNogoods=29 mapSize=554 nbInferences=375 nbTooLargeKeys=0
0.88 => wckTime=0.219 cpuTime=0.14 mem=15M462
0.92
0.92 search
0.92 run=10 nbConstraintChecks=11332 nbValidityChecks=32779 nbPropagations=24495 nbRevisions=44495
0.92 nbUselessRevisions=25039 nbAssignments=2764 nbFailedAssignments=118 nbBacktracks=1725 nbVisitedNodes=3626
0.92 nbRestartNogoods=33 mapSize=820 nbInferences=636 nbTooLargeKeys=0
0.92 => wckTime=0.256 cpuTime=0.17 mem=15M462
0.97
0.97 search
0.97 run=11 nbConstraintChecks=20622 nbValidityChecks=60152 nbPropagations=39331 nbRevisions=69743
0.97 nbUselessRevisions=38192 nbAssignments=4253 nbFailedAssignments=118 nbBacktracks=2589 nbVisitedNodes=5721
0.97 nbRestartNogoods=34 mapSize=1422 nbInferences=1242 nbTooLargeKeys=0
0.97 => wckTime=0.307 cpuTime=0.22 mem=15M462
1.04
1.04 search
1.04 run=12 nbConstraintChecks=34314 nbValidityChecks=100495 nbPropagations=64301 nbRevisions=111316
1.04 nbUselessRevisions=59338 nbAssignments=6454 nbFailedAssignments=118 nbBacktracks=3886 nbVisitedNodes=8819
1.04 nbRestartNogoods=38 mapSize=2314 nbInferences=2139 nbTooLargeKeys=0
1.04 => wckTime=0.38 cpuTime=0.29 mem=15M462
1.15
1.15 search
1.15 run=13 nbConstraintChecks=54757 nbValidityChecks=160548 nbPropagations=104383 nbRevisions=177261
1.15 nbUselessRevisions=92432 nbAssignments=9751 nbFailedAssignments=118 nbBacktracks=5832 nbVisitedNodes=13454
1.15 nbRestartNogoods=43 mapSize=3647 nbInferences=3477 nbTooLargeKeys=0
1.15 => wckTime=0.487 cpuTime=0.4 mem=15M462
1.31
1.31 search
1.31 run=14 nbConstraintChecks=85549 nbValidityChecks=250298 nbPropagations=167241 nbRevisions=279886
1.31 nbUselessRevisions=143467 nbAssignments=14698 nbFailedAssignments=118 nbBacktracks=8754 nbVisitedNodes=20416
1.31 nbRestartNogoods=47 mapSize=5655 nbInferences=5492 nbTooLargeKeys=0
1.31 => wckTime=0.645 cpuTime=0.56 mem=16M437
1.32
1.32 search
1.32 run=15 nbConstraintChecks=87725 nbValidityChecks=256587 nbPropagations=231675 nbRevisions=385073
1.32 nbUselessRevisions=195788 nbAssignments=15042 nbFailedAssignments=118 nbBacktracks=8952 nbVisitedNodes=20906
1.32 nbRestartNogoods=54 mapSize=5801 nbInferences=5639 nbTooLargeKeys=0
1.32 => wckTime=0.657 cpuTime=0.57 mem=16M437
1.32
1.32 global
1.32 nbConstraintChecks=87725 nbValidityChecks=256587 nbPropagations=231735 nbRevisions=385073
1.32 nbUselessRevisions=195788 nbRestartNogoods=54 solvingWckTime=0.657 solvingCpuTime=0.57 expiredTime=no
1.32 totalExploration=yes nbFoundSolutions=0 globalCpuTime=0.87
1.32 => wckTime=0.982 cpuTime=0.82 mem=16M437
1.32
1.32 s UNSATISFIABLE
1.32 d NODES 15042
1.32 d CHECKS 87725
1.32
1.32 totalWckTime=1.056 totalCpuTime=0.87
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node56/watcher-241881-1168085426 -o ROOT/results/node56/solver-241881-1168085426 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/241881-1168085426/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.08 0.82 1.42 1/68 10152
/proc/meminfo: memFree=1631632/2055920 swapFree=4184772/4192956
[pid=10151] ppid=10149 vsize=1784 CPUtime=0
/proc/10151/stat : 10151 (java) D 10149 10151 9850 0 -1 0 169 0 0 0 0 0 0 0 19 0 1 0 156942610 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/10151/statm: 446 140 106 14 0 91 0
[startup+0.103202 s]
/proc/loadavg: 0.08 0.82 1.42 1/68 10152
/proc/meminfo: memFree=1631632/2055920 swapFree=4184772/4192956
[pid=10151] ppid=10149 vsize=907808 CPUtime=0.05
/proc/10151/stat : 10151 (java) R 10149 10151 9850 0 -1 0 2427 0 1 0 4 1 0 0 20 0 4 0 156942610 929595392 2174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072926667 0 4 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/10151/statm: 226952 2174 1199 14 0 214535 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 907808
[startup+0.512213 s]
/proc/loadavg: 0.08 0.82 1.42 1/68 10152
/proc/meminfo: memFree=1631632/2055920 swapFree=4184772/4192956
[pid=10151] ppid=10149 vsize=916376 CPUtime=0.46
/proc/10151/stat : 10151 (java) R 10149 10151 9850 0 -1 0 6576 0 1 0 42 4 0 0 16 0 8 0 156942610 938369024 6314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153788138 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10151/statm: 229094 6314 2370 14 0 215564 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 916376
[startup+1.33529 s]
/proc/loadavg: 0.08 0.82 1.42 2/75 10159
/proc/meminfo: memFree=1607320/2055920 swapFree=4184772/4192956
[pid=10151] ppid=10149 vsize=916376 CPUtime=1.27
/proc/10151/stat : 10151 (java) S 10149 10151 9850 0 -1 0 8959 0 1 0 121 6 0 0 17 0 8 0 156942610 938369024 8697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10151/statm: 229094 8697 2518 14 0 215564 0
[pid=10151/tid=10153] ppid=10149 vsize=916376 CPUtime=0.02
/proc/10151/task/10153/stat : 10153 (java) S 10149 10151 9850 0 -1 64 121 0 0 0 2 0 0 0 16 0 8 0 156942618 938369024 8697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10151/tid=10154] ppid=10149 vsize=916376 CPUtime=0
/proc/10151/task/10154/stat : 10154 (java) S 10149 10151 9850 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156942619 938369024 8697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10151/tid=10155] ppid=10149 vsize=916376 CPUtime=0
/proc/10151/task/10155/stat : 10155 (java) S 10149 10151 9850 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156942619 938369024 8697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10151/tid=10156] ppid=10149 vsize=916376 CPUtime=0
/proc/10151/task/10156/stat : 10156 (java) S 10149 10151 9850 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156942622 938369024 8697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10151/tid=10157] ppid=10149 vsize=916376 CPUtime=0.18
/proc/10151/task/10157/stat : 10157 (java) S 10149 10151 9850 0 -1 64 358 0 0 0 17 1 0 0 15 0 8 0 156942622 938369024 8697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10151/tid=10158] ppid=10149 vsize=916376 CPUtime=0
/proc/10151/task/10158/stat : 10158 (java) S 10149 10151 9850 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156942622 938369024 8697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10151/tid=10159] ppid=10149 vsize=916376 CPUtime=0
/proc/10151/task/10159/stat : 10159 (java) S 10149 10151 9850 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156942622 938369024 8697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 916376
Child status: 0
Real time (s): 1.37566
CPU time (s): 1.2908
CPU user time (s): 1.22081
CPU system time (s): 0.069989
CPU usage (%): 93.8314
Max. virtual memory (cumulated for all children) (KiB): 916376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.22081
system time used= 0.069989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8967
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= 691
involuntary context switches= 45
runsolver used 0.002999 s user time and 0.011998 s system time
The end
Begin job on node56 on Sat Jan 6 12:10:34 UTC 2007
IDJOB= 241881
IDBENCH= 7352
FILE ID= node56/241881-1168085426
PBS_JOBID= 3476304
Free space on /tmp= 66520 MiB
BENCH NAME= HOME/pub/bench/CPAI06/dimacs/pret/pret-60-25_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/241881-1168085426/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node56/watcher-241881-1168085426 -o ROOT/results/node56/solver-241881-1168085426 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/241881-1168085426/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 5ae51ce573f8e61d952141129607aff7
RANDOM SEED= 483010645
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.232
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.232
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: 1632048 kB
Buffers: 32508 kB
Cached: 309920 kB
SwapCached: 2060 kB
Active: 71928 kB
Inactive: 285196 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1632048 kB
SwapTotal: 4192956 kB
SwapFree: 4184772 kB
Dirty: 3464 kB
Writeback: 0 kB
Mapped: 21596 kB
Slab: 52408 kB
Committed_AS: 2818352 kB
PageTables: 1692 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= 66520 MiB
End job on node56 on Sat Jan 6 12:10:51 UTC 2007