0.28
0.28 Abscon 109 (November, 2006)
0.28
0.28 configuration
0.29 name=mac.xml
0.31
0.31 instance
0.31 name=/tmp/evaluation/226543-1168080712/unknown.xml
0.34
0.34 domains being loaded...
0.35
0.35 variables being loaded...
0.38 nbVariables=40 nbDomainTypes=1 minDomainSize=40 maxDomainSize=40
0.38 => wckTime=0.096 cpuTime=0.09 mem=6M951
0.38
0.38 relations being loaded...
0.50
0.50 constraints being loaded...
0.57 nbConstraints=135 nbRelationTypes=135 nbExtensionStructures=135 nbSharedExtensionStructures=0
0.57 nbConflictsStructures=135 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=14 maxArity=2
0.57 => wckTime=0.286 cpuTime=0.23 mem=15M730
0.61
0.61 solver IterativeSystematicSolver being built...
0.76 => wckTime=0.477 cpuTime=0.36 mem=13M789
0.77
0.77 preprocessing
0.77 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.77 detectedInconsistency=no
0.77 => wckTime=0.0020 cpuTime=0.0 mem=13M789
0.82
0.82 search
0.82 run=0 nbConstraintChecks=70321 nbPropagations=842 nbRevisions=4887 nbUselessRevisions=2936 nbAssignments=28
0.82 nbFailedAssignments=15 nbBacktracks=10 nbVisitedNodes=53 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.82 nbTooLargeKeys=0
0.82 => wckTime=0.055 cpuTime=0.04 mem=14M764
0.84
0.84 search
0.84 run=1 nbConstraintChecks=155006 nbPropagations=2876 nbRevisions=16500 nbUselessRevisions=9903 nbAssignments=68
0.85 nbFailedAssignments=37 nbBacktracks=26 nbVisitedNodes=127 nbRestartNogoods=2 mapSize=24 nbInferences=0
0.85 nbTooLargeKeys=0
0.85 => wckTime=0.077 cpuTime=0.06 mem=14M764
0.87
0.87 search
0.87 run=2 nbConstraintChecks=264303 nbPropagations=6262 nbRevisions=36102 nbUselessRevisions=21629
0.87 nbAssignments=114 nbFailedAssignments=59 nbBacktracks=48 nbVisitedNodes=212 nbRestartNogoods=7 mapSize=44
0.87 nbInferences=0 nbTooLargeKeys=0
0.87 => wckTime=0.098 cpuTime=0.07 mem=14M764
0.90
0.90 search
0.90 run=3 nbConstraintChecks=493051 nbPropagations=12198 nbRevisions=71702 nbUselessRevisions=42831
0.90 nbAssignments=217 nbFailedAssignments=124 nbBacktracks=83 nbVisitedNodes=406 nbRestartNogoods=16 mapSize=77
0.90 nbInferences=0 nbTooLargeKeys=0
0.90 => wckTime=0.129 cpuTime=0.1 mem=14M764
0.94
0.94 search
0.94 run=4 nbConstraintChecks=831802 nbPropagations=21845 nbRevisions=130564 nbUselessRevisions=77926
0.94 nbAssignments=358 nbFailedAssignments=212 nbBacktracks=134 nbVisitedNodes=672 nbRestartNogoods=30 mapSize=125
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.171 cpuTime=0.14 mem=14M764
0.98
0.98 search
0.98 run=5 nbConstraintChecks=1181053 nbPropagations=36034 nbRevisions=216012 nbUselessRevisions=128644
0.98 nbAssignments=521 nbFailedAssignments=298 nbBacktracks=210 nbVisitedNodes=971 nbRestartNogoods=34 mapSize=191
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.214 cpuTime=0.18 mem=14M764
1.05
1.05 search
1.05 run=6 nbConstraintChecks=1832127 nbPropagations=57458 nbRevisions=345653 nbUselessRevisions=206106
1.05 nbAssignments=793 nbFailedAssignments=453 nbBacktracks=323 nbVisitedNodes=1485 nbRestartNogoods=38 mapSize=299
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.287 cpuTime=0.25 mem=14M764
1.16
1.16 search
1.16 run=7 nbConstraintChecks=2621786 nbPropagations=89415 nbRevisions=537433 nbUselessRevisions=320960
1.16 nbAssignments=1165 nbFailedAssignments=651 nbBacktracks=495 nbVisitedNodes=2180 nbRestartNogoods=49
1.16 mapSize=456 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.392 cpuTime=0.34 mem=14M764
1.33
1.33 search
1.33 run=8 nbConstraintChecks=3918982 nbPropagations=136315 nbRevisions=820694 nbUselessRevisions=490523
1.33 nbAssignments=1719 nbFailedAssignments=942 nbBacktracks=754 nbVisitedNodes=3198 nbRestartNogoods=52
1.33 mapSize=683 nbInferences=0 nbTooLargeKeys=0
1.33 => wckTime=0.558 cpuTime=0.49 mem=14M764
1.53
1.53 INFO : Stopping hyperNogood (mapSize=1005, nbTooLargekeys=0, mem=14M764)
1.55
1.55 search
1.55 run=9 nbConstraintChecks=6011525 nbPropagations=207699 nbRevisions=1255478 nbUselessRevisions=750755
1.55 nbAssignments=2591 nbFailedAssignments=1428 nbBacktracks=1139 nbVisitedNodes=4838 nbRestartNogoods=61
1.55 => wckTime=0.778 cpuTime=0.71 mem=14M764
1.90
1.90 search
1.90 run=10 nbConstraintChecks=9526321 nbPropagations=319386 nbRevisions=1938632 nbUselessRevisions=1160202
1.90 nbAssignments=4075 nbFailedAssignments=2335 nbBacktracks=1715 nbVisitedNodes=7662 nbRestartNogoods=66
1.90 => wckTime=1.133 cpuTime=1.05 mem=14M764
2.38
2.38 search
2.38 run=11 nbConstraintChecks=14432360 nbPropagations=488524 nbRevisions=2970397 nbUselessRevisions=1777367
2.38 nbAssignments=6044 nbFailedAssignments=3437 nbBacktracks=2579 nbVisitedNodes=11382 nbRestartNogoods=67
2.38 => wckTime=1.615 cpuTime=1.52 mem=14M764
3.09
3.09 search
3.09 run=12 nbConstraintChecks=21920068 nbPropagations=741129 nbRevisions=4517418 nbUselessRevisions=2704516
3.09 nbAssignments=9060 nbFailedAssignments=5153 nbBacktracks=3876 nbVisitedNodes=17082 nbRestartNogoods=77
3.09 => wckTime=2.323 cpuTime=2.22 mem=14M764
4.19
4.19 search
4.19 run=13 nbConstraintChecks=33679446 nbPropagations=1120616 nbRevisions=6854284 nbUselessRevisions=4105776
4.19 nbAssignments=13583 nbFailedAssignments=7727 nbBacktracks=5823 nbVisitedNodes=25617 nbRestartNogoods=85
4.19 => wckTime=3.422 cpuTime=3.31 mem=14M764
5.08
5.08 search
5.08 run=14 nbConstraintChecks=43370687 nbPropagations=1602493 nbRevisions=9829706 nbUselessRevisions=5890458
5.09 nbAssignments=17292 nbFailedAssignments=9746 nbBacktracks=7514 nbVisitedNodes=32528 nbRestartNogoods=91
5.09 => wckTime=4.318 cpuTime=4.2 mem=14M764
5.09
5.09 global
5.09 nbConstraintChecks=43370687 nbPropagations=1602533 nbRevisions=9829706 nbUselessRevisions=5890458
5.09 nbRestartNogoods=91 solvingWckTime=4.319 solvingCpuTime=4.2 expiredTime=no totalExploration=yes
5.09 nbFoundSolutions=0 globalCpuTime=4.6
5.09 => wckTime=4.8 cpuTime=4.56 mem=14M764
5.09
5.09 s UNSATISFIABLE
5.09 d NODES 17292
5.09 d CHECKS 43370687
5.09
5.09 totalWckTime=4.875 totalCpuTime=4.61
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node3/watcher-226543-1168080712 -o ROOT/results/node3/solver-226543-1168080712 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/226543-1168080712/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.04 1.52 1.81 5/93 30604
/proc/meminfo: memFree=1294568/2055920 swapFree=4192812/4192956
[pid=30603] ppid=30601 vsize=1784 CPUtime=0
/proc/30603/stat : 30603 (java) R 30601 30603 30480 0 -1 0 329 0 0 0 0 0 0 0 18 0 1 0 156467352 1826816 124 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30603/statm: 446 134 100 14 0 91 0
[startup+0.102726 s]
/proc/loadavg: 1.04 1.52 1.81 5/93 30604
/proc/meminfo: memFree=1294568/2055920 swapFree=4192812/4192956
[pid=30603] ppid=30601 vsize=914988 CPUtime=0.09
/proc/30603/stat : 30603 (java) R 30601 30603 30480 0 -1 0 3077 0 1 0 8 1 0 0 22 0 8 0 156467352 936947712 2823 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155583508 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30603/statm: 228747 2823 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.51179 s]
/proc/loadavg: 1.04 1.52 1.81 5/93 30604
/proc/meminfo: memFree=1294568/2055920 swapFree=4192812/4192956
[pid=30603] ppid=30601 vsize=915328 CPUtime=0.49
/proc/30603/stat : 30603 (java) R 30601 30603 30480 0 -1 0 7794 0 1 0 46 3 0 0 25 0 8 0 156467352 937295872 7533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072941832 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30603/statm: 228832 7533 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33892 s]
/proc/loadavg: 1.04 1.52 1.81 3/100 30611
/proc/meminfo: memFree=1269104/2055920 swapFree=4192812/4192956
[pid=30603] ppid=30601 vsize=915464 CPUtime=1.3
/proc/30603/stat : 30603 (java) R 30601 30603 30480 0 -1 0 9079 0 1 0 125 5 0 0 25 0 8 0 156467352 937435136 8817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073784329 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30603/statm: 228866 8817 2513 14 0 215336 0
[pid=30603/tid=30605] ppid=30601 vsize=915464 CPUtime=0.02
/proc/30603/task/30605/stat : 30605 (java) S 30601 30603 30480 0 -1 64 254 0 0 0 2 0 0 0 16 0 8 0 156467355 937435136 8817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30603/tid=30606] ppid=30601 vsize=915464 CPUtime=0
/proc/30603/task/30606/stat : 30606 (java) S 30601 30603 30480 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156467356 937435136 8817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30603/tid=30607] ppid=30601 vsize=915464 CPUtime=0
/proc/30603/task/30607/stat : 30607 (java) S 30601 30603 30480 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156467356 937435136 8817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30603/tid=30608] ppid=30601 vsize=915464 CPUtime=0
/proc/30603/task/30608/stat : 30608 (java) S 30601 30603 30480 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156467359 937435136 8817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30603/tid=30609] ppid=30601 vsize=915464 CPUtime=0.17
/proc/30603/task/30609/stat : 30609 (java) S 30601 30603 30480 0 -1 64 371 0 0 0 17 0 0 0 15 0 8 0 156467359 937435136 8817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30603/tid=30610] ppid=30601 vsize=915464 CPUtime=0
/proc/30603/task/30610/stat : 30610 (java) S 30601 30603 30480 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156467359 937435136 8817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30603/tid=30611] ppid=30601 vsize=915464 CPUtime=0
/proc/30603/task/30611/stat : 30611 (java) S 30601 30603 30480 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156467359 937435136 8817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915464
[startup+2.97618 s]
/proc/loadavg: 1.12 1.53 1.81 3/100 30611
/proc/meminfo: memFree=1269040/2055920 swapFree=4192812/4192956
[pid=30603] ppid=30601 vsize=915464 CPUtime=2.93
/proc/30603/stat : 30603 (java) R 30601 30603 30480 0 -1 0 9085 0 1 0 288 5 0 0 25 0 8 0 156467352 937435136 8822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073748709 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30603/statm: 228866 8822 2513 14 0 215336 0
[pid=30603/tid=30605] ppid=30601 vsize=915464 CPUtime=0.02
/proc/30603/task/30605/stat : 30605 (java) S 30601 30603 30480 0 -1 64 254 0 0 0 2 0 0 0 17 0 8 0 156467355 937435136 8822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30603/tid=30606] ppid=30601 vsize=915464 CPUtime=0
/proc/30603/task/30606/stat : 30606 (java) S 30601 30603 30480 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156467356 937435136 8822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30603/tid=30607] ppid=30601 vsize=915464 CPUtime=0
/proc/30603/task/30607/stat : 30607 (java) S 30601 30603 30480 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156467356 937435136 8822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30603/tid=30608] ppid=30601 vsize=915464 CPUtime=0
/proc/30603/task/30608/stat : 30608 (java) S 30601 30603 30480 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156467359 937435136 8822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30603/tid=30609] ppid=30601 vsize=915464 CPUtime=0.19
/proc/30603/task/30609/stat : 30609 (java) S 30601 30603 30480 0 -1 64 377 0 0 0 19 0 0 0 15 0 8 0 156467359 937435136 8822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30603/tid=30610] ppid=30601 vsize=915464 CPUtime=0
/proc/30603/task/30610/stat : 30610 (java) S 30601 30603 30480 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156467359 937435136 8822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30603/tid=30611] ppid=30601 vsize=915464 CPUtime=0
/proc/30603/task/30611/stat : 30611 (java) S 30601 30603 30480 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156467359 937435136 8822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 5.13691
CPU time (s): 5.04423
CPU user time (s): 4.98424
CPU system time (s): 0.05999
CPU usage (%): 98.1959
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.98424
system time used= 0.05999
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= 1130
involuntary context switches= 1443
runsolver used 0.010998 s user time and 0.017997 s system time
The end
Begin job on node3 on Sat Jan 6 10:51:53 UTC 2007
IDJOB= 226543
IDBENCH= 5981
FILE ID= node3/226543-1168080712
PBS_JOBID= 3475870
Free space on /tmp= 66543 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.65/rand-2-40-40-135-650-39_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/226543-1168080712/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-226543-1168080712 -o ROOT/results/node3/solver-226543-1168080712 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/226543-1168080712/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= eeadcd7da8993c9ab4c507857701b6ae
RANDOM SEED= 259445265
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.279
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.279
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: 1295176 kB
Buffers: 65760 kB
Cached: 514824 kB
SwapCached: 0 kB
Active: 158696 kB
Inactive: 507392 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1295176 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2124 kB
Writeback: 0 kB
Mapped: 114564 kB
Slab: 79640 kB
Committed_AS: 4567748 kB
PageTables: 2168 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= 66543 MiB
End job on node3 on Sat Jan 6 10:52:05 UTC 2007