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/197410-1168125707/unknown.xml
0.37
0.37 domains being loaded...
0.40
0.40 variables being loaded...
0.44 nbVariables=141 nbDomainTypes=135 minDomainSize=2 maxDomainSize=6
0.44 => wckTime=0.128 cpuTime=0.1 mem=6M886
0.44
0.44 relations being loaded...
0.48
0.48 constraints being loaded...
0.66 nbConstraints=895 nbRelationTypes=219 nbExtensionStructures=880 nbSharedExtensionStructures=15
0.66 nbConflictsStructures=880 nbSharedConflictsStructures=15 nbSharedBinaryRepresentations=6716 maxDegree=14
0.66 maxArity=2
0.66 => wckTime=0.344 cpuTime=0.24 mem=11M770
0.70
0.70 solver IterativeSystematicSolver being built...
0.86 => wckTime=0.544 cpuTime=0.37 mem=15M123
0.92
0.92 preprocessing
0.92 nbConstraintChecks=11180 nbPropagations=1387 nbRevisions=3778 nbUselessRevisions=2420 nbSingletonTests=200
0.92 nbEffectiveSingletonTests=0 nbESACBranches=10 nbRemovedValues=0 detectedInconsistency=no
0.92 => wckTime=0.063 cpuTime=0.04 mem=15M123
0.95
0.95 search
0.95 run=0 nbConstraintChecks=2659 nbPropagations=1657 nbRevisions=4695 nbUselessRevisions=2953 nbAssignments=44
0.95 nbFailedAssignments=3 nbBacktracks=12 nbVisitedNodes=52 nbRestartNogoods=0 mapSize=5 nbInferences=0
0.95 nbTooLargeKeys=0
0.95 => wckTime=0.092 cpuTime=0.06 mem=16M115
0.96
0.96 search
0.96 run=1 nbConstraintChecks=7932 nbPropagations=3802 nbRevisions=11302 nbUselessRevisions=7060 nbAssignments=121
0.96 nbFailedAssignments=8 nbBacktracks=28 nbVisitedNodes=121 nbRestartNogoods=2 mapSize=11 nbInferences=0
0.96 nbTooLargeKeys=0
0.96 => wckTime=0.102 cpuTime=0.07 mem=16M115
0.98
0.98 search
0.98 run=2 nbConstraintChecks=18546 nbPropagations=6855 nbRevisions=22194 nbUselessRevisions=13931
0.98 nbAssignments=254 nbFailedAssignments=14 nbBacktracks=54 nbVisitedNodes=205 nbRestartNogoods=5 mapSize=23
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.118 cpuTime=0.08 mem=16M115
0.99
0.99 search
0.99 run=3 nbConstraintChecks=26246 nbPropagations=10644 nbRevisions=35920 nbUselessRevisions=22533
0.99 nbAssignments=360 nbFailedAssignments=21 nbBacktracks=92 nbVisitedNodes=296 nbRestartNogoods=7 mapSize=36
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.133 cpuTime=0.09 mem=16M115
1.01
1.01 search
1.01 run=4 nbConstraintChecks=36884 nbPropagations=15338 nbRevisions=53575 nbUselessRevisions=33553
1.01 nbAssignments=514 nbFailedAssignments=31 nbBacktracks=142 nbVisitedNodes=416 nbRestartNogoods=10 mapSize=49
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.15 cpuTime=0.11 mem=16M115
1.03
1.03 search
1.03 run=5 nbConstraintChecks=49650 nbPropagations=21045 nbRevisions=76401 nbUselessRevisions=47820
1.03 nbAssignments=646 nbFailedAssignments=48 nbBacktracks=225 nbVisitedNodes=585 nbRestartNogoods=14 mapSize=83
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.168 cpuTime=0.12 mem=16M115
1.05
1.05 search
1.05 run=6 nbConstraintChecks=62702 nbPropagations=27775 nbRevisions=104173 nbUselessRevisions=65031
1.05 nbAssignments=809 nbFailedAssignments=72 nbBacktracks=340 nbVisitedNodes=797 nbRestartNogoods=17 mapSize=128
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.187 cpuTime=0.14 mem=16M115
1.08
1.08 search
1.08 run=7 nbConstraintChecks=81225 nbPropagations=36140 nbRevisions=138545 nbUselessRevisions=85966
1.08 nbAssignments=1066 nbFailedAssignments=111 nbBacktracks=512 nbVisitedNodes=1125 nbRestartNogoods=21
1.08 mapSize=200 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.216 cpuTime=0.17 mem=16M115
1.12
1.12 search
1.12 run=8 nbConstraintChecks=122283 nbPropagations=47540 nbRevisions=188630 nbUselessRevisions=116405
1.12 nbAssignments=1449 nbFailedAssignments=158 nbBacktracks=770 nbVisitedNodes=1566 nbRestartNogoods=26
1.12 mapSize=301 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.264 cpuTime=0.21 mem=16M115
1.19
1.19 search
1.19 run=9 nbConstraintChecks=175181 nbPropagations=62651 nbRevisions=260467 nbUselessRevisions=160661
1.19 nbAssignments=1929 nbFailedAssignments=226 nbBacktracks=1163 nbVisitedNodes=2193 nbRestartNogoods=29
1.19 mapSize=433 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.332 cpuTime=0.27 mem=16M115
1.27
1.27 search
1.28 run=10 nbConstraintChecks=255847 nbPropagations=83491 nbRevisions=366814 nbUselessRevisions=227989
1.28 nbAssignments=2613 nbFailedAssignments=313 nbBacktracks=1740 nbVisitedNodes=3088 nbRestartNogoods=35
1.28 mapSize=631 nbInferences=0 nbTooLargeKeys=0
1.28 => wckTime=0.415 cpuTime=0.34 mem=16M115
1.39
1.39 INFO : Stopping hyperNogood (mapSize=1026, nbTooLargekeys=0, mem=16M115)
1.39
1.39 search
1.39 run=11 nbConstraintChecks=385046 nbPropagations=114046 nbRevisions=524028 nbUselessRevisions=326552
1.39 nbAssignments=3734 nbFailedAssignments=546 nbBacktracks=2604 nbVisitedNodes=4686 nbRestartNogoods=39
1.39 => wckTime=0.533 cpuTime=0.45 mem=16M115
1.55
1.55 search
1.55 run=12 nbConstraintChecks=615198 nbPropagations=160070 nbRevisions=777000 nbUselessRevisions=487070
1.55 nbAssignments=5328 nbFailedAssignments=812 nbBacktracks=3911 nbVisitedNodes=6851 nbRestartNogoods=46
1.55 => wckTime=0.688 cpuTime=0.61 mem=16M115
1.78
1.78 search
1.78 run=13 nbConstraintChecks=981642 nbPropagations=230953 nbRevisions=1183165 nbUselessRevisions=747896
1.78 nbAssignments=7720 nbFailedAssignments=1239 nbBacktracks=5864 nbVisitedNodes=10126 nbRestartNogoods=52
1.78 => wckTime=0.923 cpuTime=0.84 mem=16M115
2.08
2.08 search
2.08 run=14 nbConstraintChecks=1398483 nbPropagations=332128 nbRevisions=1756993 nbUselessRevisions=1113269
2.08 nbAssignments=11343 nbFailedAssignments=1928 nbBacktracks=8784 nbVisitedNodes=15257 nbRestartNogoods=55
2.08 => wckTime=1.222 cpuTime=1.13 mem=16M115
2.53
2.53 search
2.53 run=15 nbConstraintChecks=2043026 nbPropagations=478915 nbRevisions=2617150 nbUselessRevisions=1673286
2.53 nbAssignments=16481 nbFailedAssignments=2669 nbBacktracks=13162 nbVisitedNodes=21984 nbRestartNogoods=62
2.53 => wckTime=1.666 cpuTime=1.58 mem=16M115
3.24
3.24 search
3.24 run=16 nbConstraintChecks=3139193 nbPropagations=700108 nbRevisions=3936413 nbUselessRevisions=2531636
3.24 nbAssignments=23932 nbFailedAssignments=3930 nbBacktracks=19180 nbVisitedNodes=32089 nbRestartNogoods=69
3.24 => wckTime=2.385 cpuTime=2.3 mem=16M115
3.25
3.25 global
3.25 nbConstraintChecks=3150373 nbPropagations=701495 nbRevisions=3940191 nbUselessRevisions=2534056
3.25 nbRestartNogoods=69 solvingWckTime=2.386 solvingCpuTime=2.3 expiredTime=no totalExploration=no
3.25 nbFoundSolutions=1 globalCpuTime=2.71
3.25 => wckTime=2.932 cpuTime=2.67 mem=16M115
3.25
3.25 s SATISFIABLE
3.25 v 0 5 15 17 7 11 2 14 5 2 13 11 16 17 8 6 6 4 10 7 9 14 0 17 9 11 12 10 2 13 5 10 2 4 14 13 11 6 8 13 8 17 7 12 6 11 9 8 1 12 2 6 5 7 10 9 16 11 6 7 1 4 5 10 0 15 8 9 12 1 12 17 7 5 9 2 1 6 15 16 3 10 1 5 6 11 2 10 16 1 6 14 15 6 14 13 16 9 3 15 17 11 5 3 15 7 16 8 0 6 11 14 13 0 9 5 16 9 13 6 4 15 5 3 11 7 10 3 14 2 13 5 17 14 0 5 10 9 3 7 15
3.25 d NODES 23932
3.25 d CHECKS 3150373
3.25
3.25 totalWckTime=3.007 totalCpuTime=2.71
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node4/watcher-197410-1168125707 -o ROOT/results/node4/solver-197410-1168125707 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/197410-1168125707/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.02 1.14 1.47 4/88 28143
/proc/meminfo: memFree=1778712/2055920 swapFree=4182144/4192956
[pid=28142] ppid=28140 vsize=172 CPUtime=0
/proc/28142/stat : 28142 (java) R 28140 28142 28022 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 160967821 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 10588964 0 0 4096 0 0 0 0 17 0 0 0
/proc/28142/statm: 43 24 18 14 0 3 0
[startup+0.10659 s]
/proc/loadavg: 1.02 1.14 1.47 4/88 28143
/proc/meminfo: memFree=1778712/2055920 swapFree=4182144/4192956
[pid=28142] ppid=28140 vsize=912588 CPUtime=0.07
/proc/28142/stat : 28142 (java) D 28140 28142 28022 0 -1 0 2751 0 1 0 6 1 0 0 24 0 8 0 160967821 934490112 2497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28142/statm: 228147 2497 1382 14 0 215091 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912588
[startup+0.517628 s]
/proc/loadavg: 1.02 1.14 1.47 4/88 28143
/proc/meminfo: memFree=1778712/2055920 swapFree=4182144/4192956
[pid=28142] ppid=28140 vsize=915328 CPUtime=0.47
/proc/28142/stat : 28142 (java) R 28140 28142 28022 0 -1 0 6355 0 1 0 43 4 0 0 25 0 8 0 160967821 937295872 6094 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073552813 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28142/statm: 228832 6095 2140 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.34371 s]
/proc/loadavg: 1.02 1.14 1.47 3/95 28150
/proc/meminfo: memFree=1753952/2055920 swapFree=4182144/4192956
[pid=28142] ppid=28140 vsize=915568 CPUtime=1.3
/proc/28142/stat : 28142 (java) R 28140 28142 28022 0 -1 0 8987 0 1 0 123 7 0 0 25 0 8 0 160967821 937541632 8725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073877952 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28142/statm: 228892 8725 2524 14 0 215362 0
[pid=28142/tid=28144] ppid=28140 vsize=915568 CPUtime=0.03
/proc/28142/task/28144/stat : 28144 (java) S 28140 28142 28022 0 -1 64 335 0 0 0 3 0 0 0 16 0 8 0 160967827 937541632 8725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28142/tid=28145] ppid=28140 vsize=915568 CPUtime=0
/proc/28142/task/28145/stat : 28145 (java) S 28140 28142 28022 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160967828 937541632 8725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28142/tid=28146] ppid=28140 vsize=915568 CPUtime=0
/proc/28142/task/28146/stat : 28146 (java) S 28140 28142 28022 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160967828 937541632 8725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28142/tid=28147] ppid=28140 vsize=915568 CPUtime=0
/proc/28142/task/28147/stat : 28147 (java) S 28140 28142 28022 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 160967831 937541632 8725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28142/tid=28148] ppid=28140 vsize=915568 CPUtime=0.25
/proc/28142/task/28148/stat : 28148 (java) S 28140 28142 28022 0 -1 64 413 0 0 0 24 1 0 0 15 0 8 0 160967831 937541632 8725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28142/tid=28149] ppid=28140 vsize=915568 CPUtime=0
/proc/28142/task/28149/stat : 28149 (java) S 28140 28142 28022 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 160967831 937541632 8725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28142/tid=28150] ppid=28140 vsize=915568 CPUtime=0
/proc/28142/task/28150/stat : 28150 (java) S 28140 28142 28022 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160967831 937541632 8725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915568
[startup+2.98087 s]
/proc/loadavg: 1.02 1.14 1.47 3/95 28150
/proc/meminfo: memFree=1753504/2055920 swapFree=4182144/4192956
[pid=28142] ppid=28140 vsize=915568 CPUtime=2.94
/proc/28142/stat : 28142 (java) R 28140 28142 28022 0 -1 0 9017 0 1 0 287 7 0 0 25 0 8 0 160967821 937541632 8754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942949 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28142/statm: 228892 8754 2524 14 0 215362 0
[pid=28142/tid=28144] ppid=28140 vsize=915568 CPUtime=0.03
/proc/28142/task/28144/stat : 28144 (java) S 28140 28142 28022 0 -1 64 335 0 0 0 3 0 0 0 16 0 8 0 160967827 937541632 8754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28142/tid=28145] ppid=28140 vsize=915568 CPUtime=0
/proc/28142/task/28145/stat : 28145 (java) S 28140 28142 28022 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160967828 937541632 8754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28142/tid=28146] ppid=28140 vsize=915568 CPUtime=0
/proc/28142/task/28146/stat : 28146 (java) S 28140 28142 28022 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160967828 937541632 8754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28142/tid=28147] ppid=28140 vsize=915568 CPUtime=0
/proc/28142/task/28147/stat : 28147 (java) S 28140 28142 28022 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 160967831 937541632 8754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28142/tid=28148] ppid=28140 vsize=915568 CPUtime=0.26
/proc/28142/task/28148/stat : 28148 (java) S 28140 28142 28022 0 -1 64 417 0 0 0 25 1 0 0 16 0 8 0 160967831 937541632 8754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28142/tid=28149] ppid=28140 vsize=915568 CPUtime=0
/proc/28142/task/28149/stat : 28149 (java) S 28140 28142 28022 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 160967831 937541632 8754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28142/tid=28150] ppid=28140 vsize=915568 CPUtime=0
/proc/28142/task/28150/stat : 28150 (java) S 28140 28142 28022 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160967831 937541632 8754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915568
Child status: 0
Real time (s): 3.27906
CPU time (s): 3.22251
CPU user time (s): 3.14352
CPU system time (s): 0.078987
CPU usage (%): 98.2755
Max. virtual memory (cumulated for all children) (KiB): 915568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.14352
system time used= 0.078987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9112
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= 1430
involuntary context switches= 1680
runsolver used 0.003999 s user time and 0.017997 s system time
The end
Begin job on node4 on Sat Jan 6 23:21:56 UTC 2007
IDJOB= 197410
IDBENCH= 3466
FILE ID= node4/197410-1168125707
PBS_JOBID= 3477610
Free space on /tmp= 66305 MiB
BENCH NAME= HOME/pub/bench/CPAI06/bqwh/bqwh-18-141/bqwh-18-141-47_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/197410-1168125707/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-197410-1168125707 -o ROOT/results/node4/solver-197410-1168125707 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/197410-1168125707/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= afb6f1956c7561e3598fd8710aa51fd7
RANDOM SEED= 368421101
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.223
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.223
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: 1779256 kB
Buffers: 33260 kB
Cached: 113808 kB
SwapCached: 2464 kB
Active: 138960 kB
Inactive: 83660 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1779256 kB
SwapTotal: 4192956 kB
SwapFree: 4182144 kB
Dirty: 1832 kB
Writeback: 0 kB
Mapped: 86332 kB
Slab: 38704 kB
Committed_AS: 4097924 kB
PageTables: 2444 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= 66305 MiB
End job on node4 on Sat Jan 6 23:22:11 UTC 2007