0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/197658-1168071090/unknown.xml
0.35
0.35 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=141 nbDomainTypes=138 minDomainSize=1 maxDomainSize=6
0.42 => wckTime=0.129 cpuTime=0.11 mem=6M886
0.42
0.42 relations being loaded...
0.47
0.47 constraints being loaded...
0.64 nbConstraints=860 nbRelationTypes=234 nbSingletonDomainVariables=2 nbExtensionStructures=854
0.64 nbSharedExtensionStructures=6 nbConflictsStructures=854 nbSharedConflictsStructures=6
0.64 nbSharedBinaryRepresentations=6704 maxDegree=14 maxArity=2
0.64 => wckTime=0.346 cpuTime=0.24 mem=11M770
0.68
0.68 solver IterativeSystematicSolver being built...
0.84 => wckTime=0.545 cpuTime=0.36 mem=15M115
0.85
0.85 preprocessing
0.85 nbConstraintChecks=41 nbPropagations=141 nbRevisions=11 nbUselessRevisions=1 nbRemovedValues=10
0.85 detectedInconsistency=no
0.85 => wckTime=0.015 cpuTime=0.01 mem=15M115
0.89
0.89 search
0.89 run=0 nbConstraintChecks=2466 nbPropagations=400 nbRevisions=846 nbUselessRevisions=447 nbAssignments=42
0.89 nbFailedAssignments=3 nbBacktracks=18 nbVisitedNodes=49 nbRestartNogoods=0 mapSize=5 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.052 cpuTime=0.03 mem=15M115
0.90
0.90 search
0.90 run=1 nbConstraintChecks=5694 nbPropagations=1130 nbRevisions=2875 nbUselessRevisions=1620 nbAssignments=93
0.90 nbFailedAssignments=7 nbBacktracks=35 nbVisitedNodes=107 nbRestartNogoods=1 mapSize=10 nbInferences=0
0.90 nbTooLargeKeys=0
0.90 => wckTime=0.066 cpuTime=0.04 mem=15M115
0.92
0.92 search
0.92 run=2 nbConstraintChecks=8962 nbPropagations=2197 nbRevisions=6073 nbUselessRevisions=3470 nbAssignments=151
0.92 nbFailedAssignments=12 nbBacktracks=65 nbVisitedNodes=175 nbRestartNogoods=3 mapSize=19 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.081 cpuTime=0.05 mem=15M115
0.93
0.93 search
0.93 run=3 nbConstraintChecks=13737 nbPropagations=3703 nbRevisions=11049 nbUselessRevisions=6371 nbAssignments=228
0.93 nbFailedAssignments=20 nbBacktracks=103 nbVisitedNodes=271 nbRestartNogoods=4 mapSize=37 nbInferences=0
0.93 nbTooLargeKeys=0
0.93 => wckTime=0.096 cpuTime=0.06 mem=15M115
0.95
0.95 search
0.95 run=4 nbConstraintChecks=21495 nbPropagations=5886 nbRevisions=19075 nbUselessRevisions=11112
0.95 nbAssignments=333 nbFailedAssignments=33 nbBacktracks=153 nbVisitedNodes=404 nbRestartNogoods=5 mapSize=62
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.111 cpuTime=0.08 mem=15M115
0.97
0.97 search
0.97 run=5 nbConstraintChecks=31552 nbPropagations=8824 nbRevisions=30785 nbUselessRevisions=18026
0.97 nbAssignments=443 nbFailedAssignments=51 nbBacktracks=237 nbVisitedNodes=558 nbRestartNogoods=8 mapSize=103
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.126 cpuTime=0.09 mem=15M115
0.99
0.99 search
0.99 run=6 nbConstraintChecks=50807 nbPropagations=13214 nbRevisions=50125 nbUselessRevisions=29492
0.99 nbAssignments=627 nbFailedAssignments=84 nbBacktracks=352 nbVisitedNodes=808 nbRestartNogoods=9 mapSize=161
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.154 cpuTime=0.11 mem=15M115
1.02
1.02 search
1.02 run=7 nbConstraintChecks=69587 nbPropagations=19169 nbRevisions=76768 nbUselessRevisions=45218
1.02 nbAssignments=869 nbFailedAssignments=124 nbBacktracks=524 nbVisitedNodes=1128 nbRestartNogoods=15 mapSize=224
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.182 cpuTime=0.14 mem=15M115
1.06
1.06 search
1.06 run=8 nbConstraintChecks=97394 nbPropagations=27452 nbRevisions=114059 nbUselessRevisions=67379
1.06 nbAssignments=1237 nbFailedAssignments=187 nbBacktracks=795 nbVisitedNodes=1633 nbRestartNogoods=19
1.06 mapSize=341 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.222 cpuTime=0.18 mem=15M115
1.12
1.12 search
1.12 run=9 nbConstraintChecks=129646 nbPropagations=38475 nbRevisions=165195 nbUselessRevisions=98591
1.12 nbAssignments=1716 nbFailedAssignments=244 nbBacktracks=1187 nbVisitedNodes=2230 nbRestartNogoods=22
1.12 mapSize=449 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.282 cpuTime=0.22 mem=16M90
1.21
1.21 search
1.21 run=10 nbConstraintChecks=225207 nbPropagations=56332 nbRevisions=254546 nbUselessRevisions=153345
1.21 nbAssignments=2460 nbFailedAssignments=392 nbBacktracks=1767 nbVisitedNodes=3297 nbRestartNogoods=25
1.21 mapSize=738 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.375 cpuTime=0.3 mem=16M90
1.28
1.28 INFO : Stopping hyperNogood (mapSize=1025, nbTooLargekeys=0, mem=16M90)
1.32
1.32 search
1.32 run=11 nbConstraintChecks=351565 nbPropagations=84158 nbRevisions=392370 nbUselessRevisions=237369
1.32 nbAssignments=3600 nbFailedAssignments=653 nbBacktracks=2631 nbVisitedNodes=5006 nbRestartNogoods=28
1.32 => wckTime=0.483 cpuTime=0.41 mem=16M90
1.47
1.47 search
1.47 run=12 nbConstraintChecks=553003 nbPropagations=127536 nbRevisions=610196 nbUselessRevisions=370752
1.47 nbAssignments=5291 nbFailedAssignments=1025 nbBacktracks=3930 nbVisitedNodes=7472 nbRestartNogoods=32
1.47 => wckTime=0.629 cpuTime=0.55 mem=16M90
1.70
1.70 search
1.70 run=13 nbConstraintChecks=898487 nbPropagations=196159 nbRevisions=983789 nbUselessRevisions=609856
1.70 nbAssignments=7718 nbFailedAssignments=1467 nbBacktracks=5879 nbVisitedNodes=10864 nbRestartNogoods=39
1.70 => wckTime=0.861 cpuTime=0.78 mem=16M90
2.04
2.04 search
2.04 run=14 nbConstraintChecks=1395995 nbPropagations=301429 nbRevisions=1562499 nbUselessRevisions=980951
2.04 nbAssignments=11365 nbFailedAssignments=2186 nbBacktracks=8799 nbVisitedNodes=16021 nbRestartNogoods=47
2.04 => wckTime=1.198 cpuTime=1.12 mem=16M90
2.22
2.22 search
2.22 run=15 nbConstraintChecks=1652828 nbPropagations=425940 nbRevisions=2250966 nbUselessRevisions=1423694
2.22 nbAssignments=13396 nbFailedAssignments=2588 nbBacktracks=10287 nbVisitedNodes=18802 nbRestartNogoods=50
2.22 => wckTime=1.38 cpuTime=1.3 mem=16M90
2.22
2.22 global
2.22 nbConstraintChecks=1652869 nbPropagations=426081 nbRevisions=2250977 nbUselessRevisions=1423695
2.22 nbRestartNogoods=50 solvingWckTime=1.38 solvingCpuTime=1.3 expiredTime=no totalExploration=no
2.22 nbFoundSolutions=1 globalCpuTime=1.7
2.22 => wckTime=1.928 cpuTime=1.66 mem=16M90
2.22
2.22 s SATISFIABLE
2.22 v 6 4 17 15 1 9 12 9 17 4 2 11 3 14 1 1 2 13 0 9 6 11 10 4 2 14 13 10 5 12 3 3 5 7 17 2 13 9 5 11 2 7 8 4 10 13 14 11 1 3 13 9 12 15 3 10 0 2 13 12 11 16 4 6 9 15 1 13 2 17 13 5 4 16 3 15 1 2 15 3 12 10 5 2 4 17 8 0 12 7 4 2 15 16 4 11 9 8 16 15 12 14 7 6 11 16 12 17 2 3 15 3 0 1 4 16 17 6 6 0 3 10 9 1 4 15 11 14 7 17 0 8 1 9 16 1 12 15 14 11 10
2.22 d NODES 13396
2.22 d CHECKS 1652869
2.22
2.22 totalWckTime=2.005 totalCpuTime=1.71
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node16/watcher-197658-1168071090 -o ROOT/results/node16/solver-197658-1168071090 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/197658-1168071090/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.41 1.75 1.85 4/93 20647
/proc/meminfo: memFree=1354776/2055920 swapFree=4191880/4192956
[pid=20646] ppid=20644 vsize=1500 CPUtime=0
/proc/20646/stat : 20646 (java) R 20644 20646 20579 0 -1 0 260 0 0 0 0 0 0 0 18 0 1 0 155503867 1536000 65 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7209048 0 0 4096 0 0 0 0 17 0 0 0
/proc/20646/statm: 375 69 55 14 0 8 0
[startup+0.107014 s]
/proc/loadavg: 1.41 1.75 1.85 4/93 20647
/proc/meminfo: memFree=1354776/2055920 swapFree=4191880/4192956
[pid=20646] ppid=20644 vsize=914988 CPUtime=0.09
/proc/20646/stat : 20646 (java) R 20644 20646 20579 0 -1 0 3102 0 1 0 8 1 0 0 24 0 8 0 155503867 936947712 2848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20646/statm: 228747 2848 1462 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.518939 s]
/proc/loadavg: 1.41 1.75 1.85 4/93 20647
/proc/meminfo: memFree=1354776/2055920 swapFree=4191880/4192956
[pid=20646] ppid=20644 vsize=915328 CPUtime=0.5
/proc/20646/stat : 20646 (java) R 20644 20646 20579 0 -1 0 6474 0 1 0 46 4 0 0 25 0 8 0 155503867 937295872 6213 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073564257 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20646/statm: 228832 6214 2140 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.34479 s]
/proc/loadavg: 1.41 1.75 1.85 4/100 20654
/proc/meminfo: memFree=1330336/2055920 swapFree=4191880/4192956
[pid=20646] ppid=20644 vsize=915568 CPUtime=1.32
/proc/20646/stat : 20646 (java) R 20644 20646 20579 0 -1 0 8872 0 1 0 126 6 0 0 25 0 8 0 155503867 937541632 8610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073480291 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20646/statm: 228892 8610 2513 14 0 215362 0
[pid=20646/tid=20648] ppid=20644 vsize=915568 CPUtime=0.03
/proc/20646/task/20648/stat : 20648 (java) S 20644 20646 20579 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 155503870 937541632 8610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20646/tid=20649] ppid=20644 vsize=915568 CPUtime=0
/proc/20646/task/20649/stat : 20649 (java) S 20644 20646 20579 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155503870 937541632 8610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20646/tid=20650] ppid=20644 vsize=915568 CPUtime=0
/proc/20646/task/20650/stat : 20650 (java) S 20644 20646 20579 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155503871 937541632 8610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20646/tid=20651] ppid=20644 vsize=915568 CPUtime=0
/proc/20646/task/20651/stat : 20651 (java) S 20644 20646 20579 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155503874 937541632 8610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20646/tid=20652] ppid=20644 vsize=915568 CPUtime=0.26
/proc/20646/task/20652/stat : 20652 (java) S 20644 20646 20579 0 -1 64 411 0 0 0 25 1 0 0 16 0 8 0 155503874 937541632 8610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20646/tid=20653] ppid=20644 vsize=915568 CPUtime=0
/proc/20646/task/20653/stat : 20653 (java) S 20644 20646 20579 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155503874 937541632 8610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20646/tid=20654] ppid=20644 vsize=915568 CPUtime=0
/proc/20646/task/20654/stat : 20654 (java) S 20644 20646 20579 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155503874 937541632 8610 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) 915568
Child status: 0
Real time (s): 2.26666
CPU time (s): 2.22066
CPU user time (s): 2.14567
CPU system time (s): 0.074988
CPU usage (%): 97.9706
Max. virtual memory (cumulated for all children) (KiB): 915568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.14567
system time used= 0.074988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8975
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= 1331
involuntary context switches= 1605
runsolver used 0.007998 s user time and 0.015997 s system time
The end
Begin job on node16 on Sat Jan 6 08:11:30 UTC 2007
IDJOB= 197658
IDBENCH= 3494
FILE ID= node16/197658-1168071090
PBS_JOBID= 3475727
Free space on /tmp= 66498 MiB
BENCH NAME= HOME/pub/bench/CPAI06/bqwh/bqwh-18-141/bqwh-18-141-5_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/197658-1168071090/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-197658-1168071090 -o ROOT/results/node16/solver-197658-1168071090 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/197658-1168071090/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= dc3a2c478779b5c575b2b6f8a984731f
RANDOM SEED= 235901623
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: 1355256 kB
Buffers: 63744 kB
Cached: 408044 kB
SwapCached: 268 kB
Active: 202340 kB
Inactive: 400804 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1355256 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1960 kB
Writeback: 0 kB
Mapped: 159804 kB
Slab: 82084 kB
Committed_AS: 4627952 kB
PageTables: 2568 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= 66498 MiB
End job on node16 on Sat Jan 6 08:11:35 UTC 2007