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/229001-1168303025/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=16 maxDomainSize=16
0.39 => wckTime=0.094 cpuTime=0.09 mem=6M951
0.39
0.39 relations being loaded...
0.46
0.46 constraints being loaded...
0.56 nbConstraints=250 nbRelationTypes=250 nbExtensionStructures=250 nbSharedExtensionStructures=0
0.56 nbConflictsStructures=250 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1373 maxDegree=18
0.56 maxArity=2
0.56 => wckTime=0.268 cpuTime=0.2 mem=11M893
0.60
0.60 solver IterativeSystematicSolver being built...
0.76 => wckTime=0.46 cpuTime=0.34 mem=14M825
0.80
0.80 preprocessing
0.80 nbConstraintChecks=50511 nbPropagations=757 nbRevisions=5769 nbUselessRevisions=4736 nbSingletonTests=48
0.80 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.80 => wckTime=0.044 cpuTime=0.03 mem=14M825
0.82
0.82 search
0.82 run=0 nbConstraintChecks=29568 nbPropagations=1260 nbRevisions=11053 nbUselessRevisions=8805 nbAssignments=27
0.82 nbFailedAssignments=11 nbBacktracks=11 nbVisitedNodes=46 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.82 nbTooLargeKeys=0
0.82 => wckTime=0.065 cpuTime=0.05 mem=14M825
0.84
0.84 search
0.84 run=1 nbConstraintChecks=72731 nbPropagations=3180 nbRevisions=28941 nbUselessRevisions=22893 nbAssignments=61
0.84 nbFailedAssignments=24 nbBacktracks=26 nbVisitedNodes=103 nbRestartNogoods=2 mapSize=22 nbInferences=0
0.84 nbTooLargeKeys=0
0.84 => wckTime=0.085 cpuTime=0.06 mem=14M825
0.86
0.86 search
0.86 run=2 nbConstraintChecks=127553 nbPropagations=5996 nbRevisions=56524 nbUselessRevisions=44506
0.86 nbAssignments=111 nbFailedAssignments=44 nbBacktracks=50 nbVisitedNodes=186 nbRestartNogoods=7 mapSize=42
0.86 nbInferences=0 nbTooLargeKeys=0
0.86 => wckTime=0.1 cpuTime=0.07 mem=14M825
0.87
0.87 search
0.87 run=3 nbConstraintChecks=196811 nbPropagations=9968 nbRevisions=96286 nbUselessRevisions=75435
0.87 nbAssignments=174 nbFailedAssignments=69 nbBacktracks=84 nbVisitedNodes=294 nbRestartNogoods=12 mapSize=72
0.87 nbInferences=0 nbTooLargeKeys=0
0.87 => wckTime=0.114 cpuTime=0.08 mem=14M825
0.90
0.90 search
0.90 run=4 nbConstraintChecks=303047 nbPropagations=15666 nbRevisions=154712 nbUselessRevisions=120553
0.90 nbAssignments=267 nbFailedAssignments=106 nbBacktracks=134 nbVisitedNodes=453 nbRestartNogoods=16 mapSize=114
0.90 nbInferences=0 nbTooLargeKeys=0
0.90 => wckTime=0.136 cpuTime=0.1 mem=14M825
0.93
0.93 search
0.93 run=5 nbConstraintChecks=488327 nbPropagations=24383 nbRevisions=245988 nbUselessRevisions=190785
0.93 nbAssignments=428 nbFailedAssignments=174 nbBacktracks=212 nbVisitedNodes=719 nbRestartNogoods=22 mapSize=184
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.174 cpuTime=0.14 mem=14M825
0.98
0.98 search
0.98 run=6 nbConstraintChecks=719018 nbPropagations=36941 nbRevisions=378957 nbUselessRevisions=292738
0.98 nbAssignments=626 nbFailedAssignments=252 nbBacktracks=325 nbVisitedNodes=1064 nbRestartNogoods=25 mapSize=283
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.217 cpuTime=0.18 mem=14M825
1.04
1.04 search
1.04 run=7 nbConstraintChecks=1079051 nbPropagations=55543 nbRevisions=576409 nbUselessRevisions=443646
1.04 nbAssignments=954 nbFailedAssignments=385 nbBacktracks=495 nbVisitedNodes=1606 nbRestartNogoods=33 mapSize=427
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.282 cpuTime=0.24 mem=14M825
1.13
1.13 search
1.13 run=8 nbConstraintChecks=1585496 nbPropagations=83072 nbRevisions=870101 nbUselessRevisions=668460
1.13 nbAssignments=1418 nbFailedAssignments=575 nbBacktracks=752 nbVisitedNodes=2401 nbRestartNogoods=41
1.13 mapSize=652 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.376 cpuTime=0.33 mem=14M825
1.27
1.27 search
1.27 run=9 nbConstraintChecks=2319839 nbPropagations=122847 nbRevisions=1297017 nbUselessRevisions=994765
1.27 nbAssignments=2056 nbFailedAssignments=823 nbBacktracks=1137 nbVisitedNodes=3503 nbRestartNogoods=47
1.27 mapSize=968 nbInferences=0 nbTooLargeKeys=0
1.27 => wckTime=0.51 cpuTime=0.46 mem=14M825
1.29
1.29 INFO : Stopping hyperNogood (mapSize=1020, nbTooLargekeys=0, mem=14M825)
1.45
1.45 search
1.45 run=10 nbConstraintChecks=3455906 nbPropagations=181629 nbRevisions=1929393 nbUselessRevisions=1477041
1.45 nbAssignments=3054 nbFailedAssignments=1238 nbBacktracks=1714 nbVisitedNodes=5269 nbRestartNogoods=57
1.45 => wckTime=0.695 cpuTime=0.63 mem=14M825
1.73
1.73 search
1.73 run=11 nbConstraintChecks=5234313 nbPropagations=270671 nbRevisions=2888426 nbUselessRevisions=2208375
1.73 nbAssignments=4599 nbFailedAssignments=1895 nbBacktracks=2578 nbVisitedNodes=7985 nbRestartNogoods=65
1.73 => wckTime=0.974 cpuTime=0.89 mem=14M825
2.12
2.12 search
2.12 run=12 nbConstraintChecks=7804012 nbPropagations=403757 nbRevisions=4331850 nbUselessRevisions=3310942
2.12 nbAssignments=6847 nbFailedAssignments=2842 nbBacktracks=3875 nbVisitedNodes=11979 nbRestartNogoods=75
2.12 => wckTime=1.358 cpuTime=1.28 mem=14M825
2.68
2.68 search
2.68 run=13 nbConstraintChecks=11598247 nbPropagations=600916 nbRevisions=6475807 nbUselessRevisions=4950013
2.68 nbAssignments=10176 nbFailedAssignments=4220 nbBacktracks=5822 nbVisitedNodes=17842 nbRestartNogoods=80
2.68 => wckTime=1.921 cpuTime=1.84 mem=14M825
3.12
3.12 search
3.12 run=14 nbConstraintChecks=14577816 nbPropagations=848643 nbRevisions=9172055 nbUselessRevisions=7011847
3.12 nbAssignments=12801 nbFailedAssignments=5302 nbBacktracks=7325 nbVisitedNodes=22444 nbRestartNogoods=92
3.12 => wckTime=2.365 cpuTime=2.28 mem=14M825
3.12
3.13 global
3.13 nbConstraintChecks=14628327 nbPropagations=849400 nbRevisions=9177824 nbUselessRevisions=7016583
3.13 nbRestartNogoods=92 solvingWckTime=2.367 solvingCpuTime=2.28 expiredTime=no totalExploration=no
3.13 nbFoundSolutions=1 globalCpuTime=2.65
3.13 => wckTime=2.83 cpuTime=2.62 mem=14M825
3.13
3.13 s SATISFIABLE
3.13 v 9 2 15 2 1 4 12 6 12 13 15 14 13 7 5 12 7 3 8 2 5 1 6 8 11 15 7 5 3 14 11 13 5 2 4 12 13 11 1 7
3.13 d NODES 12801
3.13 d CHECKS 14628327
3.13
3.13 totalWckTime=2.906 totalCpuTime=2.66
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-229001-1168303025 -o ROOT/results/node15/solver-229001-1168303025 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229001-1168303025/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.88 1.41 1.19 4/88 12323
/proc/meminfo: memFree=1591096/2055920 swapFree=4174172/4192956
[pid=12322] ppid=12320 vsize=172 CPUtime=0
/proc/12322/stat : 12322 (java) R 12320 12322 11909 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 178697443 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7512868 0 0 4096 0 0 0 0 17 0 0 0
/proc/12322/statm: 55 31 25 14 0 3 0
[startup+0.107847 s]
/proc/loadavg: 1.88 1.41 1.19 4/88 12323
/proc/meminfo: memFree=1591096/2055920 swapFree=4174172/4192956
[pid=12322] ppid=12320 vsize=914988 CPUtime=0.08
/proc/12322/stat : 12322 (java) R 12320 12322 11909 0 -1 0 3064 0 1 0 7 1 0 0 23 0 8 0 178697443 936947712 2810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12322/statm: 228747 2810 1451 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515879 s]
/proc/loadavg: 1.88 1.41 1.19 4/88 12323
/proc/meminfo: memFree=1591096/2055920 swapFree=4174172/4192956
[pid=12322] ppid=12320 vsize=915328 CPUtime=0.49
/proc/12322/stat : 12322 (java) R 12320 12322 11909 0 -1 0 6922 0 1 0 46 3 0 0 25 0 8 0 178697443 937295872 6661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12322/statm: 228832 6661 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33702 s]
/proc/loadavg: 1.88 1.41 1.19 3/95 12330
/proc/meminfo: memFree=1567296/2055920 swapFree=4174172/4192956
[pid=12322] ppid=12320 vsize=915452 CPUtime=1.31
/proc/12322/stat : 12322 (java) R 12320 12322 11909 0 -1 0 8698 0 1 0 126 5 0 0 25 0 8 0 178697443 937422848 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073789336 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12322/statm: 228863 8436 2524 14 0 215333 0
[pid=12322/tid=12324] ppid=12320 vsize=915452 CPUtime=0.02
/proc/12322/task/12324/stat : 12324 (java) S 12320 12322 11909 0 -1 64 242 0 0 0 2 0 0 0 16 0 8 0 178697447 937422848 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12322/tid=12325] ppid=12320 vsize=915452 CPUtime=0
/proc/12322/task/12325/stat : 12325 (java) S 12320 12322 11909 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178697447 937422848 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12322/tid=12326] ppid=12320 vsize=915452 CPUtime=0
/proc/12322/task/12326/stat : 12326 (java) S 12320 12322 11909 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 178697447 937422848 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12322/tid=12327] ppid=12320 vsize=915452 CPUtime=0
/proc/12322/task/12327/stat : 12327 (java) S 12320 12322 11909 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 178697450 937422848 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12322/tid=12328] ppid=12320 vsize=915452 CPUtime=0.19
/proc/12322/task/12328/stat : 12328 (java) S 12320 12322 11909 0 -1 64 386 0 0 0 19 0 0 0 15 0 8 0 178697450 937422848 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12322/tid=12329] ppid=12320 vsize=915452 CPUtime=0
/proc/12322/task/12329/stat : 12329 (java) S 12320 12322 11909 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 178697450 937422848 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12322/tid=12330] ppid=12320 vsize=915452 CPUtime=0
/proc/12322/task/12330/stat : 12330 (java) S 12320 12322 11909 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178697450 937422848 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915452
[startup+2.9873 s]
/proc/loadavg: 1.88 1.41 1.19 3/95 12330
/proc/meminfo: memFree=1566976/2055920 swapFree=4174172/4192956
[pid=12322] ppid=12320 vsize=915452 CPUtime=2.95
/proc/12322/stat : 12322 (java) R 12320 12322 11909 0 -1 0 8714 0 1 0 290 5 0 0 25 0 8 0 178697443 937422848 8451 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073797971 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12322/statm: 228863 8451 2524 14 0 215333 0
[pid=12322/tid=12324] ppid=12320 vsize=915452 CPUtime=0.02
/proc/12322/task/12324/stat : 12324 (java) S 12320 12322 11909 0 -1 64 242 0 0 0 2 0 0 0 16 0 8 0 178697447 937422848 8451 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12322/tid=12325] ppid=12320 vsize=915452 CPUtime=0
/proc/12322/task/12325/stat : 12325 (java) S 12320 12322 11909 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178697447 937422848 8451 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12322/tid=12326] ppid=12320 vsize=915452 CPUtime=0
/proc/12322/task/12326/stat : 12326 (java) S 12320 12322 11909 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 178697447 937422848 8451 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12322/tid=12327] ppid=12320 vsize=915452 CPUtime=0
/proc/12322/task/12327/stat : 12327 (java) S 12320 12322 11909 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 178697450 937422848 8451 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12322/tid=12328] ppid=12320 vsize=915452 CPUtime=0.2
/proc/12322/task/12328/stat : 12328 (java) S 12320 12322 11909 0 -1 64 391 0 0 0 20 0 0 0 16 0 8 0 178697450 937422848 8451 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12322/tid=12329] ppid=12320 vsize=915452 CPUtime=0
/proc/12322/task/12329/stat : 12329 (java) S 12320 12322 11909 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 178697450 937422848 8451 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12322/tid=12330] ppid=12320 vsize=915452 CPUtime=0
/proc/12322/task/12330/stat : 12330 (java) S 12320 12322 11909 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178697450 937422848 8451 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 3.15339
CPU time (s): 3.10753
CPU user time (s): 3.04554
CPU system time (s): 0.06199
CPU usage (%): 98.5455
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.04554
system time used= 0.06199
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8807
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= 1175
involuntary context switches= 1392
runsolver used 0.010998 s user time and 0.016997 s system time
The end
Begin job on node15 on Tue Jan 9 00:37:06 UTC 2007
IDJOB= 229001
IDBENCH= 6266
FILE ID= node15/229001-1168303025
PBS_JOBID= 3502229
Free space on /tmp= 66333 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-33_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229001-1168303025/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-229001-1168303025 -o ROOT/results/node15/solver-229001-1168303025 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229001-1168303025/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 0a5b11ec67a3c4754bef95b5fd926c77
RANDOM SEED= 3695874
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.276
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.276
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: 1591512 kB
Buffers: 46376 kB
Cached: 328012 kB
SwapCached: 5800 kB
Active: 263600 kB
Inactive: 148316 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1591512 kB
SwapTotal: 4192956 kB
SwapFree: 4174172 kB
Dirty: 1976 kB
Writeback: 0 kB
Mapped: 49004 kB
Slab: 37068 kB
Committed_AS: 5434096 kB
PageTables: 2420 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= 66333 MiB
End job on node15 on Tue Jan 9 00:37:09 UTC 2007