0.03/0.07
0.03/0.07 Abscon 112 (May, 2008)
0.10/0.19
0.10/0.19 configuration
0.10/0.19 name=mac.xml
0.23/0.22
0.23/0.22 instance
0.23/0.22 name=HOME/instance-1060378-1215126364.xml
0.23/0.25
0.23/0.25 domains being loaded...
0.23/0.26
0.23/0.26 variables being loaded...
0.23/0.28 nbVariables=23 nbDomainTypes=2 minDomainSize=11 maxDomainSize=12 nbTotalValues=265
0.23/0.28 => wckTime=0.087 cpuTime=0.08 mem=7M919
0.23/0.28
0.23/0.28 predicates being loaded...
0.34/0.33
0.34/0.33 constraints being loaded...
0.47/0.45 nbConstraints=135 nbGlobalConstraints=3 nbConvertedConstraints=121 nbConvertConstraintsChecks=1993
0.47/0.45 nbExtensionStructures=3 nbSharedExtensionStructures=118 nbConflictsStructures=4 nbSharedConflictsStructures=128
0.47/0.45 nbSharedBinaryRepresentations=23 nbEvaluationManagers=1 nbSharedEvaluationManagers=10 minDegree=12 maxDegree=15
0.47/0.45 minArity=2 avgArity=2.37 maxArity=22 nbGenerators=1 nbFusions=1 symmetryWckTime=0.04 symmetryCpuTime=0.03
0.47/0.45 nbCliques=2
0.47/0.45 => wckTime=0.258 cpuTime=0.24 mem=14M819
0.58/0.50
0.58/0.50 solver IterativeSystematicSolver being built...
0.58/0.55
0.58/0.55 INFO : Forward propagation technique limited
0.69/0.60 => wckTime=0.41 cpuTime=0.35 mem=19M653
0.69/0.61
0.69/0.61 preprocessing
0.69/0.61 nbConstraintChecks=291 nbValidityChecks=11 nbPropagations=24 nbRevisions=6 nbUselessRevisions=4
0.69/0.61 nbRemovedValues=2 nbRemovedTuples=66 detectedInconsistency=no
0.69/0.61 => wckTime=0.0040 cpuTime=0.01 mem=20M644
0.84/0.73
0.84/0.73 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=21M636)
1.06/0.95
1.06/0.96 search
1.06/0.96 run=8 nbConstraintChecks=503483 nbValidityChecks=126044 minDepth=6 maxDepth=23 nbPropagations=51268
1.06/0.96 nbRevisions=184374 nbUselessRevisions=105612 nbAssignments=1618 nbFailedAssignments=601 nbBacktracks=932
1.06/0.96 nbVisitedNodes=2636 nbRestartNogoods=49 nbFoundSolutions=1 nbSEliminables=0 nbREliminables=0.74
1.06/0.96 nbIEliminables=15.42 nbDEliminables=0 nbPEliminables=0
1.06/0.96 => wckTime=0.348 cpuTime=0.35 mem=21M636
1.06/0.96
1.06/0.96 global
1.06/0.96 nbConstraintChecks=503774 nbValidityChecks=126055 nbPropagations=51292 nbRevisions=184380
1.06/0.96 nbUselessRevisions=105616 nbRestartNogoods=49 solvingWckTime=0.35 solvingCpuTime=0.35 expiredTime=no
1.06/0.96 totalExploration=no nbFoundSolutions=1 firstSolutionCpuTime=0.7 globalCpuTime=0.74
1.06/0.96 => wckTime=0.762 cpuTime=0.7 mem=21M636
1.06/0.96
1.06/0.96 s SATISFIABLE
1.06/0.96 v 0 11 1 10 2 9 3 8 4 7 5 6 10 9 8 7 6 5 4 3 2 1 0
1.06/0.96 d NODES 1618
1.06/0.96 d CHECKS 503774
1.06/0.96
1.06/0.96 totalWckTime=0.804 totalCpuTime=0.74
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1060378-1215126364/watcher-1060378-1215126364 -o /tmp/evaluation-result-1060378-1215126364/solver-1060378-1215126364 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1060378-1215126364.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): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.09 1.07 1.09 3/70 13547
/proc/meminfo: memFree=1629504/2055920 swapFree=4180424/4192956
[pid=13547] ppid=13545 vsize=152 CPUtime=0
/proc/13547/stat : 13547 (java) R 13545 13547 12973 0 -1 0 205 0 0 0 0 0 0 0 18 0 1 0 1991608643 155648 26 996147200 134512640 134550740 4294955984 18446744073709551615 4309796 0 0 4096 0 0 0 0 17 0 0 0
/proc/13547/statm: 38 26 19 9 0 4 0
[startup+0.0399559 s]
/proc/loadavg: 1.09 1.07 1.09 3/70 13547
/proc/meminfo: memFree=1629504/2055920 swapFree=4180424/4192956
[pid=13547] ppid=13545 vsize=861876 CPUtime=0.03
/proc/13547/stat : 13547 (java) S 13545 13547 12973 0 -1 0 2358 0 1 0 2 1 0 0 18 0 5 0 1991608643 882561024 1946 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0
/proc/13547/statm: 215469 1947 897 9 0 210448 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 861876
[startup+0.101967 s]
/proc/loadavg: 1.09 1.07 1.09 3/70 13547
/proc/meminfo: memFree=1629504/2055920 swapFree=4180424/4192956
[pid=13547] ppid=13545 vsize=866768 CPUtime=0.1
/proc/13547/stat : 13547 (java) S 13545 13547 12973 0 -1 0 4017 0 1 0 8 2 0 0 18 0 9 0 1991608643 887570432 3457 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13547/statm: 216692 3458 1787 9 0 211247 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 866768
[startup+0.301998 s]
/proc/loadavg: 1.09 1.07 1.09 3/70 13547
/proc/meminfo: memFree=1629504/2055920 swapFree=4180424/4192956
[pid=13547] ppid=13545 vsize=867236 CPUtime=0.34
/proc/13547/stat : 13547 (java) S 13545 13547 12973 0 -1 0 6820 0 1 0 30 4 0 0 18 0 9 0 1991608643 888049664 6181 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13547/statm: 216809 6181 1996 9 0 211315 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 867236
[startup+0.701058 s]
/proc/loadavg: 1.09 1.07 1.09 3/70 13547
/proc/meminfo: memFree=1629504/2055920 swapFree=4180424/4192956
[pid=13547] ppid=13545 vsize=867716 CPUtime=0.84
/proc/13547/stat : 13547 (java) S 13545 13547 12973 0 -1 0 15396 282 1 0 76 8 0 0 18 0 9 0 1991608643 888541184 10338 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13547/statm: 216929 10338 2630 9 0 211435 0
Current children cumulated CPU time (s) 0.84
Current children cumulated vsize (KiB) 867716
Solver just ended. Dumping a history of the last processes samples
[startup+0.901085 s]
/proc/loadavg: 1.09 1.07 1.09 3/70 13547
/proc/meminfo: memFree=1629504/2055920 swapFree=4180424/4192956
[pid=13547] ppid=13545 vsize=867716 CPUtime=1.06
/proc/13547/stat : 13547 (java) S 13545 13547 12973 0 -1 0 15417 282 1 0 98 8 0 0 18 0 9 0 1991608643 888541184 10359 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13547/statm: 216929 10359 2630 9 0 211435 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 867716
Child status: 0
Real time (s): 0.989552
CPU time (s): 1.15882
CPU user time (s): 1.06284
CPU system time (s): 0.095985
CPU usage (%): 117.106
Max. virtual memory (cumulated for all children) (KiB): 867716
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.06284
system time used= 0.095985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15834
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= 310
involuntary context switches= 181
runsolver used 0.003999 second user time and 0.008998 second system time
The end
Begin job on node52 at 2008-07-04 01:06:04
IDJOB=1060378
IDBENCH=54446
IDSOLVER=363
FILE ID=node52/1060378-1215126364
PBS_JOBID= 7877251
Free space on /tmp= 66520 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/allIntervalSeries/normalized-series-12.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1060378-1215126364/watcher-1060378-1215126364 -o /tmp/evaluation-result-1060378-1215126364/solver-1060378-1215126364 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1060378-1215126364.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 8a34f075a2e97800a08bc907fba1011a
RANDOM SEED=1925306600
node52.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.265
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.265
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: 1630048 kB
Buffers: 65304 kB
Cached: 290328 kB
SwapCached: 6808 kB
Active: 188908 kB
Inactive: 178404 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1630048 kB
SwapTotal: 4192956 kB
SwapFree: 4180424 kB
Dirty: 2416 kB
Writeback: 0 kB
Mapped: 17156 kB
Slab: 44012 kB
Committed_AS: 3839484 kB
PageTables: 1824 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= 66516 MiB
End job on node52 at 2008-07-04 01:06:05