0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/213494-1168225857/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=200 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.41 => wckTime=0.108 cpuTime=0.1 mem=6M951
0.41
0.41 predicates being loaded...
0.43
0.43 constraints being loaded...
0.76 nbConstraints=900 nbConvertedConstraints=148 nbConvertConstraintsChecks=4096 nbExtensionStructures=2
0.76 nbSharedExtensionStructures=146 nbConflictsStructures=11 nbSharedConflictsStructures=889
0.76 nbSharedBinaryRepresentations=5 nbEvaluationManagers=9 nbSharedEvaluationManagers=743 maxDegree=32 maxArity=11
0.76 => wckTime=0.457 cpuTime=0.34 mem=16M703
0.81
0.81 solver IterativeSystematicSolver being built...
1.02 => wckTime=0.718 cpuTime=0.51 mem=22M374
1.12
1.12 preprocessing
1.12 nbConstraintChecks=2738 nbValidityChecks=781 nbPropagations=1023 nbRevisions=2790 nbUselessRevisions=2128
1.12 nbSingletonTests=232 nbEffectiveSingletonTests=0 nbESACBranches=7 nbRemovedValues=0 detectedInconsistency=no
1.12 => wckTime=0.096 cpuTime=0.07 mem=23M349
1.17
1.17 search
1.17 run=0 nbConstraintChecks=1304 nbValidityChecks=1031 nbPropagations=1386 nbRevisions=4387
1.17 nbUselessRevisions=3314 nbAssignments=79 nbFailedAssignments=6 nbBacktracks=37 nbVisitedNodes=90
1.17 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.145 cpuTime=0.12 mem=23M349
1.19
1.19 search
1.19 run=1 nbConstraintChecks=2618 nbValidityChecks=2063 nbPropagations=3123 nbRevisions=10350
1.19 nbUselessRevisions=7800 nbAssignments=144 nbFailedAssignments=10 nbBacktracks=54 nbVisitedNodes=162
1.19 nbRestartNogoods=1 mapSize=14 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.171 cpuTime=0.14 mem=23M349
1.22
1.22 search
1.22 run=2 nbConstraintChecks=4235 nbValidityChecks=3479 nbPropagations=5350 nbRevisions=18488
1.22 nbUselessRevisions=13975 nbAssignments=295 nbFailedAssignments=14 nbBacktracks=97 nbVisitedNodes=262
1.22 nbRestartNogoods=3 mapSize=17 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.198 cpuTime=0.17 mem=23M349
1.25
1.25 search
1.25 run=3 nbConstraintChecks=6012 nbValidityChecks=5166 nbPropagations=8046 nbRevisions=29235
1.25 nbUselessRevisions=22277 nbAssignments=455 nbFailedAssignments=17 nbBacktracks=172 nbVisitedNodes=381
1.25 nbRestartNogoods=6 mapSize=22 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.226 cpuTime=0.2 mem=23M349
1.28
1.28 search
1.28 run=4 nbConstraintChecks=8059 nbValidityChecks=7066 nbPropagations=11233 nbRevisions=42687
1.28 nbUselessRevisions=32724 nbAssignments=564 nbFailedAssignments=24 nbBacktracks=245 nbVisitedNodes=502
1.28 nbRestartNogoods=7 mapSize=33 nbInferences=0 nbTooLargeKeys=0
1.28 => wckTime=0.253 cpuTime=0.22 mem=23M349
1.31
1.31 search
1.31 run=5 nbConstraintChecks=10629 nbValidityChecks=9524 nbPropagations=15109 nbRevisions=59553
1.31 nbUselessRevisions=45816 nbAssignments=699 nbFailedAssignments=32 nbBacktracks=341 nbVisitedNodes=652
1.31 nbRestartNogoods=8 mapSize=46 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.288 cpuTime=0.25 mem=23M349
1.37
1.37 search
1.37 run=6 nbConstraintChecks=16213 nbValidityChecks=15632 nbPropagations=20363 nbRevisions=85243
1.37 nbUselessRevisions=66192 nbAssignments=874 nbFailedAssignments=51 nbBacktracks=469 nbVisitedNodes=861
1.37 nbRestartNogoods=10 mapSize=78 nbInferences=0 nbTooLargeKeys=0
1.37 => wckTime=0.344 cpuTime=0.31 mem=23M349
1.43
1.43 search
1.43 run=7 nbConstraintChecks=21568 nbValidityChecks=20759 nbPropagations=26997 nbRevisions=118146
1.43 nbUselessRevisions=92260 nbAssignments=1111 nbFailedAssignments=64 nbBacktracks=683 nbVisitedNodes=1117
1.43 nbRestartNogoods=12 mapSize=106 nbInferences=0 nbTooLargeKeys=0
1.43 => wckTime=0.407 cpuTime=0.37 mem=23M349
1.54
1.54 search
1.54 run=8 nbConstraintChecks=29306 nbValidityChecks=29553 nbPropagations=35483 nbRevisions=163430
1.54 nbUselessRevisions=128643 nbAssignments=1476 nbFailedAssignments=86 nbBacktracks=1002 nbVisitedNodes=1522
1.54 nbRestartNogoods=12 mapSize=145 nbInferences=0 nbTooLargeKeys=0
1.54 => wckTime=0.517 cpuTime=0.48 mem=23M349
1.67
1.67 search
1.67 run=9 nbConstraintChecks=37921 nbValidityChecks=41199 nbPropagations=46112 nbRevisions=223733
1.67 nbUselessRevisions=177596 nbAssignments=1965 nbFailedAssignments=126 nbBacktracks=1418 nbVisitedNodes=2086
1.67 nbRestartNogoods=13 mapSize=219 nbInferences=0 nbTooLargeKeys=0
1.67 => wckTime=0.642 cpuTime=0.58 mem=23M349
1.75
1.75 search
1.75 run=10 nbConstraintChecks=40477 nbValidityChecks=43256 nbPropagations=57057 nbRevisions=286978
1.75 nbUselessRevisions=229171 nbAssignments=2178 nbFailedAssignments=128 nbBacktracks=1429 nbVisitedNodes=2302
1.75 nbRestartNogoods=14 mapSize=221 nbInferences=0 nbTooLargeKeys=0
1.75 => wckTime=0.727 cpuTime=0.67 mem=23M349
1.75
1.75 global
1.75 nbConstraintChecks=43215 nbValidityChecks=44037 nbPropagations=58080 nbRevisions=289768
1.75 nbUselessRevisions=231299 nbRestartNogoods=14 solvingWckTime=0.727 solvingCpuTime=0.67 expiredTime=no
1.75 totalExploration=no nbFoundSolutions=1 globalCpuTime=1.22
1.75 => wckTime=1.447 cpuTime=1.18 mem=23M349
1.75
1.75 s SATISFIABLE
1.75 v 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0
1.75 d NODES 2178
1.75 d CHECKS 43215
1.75
1.75 totalWckTime=1.521 totalCpuTime=1.22
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node13/watcher-213494-1168225857 -o ROOT/results/node13/solver-213494-1168225857 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213494-1168225857/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.18 0.85 1.40 3/81 24220
/proc/meminfo: memFree=1759816/2055920 swapFree=4192812/4192956
[pid=24219] ppid=24217 vsize=292 CPUtime=0
/proc/24219/stat : 24219 (java) R 24217 24219 21652 0 -1 0 49 0 0 0 0 0 0 0 19 0 1 0 170981076 299008 33 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 11832455 0 0 4096 0 0 0 0 17 1 0 0
/proc/24219/statm: 73 35 27 14 0 5 0
[startup+0.105896 s]
/proc/loadavg: 0.18 0.85 1.40 3/81 24220
/proc/meminfo: memFree=1759816/2055920 swapFree=4192812/4192956
[pid=24219] ppid=24217 vsize=916012 CPUtime=0.07
/proc/24219/stat : 24219 (java) R 24217 24219 21652 0 -1 0 2997 0 1 0 6 1 0 0 22 0 8 0 170981076 937996288 2743 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072929336 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24219/statm: 229003 2743 1427 14 0 215498 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 916012
[startup+0.513953 s]
/proc/loadavg: 0.18 0.85 1.40 3/81 24220
/proc/meminfo: memFree=1759816/2055920 swapFree=4192812/4192956
[pid=24219] ppid=24217 vsize=916352 CPUtime=0.49
/proc/24219/stat : 24219 (java) R 24217 24219 21652 0 -1 0 6610 0 1 0 44 5 0 0 16 0 8 0 170981076 938344448 6349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072897170 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24219/statm: 229088 6349 2144 14 0 215558 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 916352
[startup+1.34006 s]
/proc/loadavg: 0.18 0.85 1.40 2/88 24227
/proc/meminfo: memFree=1727952/2055920 swapFree=4192812/4192956
[pid=24219] ppid=24217 vsize=916600 CPUtime=1.29
/proc/24219/stat : 24219 (java) R 24217 24219 21652 0 -1 0 10813 0 1 0 118 11 0 0 17 0 8 0 170981076 938598400 10551 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073942461 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24219/statm: 229150 10551 2543 14 0 215620 0
[pid=24219/tid=24221] ppid=24217 vsize=916600 CPUtime=0.03
/proc/24219/task/24221/stat : 24221 (java) S 24217 24219 21652 0 -1 64 419 0 0 0 3 0 0 0 16 0 8 0 170981080 938598400 10551 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24219/tid=24222] ppid=24217 vsize=916600 CPUtime=0
/proc/24219/task/24222/stat : 24222 (java) S 24217 24219 21652 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 170981081 938598400 10551 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24219/tid=24223] ppid=24217 vsize=916600 CPUtime=0
/proc/24219/task/24223/stat : 24223 (java) S 24217 24219 21652 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170981081 938598400 10551 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24219/tid=24224] ppid=24217 vsize=916600 CPUtime=0
/proc/24219/task/24224/stat : 24224 (java) S 24217 24219 21652 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 170981084 938598400 10551 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24219/tid=24225] ppid=24217 vsize=916600 CPUtime=0.23
/proc/24219/task/24225/stat : 24225 (java) S 24217 24219 21652 0 -1 64 425 0 0 0 22 1 0 0 16 0 8 0 170981084 938598400 10551 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24219/tid=24226] ppid=24217 vsize=916600 CPUtime=0
/proc/24219/task/24226/stat : 24226 (java) S 24217 24219 21652 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 170981084 938598400 10551 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24219/tid=24227] ppid=24217 vsize=916600 CPUtime=0
/proc/24219/task/24227/stat : 24227 (java) S 24217 24219 21652 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 170981084 938598400 10551 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) 916600
Child status: 0
Real time (s): 1.80953
CPU time (s): 1.73274
CPU user time (s): 1.60476
CPU system time (s): 0.12798
CPU usage (%): 95.7559
Max. virtual memory (cumulated for all children) (KiB): 916600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.60476
system time used= 0.12798
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10991
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= 989
involuntary context switches= 94
runsolver used 0.002999 s user time and 0.012998 s system time
The end
Begin job on node13 on Mon Jan 8 03:10:59 UTC 2007
IDJOB= 213494
IDBENCH= 4852
FILE ID= node13/213494-1168225857
PBS_JOBID= 3480659
Free space on /tmp= 66325 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/jnh/jnh-217.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213494-1168225857/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-213494-1168225857 -o ROOT/results/node13/solver-213494-1168225857 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213494-1168225857/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= febb76743d2c5a39f9aa41530c2b0882
RANDOM SEED= 909871642
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.247
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.247
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: 1757800 kB
Buffers: 52476 kB
Cached: 137312 kB
SwapCached: 0 kB
Active: 135360 kB
Inactive: 104920 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1757800 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1780 kB
Writeback: 0 kB
Mapped: 69432 kB
Slab: 42760 kB
Committed_AS: 4361144 kB
PageTables: 2224 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= 66327 MiB
End job on node13 on Mon Jan 8 03:11:05 UTC 2007