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/224761-1168080549/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=40 nbDomainTypes=1 minDomainSize=80 maxDomainSize=80
0.41 => wckTime=0.097 cpuTime=0.08 mem=6M951
0.41
0.41 relations being loaded...
0.58
0.58 constraints being loaded...
0.66 nbConstraints=103 nbRelationTypes=103 nbExtensionStructures=103 nbSharedExtensionStructures=0
0.66 nbConflictsStructures=103 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=11 maxArity=2
0.66 => wckTime=0.354 cpuTime=0.29 mem=21M678
0.70
0.70 solver IterativeSystematicSolver being built...
0.85 => wckTime=0.544 cpuTime=0.42 mem=15M148
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.0020 cpuTime=0.0 mem=15M148
0.92
0.92 search
0.92 run=0 nbConstraintChecks=141487 nbPropagations=971 nbRevisions=4403 nbUselessRevisions=2316 nbAssignments=32
0.92 nbFailedAssignments=20 nbBacktracks=10 nbVisitedNodes=61 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.061 cpuTime=0.04 mem=15M148
0.94
0.94 search
0.94 run=1 nbConstraintChecks=319087 nbPropagations=2863 nbRevisions=13618 nbUselessRevisions=7152 nbAssignments=65
0.94 nbFailedAssignments=37 nbBacktracks=25 nbVisitedNodes=124 nbRestartNogoods=11 mapSize=24 nbInferences=0
0.94 nbTooLargeKeys=0
0.94 => wckTime=0.087 cpuTime=0.06 mem=15M148
0.97
0.97 search
0.97 run=2 nbConstraintChecks=630958 nbPropagations=6575 nbRevisions=31922 nbUselessRevisions=16847
0.97 nbAssignments=121 nbFailedAssignments=70 nbBacktracks=47 nbVisitedNodes=233 nbRestartNogoods=21 mapSize=46
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.117 cpuTime=0.08 mem=15M148
1.02
1.02 search
1.02 run=3 nbConstraintChecks=1197132 nbPropagations=13242 nbRevisions=65570 nbUselessRevisions=34431
1.02 nbAssignments=217 nbFailedAssignments=132 nbBacktracks=80 nbVisitedNodes=422 nbRestartNogoods=32 mapSize=78
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.163 cpuTime=0.13 mem=15M148
1.09
1.09 search
1.09 run=4 nbConstraintChecks=2191546 nbPropagations=25169 nbRevisions=126152 nbUselessRevisions=66209
1.09 nbAssignments=393 nbFailedAssignments=257 nbBacktracks=130 nbVisitedNodes=769 nbRestartNogoods=36 mapSize=127
1.09 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.239 cpuTime=0.2 mem=15M148
1.19
1.19 search
1.19 run=5 nbConstraintChecks=3363991 nbPropagations=43603 nbRevisions=220676 nbUselessRevisions=116268
1.19 nbAssignments=615 nbFailedAssignments=404 nbBacktracks=205 nbVisitedNodes=1200 nbRestartNogoods=44 mapSize=198
1.19 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.331 cpuTime=0.28 mem=15M148
1.34
1.34 search
1.34 run=6 nbConstraintChecks=5475348 nbPropagations=73222 nbRevisions=372693 nbUselessRevisions=197004
1.34 nbAssignments=990 nbFailedAssignments=665 nbBacktracks=318 nbVisitedNodes=1937 nbRestartNogoods=44 mapSize=309
1.34 nbInferences=0 nbTooLargeKeys=0
1.34 => wckTime=0.484 cpuTime=0.43 mem=15M148
1.61
1.61 search
1.61 run=7 nbConstraintChecks=8881205 nbPropagations=120672 nbRevisions=618445 nbUselessRevisions=327129
1.61 nbAssignments=1580 nbFailedAssignments=1084 nbBacktracks=488 nbVisitedNodes=3101 nbRestartNogoods=50
1.61 mapSize=477 nbInferences=0 nbTooLargeKeys=0
1.61 => wckTime=0.751 cpuTime=0.68 mem=15M148
1.98
1.98 search
1.98 run=8 nbConstraintChecks=14360394 nbPropagations=195400 nbRevisions=1013202 nbUselessRevisions=535354
1.98 nbAssignments=2501 nbFailedAssignments=1748 nbBacktracks=744 nbVisitedNodes=4926 nbRestartNogoods=51
1.98 mapSize=728 nbInferences=0 nbTooLargeKeys=0
1.98 => wckTime=1.122 cpuTime=1.04 mem=15M148
2.06
2.06 search
2.06 run=9 nbConstraintChecks=15589771 nbPropagations=276019 nbRevisions=1440916 nbUselessRevisions=761172
2.06 nbAssignments=2698 nbFailedAssignments=1894 nbBacktracks=796 nbVisitedNodes=5316 nbRestartNogoods=58
2.06 mapSize=778 nbInferences=0 nbTooLargeKeys=0
2.06 => wckTime=1.202 cpuTime=1.12 mem=15M148
2.06
2.06 global
2.06 nbConstraintChecks=15589771 nbPropagations=276059 nbRevisions=1440916 nbUselessRevisions=761172
2.06 nbRestartNogoods=58 solvingWckTime=1.204 solvingCpuTime=1.12 expiredTime=no totalExploration=yes
2.06 nbFoundSolutions=0 globalCpuTime=1.6
2.06 => wckTime=1.752 cpuTime=1.54 mem=15M148
2.06
2.06 s UNSATISFIABLE
2.06 d NODES 2698
2.06 d CHECKS 15589771
2.06
2.06 totalWckTime=1.829 totalCpuTime=1.6
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node3/watcher-224761-1168080549 -o ROOT/results/node3/solver-224761-1168080549 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/224761-1168080549/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.56 1.89 1.96 4/93 30402
/proc/meminfo: memFree=1297648/2055920 swapFree=4192812/4192956
[pid=30401] ppid=30399 vsize=18540 CPUtime=0
/proc/30401/stat : 30401 (runsolver) R 30399 30401 29786 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 156451806 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 233632754983 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/30401/statm: 4635 279 244 17 0 2626 0
[startup+0.107101 s]
/proc/loadavg: 1.56 1.89 1.96 4/93 30402
/proc/meminfo: memFree=1297648/2055920 swapFree=4192812/4192956
[pid=30401] ppid=30399 vsize=914988 CPUtime=0.08
/proc/30401/stat : 30401 (java) R 30399 30401 29786 0 -1 0 2994 0 1 0 7 1 0 0 24 0 8 0 156451806 936947712 2740 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072924296 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30401/statm: 228747 2740 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515168 s]
/proc/loadavg: 1.56 1.89 1.96 4/93 30402
/proc/meminfo: memFree=1297648/2055920 swapFree=4192812/4192956
[pid=30401] ppid=30399 vsize=915328 CPUtime=0.48
/proc/30401/stat : 30401 (java) R 30399 30401 29786 0 -1 0 7735 0 1 0 44 4 0 0 25 0 8 0 156451806 937295872 7474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073565158 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30401/statm: 228832 7474 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.3363 s]
/proc/loadavg: 1.56 1.89 1.96 3/100 30409
/proc/meminfo: memFree=1266360/2055920 swapFree=4192812/4192956
[pid=30401] ppid=30399 vsize=915464 CPUtime=1.29
/proc/30401/stat : 30401 (java) R 30399 30401 29786 0 -1 0 10517 0 1 0 123 6 0 0 25 0 8 0 156451806 937435136 10255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072897180 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30401/statm: 228866 10255 2513 14 0 215336 0
[pid=30401/tid=30403] ppid=30399 vsize=915464 CPUtime=0.03
/proc/30401/task/30403/stat : 30403 (java) S 30399 30401 29786 0 -1 64 353 0 0 0 3 0 0 0 16 0 8 0 156451810 937435136 10255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30401/tid=30404] ppid=30399 vsize=915464 CPUtime=0
/proc/30401/task/30404/stat : 30404 (java) S 30399 30401 29786 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156451811 937435136 10255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30401/tid=30405] ppid=30399 vsize=915464 CPUtime=0
/proc/30401/task/30405/stat : 30405 (java) S 30399 30401 29786 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156451811 937435136 10255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30401/tid=30406] ppid=30399 vsize=915464 CPUtime=0
/proc/30401/task/30406/stat : 30406 (java) S 30399 30401 29786 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156451814 937435136 10255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30401/tid=30407] ppid=30399 vsize=915464 CPUtime=0.17
/proc/30401/task/30407/stat : 30407 (java) S 30399 30401 29786 0 -1 64 361 0 0 0 16 1 0 0 15 0 8 0 156451814 937435136 10255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30401/tid=30408] ppid=30399 vsize=915464 CPUtime=0
/proc/30401/task/30408/stat : 30408 (java) S 30399 30401 29786 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156451814 937435136 10255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30401/tid=30409] ppid=30399 vsize=915464 CPUtime=0
/proc/30401/task/30409/stat : 30409 (java) S 30399 30401 29786 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156451814 937435136 10255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 2.1204
CPU time (s): 2.03669
CPU user time (s): 1.9607
CPU system time (s): 0.075988
CPU usage (%): 96.0521
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.9607
system time used= 0.075988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10538
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= 1077
involuntary context switches= 1263
runsolver used 0.004999 s user time and 0.013997 s system time
The end
Begin job on node3 on Sat Jan 6 10:49:15 UTC 2007
IDJOB= 224761
IDBENCH= 5791
FILE ID= node3/224761-1168080549
PBS_JOBID= 3475799
Free space on /tmp= 66542 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.8/rand-2-40-80-103-800-35_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/224761-1168080549/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-224761-1168080549 -o ROOT/results/node3/solver-224761-1168080549 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/224761-1168080549/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 62fdf3dcfed7f5799c512f31618b4411
RANDOM SEED= 258643609
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: 1298256 kB
Buffers: 65672 kB
Cached: 511036 kB
SwapCached: 0 kB
Active: 159492 kB
Inactive: 503396 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1298256 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2552 kB
Writeback: 0 kB
Mapped: 115240 kB
Slab: 79692 kB
Committed_AS: 4561628 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= 66542 MiB
End job on node3 on Sat Jan 6 10:49:32 UTC 2007