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/193180-1168069239/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.132 cpuTime=0.1 mem=7M927
0.43
0.43 relations being loaded...
0.46
0.46 constraints being loaded...
0.74 nbConstraints=4112 nbRelationTypes=79 nbExtensionStructures=79 nbSharedExtensionStructures=4033
0.74 nbConflictsStructures=79 nbSharedConflictsStructures=4033 nbSharedBinaryRepresentations=1083 maxDegree=30
0.74 maxArity=2
0.74 => wckTime=0.439 cpuTime=0.31 mem=19M629
0.80
0.80 solver IterativeSystematicSolver being built...
0.97 => wckTime=0.666 cpuTime=0.44 mem=17M534
0.99
0.99 preprocessing
0.99 nbConstraintChecks=84 nbPropagations=299 nbRevisions=12 nbUselessRevisions=8 nbRemovedValues=4
0.99 detectedInconsistency=no
0.99 => wckTime=0.021 cpuTime=0.01 mem=17M534
1.06
1.06 search
1.06 run=0 nbConstraintChecks=73651 nbPropagations=1103 nbRevisions=20794 nbUselessRevisions=19602 nbAssignments=78
1.06 nbFailedAssignments=3 nbBacktracks=28 nbVisitedNodes=84 nbRestartNogoods=0 mapSize=2 nbInferences=0
1.06 nbTooLargeKeys=0
1.06 => wckTime=0.096 cpuTime=0.06 mem=17M534
1.11
1.11 search
1.11 run=1 nbConstraintChecks=172202 nbPropagations=3410 nbRevisions=73589 nbUselessRevisions=69056
1.11 nbAssignments=200 nbFailedAssignments=13 nbBacktracks=63 nbVisitedNodes=220 nbRestartNogoods=3 mapSize=8
1.11 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.143 cpuTime=0.1 mem=17M534
1.14
1.14 search
1.14 run=2 nbConstraintChecks=234065 nbPropagations=6446 nbRevisions=145688 nbUselessRevisions=136560
1.14 nbAssignments=294 nbFailedAssignments=15 nbBacktracks=110 nbVisitedNodes=322 nbRestartNogoods=9 mapSize=15
1.14 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.177 cpuTime=0.13 mem=17M534
1.17
1.17 search
1.17 run=3 nbConstraintChecks=297419 nbPropagations=10177 nbRevisions=236828 nbUselessRevisions=221730
1.17 nbAssignments=362 nbFailedAssignments=18 nbBacktracks=168 nbVisitedNodes=399 nbRestartNogoods=10 mapSize=23
1.17 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.204 cpuTime=0.16 mem=17M534
1.21
1.22 search
1.22 run=4 nbConstraintChecks=412096 nbPropagations=15134 nbRevisions=366687 nbUselessRevisions=342296
1.22 nbAssignments=441 nbFailedAssignments=33 nbBacktracks=230 nbVisitedNodes=502 nbRestartNogoods=11 mapSize=46
1.22 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.248 cpuTime=0.2 mem=17M534
1.27
1.27 search
1.27 run=5 nbConstraintChecks=577177 nbPropagations=21881 nbRevisions=555195 nbUselessRevisions=516150
1.28 nbAssignments=551 nbFailedAssignments=44 nbBacktracks=306 nbVisitedNodes=638 nbRestartNogoods=12 mapSize=67
1.28 nbInferences=0 nbTooLargeKeys=0
1.28 => wckTime=0.306 cpuTime=0.26 mem=17M534
1.33
1.33 search
1.33 run=6 nbConstraintChecks=703989 nbPropagations=29911 nbRevisions=779814 nbUselessRevisions=723609
1.33 nbAssignments=713 nbFailedAssignments=53 nbBacktracks=436 nbVisitedNodes=817 nbRestartNogoods=17 mapSize=82
1.33 nbInferences=0 nbTooLargeKeys=0
1.33 => wckTime=0.358 cpuTime=0.31 mem=17M534
1.39
1.39 search
1.39 run=7 nbConstraintChecks=895273 nbPropagations=40048 nbRevisions=1062880 nbUselessRevisions=985465
1.39 nbAssignments=923 nbFailedAssignments=69 nbBacktracks=609 nbVisitedNodes=1060 nbRestartNogoods=19 mapSize=110
1.39 nbInferences=0 nbTooLargeKeys=0
1.39 => wckTime=0.427 cpuTime=0.38 mem=18M509
1.54
1.54 search
1.54 run=8 nbConstraintChecks=1269393 nbPropagations=54457 nbRevisions=1483413 nbUselessRevisions=1372116
1.54 nbAssignments=1233 nbFailedAssignments=100 nbBacktracks=871 nbVisitedNodes=1444 nbRestartNogoods=24
1.54 mapSize=181 nbInferences=0 nbTooLargeKeys=0
1.54 => wckTime=0.572 cpuTime=0.51 mem=18M509
1.55
1.55 search
1.55 run=9 nbConstraintChecks=1271535 nbPropagations=68885 nbRevisions=1904440 nbUselessRevisions=1759158
1.55 nbAssignments=1235 nbFailedAssignments=102 nbBacktracks=872 nbVisitedNodes=1448 nbRestartNogoods=27
1.55 mapSize=181 nbInferences=0 nbTooLargeKeys=0
1.55 => wckTime=0.578 cpuTime=0.52 mem=18M509
1.55
1.55 global
1.55 nbConstraintChecks=1271619 nbPropagations=69184 nbRevisions=1904452 nbUselessRevisions=1759166
1.55 nbRestartNogoods=27 solvingWckTime=0.58 solvingCpuTime=0.52 expiredTime=no totalExploration=yes
1.55 nbFoundSolutions=0 globalCpuTime=1.0
1.55 => wckTime=1.247 cpuTime=0.96 mem=18M509
1.55
1.55 s UNSATISFIABLE
1.55 d NODES 1235
1.55 d CHECKS 1271619
1.55
1.55 totalWckTime=1.329 totalCpuTime=1.0
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node10/watcher-193180-1168069239 -o ROOT/results/node10/solver-193180-1168069239 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/193180-1168069239/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.09 1.52 1.77 2/86 26314
/proc/meminfo: memFree=1343520/2055920 swapFree=4178332/4192956
[pid=26313] ppid=26311 vsize=18540 CPUtime=0
/proc/26313/stat : 26313 (runsolver) R 26311 26313 26022 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 155319427 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 214919867687 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/26313/statm: 4635 279 244 17 0 2626 0
[startup+0.102999 s]
/proc/loadavg: 1.09 1.52 1.77 2/86 26314
/proc/meminfo: memFree=1343520/2055920 swapFree=4178332/4192956
[pid=26313] ppid=26311 vsize=914988 CPUtime=0.08
/proc/26313/stat : 26313 (java) R 26311 26313 26022 0 -1 0 3038 0 1 0 6 2 0 0 24 0 8 0 155319427 936947712 2784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155583275 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26313/statm: 228747 2784 1443 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515058 s]
/proc/loadavg: 1.09 1.52 1.77 2/86 26314
/proc/meminfo: memFree=1343520/2055920 swapFree=4178332/4192956
[pid=26313] ppid=26311 vsize=915328 CPUtime=0.49
/proc/26313/stat : 26313 (java) R 26311 26313 26022 0 -1 0 6501 0 1 0 44 5 0 0 25 0 8 0 155319427 937295872 6240 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26313/statm: 228832 6240 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34418 s]
/proc/loadavg: 1.09 1.52 1.77 3/93 26321
/proc/meminfo: memFree=1312168/2055920 swapFree=4178332/4192956
[pid=26313] ppid=26311 vsize=915588 CPUtime=1.31
/proc/26313/stat : 26313 (java) R 26311 26313 26022 0 -1 0 10531 0 1 0 123 8 0 0 25 0 8 0 155319427 937562112 10269 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073943608 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26313/statm: 228897 10269 2513 14 0 215367 0
[pid=26313/tid=26315] ppid=26311 vsize=915588 CPUtime=0.05
/proc/26313/task/26315/stat : 26315 (java) S 26311 26313 26022 0 -1 64 693 0 0 0 5 0 0 0 16 0 8 0 155319431 937562112 10269 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26313/tid=26316] ppid=26311 vsize=915588 CPUtime=0
/proc/26313/task/26316/stat : 26316 (java) S 26311 26313 26022 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155319431 937562112 10269 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26313/tid=26317] ppid=26311 vsize=915588 CPUtime=0
/proc/26313/task/26317/stat : 26317 (java) S 26311 26313 26022 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155319431 937562112 10269 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26313/tid=26318] ppid=26311 vsize=915588 CPUtime=0
/proc/26313/task/26318/stat : 26318 (java) S 26311 26313 26022 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155319434 937562112 10269 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26313/tid=26319] ppid=26311 vsize=915588 CPUtime=0.25
/proc/26313/task/26319/stat : 26319 (java) S 26311 26313 26022 0 -1 64 411 0 0 0 24 1 0 0 15 0 8 0 155319434 937562112 10269 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26313/tid=26320] ppid=26311 vsize=915588 CPUtime=0
/proc/26313/task/26320/stat : 26320 (java) S 26311 26313 26022 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155319434 937562112 10269 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26313/tid=26321] ppid=26311 vsize=915588 CPUtime=0
/proc/26313/task/26321/stat : 26321 (java) S 26311 26313 26022 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155319434 937562112 10269 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) 915588
Child status: 0
Real time (s): 1.59784
CPU time (s): 1.53077
CPU user time (s): 1.43878
CPU system time (s): 0.091986
CPU usage (%): 95.802
Max. virtual memory (cumulated for all children) (KiB): 915588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.43878
system time used= 0.091986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10544
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= 1188
involuntary context switches= 1381
runsolver used 0.006998 s user time and 0.009998 s system time
The end
Begin job on node10 on Sat Jan 6 07:40:41 UTC 2007
IDJOB= 193180
IDBENCH= 3148
FILE ID= node10/193180-1168069239
PBS_JOBID= 3475697
Free space on /tmp= 66355 MiB
BENCH NAME= HOME/pub/bench/CPAI06/ehi/ehi-85/ehi-85-297-53_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/193180-1168069239/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-193180-1168069239 -o ROOT/results/node10/solver-193180-1168069239 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/193180-1168069239/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 1c75f8034ffe23368b2de08ab3e50532
RANDOM SEED= 573172454
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.232
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.232
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: 1344256 kB
Buffers: 45104 kB
Cached: 203836 kB
SwapCached: 2388 kB
Active: 422696 kB
Inactive: 200616 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1344256 kB
SwapTotal: 4192956 kB
SwapFree: 4178332 kB
Dirty: 2144 kB
Writeback: 0 kB
Mapped: 387364 kB
Slab: 72356 kB
Committed_AS: 3851064 kB
PageTables: 3184 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= 66355 MiB
End job on node10 on Sat Jan 6 07:40:46 UTC 2007