0.35
0.35 Abscon 109 (November, 2006)
0.35
0.35 configuration
0.35 name=mac.xml
0.38
0.38 instance
0.38 name=/tmp/evaluation/193617-1168069278/unknown.xml
0.41
0.41 domains being loaded...
0.42
0.42 variables being loaded...
0.49 nbVariables=297 nbDomainTypes=1 minDomainSize=7 maxDomainSize=7
0.49 => wckTime=0.142 cpuTime=0.12 mem=7M927
0.49
0.49 relations being loaded...
0.52
0.52 constraints being loaded...
0.83 nbConstraints=4098 nbRelationTypes=79 nbExtensionStructures=79 nbSharedExtensionStructures=4019
0.83 nbConflictsStructures=79 nbSharedConflictsStructures=4019 nbSharedBinaryRepresentations=1083 maxDegree=30
0.83 maxArity=2
0.83 => wckTime=0.477 cpuTime=0.33 mem=19M629
0.90
0.90 solver IterativeSystematicSolver being built...
1.08 => wckTime=0.728 cpuTime=0.49 mem=17M527
1.11
1.11 preprocessing
1.11 nbConstraintChecks=84 nbPropagations=299 nbRevisions=12 nbUselessRevisions=8 nbRemovedValues=4
1.11 detectedInconsistency=no
1.11 => wckTime=0.022 cpuTime=0.01 mem=17M527
1.20
1.20 search
1.20 run=0 nbConstraintChecks=84213 nbPropagations=1145 nbRevisions=21773 nbUselessRevisions=20318 nbAssignments=77
1.20 nbFailedAssignments=6 nbBacktracks=41 nbVisitedNodes=89 nbRestartNogoods=0 mapSize=6 nbInferences=0
1.20 nbTooLargeKeys=0
1.20 => wckTime=0.115 cpuTime=0.07 mem=17M527
1.24
1.24 search
1.24 run=1 nbConstraintChecks=172078 nbPropagations=3382 nbRevisions=73650 nbUselessRevisions=68695
1.24 nbAssignments=150 nbFailedAssignments=9 nbBacktracks=96 nbVisitedNodes=172 nbRestartNogoods=2 mapSize=15
1.24 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.159 cpuTime=0.11 mem=17M527
1.28
1.28 search
1.28 run=2 nbConstraintChecks=254169 nbPropagations=6573 nbRevisions=153596 nbUselessRevisions=142690
1.28 nbAssignments=212 nbFailedAssignments=14 nbBacktracks=140 nbVisitedNodes=248 nbRestartNogoods=3 mapSize=28
1.28 nbInferences=0 nbTooLargeKeys=0
1.28 => wckTime=0.193 cpuTime=0.14 mem=17M527
1.32
1.32 search
1.32 run=3 nbConstraintChecks=339357 nbPropagations=10820 nbRevisions=262398 nbUselessRevisions=243583
1.32 nbAssignments=370 nbFailedAssignments=18 nbBacktracks=254 nbVisitedNodes=413 nbRestartNogoods=4 mapSize=33
1.32 nbInferences=0 nbTooLargeKeys=0
1.32 => wckTime=0.242 cpuTime=0.18 mem=17M527
1.37
1.38 search
1.38 run=4 nbConstraintChecks=431254 nbPropagations=16257 nbRevisions=401424 nbUselessRevisions=372871
1.38 nbAssignments=548 nbFailedAssignments=23 nbBacktracks=386 nbVisitedNodes=602 nbRestartNogoods=6 mapSize=41
1.38 nbInferences=0 nbTooLargeKeys=0
1.38 => wckTime=0.293 cpuTime=0.23 mem=17M527
1.43
1.43 search
1.43 run=5 nbConstraintChecks=535826 nbPropagations=23099 nbRevisions=578400 nbUselessRevisions=537611
1.43 nbAssignments=699 nbFailedAssignments=28 nbBacktracks=517 nbVisitedNodes=764 nbRestartNogoods=9 mapSize=51
1.43 nbInferences=0 nbTooLargeKeys=0
1.43 => wckTime=0.344 cpuTime=0.28 mem=17M527
1.49
1.49 search
1.49 run=6 nbConstraintChecks=647635 nbPropagations=31355 nbRevisions=795573 nbUselessRevisions=739673
1.49 nbAssignments=944 nbFailedAssignments=34 nbBacktracks=729 nbVisitedNodes=1022 nbRestartNogoods=10 mapSize=61
1.49 nbInferences=0 nbTooLargeKeys=0
1.49 => wckTime=0.411 cpuTime=0.34 mem=18M503
1.62
1.62 search
1.62 run=7 nbConstraintChecks=949882 nbPropagations=43397 nbRevisions=1129837 nbUselessRevisions=1049267
1.62 nbAssignments=1178 nbFailedAssignments=53 nbBacktracks=919 nbVisitedNodes=1310 nbRestartNogoods=13 mapSize=112
1.62 nbInferences=0 nbTooLargeKeys=0
1.62 => wckTime=0.537 cpuTime=0.47 mem=18M503
1.83
1.83 search
1.83 run=8 nbConstraintChecks=1485061 nbPropagations=61918 nbRevisions=1665273 nbUselessRevisions=1542281
1.83 nbAssignments=1490 nbFailedAssignments=93 nbBacktracks=1177 nbVisitedNodes=1729 nbRestartNogoods=16
1.83 mapSize=214 nbInferences=0 nbTooLargeKeys=0
1.83 => wckTime=0.745 cpuTime=0.67 mem=18M503
2.06
2.06 search
2.06 run=9 nbConstraintChecks=1982316 nbPropagations=86318 nbRevisions=2386281 nbUselessRevisions=2204339
2.06 nbAssignments=1953 nbFailedAssignments=124 nbBacktracks=1577 nbVisitedNodes=2291 nbRestartNogoods=21
2.06 mapSize=308 nbInferences=0 nbTooLargeKeys=0
2.06 => wckTime=0.973 cpuTime=0.87 mem=18M503
2.42
2.42 search
2.42 run=10 nbConstraintChecks=2958215 nbPropagations=122667 nbRevisions=3464537 nbUselessRevisions=3195572
2.42 nbAssignments=2633 nbFailedAssignments=200 nbBacktracks=2157 nbVisitedNodes=3130 nbRestartNogoods=26
2.42 mapSize=460 nbInferences=0 nbTooLargeKeys=0
2.42 => wckTime=1.339 cpuTime=1.23 mem=19M478
2.42
2.42 search
2.42 run=11 nbConstraintChecks=2968096 nbPropagations=159102 nbRevisions=4545423 nbUselessRevisions=4189137
2.42 nbAssignments=2636 nbFailedAssignments=203 nbBacktracks=2158 nbVisitedNodes=3136 nbRestartNogoods=31
2.43 mapSize=460 nbInferences=0 nbTooLargeKeys=0
2.43 => wckTime=1.343 cpuTime=1.23 mem=19M478
2.43
2.43 global
2.43 nbConstraintChecks=2968180 nbPropagations=159401 nbRevisions=4545435 nbUselessRevisions=4189145
2.43 nbRestartNogoods=31 solvingWckTime=1.344 solvingCpuTime=1.23 expiredTime=no totalExploration=yes
2.43 nbFoundSolutions=0 globalCpuTime=1.77
2.43 => wckTime=2.075 cpuTime=1.72 mem=19M478
2.43
2.43 s UNSATISFIABLE
2.43 d NODES 2636
2.43 d CHECKS 2968180
2.43
2.43 totalWckTime=2.157 totalCpuTime=1.77
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node18/watcher-193617-1168069278 -o ROOT/results/node18/solver-193617-1168069278 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/193617-1168069278/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.15 1.49 1.74 4/86 20150
/proc/meminfo: memFree=1001488/2055920 swapFree=4192812/4192956
[pid=20149] ppid=20147 vsize=18540 CPUtime=0
/proc/20149/stat : 20149 (runsolver) R 20147 20149 20082 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155323001 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 227848809767 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/20149/statm: 4635 279 244 17 0 2626 0
[startup+0.109974 s]
/proc/loadavg: 1.15 1.49 1.74 4/86 20150
/proc/meminfo: memFree=1001488/2055920 swapFree=4192812/4192956
[pid=20149] ppid=20147 vsize=907808 CPUtime=0.06
/proc/20149/stat : 20149 (java) R 20147 20149 20082 0 -1 0 2515 0 1 0 5 1 0 0 17 0 4 0 155323001 929595392 2262 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155069960 0 4 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/20149/statm: 226952 2262 1235 14 0 214535 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 907808
[startup+0.518012 s]
/proc/loadavg: 1.15 1.49 1.74 4/86 20150
/proc/meminfo: memFree=1001488/2055920 swapFree=4192812/4192956
[pid=20149] ppid=20147 vsize=915328 CPUtime=0.46
/proc/20149/stat : 20149 (java) R 20147 20149 20082 0 -1 0 6310 0 1 0 42 4 0 0 18 0 8 0 155323001 937295872 6049 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20149/statm: 228832 6049 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915328
[startup+1.3421 s]
/proc/loadavg: 1.15 1.49 1.74 3/93 20157
/proc/meminfo: memFree=970136/2055920 swapFree=4192812/4192956
[pid=20149] ppid=20147 vsize=915588 CPUtime=1.27
/proc/20149/stat : 20149 (java) R 20147 20149 20082 0 -1 0 10522 0 1 0 119 8 0 0 23 0 8 0 155323001 937562112 10260 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073956987 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20149/statm: 228897 10260 2513 14 0 215367 0
[pid=20149/tid=20151] ppid=20147 vsize=915588 CPUtime=0.06
/proc/20149/task/20151/stat : 20151 (java) S 20147 20149 20082 0 -1 64 690 0 0 0 6 0 0 0 16 0 8 0 155323008 937562112 10260 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20149/tid=20152] ppid=20147 vsize=915588 CPUtime=0
/proc/20149/task/20152/stat : 20152 (java) S 20147 20149 20082 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155323009 937562112 10260 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20149/tid=20153] ppid=20147 vsize=915588 CPUtime=0
/proc/20149/task/20153/stat : 20153 (java) S 20147 20149 20082 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155323009 937562112 10260 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20149/tid=20154] ppid=20147 vsize=915588 CPUtime=0
/proc/20149/task/20154/stat : 20154 (java) S 20147 20149 20082 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155323012 937562112 10260 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20149/tid=20155] ppid=20147 vsize=915588 CPUtime=0.26
/proc/20149/task/20155/stat : 20155 (java) S 20147 20149 20082 0 -1 64 407 0 0 0 25 1 0 0 15 0 8 0 155323012 937562112 10260 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20149/tid=20156] ppid=20147 vsize=915588 CPUtime=0
/proc/20149/task/20156/stat : 20156 (java) S 20147 20149 20082 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155323012 937562112 10260 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20149/tid=20157] ppid=20147 vsize=915588 CPUtime=0
/proc/20149/task/20157/stat : 20157 (java) S 20147 20149 20082 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155323012 937562112 10260 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915588
Child status: 0
Real time (s): 2.46928
CPU time (s): 2.37164
CPU user time (s): 2.27265
CPU system time (s): 0.098984
CPU usage (%): 96.0456
Max. virtual memory (cumulated for all children) (KiB): 915588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.27265
system time used= 0.098984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10547
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= 1325
involuntary context switches= 1582
runsolver used 0.008998 s user time and 0.013997 s system time
The end
Begin job on node18 on Sat Jan 6 07:41:21 UTC 2007
IDJOB= 193617
IDBENCH= 3171
FILE ID= node18/193617-1168069278
PBS_JOBID= 3475705
Free space on /tmp= 66285 MiB
BENCH NAME= HOME/pub/bench/CPAI06/ehi/ehi-85/ehi-85-297-52_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/193617-1168069278/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-193617-1168069278 -o ROOT/results/node18/solver-193617-1168069278 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/193617-1168069278/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d9922c13877d8bc534e8d8e8e097585a
RANDOM SEED= 239659348
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.231
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.231
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: 1002160 kB
Buffers: 68628 kB
Cached: 560032 kB
SwapCached: 0 kB
Active: 666768 kB
Inactive: 288896 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1002160 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2224 kB
Writeback: 0 kB
Mapped: 349416 kB
Slab: 82644 kB
Committed_AS: 4200900 kB
PageTables: 2572 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= 66285 MiB
End job on node18 on Sat Jan 6 07:41:28 UTC 2007