0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/226562-1168080714/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=40 maxDomainSize=40
0.42 => wckTime=0.102 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.54
0.54 constraints being loaded...
0.62 nbConstraints=135 nbRelationTypes=135 nbExtensionStructures=135 nbSharedExtensionStructures=0
0.62 nbConflictsStructures=135 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=12 maxArity=2
0.62 => wckTime=0.305 cpuTime=0.24 mem=15M763
0.66
0.66 solver IterativeSystematicSolver being built...
0.82 => wckTime=0.502 cpuTime=0.37 mem=13M789
0.82
0.82 preprocessing
0.82 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.82 detectedInconsistency=no
0.82 => wckTime=0.0020 cpuTime=0.01 mem=13M789
0.87
0.87 search
0.87 run=0 nbConstraintChecks=41276 nbPropagations=576 nbRevisions=3002 nbUselessRevisions=1874 nbAssignments=23
0.87 nbFailedAssignments=8 nbBacktracks=12 nbVisitedNodes=40 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.87 nbTooLargeKeys=0
0.87 => wckTime=0.052 cpuTime=0.03 mem=14M764
0.89
0.89 search
0.89 run=1 nbConstraintChecks=90142 nbPropagations=1940 nbRevisions=10191 nbUselessRevisions=6360 nbAssignments=50
0.89 nbFailedAssignments=16 nbBacktracks=27 nbVisitedNodes=85 nbRestartNogoods=2 mapSize=21 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.07 cpuTime=0.05 mem=14M764
0.92
0.92 search
0.92 run=2 nbConstraintChecks=204688 nbPropagations=4712 nbRevisions=26535 nbUselessRevisions=16450
0.92 nbAssignments=115 nbFailedAssignments=55 nbBacktracks=49 nbVisitedNodes=202 nbRestartNogoods=4 mapSize=40
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.096 cpuTime=0.07 mem=14M764
0.95
0.95 search
0.95 run=3 nbConstraintChecks=385522 nbPropagations=9933 nbRevisions=57858 nbUselessRevisions=35569
0.95 nbAssignments=206 nbFailedAssignments=110 nbBacktracks=82 nbVisitedNodes=372 nbRestartNogoods=6 mapSize=73
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.126 cpuTime=0.09 mem=14M764
0.98
0.98 search
0.98 run=4 nbConstraintChecks=631738 nbPropagations=18310 nbRevisions=108749 nbUselessRevisions=66567
0.98 nbAssignments=323 nbFailedAssignments=174 nbBacktracks=132 nbVisitedNodes=589 nbRestartNogoods=8 mapSize=119
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.163 cpuTime=0.12 mem=14M764
1.04
1.04 search
1.04 run=5 nbConstraintChecks=1029619 nbPropagations=31840 nbRevisions=192021 nbUselessRevisions=117139
1.04 nbAssignments=526 nbFailedAssignments=298 nbBacktracks=207 nbVisitedNodes=974 nbRestartNogoods=16 mapSize=186
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.215 cpuTime=0.18 mem=14M764
1.10
1.10 search
1.10 run=6 nbConstraintChecks=1489266 nbPropagations=51646 nbRevisions=312749 nbUselessRevisions=190324
1.10 nbAssignments=763 nbFailedAssignments=418 nbBacktracks=320 nbVisitedNodes=1402 nbRestartNogoods=23 mapSize=280
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.279 cpuTime=0.24 mem=14M764
1.22
1.22 search
1.22 run=7 nbConstraintChecks=2352639 nbPropagations=82677 nbRevisions=507048 nbUselessRevisions=309303
1.22 nbAssignments=1182 nbFailedAssignments=663 nbBacktracks=490 nbVisitedNodes=2199 nbRestartNogoods=31
1.22 mapSize=444 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.398 cpuTime=0.35 mem=14M764
1.36
1.36 search
1.36 run=8 nbConstraintChecks=3349158 nbPropagations=128015 nbRevisions=786145 nbUselessRevisions=479536
1.36 nbAssignments=1696 nbFailedAssignments=919 nbBacktracks=747 nbVisitedNodes=3153 nbRestartNogoods=43
1.36 mapSize=679 nbInferences=0 nbTooLargeKeys=0
1.36 => wckTime=0.539 cpuTime=0.47 mem=14M764
1.56
1.56 search
1.56 run=9 nbConstraintChecks=5009720 nbPropagations=195864 nbRevisions=1203622 nbUselessRevisions=734195
1.56 nbAssignments=2538 nbFailedAssignments=1372 nbBacktracks=1132 nbVisitedNodes=4713 nbRestartNogoods=47
1.56 mapSize=1027 nbInferences=0 nbTooLargeKeys=0
1.56 => wckTime=0.738 cpuTime=0.66 mem=14M764
1.57
1.57 INFO : Stopping hyperNogood (mapSize=1043, nbTooLargekeys=0, mem=14M764)
1.84
1.84 search
1.84 run=10 nbConstraintChecks=7488424 nbPropagations=297314 nbRevisions=1827272 nbUselessRevisions=1113693
1.84 nbAssignments=3777 nbFailedAssignments=2032 nbBacktracks=1709 nbVisitedNodes=6990 nbRestartNogoods=55
1.84 => wckTime=1.023 cpuTime=0.94 mem=14M764
1.88
1.88 search
1.88 run=11 nbConstraintChecks=7796469 nbPropagations=402657 nbRevisions=2474773 nbUselessRevisions=1507636
1.88 nbAssignments=3961 nbFailedAssignments=2106 nbBacktracks=1779 nbVisitedNodes=7292 nbRestartNogoods=63
1.88 => wckTime=1.056 cpuTime=0.97 mem=14M764
1.88
1.88 global
1.88 nbConstraintChecks=7796469 nbPropagations=402697 nbRevisions=2474773 nbUselessRevisions=1507636
1.88 nbRestartNogoods=63 solvingWckTime=1.057 solvingCpuTime=0.97 expiredTime=no totalExploration=no
1.88 nbFoundSolutions=1 globalCpuTime=1.38
1.88 => wckTime=1.564 cpuTime=1.34 mem=14M764
1.88
1.88 s SATISFIABLE
1.88 v 4 12 19 27 9 36 8 15 22 29 26 3 20 1 23 33 13 2 1 16 21 39 29 35 19 0 31 26 27 20 10 16 0 2 32 28 12 35 6 30
1.88 d NODES 3961
1.88 d CHECKS 7796469
1.88
1.88 totalWckTime=1.645 totalCpuTime=1.38
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node20/watcher-226562-1168080714 -o ROOT/results/node20/solver-226562-1168080714 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/226562-1168080714/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: 0.34 0.68 1.16 3/86 24332
/proc/meminfo: memFree=1743592/2055920 swapFree=4170284/4192956
[pid=24331] ppid=24328 vsize=168 CPUtime=0
/proc/24331/stat : 24331 (java) R 24328 24331 24222 0 -1 0 39 0 0 0 0 0 0 0 21 0 1 0 156466752 172032 23 18446744073709551615 134512640 134570532 4294956640 18446744073709551615 7619364 0 0 4096 0 0 0 0 17 1 0 0
/proc/24331/statm: 42 23 18 14 0 2 0
[startup+0.1081 s]
/proc/loadavg: 0.34 0.68 1.16 3/86 24332
/proc/meminfo: memFree=1743592/2055920 swapFree=4170284/4192956
[pid=24331] ppid=24328 vsize=914988 CPUtime=0.09
/proc/24331/stat : 24331 (java) R 24328 24331 24222 0 -1 0 3020 0 1 0 8 1 0 0 17 0 8 0 156466752 936947712 2766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153799154 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24331/statm: 228747 2766 1435 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.517148 s]
/proc/loadavg: 0.34 0.68 1.16 3/86 24332
/proc/meminfo: memFree=1743592/2055920 swapFree=4170284/4192956
[pid=24331] ppid=24328 vsize=915328 CPUtime=0.49
/proc/24331/stat : 24331 (java) R 24328 24331 24222 0 -1 0 7316 0 1 0 44 5 0 0 20 0 8 0 156466752 937295872 7055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073567918 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24331/statm: 228832 7057 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34624 s]
/proc/loadavg: 0.47 0.70 1.17 3/100 24346
/proc/meminfo: memFree=1692664/2055920 swapFree=4170284/4192956
[pid=24331] ppid=24328 vsize=915432 CPUtime=1.32
/proc/24331/stat : 24331 (java) R 24328 24331 24222 0 -1 0 9081 0 1 0 125 7 0 0 25 0 8 0 156466752 937402368 8819 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072916966 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24331/statm: 228858 8819 2513 14 0 215328 0
[pid=24331/tid=24336] ppid=24328 vsize=915432 CPUtime=0.03
/proc/24331/task/24336/stat : 24336 (java) S 24328 24331 24222 0 -1 64 254 0 0 0 3 0 0 0 16 0 8 0 156466756 937402368 8819 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24331/tid=24337] ppid=24328 vsize=915432 CPUtime=0
/proc/24331/task/24337/stat : 24337 (java) S 24328 24331 24222 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156466757 937402368 8819 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24331/tid=24338] ppid=24328 vsize=915432 CPUtime=0
/proc/24331/task/24338/stat : 24338 (java) S 24328 24331 24222 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156466757 937402368 8819 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24331/tid=24343] ppid=24328 vsize=915432 CPUtime=0
/proc/24331/task/24343/stat : 24343 (java) S 24328 24331 24222 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156466760 937402368 8819 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24331/tid=24344] ppid=24328 vsize=915432 CPUtime=0.2
/proc/24331/task/24344/stat : 24344 (java) S 24328 24331 24222 0 -1 64 369 0 0 0 19 1 0 0 16 0 8 0 156466760 937402368 8819 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24331/tid=24345] ppid=24328 vsize=915432 CPUtime=0
/proc/24331/task/24345/stat : 24345 (java) S 24328 24331 24222 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156466760 937402368 8819 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24331/tid=24346] ppid=24328 vsize=915432 CPUtime=0
/proc/24331/task/24346/stat : 24346 (java) S 24328 24331 24222 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156466760 937402368 8819 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915432
Child status: 0
Real time (s): 1.9141
CPU time (s): 1.86671
CPU user time (s): 1.78573
CPU system time (s): 0.080987
CPU usage (%): 97.5243
Max. virtual memory (cumulated for all children) (KiB): 915432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.78573
system time used= 0.080987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9094
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= 1052
involuntary context switches= 1205
runsolver used 0.004999 s user time and 0.013997 s system time
The end
Begin job on node20 on Sat Jan 6 10:51:57 UTC 2007
IDJOB= 226562
IDBENCH= 5988
FILE ID= node20/226562-1168080714
PBS_JOBID= 3476109
Free space on /tmp= 66544 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.65/rand-2-40-40-135-650-57_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/226562-1168080714/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-226562-1168080714 -o ROOT/results/node20/solver-226562-1168080714 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/226562-1168080714/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= b69dc0238908854b5bb62ddee318f54b
RANDOM SEED= 331050755
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.216
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.216
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: 1744944 kB
Buffers: 40276 kB
Cached: 171592 kB
SwapCached: 4236 kB
Active: 88340 kB
Inactive: 154040 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1744944 kB
SwapTotal: 4192956 kB
SwapFree: 4170284 kB
Dirty: 4456 kB
Writeback: 0 kB
Mapped: 44304 kB
Slab: 53692 kB
Committed_AS: 2876952 kB
PageTables: 2220 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= 66544 MiB
End job on node20 on Sat Jan 6 10:52:05 UTC 2007