0.34
0.34 Abscon 109 (November, 2006)
0.34
0.34 configuration
0.34 name=esac.xml
0.37
0.37 instance
0.37 name=/tmp/evaluation/195449-1168112930/unknown.xml
0.40
0.40 domains being loaded...
0.41
0.41 variables being loaded...
0.44 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.44 => wckTime=0.096 cpuTime=0.07 mem=6M951
0.44
0.44 relations being loaded...
0.53
0.53 constraints being loaded...
0.65 nbConstraints=321 nbRelationTypes=321 nbExtensionStructures=321 nbSharedExtensionStructures=0
0.65 nbConflictsStructures=321 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2169 maxDegree=22
0.65 maxArity=2
0.65 => wckTime=0.305 cpuTime=0.21 mem=12M868
0.69
0.69 solver IterativeSystematicSolver being built...
0.84 => wckTime=0.499 cpuTime=0.33 mem=14M998
0.90
0.90 preprocessing
0.90 nbConstraintChecks=69242 nbPropagations=940 nbRevisions=6916 nbUselessRevisions=5692 nbSingletonTests=53
0.90 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.90 => wckTime=0.051 cpuTime=0.03 mem=14M998
0.92
0.92 search
0.92 run=0 nbConstraintChecks=30525 nbPropagations=1365 nbRevisions=11719 nbUselessRevisions=9498 nbAssignments=25
0.92 nbFailedAssignments=7 nbBacktracks=12 nbVisitedNodes=39 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.072 cpuTime=0.05 mem=14M998
0.94
0.94 search
0.94 run=1 nbConstraintChecks=82644 nbPropagations=3433 nbRevisions=32116 nbUselessRevisions=25924 nbAssignments=60
0.94 nbFailedAssignments=22 nbBacktracks=27 nbVisitedNodes=98 nbRestartNogoods=2 mapSize=22 nbInferences=0
0.94 nbTooLargeKeys=0
0.94 => wckTime=0.094 cpuTime=0.06 mem=14M998
0.95
0.95 search
0.95 run=2 nbConstraintChecks=135712 nbPropagations=6262 nbRevisions=61736 nbUselessRevisions=49766
0.95 nbAssignments=106 nbFailedAssignments=38 nbBacktracks=50 nbVisitedNodes=173 nbRestartNogoods=5 mapSize=40
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.11 cpuTime=0.07 mem=14M998
0.97
0.97 search
0.97 run=3 nbConstraintChecks=214888 nbPropagations=10185 nbRevisions=104780 nbUselessRevisions=84308
0.97 nbAssignments=168 nbFailedAssignments=60 nbBacktracks=84 nbVisitedNodes=275 nbRestartNogoods=9 mapSize=67
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.126 cpuTime=0.09 mem=14M998
0.99
1.00 search
1.00 run=4 nbConstraintChecks=334215 nbPropagations=15725 nbRevisions=168568 nbUselessRevisions=135278
1.00 nbAssignments=264 nbFailedAssignments=100 nbBacktracks=134 nbVisitedNodes=432 nbRestartNogoods=13 mapSize=106
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.149 cpuTime=0.11 mem=14M998
1.03
1.03 search
1.03 run=5 nbConstraintChecks=491855 nbPropagations=23505 nbRevisions=261150 nbUselessRevisions=209327
1.03 nbAssignments=392 nbFailedAssignments=147 nbBacktracks=210 nbVisitedNodes=646 nbRestartNogoods=16 mapSize=164
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.184 cpuTime=0.14 mem=14M998
1.08
1.08 search
1.08 run=6 nbConstraintChecks=768482 nbPropagations=34967 nbRevisions=401910 nbUselessRevisions=321540
1.08 nbAssignments=602 nbFailedAssignments=238 nbBacktracks=324 nbVisitedNodes=1009 nbRestartNogoods=20 mapSize=259
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.232 cpuTime=0.19 mem=14M998
1.15
1.15 search
1.15 run=7 nbConstraintChecks=1162474 nbPropagations=51965 nbRevisions=613207 nbUselessRevisions=489953
1.15 nbAssignments=904 nbFailedAssignments=347 nbBacktracks=495 nbVisitedNodes=1491 nbRestartNogoods=28 mapSize=399
1.15 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.307 cpuTime=0.26 mem=14M998
1.25
1.25 search
1.25 run=8 nbConstraintChecks=1727162 nbPropagations=76942 nbRevisions=927615 nbUselessRevisions=740513
1.25 nbAssignments=1341 nbFailedAssignments=521 nbBacktracks=753 nbVisitedNodes=2253 nbRestartNogoods=33
1.25 mapSize=627 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.41 cpuTime=0.36 mem=14M998
1.41
1.41 search
1.41 run=9 nbConstraintChecks=2514963 nbPropagations=112899 nbRevisions=1382977 nbUselessRevisions=1101507
1.41 nbAssignments=1951 nbFailedAssignments=742 nbBacktracks=1138 nbVisitedNodes=3285 nbRestartNogoods=37
1.41 mapSize=927 nbInferences=0 nbTooLargeKeys=0
1.41 => wckTime=0.562 cpuTime=0.49 mem=14M998
1.45
1.45 INFO : Stopping hyperNogood (mapSize=1024, nbTooLargekeys=0, mem=14M998)
1.61
1.61 search
1.61 run=10 nbConstraintChecks=3796894 nbPropagations=166375 nbRevisions=2069827 nbUselessRevisions=1645221
1.61 nbAssignments=2941 nbFailedAssignments=1149 nbBacktracks=1714 nbVisitedNodes=4986 nbRestartNogoods=45
1.61 => wckTime=0.77 cpuTime=0.68 mem=14M998
1.93
1.93 search
1.93 run=11 nbConstraintChecks=5998339 nbPropagations=248752 nbRevisions=3140711 nbUselessRevisions=2493016
1.93 nbAssignments=4485 nbFailedAssignments=1813 nbBacktracks=2578 nbVisitedNodes=7702 nbRestartNogoods=51
1.93 => wckTime=1.087 cpuTime=1.0 mem=14M998
1.94
1.94 search
1.94 run=12 nbConstraintChecks=6051478 nbPropagations=331967 nbRevisions=4221906 nbUselessRevisions=3349171
1.94 nbAssignments=4565 nbFailedAssignments=1831 nbBacktracks=2600 nbVisitedNodes=7812 nbRestartNogoods=59
1.94 => wckTime=1.098 cpuTime=1.02 mem=14M998
1.94
1.94 global
1.94 nbConstraintChecks=6120720 nbPropagations=332907 nbRevisions=4228822 nbUselessRevisions=3354863
1.94 nbRestartNogoods=59 solvingWckTime=1.099 solvingCpuTime=1.02 expiredTime=no totalExploration=no
1.94 nbFoundSolutions=1 globalCpuTime=1.41
1.94 => wckTime=1.601 cpuTime=1.35 mem=14M998
1.95
1.95 s SATISFIABLE
1.95 v 7 18 14 4 1 12 10 18 13 2 11 10 8 16 1 9 11 4 5 17 5 13 6 0 3 18 1 14 15 9 2 12 11 2 6 8 4 11 7 11
1.95 d NODES 4565
1.95 d CHECKS 6120720
1.95
1.95 totalWckTime=1.679 totalCpuTime=1.41
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node5/watcher-195449-1168112930 -o ROOT/results/node5/solver-195449-1168112930 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195449-1168112930/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.51 1.81 2/86 20906
/proc/meminfo: memFree=1337440/2055920 swapFree=4192812/4192956
[pid=20905] ppid=20903 vsize=18540 CPUtime=0
/proc/20905/stat : 20905 (runsolver) R 20903 20905 20330 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 139908132 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 226913479975 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/20905/statm: 4635 279 244 17 0 2626 0
[startup+0.103369 s]
/proc/loadavg: 0.85 1.51 1.81 2/86 20906
/proc/meminfo: memFree=1337440/2055920 swapFree=4192812/4192956
[pid=20905] ppid=20903 vsize=907808 CPUtime=0.06
/proc/20905/stat : 20905 (java) D 20903 20905 20330 0 -1 0 2505 0 1 0 5 1 0 0 23 0 4 0 139908132 929595392 2252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 0 0 0
/proc/20905/statm: 226952 2252 1232 14 0 214535 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 907808
[startup+0.515417 s]
/proc/loadavg: 0.85 1.51 1.81 2/86 20906
/proc/meminfo: memFree=1337440/2055920 swapFree=4192812/4192956
[pid=20905] ppid=20903 vsize=915328 CPUtime=0.45
/proc/20905/stat : 20905 (java) R 20903 20905 20330 0 -1 0 6641 0 1 0 41 4 0 0 25 0 8 0 139908132 937295872 6380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072917552 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20905/statm: 228832 6380 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 915328
[startup+1.34151 s]
/proc/loadavg: 0.85 1.51 1.81 3/93 20913
/proc/meminfo: memFree=1313448/2055920 swapFree=4192812/4192956
[pid=20905] ppid=20903 vsize=915456 CPUtime=1.26
/proc/20905/stat : 20905 (java) R 20903 20905 20330 0 -1 0 8734 0 1 0 120 6 0 0 25 0 8 0 139908132 937426944 8472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803390 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20905/statm: 228864 8472 2524 14 0 215334 0
[pid=20905/tid=20907] ppid=20903 vsize=915456 CPUtime=0.03
/proc/20905/task/20907/stat : 20907 (java) S 20903 20905 20330 0 -1 64 285 0 0 0 3 0 0 0 16 0 8 0 139908137 937426944 8472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20905/tid=20908] ppid=20903 vsize=915456 CPUtime=0
/proc/20905/task/20908/stat : 20908 (java) S 20903 20905 20330 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 139908137 937426944 8472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20905/tid=20909] ppid=20903 vsize=915456 CPUtime=0
/proc/20905/task/20909/stat : 20909 (java) S 20903 20905 20330 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 139908137 937426944 8472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20905/tid=20910] ppid=20903 vsize=915456 CPUtime=0
/proc/20905/task/20910/stat : 20910 (java) S 20903 20905 20330 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 139908144 937426944 8472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20905/tid=20911] ppid=20903 vsize=915456 CPUtime=0.23
/proc/20905/task/20911/stat : 20911 (java) S 20903 20905 20330 0 -1 64 385 0 0 0 22 1 0 0 16 0 8 0 139908144 937426944 8472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20905/tid=20912] ppid=20903 vsize=915456 CPUtime=0
/proc/20905/task/20912/stat : 20912 (java) S 20903 20905 20330 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 139908144 937426944 8472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20905/tid=20913] ppid=20903 vsize=915456 CPUtime=0
/proc/20905/task/20913/stat : 20913 (java) S 20903 20905 20330 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 139908144 937426944 8472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 2.01208
CPU time (s): 1.89071
CPU user time (s): 1.81572
CPU system time (s): 0.074988
CPU usage (%): 93.9681
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.81572
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= 8859
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= 1205
involuntary context switches= 1428
runsolver used 0.003999 s user time and 0.011998 s system time
The end
Begin job on node5 on Sat Jan 6 19:48:55 UTC 2007
IDJOB= 195449
IDBENCH= 3269
FILE ID= node5/195449-1168112930
PBS_JOBID= 3477109
Free space on /tmp= 66330 MiB
BENCH NAME= HOME/pub/bench/CPAI06/frb/frb40-19/frb40-19-2-mgd_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195449-1168112930/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-195449-1168112930 -o ROOT/results/node5/solver-195449-1168112930 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195449-1168112930/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 6bad571a095fb43c53fe636cdd1c60bc
RANDOM SEED= 229045946
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.240
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.240
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: 1338112 kB
Buffers: 59232 kB
Cached: 521420 kB
SwapCached: 0 kB
Active: 160656 kB
Inactive: 469732 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1338112 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2144 kB
Writeback: 0 kB
Mapped: 72204 kB
Slab: 72464 kB
Committed_AS: 3372308 kB
PageTables: 2128 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= 66330 MiB
End job on node5 on Sat Jan 6 19:48:59 UTC 2007