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/213144-1168077393/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=200 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.41 => wckTime=0.105 cpuTime=0.08 mem=6M951
0.41
0.41 predicates being loaded...
0.42
0.42 constraints being loaded...
0.58 nbConstraints=300 nbConvertedConstraints=102 nbConvertConstraintsChecks=16 nbExtensionStructures=2
0.58 nbSharedExtensionStructures=100 nbConflictsStructures=3 nbSharedConflictsStructures=297
0.58 nbSharedBinaryRepresentations=5 nbEvaluationManagers=1 nbSharedEvaluationManagers=197 maxDegree=4 maxArity=3
0.58 => wckTime=0.278 cpuTime=0.2 mem=8M935
0.62
0.62 solver IterativeSystematicSolver being built...
0.80 => wckTime=0.496 cpuTime=0.34 mem=15M477
0.81
0.81 preprocessing
0.81 nbConstraintChecks=0 nbPropagations=200 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.81 detectedInconsistency=no
0.81 => wckTime=0.0080 cpuTime=0.01 mem=15M477
0.85
0.85 search
0.85 run=0 nbConstraintChecks=445 nbValidityChecks=85 nbPropagations=414 nbRevisions=391 nbUselessRevisions=182
0.85 nbAssignments=63 nbFailedAssignments=4 nbBacktracks=21 nbVisitedNodes=72 nbRestartNogoods=0 mapSize=7
0.85 nbInferences=0 nbTooLargeKeys=0
0.85 => wckTime=0.05 cpuTime=0.03 mem=16M468
0.88
0.88 search
0.88 run=1 nbConstraintChecks=902 nbValidityChecks=241 nbPropagations=1046 nbRevisions=1214 nbUselessRevisions=583
0.88 nbAssignments=135 nbFailedAssignments=8 nbBacktracks=49 nbVisitedNodes=151 nbRestartNogoods=1 mapSize=12
0.88 nbInferences=0 nbTooLargeKeys=0
0.88 => wckTime=0.072 cpuTime=0.05 mem=16M468
0.89
0.89 search
0.89 run=2 nbConstraintChecks=1381 nbValidityChecks=455 nbPropagations=1931 nbRevisions=2509
0.89 nbUselessRevisions=1211 nbAssignments=214 nbFailedAssignments=14 nbBacktracks=79 nbVisitedNodes=239
0.89 nbRestartNogoods=3 mapSize=19 nbInferences=0 nbTooLargeKeys=0
0.89 => wckTime=0.086 cpuTime=0.06 mem=16M468
0.91
0.91 search
0.91 run=3 nbConstraintChecks=2011 nbValidityChecks=803 nbPropagations=3155 nbRevisions=4439
0.91 nbUselessRevisions=2142 nbAssignments=309 nbFailedAssignments=20 nbBacktracks=122 nbVisitedNodes=346
0.91 nbRestartNogoods=5 mapSize=29 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.106 cpuTime=0.08 mem=16M468
0.93
0.93 search
0.93 run=4 nbConstraintChecks=2856 nbValidityChecks=1286 nbPropagations=4814 nbRevisions=7247
0.93 nbUselessRevisions=3523 nbAssignments=421 nbFailedAssignments=29 nbBacktracks=176 nbVisitedNodes=477
0.93 nbRestartNogoods=7 mapSize=46 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.13 cpuTime=0.09 mem=16M468
0.95
0.95 search
0.95 run=5 nbConstraintChecks=4279 nbValidityChecks=2182 nbPropagations=7217 nbRevisions=11418
0.95 nbUselessRevisions=5512 nbAssignments=540 nbFailedAssignments=59 nbBacktracks=255 nbVisitedNodes=659
0.95 nbRestartNogoods=9 mapSize=107 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.148 cpuTime=0.1 mem=16M468
0.98
0.98 search
0.98 run=6 nbConstraintChecks=6271 nbValidityChecks=3575 nbPropagations=10640 nbRevisions=17804
0.98 nbUselessRevisions=8666 nbAssignments=759 nbFailedAssignments=90 nbBacktracks=374 nbVisitedNodes=931
0.98 nbRestartNogoods=11 mapSize=153 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.176 cpuTime=0.13 mem=16M468
1.01
1.01 search
1.02 run=7 nbConstraintChecks=8006 nbValidityChecks=4948 nbPropagations=15031 nbRevisions=26514
1.02 nbUselessRevisions=13172 nbAssignments=1005 nbFailedAssignments=114 nbBacktracks=544 nbVisitedNodes=1221
1.02 nbRestartNogoods=18 mapSize=188 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.212 cpuTime=0.16 mem=16M468
1.07
1.07 search
1.07 run=8 nbConstraintChecks=12425 nbValidityChecks=8481 nbPropagations=21853 nbRevisions=40938
1.07 nbUselessRevisions=20915 nbAssignments=1376 nbFailedAssignments=180 nbBacktracks=800 nbVisitedNodes=1727
1.07 nbRestartNogoods=27 mapSize=313 nbInferences=4 nbTooLargeKeys=0
1.07 => wckTime=0.264 cpuTime=0.21 mem=16M468
1.15
1.15 search
1.15 run=9 nbConstraintChecks=22396 nbValidityChecks=17078 nbPropagations=34213 nbRevisions=68856
1.15 nbUselessRevisions=36468 nbAssignments=1904 nbFailedAssignments=300 nbBacktracks=1187 nbVisitedNodes=2484
1.15 nbRestartNogoods=37 mapSize=536 nbInferences=7 nbTooLargeKeys=0
1.15 => wckTime=0.348 cpuTime=0.27 mem=16M468
1.25
1.25 search
1.25 run=10 nbConstraintChecks=38299 nbValidityChecks=30672 nbPropagations=55509 nbRevisions=117047
1.25 nbUselessRevisions=63104 nbAssignments=2671 nbFailedAssignments=484 nbBacktracks=1764 nbVisitedNodes=3616
1.25 nbRestartNogoods=41 mapSize=895 nbInferences=8 nbTooLargeKeys=0
1.25 => wckTime=0.448 cpuTime=0.36 mem=16M468
1.40
1.40 search
1.40 run=11 nbConstraintChecks=56914 nbValidityChecks=47940 nbPropagations=86961 nbRevisions=193469
1.40 nbUselessRevisions=107389 nbAssignments=3848 nbFailedAssignments=756 nbBacktracks=2632 nbVisitedNodes=5283
1.40 nbRestartNogoods=42 mapSize=1378 nbInferences=13 nbTooLargeKeys=0
1.40 => wckTime=0.597 cpuTime=0.51 mem=16M468
1.55
1.55 search
1.55 run=12 nbConstraintChecks=80270 nbValidityChecks=67696 nbPropagations=131691 nbRevisions=298194
1.55 nbUselessRevisions=166455 nbAssignments=5501 nbFailedAssignments=1088 nbBacktracks=3930 nbVisitedNodes=7624
1.55 nbRestartNogoods=49 mapSize=2060 nbInferences=13 nbTooLargeKeys=0
1.55 => wckTime=0.75 cpuTime=0.66 mem=17M444
1.69
1.69 INFO : Stopping hyperNogood (mapSize=2625, nbTooLargekeys=0, mem=17M444)
1.77
1.77 search
1.77 run=13 nbConstraintChecks=118608 nbValidityChecks=101269 nbPropagations=196835 nbRevisions=455515
1.77 nbUselessRevisions=256802 nbAssignments=8021 nbFailedAssignments=1624 nbBacktracks=5882 nbVisitedNodes=11257
1.77 nbRestartNogoods=55
1.77 => wckTime=0.969 cpuTime=0.88 mem=17M444
2.03
2.03 search
2.03 run=14 nbConstraintChecks=183134 nbValidityChecks=160318 nbPropagations=298356 nbRevisions=699885
2.03 nbUselessRevisions=396605 nbAssignments=11606 nbFailedAssignments=2260 nbBacktracks=8809 nbVisitedNodes=16158
2.03 nbRestartNogoods=62
2.03 => wckTime=1.225 cpuTime=1.13 mem=17M444
2.07
2.07 search
2.07 run=15 nbConstraintChecks=192466 nbValidityChecks=168642 nbPropagations=404907 nbRevisions=957355
2.07 nbUselessRevisions=544327 nbAssignments=12276 nbFailedAssignments=2350 nbBacktracks=9189 nbVisitedNodes=17015
2.07 nbRestartNogoods=67
2.07 => wckTime=1.267 cpuTime=1.17 mem=17M444
2.07
2.07 global
2.07 nbConstraintChecks=192466 nbValidityChecks=168642 nbPropagations=405107 nbRevisions=957355
2.07 nbUselessRevisions=544327 nbRestartNogoods=67 solvingWckTime=1.268 solvingCpuTime=1.17 expiredTime=no
2.07 totalExploration=no nbFoundSolutions=1 globalCpuTime=1.57
2.07 => wckTime=1.765 cpuTime=1.51 mem=17M444
2.07
2.07 s SATISFIABLE
2.07 v 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 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 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0
2.07 d NODES 12276
2.07 d CHECKS 192466
2.07
2.07 totalWckTime=1.84 totalCpuTime=1.58
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node24/watcher-213144-1168077393 -o ROOT/results/node24/solver-213144-1168077393 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/213144-1168077393/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.41 1.86 1.92 1/82 16081
/proc/meminfo: memFree=1801824/2055920 swapFree=4192812/4192956
[pid=16080] ppid=16076 vsize=0 CPUtime=0
/proc/16080/stat : 16080 (runsolver) R 16076 16080 15975 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 156134760 0 0 18446744073709551615 0 0 0 18446744073709551615 237788261671 0 0 4096 24578 0 0 0 17 1 0 0
/proc/16080/statm: 0 0 0 0 0 0 0
[startup+0.102747 s]
/proc/loadavg: 1.41 1.86 1.92 1/82 16081
/proc/meminfo: memFree=1801824/2055920 swapFree=4192812/4192956
[pid=16080] ppid=16076 vsize=914988 CPUtime=0.07
/proc/16080/stat : 16080 (java) R 16076 16080 15975 0 -1 0 2961 0 1 0 6 1 0 0 17 0 8 0 156134760 936947712 2707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154604592 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16080/statm: 228747 2707 1417 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988
[startup+0.510789 s]
/proc/loadavg: 1.41 1.86 1.92 1/82 16081
/proc/meminfo: memFree=1801824/2055920 swapFree=4192812/4192956
[pid=16080] ppid=16076 vsize=915328 CPUtime=0.49
/proc/16080/stat : 16080 (java) R 16076 16080 15975 0 -1 0 6547 0 1 0 45 4 0 0 16 0 8 0 156134760 937295872 6286 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155061896 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16080/statm: 228832 6286 2148 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33287 s]
/proc/loadavg: 1.38 1.84 1.91 2/88 16114
/proc/meminfo: memFree=1774896/2055920 swapFree=4192812/4192956
[pid=16080] ppid=16076 vsize=915464 CPUtime=1.3
/proc/16080/stat : 16080 (java) R 16076 16080 15975 0 -1 0 9105 0 1 0 123 7 0 0 17 0 8 0 156134760 937435136 8843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073824744 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16080/statm: 228866 8843 2532 14 0 215336 0
[pid=16080/tid=16090] ppid=16076 vsize=915464 CPUtime=0.02
/proc/16080/task/16090/stat : 16090 (java) S 16076 16080 15975 0 -1 64 173 0 0 0 2 0 0 0 16 0 8 0 156134764 937435136 8843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16080/tid=16094] ppid=16076 vsize=915464 CPUtime=0
/proc/16080/task/16094/stat : 16094 (java) S 16076 16080 15975 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156134765 937435136 8843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16080/tid=16095] ppid=16076 vsize=915464 CPUtime=0
/proc/16080/task/16095/stat : 16095 (java) S 16076 16080 15975 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156134765 937435136 8843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16080/tid=16111] ppid=16076 vsize=915464 CPUtime=0
/proc/16080/task/16111/stat : 16111 (java) S 16076 16080 15975 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156134768 937435136 8843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16080/tid=16112] ppid=16076 vsize=915464 CPUtime=0.24
/proc/16080/task/16112/stat : 16112 (java) S 16076 16080 15975 0 -1 64 404 0 0 0 23 1 0 0 15 0 8 0 156134768 937435136 8843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16080/tid=16113] ppid=16076 vsize=915464 CPUtime=0
/proc/16080/task/16113/stat : 16113 (java) S 16076 16080 15975 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156134768 937435136 8843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16080/tid=16114] ppid=16076 vsize=915464 CPUtime=0
/proc/16080/task/16114/stat : 16114 (java) S 16076 16080 15975 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156134768 937435136 8843 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
Child status: 0
Real time (s): 2.12365
CPU time (s): 2.06369
CPU user time (s): 1.9787
CPU system time (s): 0.084987
CPU usage (%): 97.1765
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.9787
system time used= 0.084987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9296
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= 891
involuntary context switches= 188
runsolver used 0.007998 s user time and 0.009998 s system time
The end
Begin job on node24 on Sat Jan 6 09:56:33 UTC 2007
IDJOB= 213144
IDBENCH= 4825
FILE ID= node24/213144-1168077393
PBS_JOBID= 3476058
Free space on /tmp= 66466 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/aim/aim-100-2-0-2.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/213144-1168077393/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-213144-1168077393 -o ROOT/results/node24/solver-213144-1168077393 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/213144-1168077393/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 21f346384c7bb857e06a5516052f8ba0
RANDOM SEED= 921276941
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: 1802496 kB
Buffers: 23144 kB
Cached: 105580 kB
SwapCached: 0 kB
Active: 114568 kB
Inactive: 71344 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1802496 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1880 kB
Writeback: 0 kB
Mapped: 76204 kB
Slab: 52600 kB
Committed_AS: 2876844 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= 66464 MiB
End job on node24 on Sat Jan 6 09:56:39 UTC 2007