0.28
0.28 Abscon 109 (November, 2006)
0.28
0.28 configuration
0.28 name=esac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/206904-1168179453/unknown.xml
0.34
0.34 domains being loaded...
0.35
0.35 variables being loaded...
0.39 nbVariables=61 nbDomainTypes=5 minDomainSize=1 maxDomainSize=1001
0.39 => wckTime=0.102 cpuTime=0.09 mem=7M931
0.39
0.39 relations being loaded...
0.43
0.43 constraints being loaded...
0.56 nbConstraints=230 nbRelationTypes=23 nbSingletonDomainVariables=2 nbExtensionStructures=24
0.56 nbSharedExtensionStructures=206 nbConflictsStructures=24 nbSharedConflictsStructures=206
0.56 nbSharedBinaryRepresentations=20286 maxDegree=20 maxArity=3
0.56 => wckTime=0.269 cpuTime=0.21 mem=14M203
0.60
0.60 solver IterativeSystematicSolver being built...
0.76 => wckTime=0.478 cpuTime=0.35 mem=18M488
1.10
1.10 preprocessing
1.10 nbConstraintChecks=528513 nbValidityChecks=503308 nbPropagations=7168 nbRevisions=17470 nbUselessRevisions=8197
1.10 nbSingletonTests=223 nbEffectiveSingletonTests=17 nbESACBranches=29 nbRemovedValues=21874
1.10 detectedInconsistency=no
1.10 => wckTime=0.332 cpuTime=0.29 mem=18M488
1.14
1.14 search
1.14 run=0 nbConstraintChecks=39024 nbValidityChecks=43065 nbPropagations=8624 nbRevisions=20996
1.14 nbUselessRevisions=10043 nbAssignments=24 nbFailedAssignments=8 nbBacktracks=10 nbVisitedNodes=39
1.14 nbRestartNogoods=0 mapSize=8 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.373 cpuTime=0.32 mem=18M488
1.18
1.18 search
1.18 run=1 nbConstraintChecks=78677 nbValidityChecks=90867 nbPropagations=18976 nbRevisions=45983
1.18 nbUselessRevisions=22023 nbAssignments=62 nbFailedAssignments=22 nbBacktracks=26 nbVisitedNodes=98
1.18 nbRestartNogoods=4 mapSize=21 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.413 cpuTime=0.35 mem=18M488
1.23
1.23 search
1.23 run=2 nbConstraintChecks=146258 nbValidityChecks=172781 nbPropagations=32106 nbRevisions=77450
1.23 nbUselessRevisions=37189 nbAssignments=112 nbFailedAssignments=36 nbBacktracks=52 nbVisitedNodes=170
1.23 nbRestartNogoods=8 mapSize=40 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.459 cpuTime=0.4 mem=18M488
1.29
1.29 search
1.29 run=3 nbConstraintChecks=227487 nbValidityChecks=267627 nbPropagations=48820 nbRevisions=117404
1.29 nbUselessRevisions=56503 nbAssignments=188 nbFailedAssignments=66 nbBacktracks=85 nbVisitedNodes=294
1.29 nbRestartNogoods=9 mapSize=64 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.518 cpuTime=0.46 mem=18M488
1.42
1.42 search
1.42 run=4 nbConstraintChecks=426367 nbValidityChecks=523004 nbPropagations=72571 nbRevisions=172226
1.42 nbUselessRevisions=82624 nbAssignments=357 nbFailedAssignments=95 nbBacktracks=135 nbVisitedNodes=437
1.42 nbRestartNogoods=17 mapSize=99 nbInferences=0 nbTooLargeKeys=0
1.42 => wckTime=0.645 cpuTime=0.59 mem=18M488
1.53
1.53 search
1.53 run=5 nbConstraintChecks=595198 nbValidityChecks=697661 nbPropagations=103212 nbRevisions=244517
1.53 nbUselessRevisions=117530 nbAssignments=504 nbFailedAssignments=160 nbBacktracks=211 nbVisitedNodes=681
1.53 nbRestartNogoods=22 mapSize=150 nbInferences=0 nbTooLargeKeys=0
1.53 => wckTime=0.759 cpuTime=0.7 mem=19M463
1.64
1.64 search
1.64 run=6 nbConstraintChecks=744551 nbValidityChecks=849803 nbPropagations=141468 nbRevisions=337229
1.64 nbUselessRevisions=163389 nbAssignments=691 nbFailedAssignments=226 nbBacktracks=327 nbVisitedNodes=980
1.64 nbRestartNogoods=26 mapSize=227 nbInferences=0 nbTooLargeKeys=0
1.64 => wckTime=0.873 cpuTime=0.81 mem=19M463
1.85
1.85 search
1.85 run=7 nbConstraintChecks=1055051 nbValidityChecks=1168674 nbPropagations=192029 nbRevisions=461202
1.85 nbUselessRevisions=225445 nbAssignments=975 nbFailedAssignments=309 nbBacktracks=497 nbVisitedNodes=1402
1.85 nbRestartNogoods=32 mapSize=326 nbInferences=0 nbTooLargeKeys=0
1.85 => wckTime=1.082 cpuTime=1.01 mem=20M438
2.17
2.17 search
2.17 run=8 nbConstraintChecks=1522206 nbValidityChecks=1665611 nbPropagations=262566 nbRevisions=635441
2.17 nbUselessRevisions=313532 nbAssignments=1438 nbFailedAssignments=451 nbBacktracks=753 nbVisitedNodes=2064
2.17 nbRestartNogoods=43 mapSize=489 nbInferences=0 nbTooLargeKeys=0
2.17 => wckTime=1.404 cpuTime=1.32 mem=21M413
2.53
2.53 search
2.53 run=9 nbConstraintChecks=2025295 nbValidityChecks=2175397 nbPropagations=357355 nbRevisions=868754
2.53 nbUselessRevisions=430889 nbAssignments=2010 nbFailedAssignments=626 nbBacktracks=1137 nbVisitedNodes=3008
2.53 nbRestartNogoods=48 mapSize=737 nbInferences=0 nbTooLargeKeys=0
2.53 => wckTime=1.761 cpuTime=1.66 mem=22M388
2.98
2.98 INFO : Stopping hyperNogood (mapSize=1024, nbTooLargekeys=0, mem=23M364)
3.04
3.04 search
3.04 run=10 nbConstraintChecks=2786618 nbValidityChecks=3000278 nbPropagations=487685 nbRevisions=1189182
3.04 nbUselessRevisions=592142 nbAssignments=2871 nbFailedAssignments=861 nbBacktracks=1716 nbVisitedNodes=4341
3.04 nbRestartNogoods=67
3.04 => wckTime=2.274 cpuTime=2.16 mem=23M364
3.77
3.77 search
3.77 run=11 nbConstraintChecks=4030350 nbValidityChecks=4277556 nbPropagations=678342 nbRevisions=1665675
3.77 nbUselessRevisions=834948 nbAssignments=4199 nbFailedAssignments=1302 nbBacktracks=2584 nbVisitedNodes=6513
3.77 nbRestartNogoods=74
3.77 => wckTime=3.002 cpuTime=2.88 mem=23M364
4.65
4.65 search
4.65 run=12 nbConstraintChecks=5472031 nbValidityChecks=5771460 nbPropagations=939649 nbRevisions=2324092
4.65 nbUselessRevisions=1172455 nbAssignments=5995 nbFailedAssignments=1773 nbBacktracks=3885 nbVisitedNodes=9370
4.65 nbRestartNogoods=80
4.65 => wckTime=3.876 cpuTime=3.75 mem=23M364
5.86
5.86 search
5.86 run=13 nbConstraintChecks=7504413 nbValidityChecks=7842756 nbPropagations=1300922 nbRevisions=3251519
5.86 nbUselessRevisions=1655773 nbAssignments=8411 nbFailedAssignments=2446 nbBacktracks=5560 nbVisitedNodes=13229
5.86 nbRestartNogoods=88
5.86 => wckTime=5.088 cpuTime=4.96 mem=23M364
5.86
5.86 global
5.86 nbConstraintChecks=8032926 nbValidityChecks=8346064 nbPropagations=1308090 nbRevisions=3268989
5.86 nbUselessRevisions=1663970 nbRestartNogoods=88 solvingWckTime=5.089 solvingCpuTime=4.96 expiredTime=no
5.86 totalExploration=no nbFoundSolutions=1 globalCpuTime=5.35
5.86 => wckTime=5.572 cpuTime=5.31 mem=23M364
5.86
5.86 s SATISFIABLE
5.86 v 14 8 8 4 9 27 12 1 11 14 10 3 16 2 17 8 6 3 18 8 13 29 5 1 7 1 4 0 2 20 15 1 20 6 19 7 1 5 3 3 12 39 40 54 57 59 67 70 78 107 108 109 109 129 130 136 143 148 151 151 0
5.86 d NODES 8411
5.86 d CHECKS 8032926
5.86
5.86 totalWckTime=5.648 totalCpuTime=5.36
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node62/watcher-206904-1168179453 -o ROOT/results/node62/solver-206904-1168179453 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206904-1168179453/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: 2.16 2.04 1.95 4/81 358
/proc/meminfo: memFree=935000/2055920 swapFree=4192812/4192956
[pid=357] ppid=355 vsize=1784 CPUtime=0
/proc/357/stat : 357 (java) R 355 357 31842 0 -1 0 366 0 0 0 0 0 0 0 18 0 1 0 166343114 1826816 158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/357/statm: 447 159 123 14 0 92 0
[startup+0.107665 s]
/proc/loadavg: 2.16 2.04 1.95 4/81 358
/proc/meminfo: memFree=935000/2055920 swapFree=4192812/4192956
[pid=357] ppid=355 vsize=914988 CPUtime=0.09
/proc/357/stat : 357 (java) R 355 357 31842 0 -1 0 3124 0 1 0 8 1 0 0 24 0 8 0 166343114 936947712 2870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155770466 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/357/statm: 228747 2871 1471 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515746 s]
/proc/loadavg: 2.16 2.04 1.95 4/81 358
/proc/meminfo: memFree=935000/2055920 swapFree=4192812/4192956
[pid=357] ppid=355 vsize=915328 CPUtime=0.5
/proc/357/stat : 357 (java) R 355 357 31842 0 -1 0 7415 0 1 0 46 4 0 0 25 0 8 0 166343114 937295872 7154 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/357/statm: 228832 7154 2148 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33891 s]
/proc/loadavg: 2.16 2.04 1.95 3/88 365
/proc/meminfo: memFree=908056/2055920 swapFree=4192812/4192956
[pid=357] ppid=355 vsize=915444 CPUtime=1.32
/proc/357/stat : 357 (java) R 355 357 31842 0 -1 0 9566 0 1 0 126 6 0 0 25 0 8 0 166343114 937414656 9304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073773677 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/357/statm: 228861 9304 2527 14 0 215331 0
[pid=357/tid=359] ppid=355 vsize=915444 CPUtime=0.03
/proc/357/task/359/stat : 359 (java) S 355 357 31842 0 -1 64 681 0 0 0 3 0 0 0 16 0 8 0 166343117 937414656 9304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=357/tid=360] ppid=355 vsize=915444 CPUtime=0
/proc/357/task/360/stat : 360 (java) S 355 357 31842 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166343117 937414656 9304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=357/tid=361] ppid=355 vsize=915444 CPUtime=0
/proc/357/task/361/stat : 361 (java) S 355 357 31842 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166343117 937414656 9304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=357/tid=362] ppid=355 vsize=915444 CPUtime=0
/proc/357/task/362/stat : 362 (java) S 355 357 31842 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166343120 937414656 9304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=357/tid=363] ppid=355 vsize=915444 CPUtime=0.19
/proc/357/task/363/stat : 363 (java) S 355 357 31842 0 -1 64 374 0 0 0 18 1 0 0 15 0 8 0 166343120 937414656 9304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=357/tid=364] ppid=355 vsize=915444 CPUtime=0
/proc/357/task/364/stat : 364 (java) S 355 357 31842 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 166343120 937414656 9304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=357/tid=365] ppid=355 vsize=915444 CPUtime=0
/proc/357/task/365/stat : 365 (java) S 355 357 31842 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166343120 937414656 9304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915444
[startup+2.98823 s]
/proc/loadavg: 2.16 2.04 1.95 3/88 365
/proc/meminfo: memFree=905240/2055920 swapFree=4192812/4192956
[pid=357] ppid=355 vsize=915444 CPUtime=2.95
/proc/357/stat : 357 (java) R 355 357 31842 0 -1 0 10753 0 1 0 288 7 0 0 25 0 8 0 166343114 937414656 10489 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783344 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/357/statm: 228861 10489 2527 14 0 215331 0
[pid=357/tid=359] ppid=355 vsize=915444 CPUtime=0.03
/proc/357/task/359/stat : 359 (java) S 355 357 31842 0 -1 64 681 0 0 0 3 0 0 0 17 0 8 0 166343117 937414656 10489 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=357/tid=360] ppid=355 vsize=915444 CPUtime=0
/proc/357/task/360/stat : 360 (java) S 355 357 31842 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166343117 937414656 10489 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=357/tid=361] ppid=355 vsize=915444 CPUtime=0
/proc/357/task/361/stat : 361 (java) S 355 357 31842 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166343117 937414656 10489 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=357/tid=362] ppid=355 vsize=915444 CPUtime=0
/proc/357/task/362/stat : 362 (java) S 355 357 31842 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166343120 937414656 10489 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=357/tid=363] ppid=355 vsize=915444 CPUtime=0.23
/proc/357/task/363/stat : 363 (java) S 355 357 31842 0 -1 64 395 0 0 0 22 1 0 0 15 0 8 0 166343120 937414656 10489 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=357/tid=364] ppid=355 vsize=915444 CPUtime=0
/proc/357/task/364/stat : 364 (java) S 355 357 31842 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 166343120 937414656 10489 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=357/tid=365] ppid=355 vsize=915444 CPUtime=0
/proc/357/task/365/stat : 365 (java) S 355 357 31842 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166343120 937414656 10489 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915444
Child status: 0
Real time (s): 5.90622
CPU time (s): 5.83211
CPU user time (s): 5.74513
CPU system time (s): 0.086986
CPU usage (%): 98.7452
Max. virtual memory (cumulated for all children) (KiB): 915444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.74513
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= 10859
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= 1339
involuntary context switches= 1622
runsolver used 0.008998 s user time and 0.031995 s system time
The end
Begin job on node62 on Sun Jan 7 14:17:34 UTC 2007
IDJOB= 206904
IDBENCH= 4244
FILE ID= node62/206904-1168179453
PBS_JOBID= 3479094
Free space on /tmp= 66554 MiB
BENCH NAME= HOME/pub/bench/CPAI06/travellingSalesman/travellingSalesman-20/tsp-20-190_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206904-1168179453/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node62/watcher-206904-1168179453 -o ROOT/results/node62/solver-206904-1168179453 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206904-1168179453/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a89bb561468359a06ccad831f3aba8c2
RANDOM SEED= 326611597
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: 935416 kB
Buffers: 41376 kB
Cached: 408716 kB
SwapCached: 0 kB
Active: 787048 kB
Inactive: 276904 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 935416 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2316 kB
Writeback: 0 kB
Mapped: 631604 kB
Slab: 40560 kB
Committed_AS: 3991904 kB
PageTables: 3092 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= 66554 MiB
End job on node62 on Sun Jan 7 14:17:40 UTC 2007