0.28
0.28 Abscon 109 (November, 2006)
0.28
0.28 configuration
0.28 name=mac.xml
0.31
0.31 instance
0.31 name=/tmp/evaluation/213586-1168077468/unknown.xml
0.34
0.34 domains being loaded...
0.34
0.34 variables being loaded...
0.39 nbVariables=200 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.39 => wckTime=0.101 cpuTime=0.1 mem=6M951
0.39
0.39 predicates being loaded...
0.40
0.40 constraints being loaded...
0.73 nbConstraints=900 nbConvertedConstraints=160 nbConvertConstraintsChecks=4096 nbExtensionStructures=2
0.73 nbSharedExtensionStructures=158 nbConflictsStructures=11 nbSharedConflictsStructures=889
0.73 nbSharedBinaryRepresentations=5 nbEvaluationManagers=9 nbSharedEvaluationManagers=731 maxDegree=32 maxArity=11
0.73 => wckTime=0.44 cpuTime=0.32 mem=16M703
0.77
0.77 solver IterativeSystematicSolver being built...
0.97 => wckTime=0.685 cpuTime=0.48 mem=22M572
0.99
0.99 preprocessing
0.99 nbConstraintChecks=0 nbPropagations=200 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.99 detectedInconsistency=no
0.99 => wckTime=0.014 cpuTime=0.01 mem=22M572
1.05
1.05 search
1.05 run=0 nbConstraintChecks=1447 nbValidityChecks=518 nbPropagations=492 nbRevisions=1644 nbUselessRevisions=1317
1.05 nbAssignments=70 nbFailedAssignments=2 nbBacktracks=15 nbVisitedNodes=77 nbRestartNogoods=0 mapSize=5
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.078 cpuTime=0.05 mem=22M572
1.08
1.08 search
1.08 run=1 nbConstraintChecks=2502 nbValidityChecks=1505 nbPropagations=1263 nbRevisions=4922
1.08 nbUselessRevisions=3962 nbAssignments=145 nbFailedAssignments=4 nbBacktracks=42 nbVisitedNodes=158
1.08 nbRestartNogoods=1 mapSize=10 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.107 cpuTime=0.07 mem=22M572
1.10
1.10 search
1.10 run=2 nbConstraintChecks=3584 nbValidityChecks=2507 nbPropagations=2306 nbRevisions=9799
1.10 nbUselessRevisions=7903 nbAssignments=228 nbFailedAssignments=6 nbBacktracks=68 nbVisitedNodes=247
1.10 nbRestartNogoods=2 mapSize=15 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.131 cpuTime=0.1 mem=22M572
1.12
1.12 search
1.12 run=3 nbConstraintChecks=3999 nbValidityChecks=2894 nbPropagations=3489 nbRevisions=15296
1.12 nbUselessRevisions=12318 nbAssignments=291 nbFailedAssignments=7 nbBacktracks=128 nbVisitedNodes=312
1.12 nbRestartNogoods=3 mapSize=16 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.146 cpuTime=0.11 mem=22M572
1.17
1.17 search
1.17 run=4 nbConstraintChecks=6770 nbValidityChecks=5168 nbPropagations=5339 nbRevisions=24405
1.17 nbUselessRevisions=19614 nbAssignments=423 nbFailedAssignments=17 nbBacktracks=183 nbVisitedNodes=462
1.17 nbRestartNogoods=4 mapSize=30 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.195 cpuTime=0.15 mem=22M572
1.20
1.20 search
1.20 run=5 nbConstraintChecks=8632 nbValidityChecks=7087 nbPropagations=7653 nbRevisions=36186
1.20 nbUselessRevisions=29073 nbAssignments=587 nbFailedAssignments=23 nbBacktracks=264 nbVisitedNodes=639
1.20 nbRestartNogoods=8 mapSize=40 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.227 cpuTime=0.18 mem=23M547
1.25
1.25 search
1.25 run=6 nbConstraintChecks=12500 nbValidityChecks=11092 nbPropagations=10922 nbRevisions=53647
1.25 nbUselessRevisions=43155 nbAssignments=794 nbFailedAssignments=35 nbBacktracks=403 nbVisitedNodes=871
1.25 nbRestartNogoods=11 mapSize=62 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.28 cpuTime=0.23 mem=23M547
1.31
1.31 search
1.31 run=7 nbConstraintChecks=17314 nbValidityChecks=16432 nbPropagations=15397 nbRevisions=78839
1.31 nbUselessRevisions=63693 nbAssignments=1029 nbFailedAssignments=49 nbBacktracks=592 nbVisitedNodes=1128
1.31 nbRestartNogoods=14 mapSize=81 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.342 cpuTime=0.29 mem=23M547
1.38
1.38 search
1.38 run=8 nbConstraintChecks=22421 nbValidityChecks=21270 nbPropagations=21178 nbRevisions=110830
1.38 nbUselessRevisions=89548 nbAssignments=1329 nbFailedAssignments=65 nbBacktracks=860 nbVisitedNodes=1460
1.38 nbRestartNogoods=17 mapSize=112 nbInferences=0 nbTooLargeKeys=0
1.38 => wckTime=0.41 cpuTime=0.36 mem=23M547
1.51
1.51 search
1.51 run=9 nbConstraintChecks=32373 nbValidityChecks=30682 nbPropagations=29619 nbRevisions=156808
1.51 nbUselessRevisions=126432 nbAssignments=1774 nbFailedAssignments=96 nbBacktracks=1247 nbVisitedNodes=1960
1.51 nbRestartNogoods=18 mapSize=162 nbInferences=0 nbTooLargeKeys=0
1.51 => wckTime=0.538 cpuTime=0.47 mem=23M547
1.67
1.67 search
1.67 run=10 nbConstraintChecks=45418 nbValidityChecks=44231 nbPropagations=41163 nbRevisions=222740
1.67 nbUselessRevisions=179861 nbAssignments=2430 nbFailedAssignments=132 nbBacktracks=1846 nbVisitedNodes=2683
1.67 nbRestartNogoods=23 mapSize=223 nbInferences=0 nbTooLargeKeys=0
1.67 => wckTime=0.702 cpuTime=0.62 mem=23M547
1.82
1.82 search
1.82 run=11 nbConstraintChecks=54502 nbValidityChecks=51805 nbPropagations=54639 nbRevisions=299918
1.82 nbUselessRevisions=242444 nbAssignments=2909 nbFailedAssignments=147 nbBacktracks=2110 nbVisitedNodes=3191
1.82 nbRestartNogoods=28 mapSize=247 nbInferences=0 nbTooLargeKeys=0
1.82 => wckTime=0.846 cpuTime=0.77 mem=23M547
1.82
1.82 global
1.82 nbConstraintChecks=54502 nbValidityChecks=51805 nbPropagations=54839 nbRevisions=299918
1.82 nbUselessRevisions=242444 nbRestartNogoods=28 solvingWckTime=0.847 solvingCpuTime=0.77 expiredTime=no
1.82 totalExploration=no nbFoundSolutions=1 globalCpuTime=1.29
1.82 => wckTime=1.533 cpuTime=1.25 mem=23M547
1.82
1.82 s SATISFIABLE
1.82 v 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0
1.82 d NODES 2909
1.82 d CHECKS 54502
1.82
1.82 totalWckTime=1.607 totalCpuTime=1.3
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node24/watcher-213586-1168077468 -o ROOT/results/node24/solver-213586-1168077468 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/213586-1168077468/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.68 1.53 1.80 1/81 16702
/proc/meminfo: memFree=1800928/2055920 swapFree=4192812/4192956
[pid=16701] ppid=16699 vsize=172 CPUtime=0
/proc/16701/stat : 16701 (java) R 16699 16701 16603 0 -1 0 217 0 0 0 0 0 0 0 19 0 1 0 156142029 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 2605355 0 0 4096 0 0 0 0 17 1 0 0
/proc/16701/statm: 43 24 18 14 0 3 0
[startup+0.102608 s]
/proc/loadavg: 0.68 1.53 1.80 1/81 16702
/proc/meminfo: memFree=1800928/2055920 swapFree=4192812/4192956
[pid=16701] ppid=16699 vsize=914988 CPUtime=0.09
/proc/16701/stat : 16701 (java) R 16699 16701 16603 0 -1 0 3068 0 1 0 8 1 0 0 16 0 8 0 156142029 936947712 2814 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072941832 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16701/statm: 228747 2814 1452 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.510654 s]
/proc/loadavg: 0.68 1.53 1.80 1/81 16702
/proc/meminfo: memFree=1800928/2055920 swapFree=4192812/4192956
[pid=16701] ppid=16699 vsize=915328 CPUtime=0.5
/proc/16701/stat : 16701 (java) R 16699 16701 16603 0 -1 0 6998 0 1 0 46 4 0 0 16 0 8 0 156142029 937295872 6737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942898 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16701/statm: 228832 6737 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33174 s]
/proc/loadavg: 0.68 1.53 1.80 2/88 16712
/proc/meminfo: memFree=1769064/2055920 swapFree=4192812/4192956
[pid=16701] ppid=16699 vsize=915576 CPUtime=1.3
/proc/16701/stat : 16701 (java) R 16699 16701 16603 0 -1 0 10711 0 1 0 120 10 0 0 16 0 8 0 156142029 937549824 10448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072926837 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16701/statm: 228894 10448 2533 14 0 215364 0
[pid=16701/tid=16703] ppid=16699 vsize=915576 CPUtime=0.03
/proc/16701/task/16703/stat : 16703 (java) S 16699 16701 16603 0 -1 64 417 0 0 0 3 0 0 0 16 0 8 0 156142032 937549824 10448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16701/tid=16704] ppid=16699 vsize=915576 CPUtime=0
/proc/16701/task/16704/stat : 16704 (java) S 16699 16701 16603 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156142033 937549824 10448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16701/tid=16705] ppid=16699 vsize=915576 CPUtime=0
/proc/16701/task/16705/stat : 16705 (java) S 16699 16701 16603 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156142033 937549824 10448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16701/tid=16706] ppid=16699 vsize=915576 CPUtime=0
/proc/16701/task/16706/stat : 16706 (java) S 16699 16701 16603 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156142036 937549824 10448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16701/tid=16707] ppid=16699 vsize=915576 CPUtime=0.24
/proc/16701/task/16707/stat : 16707 (java) S 16699 16701 16603 0 -1 64 422 0 0 0 24 0 0 0 16 0 8 0 156142036 937549824 10448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16701/tid=16708] ppid=16699 vsize=915576 CPUtime=0
/proc/16701/task/16708/stat : 16708 (java) S 16699 16701 16603 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156142036 937549824 10448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16701/tid=16709] ppid=16699 vsize=915576 CPUtime=0
/proc/16701/task/16709/stat : 16709 (java) S 16699 16701 16603 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156142036 937549824 10448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915576
Child status: 0
Real time (s): 1.84806
CPU time (s): 1.81872
CPU user time (s): 1.69674
CPU system time (s): 0.121981
CPU usage (%): 98.4127
Max. virtual memory (cumulated for all children) (KiB): 915576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.69674
system time used= 0.121981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10900
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= 960
involuntary context switches= 110
runsolver used 0.002999 s user time and 0.011998 s system time
The end
Begin job on node24 on Sat Jan 6 09:57:48 UTC 2007
IDJOB= 213586
IDBENCH= 4859
FILE ID= node24/213586-1168077468
PBS_JOBID= 3476062
Free space on /tmp= 66466 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/jnh/jnh-209.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/213586-1168077468/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-213586-1168077468 -o ROOT/results/node24/solver-213586-1168077468 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/213586-1168077468/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= b8618cbbc1cc5cbcf706efa3031ab6bd
RANDOM SEED= 65737372
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.234
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.234
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: 1801280 kB
Buffers: 23340 kB
Cached: 106540 kB
SwapCached: 0 kB
Active: 115404 kB
Inactive: 71720 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1801280 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1904 kB
Writeback: 0 kB
Mapped: 76204 kB
Slab: 52484 kB
Committed_AS: 2899284 kB
PageTables: 2196 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= 66466 MiB
End job on node24 on Sat Jan 6 09:57:50 UTC 2007