0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/205027-1168073378/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=30 nbDomainTypes=1 minDomainSize=15 maxDomainSize=15
0.41 => wckTime=0.104 cpuTime=0.09 mem=6M951
0.41
0.41 relations being loaded...
0.48
0.48 constraints being loaded...
0.59 nbConstraints=218 nbRelationTypes=218 nbExtensionStructures=218 nbSharedExtensionStructures=0
0.59 nbConflictsStructures=218 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2507 maxDegree=21
0.59 maxArity=2
0.59 => wckTime=0.276 cpuTime=0.19 mem=10M852
0.62
0.62 solver IterativeSystematicSolver being built...
0.79 => wckTime=0.479 cpuTime=0.33 mem=13M588
0.79
0.79 preprocessing
0.79 nbConstraintChecks=0 nbPropagations=30 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.79 detectedInconsistency=no
0.79 => wckTime=0.0030 cpuTime=0.0 mem=13M588
0.85
0.85 search
0.85 run=0 nbConstraintChecks=22611 nbPropagations=423 nbRevisions=3894 nbUselessRevisions=3034 nbAssignments=22
0.85 nbFailedAssignments=8 nbBacktracks=10 nbVisitedNodes=39 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.85 nbTooLargeKeys=0
0.85 => wckTime=0.054 cpuTime=0.03 mem=14M579
0.86
0.86 search
0.86 run=1 nbConstraintChecks=53808 nbPropagations=1409 nbRevisions=14159 nbUselessRevisions=11062 nbAssignments=58
0.86 nbFailedAssignments=21 nbBacktracks=29 nbVisitedNodes=98 nbRestartNogoods=3 mapSize=24 nbInferences=0
0.86 nbTooLargeKeys=0
0.86 => wckTime=0.071 cpuTime=0.04 mem=14M579
0.89
0.89 search
0.89 run=2 nbConstraintChecks=82333 nbPropagations=2918 nbRevisions=29882 nbUselessRevisions=23350 nbAssignments=95
0.89 nbFailedAssignments=33 nbBacktracks=52 nbVisitedNodes=157 nbRestartNogoods=7 mapSize=41 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.095 cpuTime=0.05 mem=14M579
0.90
0.90 search
0.90 run=3 nbConstraintChecks=123658 nbPropagations=5265 nbRevisions=54349 nbUselessRevisions=42511
0.90 nbAssignments=151 nbFailedAssignments=52 nbBacktracks=85 nbVisitedNodes=248 nbRestartNogoods=8 mapSize=64
0.90 nbInferences=0 nbTooLargeKeys=0
0.90 => wckTime=0.107 cpuTime=0.06 mem=14M579
0.92
0.92 search
0.92 run=4 nbConstraintChecks=207827 nbPropagations=9043 nbRevisions=94953 nbUselessRevisions=73997
0.92 nbAssignments=240 nbFailedAssignments=86 nbBacktracks=135 nbVisitedNodes=399 nbRestartNogoods=12 mapSize=100
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.129 cpuTime=0.08 mem=14M579
0.96
0.96 search
0.96 run=5 nbConstraintChecks=350094 nbPropagations=15321 nbRevisions=164542 nbUselessRevisions=128207
0.96 nbAssignments=389 nbFailedAssignments=154 nbBacktracks=212 nbVisitedNodes=664 nbRestartNogoods=18 mapSize=166
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.163 cpuTime=0.11 mem=14M579
1.00
1.00 search
1.00 run=6 nbConstraintChecks=546041 nbPropagations=25141 nbRevisions=274477 nbUselessRevisions=213931
1.00 nbAssignments=589 nbFailedAssignments=238 nbBacktracks=325 nbVisitedNodes=1023 nbRestartNogoods=24 mapSize=267
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.206 cpuTime=0.15 mem=14M579
1.06
1.06 search
1.06 run=7 nbConstraintChecks=874150 nbPropagations=40533 nbRevisions=452358 nbUselessRevisions=353204
1.06 nbAssignments=919 nbFailedAssignments=393 nbBacktracks=495 nbVisitedNodes=1622 nbRestartNogoods=31 mapSize=421
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.273 cpuTime=0.22 mem=14M579
1.17
1.17 search
1.17 run=8 nbConstraintChecks=1386915 nbPropagations=64224 nbRevisions=730273 nbUselessRevisions=570448
1.17 nbAssignments=1400 nbFailedAssignments=614 nbBacktracks=751 nbVisitedNodes=2493 nbRestartNogoods=35
1.17 mapSize=654 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.376 cpuTime=0.32 mem=14M579
1.31
1.31 search
1.31 run=9 nbConstraintChecks=2070302 nbPropagations=99761 nbRevisions=1146419 nbUselessRevisions=896187
1.31 nbAssignments=2076 nbFailedAssignments=899 nbBacktracks=1137 nbVisitedNodes=3703 nbRestartNogoods=40
1.31 mapSize=994 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.517 cpuTime=0.44 mem=14M579
1.32
1.32 INFO : Stopping hyperNogood (mapSize=1005, nbTooLargekeys=0, mem=14M579)
1.48
1.48 search
1.48 run=10 nbConstraintChecks=3102737 nbPropagations=152514 nbRevisions=1762076 nbUselessRevisions=1376443
1.48 nbAssignments=3090 nbFailedAssignments=1332 nbBacktracks=1713 nbVisitedNodes=5503 nbRestartNogoods=47
1.48 => wckTime=0.693 cpuTime=0.61 mem=14M579
1.74
1.74 search
1.74 run=11 nbConstraintChecks=4704666 nbPropagations=232202 nbRevisions=2692837 nbUselessRevisions=2101988
1.74 nbAssignments=4677 nbFailedAssignments=2050 nbBacktracks=2578 nbVisitedNodes=8358 nbRestartNogoods=57
1.74 => wckTime=0.947 cpuTime=0.86 mem=14M579
2.08
2.08 search
2.08 run=12 nbConstraintChecks=6910754 nbPropagations=348960 nbRevisions=4056161 nbUselessRevisions=3164294
2.08 nbAssignments=6935 nbFailedAssignments=3008 nbBacktracks=3877 nbVisitedNodes=12320 nbRestartNogoods=64
2.08 => wckTime=1.29 cpuTime=1.2 mem=14M579
2.23
2.23 search
2.23 run=13 nbConstraintChecks=7853456 nbPropagations=481360 nbRevisions=5600867 nbUselessRevisions=4366977
2.23 nbAssignments=7842 nbFailedAssignments=3390 nbBacktracks=4403 nbVisitedNodes=13928 nbRestartNogoods=69
2.23 => wckTime=1.436 cpuTime=1.35 mem=14M579
2.23
2.23 global
2.23 nbConstraintChecks=7853456 nbPropagations=481390 nbRevisions=5600867 nbUselessRevisions=4366977
2.23 nbRestartNogoods=69 solvingWckTime=1.437 solvingCpuTime=1.35 expiredTime=no totalExploration=yes
2.23 nbFoundSolutions=0 globalCpuTime=1.74
2.23 => wckTime=1.919 cpuTime=1.68 mem=14M579
2.23
2.23 s UNSATISFIABLE
2.23 d NODES 7842
2.23 d CHECKS 7853456
2.23
2.23 totalWckTime=2.001 totalCpuTime=1.74
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node6/watcher-205027-1168073378 -o ROOT/results/node6/solver-205027-1168073378 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/205027-1168073378/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.42 1.80 1.87 4/93 8432
/proc/meminfo: memFree=1246000/2055924 swapFree=4165672/4192956
[pid=8431] ppid=8429 vsize=1784 CPUtime=0
/proc/8431/stat : 8431 (java) R 8429 8431 8252 0 -1 0 368 0 0 0 0 0 0 0 18 0 1 0 155733351 1826816 158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/8431/statm: 447 158 123 14 0 92 0
[startup+0.107457 s]
/proc/loadavg: 1.42 1.80 1.87 4/93 8432
/proc/meminfo: memFree=1246000/2055924 swapFree=4165672/4192956
[pid=8431] ppid=8429 vsize=914988 CPUtime=0.09
/proc/8431/stat : 8431 (java) R 8429 8431 8252 0 -1 0 3071 0 1 0 8 1 0 0 24 0 8 0 155733351 936947712 2817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8431/statm: 228747 2817 1453 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515505 s]
/proc/loadavg: 1.42 1.80 1.87 4/93 8432
/proc/meminfo: memFree=1246000/2055924 swapFree=4165672/4192956
[pid=8431] ppid=8429 vsize=915328 CPUtime=0.5
/proc/8431/stat : 8431 (java) R 8429 8431 8252 0 -1 0 6515 0 1 0 46 4 0 0 25 0 8 0 155733351 937295872 6254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8431/statm: 228832 6254 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.3366 s]
/proc/loadavg: 1.42 1.80 1.87 3/100 8439
/proc/meminfo: memFree=1222904/2055924 swapFree=4165672/4192956
[pid=8431] ppid=8429 vsize=915452 CPUtime=1.32
/proc/8431/stat : 8431 (java) R 8429 8431 8252 0 -1 0 8534 0 1 0 126 6 0 0 25 0 8 0 155733351 937422848 8272 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073790960 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8431/statm: 228863 8272 2513 14 0 215333 0
[pid=8431/tid=8433] ppid=8429 vsize=915452 CPUtime=0.03
/proc/8431/task/8433/stat : 8433 (java) S 8429 8431 8252 0 -1 64 205 0 0 0 3 0 0 0 16 0 8 0 155733354 937422848 8272 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8431/tid=8434] ppid=8429 vsize=915452 CPUtime=0
/proc/8431/task/8434/stat : 8434 (java) S 8429 8431 8252 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155733355 937422848 8272 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8431/tid=8435] ppid=8429 vsize=915452 CPUtime=0
/proc/8431/task/8435/stat : 8435 (java) S 8429 8431 8252 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155733355 937422848 8272 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8431/tid=8436] ppid=8429 vsize=915452 CPUtime=0
/proc/8431/task/8436/stat : 8436 (java) S 8429 8431 8252 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155733358 937422848 8272 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8431/tid=8437] ppid=8429 vsize=915452 CPUtime=0.24
/proc/8431/task/8437/stat : 8437 (java) S 8429 8431 8252 0 -1 64 383 0 0 0 23 1 0 0 15 0 8 0 155733358 937422848 8272 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8431/tid=8438] ppid=8429 vsize=915452 CPUtime=0
/proc/8431/task/8438/stat : 8438 (java) S 8429 8431 8252 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155733358 937422848 8272 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8431/tid=8439] ppid=8429 vsize=915452 CPUtime=0
/proc/8431/task/8439/stat : 8439 (java) S 8429 8431 8252 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155733358 937422848 8272 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) 915452
Child status: 0
Real time (s): 2.26919
CPU time (s): 2.23466
CPU user time (s): 2.16067
CPU system time (s): 0.073988
CPU usage (%): 98.4783
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.16067
system time used= 0.073988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8638
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= 1118
involuntary context switches= 1415
runsolver used 0.008998 s user time and 0.010998 s system time
The end
Begin job on node6 on Sat Jan 6 08:49:39 UTC 2007
IDJOB= 205027
IDBENCH= 4096
FILE ID= node6/205027-1168073378
PBS_JOBID= 3475766
Free space on /tmp= 66528 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-30-15/rand-2-30-15-306-230-27_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/205027-1168073378/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-205027-1168073378 -o ROOT/results/node6/solver-205027-1168073378 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/205027-1168073378/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 6fe92f06cdb8f08a4e9da259241b4559
RANDOM SEED= 317920577
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.240
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.240
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: 2055924 kB
MemFree: 1246480 kB
Buffers: 82632 kB
Cached: 559924 kB
SwapCached: 3036 kB
Active: 384140 kB
Inactive: 328944 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1246480 kB
SwapTotal: 4192956 kB
SwapFree: 4165672 kB
Dirty: 1888 kB
Writeback: 0 kB
Mapped: 89676 kB
Slab: 80964 kB
Committed_AS: 5008376 kB
PageTables: 2480 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= 66528 MiB
End job on node6 on Sat Jan 6 08:49:45 UTC 2007