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/229850-1168312084/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.39 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.39 => wckTime=0.098 cpuTime=0.09 mem=6M951
0.39
0.39 relations being loaded...
0.53
0.53 constraints being loaded...
0.66 nbConstraints=462 nbRelationTypes=462 nbExtensionStructures=462 nbSharedExtensionStructures=0
0.66 nbConflictsStructures=462 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2382 maxDegree=25
0.66 maxArity=2
0.66 => wckTime=0.37 cpuTime=0.29 mem=16M966
0.70
0.70 solver IterativeSystematicSolver being built...
0.86 => wckTime=0.567 cpuTime=0.41 mem=15M571
0.92
0.92 preprocessing
0.92 nbConstraintChecks=118763 nbPropagations=1317 nbRevisions=11221 nbUselessRevisions=9512 nbSingletonTests=68
0.92 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.92 => wckTime=0.058 cpuTime=0.03 mem=15M571
0.94
0.94 search
0.94 run=0 nbConstraintChecks=44727 nbPropagations=1856 nbRevisions=17787 nbUselessRevisions=14961 nbAssignments=24
0.94 nbFailedAssignments=4 nbBacktracks=11 nbVisitedNodes=36 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.94 nbTooLargeKeys=0
0.94 => wckTime=0.084 cpuTime=0.05 mem=15M571
0.96
0.96 search
0.96 run=1 nbConstraintChecks=110539 nbPropagations=4441 nbRevisions=45139 nbUselessRevisions=37881
0.96 nbAssignments=58 nbFailedAssignments=13 nbBacktracks=27 nbVisitedNodes=89 nbRestartNogoods=1 mapSize=23
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.105 cpuTime=0.07 mem=15M571
0.98
0.98 search
0.98 run=2 nbConstraintChecks=188287 nbPropagations=7959 nbRevisions=85178 nbUselessRevisions=71253
0.98 nbAssignments=102 nbFailedAssignments=25 nbBacktracks=49 nbVisitedNodes=159 nbRestartNogoods=3 mapSize=40
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.119 cpuTime=0.08 mem=15M571
1.00
1.00 search
1.00 run=3 nbConstraintChecks=297012 nbPropagations=12880 nbRevisions=146003 nbUselessRevisions=121795
1.00 nbAssignments=176 nbFailedAssignments=52 nbBacktracks=82 nbVisitedNodes=282 nbRestartNogoods=7 mapSize=67
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.141 cpuTime=0.1 mem=15M571
1.03
1.03 search
1.03 run=4 nbConstraintChecks=467275 nbPropagations=19667 nbRevisions=233963 nbUselessRevisions=194373
1.03 nbAssignments=268 nbFailedAssignments=83 nbBacktracks=132 nbVisitedNodes=433 nbRestartNogoods=14 mapSize=109
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.172 cpuTime=0.13 mem=15M571
1.07
1.07 search
1.07 run=5 nbConstraintChecks=702290 nbPropagations=29211 nbRevisions=363765 nbUselessRevisions=301264
1.07 nbAssignments=403 nbFailedAssignments=134 nbBacktracks=207 nbVisitedNodes=668 nbRestartNogoods=18 mapSize=175
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.215 cpuTime=0.17 mem=15M571
1.12
1.12 search
1.12 run=6 nbConstraintChecks=963154 nbPropagations=42213 nbRevisions=546229 nbUselessRevisions=451808
1.12 nbAssignments=603 nbFailedAssignments=209 nbBacktracks=322 nbVisitedNodes=1001 nbRestartNogoods=22 mapSize=269
1.12 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.263 cpuTime=0.22 mem=15M571
1.20
1.20 search
1.20 run=7 nbConstraintChecks=1474306 nbPropagations=61083 nbRevisions=819881 nbUselessRevisions=677078
1.20 nbAssignments=901 nbFailedAssignments=325 nbBacktracks=495 nbVisitedNodes=1514 nbRestartNogoods=24 mapSize=413
1.20 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.346 cpuTime=0.3 mem=15M571
1.31
1.31 search
1.31 run=8 nbConstraintChecks=2071899 nbPropagations=87602 nbRevisions=1203030 nbUselessRevisions=991805
1.31 nbAssignments=1294 nbFailedAssignments=451 nbBacktracks=753 nbVisitedNodes=2173 nbRestartNogoods=29
1.31 mapSize=619 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.45 cpuTime=0.4 mem=15M571
1.49
1.49 search
1.49 run=9 nbConstraintChecks=3146494 nbPropagations=126480 nbRevisions=1774366 nbUselessRevisions=1459489
1.49 nbAssignments=1926 nbFailedAssignments=688 nbBacktracks=1138 nbVisitedNodes=3249 nbRestartNogoods=33
1.49 mapSize=938 nbInferences=0 nbTooLargeKeys=0
1.49 => wckTime=0.628 cpuTime=0.57 mem=15M571
1.54
1.54 INFO : Stopping hyperNogood (mapSize=1033, nbTooLargekeys=0, mem=15M571)
1.71
1.71 search
1.71 run=10 nbConstraintChecks=4533943 nbPropagations=183179 nbRevisions=2613155 nbUselessRevisions=2146626
1.71 nbAssignments=2857 nbFailedAssignments=1032 nbBacktracks=1717 nbVisitedNodes=4825 nbRestartNogoods=38
1.71 => wckTime=0.853 cpuTime=0.79 mem=15M571
2.07
2.07 search
2.07 run=11 nbConstraintChecks=6952503 nbPropagations=269562 nbRevisions=3913448 nbUselessRevisions=3212564
2.07 nbAssignments=4338 nbFailedAssignments=1637 nbBacktracks=2583 nbVisitedNodes=7413 nbRestartNogoods=40
2.07 => wckTime=1.208 cpuTime=1.14 mem=15M571
2.49
2.49 search
2.49 run=12 nbConstraintChecks=9778004 nbPropagations=392471 nbRevisions=5765277 nbUselessRevisions=4731674
2.49 nbAssignments=6345 nbFailedAssignments=2334 nbBacktracks=3881 nbVisitedNodes=10778 nbRestartNogoods=48
2.49 => wckTime=1.628 cpuTime=1.56 mem=15M571
2.53
2.53 search
2.53 run=13 nbConstraintChecks=10034518 nbPropagations=518416 nbRevisions=7660899 nbUselessRevisions=6286128
2.53 nbAssignments=6554 nbFailedAssignments=2395 nbBacktracks=3979 nbVisitedNodes=11092 nbRestartNogoods=55
2.53 => wckTime=1.668 cpuTime=1.59 mem=15M571
2.53
2.53 global
2.53 nbConstraintChecks=10153281 nbPropagations=519733 nbRevisions=7672120 nbUselessRevisions=6295640
2.53 nbRestartNogoods=55 solvingWckTime=1.67 solvingCpuTime=1.6 expiredTime=no totalExploration=no
2.53 nbFoundSolutions=1 globalCpuTime=2.06
2.53 => wckTime=2.24 cpuTime=2.02 mem=15M571
2.53
2.53 s SATISFIABLE
2.53 v 21 8 19 18 22 6 10 4 7 4 17 4 18 15 19 21 2 19 3 11 18 10 18 4 19 3 16 7 7 18 9 18 15 6 6 1 12 19 7 16 7 9 10 3 18 8 17 13 9 22
2.53 d NODES 6554
2.53 d CHECKS 10153281
2.53
2.53 totalWckTime=2.314 totalCpuTime=2.06
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node56/watcher-229850-1168312084 -o ROOT/results/node56/solver-229850-1168312084 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229850-1168312084/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.92 2.02 1.98 4/82 8496
/proc/meminfo: memFree=1508752/2055920 swapFree=4184772/4192956
[pid=8495] ppid=8493 vsize=1784 CPUtime=0
/proc/8495/stat : 8495 (java) D 8493 8495 7381 0 -1 0 346 0 0 0 0 0 0 0 18 0 1 0 179606603 1826816 140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/8495/statm: 446 140 106 14 0 91 0
[startup+0.107533 s]
/proc/loadavg: 1.92 2.02 1.98 4/82 8496
/proc/meminfo: memFree=1508752/2055920 swapFree=4184772/4192956
[pid=8495] ppid=8493 vsize=914988 CPUtime=0.09
/proc/8495/stat : 8495 (java) R 8493 8495 7381 0 -1 0 3110 0 1 0 8 1 0 0 24 0 8 0 179606603 936947712 2856 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155582906 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8495/statm: 228747 2857 1466 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515566 s]
/proc/loadavg: 1.92 2.02 1.98 4/82 8496
/proc/meminfo: memFree=1508752/2055920 swapFree=4184772/4192956
[pid=8495] ppid=8493 vsize=915328 CPUtime=0.51
/proc/8495/stat : 8495 (java) R 8493 8495 7381 0 -1 0 7323 0 1 0 46 5 0 0 25 0 8 0 179606603 937295872 7062 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8495/statm: 228832 7063 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 915328
[startup+1.33664 s]
/proc/loadavg: 1.92 2.02 1.98 3/89 8503
/proc/meminfo: memFree=1481176/2055920 swapFree=4184772/4192956
[pid=8495] ppid=8493 vsize=915460 CPUtime=1.32
/proc/8495/stat : 8495 (java) R 8493 8495 7381 0 -1 0 9619 0 1 0 125 7 0 0 25 0 8 0 179606603 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831613 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8495/statm: 228865 9357 2524 14 0 215335 0
[pid=8495/tid=8497] ppid=8493 vsize=915460 CPUtime=0.03
/proc/8495/task/8497/stat : 8497 (java) S 8493 8495 7381 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 179606607 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8495/tid=8498] ppid=8493 vsize=915460 CPUtime=0
/proc/8495/task/8498/stat : 8498 (java) S 8493 8495 7381 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179606607 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8495/tid=8499] ppid=8493 vsize=915460 CPUtime=0
/proc/8495/task/8499/stat : 8499 (java) S 8493 8495 7381 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179606607 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8495/tid=8500] ppid=8493 vsize=915460 CPUtime=0
/proc/8495/task/8500/stat : 8500 (java) S 8493 8495 7381 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 179606610 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8495/tid=8501] ppid=8493 vsize=915460 CPUtime=0.19
/proc/8495/task/8501/stat : 8501 (java) S 8493 8495 7381 0 -1 64 384 0 0 0 18 1 0 0 15 0 8 0 179606610 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8495/tid=8502] ppid=8493 vsize=915460 CPUtime=0
/proc/8495/task/8502/stat : 8502 (java) S 8493 8495 7381 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 179606610 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8495/tid=8503] ppid=8493 vsize=915460 CPUtime=0
/proc/8495/task/8503/stat : 8503 (java) S 8493 8495 7381 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 179606610 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 2.58271
CPU time (s): 2.53561
CPU user time (s): 2.44763
CPU system time (s): 0.087986
CPU usage (%): 98.1763
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.44763
system time used= 0.087986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9644
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= 1220
involuntary context switches= 1430
runsolver used 0.001999 s user time and 0.019996 s system time
The end
Begin job on node56 on Tue Jan 9 03:08:05 UTC 2007
IDJOB= 229850
IDBENCH= 6369
FILE ID= node56/229850-1168312084
PBS_JOBID= 3502360
Free space on /tmp= 66557 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23-fcd/rand-2-50-23-587-230-fcd-23_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229850-1168312084/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node56/watcher-229850-1168312084 -o ROOT/results/node56/solver-229850-1168312084 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229850-1168312084/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d271234205ff8a0d3c9ed0003460dc61
RANDOM SEED= 95929977
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: 1509168 kB
Buffers: 43568 kB
Cached: 358644 kB
SwapCached: 2048 kB
Active: 220568 kB
Inactive: 272628 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1509168 kB
SwapTotal: 4192956 kB
SwapFree: 4184772 kB
Dirty: 5876 kB
Writeback: 0 kB
Mapped: 106808 kB
Slab: 38540 kB
Committed_AS: 4645768 kB
PageTables: 2116 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= 66557 MiB
End job on node56 on Tue Jan 9 03:08:07 UTC 2007