0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/224591-1168269227/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=40 nbDomainTypes=1 minDomainSize=80 maxDomainSize=80
0.41 => wckTime=0.099 cpuTime=0.08 mem=6M951
0.41
0.41 relations being loaded...
0.58
0.58 constraints being loaded...
0.67 nbConstraints=103 nbRelationTypes=103 nbExtensionStructures=103 nbSharedExtensionStructures=0
0.67 nbConflictsStructures=103 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=10 maxArity=2
0.67 => wckTime=0.359 cpuTime=0.3 mem=21M596
0.71
0.71 solver IterativeSystematicSolver being built...
0.87 => wckTime=0.559 cpuTime=0.42 mem=15M362
0.92
0.92 preprocessing
0.92 nbConstraintChecks=177486 nbPropagations=985 nbRevisions=3528 nbUselessRevisions=2025 nbSingletonTests=50
0.92 nbEffectiveSingletonTests=0 nbESACBranches=9 nbRemovedValues=0 detectedInconsistency=no
0.92 => wckTime=0.051 cpuTime=0.04 mem=15M362
0.95
0.95 search
0.95 run=0 nbConstraintChecks=87152 nbPropagations=1770 nbRevisions=6785 nbUselessRevisions=3742 nbAssignments=26
0.95 nbFailedAssignments=14 nbBacktracks=10 nbVisitedNodes=47 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.95 nbTooLargeKeys=0
0.95 => wckTime=0.078 cpuTime=0.07 mem=15M362
0.97
0.97 search
0.97 run=1 nbConstraintChecks=264067 nbPropagations=4982 nbRevisions=19795 nbUselessRevisions=10664
0.97 nbAssignments=71 nbFailedAssignments=40 nbBacktracks=25 nbVisitedNodes=129 nbRestartNogoods=1 mapSize=23
0.97 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.103 cpuTime=0.08 mem=15M362
1.00
1.00 search
1.00 run=2 nbConstraintChecks=541290 nbPropagations=10004 nbRevisions=41368 nbUselessRevisions=22173
1.00 nbAssignments=136 nbFailedAssignments=78 nbBacktracks=48 nbVisitedNodes=247 nbRestartNogoods=4 mapSize=45
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.13 cpuTime=0.11 mem=15M362
1.04
1.04 search
1.04 run=3 nbConstraintChecks=918973 nbPropagations=17701 nbRevisions=75087 nbUselessRevisions=40061
1.04 nbAssignments=226 nbFailedAssignments=132 nbBacktracks=81 nbVisitedNodes=413 nbRestartNogoods=8 mapSize=72
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.165 cpuTime=0.14 mem=15M362
1.09
1.09 search
1.09 run=4 nbConstraintChecks=1496815 nbPropagations=29442 nbRevisions=126989 nbUselessRevisions=67496
1.09 nbAssignments=360 nbFailedAssignments=214 nbBacktracks=131 nbVisitedNodes=663 nbRestartNogoods=12 mapSize=113
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.215 cpuTime=0.18 mem=15M362
1.15
1.15 search
1.15 run=5 nbConstraintChecks=2136791 nbPropagations=46734 nbRevisions=203149 nbUselessRevisions=107683
1.15 nbAssignments=537 nbFailedAssignments=313 nbBacktracks=206 nbVisitedNodes=996 nbRestartNogoods=16 mapSize=185
1.15 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.281 cpuTime=0.24 mem=15M362
1.27
1.27 search
1.27 run=6 nbConstraintChecks=3698000 nbPropagations=73576 nbRevisions=325244 nbUselessRevisions=172586
1.27 nbAssignments=848 nbFailedAssignments=507 nbBacktracks=319 nbVisitedNodes=1582 nbRestartNogoods=24 mapSize=287
1.27 nbInferences=0 nbTooLargeKeys=0
1.27 => wckTime=0.399 cpuTime=0.35 mem=15M362
1.41
1.41 search
1.41 run=7 nbConstraintChecks=5472818 nbPropagations=112769 nbRevisions=506520 nbUselessRevisions=268945
1.41 nbAssignments=1241 nbFailedAssignments=728 nbBacktracks=490 nbVisitedNodes=2313 nbRestartNogoods=33
1.41 mapSize=444 nbInferences=0 nbTooLargeKeys=0
1.41 => wckTime=0.541 cpuTime=0.49 mem=15M362
1.63
1.63 search
1.63 run=8 nbConstraintChecks=8110164 nbPropagations=170080 nbRevisions=771909 nbUselessRevisions=409720
1.63 nbAssignments=1855 nbFailedAssignments=1083 nbBacktracks=746 nbVisitedNodes=3441 nbRestartNogoods=37
1.63 mapSize=664 nbInferences=0 nbTooLargeKeys=0
1.63 => wckTime=0.757 cpuTime=0.69 mem=15M362
1.96
1.96 search
1.96 run=9 nbConstraintChecks=12715133 nbPropagations=256755 nbRevisions=1181855 nbUselessRevisions=627537
1.96 nbAssignments=2875 nbFailedAssignments=1715 nbBacktracks=1130 nbVisitedNodes=5361 nbRestartNogoods=48
1.96 mapSize=1008 nbInferences=0 nbTooLargeKeys=0
1.96 => wckTime=1.089 cpuTime=1.01 mem=16M337
1.98
1.98 INFO : Stopping hyperNogood (mapSize=1026, nbTooLargekeys=0, mem=16M337)
2.40
2.40 search
2.40 run=10 nbConstraintChecks=18548984 nbPropagations=387482 nbRevisions=1791436 nbUselessRevisions=950632
2.40 nbAssignments=4381 nbFailedAssignments=2667 nbBacktracks=1644 nbVisitedNodes=8193 nbRestartNogoods=56
2.40 => wckTime=1.528 cpuTime=1.44 mem=16M337
2.40
2.40 global
2.40 nbConstraintChecks=18726470 nbPropagations=388467 nbRevisions=1794964 nbUselessRevisions=952657
2.40 nbRestartNogoods=56 solvingWckTime=1.529 solvingCpuTime=1.44 expiredTime=no totalExploration=no
2.40 nbFoundSolutions=1 globalCpuTime=1.91
2.40 => wckTime=2.093 cpuTime=1.86 mem=16M337
2.40
2.40 s SATISFIABLE
2.40 v 29 75 45 77 22 73 31 69 22 14 4 71 75 8 25 23 30 66 27 28 61 70 53 53 22 7 47 43 76 22 30 78 40 51 61 12 64 21 8 2
2.40 d NODES 4381
2.40 d CHECKS 18726470
2.40
2.40 totalWckTime=2.169 totalCpuTime=1.91
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-224591-1168269227 -o ROOT/results/node15/solver-224591-1168269227 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/224591-1168269227/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.81 1.94 1.92 3/87 20660
/proc/meminfo: memFree=1445576/2055920 swapFree=4174172/4192956
[pid=20659] ppid=20657 vsize=18540 CPUtime=0
/proc/20659/stat : 20659 (runsolver) R 20657 20659 20518 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 175317817 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 240472616231 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/20659/statm: 4635 279 244 17 0 2626 0
[startup+0.1028 s]
/proc/loadavg: 1.81 1.94 1.92 3/87 20660
/proc/meminfo: memFree=1445576/2055920 swapFree=4174172/4192956
[pid=20659] ppid=20657 vsize=913068 CPUtime=0.08
/proc/20659/stat : 20659 (java) R 20657 20659 20518 0 -1 0 2871 0 1 0 6 2 0 0 25 0 8 0 175317817 934981632 2617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20659/statm: 228267 2617 1396 14 0 215168 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913068
[startup+0.512863 s]
/proc/loadavg: 1.81 1.94 1.92 3/87 20660
/proc/meminfo: memFree=1445576/2055920 swapFree=4174172/4192956
[pid=20659] ppid=20657 vsize=915328 CPUtime=0.48
/proc/20659/stat : 20659 (java) R 20657 20659 20518 0 -1 0 7630 0 1 0 44 4 0 0 25 0 8 0 175317817 937295872 7369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073588444 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20659/statm: 228832 7369 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.34 s]
/proc/loadavg: 1.81 1.94 1.92 3/94 20667
/proc/meminfo: memFree=1414288/2055920 swapFree=4174172/4192956
[pid=20659] ppid=20657 vsize=915464 CPUtime=1.29
/proc/20659/stat : 20659 (java) R 20657 20659 20518 0 -1 0 10550 0 1 0 122 7 0 0 25 0 8 0 175317817 937435136 10288 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073730425 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20659/statm: 228866 10288 2524 14 0 215336 0
[pid=20659/tid=20661] ppid=20657 vsize=915464 CPUtime=0.03
/proc/20659/task/20661/stat : 20661 (java) S 20657 20659 20518 0 -1 64 353 0 0 0 3 0 0 0 16 0 8 0 175317821 937435136 10288 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20659/tid=20662] ppid=20657 vsize=915464 CPUtime=0
/proc/20659/task/20662/stat : 20662 (java) S 20657 20659 20518 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175317822 937435136 10288 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20659/tid=20663] ppid=20657 vsize=915464 CPUtime=0
/proc/20659/task/20663/stat : 20663 (java) S 20657 20659 20518 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175317822 937435136 10288 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20659/tid=20664] ppid=20657 vsize=915464 CPUtime=0
/proc/20659/task/20664/stat : 20664 (java) S 20657 20659 20518 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 175317825 937435136 10288 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20659/tid=20665] ppid=20657 vsize=915464 CPUtime=0.17
/proc/20659/task/20665/stat : 20665 (java) S 20657 20659 20518 0 -1 64 363 0 0 0 17 0 0 0 15 0 8 0 175317825 937435136 10288 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20659/tid=20666] ppid=20657 vsize=915464 CPUtime=0
/proc/20659/task/20666/stat : 20666 (java) S 20657 20659 20518 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 175317825 937435136 10288 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20659/tid=20667] ppid=20657 vsize=915464 CPUtime=0
/proc/20659/task/20667/stat : 20667 (java) S 20657 20659 20518 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175317825 937435136 10288 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) 915464
Child status: 0
Real time (s): 2.43919
CPU time (s): 2.36264
CPU user time (s): 2.27865
CPU system time (s): 0.083987
CPU usage (%): 96.8618
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.27865
system time used= 0.083987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10572
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= 1125
involuntary context switches= 1355
runsolver used 0.009998 s user time and 0.020996 s system time
The end
Begin job on node15 on Mon Jan 8 15:13:47 UTC 2007
IDJOB= 224591
IDBENCH= 5769
FILE ID= node15/224591-1168269227
PBS_JOBID= 3482965
Free space on /tmp= 66254 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.8/rand-2-40-80-103-800-1_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/224591-1168269227/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-224591-1168269227 -o ROOT/results/node15/solver-224591-1168269227 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/224591-1168269227/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 35fa7d48ce2e2534268abcc10affdd14
RANDOM SEED= 977151666
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.276
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.276
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: 1446312 kB
Buffers: 72552 kB
Cached: 204676 kB
SwapCached: 6400 kB
Active: 448768 kB
Inactive: 103516 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1446312 kB
SwapTotal: 4192956 kB
SwapFree: 4174172 kB
Dirty: 2560 kB
Writeback: 0 kB
Mapped: 285192 kB
Slab: 41584 kB
Committed_AS: 5479940 kB
PageTables: 2872 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= 66254 MiB
End job on node15 on Mon Jan 8 15:13:53 UTC 2007