0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.39
0.39 instance
0.39 name=/tmp/evaluation/195242-1168069785/unknown.xml
0.42
0.42 domains being loaded...
0.42
0.42 variables being loaded...
0.49 nbVariables=400 nbDomainTypes=5 minDomainSize=4 maxDomainSize=22
0.49 => wckTime=0.173 cpuTime=0.12 mem=7M861
0.49
0.49 predicates being loaded...
0.49
0.49 constraints being loaded...
1.08 nbConstraints=2245 nbConvertedConstraints=2245 nbConvertConstraintsChecks=192976 nbExtensionStructures=669
1.08 nbSharedExtensionStructures=1576 nbConflictsStructures=669 nbSharedConflictsStructures=1576
1.08 nbSharedBinaryRepresentations=22766 maxDegree=31 maxArity=2
1.08 => wckTime=0.763 cpuTime=0.57 mem=21M530
1.14
1.15 solver IterativeSystematicSolver being built...
1.32 => wckTime=0.998 cpuTime=0.7 mem=17M269
1.35
1.35 preprocessing
1.35 nbConstraintChecks=5900 nbPropagations=428 nbRevisions=329 nbUselessRevisions=273 nbRemovedValues=112
1.35 detectedInconsistency=no
1.35 => wckTime=0.028 cpuTime=0.02 mem=17M269
1.46
1.46 search
1.46 run=0 nbConstraintChecks=47659 nbPropagations=2207 nbRevisions=4504 nbUselessRevisions=1929 nbAssignments=407
1.46 nbFailedAssignments=7 nbBacktracks=0 nbVisitedNodes=415 nbRestartNogoods=0 mapSize=0 nbInferences=0
1.46 nbTooLargeKeys=0
1.46 => wckTime=0.135 cpuTime=0.12 mem=18M244
1.46
1.46 global
1.46 nbConstraintChecks=53559 nbPropagations=2635 nbRevisions=4833 nbUselessRevisions=2202 nbRestartNogoods=0
1.46 solvingWckTime=0.139 solvingCpuTime=0.12 expiredTime=no totalExploration=no nbFoundSolutions=1
1.46 globalCpuTime=0.86
1.46 => wckTime=1.138 cpuTime=0.82 mem=18M244
1.46
1.46 s SATISFIABLE
1.46 v 254 16 156 394 254 16 16 254 58 296 16 254 30 268 16 254 156 394 254 16 394 156 156 394 394 156 394 156 394 156 16 254 156 394 282 44 156 394 100 338 16 254 128 366 324 86 394 156 86 324 72 310 380 142 16 254 44 282 128 366 352 114 142 380 352 114 72 310 16 254 142 380 114 352 44 282 16 254 268 30 310 72 394 156 16 254 44 282 394 156 30 268 30 268 268 30 254 16 268 30 58 296 16 254 282 44 352 114 16 254 30 268 142 380 156 394 156 394 142 380 30 268 394 156 72 310 30 268 142 380 16 254 268 30 380 142 30 268 114 352 268 30 30 268 30 268 282 44 394 156 44 282 254 16 142 380 296 58 16 254 86 324 380 142 114 352 338 100 86 324 58 296 324 86 282 44 268 30 142 380 142 380 282 44 30 268 44 282 142 380 58 296 394 156 296 58 254 16 156 394 394 156 324 86 16 254 268 30 366 128 394 156 142 380 16 254 100 338 156 394 394 156 30 268 16 254 380 142 394 156 352 114 128 366 142 380 268 30 254 16 100 338 156 394 268 30 142 380 58 296 268 30 338 100 142 380 128 366 380 142 324 86 142 380 142 380 16 254 44 282 58 296 30 268 282 44 268 30 44 282 86 324 268 30 142 380 254 16 268 30 380 142 380 142 44 282 142 380 142 380 310 72 254 16 72 310 310 72 380 142 142 380 142 380 156 394 142 380 58 296 156 394 394 156 324 86 352 114 380 142 394 156 128 366 268 30 156 394 380 142 268 30 282 44 86 324 72 310 142 380 142 380 100 338 114 352 254 16 100 338 86 324 296 58 338 100 338 100 338 100 86 324 156 394 268 30 324 86 394 156 296 58 394 156 30 268 282 44 156 394 44 282 282 44 296 58 16 254 142 380
1.46 d NODES 407
1.46 d CHECKS 53559
1.46
1.46 totalWckTime=1.219 totalCpuTime=0.86
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node40/watcher-195242-1168069785 -o ROOT/results/node40/solver-195242-1168069785 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/195242-1168069785/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.92 1.95 1.88 4/73 26086
/proc/meminfo: memFree=1527688/2055920 swapFree=4192812/4192956
[pid=26085] ppid=26083 vsize=18540 CPUtime=0
/proc/26085/stat : 26085 (runsolver) R 26083 26085 25839 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 155377833 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 264519609639 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/26085/statm: 4635 279 244 17 0 2626 0
[startup+0.107556 s]
/proc/loadavg: 1.92 1.95 1.88 4/73 26086
/proc/meminfo: memFree=1527688/2055920 swapFree=4192812/4192956
[pid=26085] ppid=26083 vsize=914988 CPUtime=0.08
/proc/26085/stat : 26085 (java) R 26083 26085 25839 0 -1 0 2995 0 1 0 7 1 0 0 17 0 8 0 155377833 936947712 2741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072932851 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26085/statm: 228747 2741 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515609 s]
/proc/loadavg: 1.92 1.95 1.88 4/73 26086
/proc/meminfo: memFree=1527688/2055920 swapFree=4192812/4192956
[pid=26085] ppid=26083 vsize=915328 CPUtime=0.45
/proc/26085/stat : 26085 (java) R 26083 26085 25839 0 -1 0 6273 0 1 0 42 3 0 0 18 0 8 0 155377833 937295872 6012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26085/statm: 228832 6012 2147 14 0 215302 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 915328
[startup+1.33872 s]
/proc/loadavg: 1.93 1.95 1.88 3/80 26093
/proc/meminfo: memFree=1497232/2055920 swapFree=4192812/4192956
[pid=26085] ppid=26083 vsize=915724 CPUtime=1.28
/proc/26085/stat : 26085 (java) R 26083 26085 25839 0 -1 0 10959 0 1 0 113 15 0 0 17 0 8 0 155377833 937701376 10696 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153622720 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26085/statm: 228931 10696 2527 14 0 215401 0
[pid=26085/tid=26087] ppid=26083 vsize=915724 CPUtime=0.05
/proc/26085/task/26087/stat : 26087 (java) S 26083 26085 25839 0 -1 64 567 0 0 0 5 0 0 0 17 0 8 0 155377837 937701376 10696 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26085/tid=26088] ppid=26083 vsize=915724 CPUtime=0
/proc/26085/task/26088/stat : 26088 (java) S 26083 26085 25839 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155377837 937701376 10696 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26085/tid=26089] ppid=26083 vsize=915724 CPUtime=0
/proc/26085/task/26089/stat : 26089 (java) S 26083 26085 25839 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155377837 937701376 10696 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26085/tid=26090] ppid=26083 vsize=915724 CPUtime=0
/proc/26085/task/26090/stat : 26090 (java) S 26083 26085 25839 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155377841 937701376 10696 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26085/tid=26091] ppid=26083 vsize=915724 CPUtime=0.25
/proc/26085/task/26091/stat : 26091 (java) S 26083 26085 25839 0 -1 64 469 0 0 0 24 1 0 0 15 0 8 0 155377841 937701376 10696 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26085/tid=26092] ppid=26083 vsize=915724 CPUtime=0
/proc/26085/task/26092/stat : 26092 (java) S 26083 26085 25839 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155377841 937701376 10696 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26085/tid=26093] ppid=26083 vsize=915724 CPUtime=0
/proc/26085/task/26093/stat : 26093 (java) S 26083 26085 25839 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155377841 937701376 10696 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915724
Child status: 0
Real time (s): 1.49829
CPU time (s): 1.41978
CPU user time (s): 1.25081
CPU system time (s): 0.168974
CPU usage (%): 94.76
Max. virtual memory (cumulated for all children) (KiB): 915764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.25081
system time used= 0.168974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10990
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= 1232
involuntary context switches= 1183
runsolver used 0.004999 s user time and 0.008998 s system time
The end
Begin job on node40 on Sat Jan 6 07:49:45 UTC 2007
IDJOB= 195242
IDBENCH= 3257
FILE ID= node40/195242-1168069785
PBS_JOBID= 3475915
Free space on /tmp= 66543 MiB
BENCH NAME= HOME/pub/bench/CPAI06/rlfap/rlfapGraphsMod/graph2-f24.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/195242-1168069785/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node40/watcher-195242-1168069785 -o ROOT/results/node40/solver-195242-1168069785 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/195242-1168069785/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= b71c9e7325e6d9265cae682ae68d2699
RANDOM SEED= 13910081
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.239
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.239
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: 1528168 kB
Buffers: 18020 kB
Cached: 179656 kB
SwapCached: 0 kB
Active: 303536 kB
Inactive: 153024 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1528168 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2112 kB
Writeback: 0 kB
Mapped: 272516 kB
Slab: 56180 kB
Committed_AS: 3178360 kB
PageTables: 2288 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= 66543 MiB
End job on node40 on Sat Jan 6 07:49:47 UTC 2007