0.38
0.38 Abscon 109 (November, 2006)
0.38
0.38 configuration
0.38 name=esac.xml
0.41
0.41 instance
0.41 name=/tmp/evaluation/226693-1168276312/unknown.xml
0.44
0.44 domains being loaded...
0.45
0.45 variables being loaded...
0.48 nbVariables=40 nbDomainTypes=1 minDomainSize=40 maxDomainSize=40
0.48 => wckTime=0.098 cpuTime=0.08 mem=6M951
0.48
0.48 relations being loaded...
0.59
0.59 constraints being loaded...
0.67 nbConstraints=135 nbRelationTypes=135 nbExtensionStructures=135 nbSharedExtensionStructures=0
0.67 nbConflictsStructures=135 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=12 maxArity=2
0.67 => wckTime=0.287 cpuTime=0.23 mem=15M761
0.71
0.71 solver IterativeSystematicSolver being built...
0.87 => wckTime=0.483 cpuTime=0.36 mem=14M928
0.92
0.92 preprocessing
0.92 nbConstraintChecks=90332 nbPropagations=828 nbRevisions=3954 nbUselessRevisions=2612 nbSingletonTests=50
0.92 nbEffectiveSingletonTests=0 nbESACBranches=9 nbRemovedValues=0 detectedInconsistency=no
0.92 => wckTime=0.046 cpuTime=0.02 mem=14M928
0.94
0.94 search
0.94 run=0 nbConstraintChecks=58988 nbPropagations=1515 nbRevisions=8021 nbUselessRevisions=5177 nbAssignments=28
0.94 nbFailedAssignments=14 nbBacktracks=12 nbVisitedNodes=52 nbRestartNogoods=0 mapSize=11 nbInferences=0
0.94 nbTooLargeKeys=0
0.94 => wckTime=0.07 cpuTime=0.04 mem=14M928
0.96
0.96 search
0.96 run=1 nbConstraintChecks=137674 nbPropagations=3973 nbRevisions=21767 nbUselessRevisions=13776
0.96 nbAssignments=65 nbFailedAssignments=33 nbBacktracks=27 nbVisitedNodes=117 nbRestartNogoods=1 mapSize=24
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.087 cpuTime=0.05 mem=14M928
0.99
0.99 search
0.99 run=2 nbConstraintChecks=307524 nbPropagations=8360 nbRevisions=47232 nbUselessRevisions=29518
0.99 nbAssignments=147 nbFailedAssignments=81 nbBacktracks=50 nbVisitedNodes=260 nbRestartNogoods=7 mapSize=47
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.115 cpuTime=0.07 mem=14M928
1.01
1.01 search
1.01 run=3 nbConstraintChecks=539035 nbPropagations=15148 nbRevisions=87963 nbUselessRevisions=54873
1.01 nbAssignments=245 nbFailedAssignments=127 nbBacktracks=83 nbVisitedNodes=417 nbRestartNogoods=15 mapSize=80
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.142 cpuTime=0.1 mem=14M928
1.05
1.05 search
1.05 run=4 nbConstraintChecks=863948 nbPropagations=25549 nbRevisions=150951 nbUselessRevisions=93973
1.05 nbAssignments=377 nbFailedAssignments=186 nbBacktracks=133 nbVisitedNodes=630 nbRestartNogoods=26 mapSize=129
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.18 cpuTime=0.14 mem=14M928
1.10
1.10 search
1.10 run=5 nbConstraintChecks=1324433 nbPropagations=41079 nbRevisions=245522 nbUselessRevisions=152395
1.10 nbAssignments=576 nbFailedAssignments=288 nbBacktracks=209 nbVisitedNodes=967 nbRestartNogoods=40 mapSize=195
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.233 cpuTime=0.19 mem=14M928
1.17
1.17 search
1.17 run=6 nbConstraintChecks=1869492 nbPropagations=63501 nbRevisions=380867 nbUselessRevisions=235314
1.17 nbAssignments=816 nbFailedAssignments=410 nbBacktracks=322 nbVisitedNodes=1407 nbRestartNogoods=45 mapSize=301
1.17 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.303 cpuTime=0.25 mem=14M928
1.28
1.29 search
1.29 run=7 nbConstraintChecks=2902031 nbPropagations=97082 nbRevisions=586038 nbUselessRevisions=360933
1.29 nbAssignments=1243 nbFailedAssignments=657 nbBacktracks=493 nbVisitedNodes=2218 nbRestartNogoods=50
1.29 mapSize=461 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.415 cpuTime=0.36 mem=14M928
1.43
1.43 search
1.43 run=8 nbConstraintChecks=4132311 nbPropagations=145456 nbRevisions=880222 nbUselessRevisions=540437
1.43 nbAssignments=1772 nbFailedAssignments=923 nbBacktracks=753 nbVisitedNodes=3192 nbRestartNogoods=63
1.43 mapSize=700 nbInferences=0 nbTooLargeKeys=0
1.43 => wckTime=0.561 cpuTime=0.49 mem=14M928
1.62
1.62 INFO : Stopping hyperNogood (mapSize=1027, nbTooLargekeys=0, mem=14M928)
1.64
1.64 search
1.64 run=9 nbConstraintChecks=6216253 nbPropagations=217716 nbRevisions=1323337 nbUselessRevisions=810405
1.64 nbAssignments=2644 nbFailedAssignments=1407 nbBacktracks=1138 nbVisitedNodes=4835 nbRestartNogoods=66
1.64 => wckTime=0.772 cpuTime=0.7 mem=14M928
1.95
1.95 search
1.95 run=10 nbConstraintChecks=9171851 nbPropagations=325006 nbRevisions=1984693 nbUselessRevisions=1213717
1.95 nbAssignments=3982 nbFailedAssignments=2165 nbBacktracks=1714 nbVisitedNodes=7348 nbRestartNogoods=68
1.95 => wckTime=1.075 cpuTime=0.98 mem=14M928
2.42
2.42 search
2.42 run=11 nbConstraintChecks=14094487 nbPropagations=487601 nbRevisions=2995592 nbUselessRevisions=1830077
2.42 nbAssignments=6143 nbFailedAssignments=3457 nbBacktracks=2579 nbVisitedNodes=11459 nbRestartNogoods=73
2.42 => wckTime=1.55 cpuTime=1.45 mem=14M928
3.03
3.03 search
3.03 run=12 nbConstraintChecks=20379718 nbPropagations=725026 nbRevisions=4475038 nbUselessRevisions=2733188
3.03 nbAssignments=8898 nbFailedAssignments=4912 nbBacktracks=3877 nbVisitedNodes=16596 nbRestartNogoods=88
3.03 => wckTime=2.16 cpuTime=2.06 mem=14M928
3.76
3.76 search
3.76 run=13 nbConstraintChecks=27614229 nbPropagations=1047068 nbRevisions=6481590 nbUselessRevisions=3956765
3.76 nbAssignments=12113 nbFailedAssignments=6641 nbBacktracks=5323 nbVisitedNodes=22540 nbRestartNogoods=95
3.76 => wckTime=2.89 cpuTime=2.78 mem=14M928
3.76
3.76 global
3.76 nbConstraintChecks=27704561 nbPropagations=1047896 nbRevisions=6485544 nbUselessRevisions=3959377
3.76 nbRestartNogoods=95 solvingWckTime=2.891 solvingCpuTime=2.79 expiredTime=no totalExploration=no
3.76 nbFoundSolutions=1 globalCpuTime=3.2
3.76 => wckTime=3.378 cpuTime=3.15 mem=15M904
3.76
3.76 s SATISFIABLE
3.76 v 24 32 10 27 4 17 28 9 18 26 2 0 26 35 10 38 30 4 8 6 35 2 27 9 2 7 13 28 10 11 33 21 6 17 39 26 0 4 39 9
3.76 d NODES 12113
3.76 d CHECKS 27704561
3.76
3.76 totalWckTime=3.453 totalCpuTime=3.2
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node62/watcher-226693-1168276312 -o ROOT/results/node62/solver-226693-1168276312 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/226693-1168276312/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.87 0.97 1.17 5/81 5506
/proc/meminfo: memFree=1794848/2055920 swapFree=4192812/4192956
[pid=5505] ppid=5503 vsize=18540 CPUtime=0
/proc/5505/stat : 5505 (runsolver) R 5503 5505 5348 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 176028934 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 236437695783 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/5505/statm: 4635 279 244 17 0 2626 0
[startup+0.107803 s]
/proc/loadavg: 0.87 0.97 1.17 5/81 5506
/proc/meminfo: memFree=1794848/2055920 swapFree=4192812/4192956
[pid=5505] ppid=5503 vsize=47416 CPUtime=0
/proc/5505/stat : 5505 (java) R 5503 5505 5348 0 -1 0 844 0 1 0 0 0 0 0 18 0 1 0 176028934 48553984 593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4151972582 0 4 0 7368 0 0 0 17 0 0 0
/proc/5505/statm: 11854 593 487 14 0 1707 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 47416
[startup+0.515885 s]
/proc/loadavg: 0.87 0.97 1.17 5/81 5506
/proc/meminfo: memFree=1794848/2055920 swapFree=4192812/4192956
[pid=5505] ppid=5503 vsize=915328 CPUtime=0.4
/proc/5505/stat : 5505 (java) R 5503 5505 5348 0 -1 0 6318 0 1 0 36 4 0 0 24 0 8 0 176028934 937295872 6057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072916832 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5505/statm: 228832 6057 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 915328
[startup+1.34232 s]
/proc/loadavg: 0.87 0.97 1.17 3/88 5513
/proc/meminfo: memFree=1766376/2055920 swapFree=4192812/4192956
[pid=5505] ppid=5503 vsize=915464 CPUtime=1.21
/proc/5505/stat : 5505 (java) R 5503 5505 5348 0 -1 0 9090 0 1 0 114 7 0 0 25 0 8 0 176028934 937435136 8828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5505/statm: 228866 8828 2524 14 0 215336 0
[pid=5505/tid=5507] ppid=5503 vsize=915464 CPUtime=0.03
/proc/5505/task/5507/stat : 5507 (java) S 5503 5505 5348 0 -1 64 255 0 0 0 3 0 0 0 16 0 8 0 176028947 937435136 8828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5505/tid=5508] ppid=5503 vsize=915464 CPUtime=0
/proc/5505/task/5508/stat : 5508 (java) S 5503 5505 5348 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 176028948 937435136 8828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5505/tid=5509] ppid=5503 vsize=915464 CPUtime=0
/proc/5505/task/5509/stat : 5509 (java) S 5503 5505 5348 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176028948 937435136 8828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5505/tid=5510] ppid=5503 vsize=915464 CPUtime=0
/proc/5505/task/5510/stat : 5510 (java) S 5503 5505 5348 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 176028951 937435136 8828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5505/tid=5511] ppid=5503 vsize=915464 CPUtime=0.18
/proc/5505/task/5511/stat : 5511 (java) S 5503 5505 5348 0 -1 64 365 0 0 0 17 1 0 0 15 0 8 0 176028951 937435136 8828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5505/tid=5512] ppid=5503 vsize=915464 CPUtime=0
/proc/5505/task/5512/stat : 5512 (java) S 5503 5505 5348 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 176028951 937435136 8828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5505/tid=5513] ppid=5503 vsize=915464 CPUtime=0
/proc/5505/task/5513/stat : 5513 (java) S 5503 5505 5348 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 176028951 937435136 8828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 915464
[startup+2.98036 s]
/proc/loadavg: 0.96 0.98 1.17 3/77 5522
/proc/meminfo: memFree=1774720/2055920 swapFree=4192812/4192956
[pid=5505] ppid=5503 vsize=915464 CPUtime=2.84
/proc/5505/stat : 5505 (java) R 5503 5505 5348 0 -1 0 9105 0 1 0 277 7 0 0 25 0 8 0 176028934 937435136 8842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073733872 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5505/statm: 228866 8842 2524 14 0 215336 0
[pid=5505/tid=5507] ppid=5503 vsize=915464 CPUtime=0.03
/proc/5505/task/5507/stat : 5507 (java) S 5503 5505 5348 0 -1 64 255 0 0 0 3 0 0 0 16 0 8 0 176028947 937435136 8842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5505/tid=5508] ppid=5503 vsize=915464 CPUtime=0
/proc/5505/task/5508/stat : 5508 (java) S 5503 5505 5348 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 176028948 937435136 8842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5505/tid=5509] ppid=5503 vsize=915464 CPUtime=0
/proc/5505/task/5509/stat : 5509 (java) S 5503 5505 5348 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176028948 937435136 8842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5505/tid=5510] ppid=5503 vsize=915464 CPUtime=0
/proc/5505/task/5510/stat : 5510 (java) S 5503 5505 5348 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 176028951 937435136 8842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5505/tid=5511] ppid=5503 vsize=915464 CPUtime=0.2
/proc/5505/task/5511/stat : 5511 (java) S 5503 5505 5348 0 -1 64 380 0 0 0 19 1 0 0 15 0 8 0 176028951 937435136 8842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5505/tid=5512] ppid=5503 vsize=915464 CPUtime=0
/proc/5505/task/5512/stat : 5512 (java) S 5503 5505 5348 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 176028951 937435136 8842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5505/tid=5513] ppid=5503 vsize=915464 CPUtime=0
/proc/5505/task/5513/stat : 5513 (java) S 5503 5505 5348 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 176028951 937435136 8842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 3.81873
CPU time (s): 3.64345
CPU user time (s): 3.55646
CPU system time (s): 0.086986
CPU usage (%): 95.4098
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.55646
system time used= 0.086986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9113
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= 1129
involuntary context switches= 1327
runsolver used 0.005999 s user time and 0.022996 s system time
The end
Begin job on node62 on Mon Jan 8 17:11:52 UTC 2007
IDJOB= 226693
IDBENCH= 6003
FILE ID= node62/226693-1168276312
PBS_JOBID= 3483318
Free space on /tmp= 66557 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.65/rand-2-40-40-135-650-41_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/226693-1168276312/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node62/watcher-226693-1168276312 -o ROOT/results/node62/solver-226693-1168276312 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/226693-1168276312/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 9c6f6d954f70f727d4ac2c7a6020a2f3
RANDOM SEED= 666337181
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.259
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.259
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: 1795456 kB
Buffers: 30404 kB
Cached: 150476 kB
SwapCached: 0 kB
Active: 119956 kB
Inactive: 89076 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1795456 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3168 kB
Writeback: 0 kB
Mapped: 45860 kB
Slab: 36688 kB
Committed_AS: 3958896 kB
PageTables: 1952 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= 66557 MiB
End job on node62 on Mon Jan 8 17:11:57 UTC 2007