0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/225431-1168080613/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=180 maxDomainSize=180
0.40 => wckTime=0.098 cpuTime=0.09 mem=6M951
0.40
0.40 relations being loaded...
0.73
0.73 constraints being loaded...
0.86 nbConstraints=84 nbRelationTypes=84 nbExtensionStructures=84 nbSharedExtensionStructures=0
0.86 nbConflictsStructures=84 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=8 maxArity=2
0.86 => wckTime=0.56 cpuTime=0.5 mem=36M294
0.91
0.91 solver IterativeSystematicSolver being built...
1.06 => wckTime=0.76 cpuTime=0.62 mem=16M210
1.07
1.07 preprocessing
1.07 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.07 detectedInconsistency=no
1.07 => wckTime=0.0020 cpuTime=0.0 mem=16M210
1.18
1.18 search
1.18 run=0 nbConstraintChecks=620864 nbPropagations=1621 nbRevisions=6689 nbUselessRevisions=3480 nbAssignments=79
1.18 nbFailedAssignments=66 nbBacktracks=10 nbVisitedNodes=153 nbRestartNogoods=0 mapSize=8 nbInferences=0
1.18 nbTooLargeKeys=0
1.18 => wckTime=0.108 cpuTime=0.07 mem=16M210
1.22
1.22 search
1.22 run=1 nbConstraintChecks=1293272 nbPropagations=4742 nbRevisions=20034 nbUselessRevisions=10107
1.22 nbAssignments=126 nbFailedAssignments=96 nbBacktracks=26 nbVisitedNodes=246 nbRestartNogoods=5 mapSize=24
1.22 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.149 cpuTime=0.11 mem=16M210
1.27
1.27 search
1.27 run=2 nbConstraintChecks=2143256 nbPropagations=9805 nbRevisions=41873 nbUselessRevisions=20790
1.27 nbAssignments=190 nbFailedAssignments=137 nbBacktracks=48 nbVisitedNodes=369 nbRestartNogoods=24 mapSize=43
1.27 nbInferences=0 nbTooLargeKeys=0
1.27 => wckTime=0.201 cpuTime=0.16 mem=16M210
1.36
1.36 search
1.36 run=3 nbConstraintChecks=3880291 nbPropagations=18632 nbRevisions=80382 nbUselessRevisions=39575
1.36 nbAssignments=319 nbFailedAssignments=232 nbBacktracks=82 nbVisitedNodes=622 nbRestartNogoods=30 mapSize=73
1.36 nbInferences=0 nbTooLargeKeys=0
1.36 => wckTime=0.295 cpuTime=0.26 mem=16M210
1.48
1.48 search
1.48 run=4 nbConstraintChecks=6172311 nbPropagations=32753 nbRevisions=142163 nbUselessRevisions=69275
1.48 nbAssignments=487 nbFailedAssignments=349 nbBacktracks=132 nbVisitedNodes=950 nbRestartNogoods=30 mapSize=121
1.48 nbInferences=0 nbTooLargeKeys=0
1.48 => wckTime=0.417 cpuTime=0.37 mem=16M210
1.66
1.66 search
1.66 run=5 nbConstraintChecks=9394213 nbPropagations=54418 nbRevisions=237076 nbUselessRevisions=114552
1.66 nbAssignments=723 nbFailedAssignments=509 nbBacktracks=207 nbVisitedNodes=1406 nbRestartNogoods=34 mapSize=192
1.66 nbInferences=0 nbTooLargeKeys=0
1.66 => wckTime=0.587 cpuTime=0.54 mem=16M210
1.94
1.94 search
1.94 run=6 nbConstraintChecks=14917616 nbPropagations=88731 nbRevisions=387542 nbUselessRevisions=186190
1.94 nbAssignments=1133 nbFailedAssignments=805 nbBacktracks=320 nbVisitedNodes=2209 nbRestartNogoods=38
1.94 mapSize=302 nbInferences=0 nbTooLargeKeys=0
1.94 => wckTime=0.874 cpuTime=0.82 mem=16M210
2.32
2.32 search
2.32 run=7 nbConstraintChecks=22087654 nbPropagations=139524 nbRevisions=610904 nbUselessRevisions=292579
2.32 nbAssignments=1674 nbFailedAssignments=1175 nbBacktracks=490 nbVisitedNodes=3255 nbRestartNogoods=48
2.32 mapSize=453 nbInferences=0 nbTooLargeKeys=0
2.32 => wckTime=1.253 cpuTime=1.18 mem=16M210
3.06
3.06 search
3.06 run=8 nbConstraintChecks=37008527 nbPropagations=223290 nbRevisions=980255 nbUselessRevisions=467696
3.06 nbAssignments=2741 nbFailedAssignments=1985 nbBacktracks=746 nbVisitedNodes=5360 nbRestartNogoods=50
3.06 mapSize=700 nbInferences=0 nbTooLargeKeys=0
3.06 => wckTime=1.996 cpuTime=1.92 mem=17M182
3.98
3.98 search
3.98 run=9 nbConstraintChecks=55928697 nbPropagations=348459 nbRevisions=1530925 nbUselessRevisions=728880
3.98 nbAssignments=4118 nbFailedAssignments=3066 nbBacktracks=1043 nbVisitedNodes=8088 nbRestartNogoods=52
3.98 mapSize=989 nbInferences=0 nbTooLargeKeys=0
3.98 => wckTime=2.916 cpuTime=2.83 mem=17M182
3.99
3.99 global
3.99 nbConstraintChecks=55928697 nbPropagations=348499 nbRevisions=1530925 nbUselessRevisions=728880
3.99 nbRestartNogoods=52 solvingWckTime=2.918 solvingCpuTime=2.83 expiredTime=no totalExploration=yes
3.99 nbFoundSolutions=0 globalCpuTime=3.5
3.99 => wckTime=3.683 cpuTime=3.46 mem=17M182
3.99
3.99 s UNSATISFIABLE
3.99 d NODES 4118
3.99 d CHECKS 55928697
3.99
3.99 totalWckTime=3.759 totalCpuTime=3.51
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node56/watcher-225431-1168080613 -o ROOT/results/node56/solver-225431-1168080613 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/225431-1168080613/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.28 0.71 0.87 5/73 8251
/proc/meminfo: memFree=1637360/2055920 swapFree=4184772/4192956
[pid=8250] ppid=8245 vsize=172 CPUtime=0
/proc/8250/stat : 8250 (java) R 8245 8250 8114 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 156460544 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 10027812 0 0 4096 0 0 0 0 17 1 0 0
/proc/8250/statm: 43 24 18 14 0 3 0
[startup+0.10928 s]
/proc/loadavg: 0.28 0.71 0.87 5/73 8251
/proc/meminfo: memFree=1637360/2055920 swapFree=4184772/4192956
[pid=8250] ppid=8245 vsize=914988 CPUtime=0.08
/proc/8250/stat : 8250 (java) R 8245 8250 8114 0 -1 0 3010 0 1 0 7 1 0 0 23 0 8 0 156460544 936947712 2756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155191408 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8250/statm: 228747 2756 1432 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.517321 s]
/proc/loadavg: 0.28 0.71 0.87 5/73 8251
/proc/meminfo: memFree=1637360/2055920 swapFree=4184772/4192956
[pid=8250] ppid=8245 vsize=915328 CPUtime=0.49
/proc/8250/stat : 8250 (java) R 8245 8250 8114 0 -1 0 7909 0 1 0 45 4 0 0 25 0 8 0 156460544 937295872 7648 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073583160 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8250/statm: 228832 7648 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.3384 s]
/proc/loadavg: 0.28 0.71 0.87 3/87 8265
/proc/meminfo: memFree=1544320/2055920 swapFree=4184772/4192956
[pid=8250] ppid=8245 vsize=915464 CPUtime=1.3
/proc/8250/stat : 8250 (java) R 8245 8250 8114 0 -1 0 14335 0 1 0 122 8 0 0 25 0 8 0 156460544 937435136 14073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073762169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8250/statm: 228866 14073 2513 14 0 215336 0
[pid=8250/tid=8252] ppid=8245 vsize=915464 CPUtime=0.03
/proc/8250/task/8252/stat : 8252 (java) S 8245 8250 8114 0 -1 64 611 0 0 0 3 0 0 0 17 0 8 0 156460549 937435136 14073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8250/tid=8254] ppid=8245 vsize=915464 CPUtime=0
/proc/8250/task/8254/stat : 8254 (java) S 8245 8250 8114 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156460549 937435136 14073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8250/tid=8255] ppid=8245 vsize=915464 CPUtime=0
/proc/8250/task/8255/stat : 8255 (java) S 8245 8250 8114 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156460549 937435136 14073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8250/tid=8258] ppid=8245 vsize=915464 CPUtime=0
/proc/8250/task/8258/stat : 8258 (java) S 8245 8250 8114 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156460552 937435136 14073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8250/tid=8259] ppid=8245 vsize=915464 CPUtime=0.17
/proc/8250/task/8259/stat : 8259 (java) S 8245 8250 8114 0 -1 64 358 0 0 0 16 1 0 0 15 0 8 0 156460552 937435136 14073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8250/tid=8260] ppid=8245 vsize=915464 CPUtime=0
/proc/8250/task/8260/stat : 8260 (java) S 8245 8250 8114 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156460552 937435136 14073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8250/tid=8261] ppid=8245 vsize=915464 CPUtime=0
/proc/8250/task/8261/stat : 8261 (java) S 8245 8250 8114 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156460552 937435136 14073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915464
[startup+2.98656 s]
/proc/loadavg: 0.28 0.71 0.87 4/87 8265
/proc/meminfo: memFree=1544000/2055920 swapFree=4184772/4192956
[pid=8250] ppid=8245 vsize=915464 CPUtime=2.94
/proc/8250/stat : 8250 (java) R 8245 8250 8114 0 -1 0 14351 0 1 0 286 8 0 0 25 0 8 0 156460544 937435136 14088 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073741113 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8250/statm: 228866 14088 2513 14 0 215336 0
[pid=8250/tid=8252] ppid=8245 vsize=915464 CPUtime=0.03
/proc/8250/task/8252/stat : 8252 (java) S 8245 8250 8114 0 -1 64 611 0 0 0 3 0 0 0 17 0 8 0 156460549 937435136 14088 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8250/tid=8254] ppid=8245 vsize=915464 CPUtime=0
/proc/8250/task/8254/stat : 8254 (java) S 8245 8250 8114 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156460549 937435136 14088 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8250/tid=8255] ppid=8245 vsize=915464 CPUtime=0
/proc/8250/task/8255/stat : 8255 (java) S 8245 8250 8114 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156460549 937435136 14088 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8250/tid=8258] ppid=8245 vsize=915464 CPUtime=0
/proc/8250/task/8258/stat : 8258 (java) S 8245 8250 8114 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156460552 937435136 14088 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8250/tid=8259] ppid=8245 vsize=915464 CPUtime=0.2
/proc/8250/task/8259/stat : 8259 (java) S 8245 8250 8114 0 -1 64 372 0 0 0 19 1 0 0 16 0 8 0 156460552 937435136 14088 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8250/tid=8260] ppid=8245 vsize=915464 CPUtime=0
/proc/8250/task/8260/stat : 8260 (java) S 8245 8250 8114 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156460552 937435136 14088 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8250/tid=8261] ppid=8245 vsize=915464 CPUtime=0
/proc/8250/task/8261/stat : 8261 (java) S 8245 8250 8114 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156460552 937435136 14088 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 4.04504
CPU time (s): 3.9644
CPU user time (s): 3.86741
CPU system time (s): 0.096985
CPU usage (%): 98.0064
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.86741
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= 14361
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= 1131
involuntary context switches= 1288
runsolver used 0.009998 s user time and 0.015997 s system time
The end
Begin job on node56 on Sat Jan 6 10:50:19 UTC 2007
IDJOB= 225431
IDBENCH= 5858
FILE ID= node56/225431-1168080613
PBS_JOBID= 3476170
Free space on /tmp= 66516 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.9/rand-2-40-180-84-900-35_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/225431-1168080613/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node56/watcher-225431-1168080613 -o ROOT/results/node56/solver-225431-1168080613 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/225431-1168080613/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= fb4b4507e7f6489fee0b46aa958528d3
RANDOM SEED= 424886681
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.232
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.232
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: 1638520 kB
Buffers: 30284 kB
Cached: 306160 kB
SwapCached: 2060 kB
Active: 68104 kB
Inactive: 282372 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1638520 kB
SwapTotal: 4192956 kB
SwapFree: 4184772 kB
Dirty: 6988 kB
Writeback: 0 kB
Mapped: 20944 kB
Slab: 52608 kB
Committed_AS: 2761464 kB
PageTables: 1692 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= 66516 MiB
End job on node56 on Sat Jan 6 10:50:30 UTC 2007