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/195677-1168069857/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.44 nbVariables=200 nbDomainTypes=6 minDomainSize=6 maxDomainSize=44
0.44 => wckTime=0.127 cpuTime=0.09 mem=6M886
0.44
0.44 predicates being loaded...
0.44
0.44 constraints being loaded...
1.08 nbConstraints=1134 nbConvertedConstraints=1134 nbConvertConstraintsChecks=981364 nbExtensionStructures=657
1.08 nbSharedExtensionStructures=477 nbConflictsStructures=657 nbSharedConflictsStructures=477
1.08 nbSharedBinaryRepresentations=49119 maxDegree=18 maxArity=2
1.08 => wckTime=0.767 cpuTime=0.61 mem=17M646
1.14
1.14 solver IterativeSystematicSolver being built...
1.30 => wckTime=0.988 cpuTime=0.74 mem=15M653
1.32
1.32 preprocessing
1.32 nbConstraintChecks=4552 nbPropagations=210 nbRevisions=148 nbUselessRevisions=88 nbRemovedValues=340
1.32 detectedInconsistency=no
1.32 => wckTime=0.022 cpuTime=0.01 mem=15M653
1.39
1.39 search
1.39 run=0 nbConstraintChecks=93136 nbPropagations=1351 nbRevisions=6290 nbUselessRevisions=4806 nbAssignments=201
1.39 nbFailedAssignments=1 nbBacktracks=0 nbVisitedNodes=203 nbRestartNogoods=0 mapSize=0 nbInferences=0
1.39 nbTooLargeKeys=0
1.39 => wckTime=0.092 cpuTime=0.06 mem=16M645
1.39
1.39 global
1.40 nbConstraintChecks=97688 nbPropagations=1561 nbRevisions=6438 nbUselessRevisions=4894 nbRestartNogoods=0
1.40 solvingWckTime=0.094 solvingCpuTime=0.06 expiredTime=no totalExploration=no nbFoundSolutions=1
1.40 globalCpuTime=0.86
1.40 => wckTime=1.084 cpuTime=0.8 mem=16M645
1.40
1.40 s SATISFIABLE
1.40 v 72 310 666 428 114 352 44 282 142 380 666 428 58 296 16 254 114 352 30 268 792 554 86 324 750 512 708 470 694 456 72 310 764 526 142 380 736 498 16 254 792 554 86 324 750 512 86 324 30 268 142 380 142 380 778 540 86 324 708 470 86 324 792 554 792 554 708 470 778 540 666 428 666 428 750 512 764 526 792 554 30 268 30 268 792 554 792 554 750 512 16 254 30 268 142 380 778 540 778 540 16 254 666 428 722 484 792 554 44 282 792 554 16 254 764 526 666 428 44 282 694 456 16 254 142 380 736 498 114 352 142 380 736 498 30 268 114 352 736 498 708 470 750 512 30 268 736 498 128 366 778 540 16 254 86 324 16 254 792 554 72 310 16 254 86 324 792 554 156 394 128 366 778 540 722 484 764 526 736 498 142 380 86 324 142 380 58 296 778 540 16 254 750 512 778 540 30 268 778 540
1.40 d NODES 201
1.40 d CHECKS 97688
1.40
1.40 totalWckTime=1.165 totalCpuTime=0.87
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node38/watcher-195677-1168069857 -o ROOT/results/node38/solver-195677-1168069857 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/195677-1168069857/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.74 0.94 1.16 4/80 14368
/proc/meminfo: memFree=1679176/2055920 swapFree=4192812/4192956
[pid=14367] ppid=14365 vsize=168 CPUtime=0
/proc/14367/stat : 14367 (java) R 14365 14367 14251 0 -1 0 39 0 0 0 0 0 0 0 18 0 1 0 155385396 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 8606500 0 0 4096 0 0 0 0 17 0 0 0
/proc/14367/statm: 42 23 18 14 0 2 0
[startup+0.10705 s]
/proc/loadavg: 0.74 0.94 1.16 4/80 14368
/proc/meminfo: memFree=1679176/2055920 swapFree=4192812/4192956
[pid=14367] ppid=14365 vsize=914988 CPUtime=0.09
/proc/14367/stat : 14367 (java) R 14365 14367 14251 0 -1 0 3031 0 1 0 8 1 0 0 20 0 8 0 155385396 936947712 2777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155476988 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14367/statm: 228747 2777 1439 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.51513 s]
/proc/loadavg: 0.74 0.94 1.16 4/80 14368
/proc/meminfo: memFree=1679176/2055920 swapFree=4192812/4192956
[pid=14367] ppid=14365 vsize=915328 CPUtime=0.49
/proc/14367/stat : 14367 (java) R 14365 14367 14251 0 -1 0 6392 0 1 0 45 4 0 0 18 0 8 0 155385396 937295872 6131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072944835 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14367/statm: 228832 6131 2147 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33629 s]
/proc/loadavg: 0.74 0.94 1.16 4/87 14375
/proc/meminfo: memFree=1629584/2055920 swapFree=4192812/4192956
[pid=14367] ppid=14365 vsize=915532 CPUtime=1.31
/proc/14367/stat : 14367 (java) R 14365 14367 14251 0 -1 0 9690 0 1 0 119 12 0 0 16 0 8 0 155385396 937504768 9427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073982093 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14367/statm: 228883 9427 2528 14 0 215353 0
[pid=14367/tid=14369] ppid=14365 vsize=915532 CPUtime=0.04
/proc/14367/task/14369/stat : 14369 (java) S 14365 14367 14251 0 -1 64 476 0 0 0 4 0 0 0 16 0 8 0 155385400 937504768 9427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14367/tid=14370] ppid=14365 vsize=915532 CPUtime=0
/proc/14367/task/14370/stat : 14370 (java) S 14365 14367 14251 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155385400 937504768 9427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14367/tid=14371] ppid=14365 vsize=915532 CPUtime=0
/proc/14367/task/14371/stat : 14371 (java) S 14365 14367 14251 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155385400 937504768 9427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14367/tid=14372] ppid=14365 vsize=915532 CPUtime=0
/proc/14367/task/14372/stat : 14372 (java) S 14365 14367 14251 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155385404 937504768 9427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14367/tid=14373] ppid=14365 vsize=915532 CPUtime=0.23
/proc/14367/task/14373/stat : 14373 (java) S 14365 14367 14251 0 -1 64 408 0 0 0 22 1 0 0 16 0 8 0 155385404 937504768 9427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14367/tid=14374] ppid=14365 vsize=915532 CPUtime=0
/proc/14367/task/14374/stat : 14374 (java) S 14365 14367 14251 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155385404 937504768 9427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14367/tid=14375] ppid=14365 vsize=915532 CPUtime=0
/proc/14367/task/14375/stat : 14375 (java) S 14365 14367 14251 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155385404 937504768 9427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915532
Child status: 0
Real time (s): 1.44259
CPU time (s): 1.38879
CPU user time (s): 1.26081
CPU system time (s): 0.12798
CPU usage (%): 96.2704
Max. virtual memory (cumulated for all children) (KiB): 915532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.26081
system time used= 0.12798
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9709
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= 1092
involuntary context switches= 1008
runsolver used 0.003999 s user time and 0.011998 s system time
The end
Begin job on node38 on Sat Jan 6 07:50:57 UTC 2007
IDJOB= 195677
IDBENCH= 3294
FILE ID= node38/195677-1168069857
PBS_JOBID= 3475937
Free space on /tmp= 66514 MiB
BENCH NAME= HOME/pub/bench/CPAI06/rlfap/rlfapGraphs/graph3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/195677-1168069857/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-195677-1168069857 -o ROOT/results/node38/solver-195677-1168069857 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/195677-1168069857/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f0c949ffa0da092754c2bc905a431545
RANDOM SEED= 172992381
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.267
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.267
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: 1680616 kB
Buffers: 23992 kB
Cached: 255352 kB
SwapCached: 0 kB
Active: 59120 kB
Inactive: 244908 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1680616 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3920 kB
Writeback: 0 kB
Mapped: 40548 kB
Slab: 56600 kB
Committed_AS: 3892636 kB
PageTables: 1872 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= 66514 MiB
End job on node38 on Sat Jan 6 07:50:59 UTC 2007