0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/226769-1168080729/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.103 cpuTime=0.08 mem=6M951
0.42
0.42 relations being loaded...
0.54
0.54 constraints being loaded...
0.63 nbConstraints=135 nbRelationTypes=135 nbExtensionStructures=135 nbSharedExtensionStructures=0
0.63 nbConflictsStructures=135 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=12 maxArity=2
0.63 => wckTime=0.308 cpuTime=0.24 mem=15M732
0.67
0.67 solver IterativeSystematicSolver being built...
0.83 => wckTime=0.508 cpuTime=0.38 mem=13M789
0.83
0.83 preprocessing
0.84 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.84 detectedInconsistency=no
0.84 => wckTime=0.0020 cpuTime=0.0 mem=13M789
0.89
0.89 search
0.89 run=0 nbConstraintChecks=53947 nbPropagations=692 nbRevisions=4257 nbUselessRevisions=2592 nbAssignments=26
0.89 nbFailedAssignments=11 nbBacktracks=13 nbVisitedNodes=47 nbRestartNogoods=0 mapSize=11 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.055 cpuTime=0.03 mem=14M764
0.91
0.91 search
0.91 run=1 nbConstraintChecks=150363 nbPropagations=2588 nbRevisions=16105 nbUselessRevisions=9893 nbAssignments=75
0.91 nbFailedAssignments=40 nbBacktracks=28 nbVisitedNodes=138 nbRestartNogoods=4 mapSize=25 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.082 cpuTime=0.05 mem=14M764
0.94
0.94 search
0.94 run=2 nbConstraintChecks=268112 nbPropagations=5858 nbRevisions=36680 nbUselessRevisions=22611
0.94 nbAssignments=128 nbFailedAssignments=68 nbBacktracks=51 nbVisitedNodes=232 nbRestartNogoods=10 mapSize=45
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.105 cpuTime=0.07 mem=14M764
0.96
0.96 search
0.96 run=3 nbConstraintChecks=424686 nbPropagations=10953 nbRevisions=69062 nbUselessRevisions=42773
0.96 nbAssignments=208 nbFailedAssignments=112 nbBacktracks=84 nbVisitedNodes=378 nbRestartNogoods=14 mapSize=74
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.129 cpuTime=0.09 mem=14M764
1.00
1.00 search
1.00 run=4 nbConstraintChecks=659469 nbPropagations=19252 nbRevisions=121981 nbUselessRevisions=75712
1.00 nbAssignments=328 nbFailedAssignments=178 nbBacktracks=134 nbVisitedNodes=597 nbRestartNogoods=17 mapSize=118
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.166 cpuTime=0.13 mem=14M764
1.05
1.05 search
1.05 run=5 nbConstraintChecks=1099083 nbPropagations=32618 nbRevisions=208469 nbUselessRevisions=129467
1.05 nbAssignments=525 nbFailedAssignments=295 nbBacktracks=212 nbVisitedNodes=969 nbRestartNogoods=24 mapSize=191
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.221 cpuTime=0.18 mem=14M764
1.14
1.14 search
1.14 run=6 nbConstraintChecks=1693570 nbPropagations=53302 nbRevisions=341102 nbUselessRevisions=211245
1.14 nbAssignments=793 nbFailedAssignments=448 nbBacktracks=325 nbVisitedNodes=1467 nbRestartNogoods=29 mapSize=286
1.14 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.304 cpuTime=0.26 mem=14M764
1.26
1.26 search
1.26 run=7 nbConstraintChecks=2722814 nbPropagations=85629 nbRevisions=550011 nbUselessRevisions=339976
1.26 nbAssignments=1241 nbFailedAssignments=721 nbBacktracks=495 nbVisitedNodes=2321 nbRestartNogoods=39
1.26 mapSize=449 nbInferences=0 nbTooLargeKeys=0
1.26 => wckTime=0.43 cpuTime=0.38 mem=14M764
1.44
1.44 search
1.44 run=8 nbConstraintChecks=4069497 nbPropagations=134326 nbRevisions=865493 nbUselessRevisions=533955
1.44 nbAssignments=1868 nbFailedAssignments=1088 nbBacktracks=751 nbVisitedNodes=3496 nbRestartNogoods=49
1.44 mapSize=676 nbInferences=0 nbTooLargeKeys=0
1.44 => wckTime=0.605 cpuTime=0.53 mem=14M764
1.65
1.65 search
1.65 run=9 nbConstraintChecks=5884334 nbPropagations=205142 nbRevisions=1322068 nbUselessRevisions=815300
1.65 nbAssignments=2698 nbFailedAssignments=1531 nbBacktracks=1135 nbVisitedNodes=5026 nbRestartNogoods=57
1.65 mapSize=1018 nbInferences=0 nbTooLargeKeys=0
1.65 => wckTime=0.813 cpuTime=0.74 mem=14M764
1.66
1.66 INFO : Stopping hyperNogood (mapSize=1032, nbTooLargekeys=0, mem=14M764)
1.97
1.97 search
1.97 run=10 nbConstraintChecks=8818489 nbPropagations=312370 nbRevisions=2014436 nbUselessRevisions=1243415
1.97 nbAssignments=4067 nbFailedAssignments=2322 nbBacktracks=1711 nbVisitedNodes=7593 nbRestartNogoods=68
1.97 => wckTime=1.142 cpuTime=1.05 mem=14M764
2.48
2.48 search
2.48 run=11 nbConstraintChecks=13606923 nbPropagations=475330 nbRevisions=3069343 nbUselessRevisions=1893908
2.48 nbAssignments=6096 nbFailedAssignments=3483 nbBacktracks=2576 nbVisitedNodes=11388 nbRestartNogoods=75
2.48 => wckTime=1.651 cpuTime=1.56 mem=14M764
3.18
3.18 search
3.18 run=12 nbConstraintChecks=20176321 nbPropagations=718522 nbRevisions=4643229 nbUselessRevisions=2867315
3.18 nbAssignments=9071 nbFailedAssignments=5157 nbBacktracks=3874 nbVisitedNodes=16954 nbRestartNogoods=82
3.18 => wckTime=2.35 cpuTime=2.26 mem=14M764
4.30
4.30 search
4.30 run=13 nbConstraintChecks=30994677 nbPropagations=1086523 nbRevisions=7022676 nbUselessRevisions=4335921
4.30 nbAssignments=13553 nbFailedAssignments=7689 nbBacktracks=5820 nbVisitedNodes=25360 nbRestartNogoods=92
4.30 => wckTime=3.47 cpuTime=3.37 mem=14M764
5.12
5.12 search
5.12 run=14 nbConstraintChecks=38877392 nbPropagations=1544857 nbRevisions=9984808 nbUselessRevisions=6161510
5.12 nbAssignments=16778 nbFailedAssignments=9481 nbBacktracks=7254 nbVisitedNodes=31366 nbRestartNogoods=99
5.12 => wckTime=4.29 cpuTime=4.18 mem=14M764
5.12
5.12 global
5.12 nbConstraintChecks=38877392 nbPropagations=1544897 nbRevisions=9984808 nbUselessRevisions=6161510
5.12 nbRestartNogoods=99 solvingWckTime=4.291 solvingCpuTime=4.19 expiredTime=no totalExploration=yes
5.12 nbFoundSolutions=0 globalCpuTime=4.62
5.12 => wckTime=4.804 cpuTime=4.57 mem=14M764
5.12
5.13 s UNSATISFIABLE
5.13 d NODES 16778
5.13 d CHECKS 38877392
5.13
5.13 totalWckTime=4.885 totalCpuTime=4.62
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node42/watcher-226769-1168080729 -o ROOT/results/node42/solver-226769-1168080729 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/226769-1168080729/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.10 0.49 0.78 3/70 25154
/proc/meminfo: memFree=1336568/2055920 swapFree=4191892/4192956
[pid=25153] ppid=25150 vsize=0 CPUtime=0
/proc/25153/stat : 25153 (runsolver) R 25150 25153 25047 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 156473308 0 0 18446744073709551615 0 0 0 18446744073709551615 259415141671 0 0 4096 24578 0 0 0 17 1 0 0
/proc/25153/statm: 0 0 0 0 0 0 0
[startup+0.107914 s]
/proc/loadavg: 0.10 0.49 0.78 3/70 25154
/proc/meminfo: memFree=1336568/2055920 swapFree=4191892/4192956
[pid=25153] ppid=25150 vsize=914988 CPUtime=0.08
/proc/25153/stat : 25153 (java) R 25150 25153 25047 0 -1 0 2985 0 1 0 8 0 0 0 17 0 8 0 156473308 936947712 2731 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153785378 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25153/statm: 228747 2732 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.516952 s]
/proc/loadavg: 0.10 0.49 0.78 3/70 25154
/proc/meminfo: memFree=1336568/2055920 swapFree=4191892/4192956
[pid=25153] ppid=25150 vsize=915328 CPUtime=0.49
/proc/25153/stat : 25153 (java) R 25150 25153 25047 0 -1 0 7198 0 1 0 46 3 0 0 18 0 8 0 156473308 937295872 6937 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25153/statm: 228832 6937 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33804 s]
/proc/loadavg: 0.10 0.49 0.78 3/87 25171
/proc/meminfo: memFree=1285296/2055920 swapFree=4191892/4192956
[pid=25153] ppid=25150 vsize=915432 CPUtime=1.3
/proc/25153/stat : 25153 (java) R 25150 25153 25047 0 -1 0 9069 0 1 0 126 4 0 0 25 0 8 0 156473308 937402368 8807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073739568 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25153/statm: 228858 8807 2513 14 0 215328 0
[pid=25153/tid=25159] ppid=25150 vsize=915432 CPUtime=0.03
/proc/25153/task/25159/stat : 25159 (java) S 25150 25153 25047 0 -1 64 254 0 0 0 3 0 0 0 17 0 8 0 156473312 937402368 8807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25153/tid=25162] ppid=25150 vsize=915432 CPUtime=0
/proc/25153/task/25162/stat : 25162 (java) S 25150 25153 25047 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156473313 937402368 8807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25153/tid=25163] ppid=25150 vsize=915432 CPUtime=0
/proc/25153/task/25163/stat : 25163 (java) S 25150 25153 25047 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156473313 937402368 8807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25153/tid=25168] ppid=25150 vsize=915432 CPUtime=0
/proc/25153/task/25168/stat : 25168 (java) S 25150 25153 25047 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156473316 937402368 8807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25153/tid=25169] ppid=25150 vsize=915432 CPUtime=0.19
/proc/25153/task/25169/stat : 25169 (java) S 25150 25153 25047 0 -1 64 364 0 0 0 19 0 0 0 15 0 8 0 156473316 937402368 8807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25153/tid=25170] ppid=25150 vsize=915432 CPUtime=0
/proc/25153/task/25170/stat : 25170 (java) S 25150 25153 25047 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156473316 937402368 8807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25153/tid=25171] ppid=25150 vsize=915432 CPUtime=0
/proc/25153/task/25171/stat : 25171 (java) S 25150 25153 25047 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156473316 937402368 8807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915432
[startup+2.97522 s]
/proc/loadavg: 0.25 0.51 0.79 3/87 25171
/proc/meminfo: memFree=1285168/2055920 swapFree=4191892/4192956
[pid=25153] ppid=25150 vsize=915432 CPUtime=2.94
/proc/25153/stat : 25153 (java) R 25150 25153 25047 0 -1 0 9083 0 1 0 289 5 0 0 25 0 8 0 156473308 937402368 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073752389 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25153/statm: 228858 8820 2513 14 0 215328 0
[pid=25153/tid=25159] ppid=25150 vsize=915432 CPUtime=0.03
/proc/25153/task/25159/stat : 25159 (java) S 25150 25153 25047 0 -1 64 254 0 0 0 3 0 0 0 17 0 8 0 156473312 937402368 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25153/tid=25162] ppid=25150 vsize=915432 CPUtime=0
/proc/25153/task/25162/stat : 25162 (java) S 25150 25153 25047 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156473313 937402368 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25153/tid=25163] ppid=25150 vsize=915432 CPUtime=0
/proc/25153/task/25163/stat : 25163 (java) S 25150 25153 25047 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156473313 937402368 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25153/tid=25168] ppid=25150 vsize=915432 CPUtime=0
/proc/25153/task/25168/stat : 25168 (java) S 25150 25153 25047 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156473316 937402368 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25153/tid=25169] ppid=25150 vsize=915432 CPUtime=0.22
/proc/25153/task/25169/stat : 25169 (java) S 25150 25153 25047 0 -1 64 377 0 0 0 22 0 0 0 15 0 8 0 156473316 937402368 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25153/tid=25170] ppid=25150 vsize=915432 CPUtime=0
/proc/25153/task/25170/stat : 25170 (java) S 25150 25153 25047 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156473316 937402368 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25153/tid=25171] ppid=25150 vsize=915432 CPUtime=0
/proc/25153/task/25171/stat : 25171 (java) S 25150 25153 25047 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156473316 937402368 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915432
Child status: 0
Real time (s): 5.15028
CPU time (s): 5.09623
CPU user time (s): 5.03823
CPU system time (s): 0.057991
CPU usage (%): 98.9505
Max. virtual memory (cumulated for all children) (KiB): 915432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.03823
system time used= 0.057991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9093
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= 1144
involuntary context switches= 1371
runsolver used 0.006998 s user time and 0.020996 s system time
The end
Begin job on node42 on Sat Jan 6 10:52:14 UTC 2007
IDJOB= 226769
IDBENCH= 6010
FILE ID= node42/226769-1168080729
PBS_JOBID= 3476175
Free space on /tmp= 66543 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.65/rand-2-40-40-135-650-25_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/226769-1168080729/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-226769-1168080729 -o ROOT/results/node42/solver-226769-1168080729 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/226769-1168080729/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d08daf79178615f77eb3ee37132725f5
RANDOM SEED= 224227320
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.229
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.229
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: 1339568 kB
Buffers: 50444 kB
Cached: 572032 kB
SwapCached: 268 kB
Active: 115224 kB
Inactive: 526684 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1339568 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 2476 kB
Writeback: 0 kB
Mapped: 28472 kB
Slab: 60216 kB
Committed_AS: 2706300 kB
PageTables: 1652 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= 66541 MiB
End job on node42 on Sat Jan 6 10:52:29 UTC 2007