0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.37
0.37 instance
0.37 name=/tmp/evaluation/227437-1168278260/unknown.xml
0.41
0.41 domains being loaded...
0.41
0.41 variables being loaded...
0.45 nbVariables=40 nbDomainTypes=1 minDomainSize=8 maxDomainSize=8
0.45 => wckTime=0.122 cpuTime=0.1 mem=6M951
0.45
0.45 relations being loaded...
0.55
0.55 constraints being loaded...
0.73 nbConstraints=753 nbRelationTypes=752 nbExtensionStructures=752 nbSharedExtensionStructures=1
0.73 nbConflictsStructures=752 nbSharedConflictsStructures=1 nbSharedBinaryRepresentations=11899 maxDegree=39
0.73 maxArity=2
0.73 => wckTime=0.406 cpuTime=0.26 mem=11M848
0.78
0.78 solver IterativeSystematicSolver being built...
0.95 => wckTime=0.624 cpuTime=0.39 mem=15M6
1.00
1.00 preprocessing
1.00 nbConstraintChecks=21342 nbPropagations=833 nbRevisions=4741 nbUselessRevisions=3707 nbSingletonTests=47
1.00 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
1.00 => wckTime=0.053 cpuTime=0.04 mem=15M6
1.03
1.03 search
1.03 run=0 nbConstraintChecks=15891 nbPropagations=1176 nbRevisions=9487 nbUselessRevisions=7692 nbAssignments=24
1.03 nbFailedAssignments=4 nbBacktracks=14 nbVisitedNodes=40 nbRestartNogoods=0 mapSize=13 nbInferences=0
1.03 nbTooLargeKeys=0
1.03 => wckTime=0.081 cpuTime=0.06 mem=15M6
1.05
1.05 search
1.05 run=1 nbConstraintChecks=29392 nbPropagations=2689 nbRevisions=23129 nbUselessRevisions=18896 nbAssignments=55
1.05 nbFailedAssignments=11 nbBacktracks=31 nbVisitedNodes=84 nbRestartNogoods=1 mapSize=25 nbInferences=0
1.05 nbTooLargeKeys=0
1.05 => wckTime=0.099 cpuTime=0.07 mem=15M6
1.07
1.07 search
1.07 run=2 nbConstraintChecks=52005 nbPropagations=4683 nbRevisions=43592 nbUselessRevisions=35899 nbAssignments=92
1.07 nbFailedAssignments=20 nbBacktracks=53 nbVisitedNodes=138 nbRestartNogoods=2 mapSize=40 nbInferences=0
1.07 nbTooLargeKeys=0
1.07 => wckTime=0.115 cpuTime=0.08 mem=15M6
1.08
1.08 search
1.08 run=3 nbConstraintChecks=80544 nbPropagations=7296 nbRevisions=73229 nbUselessRevisions=60816
1.08 nbAssignments=146 nbFailedAssignments=31 nbBacktracks=87 nbVisitedNodes=216 nbRestartNogoods=4 mapSize=61
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.128 cpuTime=0.1 mem=15M6
1.10
1.10 search
1.10 run=4 nbConstraintChecks=137079 nbPropagations=11009 nbRevisions=121750 nbUselessRevisions=102038
1.10 nbAssignments=224 nbFailedAssignments=52 nbBacktracks=137 nbVisitedNodes=343 nbRestartNogoods=7 mapSize=104
1.11 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.153 cpuTime=0.12 mem=15M6
1.14
1.14 search
1.14 run=5 nbConstraintChecks=208627 nbPropagations=16160 nbRevisions=193897 nbUselessRevisions=163577
1.14 nbAssignments=339 nbFailedAssignments=81 nbBacktracks=214 nbVisitedNodes=523 nbRestartNogoods=9 mapSize=164
1.14 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.194 cpuTime=0.15 mem=15M6
1.19
1.19 search
1.19 run=6 nbConstraintChecks=324288 nbPropagations=23532 nbRevisions=302848 nbUselessRevisions=256645
1.19 nbAssignments=519 nbFailedAssignments=135 nbBacktracks=331 nbVisitedNodes=811 nbRestartNogoods=13 mapSize=262
1.19 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.242 cpuTime=0.2 mem=15M6
1.26
1.26 search
1.26 run=7 nbConstraintChecks=485611 nbPropagations=33982 nbRevisions=465045 nbUselessRevisions=395420
1.26 nbAssignments=767 nbFailedAssignments=206 nbBacktracks=502 nbVisitedNodes=1214 nbRestartNogoods=15 mapSize=403
1.26 nbInferences=0 nbTooLargeKeys=0
1.26 => wckTime=0.305 cpuTime=0.26 mem=15M6
1.35
1.35 search
1.35 run=8 nbConstraintChecks=712902 nbPropagations=48829 nbRevisions=704975 nbUselessRevisions=601310
1.35 nbAssignments=1131 nbFailedAssignments=306 nbBacktracks=760 nbVisitedNodes=1801 nbRestartNogoods=19
1.35 mapSize=604 nbInferences=0 nbTooLargeKeys=0
1.35 => wckTime=0.395 cpuTime=0.35 mem=15M6
1.49
1.49 search
1.49 run=9 nbConstraintChecks=1049143 nbPropagations=70189 nbRevisions=1054771 nbUselessRevisions=901041
1.49 nbAssignments=1678 nbFailedAssignments=461 nbBacktracks=1144 nbVisitedNodes=2674 nbRestartNogoods=21
1.49 mapSize=901 nbInferences=0 nbTooLargeKeys=0
1.49 => wckTime=0.541 cpuTime=0.47 mem=15M6
1.55
1.55 INFO : Stopping hyperNogood (mapSize=1028, nbTooLargekeys=0, mem=15M6)
1.68
1.68 search
1.68 run=10 nbConstraintChecks=1556675 nbPropagations=101157 nbRevisions=1578046 nbUselessRevisions=1351067
1.68 nbAssignments=2488 nbFailedAssignments=688 nbBacktracks=1722 nbVisitedNodes=3971 nbRestartNogoods=26
1.68 => wckTime=0.727 cpuTime=0.65 mem=15M6
1.93
1.93 search
1.93 run=11 nbConstraintChecks=2309295 nbPropagations=146736 nbRevisions=2359903 nbUselessRevisions=2025196
1.93 nbAssignments=3713 nbFailedAssignments=1038 nbBacktracks=2588 nbVisitedNodes=5963 nbRestartNogoods=30
1.93 => wckTime=0.983 cpuTime=0.9 mem=15M6
2.31
2.31 search
2.31 run=12 nbConstraintChecks=3457259 nbPropagations=214075 nbRevisions=3530643 nbUselessRevisions=3036504
2.31 nbAssignments=5562 nbFailedAssignments=1578 nbBacktracks=3886 nbVisitedNodes=8947 nbRestartNogoods=35
2.31 => wckTime=1.361 cpuTime=1.27 mem=15M6
2.36
2.36 search
2.36 run=13 nbConstraintChecks=3607049 nbPropagations=284321 nbRevisions=4751944 nbUselessRevisions=4091300
2.36 nbAssignments=5834 nbFailedAssignments=1646 nbBacktracks=4050 nbVisitedNodes=9362 nbRestartNogoods=43
2.36 => wckTime=1.414 cpuTime=1.32 mem=15M6
2.37
2.37 global
2.37 nbConstraintChecks=3628391 nbPropagations=285154 nbRevisions=4756685 nbUselessRevisions=4095007
2.37 nbRestartNogoods=43 solvingWckTime=1.416 solvingCpuTime=1.32 expiredTime=no totalExploration=no
2.37 nbFoundSolutions=1 globalCpuTime=1.75
2.37 => wckTime=2.042 cpuTime=1.71 mem=15M6
2.37
2.37 s SATISFIABLE
2.37 v 4 2 0 4 5 5 0 2 0 2 3 1 4 4 3 6 1 6 5 3 3 3 7 3 6 5 5 3 6 6 5 5 0 1 2 3 1 1 4 2
2.37 d NODES 5834
2.37 d CHECKS 3628391
2.37
2.37 totalWckTime=2.124 totalCpuTime=1.75
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node11/watcher-227437-1168278260 -o ROOT/results/node11/solver-227437-1168278260 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/227437-1168278260/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.99 1.97 2.09 4/95 14568
/proc/meminfo: memFree=1612744/2055920 swapFree=4192812/4192956
[pid=14567] ppid=14565 vsize=18540 CPUtime=0
/proc/14567/stat : 14567 (runsolver) R 14565 14567 14355 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 176221052 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 262910045479 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/14567/statm: 4635 279 244 17 0 2626 0
[startup+0.10815 s]
/proc/loadavg: 1.99 1.97 2.09 4/95 14568
/proc/meminfo: memFree=1612744/2055920 swapFree=4192812/4192956
[pid=14567] ppid=14565 vsize=914988 CPUtime=0.08
/proc/14567/stat : 14567 (java) R 14565 14567 14355 0 -1 0 2980 0 1 0 7 1 0 0 17 0 8 0 176221052 936947712 2726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072927716 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14567/statm: 228747 2726 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.518228 s]
/proc/loadavg: 1.99 1.97 2.09 4/95 14568
/proc/meminfo: memFree=1612744/2055920 swapFree=4192812/4192956
[pid=14567] ppid=14565 vsize=915328 CPUtime=0.47
/proc/14567/stat : 14567 (java) R 14565 14567 14355 0 -1 0 6226 0 1 0 43 4 0 0 18 0 8 0 176221052 937295872 5965 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14567/statm: 228832 5965 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.33939 s]
/proc/loadavg: 1.99 1.97 2.09 5/102 14575
/proc/meminfo: memFree=1588624/2055920 swapFree=4192812/4192956
[pid=14567] ppid=14565 vsize=915584 CPUtime=1.28
/proc/14567/stat : 14567 (java) R 14565 14567 14355 0 -1 0 8755 0 1 0 121 7 0 0 24 0 8 0 176221052 937558016 8493 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073924833 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14567/statm: 228896 8493 2524 14 0 215366 0
[pid=14567/tid=14569] ppid=14565 vsize=915584 CPUtime=0.03
/proc/14567/task/14569/stat : 14569 (java) S 14565 14567 14355 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 176221057 937558016 8493 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14567/tid=14570] ppid=14565 vsize=915584 CPUtime=0
/proc/14567/task/14570/stat : 14570 (java) S 14565 14567 14355 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176221057 937558016 8493 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14567/tid=14571] ppid=14565 vsize=915584 CPUtime=0
/proc/14567/task/14571/stat : 14571 (java) S 14565 14567 14355 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176221057 937558016 8493 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14567/tid=14572] ppid=14565 vsize=915584 CPUtime=0
/proc/14567/task/14572/stat : 14572 (java) S 14565 14567 14355 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 176221060 937558016 8493 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14567/tid=14573] ppid=14565 vsize=915584 CPUtime=0.27
/proc/14567/task/14573/stat : 14573 (java) S 14565 14567 14355 0 -1 64 405 0 0 0 25 2 0 0 16 0 8 0 176221060 937558016 8493 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14567/tid=14574] ppid=14565 vsize=915584 CPUtime=0
/proc/14567/task/14574/stat : 14574 (java) S 14565 14567 14355 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 176221060 937558016 8493 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14567/tid=14575] ppid=14565 vsize=915584 CPUtime=0
/proc/14567/task/14575/stat : 14575 (java) S 14565 14567 14355 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 176221061 937558016 8493 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915584
Child status: 0
Real time (s): 2.39312
CPU time (s): 2.31465
CPU user time (s): 2.23066
CPU system time (s): 0.083987
CPU usage (%): 96.7207
Max. virtual memory (cumulated for all children) (KiB): 915584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.23066
system time used= 0.083987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8893
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= 1306
involuntary context switches= 1586
runsolver used 0.006998 s user time and 0.018997 s system time
The end
Begin job on node11 on Mon Jan 8 17:44:20 UTC 2007
IDJOB= 227437
IDBENCH= 6080
FILE ID= node11/227437-1168278260
PBS_JOBID= 3483131
Free space on /tmp= 66341 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.1/rand-2-40-8-753-100-29_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/227437-1168278260/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-227437-1168278260 -o ROOT/results/node11/solver-227437-1168278260 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/227437-1168278260/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e401816257ff9c138ba7417e75a6e3fa
RANDOM SEED= 171796172
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: 1613160 kB
Buffers: 62172 kB
Cached: 186368 kB
SwapCached: 0 kB
Active: 265068 kB
Inactive: 120508 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1613160 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1796 kB
Writeback: 0 kB
Mapped: 164856 kB
Slab: 41420 kB
Committed_AS: 6408736 kB
PageTables: 2632 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= 66341 MiB
End job on node11 on Mon Jan 8 17:44:23 UTC 2007