0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/213014-1168077371/unknown.xml
0.34
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.39 nbVariables=200 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.39 => wckTime=0.104 cpuTime=0.1 mem=6M951
0.39
0.39 predicates being loaded...
0.40
0.40 constraints being loaded...
0.54 nbConstraints=260 nbConvertedConstraints=100 nbConvertConstraintsChecks=12 nbExtensionStructures=1
0.54 nbSharedExtensionStructures=99 nbConflictsStructures=2 nbSharedConflictsStructures=258
0.54 nbSharedBinaryRepresentations=2 nbEvaluationManagers=1 nbSharedEvaluationManagers=159 maxDegree=6 maxArity=3
0.54 => wckTime=0.254 cpuTime=0.2 mem=8M904
0.58
0.58 solver IterativeSystematicSolver being built...
0.76 => wckTime=0.47 cpuTime=0.35 mem=15M470
0.77
0.77 preprocessing
0.77 nbConstraintChecks=0 nbPropagations=200 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.77 detectedInconsistency=no
0.77 => wckTime=0.0060 cpuTime=0.0 mem=15M470
0.81
0.81 search
0.81 run=0 nbConstraintChecks=340 nbValidityChecks=20 nbPropagations=367 nbRevisions=270 nbUselessRevisions=137
0.81 nbAssignments=106 nbFailedAssignments=3 nbBacktracks=15 nbVisitedNodes=112 nbRestartNogoods=0 mapSize=3
0.81 nbInferences=1 nbTooLargeKeys=0
0.81 => wckTime=0.051 cpuTime=0.03 mem=16M511
0.83
0.83 search
0.83 run=1 nbConstraintChecks=555 nbValidityChecks=115 nbPropagations=870 nbRevisions=762 nbUselessRevisions=381
0.83 nbAssignments=180 nbFailedAssignments=5 nbBacktracks=35 nbVisitedNodes=191 nbRestartNogoods=2 mapSize=7
0.83 nbInferences=1 nbTooLargeKeys=0
0.83 => wckTime=0.068 cpuTime=0.04 mem=16M511
0.84
0.84 search
0.84 run=2 nbConstraintChecks=746 nbValidityChecks=219 nbPropagations=1489 nbRevisions=1448 nbUselessRevisions=721
0.84 nbAssignments=237 nbFailedAssignments=10 nbBacktracks=59 nbVisitedNodes=258 nbRestartNogoods=3 mapSize=16
0.84 nbInferences=1 nbTooLargeKeys=0
0.84 => wckTime=0.079 cpuTime=0.05 mem=16M511
0.87
0.87 search
0.87 run=3 nbConstraintChecks=1502 nbValidityChecks=643 nbPropagations=2543 nbRevisions=2882
0.87 nbUselessRevisions=1400 nbAssignments=376 nbFailedAssignments=24 nbBacktracks=92 nbVisitedNodes=424
0.87 nbRestartNogoods=4 mapSize=39 nbInferences=1 nbTooLargeKeys=0
0.87 => wckTime=0.108 cpuTime=0.08 mem=16M511
0.89
0.89 search
0.89 run=4 nbConstraintChecks=2517 nbValidityChecks=1330 nbPropagations=4146 nbRevisions=5362
0.89 nbUselessRevisions=2578 nbAssignments=452 nbFailedAssignments=44 nbBacktracks=142 nbVisitedNodes=542
0.89 nbRestartNogoods=8 mapSize=78 nbInferences=1 nbTooLargeKeys=0
0.89 => wckTime=0.131 cpuTime=0.09 mem=16M511
0.91
0.91 search
0.91 run=5 nbConstraintChecks=3625 nbValidityChecks=2006 nbPropagations=6369 nbRevisions=9000
0.91 nbUselessRevisions=4300 nbAssignments=600 nbFailedAssignments=66 nbBacktracks=217 nbVisitedNodes=733
0.91 nbRestartNogoods=11 mapSize=114 nbInferences=1 nbTooLargeKeys=0
0.91 => wckTime=0.155 cpuTime=0.11 mem=16M511
0.94
0.94 search
0.94 run=6 nbConstraintChecks=5653 nbValidityChecks=3235 nbPropagations=9763 nbRevisions=14756
0.94 nbUselessRevisions=6968 nbAssignments=761 nbFailedAssignments=100 nbBacktracks=330 nbVisitedNodes=965
0.94 nbRestartNogoods=15 mapSize=183 nbInferences=2 nbTooLargeKeys=0
0.94 => wckTime=0.177 cpuTime=0.13 mem=16M511
0.96
0.96 search
0.96 run=7 nbConstraintChecks=8894 nbValidityChecks=5311 nbPropagations=15007 nbRevisions=23760
0.96 nbUselessRevisions=11044 nbAssignments=1000 nbFailedAssignments=150 nbBacktracks=504 nbVisitedNodes=1308
0.96 nbRestartNogoods=17 mapSize=285 nbInferences=2 nbTooLargeKeys=0
0.96 => wckTime=0.203 cpuTime=0.15 mem=16M511
1.00
1.00 search
1.00 run=8 nbConstraintChecks=15006 nbValidityChecks=9463 nbPropagations=23766 nbRevisions=39163
1.00 nbUselessRevisions=18013 nbAssignments=1354 nbFailedAssignments=235 nbBacktracks=761 nbVisitedNodes=1835
1.01 nbRestartNogoods=19 mapSize=454 nbInferences=2 nbTooLargeKeys=0
1.01 => wckTime=0.246 cpuTime=0.19 mem=16M511
1.07
1.07 search
1.07 run=9 nbConstraintChecks=21335 nbValidityChecks=13397 nbPropagations=36088 nbRevisions=60701
1.07 nbUselessRevisions=27555 nbAssignments=1877 nbFailedAssignments=360 nbBacktracks=1149 nbVisitedNodes=2595
1.07 nbRestartNogoods=23 mapSize=686 nbInferences=5 nbTooLargeKeys=0
1.07 => wckTime=0.315 cpuTime=0.24 mem=16M511
1.15
1.15 search
1.15 run=10 nbConstraintChecks=31299 nbValidityChecks=20221 nbPropagations=53970 nbRevisions=92806
1.15 nbUselessRevisions=42170 nbAssignments=2647 nbFailedAssignments=533 nbBacktracks=1728 nbVisitedNodes=3734
1.15 nbRestartNogoods=28 mapSize=1051 nbInferences=7 nbTooLargeKeys=0
1.15 => wckTime=0.387 cpuTime=0.3 mem=16M511
1.22
1.22 INFO : Stopping hyperNogood (mapSize=1414, nbTooLargekeys=0, mem=16M511)
1.24
1.24 search
1.24 run=11 nbConstraintChecks=49168 nbValidityChecks=32576 nbPropagations=82183 nbRevisions=143814
1.24 nbUselessRevisions=65274 nbAssignments=3787 nbFailedAssignments=792 nbBacktracks=2597 nbVisitedNodes=5396
1.24 nbRestartNogoods=32
1.24 => wckTime=0.479 cpuTime=0.39 mem=16M511
1.31
1.31 search
1.31 run=12 nbConstraintChecks=63889 nbValidityChecks=42953 nbPropagations=118678 nbRevisions=211242
1.31 nbUselessRevisions=96533 nbAssignments=5393 nbFailedAssignments=1077 nbBacktracks=3895 nbVisitedNodes=7602
1.31 nbRestartNogoods=38
1.31 => wckTime=0.555 cpuTime=0.47 mem=16M511
1.38
1.38 search
1.38 run=13 nbConstraintChecks=79241 nbValidityChecks=53548 nbPropagations=163891 nbRevisions=295217
1.38 nbUselessRevisions=135621 nbAssignments=6563 nbFailedAssignments=1277 nbBacktracks=4665 nbVisitedNodes=9198
1.38 nbRestartNogoods=44
1.38 => wckTime=0.621 cpuTime=0.53 mem=16M511
1.38
1.38 global
1.38 nbConstraintChecks=79241 nbValidityChecks=53548 nbPropagations=164091 nbRevisions=295217
1.38 nbUselessRevisions=135621 nbRestartNogoods=44 solvingWckTime=0.622 solvingCpuTime=0.53 expiredTime=no
1.38 totalExploration=no nbFoundSolutions=1 globalCpuTime=0.92
1.38 => wckTime=1.093 cpuTime=0.88 mem=16M511
1.38
1.38 s SATISFIABLE
1.38 v 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 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 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1
1.38 d NODES 6563
1.38 d CHECKS 79241
1.38
1.38 totalWckTime=1.169 totalCpuTime=0.92
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node10/watcher-213014-1168077371 -o ROOT/results/node10/solver-213014-1168077371 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/213014-1168077371/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.87 1.98 1.99 4/93 28354
/proc/meminfo: memFree=843616/2055920 swapFree=4178332/4192956
[pid=28353] ppid=28351 vsize=9600 CPUtime=0
/proc/28353/stat : 28353 (java) R 28351 28353 28062 0 -1 0 379 0 0 0 0 0 0 0 18 0 1 0 156132338 9830400 167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 8905508 0 0 4096 0 0 0 0 17 0 0 0
/proc/28353/statm: 2412 169 132 14 0 1138 0
[startup+0.108366 s]
/proc/loadavg: 1.87 1.98 1.99 4/93 28354
/proc/meminfo: memFree=843616/2055920 swapFree=4178332/4192956
[pid=28353] ppid=28351 vsize=914988 CPUtime=0.1
/proc/28353/stat : 28353 (java) R 28351 28353 28062 0 -1 0 3121 0 1 0 9 1 0 0 24 0 8 0 156132338 936947712 2867 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28353/statm: 228747 2867 1470 14 0 215242 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 914988
[startup+0.516421 s]
/proc/loadavg: 1.87 1.98 1.99 4/93 28354
/proc/meminfo: memFree=843616/2055920 swapFree=4178332/4192956
[pid=28353] ppid=28351 vsize=915460 CPUtime=0.5
/proc/28353/stat : 28353 (java) R 28351 28353 28062 0 -1 0 6642 0 1 0 45 5 0 0 25 0 8 0 156132338 937431040 6381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28353/statm: 228866 6381 2164 14 0 215336 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915460
[startup+1.33953 s]
/proc/loadavg: 1.87 1.98 1.99 3/100 28361
/proc/meminfo: memFree=818600/2055920 swapFree=4178332/4192956
[pid=28353] ppid=28351 vsize=915460 CPUtime=1.32
/proc/28353/stat : 28353 (java) R 28351 28353 28062 0 -1 0 9036 0 1 0 123 9 0 0 25 0 8 0 156132338 937431040 8774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918514 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28353/statm: 228865 8774 2532 14 0 215335 0
[pid=28353/tid=28355] ppid=28351 vsize=915460 CPUtime=0.02
/proc/28353/task/28355/stat : 28355 (java) S 28351 28353 28062 0 -1 64 167 0 0 0 2 0 0 0 16 0 8 0 156132341 937431040 8774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28353/tid=28356] ppid=28351 vsize=915460 CPUtime=0
/proc/28353/task/28356/stat : 28356 (java) S 28351 28353 28062 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156132341 937431040 8774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28353/tid=28357] ppid=28351 vsize=915460 CPUtime=0
/proc/28353/task/28357/stat : 28357 (java) S 28351 28353 28062 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156132342 937431040 8774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28353/tid=28358] ppid=28351 vsize=915460 CPUtime=0
/proc/28353/task/28358/stat : 28358 (java) S 28351 28353 28062 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156132345 937431040 8774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28353/tid=28359] ppid=28351 vsize=915460 CPUtime=0.21
/proc/28353/task/28359/stat : 28359 (java) S 28351 28353 28062 0 -1 64 395 0 0 0 19 2 0 0 16 0 8 0 156132345 937431040 8774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28353/tid=28360] ppid=28351 vsize=915460 CPUtime=0
/proc/28353/task/28360/stat : 28360 (java) S 28351 28353 28062 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156132345 937431040 8774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28353/tid=28361] ppid=28351 vsize=915460 CPUtime=0
/proc/28353/task/28361/stat : 28361 (java) S 28351 28353 28062 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156132345 937431040 8774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 1.43844
CPU time (s): 1.38679
CPU user time (s): 1.2858
CPU system time (s): 0.100984
CPU usage (%): 96.4092
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.2858
system time used= 0.100984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9133
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= 1194
involuntary context switches= 1462
runsolver used 0.004999 s user time and 0.015997 s system time
The end
Begin job on node10 on Sat Jan 6 09:56:12 UTC 2007
IDJOB= 213014
IDBENCH= 4815
FILE ID= node10/213014-1168077371
PBS_JOBID= 3475811
Free space on /tmp= 66350 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/aim/aim-100-1-6-3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/213014-1168077371/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-213014-1168077371 -o ROOT/results/node10/solver-213014-1168077371 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/213014-1168077371/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 22b798b577373ba00a33870bf23fd512
RANDOM SEED= 529233617
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: 844096 kB
Buffers: 46056 kB
Cached: 255008 kB
SwapCached: 2420 kB
Active: 893968 kB
Inactive: 228416 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 844096 kB
SwapTotal: 4192956 kB
SwapFree: 4178332 kB
Dirty: 1868 kB
Writeback: 0 kB
Mapped: 840872 kB
Slab: 72592 kB
Committed_AS: 4363752 kB
PageTables: 3792 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= 66350 MiB
End job on node10 on Sat Jan 6 09:56:15 UTC 2007