0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=esac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/241823-1168375680/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.38 nbVariables=60 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.39 => wckTime=0.09 cpuTime=0.08 mem=6M951
0.39
0.39 relations being loaded...
0.39
0.39 constraints being loaded...
0.42 nbConstraints=40 nbRelationTypes=2 nbExtensionStructures=2 nbSharedExtensionStructures=38
0.42 nbConflictsStructures=2 nbSharedConflictsStructures=38 nbSharedBinaryRepresentations=0 maxDegree=2 maxArity=3
0.42 => wckTime=0.125 cpuTime=0.1 mem=6M951
0.45
0.45 solver IterativeSystematicSolver being built...
0.63 => wckTime=0.335 cpuTime=0.25 mem=15M297
0.65
0.65 preprocessing
0.65 nbConstraintChecks=182 nbValidityChecks=491 nbPropagations=193 nbRevisions=254 nbUselessRevisions=202
0.65 nbSingletonTests=85 nbEffectiveSingletonTests=0 nbESACBranches=2 nbRemovedValues=0 detectedInconsistency=no
0.65 => wckTime=0.019 cpuTime=0.01 mem=15M297
0.68
0.68 search
0.68 run=0 nbConstraintChecks=82 nbValidityChecks=342 nbPropagations=265 nbRevisions=401 nbUselessRevisions=297
0.68 nbAssignments=42 nbFailedAssignments=2 nbBacktracks=11 nbVisitedNodes=49 nbRestartNogoods=0 mapSize=5
0.68 nbInferences=2 nbTooLargeKeys=0
0.68 => wckTime=0.044 cpuTime=0.02 mem=15M297
0.69
0.69 search
0.69 run=1 nbConstraintChecks=195 nbValidityChecks=768 nbPropagations=623 nbRevisions=984 nbUselessRevisions=700
0.69 nbAssignments=81 nbFailedAssignments=6 nbBacktracks=27 nbVisitedNodes=97 nbRestartNogoods=1 mapSize=12
0.69 nbInferences=3 nbTooLargeKeys=0
0.69 => wckTime=0.056 cpuTime=0.03 mem=15M297
0.70
0.70 search
0.70 run=2 nbConstraintChecks=356 nbValidityChecks=1288 nbPropagations=1090 nbRevisions=1786
0.70 nbUselessRevisions=1237 nbAssignments=140 nbFailedAssignments=11 nbBacktracks=52 nbVisitedNodes=169
0.70 nbRestartNogoods=2 mapSize=24 nbInferences=6 nbTooLargeKeys=0
0.70 => wckTime=0.069 cpuTime=0.04 mem=15M297
0.71
0.71 search
0.71 run=3 nbConstraintChecks=622 nbValidityChecks=2086 nbPropagations=1737 nbRevisions=2936
0.71 nbUselessRevisions=1959 nbAssignments=201 nbFailedAssignments=21 nbBacktracks=87 nbVisitedNodes=251
0.71 nbRestartNogoods=3 mapSize=44 nbInferences=7 nbTooLargeKeys=0
0.71 => wckTime=0.081 cpuTime=0.05 mem=15M297
0.73
0.73 search
0.73 run=4 nbConstraintChecks=977 nbValidityChecks=3074 nbPropagations=2610 nbRevisions=4515
0.73 nbUselessRevisions=2915 nbAssignments=291 nbFailedAssignments=30 nbBacktracks=137 nbVisitedNodes=366
0.73 nbRestartNogoods=4 mapSize=65 nbInferences=14 nbTooLargeKeys=0
0.73 => wckTime=0.097 cpuTime=0.06 mem=15M297
0.74
0.74 search
0.74 run=5 nbConstraintChecks=1309 nbValidityChecks=4128 nbPropagations=3736 nbRevisions=6552
0.74 nbUselessRevisions=4119 nbAssignments=408 nbFailedAssignments=38 nbBacktracks=215 nbVisitedNodes=514
0.74 nbRestartNogoods=8 mapSize=94 nbInferences=28 nbTooLargeKeys=0
0.74 => wckTime=0.11 cpuTime=0.07 mem=15M297
0.76
0.76 search
0.76 run=6 nbConstraintChecks=1919 nbValidityChecks=5960 nbPropagations=5310 nbRevisions=9371
0.76 nbUselessRevisions=5731 nbAssignments=585 nbFailedAssignments=47 nbBacktracks=329 nbVisitedNodes=739
0.76 nbRestartNogoods=10 mapSize=138 nbInferences=58 nbTooLargeKeys=0
0.76 => wckTime=0.134 cpuTime=0.09 mem=15M297
0.78
0.78 search
0.78 run=7 nbConstraintChecks=3428 nbValidityChecks=9973 nbPropagations=7857 nbRevisions=13894
0.78 nbUselessRevisions=8200 nbAssignments=846 nbFailedAssignments=60 nbBacktracks=499 nbVisitedNodes=1081
0.78 nbRestartNogoods=14 mapSize=214 nbInferences=114 nbTooLargeKeys=0
0.78 => wckTime=0.153 cpuTime=0.11 mem=15M297
0.81
0.81 search
0.81 run=8 nbConstraintChecks=5352 nbValidityChecks=15706 nbPropagations=11762 nbRevisions=20824
0.81 nbUselessRevisions=11959 nbAssignments=1248 nbFailedAssignments=70 nbBacktracks=757 nbVisitedNodes=1615
0.81 nbRestartNogoods=19 mapSize=343 nbInferences=227 nbTooLargeKeys=0
0.81 => wckTime=0.178 cpuTime=0.13 mem=15M297
0.86
0.86 search
0.86 run=9 nbConstraintChecks=9486 nbValidityChecks=27360 nbPropagations=18469 nbRevisions=32647
0.86 nbUselessRevisions=18302 nbAssignments=1885 nbFailedAssignments=74 nbBacktracks=1143 nbVisitedNodes=2495
0.86 nbRestartNogoods=22 mapSize=585 nbInferences=466 nbTooLargeKeys=0
0.86 => wckTime=0.231 cpuTime=0.16 mem=15M297
0.91
0.91 search
0.91 run=10 nbConstraintChecks=15779 nbValidityChecks=44999 nbPropagations=29311 nbRevisions=51872
0.91 nbUselessRevisions=28681 nbAssignments=2859 nbFailedAssignments=78 nbBacktracks=1722 nbVisitedNodes=3850
0.91 nbRestartNogoods=23 mapSize=963 nbInferences=842 nbTooLargeKeys=0
0.91 => wckTime=0.281 cpuTime=0.2 mem=15M297
0.97
0.97 search
0.97 run=11 nbConstraintChecks=25829 nbValidityChecks=73093 nbPropagations=46870 nbRevisions=82919
0.97 nbUselessRevisions=45324 nbAssignments=4315 nbFailedAssignments=78 nbBacktracks=2587 nbVisitedNodes=5879
0.97 nbRestartNogoods=26 mapSize=1532 nbInferences=1415 nbTooLargeKeys=0
0.97 => wckTime=0.337 cpuTime=0.26 mem=15M297
1.05
1.05 search
1.05 run=12 nbConstraintChecks=41289 nbValidityChecks=116317 nbPropagations=74846 nbRevisions=132129
1.05 nbUselessRevisions=71434 nbAssignments=6482 nbFailedAssignments=78 nbBacktracks=3888 nbVisitedNodes=8902
1.05 nbRestartNogoods=30 mapSize=2384 nbInferences=2271 nbTooLargeKeys=0
1.05 => wckTime=0.418 cpuTime=0.34 mem=16M272
1.17
1.17 search
1.17 run=13 nbConstraintChecks=62340 nbValidityChecks=176669 nbPropagations=116562 nbRevisions=206521
1.17 nbUselessRevisions=112117 nbAssignments=10005 nbFailedAssignments=78 nbBacktracks=5834 nbVisitedNodes=13982
1.17 nbRestartNogoods=34 mapSize=3936 nbInferences=3828 nbTooLargeKeys=0
1.17 => wckTime=0.539 cpuTime=0.46 mem=16M272
1.35
1.35 search
1.35 run=14 nbConstraintChecks=95047 nbValidityChecks=270525 nbPropagations=180021 nbRevisions=320211
1.35 nbUselessRevisions=175110 nbAssignments=15313 nbFailedAssignments=78 nbBacktracks=8755 nbVisitedNodes=21662
1.35 nbRestartNogoods=38 mapSize=6302 nbInferences=6200 nbTooLargeKeys=0
1.35 => wckTime=0.722 cpuTime=0.64 mem=16M272
1.38
1.38 search
1.38 run=15 nbConstraintChecks=98930 nbValidityChecks=281436 nbPropagations=245946 nbRevisions=438542
1.38 nbUselessRevisions=240885 nbAssignments=16006 nbFailedAssignments=78 nbBacktracks=9148 nbVisitedNodes=22655
1.38 nbRestartNogoods=44 mapSize=6602 nbInferences=6501 nbTooLargeKeys=0
1.38 => wckTime=0.746 cpuTime=0.67 mem=16M272
1.38
1.38 global
1.38 nbConstraintChecks=99112 nbValidityChecks=281927 nbPropagations=246139 nbRevisions=438796
1.38 nbUselessRevisions=241087 nbRestartNogoods=44 solvingWckTime=0.747 solvingCpuTime=0.67 expiredTime=no
1.38 totalExploration=yes nbFoundSolutions=0 globalCpuTime=0.97
1.38 => wckTime=1.084 cpuTime=0.92 mem=16M272
1.38
1.38 s UNSATISFIABLE
1.38 d NODES 16006
1.38 d CHECKS 99112
1.38
1.38 totalWckTime=1.162 totalCpuTime=0.97
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node10/watcher-241823-1168375680 -o ROOT/results/node10/solver-241823-1168375680 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/241823-1168375680/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.06 0.15 0.38 4/83 3452
/proc/meminfo: memFree=1754808/2055920 swapFree=4178216/4192956
[pid=3451] ppid=3448 vsize=172 CPUtime=0
/proc/3451/stat : 3451 (java) R 3448 3451 3018 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 185963821 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 8905003 0 0 4096 0 0 0 0 17 1 0 0
/proc/3451/statm: 43 24 18 14 0 3 0
[startup+0.102741 s]
/proc/loadavg: 0.06 0.15 0.38 4/83 3452
/proc/meminfo: memFree=1754808/2055920 swapFree=4178216/4192956
[pid=3451] ppid=3448 vsize=914988 CPUtime=0.09
/proc/3451/stat : 3451 (java) R 3448 3451 3018 0 -1 0 3052 0 1 0 8 1 0 0 22 0 8 0 185963821 936947712 2798 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155746764 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3451/statm: 228747 2798 1447 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.511799 s]
/proc/loadavg: 0.06 0.15 0.38 4/83 3452
/proc/meminfo: memFree=1754808/2055920 swapFree=4178216/4192956
[pid=3451] ppid=3448 vsize=915460 CPUtime=0.5
/proc/3451/stat : 3451 (java) R 3448 3451 3018 0 -1 0 6678 0 1 0 46 4 0 0 25 0 8 0 185963821 937431040 6416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3451/statm: 228865 6416 2471 14 0 215335 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915460
[startup+1.3389 s]
/proc/loadavg: 0.13 0.17 0.38 2/88 3484
/proc/meminfo: memFree=1730512/2055920 swapFree=4178216/4192956
[pid=3451] ppid=3448 vsize=915460 CPUtime=1.32
/proc/3451/stat : 3451 (java) R 3448 3451 3018 0 -1 0 8956 0 1 0 126 6 0 0 18 0 8 0 185963821 937431040 8694 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073673907 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3451/statm: 228865 8694 2527 14 0 215335 0
[pid=3451/tid=3467] ppid=3448 vsize=915460 CPUtime=0.02
/proc/3451/task/3467/stat : 3467 (java) S 3448 3451 3018 0 -1 64 120 0 0 0 2 0 0 0 16 0 8 0 185963825 937431040 8694 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3451/tid=3469] ppid=3448 vsize=915460 CPUtime=0
/proc/3451/task/3469/stat : 3469 (java) S 3448 3451 3018 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185963825 937431040 8694 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3451/tid=3470] ppid=3448 vsize=915460 CPUtime=0
/proc/3451/task/3470/stat : 3470 (java) S 3448 3451 3018 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185963825 937431040 8694 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3451/tid=3473] ppid=3448 vsize=915460 CPUtime=0
/proc/3451/task/3473/stat : 3473 (java) S 3448 3451 3018 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 185963828 937431040 8694 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3451/tid=3474] ppid=3448 vsize=915460 CPUtime=0.17
/proc/3451/task/3474/stat : 3474 (java) S 3448 3451 3018 0 -1 64 366 0 0 0 16 1 0 0 15 0 8 0 185963828 937431040 8694 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3451/tid=3475] ppid=3448 vsize=915460 CPUtime=0
/proc/3451/task/3475/stat : 3475 (java) S 3448 3451 3018 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 185963828 937431040 8694 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3451/tid=3476] ppid=3448 vsize=915460 CPUtime=0
/proc/3451/task/3476/stat : 3476 (java) S 3448 3451 3018 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185963828 937431040 8694 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 1.43532
CPU time (s): 1.38079
CPU user time (s): 1.3078
CPU system time (s): 0.072988
CPU usage (%): 96.2009
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.3078
system time used= 0.072988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9085
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= 898
involuntary context switches= 695
runsolver used 0.007998 s user time and 0.008998 s system time
The end
Begin job on node10 on Tue Jan 9 20:48:02 UTC 2007
IDJOB= 241823
IDBENCH= 7349
FILE ID= node10/241823-1168375680
PBS_JOBID= 3522287
Free space on /tmp= 66558 MiB
BENCH NAME= HOME/pub/bench/CPAI06/dimacs/pret/pret-60-40_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/241823-1168375680/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-241823-1168375680 -o ROOT/results/node10/solver-241823-1168375680 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/241823-1168375680/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 0d74555e44f25386bfce89d3fd5d9a3a
RANDOM SEED= 421422798
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.232
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.232
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: 1755416 kB
Buffers: 61948 kB
Cached: 147412 kB
SwapCached: 2596 kB
Active: 135104 kB
Inactive: 108988 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1755416 kB
SwapTotal: 4192956 kB
SwapFree: 4178216 kB
Dirty: 5080 kB
Writeback: 0 kB
Mapped: 43832 kB
Slab: 41392 kB
Committed_AS: 5349776 kB
PageTables: 2120 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= 66558 MiB
End job on node10 on Tue Jan 9 20:48:14 UTC 2007