0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.37
0.37 instance
0.37 name=/tmp/evaluation/195273-1168112684/unknown.xml
0.40
0.40 domains being loaded...
0.41
0.41 variables being loaded...
0.48 nbVariables=400 nbDomainTypes=5 minDomainSize=4 maxDomainSize=21
0.48 => wckTime=0.162 cpuTime=0.11 mem=7M863
0.48
0.48 predicates being loaded...
0.48
0.48 constraints being loaded...
1.07 nbConstraints=2245 nbConvertedConstraints=2245 nbConvertConstraintsChecks=179928 nbExtensionStructures=669
1.07 nbSharedExtensionStructures=1576 nbConflictsStructures=669 nbSharedConflictsStructures=1576
1.07 nbSharedBinaryRepresentations=21972 maxDegree=31 maxArity=2
1.07 => wckTime=0.75 cpuTime=0.56 mem=21M548
1.12
1.12 solver IterativeSystematicSolver being built...
1.30 => wckTime=0.987 cpuTime=0.7 mem=17M39
5.21
5.21 preprocessing
5.21 nbConstraintChecks=6967131 nbPropagations=192122 nbRevisions=581094 nbUselessRevisions=274712
5.21 nbSingletonTests=22963 nbEffectiveSingletonTests=166 nbESACBranches=1290 nbRemovedValues=718
5.21 detectedInconsistency=no
5.21 => wckTime=3.91 cpuTime=3.86 mem=17M39
5.25
5.25 search
5.25 run=0 nbConstraintChecks=34567 nbPropagations=192782 nbRevisions=585092 nbUselessRevisions=276645
5.25 nbAssignments=60 nbFailedAssignments=28 nbBacktracks=10 nbVisitedNodes=96 nbRestartNogoods=0 mapSize=8
5.26 nbInferences=0 nbTooLargeKeys=0
5.26 => wckTime=3.951 cpuTime=3.89 mem=18M23
5.30
5.30 search
5.30 run=1 nbConstraintChecks=147715 nbPropagations=388472 nbRevisions=1179912 nbUselessRevisions=557424
5.30 nbAssignments=325 nbFailedAssignments=61 nbBacktracks=25 nbVisitedNodes=206 nbRestartNogoods=8 mapSize=18
5.30 nbInferences=0 nbTooLargeKeys=0
5.30 => wckTime=3.995 cpuTime=3.93 mem=18M23
5.34
5.34 search
5.34 run=2 nbConstraintChecks=268316 nbPropagations=587291 nbRevisions=1785434 nbUselessRevisions=842741
5.34 nbAssignments=605 nbFailedAssignments=102 nbBacktracks=47 nbVisitedNodes=344 nbRestartNogoods=17 mapSize=31
5.34 nbInferences=0 nbTooLargeKeys=0
5.34 => wckTime=4.036 cpuTime=3.97 mem=18M23
5.39
5.39 search
5.39 run=3 nbConstraintChecks=391079 nbPropagations=789094 nbRevisions=2402609 nbUselessRevisions=1133092
5.39 nbAssignments=875 nbFailedAssignments=166 nbBacktracks=84 nbVisitedNodes=537 nbRestartNogoods=27 mapSize=50
5.39 nbInferences=0 nbTooLargeKeys=0
5.39 => wckTime=4.082 cpuTime=4.02 mem=18M23
5.42
5.42 search
5.42 run=4 nbConstraintChecks=477270 nbPropagations=992528 nbRevisions=3030017 nbUselessRevisions=1428269
5.42 nbAssignments=1028 nbFailedAssignments=251 nbBacktracks=135 nbVisitedNodes=795 nbRestartNogoods=28 mapSize=74
5.42 nbInferences=0 nbTooLargeKeys=0
5.42 => wckTime=4.119 cpuTime=4.05 mem=18M23
5.49
5.49 search
5.49 run=5 nbConstraintChecks=666281 nbPropagations=1200066 nbRevisions=3677203 nbUselessRevisions=1732427
5.49 nbAssignments=1403 nbFailedAssignments=390 nbBacktracks=210 nbVisitedNodes=1195 nbRestartNogoods=39
5.49 mapSize=115 nbInferences=0 nbTooLargeKeys=0
5.49 => wckTime=4.19 cpuTime=4.12 mem=18M23
5.58
5.58 search
5.58 run=6 nbConstraintChecks=906533 nbPropagations=1412532 nbRevisions=4350943 nbUselessRevisions=2048738
5.58 nbAssignments=1839 nbFailedAssignments=591 nbBacktracks=323 nbVisitedNodes=1772 nbRestartNogoods=47
5.58 mapSize=175 nbInferences=0 nbTooLargeKeys=0
5.58 => wckTime=4.28 cpuTime=4.21 mem=18M998
5.71
5.71 search
5.71 run=7 nbConstraintChecks=1252437 nbPropagations=1631931 nbRevisions=5063414 nbUselessRevisions=2382738
5.71 nbAssignments=2437 nbFailedAssignments=897 nbBacktracks=496 nbVisitedNodes=2639 nbRestartNogoods=59
5.71 mapSize=274 nbInferences=0 nbTooLargeKeys=0
5.71 => wckTime=4.41 cpuTime=4.33 mem=18M998
5.83
5.83 search
5.83 run=8 nbConstraintChecks=1538273 nbPropagations=1856862 nbRevisions=5809963 nbUselessRevisions=2732340
5.83 nbAssignments=2924 nbFailedAssignments=1210 nbBacktracks=671 nbVisitedNodes=3533 nbRestartNogoods=61
5.83 mapSize=384 nbInferences=0 nbTooLargeKeys=0
5.83 => wckTime=4.524 cpuTime=4.44 mem=18M998
5.83
5.83 global
5.83 nbConstraintChecks=8505404 nbPropagations=2048984 nbRevisions=6391057 nbUselessRevisions=3007052
5.83 nbRestartNogoods=61 solvingWckTime=4.526 solvingCpuTime=4.44 expiredTime=no totalExploration=yes
5.83 nbFoundSolutions=0 globalCpuTime=5.18
5.83 => wckTime=5.515 cpuTime=5.14 mem=18M998
5.83
5.83 s UNSATISFIABLE
5.83 d NODES 2924
5.83 d CHECKS 8505404
5.83
5.83 totalWckTime=5.592 totalCpuTime=5.19
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node3/watcher-195273-1168112684 -o ROOT/results/node3/solver-195273-1168112684 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195273-1168112684/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.93 2.00 1.99 4/88 6964
/proc/meminfo: memFree=1803792/2055920 swapFree=4192812/4192956
[pid=6963] ppid=6961 vsize=1784 CPUtime=0
/proc/6963/stat : 6963 (java) R 6961 6963 6089 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 159664306 1826816 160 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 0 0 0
/proc/6963/statm: 446 160 125 14 0 91 0
[startup+0.107352 s]
/proc/loadavg: 1.93 2.00 1.99 4/88 6964
/proc/meminfo: memFree=1803792/2055920 swapFree=4192812/4192956
[pid=6963] ppid=6961 vsize=914988 CPUtime=0.09
/proc/6963/stat : 6963 (java) R 6961 6963 6089 0 -1 0 3062 0 1 0 7 2 0 0 22 0 8 0 159664306 936947712 2808 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6963/statm: 228747 2808 1450 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515418 s]
/proc/loadavg: 1.93 2.00 1.99 4/88 6964
/proc/meminfo: memFree=1803792/2055920 swapFree=4192812/4192956
[pid=6963] ppid=6961 vsize=915328 CPUtime=0.46
/proc/6963/stat : 6963 (java) R 6961 6963 6089 0 -1 0 6319 0 8 0 40 6 0 0 22 0 8 0 159664306 937295872 6065 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073587486 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6963/statm: 228832 6066 2147 14 0 215302 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915328
[startup+1.34355 s]
/proc/loadavg: 1.93 2.00 1.99 3/95 6971
/proc/meminfo: memFree=1769240/2055920 swapFree=4192812/4192956
[pid=6963] ppid=6961 vsize=915724 CPUtime=1.29
/proc/6963/stat : 6963 (java) R 6961 6963 6089 0 -1 0 10960 0 8 0 112 17 0 0 25 0 8 0 159664306 937701376 10704 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6963/statm: 228931 10704 2539 14 0 215401 0
[pid=6963/tid=6965] ppid=6961 vsize=915724 CPUtime=0.04
/proc/6963/task/6965/stat : 6965 (java) S 6961 6963 6089 0 -1 64 560 0 0 0 4 0 0 0 16 0 8 0 159664310 937701376 10704 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6963/tid=6966] ppid=6961 vsize=915724 CPUtime=0
/proc/6963/task/6966/stat : 6966 (java) S 6961 6963 6089 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159664310 937701376 10704 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6963/tid=6967] ppid=6961 vsize=915724 CPUtime=0
/proc/6963/task/6967/stat : 6967 (java) S 6961 6963 6089 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 159664310 937701376 10704 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6963/tid=6968] ppid=6961 vsize=915724 CPUtime=0
/proc/6963/task/6968/stat : 6968 (java) S 6961 6963 6089 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 159664313 937701376 10704 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6963/tid=6969] ppid=6961 vsize=915724 CPUtime=0.26
/proc/6963/task/6969/stat : 6969 (java) R 6961 6963 6089 0 -1 64 472 0 0 0 25 1 0 0 15 0 8 0 159664313 937701376 10704 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153066206 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6963/tid=6970] ppid=6961 vsize=915724 CPUtime=0
/proc/6963/task/6970/stat : 6970 (java) S 6961 6963 6089 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 159664313 937701376 10704 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6963/tid=6971] ppid=6961 vsize=915724 CPUtime=0
/proc/6963/task/6971/stat : 6971 (java) S 6961 6963 6089 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159664313 937701376 10704 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) 915724
[startup+2.98382 s]
/proc/loadavg: 1.93 2.00 1.99 3/95 6971
/proc/meminfo: memFree=1768792/2055920 swapFree=4192812/4192956
[pid=6963] ppid=6961 vsize=915724 CPUtime=2.91
/proc/6963/stat : 6963 (java) R 6961 6963 6089 0 -1 0 10979 0 8 0 273 18 0 0 25 0 8 0 159664306 937701376 10722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074054446 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6963/statm: 228931 10722 2541 14 0 215401 0
[pid=6963/tid=6965] ppid=6961 vsize=915724 CPUtime=0.04
/proc/6963/task/6965/stat : 6965 (java) S 6961 6963 6089 0 -1 64 560 0 0 0 4 0 0 0 17 0 8 0 159664310 937701376 10722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6963/tid=6966] ppid=6961 vsize=915724 CPUtime=0
/proc/6963/task/6966/stat : 6966 (java) S 6961 6963 6089 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159664310 937701376 10722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6963/tid=6967] ppid=6961 vsize=915724 CPUtime=0
/proc/6963/task/6967/stat : 6967 (java) S 6961 6963 6089 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 159664310 937701376 10722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6963/tid=6968] ppid=6961 vsize=915724 CPUtime=0
/proc/6963/task/6968/stat : 6968 (java) S 6961 6963 6089 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 159664313 937701376 10722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6963/tid=6969] ppid=6961 vsize=915724 CPUtime=0.28
/proc/6963/task/6969/stat : 6969 (java) S 6961 6963 6089 0 -1 64 486 0 0 0 27 1 0 0 15 0 8 0 159664313 937701376 10722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6963/tid=6970] ppid=6961 vsize=915724 CPUtime=0
/proc/6963/task/6970/stat : 6970 (java) S 6961 6963 6089 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 159664313 937701376 10722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6963/tid=6971] ppid=6961 vsize=915724 CPUtime=0
/proc/6963/task/6971/stat : 6971 (java) S 6961 6963 6089 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159664313 937701376 10722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915724
Child status: 0
Real time (s): 5.86069
CPU time (s): 5.78212
CPU user time (s): 5.53916
CPU system time (s): 0.242963
CPU usage (%): 98.6593
Max. virtual memory (cumulated for all children) (KiB): 915724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.53916
system time used= 0.242963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11006
page faults= 8
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1652
involuntary context switches= 1898
runsolver used 0.011998 s user time and 0.025996 s system time
The end
Begin job on node3 on Sat Jan 6 19:44:45 UTC 2007
IDJOB= 195273
IDBENCH= 3259
FILE ID= node3/195273-1168112684
PBS_JOBID= 3477074
Free space on /tmp= 66543 MiB
BENCH NAME= HOME/pub/bench/CPAI06/rlfap/rlfapGraphsMod/graph2-f25.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195273-1168112684/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-195273-1168112684 -o ROOT/results/node3/solver-195273-1168112684 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195273-1168112684/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 04f911baad0f31dfda30a7d72ec0149f
RANDOM SEED= 647803080
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.279
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.279
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: 1804272 kB
Buffers: 38068 kB
Cached: 97388 kB
SwapCached: 0 kB
Active: 130680 kB
Inactive: 67888 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1804272 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2036 kB
Writeback: 0 kB
Mapped: 83680 kB
Slab: 38052 kB
Committed_AS: 3908988 kB
PageTables: 2084 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= 66543 MiB
End job on node3 on Sat Jan 6 19:44:53 UTC 2007