0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/197430-1168071061/unknown.xml
0.38
0.38 domains being loaded...
0.42
0.42 variables being loaded...
0.46 nbVariables=141 nbDomainTypes=137 minDomainSize=1 maxDomainSize=6
0.46 => wckTime=0.141 cpuTime=0.11 mem=6M886
0.46
0.46 relations being loaded...
0.50
0.50 constraints being loaded...
0.70 nbConstraints=834 nbRelationTypes=211 nbSingletonDomainVariables=3 nbExtensionStructures=822
0.70 nbSharedExtensionStructures=12 nbConflictsStructures=822 nbSharedConflictsStructures=12
0.70 nbSharedBinaryRepresentations=6142 maxDegree=14 maxArity=2
0.70 => wckTime=0.376 cpuTime=0.26 mem=11M762
0.74
0.74 solver IterativeSystematicSolver being built...
0.91 => wckTime=0.592 cpuTime=0.38 mem=15M110
0.93
0.93 preprocessing
0.93 nbConstraintChecks=103 nbPropagations=141 nbRevisions=27 nbUselessRevisions=7 nbRemovedValues=20
0.93 detectedInconsistency=no
0.93 => wckTime=0.017 cpuTime=0.01 mem=15M110
0.98
0.98 search
0.98 run=0 nbConstraintChecks=2947 nbPropagations=443 nbRevisions=1150 nbUselessRevisions=694 nbAssignments=53
0.98 nbFailedAssignments=3 nbBacktracks=15 nbVisitedNodes=60 nbRestartNogoods=0 mapSize=5 nbInferences=0
0.98 nbTooLargeKeys=0
0.98 => wckTime=0.059 cpuTime=0.04 mem=15M110
0.99
0.99 search
0.99 run=1 nbConstraintChecks=5441 nbPropagations=1151 nbRevisions=3237 nbUselessRevisions=1959 nbAssignments=99
0.99 nbFailedAssignments=4 nbBacktracks=31 nbVisitedNodes=110 nbRestartNogoods=1 mapSize=8 nbInferences=0
0.99 nbTooLargeKeys=0
0.99 => wckTime=0.073 cpuTime=0.06 mem=15M110
1.01
1.01 search
1.01 run=2 nbConstraintChecks=8966 nbPropagations=2183 nbRevisions=6681 nbUselessRevisions=4050 nbAssignments=160
1.01 nbFailedAssignments=11 nbBacktracks=53 nbVisitedNodes=183 nbRestartNogoods=2 mapSize=18 nbInferences=0
1.01 nbTooLargeKeys=0
1.01 => wckTime=0.091 cpuTime=0.07 mem=15M110
1.02
1.02 search
1.02 run=3 nbConstraintChecks=14218 nbPropagations=3647 nbRevisions=12190 nbUselessRevisions=7412 nbAssignments=235
1.02 nbFailedAssignments=19 nbBacktracks=91 nbVisitedNodes=272 nbRestartNogoods=4 mapSize=29 nbInferences=0
1.02 nbTooLargeKeys=0
1.02 => wckTime=0.108 cpuTime=0.08 mem=15M110
1.04
1.04 search
1.04 run=4 nbConstraintChecks=21420 nbPropagations=5749 nbRevisions=20781 nbUselessRevisions=12760
1.04 nbAssignments=348 nbFailedAssignments=29 nbBacktracks=153 nbVisitedNodes=405 nbRestartNogoods=7 mapSize=45
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.125 cpuTime=0.09 mem=15M110
1.07
1.07 search
1.07 run=5 nbConstraintChecks=32292 nbPropagations=8781 nbRevisions=33705 nbUselessRevisions=20722
1.07 nbAssignments=479 nbFailedAssignments=42 nbBacktracks=241 nbVisitedNodes=572 nbRestartNogoods=11 mapSize=78
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.149 cpuTime=0.11 mem=15M110
1.09
1.09 search
1.09 run=6 nbConstraintChecks=47907 nbPropagations=13038 nbRevisions=53245 nbUselessRevisions=32864
1.09 nbAssignments=640 nbFailedAssignments=57 nbBacktracks=356 nbVisitedNodes=773 nbRestartNogoods=13 mapSize=115
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.175 cpuTime=0.14 mem=15M110
1.13
1.13 search
1.13 run=7 nbConstraintChecks=74387 nbPropagations=19278 nbRevisions=84181 nbUselessRevisions=52269
1.13 nbAssignments=879 nbFailedAssignments=86 nbBacktracks=530 nbVisitedNodes=1082 nbRestartNogoods=16 mapSize=183
1.13 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.21 cpuTime=0.17 mem=15M110
1.18
1.18 search
1.18 run=8 nbConstraintChecks=109370 nbPropagations=28064 nbRevisions=129345 nbUselessRevisions=80384
1.18 nbAssignments=1202 nbFailedAssignments=131 nbBacktracks=787 nbVisitedNodes=1502 nbRestartNogoods=18
1.18 mapSize=275 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.261 cpuTime=0.21 mem=15M110
1.26
1.26 search
1.26 run=9 nbConstraintChecks=162566 nbPropagations=40974 nbRevisions=197685 nbUselessRevisions=123572
1.26 nbAssignments=1695 nbFailedAssignments=210 nbBacktracks=1178 nbVisitedNodes=2143 nbRestartNogoods=21
1.26 mapSize=410 nbInferences=1 nbTooLargeKeys=0
1.26 => wckTime=0.344 cpuTime=0.28 mem=16M85
1.37
1.37 search
1.37 run=10 nbConstraintChecks=254201 nbPropagations=60381 nbRevisions=305524 nbUselessRevisions=192462
1.37 nbAssignments=2412 nbFailedAssignments=319 nbBacktracks=1765 nbVisitedNodes=3081 nbRestartNogoods=28
1.37 mapSize=617 nbInferences=1 nbTooLargeKeys=0
1.37 => wckTime=0.451 cpuTime=0.38 mem=16M85
1.43
1.43 search
1.43 run=11 nbConstraintChecks=309720 nbPropagations=84007 nbRevisions=438698 nbUselessRevisions=278522
1.43 nbAssignments=3014 nbFailedAssignments=389 nbBacktracks=2156 nbVisitedNodes=3854 nbRestartNogoods=33
1.43 mapSize=777 nbInferences=1 nbTooLargeKeys=0
1.43 => wckTime=0.516 cpuTime=0.44 mem=16M85
1.43
1.43 global
1.43 nbConstraintChecks=309823 nbPropagations=84148 nbRevisions=438725 nbUselessRevisions=278529 nbRestartNogoods=33
1.43 solvingWckTime=0.517 solvingCpuTime=0.44 expiredTime=no totalExploration=no nbFoundSolutions=1
1.43 globalCpuTime=0.87
1.43 => wckTime=1.111 cpuTime=0.82 mem=16M85
1.44
1.44 s SATISFIABLE
1.44 v 11 1 12 15 8 0 9 4 2 7 9 11 14 17 13 6 0 5 13 3 8 10 12 17 13 14 10 3 7 0 12 16 17 10 14 12 2 1 11 9 9 13 4 15 6 5 17 1 13 8 1 16 7 11 10 0 5 15 10 1 12 8 17 6 11 4 7 6 9 15 5 10 1 7 15 17 6 12 16 15 2 16 1 10 12 13 11 8 5 6 3 4 13 7 3 17 0 1 9 7 2 10 5 14 2 6 15 16 12 1 17 15 13 6 8 12 7 3 12 10 5 0 4 17 14 7 13 1 10 11 4 14 7 0 2 3 5 15 11 7 0
1.44 d NODES 3014
1.44 d CHECKS 309823
1.44
1.44 totalWckTime=1.195 totalCpuTime=0.87
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node6/watcher-197430-1168071061 -o ROOT/results/node6/solver-197430-1168071061 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/197430-1168071061/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.49 1.84 1.89 4/93 6708
/proc/meminfo: memFree=1303672/2055924 swapFree=4165672/4192956
[pid=6707] ppid=6705 vsize=18540 CPUtime=0
/proc/6707/stat : 6707 (runsolver) R 6705 6707 6416 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155501684 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 268582841639 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/6707/statm: 4635 279 244 17 0 2626 0
[startup+0.110095 s]
/proc/loadavg: 1.49 1.84 1.89 4/93 6708
/proc/meminfo: memFree=1303672/2055924 swapFree=4165672/4192956
[pid=6707] ppid=6705 vsize=914988 CPUtime=0.08
/proc/6707/stat : 6707 (java) R 6705 6707 6416 0 -1 0 3004 0 1 0 7 1 0 0 17 0 8 0 155501684 936947712 2750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155582796 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6707/statm: 228747 2750 1430 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.518142 s]
/proc/loadavg: 1.49 1.84 1.89 4/93 6708
/proc/meminfo: memFree=1303672/2055924 swapFree=4165672/4192956
[pid=6707] ppid=6705 vsize=915328 CPUtime=0.49
/proc/6707/stat : 6707 (java) R 6705 6707 6416 0 -1 0 6244 0 1 0 45 4 0 0 18 0 8 0 155501684 937295872 5983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6707/statm: 228832 5983 2140 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34024 s]
/proc/loadavg: 1.49 1.84 1.89 3/100 6715
/proc/meminfo: memFree=1279360/2055924 swapFree=4165672/4192956
[pid=6707] ppid=6705 vsize=915568 CPUtime=1.3
/proc/6707/stat : 6707 (java) R 6705 6707 6416 0 -1 0 8833 0 1 0 123 7 0 0 24 0 8 0 155501684 937541632 8571 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073877548 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6707/statm: 228892 8571 2513 14 0 215362 0
[pid=6707/tid=6709] ppid=6705 vsize=915568 CPUtime=0.03
/proc/6707/task/6709/stat : 6709 (java) S 6705 6707 6416 0 -1 64 321 0 0 0 3 0 0 0 16 0 8 0 155501688 937541632 8571 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6707/tid=6710] ppid=6705 vsize=915568 CPUtime=0
/proc/6707/task/6710/stat : 6710 (java) S 6705 6707 6416 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155501689 937541632 8571 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6707/tid=6711] ppid=6705 vsize=915568 CPUtime=0
/proc/6707/task/6711/stat : 6711 (java) S 6705 6707 6416 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155501689 937541632 8571 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6707/tid=6712] ppid=6705 vsize=915568 CPUtime=0
/proc/6707/task/6712/stat : 6712 (java) S 6705 6707 6416 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155501692 937541632 8571 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6707/tid=6713] ppid=6705 vsize=915568 CPUtime=0.28
/proc/6707/task/6713/stat : 6713 (java) S 6705 6707 6416 0 -1 64 409 0 0 0 27 1 0 0 16 0 8 0 155501692 937541632 8571 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6707/tid=6714] ppid=6705 vsize=915568 CPUtime=0
/proc/6707/task/6714/stat : 6714 (java) S 6705 6707 6416 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155501692 937541632 8571 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6707/tid=6715] ppid=6705 vsize=915568 CPUtime=0
/proc/6707/task/6715/stat : 6715 (java) S 6705 6707 6416 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155501692 937541632 8571 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915568
Child status: 0
Real time (s): 1.49555
CPU time (s): 1.42178
CPU user time (s): 1.3398
CPU system time (s): 0.081987
CPU usage (%): 95.0678
Max. virtual memory (cumulated for all children) (KiB): 915568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.3398
system time used= 0.081987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8957
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= 1248
involuntary context switches= 1462
runsolver used 0.006998 s user time and 0.006998 s system time
The end
Begin job on node6 on Sat Jan 6 08:11:02 UTC 2007
IDJOB= 197430
IDBENCH= 3468
FILE ID= node6/197430-1168071061
PBS_JOBID= 3475724
Free space on /tmp= 66529 MiB
BENCH NAME= HOME/pub/bench/CPAI06/bqwh/bqwh-18-141/bqwh-18-141-65_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/197430-1168071061/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-197430-1168071061 -o ROOT/results/node6/solver-197430-1168071061 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/197430-1168071061/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 1663d40981dccb79a316c2e4a62e6bbb
RANDOM SEED= 636584392
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.240
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.240
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: 2055924 kB
MemFree: 1304088 kB
Buffers: 82192 kB
Cached: 508412 kB
SwapCached: 3036 kB
Active: 375712 kB
Inactive: 280216 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1304088 kB
SwapTotal: 4192956 kB
SwapFree: 4165672 kB
Dirty: 1936 kB
Writeback: 0 kB
Mapped: 84448 kB
Slab: 80548 kB
Committed_AS: 4947392 kB
PageTables: 2468 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= 66529 MiB
End job on node6 on Sat Jan 6 08:11:05 UTC 2007