0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/243031-1168085601/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=50 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.39 => wckTime=0.086 cpuTime=0.08 mem=6M951
0.39
0.39 relations being loaded...
0.39
0.39 constraints being loaded...
0.44 nbConstraints=77 nbRelationTypes=11 nbExtensionStructures=11 nbSharedExtensionStructures=66
0.44 nbConflictsStructures=11 nbSharedConflictsStructures=66 nbSharedBinaryRepresentations=0 maxDegree=7 maxArity=3
0.44 => wckTime=0.136 cpuTime=0.11 mem=7M992
0.47
0.47 solver IterativeSystematicSolver being built...
0.64 => wckTime=0.334 cpuTime=0.24 mem=15M251
0.64
0.64 preprocessing
0.64 nbConstraintChecks=0 nbPropagations=50 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.64 detectedInconsistency=no
0.64 => wckTime=0.0030 cpuTime=0.01 mem=15M251
0.66
0.66 search
0.66 run=0 nbConstraintChecks=136 nbValidityChecks=54 nbPropagations=118 nbRevisions=159 nbUselessRevisions=97
0.66 nbAssignments=32 nbFailedAssignments=4 nbBacktracks=11 nbVisitedNodes=41 nbRestartNogoods=0 mapSize=7
0.66 nbInferences=0 nbTooLargeKeys=0
0.66 => wckTime=0.024 cpuTime=0.02 mem=15M251
0.68
0.68 search
0.68 run=1 nbConstraintChecks=232 nbValidityChecks=154 nbPropagations=298 nbRevisions=444 nbUselessRevisions=262
0.68 nbAssignments=62 nbFailedAssignments=10 nbBacktracks=26 nbVisitedNodes=82 nbRestartNogoods=1 mapSize=15
0.68 nbInferences=0 nbTooLargeKeys=0
0.68 => wckTime=0.042 cpuTime=0.03 mem=15M251
0.69
0.69 search
0.69 run=2 nbConstraintChecks=416 nbValidityChecks=345 nbPropagations=575 nbRevisions=958 nbUselessRevisions=563
0.69 nbAssignments=105 nbFailedAssignments=16 nbBacktracks=48 nbVisitedNodes=139 nbRestartNogoods=4 mapSize=27
0.69 nbInferences=0 nbTooLargeKeys=0
0.69 => wckTime=0.054 cpuTime=0.04 mem=15M251
0.70
0.70 search
0.70 run=3 nbConstraintChecks=667 nbValidityChecks=683 nbPropagations=998 nbRevisions=1816 nbUselessRevisions=1065
0.70 nbAssignments=157 nbFailedAssignments=25 nbBacktracks=81 nbVisitedNodes=212 nbRestartNogoods=6 mapSize=46
0.70 nbInferences=0 nbTooLargeKeys=0
0.70 => wckTime=0.064 cpuTime=0.05 mem=15M251
0.71
0.71 search
0.71 run=4 nbConstraintChecks=944 nbValidityChecks=1071 nbPropagations=1588 nbRevisions=3071
0.71 nbUselessRevisions=1796 nbAssignments=222 nbFailedAssignments=38 nbBacktracks=131 nbVisitedNodes=309
0.71 nbRestartNogoods=8 mapSize=76 nbInferences=0 nbTooLargeKeys=0
0.71 => wckTime=0.073 cpuTime=0.06 mem=15M251
0.73
0.73 search
0.73 run=5 nbConstraintChecks=1312 nbValidityChecks=1584 nbPropagations=2424 nbRevisions=4858
0.73 nbUselessRevisions=2815 nbAssignments=324 nbFailedAssignments=65 nbBacktracks=206 nbVisitedNodes=461
0.73 nbRestartNogoods=10 mapSize=124 nbInferences=0 nbTooLargeKeys=0
0.73 => wckTime=0.093 cpuTime=0.07 mem=15M251
0.75
0.75 search
0.75 run=6 nbConstraintChecks=1932 nbValidityChecks=2387 nbPropagations=3597 nbRevisions=7449
0.75 nbUselessRevisions=4286 nbAssignments=453 nbFailedAssignments=98 nbBacktracks=303 nbVisitedNodes=653
0.75 nbRestartNogoods=10 mapSize=186 nbInferences=0 nbTooLargeKeys=0
0.75 => wckTime=0.11 cpuTime=0.07 mem=15M251
0.75
0.75 global
0.75 nbConstraintChecks=1932 nbValidityChecks=2387 nbPropagations=3647 nbRevisions=7449 nbUselessRevisions=4286
0.75 nbRestartNogoods=10 solvingWckTime=0.111 solvingCpuTime=0.08 expiredTime=no totalExploration=yes
0.75 nbFoundSolutions=0 globalCpuTime=0.37
0.75 => wckTime=0.446 cpuTime=0.32 mem=15M251
0.75
0.75 s UNSATISFIABLE
0.75 d NODES 453
0.75 d CHECKS 1932
0.75
0.75 totalWckTime=0.522 totalCpuTime=0.37
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node4/watcher-243031-1168085601 -o ROOT/results/node4/solver-243031-1168085601 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/243031-1168085601/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.50 0.61 1.21 2/81 15152
/proc/meminfo: memFree=1586336/2055920 swapFree=4191880/4192956
[pid=15151] ppid=15149 vsize=1784 CPUtime=0
/proc/15151/stat : 15151 (java) R 15149 15151 15083 0 -1 0 158 0 0 0 0 0 0 0 19 0 1 0 156957058 1826816 129 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 10857760 0 0 4096 0 0 0 0 17 1 0 0
/proc/15151/statm: 446 136 102 14 0 91 0
[startup+0.102047 s]
/proc/loadavg: 0.50 0.61 1.21 2/81 15152
/proc/meminfo: memFree=1586336/2055920 swapFree=4191880/4192956
[pid=15151] ppid=15149 vsize=914988 CPUtime=0.08
/proc/15151/stat : 15151 (java) R 15149 15151 15083 0 -1 0 2996 0 1 0 7 1 0 0 17 0 8 0 156957058 936947712 2742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15151/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510084 s]
/proc/loadavg: 0.50 0.61 1.21 2/81 15152
/proc/meminfo: memFree=1586336/2055920 swapFree=4191880/4192956
[pid=15151] ppid=15149 vsize=915460 CPUtime=0.48
/proc/15151/stat : 15151 (java) R 15149 15151 15083 0 -1 0 6683 0 1 0 45 3 0 0 16 0 8 0 156957058 937431040 6421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15151/statm: 228865 6422 2377 14 0 215335 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 0.762322
CPU time (s): 0.739887
CPU user time (s): 0.687895
CPU system time (s): 0.051992
CPU usage (%): 97.057
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.687895
system time used= 0.051992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8734
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= 605
involuntary context switches= 137
runsolver used 0.001999 s user time and 0.007998 s system time
The end
Begin job on node4 on Sat Jan 6 12:13:28 UTC 2007
IDJOB= 243031
IDBENCH= 7437
FILE ID= node4/243031-1168085601
PBS_JOBID= 3476334
Free space on /tmp= 66306 MiB
BENCH NAME= HOME/pub/bench/CPAI06/dimacs/aim-50/aim-50-1-6-unsat-2_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/243031-1168085601/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-243031-1168085601 -o ROOT/results/node4/solver-243031-1168085601 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/243031-1168085601/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 60ca0c8b8a96f47d347db561422ef98e
RANDOM SEED= 326834188
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.223
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.223
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: 1585088 kB
Buffers: 54720 kB
Cached: 283380 kB
SwapCached: 268 kB
Active: 92060 kB
Inactive: 295456 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1585088 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1756 kB
Writeback: 0 kB
Mapped: 67648 kB
Slab: 68368 kB
Committed_AS: 3806476 kB
PageTables: 2232 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= 66308 MiB
End job on node4 on Sat Jan 6 12:13:43 UTC 2007