0.36
0.36 Abscon 109 (November, 2006)
0.36
0.36 configuration
0.36 name=esac.xml
0.39
0.39 instance
0.39 name=/tmp/evaluation/240333-1168373034/unknown.xml
0.42
0.42 domains being loaded...
0.42
0.42 variables being loaded...
0.48 nbVariables=225 nbDomainTypes=16 minDomainSize=1 maxDomainSize=15
0.48 => wckTime=0.125 cpuTime=0.1 mem=7M894
0.49
0.49 relations being loaded...
0.49
0.49 constraints being loaded...
0.74 nbConstraints=2324 nbRelationTypes=17 nbSingletonDomainVariables=119 nbExtensionStructures=31
0.74 nbSharedExtensionStructures=2293 nbConflictsStructures=31 nbSharedConflictsStructures=2293
0.74 nbSharedBinaryRepresentations=493 maxDegree=28 maxArity=2
0.74 => wckTime=0.382 cpuTime=0.26 mem=14M737
0.79
0.79 solver IterativeSystematicSolver being built...
0.96 => wckTime=0.596 cpuTime=0.4 mem=16M549
1.08
1.08 preprocessing
1.08 nbConstraintChecks=48022 nbPropagations=1702 nbRevisions=14073 nbUselessRevisions=11566 nbSingletonTests=520
1.08 nbEffectiveSingletonTests=1 nbESACBranches=12 nbRemovedValues=1179 detectedInconsistency=no
1.08 => wckTime=0.121 cpuTime=0.09 mem=16M549
1.12
1.12 search
1.12 run=0 nbConstraintChecks=3726 nbPropagations=1948 nbRevisions=15406 nbUselessRevisions=12345 nbAssignments=151
1.12 nbFailedAssignments=4 nbBacktracks=19 nbVisitedNodes=162 nbRestartNogoods=0 mapSize=9 nbInferences=0
1.12 nbTooLargeKeys=0
1.12 => wckTime=0.156 cpuTime=0.11 mem=16M549
1.14
1.14 search
1.14 run=1 nbConstraintChecks=8536 nbPropagations=4305 nbRevisions=32593 nbUselessRevisions=25669 nbAssignments=335
1.14 nbFailedAssignments=19 nbBacktracks=46 nbVisitedNodes=370 nbRestartNogoods=1 mapSize=29 nbInferences=0
1.14 nbTooLargeKeys=0
1.14 => wckTime=0.177 cpuTime=0.13 mem=16M549
1.16
1.16 search
1.16 run=2 nbConstraintChecks=14999 nbPropagations=7190 nbRevisions=52594 nbUselessRevisions=40973
1.16 nbAssignments=545 nbFailedAssignments=28 nbBacktracks=76 nbVisitedNodes=570 nbRestartNogoods=4 mapSize=42
1.16 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.198 cpuTime=0.15 mem=16M549
1.18
1.18 search
1.18 run=3 nbConstraintChecks=19051 nbPropagations=10417 nbRevisions=74162 nbUselessRevisions=57246
1.18 nbAssignments=744 nbFailedAssignments=38 nbBacktracks=110 nbVisitedNodes=785 nbRestartNogoods=6 mapSize=54
1.18 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.221 cpuTime=0.17 mem=16M549
1.21
1.21 search
1.21 run=4 nbConstraintChecks=27623 nbPropagations=14260 nbRevisions=99696 nbUselessRevisions=76395
1.21 nbAssignments=1132 nbFailedAssignments=48 nbBacktracks=220 nbVisitedNodes=991 nbRestartNogoods=10 mapSize=69
1.21 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.251 cpuTime=0.19 mem=16M549
1.25
1.25 search
1.25 run=5 nbConstraintChecks=36778 nbPropagations=18894 nbRevisions=128768 nbUselessRevisions=97578
1.25 nbAssignments=1374 nbFailedAssignments=67 nbBacktracks=307 nbVisitedNodes=1282 nbRestartNogoods=11 mapSize=114
1.25 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.286 cpuTime=0.22 mem=16M549
1.28
1.28 search
1.28 run=6 nbConstraintChecks=48776 nbPropagations=24556 nbRevisions=162232 nbUselessRevisions=121162
1.28 nbAssignments=1658 nbFailedAssignments=100 nbBacktracks=426 nbVisitedNodes=1628 nbRestartNogoods=13
1.28 mapSize=172 nbInferences=0 nbTooLargeKeys=0
1.28 => wckTime=0.316 cpuTime=0.24 mem=17M524
1.32
1.32 search
1.32 run=7 nbConstraintChecks=69138 nbPropagations=31795 nbRevisions=203793 nbUselessRevisions=149696
1.32 nbAssignments=2016 nbFailedAssignments=147 nbBacktracks=597 nbVisitedNodes=2068 nbRestartNogoods=15
1.32 mapSize=255 nbInferences=0 nbTooLargeKeys=0
1.32 => wckTime=0.358 cpuTime=0.28 mem=17M524
1.37
1.37 search
1.37 run=8 nbConstraintChecks=105036 nbPropagations=41862 nbRevisions=260359 nbUselessRevisions=187674
1.37 nbAssignments=2530 nbFailedAssignments=231 nbBacktracks=854 nbVisitedNodes=2693 nbRestartNogoods=21
1.37 mapSize=390 nbInferences=1 nbTooLargeKeys=0
1.37 => wckTime=0.412 cpuTime=0.33 mem=17M524
1.44
1.44 search
1.44 run=9 nbConstraintChecks=145838 nbPropagations=55192 nbRevisions=333838 nbUselessRevisions=236377
1.44 nbAssignments=3146 nbFailedAssignments=325 nbBacktracks=1238 nbVisitedNodes=3477 nbRestartNogoods=27
1.44 mapSize=565 nbInferences=1 nbTooLargeKeys=0
1.44 => wckTime=0.48 cpuTime=0.39 mem=17M524
1.55
1.55 search
1.55 run=10 nbConstraintChecks=227290 nbPropagations=74753 nbRevisions=441330 nbUselessRevisions=306093
1.55 nbAssignments=4022 nbFailedAssignments=499 nbBacktracks=1819 nbVisitedNodes=4699 nbRestartNogoods=30
1.55 mapSize=871 nbInferences=1 nbTooLargeKeys=0
1.55 => wckTime=0.585 cpuTime=0.49 mem=17M524
1.61
1.61 INFO : Stopping hyperNogood (mapSize=1024, nbTooLargekeys=0, mem=17M524)
1.63
1.63 search
1.63 run=11 nbConstraintChecks=283553 nbPropagations=97511 nbRevisions=581543 nbUselessRevisions=402160
1.63 nbAssignments=5021 nbFailedAssignments=616 nbBacktracks=2690 nbVisitedNodes=5918 nbRestartNogoods=36
1.63 => wckTime=0.674 cpuTime=0.58 mem=17M524
1.76
1.76 search
1.76 run=12 nbConstraintChecks=390793 nbPropagations=125152 nbRevisions=789971 nbUselessRevisions=556432
1.76 nbAssignments=6574 nbFailedAssignments=742 nbBacktracks=4068 nbVisitedNodes=7690 nbRestartNogoods=39
1.76 => wckTime=0.796 cpuTime=0.7 mem=17M524
2.06
2.06 search
2.06 run=13 nbConstraintChecks=750978 nbPropagations=168956 nbRevisions=1234739 nbUselessRevisions=914587
2.06 nbAssignments=8951 nbFailedAssignments=1093 nbBacktracks=6027 nbVisitedNodes=10724 nbRestartNogoods=47
2.06 => wckTime=1.097 cpuTime=1.0 mem=17M524
2.60
2.60 search
2.60 run=14 nbConstraintChecks=1400091 nbPropagations=241500 nbRevisions=2114622 nbUselessRevisions=1650115
2.60 nbAssignments=12671 nbFailedAssignments=1871 nbBacktracks=8947 nbVisitedNodes=15852 nbRestartNogoods=54
2.60 => wckTime=1.641 cpuTime=1.54 mem=17M524
2.77
2.77 search
2.77 run=15 nbConstraintChecks=1587290 nbPropagations=322168 nbRevisions=3115952 nbUselessRevisions=2490228
2.77 nbAssignments=13956 nbFailedAssignments=2063 nbBacktracks=9815 nbVisitedNodes=17476 nbRestartNogoods=60
2.77 => wckTime=1.808 cpuTime=1.7 mem=17M524
2.77
2.77 global
2.77 nbConstraintChecks=1635312 nbPropagations=323870 nbRevisions=3130025 nbUselessRevisions=2501794
2.77 nbRestartNogoods=60 solvingWckTime=1.809 solvingCpuTime=1.7 expiredTime=no totalExploration=no
2.77 nbFoundSolutions=1 globalCpuTime=2.15
2.77 => wckTime=2.41 cpuTime=2.1 mem=17M524
2.77
2.77 s SATISFIABLE
2.77 v 8 5 7 6 1 14 10 2 12 0 3 9 4 11 13 14 10 12 11 8 4 13 1 9 2 0 6 7 5 3 3 14 9 12 2 5 0 10 7 11 4 13 1 6 8 2 7 5 3 12 1 11 4 10 8 9 0 13 14 6 6 1 10 5 0 13 12 9 3 7 11 8 2 4 14 4 3 1 14 11 10 6 7 13 12 5 2 8 9 0 0 8 11 9 7 12 4 3 2 1 14 10 6 13 5 13 12 4 7 5 9 2 14 1 3 6 11 0 8 10 11 4 8 2 3 6 5 13 14 9 7 12 10 0 1 1 9 3 4 13 0 8 6 5 10 2 14 12 7 11 10 0 2 13 6 11 7 8 4 14 1 5 3 12 9 7 13 14 1 10 2 9 0 6 5 8 4 11 3 12 12 11 0 10 4 3 14 5 8 6 13 1 9 2 7 5 2 6 8 9 7 1 11 0 13 12 3 14 10 4 9 6 13 0 14 8 3 12 11 4 10 7 5 1 2
2.77 d NODES 13956
2.77 d CHECKS 1635312
2.77
2.77 totalWckTime=2.486 totalCpuTime=2.15
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node16/watcher-240333-1168373034 -o ROOT/results/node16/solver-240333-1168373034 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/240333-1168373034/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.85 1.52 1.81 4/87 29444
/proc/meminfo: memFree=1726824/2055920 swapFree=4191880/4192956
[pid=29443] ppid=29441 vsize=18540 CPUtime=0
/proc/29443/stat : 29443 (runsolver) R 29441 29443 27943 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 185698221 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 231962373415 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/29443/statm: 4635 279 244 17 0 2626 0
[startup+0.109113 s]
/proc/loadavg: 0.85 1.52 1.81 4/87 29444
/proc/meminfo: memFree=1726824/2055920 swapFree=4191880/4192956
[pid=29443] ppid=29441 vsize=907676 CPUtime=0.04
/proc/29443/stat : 29443 (java) R 29441 29443 27943 0 -1 0 2277 0 1 0 3 1 0 0 16 0 4 0 185698221 929460224 2024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153785378 0 4 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/29443/statm: 226919 2024 1141 14 0 214502 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 907676
[startup+0.517034 s]
/proc/loadavg: 0.85 1.52 1.81 4/87 29444
/proc/meminfo: memFree=1726824/2055920 swapFree=4191880/4192956
[pid=29443] ppid=29441 vsize=915328 CPUtime=0.43
/proc/29443/stat : 29443 (java) R 29441 29443 27943 0 -1 0 6300 0 1 0 40 3 0 0 21 0 8 0 185698221 937295872 6039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073448346 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29443/statm: 228832 6040 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 915328
[startup+1.33788 s]
/proc/loadavg: 0.94 1.53 1.81 3/94 29451
/proc/meminfo: memFree=1701232/2055920 swapFree=4191880/4192956
[pid=29443] ppid=29441 vsize=915580 CPUtime=1.25
/proc/29443/stat : 29443 (java) R 29441 29443 27943 0 -1 0 9234 0 1 0 118 7 0 0 25 0 8 0 185698221 937553920 8972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073937175 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29443/statm: 228895 8972 2524 14 0 215365 0
[pid=29443/tid=29445] ppid=29441 vsize=915580 CPUtime=0.04
/proc/29443/task/29445/stat : 29445 (java) S 29441 29443 27943 0 -1 64 451 0 0 0 4 0 0 0 17 0 8 0 185698231 937553920 8972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29443/tid=29446] ppid=29441 vsize=915580 CPUtime=0
/proc/29443/task/29446/stat : 29446 (java) S 29441 29443 27943 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185698231 937553920 8972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29443/tid=29447] ppid=29441 vsize=915580 CPUtime=0
/proc/29443/task/29447/stat : 29447 (java) S 29441 29443 27943 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185698232 937553920 8972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29443/tid=29448] ppid=29441 vsize=915580 CPUtime=0
/proc/29443/task/29448/stat : 29448 (java) S 29441 29443 27943 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 185698235 937553920 8972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29443/tid=29449] ppid=29441 vsize=915580 CPUtime=0.26
/proc/29443/task/29449/stat : 29449 (java) S 29441 29443 27943 0 -1 64 422 0 0 0 25 1 0 0 15 0 8 0 185698235 937553920 8972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29443/tid=29450] ppid=29441 vsize=915580 CPUtime=0
/proc/29443/task/29450/stat : 29450 (java) S 29441 29443 27943 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185698235 937553920 8972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29443/tid=29451] ppid=29441 vsize=915580 CPUtime=0
/proc/29443/task/29451/stat : 29451 (java) S 29441 29443 27943 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185698235 937553920 8972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 915580
Child status: 0
Real time (s): 2.80222
CPU time (s): 2.69259
CPU user time (s): 2.6086
CPU system time (s): 0.083987
CPU usage (%): 96.0877
Max. virtual memory (cumulated for all children) (KiB): 915580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.6086
system time used= 0.083987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9494
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= 1394
involuntary context switches= 1635
runsolver used 0.005999 s user time and 0.019996 s system time
The end
Begin job on node16 on Tue Jan 9 20:03:54 UTC 2007
IDJOB= 240333
IDBENCH= 7122
FILE ID= node16/240333-1168373034
PBS_JOBID= 3522030
Free space on /tmp= 66520 MiB
BENCH NAME= HOME/pub/bench/CPAI06/qcp-qwh/QWH-15/qwh-15-106-1_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/240333-1168373034/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-240333-1168373034 -o ROOT/results/node16/solver-240333-1168373034 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/240333-1168373034/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7322c53585591128f0e651c01e9887eb
RANDOM SEED= 395784126
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.220
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.220
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: 1727304 kB
Buffers: 53412 kB
Cached: 169452 kB
SwapCached: 448 kB
Active: 188948 kB
Inactive: 87084 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1727304 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 3640 kB
Writeback: 0 kB
Mapped: 72652 kB
Slab: 37396 kB
Committed_AS: 5449620 kB
PageTables: 2340 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= 66520 MiB
End job on node16 on Tue Jan 9 20:03:57 UTC 2007