0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/223602-1168265853/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=40 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.43 => wckTime=0.098 cpuTime=0.09 mem=6M951
0.43
0.43 relations being loaded...
0.52
0.52 constraints being loaded...
0.62 nbConstraints=180 nbRelationTypes=180 nbExtensionStructures=180 nbSharedExtensionStructures=0
0.62 nbConflictsStructures=180 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1 maxDegree=15 maxArity=2
0.62 => wckTime=0.295 cpuTime=0.23 mem=13M827
0.66
0.66 solver IterativeSystematicSolver being built...
0.83 => wckTime=0.499 cpuTime=0.35 mem=14M839
0.88
0.88 preprocessing
0.88 nbConstraintChecks=73203 nbPropagations=840 nbRevisions=5481 nbUselessRevisions=4188 nbSingletonTests=52
0.88 nbEffectiveSingletonTests=0 nbESACBranches=7 nbRemovedValues=0 detectedInconsistency=no
0.88 => wckTime=0.047 cpuTime=0.03 mem=14M839
0.90
0.90 search
0.90 run=0 nbConstraintChecks=47476 nbPropagations=1575 nbRevisions=11088 nbUselessRevisions=8125 nbAssignments=32
0.90 nbFailedAssignments=15 nbBacktracks=11 nbVisitedNodes=57 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.90 nbTooLargeKeys=0
0.90 => wckTime=0.073 cpuTime=0.05 mem=14M839
0.92
0.92 search
0.92 run=1 nbConstraintChecks=121573 nbPropagations=4279 nbRevisions=31616 nbUselessRevisions=22973
0.92 nbAssignments=86 nbFailedAssignments=46 nbBacktracks=26 nbVisitedNodes=156 nbRestartNogoods=4 mapSize=24
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.094 cpuTime=0.06 mem=14M839
0.94
0.94 search
0.94 run=2 nbConstraintChecks=190711 nbPropagations=7947 nbRevisions=59049 nbUselessRevisions=42859
0.94 nbAssignments=141 nbFailedAssignments=61 nbBacktracks=49 nbVisitedNodes=226 nbRestartNogoods=10 mapSize=40
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.109 cpuTime=0.07 mem=14M839
0.95
0.95 search
0.95 run=3 nbConstraintChecks=259243 nbPropagations=12776 nbRevisions=95300 nbUselessRevisions=68971
0.95 nbAssignments=202 nbFailedAssignments=83 nbBacktracks=82 nbVisitedNodes=326 nbRestartNogoods=14 mapSize=65
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.123 cpuTime=0.09 mem=14M839
0.98
0.98 search
0.98 run=4 nbConstraintChecks=417218 nbPropagations=20018 nbRevisions=151196 nbUselessRevisions=108551
0.98 nbAssignments=301 nbFailedAssignments=126 nbBacktracks=132 nbVisitedNodes=500 nbRestartNogoods=18 mapSize=108
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.149 cpuTime=0.11 mem=14M839
1.01
1.01 search
1.01 run=5 nbConstraintChecks=639314 nbPropagations=30480 nbRevisions=232751 nbUselessRevisions=165999
1.01 nbAssignments=451 nbFailedAssignments=184 nbBacktracks=209 nbVisitedNodes=746 nbRestartNogoods=25 mapSize=173
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.184 cpuTime=0.15 mem=14M839
1.06
1.06 search
1.06 run=6 nbConstraintChecks=920431 nbPropagations=45774 nbRevisions=352686 nbUselessRevisions=250399
1.06 nbAssignments=673 nbFailedAssignments=289 nbBacktracks=322 nbVisitedNodes=1144 nbRestartNogoods=27 mapSize=270
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.231 cpuTime=0.19 mem=14M839
1.14
1.14 search
1.15 run=7 nbConstraintChecks=1428774 nbPropagations=69261 nbRevisions=541340 nbUselessRevisions=383292
1.15 nbAssignments=1057 nbFailedAssignments=496 nbBacktracks=494 nbVisitedNodes=1852 nbRestartNogoods=31
1.15 mapSize=431 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.317 cpuTime=0.27 mem=14M839
1.24
1.24 search
1.24 run=8 nbConstraintChecks=2021496 nbPropagations=102473 nbRevisions=805212 nbUselessRevisions=568376
1.24 nbAssignments=1519 nbFailedAssignments=695 nbBacktracks=750 nbVisitedNodes=2664 nbRestartNogoods=35
1.24 mapSize=655 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.415 cpuTime=0.35 mem=14M839
1.40
1.40 search
1.40 run=9 nbConstraintChecks=3166643 nbPropagations=152948 nbRevisions=1205215 nbUselessRevisions=847332
1.40 nbAssignments=2295 nbFailedAssignments=1053 nbBacktracks=1135 nbVisitedNodes=4026 nbRestartNogoods=47
1.40 mapSize=1006 nbInferences=0 nbTooLargeKeys=0
1.40 => wckTime=0.575 cpuTime=0.5 mem=14M839
1.41
1.41 INFO : Stopping hyperNogood (mapSize=1017, nbTooLargekeys=0, mem=14M839)
1.58
1.58 search
1.58 run=10 nbConstraintChecks=4450607 nbPropagations=224788 nbRevisions=1772570 nbUselessRevisions=1242286
1.58 nbAssignments=3326 nbFailedAssignments=1503 nbBacktracks=1712 nbVisitedNodes=5856 nbRestartNogoods=52
1.58 => wckTime=0.753 cpuTime=0.67 mem=14M839
1.88
1.88 search
1.88 run=11 nbConstraintChecks=6899403 nbPropagations=333236 nbRevisions=2631568 nbUselessRevisions=1837429
1.88 nbAssignments=4970 nbFailedAssignments=2278 nbBacktracks=2576 nbVisitedNodes=8814 nbRestartNogoods=59
1.88 => wckTime=1.054 cpuTime=0.96 mem=14M839
2.29
2.29 search
2.29 run=12 nbConstraintChecks=10059572 nbPropagations=494808 nbRevisions=3912651 nbUselessRevisions=2728075
2.29 nbAssignments=7411 nbFailedAssignments=3415 nbBacktracks=3876 nbVisitedNodes=13214 nbRestartNogoods=68
2.29 => wckTime=1.462 cpuTime=1.37 mem=14M839
2.94
2.94 search
2.94 run=13 nbConstraintChecks=15358773 nbPropagations=737731 nbRevisions=5846134 nbUselessRevisions=4071303
2.94 nbAssignments=11023 nbFailedAssignments=5076 nbBacktracks=5823 nbVisitedNodes=19741 nbRestartNogoods=77
2.94 => wckTime=2.109 cpuTime=2.01 mem=14M839
3.57
3.57 search
3.57 run=14 nbConstraintChecks=20472272 nbPropagations=1059534 nbRevisions=8405816 nbUselessRevisions=5846747
3.57 nbAssignments=14732 nbFailedAssignments=6668 nbBacktracks=7900 nbVisitedNodes=26208 nbRestartNogoods=88
3.57 => wckTime=2.743 cpuTime=2.64 mem=15M815
3.57
3.57 global
3.57 nbConstraintChecks=20545475 nbPropagations=1060374 nbRevisions=8411297 nbUselessRevisions=5850935
3.57 nbRestartNogoods=88 solvingWckTime=2.744 solvingCpuTime=2.64 expiredTime=no totalExploration=no
3.57 nbFoundSolutions=1 globalCpuTime=3.05
3.57 => wckTime=3.246 cpuTime=2.99 mem=15M815
3.58
3.58 s SATISFIABLE
3.58 v 8 0 5 19 13 23 6 14 12 22 11 4 3 3 14 17 11 19 5 20 11 5 4 4 9 15 7 17 8 6 17 9 17 14 1 15 9 8 7 13
3.58 d NODES 14732
3.58 d CHECKS 20545475
3.58
3.58 totalWckTime=3.325 totalCpuTime=3.05
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node62/watcher-223602-1168265853 -o ROOT/results/node62/solver-223602-1168265853 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/223602-1168265853/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.00 0.38 0.42 4/74 1434
/proc/meminfo: memFree=1791688/2055920 swapFree=4192812/4192956
[pid=1433] ppid=1431 vsize=18540 CPUtime=0
/proc/1433/stat : 1433 (runsolver) R 1431 1433 1153 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 174983154 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 236437695783 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/1433/statm: 4635 279 244 17 0 2626 0
[startup+0.107486 s]
/proc/loadavg: 1.00 0.38 0.42 4/74 1434
/proc/meminfo: memFree=1791688/2055920 swapFree=4192812/4192956
[pid=1433] ppid=1431 vsize=911488 CPUtime=0.07
/proc/1433/stat : 1433 (java) R 1431 1433 1153 0 -1 0 2626 0 1 0 5 2 0 0 23 0 8 0 174983154 933363712 2373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153551157 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1433/statm: 227872 2373 1282 14 0 215051 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 911488
[startup+0.515568 s]
/proc/loadavg: 1.00 0.38 0.42 4/74 1434
/proc/meminfo: memFree=1791688/2055920 swapFree=4192812/4192956
[pid=1433] ppid=1431 vsize=915328 CPUtime=0.47
/proc/1433/stat : 1433 (java) R 1431 1433 1153 0 -1 0 7094 0 1 0 42 5 0 0 25 0 8 0 174983154 937295872 6833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1433/statm: 228832 6833 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.33672 s]
/proc/loadavg: 1.00 0.38 0.42 3/81 1441
/proc/meminfo: memFree=1767632/2055920 swapFree=4192812/4192956
[pid=1433] ppid=1431 vsize=915452 CPUtime=1.28
/proc/1433/stat : 1433 (java) R 1431 1433 1153 0 -1 0 8702 0 1 0 121 7 0 0 25 0 8 0 174983154 937422848 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072937009 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1433/statm: 228863 8440 2524 14 0 215333 0
[pid=1433/tid=1435] ppid=1431 vsize=915452 CPUtime=0.03
/proc/1433/task/1435/stat : 1435 (java) S 1431 1433 1153 0 -1 64 245 0 0 0 3 0 0 0 16 0 8 0 174983160 937422848 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1433/tid=1436] ppid=1431 vsize=915452 CPUtime=0
/proc/1433/task/1436/stat : 1436 (java) S 1431 1433 1153 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 174983161 937422848 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1433/tid=1437] ppid=1431 vsize=915452 CPUtime=0
/proc/1433/task/1437/stat : 1437 (java) S 1431 1433 1153 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174983161 937422848 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1433/tid=1438] ppid=1431 vsize=915452 CPUtime=0
/proc/1433/task/1438/stat : 1438 (java) S 1431 1433 1153 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 174983164 937422848 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1433/tid=1439] ppid=1431 vsize=915452 CPUtime=0.2
/proc/1433/task/1439/stat : 1439 (java) S 1431 1433 1153 0 -1 64 383 0 0 0 19 1 0 0 16 0 8 0 174983164 937422848 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1433/tid=1440] ppid=1431 vsize=915452 CPUtime=0
/proc/1433/task/1440/stat : 1440 (java) S 1431 1433 1153 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 174983164 937422848 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1433/tid=1441] ppid=1431 vsize=915452 CPUtime=0
/proc/1433/task/1441/stat : 1441 (java) S 1431 1433 1153 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174983164 937422848 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915452
[startup+2.97405 s]
/proc/loadavg: 1.00 0.38 0.42 3/81 1441
/proc/meminfo: memFree=1767056/2055920 swapFree=4192812/4192956
[pid=1433] ppid=1431 vsize=915452 CPUtime=2.9
/proc/1433/stat : 1433 (java) R 1431 1433 1153 0 -1 0 8731 0 1 0 283 7 0 0 25 0 8 0 174983154 937422848 8468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797147 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1433/statm: 228863 8468 2524 14 0 215333 0
[pid=1433/tid=1435] ppid=1431 vsize=915452 CPUtime=0.03
/proc/1433/task/1435/stat : 1435 (java) S 1431 1433 1153 0 -1 64 245 0 0 0 3 0 0 0 16 0 8 0 174983160 937422848 8468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1433/tid=1436] ppid=1431 vsize=915452 CPUtime=0
/proc/1433/task/1436/stat : 1436 (java) S 1431 1433 1153 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 174983161 937422848 8468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1433/tid=1437] ppid=1431 vsize=915452 CPUtime=0
/proc/1433/task/1437/stat : 1437 (java) S 1431 1433 1153 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174983161 937422848 8468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1433/tid=1438] ppid=1431 vsize=915452 CPUtime=0
/proc/1433/task/1438/stat : 1438 (java) S 1431 1433 1153 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 174983164 937422848 8468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1433/tid=1439] ppid=1431 vsize=915452 CPUtime=0.21
/proc/1433/task/1439/stat : 1439 (java) S 1431 1433 1153 0 -1 64 388 0 0 0 20 1 0 0 15 0 8 0 174983164 937422848 8468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1433/tid=1440] ppid=1431 vsize=915452 CPUtime=0
/proc/1433/task/1440/stat : 1440 (java) S 1431 1433 1153 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 174983164 937422848 8468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1433/tid=1441] ppid=1431 vsize=915452 CPUtime=0
/proc/1433/task/1441/stat : 1441 (java) S 1431 1433 1153 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174983164 937422848 8468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 3.59637
CPU time (s): 3.51547
CPU user time (s): 3.43248
CPU system time (s): 0.082987
CPU usage (%): 97.7504
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.43248
system time used= 0.082987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8825
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= 1441
runsolver used 0.007998 s user time and 0.018997 s system time
The end
Begin job on node62 on Mon Jan 8 14:17:33 UTC 2007
IDJOB= 223602
IDBENCH= 5659
FILE ID= node62/223602-1168265853
PBS_JOBID= 3482815
Free space on /tmp= 66554 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.5/rand-2-40-25-180-500-15_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/223602-1168265853/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node62/watcher-223602-1168265853 -o ROOT/results/node62/solver-223602-1168265853 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/223602-1168265853/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f61245cc4751f2fc09ea3c9b98a74093
RANDOM SEED= 731561757
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.259
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.259
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: 1792552 kB
Buffers: 25448 kB
Cached: 133264 kB
SwapCached: 0 kB
Active: 136912 kB
Inactive: 75336 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1792552 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2088 kB
Writeback: 0 kB
Mapped: 64812 kB
Slab: 36328 kB
Committed_AS: 3907628 kB
PageTables: 1932 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= 66554 MiB
End job on node62 on Mon Jan 8 14:17:38 UTC 2007