0.07/0.09
0.07/0.09 Abscon 112 (May, 2008)
0.19/0.24
0.19/0.24 configuration
0.19/0.24 name=esac.xml
0.19/0.27
0.19/0.27 instance
0.19/0.27 name=HOME/instance-2093210-1247401142.xml
0.32/0.31
0.32/0.31 domains being loaded...
0.32/0.32
0.32/0.32 variables being loaded...
0.32/0.39 nbVariables=225 nbDomainTypes=16 minDomainSize=1 maxDomainSize=15 nbTotalValues=1709
0.32/0.39 => wckTime=0.151 cpuTime=0.12 mem=8M867
0.32/0.39
0.32/0.39 relations being loaded...
0.32/0.39
0.32/0.39 constraints being loaded...
0.78/0.86 nbConstraints=2339 nbRelationTypes=16 nbGlobalConstraints=15 nbSingletonDomainVariables=119
0.78/0.86 nbExtensionStructures=31 nbSharedExtensionStructures=2293 nbConflictsStructures=31
0.78/0.86 nbSharedConflictsStructures=2293 nbSharedBinaryRepresentations=493 minDegree=14 maxDegree=29 minArity=2
0.78/0.86 avgArity=2.04 maxArity=9 nbGenerators=0 nbFusions=0 symmetryWckTime=0.153 symmetryCpuTime=0.08 nbCliques=15
0.78/0.86 => wckTime=0.62 cpuTime=0.39 mem=24M519
0.90/0.94
0.90/0.94 solver IterativeSystematicSolver being built...
1.00/1.02
1.00/1.02 INFO : Forward propagation technique limited
1.00/1.08 => wckTime=0.846 cpuTime=0.51 mem=22M120
1.19/1.22
1.19/1.22 preprocessing
1.19/1.22 nbConstraintChecks=55254 nbPropagations=2233 nbRevisions=18921 nbUselessRevisions=16225 nbSingletonTests=742
1.19/1.22 nbEffectiveSingletonTests=5 nbACRemovals=1221 nbFoundSingletons=0 nbRemovedValues=1239 detectedInconsistency=no
1.19/1.22 => wckTime=0.128 cpuTime=0.09 mem=23M53
1.30/1.40
1.30/1.40 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=24M20)
1.59/1.60
1.59/1.60 search
1.59/1.60 run=5 nbConstraintChecks=211292 minDepth=18 maxDepth=225 nbPropagations=37625 nbRevisions=422819
1.59/1.60 nbUselessRevisions=375536 nbAssignments=1937 nbFailedAssignments=180 nbBacktracks=1166 nbVisitedNodes=2282
1.59/1.60 nbRestartNogoods=24 nbFoundSolutions=1 nbSEliminables=0 nbREliminables=119 nbIEliminables=90.66
1.59/1.60 nbDEliminables=0 nbPEliminables=0
1.59/1.60 => wckTime=0.515 cpuTime=0.42 mem=24M953
1.59/1.60
1.59/1.60 global
1.59/1.60 nbConstraintChecks=266546 nbPropagations=39858 nbRevisions=441740 nbUselessRevisions=391761 nbRestartNogoods=24
1.59/1.60 solvingWckTime=0.516 solvingCpuTime=0.43 expiredTime=no totalExploration=no nbFoundSolutions=1
1.59/1.60 firstSolutionCpuTime=0.94 globalCpuTime=0.99
1.59/1.60 => wckTime=1.365 cpuTime=0.95 mem=24M953
1.59/1.60
1.59/1.60 s SATISFIABLE
1.59/1.60 v 1 14 9 0 5 13 7 10 2 12 8 4 11 3 6 5 10 6 11 3 2 9 12 1 7 4 14 13 0 8 14 5 0 10 12 7 2 3 9 4 6 13 8 11 1 2 11 10 13 7 5 1 0 3 6 14 8 9 4 12 7 9 11 14 10 4 13 8 12 0 3 1 6 5 2 9 12 2 8 1 3 6 5 10 13 11 0 14 7 4 11 4 1 5 9 10 14 13 0 8 2 12 7 6 3 13 3 12 4 0 14 5 6 8 11 1 7 2 9 10 12 7 13 9 2 1 0 4 11 14 10 6 3 8 5 3 2 7 6 13 8 11 1 5 10 12 9 4 14 0 4 6 14 1 8 9 3 7 13 5 0 2 12 10 11 0 8 3 2 4 12 10 9 6 1 7 11 5 13 14 6 1 8 7 11 0 12 14 4 9 5 3 10 2 13 10 0 4 3 14 6 8 11 7 2 13 5 1 12 9 8 13 5 12 6 11 4 2 14 3 9 10 0 1 7
1.59/1.60 d NODES 1937
1.59/1.60 d CHECKS 266546
1.59/1.61
1.59/1.61 totalWckTime=1.41 totalCpuTime=0.99
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2093210-1247401142/watcher-2093210-1247401142 -o /tmp/evaluation-result-2093210-1247401142/solver-2093210-1247401142 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2093210-1247401142.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 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
[startup+0 s]
/proc/loadavg: 0.00 0.00 0.04 5/80 31315
/proc/meminfo: memFree=1822392/2055920 swapFree=4192812/4192956
[pid=31315] ppid=31313 vsize=18576 CPUtime=0
/proc/31315/stat : 31315 (runsolver) R 31313 31315 31231 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 27180280 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 264907582759 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/31315/statm: 4644 284 249 26 0 2626 0
[startup+0.0883381 s]
/proc/loadavg: 0.00 0.00 0.04 5/80 31315
/proc/meminfo: memFree=1822392/2055920 swapFree=4192812/4192956
[pid=31315] ppid=31313 vsize=864144 CPUtime=0.07
/proc/31315/stat : 31315 (java) S 31313 31315 31231 0 -1 0 3144 0 1 0 5 2 0 0 18 0 9 0 27180280 884883456 2629 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31315/statm: 216036 2629 1245 9 0 210929 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 864144
[startup+0.101972 s]
/proc/loadavg: 0.00 0.00 0.04 5/80 31315
/proc/meminfo: memFree=1822392/2055920 swapFree=4192812/4192956
[pid=31315] ppid=31313 vsize=865980 CPUtime=0.09
/proc/31315/stat : 31315 (java) S 31313 31315 31231 0 -1 0 3717 0 1 0 7 2 0 0 18 0 9 0 27180280 886763520 3185 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31315/statm: 216495 3185 1695 9 0 210980 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865980
[startup+0.301928 s]
/proc/loadavg: 0.00 0.00 0.04 5/80 31315
/proc/meminfo: memFree=1822392/2055920 swapFree=4192812/4192956
[pid=31315] ppid=31313 vsize=867404 CPUtime=0.32
/proc/31315/stat : 31315 (java) S 31313 31315 31231 0 -1 0 6110 0 1 0 26 6 0 0 18 0 9 0 27180280 888221696 5476 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31315/statm: 216851 5477 1987 9 0 211309 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 867404
[startup+0.701987 s]
/proc/loadavg: 0.00 0.00 0.04 5/80 31315
/proc/meminfo: memFree=1822392/2055920 swapFree=4192812/4192956
[pid=31315] ppid=31313 vsize=868436 CPUtime=0.72
/proc/31315/stat : 31315 (java) S 31313 31315 31231 0 -1 0 9896 0 1 0 63 9 0 0 18 0 9 0 27180280 889278464 9249 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31315/statm: 217109 9249 2016 9 0 211567 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 868436
[startup+1.5021 s]
/proc/loadavg: 0.00 0.00 0.04 5/89 31332
/proc/meminfo: memFree=1752944/2055920 swapFree=4192812/4192956
[pid=31315] ppid=31313 vsize=869288 CPUtime=1.5
/proc/31315/stat : 31315 (java) S 31313 31315 31231 0 -1 0 19426 406 1 0 136 12 2 0 18 0 9 0 27180280 890150912 11810 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31315/statm: 217322 11810 2657 9 0 211758 0
[pid=31315/tid=31317] ppid=31313 vsize=869288 CPUtime=1.08
/proc/31315/task/31317/stat : 31317 (java) R 31313 31315 31231 0 -1 64 14481 406 1 0 98 8 2 0 24 0 9 0 27180282 890150912 11810 996147200 134512640 134550932 4294955968 18446744073709551615 4127084273 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31315/tid=31318] ppid=31313 vsize=869288 CPUtime=0.08
/proc/31315/task/31318/stat : 31318 (java) S 31313 31315 31231 0 -1 64 3177 406 0 0 6 0 2 0 17 0 9 0 27180283 890150912 11810 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31315/tid=31319] ppid=31313 vsize=869288 CPUtime=0.02
/proc/31315/task/31319/stat : 31319 (java) S 31313 31315 31231 0 -1 64 18 406 0 0 0 0 2 0 16 0 9 0 27180283 890150912 11810 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31315/tid=31320] ppid=31313 vsize=869288 CPUtime=0.02
/proc/31315/task/31320/stat : 31320 (java) S 31313 31315 31231 0 -1 64 8 406 0 0 0 0 2 0 16 0 9 0 27180283 890150912 11810 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31315/tid=31321] ppid=31313 vsize=869288 CPUtime=0.02
/proc/31315/task/31321/stat : 31321 (java) S 31313 31315 31231 0 -1 64 0 406 0 0 0 0 2 0 23 0 9 0 27180286 890150912 11810 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31315/tid=31322] ppid=31313 vsize=869288 CPUtime=0.34
/proc/31315/task/31322/stat : 31322 (java) S 31313 31315 31231 0 -1 64 914 406 0 0 30 2 2 0 16 0 9 0 27180286 890150912 11810 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31315/tid=31323] ppid=31313 vsize=869288 CPUtime=0.02
/proc/31315/task/31323/stat : 31323 (java) S 31313 31315 31231 0 -1 64 1 406 0 0 0 0 2 0 24 0 9 0 27180286 890150912 11810 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31315/tid=31324] ppid=31313 vsize=869288 CPUtime=0.02
/proc/31315/task/31324/stat : 31324 (java) S 31313 31315 31231 0 -1 64 12 406 0 0 0 0 2 0 15 0 9 0 27180286 890150912 11810 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 869288
Solver just ended. Dumping a history of the last processes samples
[startup+1.60212 s]
/proc/loadavg: 0.00 0.00 0.04 5/89 31332
/proc/meminfo: memFree=1752944/2055920 swapFree=4192812/4192956
[pid=31315] ppid=31313 vsize=869412 CPUtime=1.59
/proc/31315/stat : 31315 (java) S 31313 31315 31231 0 -1 0 19495 406 1 0 145 12 2 0 18 0 9 0 27180280 890277888 11826 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31315/statm: 217353 11826 2657 9 0 211789 0
[pid=31315/tid=31317] ppid=31313 vsize=869412 CPUtime=1.16
/proc/31315/task/31317/stat : 31317 (java) R 31313 31315 31231 0 -1 64 14540 406 1 0 106 8 2 0 25 0 9 0 27180282 890277888 11826 996147200 134512640 134550932 4294955968 18446744073709551615 4126095827 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31315/tid=31318] ppid=31313 vsize=869412 CPUtime=0.08
/proc/31315/task/31318/stat : 31318 (java) S 31313 31315 31231 0 -1 64 3177 406 0 0 6 0 2 0 17 0 9 0 27180283 890277888 11826 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31315/tid=31319] ppid=31313 vsize=869412 CPUtime=0.02
/proc/31315/task/31319/stat : 31319 (java) S 31313 31315 31231 0 -1 64 18 406 0 0 0 0 2 0 16 0 9 0 27180283 890277888 11826 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31315/tid=31320] ppid=31313 vsize=869412 CPUtime=0.02
/proc/31315/task/31320/stat : 31320 (java) S 31313 31315 31231 0 -1 64 8 406 0 0 0 0 2 0 16 0 9 0 27180283 890277888 11826 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31315/tid=31321] ppid=31313 vsize=869412 CPUtime=0.02
/proc/31315/task/31321/stat : 31321 (java) S 31313 31315 31231 0 -1 64 0 406 0 0 0 0 2 0 23 0 9 0 27180286 890277888 11826 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31315/tid=31322] ppid=31313 vsize=869412 CPUtime=0.35
/proc/31315/task/31322/stat : 31322 (java) S 31313 31315 31231 0 -1 64 924 406 0 0 31 2 2 0 16 0 9 0 27180286 890277888 11826 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31315/tid=31323] ppid=31313 vsize=869412 CPUtime=0.02
/proc/31315/task/31323/stat : 31323 (java) S 31313 31315 31231 0 -1 64 1 406 0 0 0 0 2 0 24 0 9 0 27180286 890277888 11826 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31315/tid=31324] ppid=31313 vsize=869412 CPUtime=0.02
/proc/31315/task/31324/stat : 31324 (java) S 31313 31315 31231 0 -1 64 12 406 0 0 0 0 2 0 15 0 9 0 27180286 890277888 11826 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 869412
Child status: 0
Real time (s): 1.62946
CPU time (s): 1.63175
CPU user time (s): 1.49277
CPU system time (s): 0.138978
CPU usage (%): 100.141
Max. virtual memory (cumulated for all children) (KiB): 869412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.49277
system time used= 0.138978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20001
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= 1491
involuntary context switches= 1699
runsolver used 0.003999 second user time and 0.012998 second system time
The end
Begin job on node30 at 2009-07-12 14:19:02
IDJOB=2093210
IDBENCH=53443
IDSOLVER=774
FILE ID=node30/2093210-1247401142
PBS_JOBID= 9510583
Free space on /tmp= 66380 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/QWH-15/normalized-qwh-15-106-2_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2093210-1247401142/watcher-2093210-1247401142 -o /tmp/evaluation-result-2093210-1247401142/solver-2093210-1247401142 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2093210-1247401142.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= e3b634eccb187062dda6e11401c04d1c
RANDOM SEED=1606770193
node30.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.277
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.277
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: 1823128 kB
Buffers: 33840 kB
Cached: 118072 kB
SwapCached: 0 kB
Active: 126540 kB
Inactive: 48392 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1823128 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4360 kB
Writeback: 0 kB
Mapped: 40184 kB
Slab: 43248 kB
Committed_AS: 1008308 kB
PageTables: 1748 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= 66380 MiB
End job on node30 at 2009-07-12 14:19:03