0.05/0.09
0.05/0.09 Abscon 112 (May, 2008)
0.18/0.25
0.18/0.25 configuration
0.18/0.25 name=esac.xml
0.18/0.28
0.18/0.28 instance
0.18/0.28 name=HOME/instance-2098450-1247415623.xml
0.28/0.32
0.28/0.32 domains being loaded...
0.28/0.32
0.28/0.32 variables being loaded...
0.28/0.35 nbVariables=32 nbDomainTypes=1 minDomainSize=32 maxDomainSize=32 nbTotalValues=1024
0.28/0.35 => wckTime=0.104 cpuTime=0.09 mem=7M892
0.28/0.35
0.28/0.35 predicates being loaded...
0.38/0.41
0.38/0.41 constraints being loaded...
0.68/0.77 nbConstraints=497 nbGlobalConstraints=1 nbMergedConstraints=24 nbConvertedConstraints=496
0.68/0.77 nbConvertConstraintsChecks=9216 nbExtensionStructures=9 nbSharedExtensionStructures=487 nbConflictsStructures=9
0.68/0.77 nbSharedConflictsStructures=487 nbSharedBinaryRepresentations=511 minDegree=32 maxDegree=32 minArity=2
0.68/0.77 avgArity=2.06 maxArity=32 nbGenerators=0 nbFusions=0 symmetryWckTime=0.081 symmetryCpuTime=0.05 nbCliques=1
0.68/0.77 => wckTime=0.516 cpuTime=0.37 mem=16M727
0.76/0.82
0.76/0.82 solver IterativeSystematicSolver being built...
0.76/0.88
0.76/0.88 INFO : Forward propagation technique limited
0.86/0.94 => wckTime=0.695 cpuTime=0.47 mem=19M829
0.96/1.01
0.96/1.01 preprocessing
0.96/1.01 nbConstraintChecks=34248 nbPropagations=574 nbRevisions=3717 nbUselessRevisions=2817 nbSingletonTests=43
0.96/1.01 nbEffectiveSingletonTests=0 nbACRemovals=528 nbFoundSingletons=0 nbRemovedValues=528 detectedInconsistency=no
0.96/1.01 => wckTime=0.061 cpuTime=0.04 mem=20M821
1.06/1.11
1.06/1.11 search
1.06/1.11 run=2 nbConstraintChecks=105048 minDepth=0 maxDepth=12 nbPropagations=6892 nbRevisions=42638
1.06/1.11 nbUselessRevisions=32441 nbAssignments=172 nbFailedAssignments=36 nbBacktracks=117 nbVisitedNodes=229
1.06/1.11 nbRestartNogoods=7 mapSize=30 nbInferences=0 nbTooLargeKeys=0 nbSEliminables=0 nbREliminables=0
1.06/1.11 nbIEliminables=30.12 nbDEliminables=0 nbPEliminables=0
1.06/1.11 => wckTime=0.165 cpuTime=0.11 mem=21M812
1.06/1.11
1.06/1.11 global
1.06/1.11 nbConstraintChecks=139296 nbPropagations=7466 nbRevisions=46355 nbUselessRevisions=35258 nbRestartNogoods=7
1.06/1.11 solvingWckTime=0.167 solvingCpuTime=0.11 expiredTime=no totalExploration=yes nbFoundSolutions=0
1.06/1.11 globalCpuTime=0.62
1.06/1.11 => wckTime=0.864 cpuTime=0.58 mem=21M812
1.06/1.11
1.06/1.11 s UNSATISFIABLE
1.06/1.11 d NODES 172
1.06/1.11 d CHECKS 139296
1.06/1.12
1.06/1.12 totalWckTime=0.929 totalCpuTime=0.63
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2098450-1247415623/watcher-2098450-1247415623 -o /tmp/evaluation-result-2098450-1247415623/solver-2098450-1247415623 -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-2098450-1247415623.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: 1.85 1.97 1.99 4/80 30672
/proc/meminfo: memFree=1739368/2055920 swapFree=4192812/4192956
[pid=30672] ppid=30670 vsize=18576 CPUtime=0
/proc/30672/stat : 30672 (runsolver) R 30670 30672 30596 0 -1 4194368 16 0 0 0 0 0 0 0 22 0 1 0 28626736 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 231882681639 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/30672/statm: 4644 284 249 26 0 2626 0
[startup+0.0684249 s]
/proc/loadavg: 1.85 1.97 1.99 4/80 30672
/proc/meminfo: memFree=1739368/2055920 swapFree=4192812/4192956
[pid=30672] ppid=30670 vsize=864144 CPUtime=0.05
/proc/30672/stat : 30672 (java) S 30670 30672 30596 0 -1 0 2921 0 1 0 4 1 0 0 23 0 9 0 28626736 884883456 2431 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30672/statm: 216036 2431 1152 9 0 210929 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 864144
[startup+0.101431 s]
/proc/loadavg: 1.85 1.97 1.99 4/80 30672
/proc/meminfo: memFree=1739368/2055920 swapFree=4192812/4192956
[pid=30672] ppid=30670 vsize=865980 CPUtime=0.08
/proc/30672/stat : 30672 (java) S 30670 30672 30596 0 -1 0 3730 0 1 0 6 2 0 0 23 0 9 0 28626736 886763520 3198 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30672/statm: 216495 3198 1700 9 0 210980 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865980
[startup+0.301456 s]
/proc/loadavg: 1.85 1.97 1.99 4/80 30672
/proc/meminfo: memFree=1739368/2055920 swapFree=4192812/4192956
[pid=30672] ppid=30670 vsize=866380 CPUtime=0.28
/proc/30672/stat : 30672 (java) S 30670 30672 30596 0 -1 0 5952 0 1 0 24 4 0 0 23 0 9 0 28626736 887173120 5318 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30672/statm: 216595 5318 1983 9 0 211053 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866380
[startup+0.701501 s]
/proc/loadavg: 1.85 1.97 1.99 4/80 30672
/proc/meminfo: memFree=1739368/2055920 swapFree=4192812/4192956
[pid=30672] ppid=30670 vsize=867176 CPUtime=0.68
/proc/30672/stat : 30672 (java) S 30670 30672 30596 0 -1 0 8458 0 1 0 60 8 0 0 23 0 9 0 28626736 887988224 7810 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30672/statm: 216794 7810 2038 9 0 211230 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867176
Solver just ended. Dumping a history of the last processes samples
[startup+1.1069 s]
/proc/loadavg: 1.85 1.97 1.99 3/89 30685
/proc/meminfo: memFree=1708192/2055920 swapFree=4192812/4192956
[pid=30672] ppid=30670 vsize=867968 CPUtime=1.06
/proc/30672/stat : 30672 (java) S 30670 30672 30596 0 -1 0 16379 300 1 0 96 10 0 0 23 0 9 0 28626736 888799232 10642 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30672/statm: 216992 10642 2657 9 0 211428 0
[pid=30672/tid=30674] ppid=30670 vsize=867968 CPUtime=0.76
/proc/30672/task/30674/stat : 30674 (java) R 30670 30672 30596 0 -1 64 12218 300 1 0 68 8 0 0 25 0 9 0 28626738 888799232 10642 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30672/tid=30675] ppid=30670 vsize=867968 CPUtime=0.04
/proc/30672/task/30675/stat : 30675 (java) S 30670 30672 30596 0 -1 64 2571 300 0 0 4 0 0 0 16 0 9 0 28626739 888799232 10642 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30672/tid=30676] ppid=30670 vsize=867968 CPUtime=0
/proc/30672/task/30676/stat : 30676 (java) S 30670 30672 30596 0 -1 64 17 300 0 0 0 0 0 0 16 0 9 0 28626739 888799232 10642 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30672/tid=30677] ppid=30670 vsize=867968 CPUtime=0
/proc/30672/task/30677/stat : 30677 (java) S 30670 30672 30596 0 -1 64 11 300 0 0 0 0 0 0 15 0 9 0 28626739 888799232 10642 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30672/tid=30678] ppid=30670 vsize=867968 CPUtime=0
/proc/30672/task/30678/stat : 30678 (java) S 30670 30672 30596 0 -1 64 1 300 0 0 0 0 0 0 25 0 9 0 28626741 888799232 10642 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30672/tid=30679] ppid=30670 vsize=867968 CPUtime=0.23
/proc/30672/task/30679/stat : 30679 (java) S 30670 30672 30596 0 -1 64 744 300 0 0 23 0 0 0 15 0 9 0 28626741 888799232 10642 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30672/tid=30680] ppid=30670 vsize=867968 CPUtime=0
/proc/30672/task/30680/stat : 30680 (java) S 30670 30672 30596 0 -1 64 1 300 0 0 0 0 0 0 25 0 9 0 28626741 888799232 10642 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30672/tid=30681] ppid=30670 vsize=867968 CPUtime=0
/proc/30672/task/30681/stat : 30681 (java) S 30670 30672 30596 0 -1 64 10 300 0 0 0 0 0 0 15 0 9 0 28626741 888799232 10642 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 867968
Child status: 0
Real time (s): 1.15204
CPU time (s): 1.09983
CPU user time (s): 0.977851
CPU system time (s): 0.121981
CPU usage (%): 95.4683
Max. virtual memory (cumulated for all children) (KiB): 867968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.977851
system time used= 0.121981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16800
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= 1267
involuntary context switches= 1338
runsolver used 0.008998 second user time and 0.008998 second system time
The end
Begin job on node75 at 2009-07-12 18:20:23
IDJOB=2098450
IDBENCH=58657
IDSOLVER=774
FILE ID=node75/2098450-1247415623
PBS_JOBID= 9510653
Free space on /tmp= 66316 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/langford4/normalized-langford-4-8.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-2098450-1247415623/watcher-2098450-1247415623 -o /tmp/evaluation-result-2098450-1247415623/solver-2098450-1247415623 -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-2098450-1247415623.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= e02ab284be8165bbf8650c2ca610d92a
RANDOM SEED=145713826
node75.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.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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1739784 kB
Buffers: 40584 kB
Cached: 126220 kB
SwapCached: 0 kB
Active: 188824 kB
Inactive: 73756 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1739784 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2216 kB
Writeback: 0 kB
Mapped: 116196 kB
Slab: 38640 kB
Committed_AS: 1036432 kB
PageTables: 1976 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= 66316 MiB
End job on node75 at 2009-07-12 18:20:24