0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/210223-1168075040/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=165 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.42 => wckTime=0.104 cpuTime=0.09 mem=6M951
0.42
0.42 predicates being loaded...
0.43
0.43 constraints being loaded...
0.57 nbConstraints=141 nbConflictsStructures=5 nbSharedConflictsStructures=136 nbSharedBinaryRepresentations=0
0.57 nbEvaluationManagers=5 nbSharedEvaluationManagers=136 maxDegree=11 maxArity=11
0.57 => wckTime=0.262 cpuTime=0.2 mem=9M877
0.61
0.61 solver IterativeSystematicSolver being built...
0.79 => wckTime=0.478 cpuTime=0.33 mem=16M504
0.80
0.80 preprocessing
0.80 nbConstraintChecks=0 nbPropagations=165 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.80 detectedInconsistency=no
0.80 => wckTime=0.0070 cpuTime=0.01 mem=16M504
0.85
0.85 search
0.85 run=0 nbConstraintChecks=1434 nbValidityChecks=181 nbPropagations=334 nbRevisions=323 nbUselessRevisions=149
0.85 nbAssignments=137 nbFailedAssignments=1 nbBacktracks=87 nbVisitedNodes=140 nbRestartNogoods=0 mapSize=1
0.85 nbInferences=0 nbTooLargeKeys=0
0.85 => wckTime=0.065 cpuTime=0.05 mem=16M504
0.89
0.89 search
0.89 run=1 nbConstraintChecks=4616 nbValidityChecks=540 nbPropagations=878 nbRevisions=1046 nbUselessRevisions=475
0.89 nbAssignments=286 nbFailedAssignments=3 nbBacktracks=107 nbVisitedNodes=293 nbRestartNogoods=1 mapSize=4
0.89 nbInferences=0 nbTooLargeKeys=0
0.89 => wckTime=0.098 cpuTime=0.08 mem=16M504
0.91
0.91 search
0.91 run=2 nbConstraintChecks=6775 nbValidityChecks=956 nbPropagations=1612 nbRevisions=2228
0.91 nbUselessRevisions=1062 nbAssignments=364 nbFailedAssignments=4 nbBacktracks=134 nbVisitedNodes=374
0.91 nbRestartNogoods=2 mapSize=6 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.117 cpuTime=0.09 mem=16M504
0.93
0.93 search
0.93 run=3 nbConstraintChecks=10777 nbValidityChecks=1597 nbPropagations=2580 nbRevisions=4038
0.93 nbUselessRevisions=2025 nbAssignments=451 nbFailedAssignments=6 nbBacktracks=167 nbVisitedNodes=467
0.93 nbRestartNogoods=3 mapSize=11 nbInferences=1 nbTooLargeKeys=0
0.93 => wckTime=0.143 cpuTime=0.11 mem=16M504
0.97
0.97 search
0.97 run=4 nbConstraintChecks=17146 nbValidityChecks=2435 nbPropagations=3848 nbRevisions=6627
0.97 nbUselessRevisions=3441 nbAssignments=589 nbFailedAssignments=9 nbBacktracks=218 nbVisitedNodes=614
0.97 nbRestartNogoods=4 mapSize=18 nbInferences=3 nbTooLargeKeys=0
0.97 => wckTime=0.177 cpuTime=0.14 mem=16M504
1.01
1.01 search
1.01 run=5 nbConstraintChecks=22984 nbValidityChecks=3183 nbPropagations=5407 nbRevisions=9895
1.01 nbUselessRevisions=5212 nbAssignments=744 nbFailedAssignments=12 nbBacktracks=325 nbVisitedNodes=779
1.01 nbRestartNogoods=6 mapSize=27 nbInferences=5 nbTooLargeKeys=0
1.01 => wckTime=0.217 cpuTime=0.18 mem=17M479
1.04
1.04 search
1.04 run=6 nbConstraintChecks=24505 nbValidityChecks=3780 nbPropagations=7249 nbRevisions=13729
1.04 nbUselessRevisions=7291 nbAssignments=921 nbFailedAssignments=12 nbBacktracks=450 nbVisitedNodes=964
1.04 nbRestartNogoods=7 mapSize=34 nbInferences=13 nbTooLargeKeys=0
1.04 => wckTime=0.25 cpuTime=0.22 mem=17M479
1.12
1.12 search
1.12 run=7 nbConstraintChecks=55825 nbValidityChecks=7161 nbPropagations=10126 nbRevisions=20034
1.12 nbUselessRevisions=10594 nbAssignments=1199 nbFailedAssignments=36 nbBacktracks=620 nbVisitedNodes=1299
1.12 nbRestartNogoods=8 mapSize=87 nbInferences=15 nbTooLargeKeys=0
1.12 => wckTime=0.331 cpuTime=0.3 mem=17M479
1.23
1.23 search
1.23 run=8 nbConstraintChecks=89184 nbValidityChecks=12585 nbPropagations=14577 nbRevisions=30952
1.23 nbUselessRevisions=16532 nbAssignments=1581 nbFailedAssignments=63 nbBacktracks=892 nbVisitedNodes=1751
1.23 nbRestartNogoods=10 mapSize=153 nbInferences=15 nbTooLargeKeys=0
1.23 => wckTime=0.441 cpuTime=0.39 mem=17M479
1.36
1.36 search
1.36 run=9 nbConstraintChecks=144670 nbValidityChecks=18841 nbPropagations=20954 nbRevisions=46330
1.36 nbUselessRevisions=24487 nbAssignments=2116 nbFailedAssignments=115 nbBacktracks=1278 nbVisitedNodes=2399
1.36 nbRestartNogoods=14 mapSize=262 nbInferences=18 nbTooLargeKeys=0
1.36 => wckTime=0.573 cpuTime=0.52 mem=17M479
1.59
1.59 search
1.59 run=10 nbConstraintChecks=246536 nbValidityChecks=53797 nbPropagations=31704 nbRevisions=95318
1.59 nbUselessRevisions=58816 nbAssignments=2810 nbFailedAssignments=166 nbBacktracks=1864 nbVisitedNodes=3287
1.59 nbRestartNogoods=16 mapSize=454 nbInferences=18 nbTooLargeKeys=0
1.59 => wckTime=0.803 cpuTime=0.73 mem=17M479
1.73
1.73 search
1.73 run=11 nbConstraintChecks=262990 nbValidityChecks=72584 nbPropagations=45004 nbRevisions=163110
1.73 nbUselessRevisions=109342 nbAssignments=3949 nbFailedAssignments=311 nbBacktracks=2731 nbVisitedNodes=4700
1.73 nbRestartNogoods=18 mapSize=718 nbInferences=42 nbTooLargeKeys=0
1.73 => wckTime=0.946 cpuTime=0.87 mem=17M479
2.04
2.04 search
2.04 run=12 nbConstraintChecks=311879 nbValidityChecks=102846 nbPropagations=64204 nbRevisions=255490
2.04 nbUselessRevisions=176462 nbAssignments=5526 nbFailedAssignments=514 nbBacktracks=4031 nbVisitedNodes=6816
2.04 nbRestartNogoods=28 mapSize=1251 nbInferences=50 nbTooLargeKeys=0
2.04 => wckTime=1.248 cpuTime=1.17 mem=18M454
2.47
2.47 search
2.47 run=13 nbConstraintChecks=521015 nbValidityChecks=139616 nbPropagations=92805 nbRevisions=376062
2.47 nbUselessRevisions=260693 nbAssignments=7797 nbFailedAssignments=759 nbBacktracks=5991 nbVisitedNodes=9641
2.47 nbRestartNogoods=34 mapSize=1802 nbInferences=50 nbTooLargeKeys=0
2.47 => wckTime=1.685 cpuTime=1.61 mem=18M454
2.58
2.58 search
2.58 run=14 nbConstraintChecks=535879 nbValidityChecks=158602 nbPropagations=123698 nbRevisions=518797
2.58 nbUselessRevisions=364749 nbAssignments=8763 nbFailedAssignments=892 nbBacktracks=6642 nbVisitedNodes=10851
2.58 nbRestartNogoods=37 mapSize=2029 nbInferences=67 nbTooLargeKeys=0
2.58 => wckTime=1.797 cpuTime=1.72 mem=18M454
2.59
2.59 global
2.59 nbConstraintChecks=535879 nbValidityChecks=158602 nbPropagations=123863 nbRevisions=518797
2.59 nbUselessRevisions=364749 nbRestartNogoods=37 solvingWckTime=1.798 solvingCpuTime=1.72 expiredTime=no
2.59 totalExploration=no nbFoundSolutions=1 globalCpuTime=2.1
2.59 => wckTime=2.277 cpuTime=2.05 mem=18M454
2.59
2.59 s SATISFIABLE
2.59 v 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0
2.59 d NODES 8763
2.59 d CHECKS 535879
2.59
2.59 totalWckTime=2.353 totalCpuTime=2.1
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node18/watcher-210223-1168075040 -o ROOT/results/node18/solver-210223-1168075040 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210223-1168075040/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.54 1.78 4/80 21595
/proc/meminfo: memFree=1158336/2055920 swapFree=4192812/4192956
[pid=21594] ppid=21592 vsize=292 CPUtime=0
/proc/21594/stat : 21594 (java) R 21592 21594 20767 0 -1 0 52 0 0 0 0 0 0 0 19 0 1 0 155899295 299008 35 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 7861028 0 0 4096 0 0 0 0 17 1 0 0
/proc/21594/statm: 73 35 27 14 0 5 0
[startup+0.105523 s]
/proc/loadavg: 0.85 1.54 1.78 4/80 21595
/proc/meminfo: memFree=1158336/2055920 swapFree=4192812/4192956
[pid=21594] ppid=21592 vsize=914988 CPUtime=0.08
/proc/21594/stat : 21594 (java) R 21592 21594 20767 0 -1 0 3004 0 1 0 7 1 0 0 16 0 8 0 155899295 936947712 2750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153590790 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21594/statm: 228747 2750 1430 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515605 s]
/proc/loadavg: 0.85 1.54 1.78 4/80 21595
/proc/meminfo: memFree=1158336/2055920 swapFree=4192812/4192956
[pid=21594] ppid=21592 vsize=915456 CPUtime=0.49
/proc/21594/stat : 21594 (java) S 21592 21594 20767 0 -1 0 6768 0 1 0 44 5 0 0 16 0 8 0 155899295 937426944 6507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21594/statm: 228864 6508 2165 14 0 215334 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915456
[startup+1.34064 s]
/proc/loadavg: 0.87 1.53 1.78 2/85 21603
/proc/meminfo: memFree=1132888/2055920 swapFree=4192812/4192956
[pid=21594] ppid=21592 vsize=915456 CPUtime=1.29
/proc/21594/stat : 21594 (java) R 21592 21594 20767 0 -1 0 9226 0 1 0 122 7 0 0 16 0 8 0 155899295 937426944 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479184 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21594/statm: 228864 8964 2532 14 0 215334 0
[pid=21594/tid=21596] ppid=21592 vsize=915456 CPUtime=0.02
/proc/21594/task/21596/stat : 21596 (java) S 21592 21594 20767 0 -1 64 184 0 0 0 2 0 0 0 16 0 8 0 155899299 937426944 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21594/tid=21597] ppid=21592 vsize=915456 CPUtime=0
/proc/21594/task/21597/stat : 21597 (java) S 21592 21594 20767 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155899299 937426944 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21594/tid=21598] ppid=21592 vsize=915456 CPUtime=0
/proc/21594/task/21598/stat : 21598 (java) S 21592 21594 20767 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155899299 937426944 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21594/tid=21599] ppid=21592 vsize=915456 CPUtime=0
/proc/21594/task/21599/stat : 21599 (java) S 21592 21594 20767 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155899302 937426944 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21594/tid=21600] ppid=21592 vsize=915456 CPUtime=0.2
/proc/21594/task/21600/stat : 21600 (java) S 21592 21594 20767 0 -1 64 384 0 0 0 19 1 0 0 15 0 8 0 155899302 937426944 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21594/tid=21601] ppid=21592 vsize=915456 CPUtime=0
/proc/21594/task/21601/stat : 21601 (java) S 21592 21594 20767 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155899302 937426944 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21594/tid=21602] ppid=21592 vsize=915456 CPUtime=0
/proc/21594/task/21602/stat : 21602 (java) S 21592 21594 20767 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155899302 937426944 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 2.63893
CPU time (s): 2.55861
CPU user time (s): 2.47262
CPU system time (s): 0.085986
CPU usage (%): 96.9563
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.47262
system time used= 0.085986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9648
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= 988
involuntary context switches= 353
runsolver used 0.004999 s user time and 0.013997 s system time
The end
Begin job on node18 on Sat Jan 6 09:17:26 UTC 2007
IDJOB= 210223
IDBENCH= 4603
FILE ID= node18/210223-1168075040
PBS_JOBID= 3475734
Free space on /tmp= 66287 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/fpga/fpga-11-10.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210223-1168075040/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-210223-1168075040 -o ROOT/results/node18/solver-210223-1168075040 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210223-1168075040/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 74587cf503483fa9d3a155bef7ec2122
RANDOM SEED= 336165891
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.231
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.231
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: 1158752 kB
Buffers: 69108 kB
Cached: 674268 kB
SwapCached: 0 kB
Active: 408856 kB
Inactive: 390660 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1158752 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1768 kB
Writeback: 0 kB
Mapped: 75180 kB
Slab: 83128 kB
Committed_AS: 3947340 kB
PageTables: 1800 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= 66287 MiB
End job on node18 on Sat Jan 6 09:17:31 UTC 2007