0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/225110-1168080578/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=80 maxDomainSize=80
0.39 => wckTime=0.093 cpuTime=0.09 mem=6M951
0.39
0.39 relations being loaded...
0.56
0.56 constraints being loaded...
0.64 nbConstraints=103 nbRelationTypes=103 nbExtensionStructures=103 nbSharedExtensionStructures=0
0.64 nbConflictsStructures=103 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=10 maxArity=2
0.64 => wckTime=0.344 cpuTime=0.3 mem=21M606
0.68
0.68 solver IterativeSystematicSolver being built...
0.83 => wckTime=0.529 cpuTime=0.41 mem=15M148
0.83
0.83 preprocessing
0.83 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.83 detectedInconsistency=no
0.83 => wckTime=0.0020 cpuTime=0.0 mem=15M148
0.89
0.89 search
0.89 run=0 nbConstraintChecks=91359 nbPropagations=845 nbRevisions=3314 nbUselessRevisions=1834 nbAssignments=41
0.89 nbFailedAssignments=24 nbBacktracks=11 nbVisitedNodes=73 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.055 cpuTime=0.03 mem=15M148
0.92
0.92 search
0.92 run=1 nbConstraintChecks=285496 nbPropagations=3320 nbRevisions=13967 nbUselessRevisions=7679
0.92 nbAssignments=112 nbFailedAssignments=70 nbBacktracks=27 nbVisitedNodes=203 nbRestartNogoods=3 mapSize=24
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.086 cpuTime=0.05 mem=15M148
0.94
0.94 search
0.94 run=2 nbConstraintChecks=467276 nbPropagations=7554 nbRevisions=31780 nbUselessRevisions=17321
0.94 nbAssignments=185 nbFailedAssignments=117 nbBacktracks=49 nbVisitedNodes=337 nbRestartNogoods=8 mapSize=43
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.111 cpuTime=0.07 mem=15M148
0.98
0.98 search
0.98 run=3 nbConstraintChecks=859420 nbPropagations=14942 nbRevisions=64173 nbUselessRevisions=34685
0.98 nbAssignments=322 nbFailedAssignments=215 nbBacktracks=82 nbVisitedNodes=601 nbRestartNogoods=17 mapSize=74
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.149 cpuTime=0.11 mem=15M148
1.01
1.01 search
1.01 run=4 nbConstraintChecks=1145350 nbPropagations=25021 nbRevisions=108316 nbUselessRevisions=58552
1.01 nbAssignments=445 nbFailedAssignments=280 nbBacktracks=134 nbVisitedNodes=818 nbRestartNogoods=22 mapSize=113
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.177 cpuTime=0.13 mem=15M148
1.06
1.06 search
1.06 run=5 nbConstraintChecks=1641247 nbPropagations=39378 nbRevisions=171561 nbUselessRevisions=92916
1.06 nbAssignments=658 nbFailedAssignments=416 nbBacktracks=210 nbVisitedNodes=1210 nbRestartNogoods=29 mapSize=169
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.225 cpuTime=0.19 mem=15M148
1.17
1.17 search
1.17 run=6 nbConstraintChecks=2988971 nbPropagations=64901 nbRevisions=285950 nbUselessRevisions=154696
1.17 nbAssignments=1151 nbFailedAssignments=793 nbBacktracks=323 nbVisitedNodes=2183 nbRestartNogoods=30
1.17 mapSize=280 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.344 cpuTime=0.3 mem=15M148
1.30
1.30 search
1.30 run=7 nbConstraintChecks=4230302 nbPropagations=101520 nbRevisions=449219 nbUselessRevisions=242904
1.30 nbAssignments=1685 nbFailedAssignments=1147 nbBacktracks=496 nbVisitedNodes=3169 nbRestartNogoods=35
1.30 mapSize=411 nbInferences=2 nbTooLargeKeys=0
1.30 => wckTime=0.467 cpuTime=0.41 mem=15M148
1.54
1.54 search
1.54 run=8 nbConstraintChecks=7113567 nbPropagations=161184 nbRevisions=719471 nbUselessRevisions=388236
1.54 nbAssignments=2645 nbFailedAssignments=1848 nbBacktracks=752 nbVisitedNodes=5042 nbRestartNogoods=40
1.54 mapSize=652 nbInferences=2 nbTooLargeKeys=0
1.54 => wckTime=0.709 cpuTime=0.65 mem=15M148
1.77
1.77 search
1.77 run=9 nbConstraintChecks=9741833 nbPropagations=245677 nbRevisions=1099699 nbUselessRevisions=593501
1.77 nbAssignments=3844 nbFailedAssignments=2659 nbBacktracks=1138 nbVisitedNodes=7280 nbRestartNogoods=43
1.77 mapSize=973 nbInferences=2 nbTooLargeKeys=0
1.77 => wckTime=0.935 cpuTime=0.87 mem=15M148
1.82
1.82 INFO : Stopping hyperNogood (mapSize=1026, nbTooLargekeys=0, mem=16M123)
2.23
2.23 search
2.23 run=10 nbConstraintChecks=15619845 nbPropagations=376456 nbRevisions=1691796 nbUselessRevisions=912106
2.23 nbAssignments=5679 nbFailedAssignments=3914 nbBacktracks=1716 nbVisitedNodes=10798 nbRestartNogoods=47
2.24 => wckTime=1.404 cpuTime=1.33 mem=16M123
2.65
2.65 search
2.65 run=11 nbConstraintChecks=21016282 nbPropagations=556120 nbRevisions=2503675 nbUselessRevisions=1352641
2.65 nbAssignments=8109 nbFailedAssignments=5474 nbBacktracks=2580 nbVisitedNodes=15262 nbRestartNogoods=52
2.65 => wckTime=1.816 cpuTime=1.74 mem=16M123
3.58
3.58 search
3.58 run=12 nbConstraintChecks=33731157 nbPropagations=836227 nbRevisions=3780120 nbUselessRevisions=2040085
3.58 nbAssignments=12216 nbFailedAssignments=8280 nbBacktracks=3877 nbVisitedNodes=23175 nbRestartNogoods=69
3.58 => wckTime=2.751 cpuTime=2.67 mem=16M123
4.72
4.72 search
4.72 run=13 nbConstraintChecks=48664740 nbPropagations=1250331 nbRevisions=5658279 nbUselessRevisions=3056339
4.72 nbAssignments=18787 nbFailedAssignments=12899 nbBacktracks=5824 nbVisitedNodes=35558 nbRestartNogoods=83
4.72 => wckTime=3.886 cpuTime=3.81 mem=16M123
5.76
5.76 search
5.76 run=14 nbConstraintChecks=62665703 nbPropagations=1780063 nbRevisions=8075420 nbUselessRevisions=4359072
5.76 nbAssignments=23510 nbFailedAssignments=16209 nbBacktracks=7197 nbVisitedNodes=44670 nbRestartNogoods=88
5.76 => wckTime=4.93 cpuTime=4.85 mem=16M123
5.76
5.76 global
5.76 nbConstraintChecks=62665703 nbPropagations=1780103 nbRevisions=8075420 nbUselessRevisions=4359072
5.76 nbRestartNogoods=88 solvingWckTime=4.93 solvingCpuTime=4.85 expiredTime=no totalExploration=no
5.76 nbFoundSolutions=1 globalCpuTime=5.3
5.76 => wckTime=5.464 cpuTime=5.26 mem=16M123
5.76
5.76 s SATISFIABLE
5.76 v 68 63 64 69 63 24 5 11 52 49 66 60 31 15 55 15 79 53 6 76 1 21 0 61 68 52 61 53 35 0 4 16 71 55 66 64 53 49 57 57
5.76 d NODES 23510
5.76 d CHECKS 62665703
5.76
5.76 totalWckTime=5.537 totalCpuTime=5.3
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node45/watcher-225110-1168080578 -o ROOT/results/node45/solver-225110-1168080578 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/225110-1168080578/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.42 0.81 1.03 5/69 23148
/proc/meminfo: memFree=1413204/2055920 swapFree=4184004/4192956
[pid=23147] ppid=23143 vsize=168 CPUtime=0
/proc/23147/stat : 23147 (java) R 23143 23147 22912 0 -1 0 39 0 0 0 0 0 0 0 19 0 1 0 156457515 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4727083 0 0 4096 0 0 0 0 17 1 0 0
/proc/23147/statm: 42 23 18 14 0 2 0
[startup+0.10492 s]
/proc/loadavg: 0.42 0.81 1.03 5/69 23148
/proc/meminfo: memFree=1413204/2055920 swapFree=4184004/4192956
[pid=23147] ppid=23143 vsize=915724 CPUtime=0.08
/proc/23147/stat : 23147 (java) R 23143 23147 22912 0 -1 0 2992 0 1 0 6 2 0 0 17 0 8 0 156457515 937701376 2738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23147/statm: 228931 2738 1427 14 0 215426 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 915724
[startup+0.512991 s]
/proc/loadavg: 0.42 0.81 1.03 5/69 23148
/proc/meminfo: memFree=1413204/2055920 swapFree=4184004/4192956
[pid=23147] ppid=23143 vsize=915956 CPUtime=0.47
/proc/23147/stat : 23147 (java) R 23143 23147 22912 0 -1 0 8016 0 1 0 42 5 0 0 17 0 8 0 156457515 937938944 7755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073567406 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23147/statm: 228989 7756 2137 14 0 215459 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915956
[startup+1.33514 s]
/proc/loadavg: 0.46 0.81 1.03 2/75 23157
/proc/meminfo: memFree=1382008/2055920 swapFree=4184004/4192956
[pid=23147] ppid=23143 vsize=916056 CPUtime=1.29
/proc/23147/stat : 23147 (java) R 23143 23147 22912 0 -1 0 10545 0 1 0 121 8 0 0 16 0 8 0 156457515 938041344 10283 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073750540 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23147/statm: 229014 10283 2513 14 0 215484 0
[pid=23147/tid=23151] ppid=23143 vsize=916056 CPUtime=0.03
/proc/23147/task/23151/stat : 23151 (java) S 23143 23147 22912 0 -1 64 353 0 0 0 3 0 0 0 17 0 8 0 156457519 938041344 10283 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23147/tid=23152] ppid=23143 vsize=916056 CPUtime=0
/proc/23147/task/23152/stat : 23152 (java) S 23143 23147 22912 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156457520 938041344 10283 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23147/tid=23153] ppid=23143 vsize=916056 CPUtime=0
/proc/23147/task/23153/stat : 23153 (java) S 23143 23147 22912 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156457520 938041344 10283 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23147/tid=23154] ppid=23143 vsize=916056 CPUtime=0
/proc/23147/task/23154/stat : 23154 (java) S 23143 23147 22912 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156457523 938041344 10283 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23147/tid=23155] ppid=23143 vsize=916056 CPUtime=0.17
/proc/23147/task/23155/stat : 23155 (java) S 23143 23147 22912 0 -1 64 373 0 0 0 16 1 0 0 16 0 8 0 156457523 938041344 10283 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23147/tid=23156] ppid=23143 vsize=916056 CPUtime=0
/proc/23147/task/23156/stat : 23156 (java) S 23143 23147 22912 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156457523 938041344 10283 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23147/tid=23157] ppid=23143 vsize=916056 CPUtime=0
/proc/23147/task/23157/stat : 23157 (java) S 23143 23147 22912 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156457523 938041344 10283 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 916056
[startup+2.98244 s]
/proc/loadavg: 0.46 0.81 1.03 2/75 23157
/proc/meminfo: memFree=1382008/2055920 swapFree=4184004/4192956
[pid=23147] ppid=23143 vsize=916056 CPUtime=2.93
/proc/23147/stat : 23147 (java) R 23143 23147 22912 0 -1 0 10551 0 1 0 285 8 0 0 18 0 8 0 156457515 938041344 10288 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073736422 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23147/statm: 229014 10288 2513 14 0 215484 0
[pid=23147/tid=23151] ppid=23143 vsize=916056 CPUtime=0.03
/proc/23147/task/23151/stat : 23151 (java) S 23143 23147 22912 0 -1 64 353 0 0 0 3 0 0 0 16 0 8 0 156457519 938041344 10288 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23147/tid=23152] ppid=23143 vsize=916056 CPUtime=0
/proc/23147/task/23152/stat : 23152 (java) S 23143 23147 22912 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156457520 938041344 10288 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23147/tid=23153] ppid=23143 vsize=916056 CPUtime=0
/proc/23147/task/23153/stat : 23153 (java) S 23143 23147 22912 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156457520 938041344 10288 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23147/tid=23154] ppid=23143 vsize=916056 CPUtime=0
/proc/23147/task/23154/stat : 23154 (java) S 23143 23147 22912 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156457523 938041344 10288 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23147/tid=23155] ppid=23143 vsize=916056 CPUtime=0.18
/proc/23147/task/23155/stat : 23155 (java) S 23143 23147 22912 0 -1 64 378 0 0 0 17 1 0 0 15 0 8 0 156457523 938041344 10288 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23147/tid=23156] ppid=23143 vsize=916056 CPUtime=0
/proc/23147/task/23156/stat : 23156 (java) S 23143 23147 22912 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156457523 938041344 10288 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23147/tid=23157] ppid=23143 vsize=916056 CPUtime=0
/proc/23147/task/23157/stat : 23157 (java) S 23143 23147 22912 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156457523 938041344 10288 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 916056
Child status: 0
Real time (s): 5.81338
CPU time (s): 5.73613
CPU user time (s): 5.63914
CPU system time (s): 0.096985
CPU usage (%): 98.6711
Max. virtual memory (cumulated for all children) (KiB): 916056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.63914
system time used= 0.096985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10560
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= 832
involuntary context switches= 155
runsolver used 0.012998 s user time and 0.023996 s system time
The end
Begin job on node45 on Sat Jan 6 10:49:40 UTC 2007
IDJOB= 225110
IDBENCH= 5824
FILE ID= node45/225110-1168080578
PBS_JOBID= 3476167
Free space on /tmp= 66540 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.8/rand-2-40-80-103-800-49_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/225110-1168080578/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-225110-1168080578 -o ROOT/results/node45/solver-225110-1168080578 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/225110-1168080578/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 69c65ceb289035dd338a5f17db398263
RANDOM SEED= 653387427
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: 1404928 kB
Buffers: 48992 kB
Cached: 507288 kB
SwapCached: 2748 kB
Active: 63404 kB
Inactive: 515604 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1404928 kB
SwapTotal: 4192956 kB
SwapFree: 4184004 kB
Dirty: 4904 kB
Writeback: 0 kB
Mapped: 36888 kB
Slab: 57508 kB
Committed_AS: 3483104 kB
PageTables: 1812 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= 66540 MiB
End job on node45 on Sat Jan 6 10:49:57 UTC 2007