0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/223262-1168265488/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=30 nbDomainTypes=1 minDomainSize=15 maxDomainSize=15
0.39 => wckTime=0.095 cpuTime=0.08 mem=6M951
0.39
0.39 relations being loaded...
0.46
0.46 constraints being loaded...
0.55 nbConstraints=223 nbRelationTypes=223 nbExtensionStructures=223 nbSharedExtensionStructures=0
0.55 nbConflictsStructures=223 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2858 maxDegree=21
0.55 maxArity=2
0.55 => wckTime=0.255 cpuTime=0.18 mem=10M853
0.59
0.59 solver IterativeSystematicSolver being built...
0.75 => wckTime=0.449 cpuTime=0.31 mem=14M679
0.79
0.79 preprocessing
0.79 nbConstraintChecks=29891 nbPropagations=561 nbRevisions=3776 nbUselessRevisions=2953 nbSingletonTests=37
0.79 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=1 detectedInconsistency=no
0.79 => wckTime=0.039 cpuTime=0.02 mem=14M679
0.81
0.81 search
0.81 run=0 nbConstraintChecks=22276 nbPropagations=1002 nbRevisions=8653 nbUselessRevisions=6797 nbAssignments=25
0.81 nbFailedAssignments=8 nbBacktracks=13 nbVisitedNodes=41 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.81 nbTooLargeKeys=0
0.81 => wckTime=0.059 cpuTime=0.05 mem=14M679
0.82
0.82 search
0.82 run=1 nbConstraintChecks=50012 nbPropagations=2549 nbRevisions=23237 nbUselessRevisions=18258 nbAssignments=59
0.82 nbFailedAssignments=22 nbBacktracks=30 nbVisitedNodes=98 nbRestartNogoods=2 mapSize=27 nbInferences=0
0.82 nbTooLargeKeys=0
0.82 => wckTime=0.075 cpuTime=0.06 mem=14M679
0.84
0.84 search
0.84 run=2 nbConstraintChecks=93345 nbPropagations=4869 nbRevisions=46449 nbUselessRevisions=36488
0.84 nbAssignments=106 nbFailedAssignments=42 nbBacktracks=52 nbVisitedNodes=179 nbRestartNogoods=3 mapSize=46
0.84 nbInferences=0 nbTooLargeKeys=0
0.84 => wckTime=0.092 cpuTime=0.07 mem=14M679
0.85
0.86 search
0.86 run=3 nbConstraintChecks=151062 nbPropagations=8379 nbRevisions=82012 nbUselessRevisions=64786
0.86 nbAssignments=177 nbFailedAssignments=65 nbBacktracks=86 nbVisitedNodes=284 nbRestartNogoods=7 mapSize=74
0.86 nbInferences=0 nbTooLargeKeys=0
0.86 => wckTime=0.107 cpuTime=0.08 mem=14M679
0.87
0.87 search
0.87 run=4 nbConstraintChecks=226026 nbPropagations=13336 nbRevisions=134013 nbUselessRevisions=106021
0.87 nbAssignments=257 nbFailedAssignments=94 nbBacktracks=136 nbVisitedNodes=427 nbRestartNogoods=10 mapSize=121
0.88 nbInferences=0 nbTooLargeKeys=0
0.88 => wckTime=0.126 cpuTime=0.1 mem=14M679
0.90
0.90 search
0.90 run=5 nbConstraintChecks=341408 nbPropagations=20317 nbRevisions=209715 nbUselessRevisions=165809
0.90 nbAssignments=387 nbFailedAssignments=143 nbBacktracks=212 nbVisitedNodes=647 nbRestartNogoods=11 mapSize=180
0.90 nbInferences=0 nbTooLargeKeys=0
0.90 => wckTime=0.156 cpuTime=0.13 mem=14M679
0.94
0.94 search
0.94 run=6 nbConstraintChecks=508375 nbPropagations=30280 nbRevisions=320654 nbUselessRevisions=253192
0.94 nbAssignments=574 nbFailedAssignments=213 nbBacktracks=325 nbVisitedNodes=971 nbRestartNogoods=16 mapSize=274
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.193 cpuTime=0.16 mem=14M679
0.99
0.99 search
0.99 run=7 nbConstraintChecks=737511 nbPropagations=44516 nbRevisions=481517 nbUselessRevisions=380217
0.99 nbAssignments=853 nbFailedAssignments=318 nbBacktracks=496 nbVisitedNodes=1452 nbRestartNogoods=19 mapSize=412
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.245 cpuTime=0.21 mem=14M679
1.07
1.07 search
1.07 run=8 nbConstraintChecks=1095116 nbPropagations=65523 nbRevisions=717862 nbUselessRevisions=566534
1.07 nbAssignments=1265 nbFailedAssignments=465 nbBacktracks=753 nbVisitedNodes=2148 nbRestartNogoods=26
1.07 mapSize=617 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.326 cpuTime=0.29 mem=14M679
1.20
1.20 search
1.20 run=9 nbConstraintChecks=1693457 nbPropagations=97131 nbRevisions=1079085 nbUselessRevisions=851458
1.20 nbAssignments=1905 nbFailedAssignments=717 nbBacktracks=1138 nbVisitedNodes=3276 nbRestartNogoods=29
1.20 mapSize=954 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.453 cpuTime=0.4 mem=14M679
1.23
1.23 INFO : Stopping hyperNogood (mapSize=1011, nbTooLargekeys=0, mem=14M679)
1.38
1.38 search
1.38 run=10 nbConstraintChecks=2699847 nbPropagations=146424 nbRevisions=1659247 nbUselessRevisions=1311390
1.38 nbAssignments=2930 nbFailedAssignments=1163 nbBacktracks=1714 nbVisitedNodes=5114 nbRestartNogoods=34
1.38 => wckTime=0.633 cpuTime=0.57 mem=14M679
1.59
1.59 search
1.59 run=11 nbConstraintChecks=3910722 nbPropagations=218237 nbRevisions=2503269 nbUselessRevisions=1981177
1.59 nbAssignments=4353 nbFailedAssignments=1715 nbBacktracks=2582 nbVisitedNodes=7581 nbRestartNogoods=39
1.59 => wckTime=0.838 cpuTime=0.77 mem=14M679
1.91
1.91 search
1.91 run=12 nbConstraintChecks=5921006 nbPropagations=325819 nbRevisions=3769289 nbUselessRevisions=2984594
1.91 nbAssignments=6525 nbFailedAssignments=2584 nbBacktracks=3881 nbVisitedNodes=11372 nbRestartNogoods=47
1.91 => wckTime=1.162 cpuTime=1.09 mem=14M679
2.05
2.05 search
2.05 run=13 nbConstraintChecks=6826026 nbPropagations=449334 nbRevisions=5221627 nbUselessRevisions=4134330
2.06 nbAssignments=7484 nbFailedAssignments=2972 nbBacktracks=4422 nbVisitedNodes=13017 nbRestartNogoods=50
2.06 => wckTime=1.307 cpuTime=1.24 mem=14M679
2.06
2.06 global
2.06 nbConstraintChecks=6855917 nbPropagations=449895 nbRevisions=5225403 nbUselessRevisions=4137283
2.06 nbRestartNogoods=50 solvingWckTime=1.309 solvingCpuTime=1.24 expiredTime=no totalExploration=no
2.06 nbFoundSolutions=1 globalCpuTime=1.6
2.06 => wckTime=1.76 cpuTime=1.55 mem=14M679
2.06
2.06 s SATISFIABLE
2.06 v 7 12 6 9 9 14 7 8 10 11 0 4 1 6 1 10 1 1 14 3 6 3 8 8 5 10 0 8 9 8
2.06 d NODES 7484
2.06 d CHECKS 6855917
2.06
2.06 totalWckTime=1.836 totalCpuTime=1.6
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-223262-1168265488 -o ROOT/results/node19/solver-223262-1168265488 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/223262-1168265488/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.03 0.09 0.33 3/81 23877
/proc/meminfo: memFree=1816464/2055920 swapFree=4171244/4192956
[pid=23876] ppid=23874 vsize=1500 CPUtime=0
/proc/23876/stat : 23876 (java) R 23874 23876 23088 0 -1 0 66 0 0 0 0 0 0 0 20 0 1 0 174944427 1536000 49 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 7427347 0 0 4096 0 0 0 0 17 1 0 0
/proc/23876/statm: 375 61 48 14 0 8 0
[startup+0.107634 s]
/proc/loadavg: 0.03 0.09 0.33 3/81 23877
/proc/meminfo: memFree=1816464/2055920 swapFree=4171244/4192956
[pid=23876] ppid=23874 vsize=914988 CPUtime=0.08
/proc/23876/stat : 23876 (java) R 23874 23876 23088 0 -1 0 3077 0 1 0 7 1 0 0 16 0 8 0 174944427 936947712 2823 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23876/statm: 228747 2824 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.519713 s]
/proc/loadavg: 0.03 0.09 0.33 3/81 23877
/proc/meminfo: memFree=1816464/2055920 swapFree=4171244/4192956
[pid=23876] ppid=23874 vsize=915328 CPUtime=0.49
/proc/23876/stat : 23876 (java) S 23874 23876 23088 0 -1 0 6748 0 1 0 46 3 0 0 16 0 8 0 174944427 937295872 6487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23876/statm: 228832 6487 2147 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34086 s]
/proc/loadavg: 0.11 0.10 0.33 2/88 23884
/proc/meminfo: memFree=1792792/2055920 swapFree=4171244/4192956
[pid=23876] ppid=23874 vsize=915452 CPUtime=1.31
/proc/23876/stat : 23876 (java) R 23874 23876 23088 0 -1 0 8637 0 1 0 125 6 0 0 17 0 8 0 174944427 937422848 8375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073783596 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23876/statm: 228863 8375 2524 14 0 215333 0
[pid=23876/tid=23878] ppid=23874 vsize=915452 CPUtime=0.02
/proc/23876/task/23878/stat : 23878 (java) S 23874 23876 23088 0 -1 64 206 0 0 0 2 0 0 0 16 0 8 0 174944430 937422848 8375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23876/tid=23879] ppid=23874 vsize=915452 CPUtime=0
/proc/23876/task/23879/stat : 23879 (java) S 23874 23876 23088 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 174944431 937422848 8375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23876/tid=23880] ppid=23874 vsize=915452 CPUtime=0
/proc/23876/task/23880/stat : 23880 (java) S 23874 23876 23088 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174944431 937422848 8375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23876/tid=23881] ppid=23874 vsize=915452 CPUtime=0
/proc/23876/task/23881/stat : 23881 (java) S 23874 23876 23088 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 174944434 937422848 8375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23876/tid=23882] ppid=23874 vsize=915452 CPUtime=0.2
/proc/23876/task/23882/stat : 23882 (java) S 23874 23876 23088 0 -1 64 387 0 0 0 19 1 0 0 16 0 8 0 174944434 937422848 8375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23876/tid=23883] ppid=23874 vsize=915452 CPUtime=0
/proc/23876/task/23883/stat : 23883 (java) S 23874 23876 23088 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 174944434 937422848 8375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23876/tid=23884] ppid=23874 vsize=915452 CPUtime=0
/proc/23876/task/23884/stat : 23884 (java) S 23874 23876 23088 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174944434 937422848 8375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 2.11212
CPU time (s): 2.05269
CPU user time (s): 1.9767
CPU system time (s): 0.075988
CPU usage (%): 97.186
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.9767
system time used= 0.075988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8741
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= 859
involuntary context switches= 307
runsolver used 0.002999 s user time and 0.014997 s system time
The end
Begin job on node19 on Mon Jan 8 14:11:32 UTC 2007
IDJOB= 223262
IDBENCH= 5619
FILE ID= node19/223262-1168265488
PBS_JOBID= 3482533
Free space on /tmp= 66319 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-30-15-fcd/rand-2-30-15-306-230-fcd-41_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/223262-1168265488/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-223262-1168265488 -o ROOT/results/node19/solver-223262-1168265488 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/223262-1168265488/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 369e355ff998c9e0babb765d9bbe020e
RANDOM SEED= 916060310
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.260
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.260
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: 1816936 kB
Buffers: 46184 kB
Cached: 101740 kB
SwapCached: 9904 kB
Active: 109136 kB
Inactive: 74016 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1816936 kB
SwapTotal: 4192956 kB
SwapFree: 4171244 kB
Dirty: 1864 kB
Writeback: 0 kB
Mapped: 44648 kB
Slab: 40836 kB
Committed_AS: 4526488 kB
PageTables: 2208 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= 66319 MiB
End job on node19 on Mon Jan 8 14:11:44 UTC 2007