0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/197391-1168125678/unknown.xml
0.36
0.36 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=141 nbDomainTypes=137 minDomainSize=2 maxDomainSize=6
0.43 => wckTime=0.131 cpuTime=0.11 mem=6M886
0.43
0.43 relations being loaded...
0.46
0.46 constraints being loaded...
0.65 nbConstraints=854 nbRelationTypes=190 nbExtensionStructures=842 nbSharedExtensionStructures=12
0.65 nbConflictsStructures=842 nbSharedConflictsStructures=12 nbSharedBinaryRepresentations=6278 maxDegree=14
0.65 maxArity=2
0.65 => wckTime=0.35 cpuTime=0.24 mem=11M762
0.69
0.69 solver IterativeSystematicSolver being built...
0.86 => wckTime=0.561 cpuTime=0.38 mem=15M85
0.93
0.93 preprocessing
0.93 nbConstraintChecks=10518 nbPropagations=1368 nbRevisions=3469 nbUselessRevisions=2100 nbSingletonTests=167
0.93 nbEffectiveSingletonTests=0 nbESACBranches=12 nbRemovedValues=0 detectedInconsistency=no
0.93 => wckTime=0.067 cpuTime=0.04 mem=15M85
0.96
0.96 search
0.96 run=0 nbConstraintChecks=2819 nbPropagations=1662 nbRevisions=4492 nbUselessRevisions=2695 nbAssignments=48
0.96 nbFailedAssignments=3 nbBacktracks=17 nbVisitedNodes=56 nbRestartNogoods=0 mapSize=5 nbInferences=0
0.96 nbTooLargeKeys=0
0.96 => wckTime=0.096 cpuTime=0.06 mem=16M77
0.97
0.97 search
0.97 run=1 nbConstraintChecks=6736 nbPropagations=3794 nbRevisions=10242 nbUselessRevisions=6097 nbAssignments=127
0.97 nbFailedAssignments=7 nbBacktracks=35 nbVisitedNodes=111 nbRestartNogoods=2 mapSize=12 nbInferences=0
0.97 nbTooLargeKeys=0
0.97 => wckTime=0.105 cpuTime=0.07 mem=16M77
0.98
0.98 search
0.98 run=2 nbConstraintChecks=11739 nbPropagations=6451 nbRevisions=17763 nbUselessRevisions=10519
0.98 nbAssignments=210 nbFailedAssignments=13 nbBacktracks=71 nbVisitedNodes=178 nbRestartNogoods=4 mapSize=21
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.116 cpuTime=0.08 mem=16M77
0.99
0.99 search
0.99 run=3 nbConstraintChecks=16109 nbPropagations=9513 nbRevisions=26923 nbUselessRevisions=15912
0.99 nbAssignments=271 nbFailedAssignments=18 nbBacktracks=113 nbVisitedNodes=249 nbRestartNogoods=5 mapSize=30
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.124 cpuTime=0.08 mem=16M77
1.00
1.00 search
1.00 run=4 nbConstraintChecks=24461 nbPropagations=13243 nbRevisions=39370 nbUselessRevisions=23294
1.00 nbAssignments=359 nbFailedAssignments=25 nbBacktracks=174 nbVisitedNodes=359 nbRestartNogoods=6 mapSize=48
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.139 cpuTime=0.1 mem=16M77
1.02
1.02 search
1.02 run=5 nbConstraintChecks=34004 nbPropagations=17692 nbRevisions=55273 nbUselessRevisions=32601
1.02 nbAssignments=459 nbFailedAssignments=40 nbBacktracks=250 nbVisitedNodes=492 nbRestartNogoods=10 mapSize=79
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.156 cpuTime=0.11 mem=16M77
1.04
1.04 search
1.04 run=6 nbConstraintChecks=48965 nbPropagations=23305 nbRevisions=76897 nbUselessRevisions=45243
1.04 nbAssignments=608 nbFailedAssignments=62 nbBacktracks=365 nbVisitedNodes=690 nbRestartNogoods=11 mapSize=126
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.176 cpuTime=0.14 mem=16M77
1.06
1.06 search
1.06 run=7 nbConstraintChecks=67458 nbPropagations=30433 nbRevisions=105814 nbUselessRevisions=62216
1.06 nbAssignments=819 nbFailedAssignments=87 nbBacktracks=537 nbVisitedNodes=954 nbRestartNogoods=12 mapSize=176
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.203 cpuTime=0.17 mem=16M77
1.11
1.11 search
1.11 run=8 nbConstraintChecks=101575 nbPropagations=40176 nbRevisions=148058 nbUselessRevisions=87149
1.11 nbAssignments=1128 nbFailedAssignments=128 nbBacktracks=794 nbVisitedNodes=1358 nbRestartNogoods=15
1.11 mapSize=265 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.246 cpuTime=0.21 mem=16M77
1.19
1.19 search
1.19 run=9 nbConstraintChecks=153148 nbPropagations=53879 nbRevisions=210951 nbUselessRevisions=124708
1.19 nbAssignments=1594 nbFailedAssignments=185 nbBacktracks=1189 nbVisitedNodes=1958 nbRestartNogoods=18
1.19 mapSize=392 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.326 cpuTime=0.27 mem=16M77
1.29
1.29 search
1.29 run=10 nbConstraintChecks=241816 nbPropagations=74134 nbRevisions=308182 nbUselessRevisions=182896
1.29 nbAssignments=2318 nbFailedAssignments=300 nbBacktracks=1767 nbVisitedNodes=2917 nbRestartNogoods=24
1.29 mapSize=622 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.427 cpuTime=0.36 mem=16M77
1.41
1.41 INFO : Stopping hyperNogood (mapSize=1015, nbTooLargekeys=0, mem=16M77)
1.43
1.43 search
1.43 run=11 nbConstraintChecks=399979 nbPropagations=105980 nbRevisions=466321 nbUselessRevisions=277096
1.43 nbAssignments=3430 nbFailedAssignments=538 nbBacktracks=2634 nbVisitedNodes=4536 nbRestartNogoods=30
1.43 => wckTime=0.569 cpuTime=0.49 mem=16M77
1.63
1.63 search
1.63 run=12 nbConstraintChecks=664380 nbPropagations=157064 nbRevisions=729722 nbUselessRevisions=435438
1.63 nbAssignments=5108 nbFailedAssignments=909 nbBacktracks=3932 nbVisitedNodes=6986 nbRestartNogoods=35
1.63 => wckTime=0.77 cpuTime=0.69 mem=16M77
1.69
1.69 search
1.69 run=13 nbConstraintChecks=742090 nbPropagations=213524 nbRevisions=1026977 nbUselessRevisions=616276
1.69 nbAssignments=5718 nbFailedAssignments=1010 nbBacktracks=4296 nbVisitedNodes=7781 nbRestartNogoods=38
1.69 => wckTime=0.833 cpuTime=0.75 mem=16M77
1.70
1.70 global
1.70 nbConstraintChecks=752608 nbPropagations=214892 nbRevisions=1030446 nbUselessRevisions=618376
1.70 nbRestartNogoods=38 solvingWckTime=0.834 solvingCpuTime=0.76 expiredTime=no totalExploration=no
1.70 nbFoundSolutions=1 globalCpuTime=1.18
1.70 => wckTime=1.398 cpuTime=1.14 mem=16M77
1.70
1.70 s SATISFIABLE
1.70 v 16 7 9 13 6 14 3 8 0 12 8 3 11 1 4 14 14 12 17 2 9 4 7 6 11 7 10 12 16 0 4 17 13 11 2 14 7 10 16 8 6 16 5 12 2 17 13 0 6 2 13 10 0 12 5 9 1 0 2 7 9 5 12 17 14 4 6 10 0 7 11 12 15 3 7 1 9 0 13 5 0 15 8 4 3 13 3 7 16 12 15 0 13 8 10 4 9 16 3 12 1 7 1 11 6 12 7 15 17 0 3 10 17 13 15 6 12 9 9 0 10 6 1 15 4 14 9 14 12 5 11 2 3 7 11 16 5 8 4 1 6
1.70 d NODES 5718
1.70 d CHECKS 752608
1.70
1.70 totalWckTime=1.473 totalCpuTime=1.18
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node60/watcher-197391-1168125678 -o ROOT/results/node60/solver-197391-1168125678 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/197391-1168125678/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.01 0.32 0.90 3/68 26354
/proc/meminfo: memFree=1828984/2055920 swapFree=4192812/4192956
[pid=26353] ppid=26351 vsize=308 CPUtime=0
/proc/26353/stat : 26353 (java) R 26351 26353 25858 0 -1 0 57 0 0 0 0 0 0 0 20 0 1 0 160966611 315392 40 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 5534500 0 0 4096 0 0 0 0 17 1 0 0
/proc/26353/statm: 77 40 31 14 0 5 0
[startup+0.106705 s]
/proc/loadavg: 0.01 0.32 0.90 3/68 26354
/proc/meminfo: memFree=1828984/2055920 swapFree=4192812/4192956
[pid=26353] ppid=26351 vsize=914988 CPUtime=0.08
/proc/26353/stat : 26353 (java) R 26351 26353 25858 0 -1 0 3042 0 1 0 7 1 0 0 22 0 8 0 160966611 936947712 2789 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153785378 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26353/statm: 228747 2790 1445 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515738 s]
/proc/loadavg: 0.01 0.32 0.90 3/68 26354
/proc/meminfo: memFree=1828984/2055920 swapFree=4192812/4192956
[pid=26353] ppid=26351 vsize=915328 CPUtime=0.49
/proc/26353/stat : 26353 (java) S 26351 26353 25858 0 -1 0 6403 0 1 0 46 3 0 0 16 0 8 0 160966611 937295872 6142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26353/statm: 228832 6142 2140 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33682 s]
/proc/loadavg: 0.01 0.32 0.90 2/75 26361
/proc/meminfo: memFree=1804224/2055920 swapFree=4192812/4192956
[pid=26353] ppid=26351 vsize=915564 CPUtime=1.31
/proc/26353/stat : 26353 (java) R 26351 26353 25858 0 -1 0 8955 0 1 0 125 6 0 0 17 0 8 0 160966611 937537536 8693 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073979131 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26353/statm: 228891 8693 2524 14 0 215361 0
[pid=26353/tid=26355] ppid=26351 vsize=915564 CPUtime=0.03
/proc/26353/task/26355/stat : 26355 (java) S 26351 26353 25858 0 -1 64 326 0 0 0 3 0 0 0 16 0 8 0 160966615 937537536 8693 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26353/tid=26356] ppid=26351 vsize=915564 CPUtime=0
/proc/26353/task/26356/stat : 26356 (java) S 26351 26353 25858 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 160966615 937537536 8693 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26353/tid=26357] ppid=26351 vsize=915564 CPUtime=0
/proc/26353/task/26357/stat : 26357 (java) S 26351 26353 25858 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160966615 937537536 8693 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26353/tid=26358] ppid=26351 vsize=915564 CPUtime=0
/proc/26353/task/26358/stat : 26358 (java) S 26351 26353 25858 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160966618 937537536 8693 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26353/tid=26359] ppid=26351 vsize=915564 CPUtime=0.25
/proc/26353/task/26359/stat : 26359 (java) S 26351 26353 25858 0 -1 64 412 0 0 0 25 0 0 0 16 0 8 0 160966618 937537536 8693 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26353/tid=26360] ppid=26351 vsize=915564 CPUtime=0
/proc/26353/task/26360/stat : 26360 (java) S 26351 26353 25858 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 160966618 937537536 8693 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26353/tid=26361] ppid=26351 vsize=915564 CPUtime=0
/proc/26353/task/26361/stat : 26361 (java) S 26351 26353 25858 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160966618 937537536 8693 18446744073709551615 134512640 134570532 4294956480 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) 915564
Child status: 0
Real time (s): 1.75587
CPU time (s): 1.68474
CPU user time (s): 1.61375
CPU system time (s): 0.070989
CPU usage (%): 95.9492
Max. virtual memory (cumulated for all children) (KiB): 915564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.61375
system time used= 0.070989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9073
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= 1050
involuntary context switches= 190
runsolver used 0.003999 s user time and 0.011998 s system time
The end
Begin job on node60 on Sat Jan 6 23:21:20 UTC 2007
IDJOB= 197391
IDBENCH= 3464
FILE ID= node60/197391-1168125678
PBS_JOBID= 3477597
Free space on /tmp= 66552 MiB
BENCH NAME= HOME/pub/bench/CPAI06/bqwh/bqwh-18-141/bqwh-18-141-55_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/197391-1168125678/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-197391-1168125678 -o ROOT/results/node60/solver-197391-1168125678 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/197391-1168125678/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a18c11efa333bfa3b5963ba40cd1bc48
RANDOM SEED= 607905349
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.236
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.236
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: 1829528 kB
Buffers: 21184 kB
Cached: 139568 kB
SwapCached: 0 kB
Active: 96496 kB
Inactive: 84332 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1829528 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1824 kB
Writeback: 0 kB
Mapped: 30304 kB
Slab: 31212 kB
Committed_AS: 3480904 kB
PageTables: 1684 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= 66549 MiB
End job on node60 on Sat Jan 6 23:21:36 UTC 2007