0.37
0.37 Abscon 109 (November, 2006)
0.37
0.37 configuration
0.37 name=esac.xml
0.40
0.40 instance
0.40 name=/tmp/evaluation/229368-1168306021/unknown.xml
0.44
0.44 domains being loaded...
0.45
0.45 variables being loaded...
0.48 nbVariables=40 nbDomainTypes=1 minDomainSize=16 maxDomainSize=16
0.48 => wckTime=0.108 cpuTime=0.09 mem=6M951
0.48
0.48 relations being loaded...
0.56
0.56 constraints being loaded...
0.67 nbConstraints=250 nbRelationTypes=250 nbExtensionStructures=250 nbSharedExtensionStructures=0
0.67 nbConflictsStructures=250 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1379 maxDegree=21
0.67 maxArity=2
0.67 => wckTime=0.299 cpuTime=0.2 mem=11M893
0.71
0.71 solver IterativeSystematicSolver being built...
0.88 => wckTime=0.506 cpuTime=0.34 mem=14M825
0.93
0.93 preprocessing
0.93 nbConstraintChecks=55319 nbPropagations=809 nbRevisions=5920 nbUselessRevisions=4753 nbSingletonTests=50
0.93 nbEffectiveSingletonTests=0 nbESACBranches=8 nbRemovedValues=0 detectedInconsistency=no
0.93 => wckTime=0.051 cpuTime=0.03 mem=14M825
0.95
0.95 search
0.95 run=0 nbConstraintChecks=21158 nbPropagations=1176 nbRevisions=9522 nbUselessRevisions=7451 nbAssignments=22
0.95 nbFailedAssignments=6 nbBacktracks=13 nbVisitedNodes=35 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.96 nbTooLargeKeys=0
0.96 => wckTime=0.072 cpuTime=0.05 mem=14M825
0.98
0.98 search
0.98 run=1 nbConstraintChecks=60920 nbPropagations=2994 nbRevisions=25427 nbUselessRevisions=19652 nbAssignments=53
0.98 nbFailedAssignments=17 nbBacktracks=28 nbVisitedNodes=87 nbRestartNogoods=1 mapSize=21 nbInferences=0
0.98 nbTooLargeKeys=0
0.98 => wckTime=0.094 cpuTime=0.06 mem=14M825
1.00
1.00 search
1.00 run=2 nbConstraintChecks=139188 nbPropagations=6068 nbRevisions=53014 nbUselessRevisions=40758
1.00 nbAssignments=116 nbFailedAssignments=36 nbBacktracks=50 nbVisitedNodes=163 nbRestartNogoods=6 mapSize=38
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.114 cpuTime=0.08 mem=14M825
1.02
1.02 search
1.02 run=3 nbConstraintChecks=234176 nbPropagations=10639 nbRevisions=96264 nbUselessRevisions=73664
1.02 nbAssignments=195 nbFailedAssignments=70 nbBacktracks=86 nbVisitedNodes=289 nbRestartNogoods=10 mapSize=69
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.134 cpuTime=0.09 mem=14M825
1.04
1.04 search
1.04 run=4 nbConstraintChecks=338246 nbPropagations=16973 nbRevisions=157762 nbUselessRevisions=120474
1.04 nbAssignments=283 nbFailedAssignments=102 nbBacktracks=138 nbVisitedNodes=442 nbRestartNogoods=11 mapSize=115
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.159 cpuTime=0.11 mem=14M825
1.08
1.08 search
1.08 run=5 nbConstraintChecks=505498 nbPropagations=26012 nbRevisions=247498 nbUselessRevisions=188412
1.08 nbAssignments=430 nbFailedAssignments=163 nbBacktracks=213 nbVisitedNodes=684 nbRestartNogoods=18 mapSize=176
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.195 cpuTime=0.14 mem=14M825
1.12
1.12 search
1.12 run=6 nbConstraintChecks=729912 nbPropagations=38857 nbRevisions=375955 nbUselessRevisions=285562
1.12 nbAssignments=626 nbFailedAssignments=241 nbBacktracks=326 nbVisitedNodes=1020 nbRestartNogoods=22 mapSize=268
1.12 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.24 cpuTime=0.19 mem=14M825
1.20
1.20 search
1.20 run=7 nbConstraintChecks=1094925 nbPropagations=57523 nbRevisions=567948 nbUselessRevisions=431031
1.20 nbAssignments=944 nbFailedAssignments=372 nbBacktracks=500 nbVisitedNodes=1560 nbRestartNogoods=30 mapSize=414
1.20 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.315 cpuTime=0.26 mem=14M825
1.30
1.30 search
1.30 run=8 nbConstraintChecks=1586769 nbPropagations=84489 nbRevisions=844844 nbUselessRevisions=640556
1.30 nbAssignments=1385 nbFailedAssignments=554 nbBacktracks=756 nbVisitedNodes=2320 nbRestartNogoods=38
1.30 mapSize=623 nbInferences=0 nbTooLargeKeys=0
1.30 => wckTime=0.413 cpuTime=0.35 mem=14M825
1.47
1.47 search
1.47 run=9 nbConstraintChecks=2466780 nbPropagations=125151 nbRevisions=1272630 nbUselessRevisions=963767
1.47 nbAssignments=2082 nbFailedAssignments=861 nbBacktracks=1141 nbVisitedNodes=3561 nbRestartNogoods=40
1.47 mapSize=963 nbInferences=0 nbTooLargeKeys=0
1.47 => wckTime=0.582 cpuTime=0.5 mem=14M825
1.49
1.49 INFO : Stopping hyperNogood (mapSize=1016, nbTooLargekeys=0, mem=14M825)
1.68
1.68 search
1.68 run=10 nbConstraintChecks=3621988 nbPropagations=185534 nbRevisions=1910428 nbUselessRevisions=1445941
1.68 nbAssignments=3076 nbFailedAssignments=1275 nbBacktracks=1718 nbVisitedNodes=5318 nbRestartNogoods=53
1.68 => wckTime=0.793 cpuTime=0.69 mem=14M825
1.75
1.75 search
1.75 run=11 nbConstraintChecks=4079006 nbPropagations=253615 nbRevisions=2630804 nbUselessRevisions=1991064
1.75 nbAssignments=3514 nbFailedAssignments=1451 nbBacktracks=1940 nbVisitedNodes=6065 nbRestartNogoods=57
1.75 => wckTime=0.869 cpuTime=0.77 mem=14M825
1.75
1.75 global
1.75 nbConstraintChecks=4134325 nbPropagations=254424 nbRevisions=2636724 nbUselessRevisions=1995817
1.75 nbRestartNogoods=57 solvingWckTime=0.87 solvingCpuTime=0.77 expiredTime=no totalExploration=no
1.75 nbFoundSolutions=1 globalCpuTime=1.17
1.75 => wckTime=1.379 cpuTime=1.11 mem=14M825
1.76
1.76 s SATISFIABLE
1.76 v 5 2 8 7 15 11 9 4 10 3 4 7 0 11 8 9 10 13 0 13 11 2 2 2 14 13 0 13 8 8 13 13 10 7 7 1 1 11 2 15
1.76 d NODES 3514
1.76 d CHECKS 4134325
1.76
1.76 totalWckTime=1.463 totalCpuTime=1.18
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node6/watcher-229368-1168306021 -o ROOT/results/node6/solver-229368-1168306021 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229368-1168306021/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.76 1.37 1.40 5/88 19100
/proc/meminfo: memFree=1486360/2055924 swapFree=4165672/4192956
[pid=19099] ppid=19097 vsize=18540 CPUtime=0
/proc/19099/stat : 19099 (runsolver) R 19097 19099 17554 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 178997548 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 268580190922 0 0 4096 24578 0 0 0 17 1 0 0
/proc/19099/statm: 4635 279 244 17 0 2626 0
[startup+0.107376 s]
/proc/loadavg: 1.76 1.37 1.40 5/88 19100
/proc/meminfo: memFree=1486360/2055924 swapFree=4165672/4192956
[pid=19099] ppid=19097 vsize=913228 CPUtime=0.08
/proc/19099/stat : 19099 (java) D 19097 19099 17554 0 -1 0 2920 0 1 0 7 1 0 0 20 0 8 0 178997548 935145472 2666 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19099/statm: 228307 2666 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913228
[startup+0.515424 s]
/proc/loadavg: 1.76 1.37 1.40 5/88 19100
/proc/meminfo: memFree=1486360/2055924 swapFree=4165672/4192956
[pid=19099] ppid=19097 vsize=915328 CPUtime=0.43
/proc/19099/stat : 19099 (java) R 19097 19099 17554 0 -1 0 6169 0 1 0 38 5 0 0 18 0 8 0 178997548 937295872 5908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19099/statm: 228832 5908 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 915328
[startup+1.33656 s]
/proc/loadavg: 1.76 1.37 1.40 3/95 19107
/proc/meminfo: memFree=1462688/2055924 swapFree=4165672/4192956
[pid=19099] ppid=19097 vsize=915452 CPUtime=1.25
/proc/19099/stat : 19099 (java) R 19097 19099 17554 0 -1 0 8674 0 1 0 118 7 0 0 24 0 8 0 178997548 937422848 8412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19099/statm: 228863 8412 2524 14 0 215333 0
[pid=19099/tid=19101] ppid=19097 vsize=915452 CPUtime=0.03
/proc/19099/task/19101/stat : 19101 (java) S 19097 19099 17554 0 -1 64 242 0 0 0 3 0 0 0 16 0 8 0 178997552 937422848 8412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19099/tid=19102] ppid=19097 vsize=915452 CPUtime=0
/proc/19099/task/19102/stat : 19102 (java) S 19097 19099 17554 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178997552 937422848 8412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19099/tid=19103] ppid=19097 vsize=915452 CPUtime=0
/proc/19099/task/19103/stat : 19103 (java) S 19097 19099 17554 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178997552 937422848 8412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19099/tid=19104] ppid=19097 vsize=915452 CPUtime=0
/proc/19099/task/19104/stat : 19104 (java) S 19097 19099 17554 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 178997556 937422848 8412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19099/tid=19105] ppid=19097 vsize=915452 CPUtime=0.22
/proc/19099/task/19105/stat : 19105 (java) S 19097 19099 17554 0 -1 64 380 0 0 0 21 1 0 0 15 0 8 0 178997556 937422848 8412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19099/tid=19106] ppid=19097 vsize=915452 CPUtime=0
/proc/19099/task/19106/stat : 19106 (java) S 19097 19099 17554 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 178997556 937422848 8412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19099/tid=19107] ppid=19097 vsize=915452 CPUtime=0
/proc/19099/task/19107/stat : 19107 (java) S 19097 19099 17554 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178997556 937422848 8412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 1.80686
CPU time (s): 1.68574
CPU user time (s): 1.59976
CPU system time (s): 0.085986
CPU usage (%): 93.2969
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.59976
system time used= 0.085986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8798
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= 1134
involuntary context switches= 1368
runsolver used 0.002999 s user time and 0.014997 s system time
The end
Begin job on node6 on Tue Jan 9 01:27:01 UTC 2007
IDJOB= 229368
IDBENCH= 6300
FILE ID= node6/229368-1168306021
PBS_JOBID= 3502285
Free space on /tmp= 66551 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-69_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229368-1168306021/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-229368-1168306021 -o ROOT/results/node6/solver-229368-1168306021 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229368-1168306021/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 321620fa5d7326e28d117f10506b0bac
RANDOM SEED= 512402759
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.240
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.240
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: 2055924 kB
MemFree: 1486840 kB
Buffers: 87260 kB
Cached: 380152 kB
SwapCached: 2944 kB
Active: 292532 kB
Inactive: 214272 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1486840 kB
SwapTotal: 4192956 kB
SwapFree: 4165672 kB
Dirty: 2896 kB
Writeback: 0 kB
Mapped: 50236 kB
Slab: 46976 kB
Committed_AS: 5628560 kB
PageTables: 2396 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= 66551 MiB
End job on node6 on Tue Jan 9 01:27:03 UTC 2007