0.34
0.34 Abscon 109 (November, 2006)
0.34
0.34 configuration
0.34 name=esac.xml
0.38
0.38 instance
0.38 name=/tmp/evaluation/204979-1168167063/unknown.xml
0.41
0.41 domains being loaded...
0.41
0.41 variables being loaded...
0.45 nbVariables=30 nbDomainTypes=1 minDomainSize=15 maxDomainSize=15
0.45 => wckTime=0.108 cpuTime=0.1 mem=6M951
0.45
0.45 relations being loaded...
0.52
0.52 constraints being loaded...
0.62 nbConstraints=224 nbRelationTypes=224 nbExtensionStructures=224 nbSharedExtensionStructures=0
0.62 nbConflictsStructures=224 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2830 maxDegree=21
0.62 maxArity=2
0.62 => wckTime=0.282 cpuTime=0.21 mem=10M852
0.67
0.67 solver IterativeSystematicSolver being built...
0.85 => wckTime=0.51 cpuTime=0.36 mem=14M681
0.90
0.90 preprocessing
0.90 nbConstraintChecks=35264 nbPropagations=644 nbRevisions=4685 nbUselessRevisions=3643 nbSingletonTests=40
0.90 nbEffectiveSingletonTests=0 nbESACBranches=7 nbRemovedValues=0 detectedInconsistency=no
0.90 => wckTime=0.045 cpuTime=0.03 mem=14M681
0.92
0.92 search
0.92 run=0 nbConstraintChecks=22629 nbPropagations=1067 nbRevisions=9157 nbUselessRevisions=7207 nbAssignments=23
0.92 nbFailedAssignments=8 nbBacktracks=10 nbVisitedNodes=40 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.068 cpuTime=0.04 mem=14M681
0.94
0.94 search
0.94 run=1 nbConstraintChecks=51414 nbPropagations=2638 nbRevisions=23750 nbUselessRevisions=18726 nbAssignments=55
0.94 nbFailedAssignments=20 nbBacktracks=25 nbVisitedNodes=94 nbRestartNogoods=3 mapSize=22 nbInferences=0
0.94 nbTooLargeKeys=0
0.94 => wckTime=0.084 cpuTime=0.05 mem=14M681
0.96
0.96 search
0.96 run=2 nbConstraintChecks=97978 nbPropagations=4978 nbRevisions=47083 nbUselessRevisions=36930
0.96 nbAssignments=102 nbFailedAssignments=42 nbBacktracks=47 nbVisitedNodes=179 nbRestartNogoods=5 mapSize=42
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.103 cpuTime=0.07 mem=14M681
0.97
0.97 search
0.97 run=3 nbConstraintChecks=152562 nbPropagations=8363 nbRevisions=82106 nbUselessRevisions=64340
0.97 nbAssignments=161 nbFailedAssignments=64 nbBacktracks=81 nbVisitedNodes=285 nbRestartNogoods=7 mapSize=73
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.118 cpuTime=0.08 mem=14M681
0.99
0.99 search
0.99 run=4 nbConstraintChecks=234246 nbPropagations=13292 nbRevisions=134838 nbUselessRevisions=105967
0.99 nbAssignments=259 nbFailedAssignments=104 nbBacktracks=132 nbVisitedNodes=456 nbRestartNogoods=9 mapSize=119
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.139 cpuTime=0.1 mem=14M681
1.03
1.03 search
1.03 run=5 nbConstraintChecks=364016 nbPropagations=20529 nbRevisions=214496 nbUselessRevisions=168517
1.03 nbAssignments=396 nbFailedAssignments=160 nbBacktracks=208 nbVisitedNodes=694 nbRestartNogoods=14 mapSize=180
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.173 cpuTime=0.13 mem=14M681
1.07
1.07 search
1.07 run=6 nbConstraintChecks=582469 nbPropagations=31477 nbRevisions=338481 nbUselessRevisions=265884
1.07 nbAssignments=609 nbFailedAssignments=258 nbBacktracks=321 nbVisitedNodes=1077 nbRestartNogoods=17 mapSize=282
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.22 cpuTime=0.18 mem=14M681
1.13
1.13 search
1.13 run=7 nbConstraintChecks=823062 nbPropagations=47001 nbRevisions=517126 nbUselessRevisions=406906
1.13 nbAssignments=898 nbFailedAssignments=373 nbBacktracks=491 nbVisitedNodes=1583 nbRestartNogoods=25 mapSize=428
1.14 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.281 cpuTime=0.23 mem=14M681
1.23
1.23 search
1.23 run=8 nbConstraintChecks=1270719 nbPropagations=70468 nbRevisions=792270 nbUselessRevisions=624509
1.23 nbAssignments=1366 nbFailedAssignments=579 nbBacktracks=748 nbVisitedNodes=2424 nbRestartNogoods=29
1.23 mapSize=654 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.379 cpuTime=0.33 mem=14M681
1.36
1.36 search
1.36 run=9 nbConstraintChecks=1823662 nbPropagations=104117 nbRevisions=1189867 nbUselessRevisions=939453
1.36 nbAssignments=2003 nbFailedAssignments=825 nbBacktracks=1135 nbVisitedNodes=3541 nbRestartNogoods=34
1.36 mapSize=979 nbInferences=0 nbTooLargeKeys=0
1.36 => wckTime=0.506 cpuTime=0.44 mem=14M681
1.39
1.39 INFO : Stopping hyperNogood (mapSize=1038, nbTooLargekeys=0, mem=14M681)
1.54
1.54 search
1.54 run=10 nbConstraintChecks=2768911 nbPropagations=154275 nbRevisions=1781254 nbUselessRevisions=1406073
1.54 nbAssignments=3018 nbFailedAssignments=1257 nbBacktracks=1711 nbVisitedNodes=5324 nbRestartNogoods=41
1.54 => wckTime=0.688 cpuTime=0.61 mem=14M681
1.79
1.79 search
1.79 run=11 nbConstraintChecks=4153880 nbPropagations=228404 nbRevisions=2660171 nbUselessRevisions=2098173
1.79 nbAssignments=4503 nbFailedAssignments=1874 nbBacktracks=2575 nbVisitedNodes=7940 nbRestartNogoods=47
1.79 => wckTime=0.936 cpuTime=0.85 mem=14M681
2.17
2.17 search
2.17 run=12 nbConstraintChecks=6273267 nbPropagations=339728 nbRevisions=3986728 nbUselessRevisions=3143423
2.17 nbAssignments=6768 nbFailedAssignments=2839 nbBacktracks=3872 nbVisitedNodes=11975 nbRestartNogoods=49
2.17 => wckTime=1.311 cpuTime=1.23 mem=14M681
2.73
2.73 search
2.73 run=13 nbConstraintChecks=9478716 nbPropagations=507391 nbRevisions=5995804 nbUselessRevisions=4728702
2.73 nbAssignments=10133 nbFailedAssignments=4254 nbBacktracks=5818 nbVisitedNodes=17941 nbRestartNogoods=59
2.73 => wckTime=1.879 cpuTime=1.79 mem=14M681
2.77
2.77 search
2.77 run=14 nbConstraintChecks=9693656 nbPropagations=678573 nbRevisions=8049180 nbUselessRevisions=6348739
2.77 nbAssignments=10336 nbFailedAssignments=4346 nbBacktracks=5930 nbVisitedNodes=18315 nbRestartNogoods=62
2.77 => wckTime=1.917 cpuTime=1.82 mem=14M681
2.77
2.77 global
2.77 nbConstraintChecks=9728920 nbPropagations=679217 nbRevisions=8053865 nbUselessRevisions=6352382
2.77 nbRestartNogoods=62 solvingWckTime=1.918 solvingCpuTime=1.83 expiredTime=no totalExploration=yes
2.77 nbFoundSolutions=0 globalCpuTime=2.24
2.77 => wckTime=2.431 cpuTime=2.19 mem=14M681
2.78
2.78 s UNSATISFIABLE
2.78 d NODES 10336
2.78 d CHECKS 9728920
2.78
2.78 totalWckTime=2.517 totalCpuTime=2.24
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node59/watcher-204979-1168167063 -o ROOT/results/node59/solver-204979-1168167063 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/204979-1168167063/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.31 1.77 1.87 5/81 17564
/proc/meminfo: memFree=956744/2055920 swapFree=4192812/4192956
[pid=17563] ppid=17561 vsize=18540 CPUtime=0
/proc/17563/stat : 17563 (runsolver) R 17561 17563 17319 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 165104631 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 217051622695 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/17563/statm: 4635 279 244 17 0 2626 0
[startup+0.103106 s]
/proc/loadavg: 1.31 1.77 1.87 5/81 17564
/proc/meminfo: memFree=956744/2055920 swapFree=4192812/4192956
[pid=17563] ppid=17561 vsize=912432 CPUtime=0.08
/proc/17563/stat : 17563 (java) R 17561 17563 17319 0 -1 0 2730 0 1 0 7 1 0 0 20 0 8 0 165104631 934330368 2477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17563/statm: 228108 2477 1365 14 0 215091 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 912432
[startup+0.51115 s]
/proc/loadavg: 1.31 1.77 1.87 5/81 17564
/proc/meminfo: memFree=956744/2055920 swapFree=4192812/4192956
[pid=17563] ppid=17561 vsize=915328 CPUtime=0.49
/proc/17563/stat : 17563 (java) R 17561 17563 17319 0 -1 0 6348 0 1 0 44 5 0 0 18 0 8 0 165104631 937295872 6087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073560343 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17563/statm: 228832 6087 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33223 s]
/proc/loadavg: 1.31 1.77 1.87 3/88 17571
/proc/meminfo: memFree=933264/2055920 swapFree=4192812/4192956
[pid=17563] ppid=17561 vsize=915452 CPUtime=1.3
/proc/17563/stat : 17563 (java) R 17561 17563 17319 0 -1 0 8626 0 1 0 122 8 0 0 24 0 8 0 165104631 937422848 8364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073806684 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17563/statm: 228863 8364 2524 14 0 215333 0
[pid=17563/tid=17565] ppid=17561 vsize=915452 CPUtime=0.03
/proc/17563/task/17565/stat : 17565 (java) S 17561 17563 17319 0 -1 64 206 0 0 0 3 0 0 0 16 0 8 0 165104636 937422848 8364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17563/tid=17566] ppid=17561 vsize=915452 CPUtime=0
/proc/17563/task/17566/stat : 17566 (java) S 17561 17563 17319 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165104636 937422848 8364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17563/tid=17567] ppid=17561 vsize=915452 CPUtime=0
/proc/17563/task/17567/stat : 17567 (java) S 17561 17563 17319 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165104636 937422848 8364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17563/tid=17568] ppid=17561 vsize=915452 CPUtime=0
/proc/17563/task/17568/stat : 17568 (java) S 17561 17563 17319 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165104640 937422848 8364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17563/tid=17569] ppid=17561 vsize=915452 CPUtime=0.22
/proc/17563/task/17569/stat : 17569 (java) S 17561 17563 17319 0 -1 64 382 0 0 0 21 1 0 0 16 0 8 0 165104640 937422848 8364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17563/tid=17570] ppid=17561 vsize=915452 CPUtime=0
/proc/17563/task/17570/stat : 17570 (java) S 17561 17563 17319 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165104640 937422848 8364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17563/tid=17571] ppid=17561 vsize=915452 CPUtime=0
/proc/17563/task/17571/stat : 17571 (java) S 17561 17563 17319 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165104640 937422848 8364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 2.80858
CPU time (s): 2.75358
CPU user time (s): 2.66159
CPU system time (s): 0.091986
CPU usage (%): 98.0416
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.6616
system time used= 0.091986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8746
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= 1141
involuntary context switches= 1376
runsolver used 0.010998 s user time and 0.014997 s system time
The end
Begin job on node59 on Sun Jan 7 10:51:04 UTC 2007
IDJOB= 204979
IDBENCH= 4093
FILE ID= node59/204979-1168167063
PBS_JOBID= 3478712
Free space on /tmp= 66546 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-30-15/rand-2-30-15-306-230-15_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/204979-1168167063/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-204979-1168167063 -o ROOT/results/node59/solver-204979-1168167063 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/204979-1168167063/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d4077567d9bfac8ce56608e27db392b0
RANDOM SEED= 25637617
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.239
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.239
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: 957224 kB
Buffers: 24540 kB
Cached: 336812 kB
SwapCached: 0 kB
Active: 759860 kB
Inactive: 282152 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 957224 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1860 kB
Writeback: 0 kB
Mapped: 699660 kB
Slab: 40588 kB
Committed_AS: 3960308 kB
PageTables: 3268 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= 66546 MiB
End job on node59 on Sun Jan 7 10:51:11 UTC 2007