0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.35 name=/tmp/evaluation/217560-1168079463/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=35 nbDomainTypes=1 minDomainSize=17 maxDomainSize=17
0.41 => wckTime=0.098 cpuTime=0.09 mem=6M951
0.41
0.41 relations being loaded...
0.49
0.49 constraints being loaded...
0.61 nbConstraints=273 nbRelationTypes=273 nbExtensionStructures=273 nbSharedExtensionStructures=0
0.61 nbConflictsStructures=273 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2516 maxDegree=21
0.61 maxArity=2
0.61 => wckTime=0.291 cpuTime=0.21 mem=11M828
0.65
0.65 solver IterativeSystematicSolver being built...
0.80 => wckTime=0.486 cpuTime=0.33 mem=13M758
0.81
0.81 preprocessing
0.81 nbConstraintChecks=0 nbPropagations=35 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.81 detectedInconsistency=no
0.81 => wckTime=0.0040 cpuTime=0.0 mem=13M758
0.86
0.86 search
0.86 run=0 nbConstraintChecks=36086 nbPropagations=551 nbRevisions=5881 nbUselessRevisions=4578 nbAssignments=27
0.86 nbFailedAssignments=11 nbBacktracks=10 nbVisitedNodes=47 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.86 nbTooLargeKeys=0
0.86 => wckTime=0.055 cpuTime=0.04 mem=14M733
0.88
0.88 search
0.88 run=1 nbConstraintChecks=79523 nbPropagations=1727 nbRevisions=19483 nbUselessRevisions=15204 nbAssignments=59
0.88 nbFailedAssignments=22 nbBacktracks=26 nbVisitedNodes=102 nbRestartNogoods=2 mapSize=23 nbInferences=0
0.88 nbTooLargeKeys=0
0.88 => wckTime=0.076 cpuTime=0.05 mem=14M733
0.90
0.90 search
0.90 run=2 nbConstraintChecks=139329 nbPropagations=3816 nbRevisions=44446 nbUselessRevisions=35030
0.90 nbAssignments=103 nbFailedAssignments=39 nbBacktracks=49 nbVisitedNodes=178 nbRestartNogoods=6 mapSize=42
0.90 nbInferences=0 nbTooLargeKeys=0
0.90 => wckTime=0.099 cpuTime=0.07 mem=14M733
0.92
0.92 search
0.92 run=3 nbConstraintChecks=213450 nbPropagations=7046 nbRevisions=83518 nbUselessRevisions=66096
0.92 nbAssignments=170 nbFailedAssignments=66 nbBacktracks=85 nbVisitedNodes=292 nbRestartNogoods=8 mapSize=75
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.116 cpuTime=0.08 mem=14M733
0.95
0.95 search
0.95 run=4 nbConstraintChecks=331679 nbPropagations=12016 nbRevisions=144117 nbUselessRevisions=113998
0.95 nbAssignments=264 nbFailedAssignments=105 nbBacktracks=135 nbVisitedNodes=456 nbRestartNogoods=11 mapSize=121
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.141 cpuTime=0.11 mem=14M733
0.99
0.99 search
0.99 run=5 nbConstraintChecks=516589 nbPropagations=19614 nbRevisions=238763 nbUselessRevisions=188732
0.99 nbAssignments=408 nbFailedAssignments=169 nbBacktracks=212 nbVisitedNodes=706 nbRestartNogoods=14 mapSize=187
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.18 cpuTime=0.14 mem=14M733
1.04
1.04 search
1.04 run=6 nbConstraintChecks=770892 nbPropagations=30963 nbRevisions=381597 nbUselessRevisions=301609
1.04 nbAssignments=620 nbFailedAssignments=262 nbBacktracks=327 nbVisitedNodes=1079 nbRestartNogoods=17 mapSize=284
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.232 cpuTime=0.19 mem=14M733
1.10
1.10 search
1.10 run=7 nbConstraintChecks=1130228 nbPropagations=47506 nbRevisions=589171 nbUselessRevisions=465331
1.10 nbAssignments=914 nbFailedAssignments=380 nbBacktracks=499 nbVisitedNodes=1593 nbRestartNogoods=22 mapSize=429
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.298 cpuTime=0.26 mem=14M733
1.22
1.22 search
1.22 run=8 nbConstraintChecks=1678158 nbPropagations=72233 nbRevisions=901082 nbUselessRevisions=711300
1.22 nbAssignments=1371 nbFailedAssignments=575 nbBacktracks=756 nbVisitedNodes=2405 nbRestartNogoods=31
1.22 mapSize=656 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.418 cpuTime=0.36 mem=14M733
1.38
1.39 search
1.39 run=9 nbConstraintChecks=2503507 nbPropagations=109124 nbRevisions=1374477 nbUselessRevisions=1086206
1.39 nbAssignments=2070 nbFailedAssignments=884 nbBacktracks=1140 nbVisitedNodes=3659 nbRestartNogoods=37
1.39 mapSize=992 nbInferences=0 nbTooLargeKeys=0
1.39 => wckTime=0.58 cpuTime=0.5 mem=14M733
1.41
1.41 INFO : Stopping hyperNogood (mapSize=1042, nbTooLargekeys=0, mem=14M733)
1.60
1.60 search
1.60 run=10 nbConstraintChecks=3743619 nbPropagations=164231 nbRevisions=2081205 nbUselessRevisions=1645529
1.60 nbAssignments=3078 nbFailedAssignments=1311 nbBacktracks=1716 nbVisitedNodes=5451 nbRestartNogoods=42
1.60 => wckTime=0.793 cpuTime=0.71 mem=14M733
1.89
1.89 search
1.89 run=11 nbConstraintChecks=5554227 nbPropagations=245659 nbRevisions=3133246 nbUselessRevisions=2478455
1.89 nbAssignments=4576 nbFailedAssignments=1938 nbBacktracks=2582 nbVisitedNodes=8079 nbRestartNogoods=48
1.89 => wckTime=1.083 cpuTime=0.99 mem=14M733
1.92
1.92 search
1.92 run=12 nbConstraintChecks=5750420 nbPropagations=330136 nbRevisions=4223359 nbUselessRevisions=3341762
1.92 nbAssignments=4765 nbFailedAssignments=2000 nbBacktracks=2674 nbVisitedNodes=8385 nbRestartNogoods=59
1.92 => wckTime=1.117 cpuTime=1.03 mem=14M733
1.92
1.92 global
1.92 nbConstraintChecks=5750420 nbPropagations=330171 nbRevisions=4223359 nbUselessRevisions=3341762
1.92 nbRestartNogoods=59 solvingWckTime=1.118 solvingCpuTime=1.03 expiredTime=no totalExploration=no
1.92 nbFoundSolutions=1 globalCpuTime=1.42
1.92 => wckTime=1.607 cpuTime=1.37 mem=14M733
1.92
1.92 s SATISFIABLE
1.92 v 0 9 2 5 14 2 12 12 13 5 16 14 1 15 15 15 5 11 7 6 14 4 9 14 8 4 14 4 1 4 0 11 13 16 15
1.93 d NODES 4765
1.93 d CHECKS 5750420
1.93
1.93 totalWckTime=1.687 totalCpuTime=1.42
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-217560-1168079463 -o ROOT/results/node17/solver-217560-1168079463 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/217560-1168079463/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.69 1.84 1.89 2/93 13699
/proc/meminfo: memFree=1486608/2055920 swapFree=4192812/4192956
[pid=13698] ppid=13696 vsize=18540 CPUtime=0
/proc/13698/stat : 13698 (runsolver) R 13696 13698 13519 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 156341076 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 245482712359 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/13698/statm: 4635 279 244 17 0 2626 0
[startup+0.102496 s]
/proc/loadavg: 1.69 1.84 1.89 2/93 13699
/proc/meminfo: memFree=1486608/2055920 swapFree=4192812/4192956
[pid=13698] ppid=13696 vsize=913236 CPUtime=0.08
/proc/13698/stat : 13698 (java) R 13696 13698 13519 0 -1 0 2921 0 1 0 7 1 0 0 17 0 8 0 156341076 935153664 2667 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942745 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13698/statm: 228309 2667 1397 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913236
[startup+0.514538 s]
/proc/loadavg: 1.69 1.84 1.89 2/93 13699
/proc/meminfo: memFree=1486608/2055920 swapFree=4192812/4192956
[pid=13698] ppid=13696 vsize=915328 CPUtime=0.49
/proc/13698/stat : 13698 (java) S 13696 13698 13519 0 -1 0 6680 0 1 0 46 3 0 0 18 0 8 0 156341076 937295872 6419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13698/statm: 228832 6419 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34262 s]
/proc/loadavg: 1.69 1.84 1.89 3/100 13706
/proc/meminfo: memFree=1463192/2055920 swapFree=4192812/4192956
[pid=13698] ppid=13696 vsize=915452 CPUtime=1.3
/proc/13698/stat : 13698 (java) R 13696 13698 13519 0 -1 0 8584 0 1 0 125 5 0 0 20 0 8 0 156341076 937422848 8322 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073813251 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13698/statm: 228863 8322 2513 14 0 215333 0
[pid=13698/tid=13700] ppid=13696 vsize=915452 CPUtime=0.03
/proc/13698/task/13700/stat : 13700 (java) S 13696 13698 13519 0 -1 64 247 0 0 0 3 0 0 0 16 0 8 0 156341081 937422848 8322 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13698/tid=13701] ppid=13696 vsize=915452 CPUtime=0
/proc/13698/task/13701/stat : 13701 (java) S 13696 13698 13519 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156341081 937422848 8322 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13698/tid=13702] ppid=13696 vsize=915452 CPUtime=0
/proc/13698/task/13702/stat : 13702 (java) S 13696 13698 13519 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156341081 937422848 8322 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13698/tid=13703] ppid=13696 vsize=915452 CPUtime=0
/proc/13698/task/13703/stat : 13703 (java) S 13696 13698 13519 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156341084 937422848 8322 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13698/tid=13704] ppid=13696 vsize=915452 CPUtime=0.22
/proc/13698/task/13704/stat : 13704 (java) S 13696 13698 13519 0 -1 64 381 0 0 0 21 1 0 0 16 0 8 0 156341084 937422848 8322 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13698/tid=13705] ppid=13696 vsize=915452 CPUtime=0
/proc/13698/task/13705/stat : 13705 (java) S 13696 13698 13519 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156341084 937422848 8322 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13698/tid=13706] ppid=13696 vsize=915452 CPUtime=0
/proc/13698/task/13706/stat : 13706 (java) S 13696 13698 13519 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156341084 937422848 8322 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 1.97975
CPU time (s): 1.90971
CPU user time (s): 1.84372
CPU system time (s): 0.065989
CPU usage (%): 96.4619
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.84372
system time used= 0.065989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8701
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= 848
involuntary context switches= 1138
runsolver used 0.002999 s user time and 0.015997 s system time
The end
Begin job on node17 on Sat Jan 6 10:31:03 UTC 2007
IDJOB= 217560
IDBENCH= 5145
FILE ID= node17/217560-1168079463
PBS_JOBID= 3475839
Free space on /tmp= 66314 MiB
BENCH NAME= HOME/pub/bench/CPAI06/frb/frb35-17/frb35-17-5-mgd_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/217560-1168079463/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-217560-1168079463 -o ROOT/results/node17/solver-217560-1168079463 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/217560-1168079463/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= c12f1974cb95f12a594fb521feb39b3c
RANDOM SEED= 645544140
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.236
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.236
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: 1487088 kB
Buffers: 46852 kB
Cached: 244528 kB
SwapCached: 0 kB
Active: 271100 kB
Inactive: 208272 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1487088 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2164 kB
Writeback: 0 kB
Mapped: 217056 kB
Slab: 74016 kB
Committed_AS: 4593396 kB
PageTables: 2544 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= 66314 MiB
End job on node17 on Sat Jan 6 10:31:07 UTC 2007