0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=esac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/225976-1168274105/unknown.xml
0.39
0.39 domains being loaded...
0.40
0.40 variables being loaded...
0.44 nbVariables=40 nbDomainTypes=1 minDomainSize=180 maxDomainSize=180
0.44 => wckTime=0.104 cpuTime=0.09 mem=6M951
0.44
0.44 relations being loaded...
0.80
0.80 constraints being loaded...
0.93 nbConstraints=84 nbRelationTypes=84 nbExtensionStructures=84 nbSharedExtensionStructures=0
0.93 nbConflictsStructures=84 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=8 maxArity=2
0.93 => wckTime=0.602 cpuTime=0.54 mem=36M339
0.99
0.99 solver IterativeSystematicSolver being built...
1.16 => wckTime=0.829 cpuTime=0.68 mem=16M381
1.24
1.24 preprocessing
1.24 nbConstraintChecks=481330 nbPropagations=1026 nbRevisions=3427 nbUselessRevisions=1935 nbSingletonTests=55
1.24 nbEffectiveSingletonTests=0 nbESACBranches=8 nbRemovedValues=0 detectedInconsistency=no
1.24 => wckTime=0.07 cpuTime=0.05 mem=16M381
1.29
1.29 search
1.29 run=0 nbConstraintChecks=264433 nbPropagations=2120 nbRevisions=7221 nbUselessRevisions=3692 nbAssignments=45
1.29 nbFailedAssignments=30 nbBacktracks=10 nbVisitedNodes=81 nbRestartNogoods=0 mapSize=6 nbInferences=0
1.29 nbTooLargeKeys=0
1.29 => wckTime=0.121 cpuTime=0.09 mem=16M381
1.34
1.34 search
1.34 run=1 nbConstraintChecks=915106 nbPropagations=6614 nbRevisions=22862 nbUselessRevisions=11153
1.34 nbAssignments=130 nbFailedAssignments=84 nbBacktracks=25 nbVisitedNodes=222 nbRestartNogoods=3 mapSize=19
1.34 nbInferences=0 nbTooLargeKeys=0
1.34 => wckTime=0.171 cpuTime=0.13 mem=16M381
1.38
1.38 search
1.38 run=2 nbConstraintChecks=1592671 nbPropagations=13467 nbRevisions=46692 nbUselessRevisions=22684
1.38 nbAssignments=220 nbFailedAssignments=128 nbBacktracks=47 nbVisitedNodes=351 nbRestartNogoods=8 mapSize=39
1.38 nbInferences=0 nbTooLargeKeys=0
1.38 => wckTime=0.219 cpuTime=0.17 mem=16M381
1.48
1.48 search
1.48 run=3 nbConstraintChecks=3028892 nbPropagations=25643 nbRevisions=89550 nbUselessRevisions=43019
1.48 nbAssignments=409 nbFailedAssignments=244 nbBacktracks=81 nbVisitedNodes=648 nbRestartNogoods=16 mapSize=68
1.48 nbInferences=0 nbTooLargeKeys=0
1.48 => wckTime=0.312 cpuTime=0.26 mem=16M381
1.56
1.56 search
1.56 run=4 nbConstraintChecks=4422804 nbPropagations=43424 nbRevisions=151552 nbUselessRevisions=72042
1.56 nbAssignments=588 nbFailedAssignments=356 nbBacktracks=131 nbVisitedNodes=960 nbRestartNogoods=25 mapSize=110
1.57 nbInferences=0 nbTooLargeKeys=0
1.57 => wckTime=0.398 cpuTime=0.35 mem=16M381
1.65
1.65 search
1.65 run=5 nbConstraintChecks=5706707 nbPropagations=66525 nbRevisions=232239 nbUselessRevisions=109696
1.65 nbAssignments=764 nbFailedAssignments=451 nbBacktracks=207 nbVisitedNodes=1275 nbRestartNogoods=33 mapSize=175
1.65 nbInferences=0 nbTooLargeKeys=0
1.65 => wckTime=0.481 cpuTime=0.43 mem=16M381
1.84
1.84 search
1.84 run=6 nbConstraintChecks=8610794 nbPropagations=103282 nbRevisions=360681 nbUselessRevisions=169050
1.84 nbAssignments=1233 nbFailedAssignments=795 nbBacktracks=320 nbVisitedNodes=2161 nbRestartNogoods=40
1.84 mapSize=277 nbInferences=0 nbTooLargeKeys=0
1.84 => wckTime=0.676 cpuTime=0.62 mem=17M353
2.04
2.04 search
2.04 run=7 nbConstraintChecks=11673074 nbPropagations=152502 nbRevisions=533081 nbUselessRevisions=248664
2.04 nbAssignments=1622 nbFailedAssignments=1009 nbBacktracks=490 nbVisitedNodes=2873 nbRestartNogoods=52
2.04 mapSize=427 nbInferences=0 nbTooLargeKeys=0
2.04 => wckTime=0.873 cpuTime=0.8 mem=17M353
2.30
2.30 search
2.30 run=8 nbConstraintChecks=15853978 nbPropagations=218010 nbRevisions=763894 nbUselessRevisions=355413
2.30 nbAssignments=2127 nbFailedAssignments=1255 nbBacktracks=746 nbVisitedNodes=3771 nbRestartNogoods=55
2.30 mapSize=636 nbInferences=0 nbTooLargeKeys=0
2.30 => wckTime=1.138 cpuTime=1.05 mem=17M353
2.61
2.61 search
2.61 run=9 nbConstraintChecks=20907991 nbPropagations=305964 nbRevisions=1072952 nbUselessRevisions=496513
2.61 nbAssignments=2788 nbFailedAssignments=1619 nbBacktracks=1002 nbVisitedNodes=4965 nbRestartNogoods=60
2.61 mapSize=854 nbInferences=1 nbTooLargeKeys=0
2.61 => wckTime=1.446 cpuTime=1.36 mem=17M353
2.61
2.61 global
2.61 nbConstraintChecks=21389321 nbPropagations=306990 nbRevisions=1076379 nbUselessRevisions=498448
2.61 nbRestartNogoods=60 solvingWckTime=1.448 solvingCpuTime=1.36 expiredTime=no totalExploration=no
2.61 nbFoundSolutions=1 globalCpuTime=2.09
2.61 => wckTime=2.282 cpuTime=2.04 mem=17M353
2.62
2.62 s SATISFIABLE
2.62 v 143 28 55 158 41 113 30 135 80 150 24 66 49 119 12 13 29 98 116 151 123 74 16 137 8 71 173 111 93 145 149 117 7 151 70 166 159 52 155 134
2.62 d NODES 2788
2.62 d CHECKS 21389321
2.62
2.62 totalWckTime=2.363 totalCpuTime=2.09
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-225976-1168274105 -o ROOT/results/node19/solver-225976-1168274105 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/225976-1168274105/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.92 1.98 1.96 4/87 28213
/proc/meminfo: memFree=1673616/2055920 swapFree=4171244/4192956
[pid=28212] ppid=28210 vsize=1784 CPUtime=0
/proc/28212/stat : 28212 (java) D 28210 28212 27753 0 -1 0 169 0 0 0 0 0 0 0 18 0 1 0 175805124 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/28212/statm: 446 140 106 14 0 91 0
[startup+0.107428 s]
/proc/loadavg: 1.92 1.98 1.96 4/87 28213
/proc/meminfo: memFree=1673616/2055920 swapFree=4171244/4192956
[pid=28212] ppid=28210 vsize=913068 CPUtime=0.08
/proc/28212/stat : 28212 (java) S 28210 28212 27753 0 -1 0 2858 0 1 0 6 2 0 0 17 0 8 0 175805124 934981632 2604 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28212/statm: 228267 2604 1395 14 0 215168 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913068
[startup+0.515503 s]
/proc/loadavg: 1.92 1.98 1.96 4/87 28213
/proc/meminfo: memFree=1673616/2055920 swapFree=4171244/4192956
[pid=28212] ppid=28210 vsize=915328 CPUtime=0.47
/proc/28212/stat : 28212 (java) R 28210 28212 27753 0 -1 0 7137 0 1 0 42 5 0 0 18 0 8 0 175805124 937295872 6876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073456146 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28212/statm: 228832 6876 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.33866 s]
/proc/loadavg: 1.92 1.98 1.96 4/94 28220
/proc/meminfo: memFree=1627224/2055920 swapFree=4171244/4192956
[pid=28212] ppid=28210 vsize=915464 CPUtime=1.28
/proc/28212/stat : 28212 (java) R 28210 28212 27753 0 -1 0 14352 0 1 0 119 9 0 0 25 0 8 0 175805124 937435136 14090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073764353 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28212/statm: 228866 14090 2524 14 0 215336 0
[pid=28212/tid=28214] ppid=28210 vsize=915464 CPUtime=0.04
/proc/28212/task/28214/stat : 28214 (java) S 28210 28212 27753 0 -1 64 611 0 0 0 4 0 0 0 17 0 8 0 175805129 937435136 14090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28212/tid=28215] ppid=28210 vsize=915464 CPUtime=0
/proc/28212/task/28215/stat : 28215 (java) S 28210 28212 27753 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175805130 937435136 14090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28212/tid=28216] ppid=28210 vsize=915464 CPUtime=0
/proc/28212/task/28216/stat : 28216 (java) S 28210 28212 27753 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 175805130 937435136 14090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28212/tid=28217] ppid=28210 vsize=915464 CPUtime=0
/proc/28212/task/28217/stat : 28217 (java) S 28210 28212 27753 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 175805133 937435136 14090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28212/tid=28218] ppid=28210 vsize=915464 CPUtime=0.17
/proc/28212/task/28218/stat : 28218 (java) S 28210 28212 27753 0 -1 64 355 0 0 0 16 1 0 0 15 0 8 0 175805133 937435136 14090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28212/tid=28219] ppid=28210 vsize=915464 CPUtime=0
/proc/28212/task/28219/stat : 28219 (java) S 28210 28212 27753 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 175805133 937435136 14090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28212/tid=28220] ppid=28210 vsize=915464 CPUtime=0
/proc/28212/task/28220/stat : 28220 (java) S 28210 28212 27753 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 175805133 937435136 14090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 2.65896
CPU time (s): 2.57261
CPU user time (s): 2.45563
CPU system time (s): 0.116982
CPU usage (%): 96.7526
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.45563
system time used= 0.116982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14379
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= 1070
involuntary context switches= 1199
runsolver used 0.008998 s user time and 0.017997 s system time
The end
Begin job on node19 on Mon Jan 8 16:35:05 UTC 2007
IDJOB= 225976
IDBENCH= 5917
FILE ID= node19/225976-1168274105
PBS_JOBID= 3483019
Free space on /tmp= 66315 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.9/rand-2-40-180-84-900-47_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/225976-1168274105/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-225976-1168274105 -o ROOT/results/node19/solver-225976-1168274105 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/225976-1168274105/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7ffc72f9e0beeed37d123dab57de4530
RANDOM SEED= 294444872
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.260
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.260
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: 1674096 kB
Buffers: 52148 kB
Cached: 132972 kB
SwapCached: 9904 kB
Active: 236756 kB
Inactive: 88140 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1674096 kB
SwapTotal: 4192956 kB
SwapFree: 4171244 kB
Dirty: 3488 kB
Writeback: 0 kB
Mapped: 150376 kB
Slab: 41396 kB
Committed_AS: 4738980 kB
PageTables: 2632 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= 66315 MiB
End job on node19 on Mon Jan 8 16:35:08 UTC 2007