0.38
0.38 Abscon 109 (November, 2006)
0.38
0.38 configuration
0.38 name=mac.xml
0.41
0.41 instance
0.41 name=/tmp/evaluation/223669-1168080451/unknown.xml
0.44
0.44 domains being loaded...
0.44
0.44 variables being loaded...
0.48 nbVariables=40 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.48 => wckTime=0.095 cpuTime=0.09 mem=6M951
0.48
0.48 relations being loaded...
0.57
0.57 constraints being loaded...
0.67 nbConstraints=180 nbRelationTypes=180 nbExtensionStructures=180 nbSharedExtensionStructures=0
0.67 nbConflictsStructures=180 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=15 maxArity=2
0.67 => wckTime=0.288 cpuTime=0.22 mem=13M811
0.71
0.71 solver IterativeSystematicSolver being built...
0.86 => wckTime=0.474 cpuTime=0.35 mem=13M749
0.86
0.86 preprocessing
0.86 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.86 detectedInconsistency=no
0.86 => wckTime=0.0030 cpuTime=0.0 mem=13M749
0.91
0.91 search
0.91 run=0 nbConstraintChecks=33458 nbPropagations=586 nbRevisions=3988 nbUselessRevisions=2911 nbAssignments=28
0.91 nbFailedAssignments=9 nbBacktracks=13 nbVisitedNodes=45 nbRestartNogoods=0 mapSize=11 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.051 cpuTime=0.03 mem=14M724
0.93
0.93 search
0.93 run=1 nbConstraintChecks=77482 nbPropagations=1818 nbRevisions=12923 nbUselessRevisions=9371 nbAssignments=62
0.93 nbFailedAssignments=23 nbBacktracks=28 nbVisitedNodes=103 nbRestartNogoods=2 mapSize=24 nbInferences=0
0.93 nbTooLargeKeys=0
0.93 => wckTime=0.068 cpuTime=0.04 mem=14M724
0.94
0.95 search
0.95 run=2 nbConstraintChecks=140655 nbPropagations=3954 nbRevisions=29166 nbUselessRevisions=20840
0.95 nbAssignments=109 nbFailedAssignments=43 nbBacktracks=50 nbVisitedNodes=185 nbRestartNogoods=6 mapSize=44
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.086 cpuTime=0.06 mem=14M724
0.96
0.96 search
0.96 run=3 nbConstraintChecks=220441 nbPropagations=7375 nbRevisions=55290 nbUselessRevisions=39214
0.96 nbAssignments=167 nbFailedAssignments=64 nbBacktracks=83 nbVisitedNodes=283 nbRestartNogoods=8 mapSize=69
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.104 cpuTime=0.07 mem=14M724
0.98
0.98 search
0.98 run=4 nbConstraintChecks=349332 nbPropagations=12928 nbRevisions=97595 nbUselessRevisions=68788
0.98 nbAssignments=268 nbFailedAssignments=108 nbBacktracks=134 nbVisitedNodes=457 nbRestartNogoods=10 mapSize=114
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.125 cpuTime=0.09 mem=14M724
1.02
1.02 search
1.02 run=5 nbConstraintChecks=593769 nbPropagations=22248 nbRevisions=170965 nbUselessRevisions=119961
1.02 nbAssignments=442 nbFailedAssignments=202 nbBacktracks=210 nbVisitedNodes=780 nbRestartNogoods=14 mapSize=183
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.165 cpuTime=0.13 mem=14M724
1.07
1.07 search
1.07 run=6 nbConstraintChecks=906348 nbPropagations=36490 nbRevisions=283755 nbUselessRevisions=198462
1.07 nbAssignments=661 nbFailedAssignments=303 nbBacktracks=324 nbVisitedNodes=1180 nbRestartNogoods=17 mapSize=283
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.213 cpuTime=0.18 mem=14M724
1.13
1.13 search
1.13 run=7 nbConstraintChecks=1295690 nbPropagations=57438 nbRevisions=450634 nbUselessRevisions=315198
1.13 nbAssignments=980 nbFailedAssignments=447 nbBacktracks=495 nbVisitedNodes=1747 nbRestartNogoods=27 mapSize=424
1.13 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.274 cpuTime=0.24 mem=14M724
1.24
1.24 search
1.24 run=8 nbConstraintChecks=1982275 nbPropagations=89624 nbRevisions=710088 nbUselessRevisions=496733
1.24 nbAssignments=1490 nbFailedAssignments=696 nbBacktracks=753 nbVisitedNodes=2683 nbRestartNogoods=31
1.24 mapSize=661 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.381 cpuTime=0.34 mem=14M724
1.37
1.37 search
1.37 run=9 nbConstraintChecks=2804366 nbPropagations=136212 nbRevisions=1081424 nbUselessRevisions=756085
1.37 nbAssignments=2161 nbFailedAssignments=975 nbBacktracks=1140 nbVisitedNodes=3875 nbRestartNogoods=33
1.37 mapSize=992 nbInferences=0 nbTooLargeKeys=0
1.37 => wckTime=0.512 cpuTime=0.45 mem=14M724
1.39
1.39 INFO : Stopping hyperNogood (mapSize=1043, nbTooLargekeys=0, mem=14M724)
1.57
1.57 search
1.57 run=10 nbConstraintChecks=4327240 nbPropagations=207566 nbRevisions=1650710 nbUselessRevisions=1151912
1.57 nbAssignments=3277 nbFailedAssignments=1509 nbBacktracks=1717 nbVisitedNodes=5910 nbRestartNogoods=40
1.57 => wckTime=0.715 cpuTime=0.64 mem=14M724
1.83
1.83 search
1.83 run=11 nbConstraintChecks=6240618 nbPropagations=313531 nbRevisions=2489483 nbUselessRevisions=1735053
1.83 nbAssignments=4893 nbFailedAssignments=2257 nbBacktracks=2581 nbVisitedNodes=8790 nbRestartNogoods=50
1.83 => wckTime=0.97 cpuTime=0.9 mem=14M724
2.25
2.25 search
2.25 run=12 nbConstraintChecks=9549888 nbPropagations=475147 nbRevisions=3782551 nbUselessRevisions=2637486
2.25 nbAssignments=7428 nbFailedAssignments=3490 nbBacktracks=3878 nbVisitedNodes=13395 nbRestartNogoods=56
2.25 => wckTime=1.389 cpuTime=1.31 mem=14M724
2.80
2.80 search
2.80 run=13 nbConstraintChecks=13842658 nbPropagations=711054 nbRevisions=5658034 nbUselessRevisions=3945704
2.80 nbAssignments=10901 nbFailedAssignments=5009 nbBacktracks=5826 nbVisitedNodes=19523 nbRestartNogoods=63
2.80 => wckTime=1.937 cpuTime=1.86 mem=14M724
3.14
3.14 search
3.14 run=14 nbConstraintChecks=16583477 nbPropagations=991250 nbRevisions=7889673 nbUselessRevisions=5500864
3.14 nbAssignments=12952 nbFailedAssignments=5978 nbBacktracks=6868 nbVisitedNodes=23209 nbRestartNogoods=77
3.14 => wckTime=2.277 cpuTime=2.2 mem=14M724
3.14
3.14 global
3.14 nbConstraintChecks=16583477 nbPropagations=991290 nbRevisions=7889673 nbUselessRevisions=5500864
3.14 nbRestartNogoods=77 solvingWckTime=2.278 solvingCpuTime=2.2 expiredTime=no totalExploration=no
3.14 nbFoundSolutions=1 globalCpuTime=2.59
3.14 => wckTime=2.756 cpuTime=2.55 mem=14M724
3.14
3.14 s SATISFIABLE
3.14 v 16 14 12 14 8 2 3 14 6 5 1 9 13 6 19 0 17 5 0 23 10 8 20 7 24 4 22 12 17 11 1 3 18 15 22 7 13 7 20 16
3.14 d NODES 12952
3.14 d CHECKS 16583477
3.14
3.14 totalWckTime=2.832 totalCpuTime=2.6
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node18/watcher-223669-1168080451 -o ROOT/results/node18/solver-223669-1168080451 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/223669-1168080451/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.40 1.55 1.70 4/93 26390
/proc/meminfo: memFree=1057368/2055920 swapFree=4192812/4192956
[pid=26389] ppid=26387 vsize=1788 CPUtime=0
/proc/26389/stat : 26389 (java) R 26387 26389 26154 0 -1 0 367 0 0 0 0 0 0 0 18 0 1 0 156440149 1830912 159 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/26389/statm: 446 158 123 14 0 91 0
[startup+0.108277 s]
/proc/loadavg: 1.40 1.55 1.70 4/93 26390
/proc/meminfo: memFree=1057368/2055920 swapFree=4192812/4192956
[pid=26389] ppid=26387 vsize=47892 CPUtime=0
/proc/26389/stat : 26389 (java) R 26387 26389 26154 0 -1 0 1213 0 1 0 0 0 0 0 18 0 1 0 156440149 49041408 962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 8296059 0 4 0 7368 0 0 0 17 0 0 0
/proc/26389/statm: 11973 968 766 14 0 1707 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 47892
[startup+0.520271 s]
/proc/loadavg: 1.40 1.55 1.70 4/93 26390
/proc/meminfo: memFree=1057368/2055920 swapFree=4192812/4192956
[pid=26389] ppid=26387 vsize=915328 CPUtime=0.41
/proc/26389/stat : 26389 (java) R 26387 26389 26154 0 -1 0 6405 0 1 0 37 4 0 0 25 0 8 0 156440149 937295872 6144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26389/statm: 228832 6144 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 915328
[startup+1.34335 s]
/proc/loadavg: 1.40 1.55 1.70 3/100 26397
/proc/meminfo: memFree=1033760/2055920 swapFree=4192812/4192956
[pid=26389] ppid=26387 vsize=915452 CPUtime=1.23
/proc/26389/stat : 26389 (java) R 26387 26389 26154 0 -1 0 8645 0 1 0 117 6 0 0 25 0 8 0 156440149 937422848 8383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073818257 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26389/statm: 228863 8383 2513 14 0 215333 0
[pid=26389/tid=26391] ppid=26387 vsize=915452 CPUtime=0.03
/proc/26389/task/26391/stat : 26391 (java) S 26387 26389 26154 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 156440162 937422848 8383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26389/tid=26392] ppid=26387 vsize=915452 CPUtime=0
/proc/26389/task/26392/stat : 26392 (java) S 26387 26389 26154 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156440162 937422848 8383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26389/tid=26393] ppid=26387 vsize=915452 CPUtime=0
/proc/26389/task/26393/stat : 26393 (java) S 26387 26389 26154 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156440162 937422848 8383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26389/tid=26394] ppid=26387 vsize=915452 CPUtime=0
/proc/26389/task/26394/stat : 26394 (java) S 26387 26389 26154 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156440165 937422848 8383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26389/tid=26395] ppid=26387 vsize=915452 CPUtime=0.18
/proc/26389/task/26395/stat : 26395 (java) S 26387 26389 26154 0 -1 64 380 0 0 0 18 0 0 0 16 0 8 0 156440165 937422848 8383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26389/tid=26396] ppid=26387 vsize=915452 CPUtime=0
/proc/26389/task/26396/stat : 26396 (java) S 26387 26389 26154 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156440165 937422848 8383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26389/tid=26397] ppid=26387 vsize=915452 CPUtime=0
/proc/26389/task/26397/stat : 26397 (java) S 26387 26389 26154 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156440165 937422848 8383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 915452
[startup+2.98051 s]
/proc/loadavg: 1.45 1.56 1.70 3/100 26397
/proc/meminfo: memFree=1033632/2055920 swapFree=4192812/4192956
[pid=26389] ppid=26387 vsize=915452 CPUtime=2.86
/proc/26389/stat : 26389 (java) R 26387 26389 26154 0 -1 0 8651 0 1 0 280 6 0 0 25 0 8 0 156440149 937422848 8388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828113 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26389/statm: 228863 8388 2513 14 0 215333 0
[pid=26389/tid=26391] ppid=26387 vsize=915452 CPUtime=0.03
/proc/26389/task/26391/stat : 26391 (java) S 26387 26389 26154 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 156440162 937422848 8388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26389/tid=26392] ppid=26387 vsize=915452 CPUtime=0
/proc/26389/task/26392/stat : 26392 (java) S 26387 26389 26154 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156440162 937422848 8388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26389/tid=26393] ppid=26387 vsize=915452 CPUtime=0
/proc/26389/task/26393/stat : 26393 (java) S 26387 26389 26154 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156440162 937422848 8388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26389/tid=26394] ppid=26387 vsize=915452 CPUtime=0
/proc/26389/task/26394/stat : 26394 (java) S 26387 26389 26154 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156440165 937422848 8388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26389/tid=26395] ppid=26387 vsize=915452 CPUtime=0.19
/proc/26389/task/26395/stat : 26395 (java) S 26387 26389 26154 0 -1 64 385 0 0 0 19 0 0 0 15 0 8 0 156440165 937422848 8388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26389/tid=26396] ppid=26387 vsize=915452 CPUtime=0
/proc/26389/task/26396/stat : 26396 (java) S 26387 26389 26154 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156440165 937422848 8388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26389/tid=26397] ppid=26387 vsize=915452 CPUtime=0
/proc/26389/task/26397/stat : 26397 (java) S 26387 26389 26154 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156440165 937422848 8388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 3.19087
CPU time (s): 3.04653
CPU user time (s): 2.97355
CPU system time (s): 0.072988
CPU usage (%): 95.4766
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.97355
system time used= 0.072988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8720
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= 1119
involuntary context switches= 1364
runsolver used 0.004999 s user time and 0.017997 s system time
The end
Begin job on node18 on Sat Jan 6 10:47:33 UTC 2007
IDJOB= 223669
IDBENCH= 5662
FILE ID= node18/223669-1168080451
PBS_JOBID= 3475861
Free space on /tmp= 66285 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.5/rand-2-40-25-180-500-25_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/223669-1168080451/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-223669-1168080451 -o ROOT/results/node18/solver-223669-1168080451 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/223669-1168080451/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 8b193cfc674785f3f23b0d517a374577
RANDOM SEED= 161409885
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: 1057848 kB
Buffers: 70556 kB
Cached: 710220 kB
SwapCached: 0 kB
Active: 494596 kB
Inactive: 404328 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1057848 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2052 kB
Writeback: 0 kB
Mapped: 147204 kB
Slab: 83912 kB
Committed_AS: 4934588 kB
PageTables: 2244 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 10:47:38 UTC 2007