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/240428-1168373460/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.42 nbVariables=225 nbDomainTypes=16 minDomainSize=1 maxDomainSize=15
0.42 => wckTime=0.125 cpuTime=0.1 mem=7M894
0.42
0.42 relations being loaded...
0.42
0.42 constraints being loaded...
0.67 nbConstraints=2324 nbRelationTypes=17 nbSingletonDomainVariables=119 nbExtensionStructures=31
0.67 nbSharedExtensionStructures=2293 nbConflictsStructures=31 nbSharedConflictsStructures=2293
0.67 nbSharedBinaryRepresentations=493 maxDegree=28 maxArity=2
0.67 => wckTime=0.383 cpuTime=0.26 mem=14M737
0.73
0.73 solver IterativeSystematicSolver being built...
0.89 => wckTime=0.604 cpuTime=0.41 mem=16M549
0.98
0.98 preprocessing
0.98 nbConstraintChecks=34825 nbPropagations=1277 nbRevisions=11272 nbUselessRevisions=9034 nbSingletonTests=284
0.98 nbEffectiveSingletonTests=0 nbESACBranches=9 nbRemovedValues=1197 detectedInconsistency=no
0.98 => wckTime=0.082 cpuTime=0.06 mem=16M549
1.02
1.02 search
1.02 run=0 nbConstraintChecks=5119 nbPropagations=1713 nbRevisions=13342 nbUselessRevisions=10311 nbAssignments=184
1.02 nbFailedAssignments=9 nbBacktracks=17 nbVisitedNodes=198 nbRestartNogoods=0 mapSize=7 nbInferences=0
1.02 nbTooLargeKeys=0
1.02 => wckTime=0.125 cpuTime=0.08 mem=16M549
1.06
1.06 search
1.06 run=1 nbConstraintChecks=16316 nbPropagations=4304 nbRevisions=32651 nbUselessRevisions=25481
1.06 nbAssignments=443 nbFailedAssignments=15 nbBacktracks=36 nbVisitedNodes=377 nbRestartNogoods=6 mapSize=17
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.156 cpuTime=0.11 mem=16M549
1.07
1.07 search
1.07 run=2 nbConstraintChecks=19858 nbPropagations=7256 nbRevisions=53359 nbUselessRevisions=41478
1.07 nbAssignments=625 nbFailedAssignments=24 nbBacktracks=60 nbVisitedNodes=577 nbRestartNogoods=7 mapSize=32
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.174 cpuTime=0.13 mem=16M549
1.09
1.09 search
1.09 run=3 nbConstraintChecks=23905 nbPropagations=10575 nbRevisions=75589 nbUselessRevisions=58317
1.09 nbAssignments=804 nbFailedAssignments=37 nbBacktracks=94 nbVisitedNodes=779 nbRestartNogoods=9 mapSize=53
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.193 cpuTime=0.14 mem=16M549
1.12
1.12 search
1.12 run=4 nbConstraintChecks=29830 nbPropagations=14419 nbRevisions=100298 nbUselessRevisions=76672
1.12 nbAssignments=1010 nbFailedAssignments=51 nbBacktracks=146 nbVisitedNodes=1011 nbRestartNogoods=10 mapSize=78
1.12 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.216 cpuTime=0.16 mem=16M549
1.15
1.15 search
1.15 run=5 nbConstraintChecks=39398 nbPropagations=18985 nbRevisions=128945 nbUselessRevisions=97440
1.15 nbAssignments=1236 nbFailedAssignments=65 nbBacktracks=225 nbVisitedNodes=1266 nbRestartNogoods=11 mapSize=103
1.15 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.248 cpuTime=0.19 mem=16M549
1.19
1.19 search
1.19 run=6 nbConstraintChecks=55713 nbPropagations=24858 nbRevisions=164168 nbUselessRevisions=122256
1.19 nbAssignments=1773 nbFailedAssignments=95 nbBacktracks=342 nbVisitedNodes=1611 nbRestartNogoods=15 mapSize=161
1.19 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.287 cpuTime=0.22 mem=17M525
1.23
1.23 search
1.23 run=7 nbConstraintChecks=77650 nbPropagations=32174 nbRevisions=208637 nbUselessRevisions=153031
1.23 nbAssignments=2104 nbFailedAssignments=133 nbBacktracks=570 nbVisitedNodes=2009 nbRestartNogoods=17
1.23 mapSize=222 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.328 cpuTime=0.26 mem=17M525
1.28
1.28 search
1.28 run=8 nbConstraintChecks=121965 nbPropagations=42749 nbRevisions=271842 nbUselessRevisions=195593
1.28 nbAssignments=2589 nbFailedAssignments=223 nbBacktracks=826 nbVisitedNodes=2660 nbRestartNogoods=18
1.28 mapSize=366 nbInferences=0 nbTooLargeKeys=0
1.28 => wckTime=0.382 cpuTime=0.31 mem=17M525
1.36
1.36 search
1.36 run=9 nbConstraintChecks=181279 nbPropagations=57931 nbRevisions=359945 nbUselessRevisions=254204
1.36 nbAssignments=3292 nbFailedAssignments=333 nbBacktracks=1212 nbVisitedNodes=3494 nbRestartNogoods=27
1.36 mapSize=551 nbInferences=0 nbTooLargeKeys=0
1.36 => wckTime=0.463 cpuTime=0.38 mem=17M525
1.45
1.45 search
1.45 run=10 nbConstraintChecks=240902 nbPropagations=76807 nbRevisions=478252 nbUselessRevisions=335234
1.45 nbAssignments=4047 nbFailedAssignments=436 nbBacktracks=1798 nbVisitedNodes=4436 nbRestartNogoods=36
1.45 mapSize=724 nbInferences=0 nbTooLargeKeys=0
1.45 => wckTime=0.551 cpuTime=0.47 mem=17M525
1.56
1.56 search
1.56 run=11 nbConstraintChecks=326094 nbPropagations=101516 nbRevisions=636373 nbUselessRevisions=444153
1.56 nbAssignments=5210 nbFailedAssignments=592 nbBacktracks=2666 nbVisitedNodes=5891 nbRestartNogoods=37
1.56 mapSize=990 nbInferences=0 nbTooLargeKeys=0
1.57 => wckTime=0.666 cpuTime=0.58 mem=17M525
1.58
1.58 INFO : Stopping hyperNogood (mapSize=1002, nbTooLargekeys=0, mem=18M500)
1.67
1.67 search
1.67 run=12 nbConstraintChecks=416339 nbPropagations=131405 nbRevisions=845284 nbUselessRevisions=593241
1.67 nbAssignments=6708 nbFailedAssignments=701 nbBacktracks=3977 nbVisitedNodes=7610 nbRestartNogoods=42
1.67 => wckTime=0.773 cpuTime=0.69 mem=18M500
2.02
2.02 search
2.02 run=13 nbConstraintChecks=869907 nbPropagations=185203 nbRevisions=1326799 nbUselessRevisions=965061
2.02 nbAssignments=9239 nbFailedAssignments=1216 nbBacktracks=5923 nbVisitedNodes=11158 nbRestartNogoods=47
2.02 => wckTime=1.118 cpuTime=1.03 mem=18M500
2.21
2.21 search
2.21 run=14 nbConstraintChecks=1095379 nbPropagations=251082 nbRevisions=1941555 nbUselessRevisions=1445031
2.21 nbAssignments=10880 nbFailedAssignments=1487 nbBacktracks=7068 nbVisitedNodes=13343 nbRestartNogoods=51
2.21 => wckTime=1.309 cpuTime=1.22 mem=18M500
2.21
2.21 global
2.21 nbConstraintChecks=1130204 nbPropagations=252359 nbRevisions=1952827 nbUselessRevisions=1454065
2.21 nbRestartNogoods=51 solvingWckTime=1.31 solvingCpuTime=1.22 expiredTime=no totalExploration=no
2.21 nbFoundSolutions=1 globalCpuTime=1.67
2.21 => wckTime=1.918 cpuTime=1.63 mem=18M500
2.21
2.21 s SATISFIABLE
2.21 v 2 12 6 9 8 11 10 14 1 0 7 13 3 4 5 13 5 8 4 12 2 7 9 6 1 10 0 14 11 3 4 7 9 0 1 8 6 10 5 14 13 3 11 12 2 0 2 12 1 7 6 13 11 14 3 8 10 4 5 9 5 1 11 7 9 13 0 2 3 6 4 14 12 8 10 12 4 10 3 2 5 11 8 7 13 6 9 1 14 0 7 0 3 12 6 10 8 1 2 9 11 4 5 13 14 9 11 7 10 4 14 12 0 8 2 5 1 6 3 13 6 10 4 13 5 3 14 12 9 7 1 2 8 0 11 11 14 1 8 3 4 9 5 13 10 12 6 0 2 7 1 8 14 2 13 0 5 4 10 11 3 12 7 9 6 10 6 2 5 14 9 1 3 12 8 0 11 13 7 4 3 13 0 11 10 1 2 7 4 12 14 5 9 6 8 14 9 5 6 11 7 3 13 0 4 2 8 10 1 12 8 3 13 14 0 12 4 6 11 5 9 7 2 10 1
2.21 d NODES 10880
2.21 d CHECKS 1130204
2.21
2.21 totalWckTime=1.996 totalCpuTime=1.68
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node2/watcher-240428-1168373460 -o ROOT/results/node2/solver-240428-1168373460 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/240428-1168373460/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.71 0.88 1.01 4/88 4696
/proc/meminfo: memFree=1747664/2055920 swapFree=4180528/4192956
[pid=4695] ppid=4693 vsize=1784 CPUtime=0
/proc/4695/stat : 4695 (java) R 4693 4695 4478 0 -1 0 374 0 0 0 0 0 0 0 18 0 1 0 185741719 1826816 163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 10535716 0 2147483391 4096 0 0 0 0 17 0 0 0
/proc/4695/statm: 446 163 128 14 0 91 0
[startup+0.108568 s]
/proc/loadavg: 0.71 0.88 1.01 4/88 4696
/proc/meminfo: memFree=1747664/2055920 swapFree=4180528/4192956
[pid=4695] ppid=4693 vsize=914988 CPUtime=0.1
/proc/4695/stat : 4695 (java) R 4693 4695 4478 0 -1 0 3121 0 1 0 8 2 0 0 24 0 8 0 185741719 936947712 2867 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4695/statm: 228747 2867 1469 14 0 215242 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 914988
[startup+0.516647 s]
/proc/loadavg: 0.71 0.88 1.01 4/88 4696
/proc/meminfo: memFree=1747664/2055920 swapFree=4180528/4192956
[pid=4695] ppid=4693 vsize=915328 CPUtime=0.49
/proc/4695/stat : 4695 (java) R 4693 4695 4478 0 -1 0 6568 0 1 0 45 4 0 0 25 0 8 0 185741719 937295872 6307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4695/statm: 228832 6309 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33979 s]
/proc/loadavg: 0.71 0.88 1.01 3/95 4703
/proc/meminfo: memFree=1722200/2055920 swapFree=4180528/4192956
[pid=4695] ppid=4693 vsize=915580 CPUtime=1.32
/proc/4695/stat : 4695 (java) R 4693 4695 4478 0 -1 0 9283 0 1 0 125 7 0 0 25 0 8 0 185741719 937553920 9021 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073911472 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4695/statm: 228895 9021 2524 14 0 215365 0
[pid=4695/tid=4697] ppid=4693 vsize=915580 CPUtime=0.04
/proc/4695/task/4697/stat : 4697 (java) S 4693 4695 4478 0 -1 64 451 0 0 0 4 0 0 0 16 0 8 0 185741722 937553920 9021 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4695/tid=4698] ppid=4693 vsize=915580 CPUtime=0
/proc/4695/task/4698/stat : 4698 (java) S 4693 4695 4478 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185741722 937553920 9021 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4695/tid=4699] ppid=4693 vsize=915580 CPUtime=0
/proc/4695/task/4699/stat : 4699 (java) S 4693 4695 4478 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185741722 937553920 9021 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4695/tid=4700] ppid=4693 vsize=915580 CPUtime=0
/proc/4695/task/4700/stat : 4700 (java) S 4693 4695 4478 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 185741725 937553920 9021 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4695/tid=4701] ppid=4693 vsize=915580 CPUtime=0.25
/proc/4695/task/4701/stat : 4701 (java) S 4693 4695 4478 0 -1 64 423 0 0 0 24 1 0 0 15 0 8 0 185741725 937553920 9021 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4695/tid=4702] ppid=4693 vsize=915580 CPUtime=0
/proc/4695/task/4702/stat : 4702 (java) S 4693 4695 4478 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 185741725 937553920 9021 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4695/tid=4703] ppid=4693 vsize=915580 CPUtime=0
/proc/4695/task/4703/stat : 4703 (java) S 4693 4695 4478 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185741726 937553920 9022 18446744073709551615 134512640 134570532 4294956480 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) 915580
Child status: 0
Real time (s): 2.26556
CPU time (s): 2.20666
CPU user time (s): 2.12368
CPU system time (s): 0.082987
CPU usage (%): 97.4006
Max. virtual memory (cumulated for all children) (KiB): 915580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.12368
system time used= 0.082987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9541
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= 1374
involuntary context switches= 1634
runsolver used 0.002999 s user time and 0.014997 s system time
The end
Begin job on node2 on Tue Jan 9 20:11:00 UTC 2007
IDJOB= 240428
IDBENCH= 7127
FILE ID= node2/240428-1168373460
PBS_JOBID= 3522050
Free space on /tmp= 66533 MiB
BENCH NAME= HOME/pub/bench/CPAI06/qcp-qwh/QWH-15/qwh-15-106-7_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/240428-1168373460/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-240428-1168373460 -o ROOT/results/node2/solver-240428-1168373460 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/240428-1168373460/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= fc4e46e0a59593cbeec486dc8d85a5d4
RANDOM SEED= 897851480
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.259
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 : 5931.00
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.259
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: 1748528 kB
Buffers: 38544 kB
Cached: 159320 kB
SwapCached: 424 kB
Active: 170244 kB
Inactive: 85200 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1748528 kB
SwapTotal: 4192956 kB
SwapFree: 4180528 kB
Dirty: 3216 kB
Writeback: 0 kB
Mapped: 70404 kB
Slab: 36464 kB
Committed_AS: 5122840 kB
PageTables: 2428 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= 66533 MiB
End job on node2 on Tue Jan 9 20:11:03 UTC 2007