0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/225525-1168272708/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=40 nbDomainTypes=1 minDomainSize=180 maxDomainSize=180
0.41 => wckTime=0.102 cpuTime=0.09 mem=6M951
0.41
0.41 relations being loaded...
0.77
0.77 constraints being loaded...
0.90 nbConstraints=84 nbRelationTypes=84 nbExtensionStructures=84 nbSharedExtensionStructures=0
0.90 nbConflictsStructures=84 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=7 maxArity=2
0.90 => wckTime=0.591 cpuTime=0.54 mem=36M311
0.96
0.96 solver IterativeSystematicSolver being built...
1.12 => wckTime=0.809 cpuTime=0.68 mem=16M387
1.20
1.20 preprocessing
1.20 nbConstraintChecks=473128 nbPropagations=962 nbRevisions=3305 nbUselessRevisions=1917 nbSingletonTests=49
1.20 nbEffectiveSingletonTests=0 nbESACBranches=8 nbRemovedValues=0 detectedInconsistency=no
1.20 => wckTime=0.067 cpuTime=0.04 mem=16M387
1.25
1.25 search
1.25 run=0 nbConstraintChecks=229201 nbPropagations=2273 nbRevisions=7345 nbUselessRevisions=3628 nbAssignments=42
1.25 nbFailedAssignments=25 nbBacktracks=11 nbVisitedNodes=75 nbRestartNogoods=0 mapSize=11 nbInferences=0
1.25 nbTooLargeKeys=0
1.25 => wckTime=0.117 cpuTime=0.08 mem=16M387
1.27
1.28 search
1.28 run=1 nbConstraintChecks=550458 nbPropagations=5897 nbRevisions=19176 nbUselessRevisions=9301 nbAssignments=89
1.28 nbFailedAssignments=51 nbBacktracks=27 nbVisitedNodes=156 nbRestartNogoods=4 mapSize=22 nbInferences=0
1.28 nbTooLargeKeys=0
1.28 => wckTime=0.146 cpuTime=0.11 mem=16M387
1.33
1.33 search
1.33 run=2 nbConstraintChecks=1378350 nbPropagations=12206 nbRevisions=40987 nbUselessRevisions=19580
1.33 nbAssignments=186 nbFailedAssignments=120 nbBacktracks=49 nbVisitedNodes=341 nbRestartNogoods=7 mapSize=42
1.33 nbInferences=0 nbTooLargeKeys=0
1.34 => wckTime=0.205 cpuTime=0.16 mem=16M387
1.41
1.41 search
1.41 run=3 nbConstraintChecks=2586110 nbPropagations=23333 nbRevisions=78469 nbUselessRevisions=37385
1.41 nbAssignments=341 nbFailedAssignments=177 nbBacktracks=83 nbVisitedNodes=517 nbRestartNogoods=29 mapSize=69
1.41 nbInferences=0 nbTooLargeKeys=0
1.41 => wckTime=0.282 cpuTime=0.23 mem=16M387
1.55
1.55 search
1.55 run=4 nbConstraintChecks=4753388 nbPropagations=42713 nbRevisions=146240 nbUselessRevisions=69503
1.55 nbAssignments=655 nbFailedAssignments=429 nbBacktracks=133 nbVisitedNodes=1112 nbRestartNogoods=36 mapSize=111
1.55 nbInferences=0 nbTooLargeKeys=0
1.55 => wckTime=0.42 cpuTime=0.37 mem=16M387
1.63
1.63 search
1.63 run=5 nbConstraintChecks=5778498 nbPropagations=68911 nbRevisions=235299 nbUselessRevisions=110557
1.63 nbAssignments=877 nbFailedAssignments=569 nbBacktracks=208 nbVisitedNodes=1519 nbRestartNogoods=46 mapSize=169
1.63 nbInferences=0 nbTooLargeKeys=0
1.63 => wckTime=0.501 cpuTime=0.45 mem=16M387
1.76
1.76 search
1.76 run=6 nbConstraintChecks=7596216 nbPropagations=106207 nbRevisions=360452 nbUselessRevisions=167248
1.76 nbAssignments=1212 nbFailedAssignments=771 nbBacktracks=322 nbVisitedNodes=2115 nbRestartNogoods=53
1.76 mapSize=266 nbInferences=0 nbTooLargeKeys=0
1.76 => wckTime=0.633 cpuTime=0.57 mem=17M359
2.15
2.15 search
2.15 run=7 nbConstraintChecks=13573251 nbPropagations=165923 nbRevisions=567537 nbUselessRevisions=260727
2.15 nbAssignments=1961 nbFailedAssignments=1348 nbBacktracks=492 nbVisitedNodes=3571 nbRestartNogoods=66
2.15 mapSize=419 nbInferences=0 nbTooLargeKeys=0
2.15 => wckTime=1.017 cpuTime=0.94 mem=17M359
2.41
2.41 search
2.41 run=8 nbConstraintChecks=17375810 nbPropagations=249870 nbRevisions=852855 nbUselessRevisions=387584
2.41 nbAssignments=2623 nbFailedAssignments=1747 nbBacktracks=748 nbVisitedNodes=4794 nbRestartNogoods=68
2.41 mapSize=623 nbInferences=0 nbTooLargeKeys=0
2.41 => wckTime=1.285 cpuTime=1.2 mem=17M359
2.79
2.79 search
2.79 run=9 nbConstraintChecks=22982670 nbPropagations=369680 nbRevisions=1252805 nbUselessRevisions=562968
2.79 nbAssignments=3685 nbFailedAssignments=2417 nbBacktracks=1133 nbVisitedNodes=6773 nbRestartNogoods=76
2.79 mapSize=938 nbInferences=0 nbTooLargeKeys=0
2.79 => wckTime=1.657 cpuTime=1.57 mem=17M359
2.96
2.96 INFO : Stopping hyperNogood (mapSize=1043, nbTooLargekeys=0, mem=17M359)
3.77
3.77 search
3.77 run=10 nbConstraintChecks=39359495 nbPropagations=552933 nbRevisions=1883663 nbUselessRevisions=841674
3.77 nbAssignments=5679 nbFailedAssignments=3818 nbBacktracks=1710 nbVisitedNodes=10590 nbRestartNogoods=91
3.77 => wckTime=2.638 cpuTime=2.53 mem=17M359
4.47
4.47 search
4.47 run=11 nbConstraintChecks=50007524 nbPropagations=808506 nbRevisions=2743801 nbUselessRevisions=1217013
4.47 nbAssignments=7670 nbFailedAssignments=4992 nbBacktracks=2487 nbVisitedNodes=14258 nbRestartNogoods=97
4.47 => wckTime=3.343 cpuTime=3.23 mem=17M359
4.47
4.47 global
4.47 nbConstraintChecks=50480652 nbPropagations=809468 nbRevisions=2747106 nbUselessRevisions=1218930
4.47 nbRestartNogoods=97 solvingWckTime=3.344 solvingCpuTime=3.23 expiredTime=no totalExploration=no
4.47 nbFoundSolutions=1 globalCpuTime=3.95
4.47 => wckTime=4.164 cpuTime=3.91 mem=17M359
4.48
4.48 s SATISFIABLE
4.48 v 157 74 139 23 95 156 178 171 156 13 34 103 51 80 100 104 119 165 63 113 38 44 50 69 147 91 92 3 47 14 134 30 94 63 120 77 21 178 30 143
4.48 d NODES 7670
4.48 d CHECKS 50480652
4.48
4.48 totalWckTime=4.244 totalCpuTime=3.95
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node26/watcher-225525-1168272708 -o ROOT/results/node26/solver-225525-1168272708 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/225525-1168272708/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.80 1.33 1.12 4/86 19083
/proc/meminfo: memFree=356384/2055920 swapFree=4192812/4192956
[pid=19082] ppid=19080 vsize=9788 CPUtime=0
/proc/19082/stat : 19082 (java) R 19080 19082 18779 0 -1 0 461 0 0 0 0 0 0 0 19 0 1 0 175665039 10022912 248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 12555359 0 0 4096 0 0 0 0 17 1 0 0
/proc/19082/statm: 2447 248 181 14 0 1138 0
[startup+0.10512 s]
/proc/loadavg: 1.80 1.33 1.12 4/86 19083
/proc/meminfo: memFree=356384/2055920 swapFree=4192812/4192956
[pid=19082] ppid=19080 vsize=914988 CPUtime=0.09
/proc/19082/stat : 19082 (java) R 19080 19082 18779 0 -1 0 3004 0 1 0 7 2 0 0 20 0 8 0 175665039 936947712 2750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153838974 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19082/statm: 228747 2750 1430 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.513157 s]
/proc/loadavg: 1.80 1.33 1.12 4/86 19083
/proc/meminfo: memFree=356384/2055920 swapFree=4192812/4192956
[pid=19082] ppid=19080 vsize=915328 CPUtime=0.49
/proc/19082/stat : 19082 (java) R 19080 19082 18779 0 -1 0 7529 0 1 0 45 4 0 0 18 0 8 0 175665039 937295872 7268 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073561891 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19082/statm: 228832 7268 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33449 s]
/proc/loadavg: 1.80 1.33 1.12 3/93 19090
/proc/meminfo: memFree=303976/2055920 swapFree=4192812/4192956
[pid=19082] ppid=19080 vsize=915464 CPUtime=1.3
/proc/19082/stat : 19082 (java) R 19080 19082 18779 0 -1 0 14367 0 1 0 122 8 0 0 25 0 8 0 175665039 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19082/statm: 228866 14105 2524 14 0 215336 0
[pid=19082/tid=19084] ppid=19080 vsize=915464 CPUtime=0.04
/proc/19082/task/19084/stat : 19084 (java) S 19080 19082 18779 0 -1 64 611 0 0 0 4 0 0 0 17 0 8 0 175665043 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19082/tid=19085] ppid=19080 vsize=915464 CPUtime=0
/proc/19082/task/19085/stat : 19085 (java) S 19080 19082 18779 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175665044 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19082/tid=19086] ppid=19080 vsize=915464 CPUtime=0
/proc/19082/task/19086/stat : 19086 (java) S 19080 19082 18779 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 175665044 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19082/tid=19087] ppid=19080 vsize=915464 CPUtime=0
/proc/19082/task/19087/stat : 19087 (java) S 19080 19082 18779 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 175665047 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19082/tid=19088] ppid=19080 vsize=915464 CPUtime=0.17
/proc/19082/task/19088/stat : 19088 (java) S 19080 19082 18779 0 -1 64 358 0 0 0 17 0 0 0 15 0 8 0 175665047 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19082/tid=19089] ppid=19080 vsize=915464 CPUtime=0
/proc/19082/task/19089/stat : 19089 (java) S 19080 19082 18779 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 175665047 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19082/tid=19090] ppid=19080 vsize=915464 CPUtime=0
/proc/19082/task/19090/stat : 19090 (java) S 19080 19082 18779 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175665047 937435136 14105 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) 915464
[startup+2.97238 s]
/proc/loadavg: 1.80 1.33 1.12 3/93 19090
/proc/meminfo: memFree=298216/2055920 swapFree=4192812/4192956
[pid=19082] ppid=19080 vsize=915464 CPUtime=2.93
/proc/19082/stat : 19082 (java) R 19080 19082 18779 0 -1 0 14386 0 1 0 285 8 0 0 25 0 8 0 175665039 937435136 14122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073732264 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19082/statm: 228866 14122 2524 14 0 215336 0
[pid=19082/tid=19084] ppid=19080 vsize=915464 CPUtime=0.04
/proc/19082/task/19084/stat : 19084 (java) S 19080 19082 18779 0 -1 64 611 0 0 0 4 0 0 0 17 0 8 0 175665043 937435136 14122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19082/tid=19085] ppid=19080 vsize=915464 CPUtime=0
/proc/19082/task/19085/stat : 19085 (java) S 19080 19082 18779 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175665044 937435136 14122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19082/tid=19086] ppid=19080 vsize=915464 CPUtime=0
/proc/19082/task/19086/stat : 19086 (java) S 19080 19082 18779 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 175665044 937435136 14122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19082/tid=19087] ppid=19080 vsize=915464 CPUtime=0
/proc/19082/task/19087/stat : 19087 (java) S 19080 19082 18779 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 175665047 937435136 14122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19082/tid=19088] ppid=19080 vsize=915464 CPUtime=0.2
/proc/19082/task/19088/stat : 19088 (java) S 19080 19082 18779 0 -1 64 375 0 0 0 20 0 0 0 15 0 8 0 175665047 937435136 14122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19082/tid=19089] ppid=19080 vsize=915464 CPUtime=0
/proc/19082/task/19089/stat : 19089 (java) S 19080 19082 18779 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 175665047 937435136 14122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19082/tid=19090] ppid=19080 vsize=915464 CPUtime=0
/proc/19082/task/19090/stat : 19090 (java) S 19080 19082 18779 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175665047 937435136 14122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 4.52129
CPU time (s): 4.44132
CPU user time (s): 4.34134
CPU system time (s): 0.099984
CPU usage (%): 98.2312
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.34134
system time used= 0.099984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14399
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= 1143
involuntary context switches= 1488
runsolver used 0.005999 s user time and 0.024996 s system time
The end
Begin job on node26 on Mon Jan 8 16:11:48 UTC 2007
IDJOB= 225525
IDBENCH= 5868
FILE ID= node26/225525-1168272708
PBS_JOBID= 3483225
Free space on /tmp= 66537 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.9/rand-2-40-180-84-900-33_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/225525-1168272708/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-225525-1168272708 -o ROOT/results/node26/solver-225525-1168272708 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/225525-1168272708/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 2c1d63f71aa62cd0d008f2331a6aee4a
RANDOM SEED= 562293630
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.236
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.236
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: 356928 kB
Buffers: 13164 kB
Cached: 1499632 kB
SwapCached: 0 kB
Active: 980220 kB
Inactive: 665692 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 356928 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3624 kB
Writeback: 0 kB
Mapped: 152756 kB
Slab: 37768 kB
Committed_AS: 3580944 kB
PageTables: 2448 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= 66537 MiB
End job on node26 on Mon Jan 8 16:11:52 UTC 2007