0.35
0.35 Abscon 109 (November, 2006)
0.35
0.35 configuration
0.35 name=esac.xml
0.38
0.38 instance
0.38 name=/tmp/evaluation/227153-1168277499/unknown.xml
0.42
0.42 domains being loaded...
0.42
0.42 variables being loaded...
0.45 nbVariables=40 nbDomainTypes=1 minDomainSize=8 maxDomainSize=8
0.45 => wckTime=0.101 cpuTime=0.09 mem=6M951
0.45
0.45 relations being loaded...
0.55
0.55 constraints being loaded...
0.73 nbConstraints=751 nbRelationTypes=752 nbExtensionStructures=751 nbSharedExtensionStructures=0
0.73 nbConflictsStructures=751 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=11883 maxDegree=39
0.73 maxArity=2
0.73 => wckTime=0.381 cpuTime=0.25 mem=11M848
0.79
0.79 solver IterativeSystematicSolver being built...
0.95 => wckTime=0.601 cpuTime=0.39 mem=15M5
1.01
1.01 preprocessing
1.01 nbConstraintChecks=22165 nbPropagations=857 nbRevisions=4960 nbUselessRevisions=3903 nbSingletonTests=51
1.01 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
1.01 => wckTime=0.055 cpuTime=0.03 mem=15M5
1.04
1.04 search
1.04 run=0 nbConstraintChecks=16310 nbPropagations=1204 nbRevisions=9902 nbUselessRevisions=8066 nbAssignments=21
1.04 nbFailedAssignments=5 nbBacktracks=10 nbVisitedNodes=34 nbRestartNogoods=0 mapSize=10 nbInferences=0
1.04 nbTooLargeKeys=0
1.04 => wckTime=0.081 cpuTime=0.05 mem=15M5
1.05
1.05 search
1.05 run=1 nbConstraintChecks=32067 nbPropagations=2784 nbRevisions=25145 nbUselessRevisions=20724 nbAssignments=53
1.05 nbFailedAssignments=14 nbBacktracks=27 nbVisitedNodes=80 nbRestartNogoods=2 mapSize=23 nbInferences=0
1.05 nbTooLargeKeys=0
1.05 => wckTime=0.099 cpuTime=0.07 mem=15M5
1.07
1.07 search
1.07 run=2 nbConstraintChecks=58243 nbPropagations=4923 nbRevisions=48974 nbUselessRevisions=40820
1.07 nbAssignments=100 nbFailedAssignments=27 nbBacktracks=56 nbVisitedNodes=151 nbRestartNogoods=3 mapSize=46
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.115 cpuTime=0.08 mem=15M5
1.09
1.09 search
1.09 run=3 nbConstraintChecks=94292 nbPropagations=7800 nbRevisions=84645 nbUselessRevisions=70988
1.09 nbAssignments=159 nbFailedAssignments=44 nbBacktracks=90 nbVisitedNodes=245 nbRestartNogoods=4 mapSize=75
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.131 cpuTime=0.09 mem=15M5
1.11
1.11 search
1.11 run=4 nbConstraintChecks=146221 nbPropagations=11674 nbRevisions=137349 nbUselessRevisions=115695
1.11 nbAssignments=237 nbFailedAssignments=66 nbBacktracks=140 nbVisitedNodes=372 nbRestartNogoods=7 mapSize=115
1.11 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.153 cpuTime=0.11 mem=15M5
1.14
1.14 search
1.14 run=5 nbConstraintChecks=208641 nbPropagations=16797 nbRevisions=211196 nbUselessRevisions=178666
1.15 nbAssignments=345 nbFailedAssignments=93 nbBacktracks=215 nbVisitedNodes=543 nbRestartNogoods=10 mapSize=175
1.15 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.19 cpuTime=0.14 mem=15M5
1.19
1.19 search
1.19 run=6 nbConstraintChecks=313091 nbPropagations=23956 nbRevisions=319210 nbUselessRevisions=271018
1.19 nbAssignments=514 nbFailedAssignments=138 nbBacktracks=329 nbVisitedNodes=814 nbRestartNogoods=12 mapSize=269
1.19 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.231 cpuTime=0.18 mem=15M5
1.25
1.25 search
1.25 run=7 nbConstraintChecks=488234 nbPropagations=34395 nbRevisions=485947 nbUselessRevisions=414003
1.25 nbAssignments=765 nbFailedAssignments=212 nbBacktracks=499 nbVisitedNodes=1232 nbRestartNogoods=17 mapSize=410
1.25 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.295 cpuTime=0.24 mem=15M5
1.35
1.35 search
1.35 run=8 nbConstraintChecks=755187 nbPropagations=49828 nbRevisions=739080 nbUselessRevisions=630601
1.35 nbAssignments=1142 nbFailedAssignments=326 nbBacktracks=755 nbVisitedNodes=1859 nbRestartNogoods=24
1.35 mapSize=628 nbInferences=0 nbTooLargeKeys=0
1.35 => wckTime=0.392 cpuTime=0.34 mem=15M5
1.50
1.50 search
1.50 run=9 nbConstraintChecks=1140907 nbPropagations=72421 nbRevisions=1116855 nbUselessRevisions=953490
1.50 nbAssignments=1710 nbFailedAssignments=503 nbBacktracks=1140 nbVisitedNodes=2780 nbRestartNogoods=28
1.50 mapSize=933 nbInferences=0 nbTooLargeKeys=0
1.50 => wckTime=0.543 cpuTime=0.48 mem=15M5
1.54
1.54 INFO : Stopping hyperNogood (mapSize=1026, nbTooLargekeys=0, mem=15M5)
1.69
1.69 search
1.69 run=10 nbConstraintChecks=1695211 nbPropagations=105544 nbRevisions=1678829 nbUselessRevisions=1434796
1.69 nbAssignments=2550 nbFailedAssignments=758 nbBacktracks=1716 nbVisitedNodes=4152 nbRestartNogoods=34
1.69 => wckTime=0.733 cpuTime=0.65 mem=15M5
1.95
1.95 search
1.95 run=11 nbConstraintChecks=2520817 nbPropagations=154275 nbRevisions=2509907 nbUselessRevisions=2146320
1.95 nbAssignments=3818 nbFailedAssignments=1137 nbBacktracks=2580 nbVisitedNodes=6160 nbRestartNogoods=44
1.95 => wckTime=0.995 cpuTime=0.91 mem=15M5
2.34
2.34 search
2.34 run=12 nbConstraintChecks=3780807 nbPropagations=226196 nbRevisions=3755622 nbUselessRevisions=3214413
2.34 nbAssignments=5671 nbFailedAssignments=1688 nbBacktracks=3880 nbVisitedNodes=9166 nbRestartNogoods=50
2.34 => wckTime=1.38 cpuTime=1.29 mem=15M5
2.46
2.46 search
2.47 run=13 nbConstraintChecks=4192324 nbPropagations=306001 nbRevisions=5140568 nbUselessRevisions=4402546
2.47 nbAssignments=6339 nbFailedAssignments=1872 nbBacktracks=4324 nbVisitedNodes=10226 nbRestartNogoods=53
2.47 => wckTime=1.51 cpuTime=1.42 mem=15M5
2.47
2.47 global
2.47 nbConstraintChecks=4214489 nbPropagations=306858 nbRevisions=5145528 nbUselessRevisions=4406449
2.47 nbRestartNogoods=53 solvingWckTime=1.511 solvingCpuTime=1.42 expiredTime=no totalExploration=no
2.47 nbFoundSolutions=1 globalCpuTime=1.86
2.47 => wckTime=2.114 cpuTime=1.81 mem=15M5
2.47
2.47 s SATISFIABLE
2.47 v 1 4 1 7 5 5 2 6 1 6 7 3 3 4 5 4 6 2 4 3 2 4 0 1 2 1 7 0 2 0 5 2 6 6 3 1 3 1 6 5
2.47 d NODES 6339
2.47 d CHECKS 4214489
2.47
2.47 totalWckTime=2.196 totalCpuTime=1.86
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node5/watcher-227153-1168277499 -o ROOT/results/node5/solver-227153-1168277499 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/227153-1168277499/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.29 2.35 2.18 3/94 13000
/proc/meminfo: memFree=733232/2055920 swapFree=4192812/4192956
[pid=12999] ppid=12997 vsize=18540 CPUtime=0
/proc/12999/stat : 12999 (runsolver) R 12997 12999 12167 0 -1 4194368 17 0 0 0 0 0 0 0 23 0 1 0 156364478 18984960 280 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 226913479975 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/12999/statm: 4635 280 244 17 0 2626 0
[startup+0.107944 s]
/proc/loadavg: 2.29 2.35 2.18 3/94 13000
/proc/meminfo: memFree=733232/2055920 swapFree=4192812/4192956
[pid=12999] ppid=12997 vsize=907676 CPUtime=0.04
/proc/12999/stat : 12999 (java) R 12997 12999 12167 0 -1 0 2378 0 1 0 3 1 0 0 22 0 4 0 156364478 929460224 2125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153609812 0 4 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/12999/statm: 226919 2125 1186 14 0 214502 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 907676
[startup+0.515989 s]
/proc/loadavg: 2.29 2.35 2.18 3/94 13000
/proc/meminfo: memFree=733232/2055920 swapFree=4192812/4192956
[pid=12999] ppid=12997 vsize=915328 CPUtime=0.44
/proc/12999/stat : 12999 (java) R 12997 12999 12167 0 -1 0 6209 0 1 0 40 4 0 0 25 0 8 0 156364478 937295872 5948 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12999/statm: 228832 5948 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 915328
[startup+1.33708 s]
/proc/loadavg: 2.29 2.35 2.18 3/101 13007
/proc/meminfo: memFree=709240/2055920 swapFree=4192812/4192956
[pid=12999] ppid=12997 vsize=915584 CPUtime=1.25
/proc/12999/stat : 12999 (java) R 12997 12999 12167 0 -1 0 8756 0 1 0 117 8 0 0 25 0 8 0 156364478 937558016 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073905743 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12999/statm: 228896 8494 2524 14 0 215366 0
[pid=12999/tid=13001] ppid=12997 vsize=915584 CPUtime=0.04
/proc/12999/task/13001/stat : 13001 (java) S 12997 12999 12167 0 -1 64 305 0 0 0 4 0 0 0 16 0 8 0 156364486 937558016 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12999/tid=13002] ppid=12997 vsize=915584 CPUtime=0
/proc/12999/task/13002/stat : 13002 (java) S 12997 12999 12167 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156364487 937558016 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12999/tid=13003] ppid=12997 vsize=915584 CPUtime=0
/proc/12999/task/13003/stat : 13003 (java) S 12997 12999 12167 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156364487 937558016 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12999/tid=13004] ppid=12997 vsize=915584 CPUtime=0
/proc/12999/task/13004/stat : 13004 (java) S 12997 12999 12167 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156364490 937558016 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12999/tid=13005] ppid=12997 vsize=915584 CPUtime=0.24
/proc/12999/task/13005/stat : 13005 (java) S 12997 12999 12167 0 -1 64 405 0 0 0 23 1 0 0 16 0 8 0 156364490 937558016 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12999/tid=13006] ppid=12997 vsize=915584 CPUtime=0
/proc/12999/task/13006/stat : 13006 (java) S 12997 12999 12167 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156364490 937558016 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12999/tid=13007] ppid=12997 vsize=915584 CPUtime=0
/proc/12999/task/13007/stat : 13007 (java) S 12997 12999 12167 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156364490 937558016 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 915584
Child status: 0
Real time (s): 2.52985
CPU time (s): 2.39164
CPU user time (s): 2.29565
CPU system time (s): 0.095985
CPU usage (%): 94.5367
Max. virtual memory (cumulated for all children) (KiB): 915584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.29565
system time used= 0.095985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8892
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= 1358
involuntary context switches= 1614
runsolver used 0.008998 s user time and 0.013997 s system time
The end
Begin job on node5 on Mon Jan 8 17:31:40 UTC 2007
IDJOB= 227153
IDBENCH= 6053
FILE ID= node5/227153-1168277499
PBS_JOBID= 3483070
Free space on /tmp= 66353 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.1/rand-2-40-8-753-100-27_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/227153-1168277499/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-227153-1168277499 -o ROOT/results/node5/solver-227153-1168277499 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/227153-1168277499/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 25c7c5ce206d3dea64499f3a25761a83
RANDOM SEED= 557758906
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: 2055920 kB
MemFree: 733712 kB
Buffers: 65272 kB
Cached: 557880 kB
SwapCached: 0 kB
Active: 815792 kB
Inactive: 441676 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 733712 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1988 kB
Writeback: 0 kB
Mapped: 659936 kB
Slab: 48368 kB
Committed_AS: 4877980 kB
PageTables: 3384 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= 66353 MiB
End job on node5 on Mon Jan 8 17:31:44 UTC 2007