0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=epfc.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/278515-1169288644/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=100 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.43 => wckTime=0.105 cpuTime=0.09 mem=6M887
0.43
0.43 relations being loaded...
0.48
0.48 constraints being loaded...
0.64 nbConstraints=797 nbRelationTypes=223 nbExtensionStructures=223 nbSharedExtensionStructures=574
0.64 nbConflictsStructures=223 nbSharedConflictsStructures=574 nbSharedBinaryRepresentations=20 maxDegree=58
0.64 maxArity=11
0.64 => wckTime=0.313 cpuTime=0.21 mem=10M788
0.69
0.69 solver LocalSearchSolver being built...
0.73 => wckTime=0.401 cpuTime=0.25 mem=6M248
0.73
0.73 s SATISFIABLE
0.73 o 746
0.73 c 51
0.73 o 751
0.73 c 46
0.73 o 753
0.73 c 44
0.74 o 756
0.74 c 41
0.74 o 758
0.74 c 39
0.74 o 760
0.74 c 37
0.74 o 761
0.74 c 36
0.74 o 762
0.74 c 35
0.74 o 766
0.74 c 31
0.75 o 769
0.75 c 28
0.75 o 772
0.75 c 25
0.75 o 775
0.75 c 22
0.75 o 777
0.75 c 20
0.75 o 779
0.75 c 18
0.75 o 780
0.75 c 17
0.75 o 781
0.75 c 16
0.76 o 782
0.76 c 15
0.76 o 784
0.76 c 13
0.76 o 787
0.76 c 10
0.76 o 788
0.76 c 9
0.76 o 790
0.76 c 7
0.76 o 791
0.76 c 6
0.76 o 792
0.76 c 5
0.79 o 793
0.79 c 4
0.80 o 794
0.80 c 3
0.81 o 795
0.81 c 2
0.81 o 796
0.81 c 1
0.81
0.81 search
0.81 run=0 nbConstraintChecks=92755 nbAssignments=223
0.81 => wckTime=0.083 cpuTime=0.07 mem=6M248
0.81
0.81 global
0.81 nbConstraintChecks=92755 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.81 solvingWckTime=0.082 solvingCpuTime=0.07 expiredTime=no totalExploration=no nbFoundSolutions=0
0.81 globalCpuTime=0.37
0.81 => wckTime=0.484 cpuTime=0.32 mem=6M248
0.81
0.81 solver IterativeSystematicSolver being built...
1.01 => wckTime=0.683 cpuTime=0.48 mem=24M39
1.25
1.25 preprocessing
1.25 nbConstraintChecks=10408 nbValidityChecks=11880 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.25 nbRemovedValues=6 detectedInconsistency=no
1.25 => wckTime=0.241 cpuTime=0.21 mem=24M39
1.32
1.32 search
1.32 run=0 nbConstraintChecks=3439 nbValidityChecks=6281 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.32 nbAssignments=39 nbFailedAssignments=3 nbBacktracks=14 nbVisitedNodes=45 nbRestartNogoods=0
1.32 => wckTime=0.31 cpuTime=0.27 mem=25M63
1.40
1.41 search
1.41 run=1 nbConstraintChecks=8244 nbValidityChecks=14685 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.41 nbAssignments=88 nbFailedAssignments=10 nbBacktracks=29 nbVisitedNodes=101 nbRestartNogoods=1
1.41 => wckTime=0.396 cpuTime=0.34 mem=25M63
1.48
1.48 search
1.48 run=2 nbConstraintChecks=13697 nbValidityChecks=25643 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.48 nbAssignments=137 nbFailedAssignments=17 nbBacktracks=63 nbVisitedNodes=158 nbRestartNogoods=2
1.48 => wckTime=0.468 cpuTime=0.42 mem=25M63
1.56
1.56 search
1.56 run=3 nbConstraintChecks=18624 nbValidityChecks=31847 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.56 nbAssignments=186 nbFailedAssignments=27 nbBacktracks=102 nbVisitedNodes=219 nbRestartNogoods=3
1.56 => wckTime=0.549 cpuTime=0.5 mem=25M63
1.71
1.71 search
1.71 run=4 nbConstraintChecks=29722 nbValidityChecks=51383 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.71 nbAssignments=284 nbFailedAssignments=50 nbBacktracks=156 nbVisitedNodes=341 nbRestartNogoods=3
1.71 => wckTime=0.701 cpuTime=0.65 mem=25M63
1.91
1.91 search
1.91 run=5 nbConstraintChecks=44388 nbValidityChecks=79745 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.91 nbAssignments=403 nbFailedAssignments=73 nbBacktracks=235 nbVisitedNodes=487 nbRestartNogoods=7
1.91 => wckTime=0.899 cpuTime=0.84 mem=25M63
2.12
2.12 search
2.12 run=6 nbConstraintChecks=56371 nbValidityChecks=102541 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
2.12 nbAssignments=542 nbFailedAssignments=98 nbBacktracks=349 nbVisitedNodes=654 nbRestartNogoods=13
2.12 => wckTime=1.105 cpuTime=1.04 mem=25M63
2.35
2.35 search
2.35 run=7 nbConstraintChecks=70336 nbValidityChecks=128819 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
2.35 nbAssignments=687 nbFailedAssignments=125 nbBacktracks=468 nbVisitedNodes=830 nbRestartNogoods=13
2.35 => wckTime=1.337 cpuTime=1.26 mem=25M63
2.35
2.35 global
2.35 nbConstraintChecks=80744 nbValidityChecks=140699 nbRestartNogoods=13 solvingWckTime=1.338 solvingCpuTime=1.27
2.35 expiredTime=no totalExploration=yes nbFoundSolutions=0 globalCpuTime=1.8
2.35 => wckTime=2.022 cpuTime=1.75 mem=25M63
2.35
2.35 s OPTIMUM FOUND
2.35 v 0 1 0 0 0 1 1 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 1 0 1 0 0 0 0 1 1 1 1 1 0 1 1 1 0 1 0 1 0 0 1 1 0 1 1 1 1 0 1 1 0 0 0 1 0 1 0 0 1 1 1 1 1 0 1 0 1 0 0 1 0 0 1 0 0 1 1 0 1 1 1 1 0
2.35
2.35 totalWckTime=2.103 totalCpuTime=1.8
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node3/watcher-278515-1169288644 -o ROOT/results/node3/solver-278515-1169288644 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278515-1169288644/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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.97 1.91 4/93 31151
/proc/meminfo: memFree=1276400/2055920 swapFree=4191880/4192956
[pid=31150] ppid=31148 vsize=18540 CPUtime=0
/proc/31150/stat : 31150 (runsolver) R 31148 31150 30581 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 277260052 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 233632754983 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/31150/statm: 4635 279 244 17 0 2626 0
[startup+0.107969 s]
/proc/loadavg: 1.92 1.97 1.91 4/93 31151
/proc/meminfo: memFree=1276400/2055920 swapFree=4191880/4192956
[pid=31150] ppid=31148 vsize=914988 CPUtime=0.08
/proc/31150/stat : 31150 (java) R 31148 31150 30581 0 -1 0 2988 0 1 0 6 2 0 0 17 0 8 0 277260052 936947712 2734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155599465 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31150/statm: 228747 2734 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.520036 s]
/proc/loadavg: 1.92 1.97 1.91 4/93 31151
/proc/meminfo: memFree=1276400/2055920 swapFree=4191880/4192956
[pid=31150] ppid=31148 vsize=915332 CPUtime=0.49
/proc/31150/stat : 31150 (java) R 31148 31150 30581 0 -1 0 6223 0 1 0 44 5 0 0 19 0 8 0 277260052 937299968 5962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31150/statm: 228833 5962 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.34317 s]
/proc/loadavg: 1.92 1.97 1.91 3/100 31158
/proc/meminfo: memFree=1243384/2055920 swapFree=4191880/4192956
[pid=31150] ppid=31148 vsize=915548 CPUtime=1.29
/proc/31150/stat : 31150 (java) R 31148 31150 30581 0 -1 0 11073 0 1 0 120 9 0 0 24 0 8 0 277260052 937521152 10810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073842569 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31150/statm: 228887 10810 2532 14 0 215357 0
[pid=31150/tid=31152] ppid=31148 vsize=915548 CPUtime=0.03
/proc/31150/task/31152/stat : 31152 (java) S 31148 31150 30581 0 -1 64 341 0 0 0 3 0 0 0 16 0 8 0 277260056 937521152 10810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31150/tid=31153] ppid=31148 vsize=915548 CPUtime=0
/proc/31150/task/31153/stat : 31153 (java) S 31148 31150 30581 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277260057 937521152 10810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31150/tid=31154] ppid=31148 vsize=915548 CPUtime=0
/proc/31150/task/31154/stat : 31154 (java) S 31148 31150 30581 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277260057 937521152 10810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31150/tid=31155] ppid=31148 vsize=915548 CPUtime=0
/proc/31150/task/31155/stat : 31155 (java) S 31148 31150 30581 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277260060 937521152 10810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31150/tid=31156] ppid=31148 vsize=915548 CPUtime=0.24
/proc/31150/task/31156/stat : 31156 (java) S 31148 31150 30581 0 -1 64 398 0 0 0 23 1 0 0 15 0 8 0 277260060 937521152 10810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31150/tid=31157] ppid=31148 vsize=915548 CPUtime=0
/proc/31150/task/31157/stat : 31157 (java) S 31148 31150 30581 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277260060 937521152 10810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31150/tid=31158] ppid=31148 vsize=915548 CPUtime=0
/proc/31150/task/31158/stat : 31158 (java) S 31148 31150 30581 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277260060 937521152 10810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915548
Child status: 0
Real time (s): 2.40985
CPU time (s): 2.31265
CPU user time (s): 2.20267
CPU system time (s): 0.109983
CPU usage (%): 95.9663
Max. virtual memory (cumulated for all children) (KiB): 916064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.20267
system time used= 0.109983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11190
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= 1188
involuntary context switches= 1470
runsolver used 0.008998 s user time and 0.019996 s system time
The end
Begin job on node3 on Sat Jan 20 10:24:04 UTC 2007
IDJOB= 278515
IDBENCH= 8474
IDSOLVER= 68
FILE ID= node3/278515-1169288644
PBS_JOBID= 3609529
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/dimacs/jnhUnsat/jnh208_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278515-1169288644/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-278515-1169288644 -o ROOT/results/node3/solver-278515-1169288644 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278515-1169288644/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= af367b2e16e10ccee153eb09201fad82
RANDOM SEED= 673567834
TIME LIMIT= 2400 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: 1276816 kB
Buffers: 56620 kB
Cached: 563120 kB
SwapCached: 284 kB
Active: 221392 kB
Inactive: 482060 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1276816 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1804 kB
Writeback: 0 kB
Mapped: 105372 kB
Slab: 60532 kB
Committed_AS: 8361196 kB
PageTables: 2160 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= 66561 MiB
End job on node3 on Sat Jan 20 10:24:07 UTC 2007