0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/193674-1168069284/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.43 nbVariables=297 nbDomainTypes=1 minDomainSize=7 maxDomainSize=7
0.43 => wckTime=0.129 cpuTime=0.1 mem=7M927
0.43
0.43 relations being loaded...
0.45
0.45 constraints being loaded...
0.73 nbConstraints=4115 nbRelationTypes=76 nbExtensionStructures=76 nbSharedExtensionStructures=4039
0.73 nbConflictsStructures=76 nbSharedConflictsStructures=4039 nbSharedBinaryRepresentations=1042 maxDegree=30
0.73 maxArity=2
0.73 => wckTime=0.435 cpuTime=0.3 mem=19M639
0.80
0.80 solver IterativeSystematicSolver being built...
0.96 => wckTime=0.666 cpuTime=0.44 mem=17M535
0.99
0.99 preprocessing
0.99 nbConstraintChecks=56 nbPropagations=298 nbRevisions=8 nbUselessRevisions=6 nbRemovedValues=2
0.99 detectedInconsistency=no
0.99 => wckTime=0.02 cpuTime=0.01 mem=17M535
1.07
1.07 search
1.07 run=0 nbConstraintChecks=91333 nbPropagations=1400 nbRevisions=31115 nbUselessRevisions=29042 nbAssignments=51
1.07 nbFailedAssignments=3 nbBacktracks=11 nbVisitedNodes=59 nbRestartNogoods=0 mapSize=5 nbInferences=0
1.07 nbTooLargeKeys=0
1.07 => wckTime=0.101 cpuTime=0.07 mem=17M535
1.11
1.11 search
1.11 run=1 nbConstraintChecks=168481 nbPropagations=3716 nbRevisions=86986 nbUselessRevisions=81407
1.11 nbAssignments=152 nbFailedAssignments=6 nbBacktracks=30 nbVisitedNodes=165 nbRestartNogoods=2 mapSize=7
1.11 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.142 cpuTime=0.11 mem=17M535
1.14
1.14 search
1.14 run=2 nbConstraintChecks=257386 nbPropagations=7029 nbRevisions=171219 nbUselessRevisions=160217
1.14 nbAssignments=240 nbFailedAssignments=11 nbBacktracks=82 nbVisitedNodes=264 nbRestartNogoods=5 mapSize=17
1.14 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.178 cpuTime=0.14 mem=17M535
1.17
1.17 search
1.17 run=3 nbConstraintChecks=332735 nbPropagations=11125 nbRevisions=278036 nbUselessRevisions=259877
1.17 nbAssignments=300 nbFailedAssignments=15 nbBacktracks=117 nbVisitedNodes=333 nbRestartNogoods=6 mapSize=24
1.17 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.205 cpuTime=0.17 mem=17M535
1.20
1.20 search
1.20 run=4 nbConstraintChecks=397770 nbPropagations=15913 nbRevisions=403067 nbUselessRevisions=376585
1.20 nbAssignments=390 nbFailedAssignments=20 nbBacktracks=171 nbVisitedNodes=432 nbRestartNogoods=8 mapSize=32
1.20 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.23 cpuTime=0.19 mem=17M535
1.24
1.24 search
1.24 run=5 nbConstraintChecks=480888 nbPropagations=21857 nbRevisions=555874 nbUselessRevisions=519564
1.24 nbAssignments=579 nbFailedAssignments=25 nbBacktracks=252 nbVisitedNodes=629 nbRestartNogoods=9 mapSize=36
1.24 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.274 cpuTime=0.23 mem=17M535
1.25
1.25 search
1.25 run=6 nbConstraintChecks=501960 nbPropagations=28013 nbRevisions=713850 nbUselessRevisions=667189
1.25 nbAssignments=588 nbFailedAssignments=30 nbBacktracks=257 nbVisitedNodes=646 nbRestartNogoods=13 mapSize=39
1.25 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.282 cpuTime=0.24 mem=17M535
1.25
1.25 global
1.25 nbConstraintChecks=502016 nbPropagations=28311 nbRevisions=713858 nbUselessRevisions=667195 nbRestartNogoods=13
1.25 solvingWckTime=0.283 solvingCpuTime=0.24 expiredTime=no totalExploration=yes nbFoundSolutions=0
1.25 globalCpuTime=0.73
1.25 => wckTime=0.952 cpuTime=0.68 mem=17M535
1.25
1.25 s UNSATISFIABLE
1.25 d NODES 588
1.25 d CHECKS 502016
1.25
1.25 totalWckTime=1.028 totalCpuTime=0.73
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node4/watcher-193674-1168069284 -o ROOT/results/node4/solver-193674-1168069284 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/193674-1168069284/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.64 1.80 1.83 4/86 10256
/proc/meminfo: memFree=1063536/2055920 swapFree=4191880/4192956
[pid=10255] ppid=10253 vsize=172 CPUtime=0
/proc/10255/stat : 10255 (java) R 10253 10255 10076 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 155324950 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 10588964 0 0 4096 0 0 0 0 17 0 0 0
/proc/10255/statm: 43 24 18 14 0 3 0
[startup+0.108276 s]
/proc/loadavg: 1.64 1.80 1.83 4/86 10256
/proc/meminfo: memFree=1063536/2055920 swapFree=4191880/4192956
[pid=10255] ppid=10253 vsize=914988 CPUtime=0.09
/proc/10255/stat : 10255 (java) R 10253 10255 10076 0 -1 0 3066 0 1 0 7 2 0 0 24 0 8 0 155324950 936947712 2812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155061896 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10255/statm: 228747 2812 1451 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.51631 s]
/proc/loadavg: 1.64 1.80 1.83 4/86 10256
/proc/meminfo: memFree=1063536/2055920 swapFree=4191880/4192956
[pid=10255] ppid=10253 vsize=915328 CPUtime=0.49
/proc/10255/stat : 10255 (java) R 10253 10255 10076 0 -1 0 6526 0 1 0 44 5 0 0 25 0 8 0 155324950 937295872 6265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073665096 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10255/statm: 228832 6266 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
Child status: 0
Real time (s): 1.28154
CPU time (s): 1.24681
CPU user time (s): 1.14582
CPU system time (s): 0.100984
CPU usage (%): 97.2901
Max. virtual memory (cumulated for all children) (KiB): 915588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.14582
system time used= 0.100984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10543
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= 1209
involuntary context switches= 1289
runsolver used 0.005999 s user time and 0.012998 s system time
The end
Begin job on node4 on Sat Jan 6 07:41:29 UTC 2007
IDJOB= 193674
IDBENCH= 3174
FILE ID= node4/193674-1168069284
PBS_JOBID= 3475695
Free space on /tmp= 66306 MiB
BENCH NAME= HOME/pub/bench/CPAI06/ehi/ehi-85/ehi-85-297-81_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/193674-1168069284/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-193674-1168069284 -o ROOT/results/node4/solver-193674-1168069284 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/193674-1168069284/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= fc628b96d6e83e6d5edd0c05d2d7a616
RANDOM SEED= 170667002
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: 1064528 kB
Buffers: 73348 kB
Cached: 578776 kB
SwapCached: 268 kB
Active: 606612 kB
Inactive: 289152 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1064528 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 2096 kB
Writeback: 0 kB
Mapped: 265384 kB
Slab: 79952 kB
Committed_AS: 3887088 kB
PageTables: 2820 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= 66306 MiB
End job on node4 on Sat Jan 6 07:41:39 UTC 2007