0.05/0.09
0.05/0.09 Abscon 112 (May, 2008)
0.18/0.26
0.18/0.26 configuration
0.18/0.26 name=esac.xml
0.18/0.29
0.18/0.29 instance
0.18/0.29 name=HOME/instance-2098552-1247416085.xml
0.28/0.33
0.28/0.33 domains being loaded...
0.28/0.34
0.28/0.34 variables being loaded...
0.28/0.37 nbVariables=30 nbDomainTypes=1 minDomainSize=30 maxDomainSize=30 nbTotalValues=900
0.28/0.37 => wckTime=0.109 cpuTime=0.1 mem=7M892
0.28/0.37
0.28/0.37 predicates being loaded...
0.38/0.43
0.38/0.43 constraints being loaded...
0.77/0.83 nbConstraints=437 nbGlobalConstraints=2 nbConvertedConstraints=435 nbConvertConstraintsChecks=27000
0.77/0.83 nbExtensionStructures=30 nbSharedExtensionStructures=405 nbConflictsStructures=30
0.77/0.83 nbSharedConflictsStructures=405 nbSharedBinaryRepresentations=1202 minDegree=31 maxDegree=31 minArity=2
0.77/0.83 avgArity=2.13 maxArity=30 nbGenerators=1 nbFusions=1 symmetryWckTime=0.084 symmetryCpuTime=0.05 nbCliques=1
0.77/0.83 => wckTime=0.576 cpuTime=0.42 mem=17M767
0.77/0.89
0.77/0.89 solver IterativeSystematicSolver being built...
0.87/0.96
0.87/0.96 INFO : Forward propagation technique limited
0.97/1.02 => wckTime=0.766 cpuTime=0.53 mem=19M943
0.97/1.07
0.97/1.07 preprocessing
0.97/1.07 nbConstraintChecks=14920 nbPropagations=802 nbRevisions=1008 nbUselessRevisions=250 nbSingletonTests=42
0.97/1.07 nbEffectiveSingletonTests=0 nbACRemovals=2 nbFoundSingletons=0 nbRemovedValues=2 nbRemovedTuples=434
0.97/1.07 detectedInconsistency=no
0.97/1.07 => wckTime=0.046 cpuTime=0.03 mem=20M935
1.07/1.13
1.07/1.13 search
1.07/1.13 run=1 nbConstraintChecks=21174 minDepth=16 maxDepth=30 nbPropagations=3079 nbRevisions=6874
1.07/1.13 nbUselessRevisions=3608 nbAssignments=72 nbFailedAssignments=14 nbBacktracks=12 nbVisitedNodes=95
1.07/1.13 nbRestartNogoods=3 nbFoundSolutions=1 mapSize=12 nbInferences=0 nbTooLargeKeys=0 nbSEliminables=0
1.07/1.13 nbREliminables=0 nbIEliminables=17.14 nbDEliminables=0 nbPEliminables=0
1.07/1.13 => wckTime=0.107 cpuTime=0.06 mem=22M107
1.07/1.13
1.07/1.13 global
1.07/1.14 nbConstraintChecks=36094 nbPropagations=3881 nbRevisions=7882 nbUselessRevisions=3858 nbRestartNogoods=3
1.07/1.14 solvingWckTime=0.109 solvingCpuTime=0.06 expiredTime=no totalExploration=no nbFoundSolutions=1
1.07/1.14 firstSolutionCpuTime=0.59 globalCpuTime=0.63
1.07/1.14 => wckTime=0.877 cpuTime=0.6 mem=22M107
1.07/1.14
1.07/1.14 s SATISFIABLE
1.07/1.14 v 21 13 7 12 19 27 2 4 26 3 14 18 5 24 6 25 29 8 20 17 15 9 22 10 23 28 16 1 11 30
1.07/1.14 d NODES 72
1.07/1.14 d CHECKS 36094
1.07/1.14
1.07/1.14 totalWckTime=0.947 totalCpuTime=0.64
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2098552-1247416085/watcher-2098552-1247416085 -o /tmp/evaluation-result-2098552-1247416085/solver-2098552-1247416085 -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-2098552-1247416085.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
[startup+0 s]
/proc/loadavg: 1.94 1.97 1.99 4/80 4808
/proc/meminfo: memFree=1450336/2055920 swapFree=4192812/4192956
[pid=4808] ppid=4806 vsize=18576 CPUtime=0
/proc/4808/stat : 4808 (runsolver) R 4806 4732 4732 0 -1 4194368 10 0 0 0 0 0 0 0 19 0 1 0 28672398 19021824 282 996147200 4194304 4302564 548682068384 18446744073709551615 221954601714 0 0 4096 24578 0 0 0 17 1 0 0
/proc/4808/statm: 4644 282 247 26 0 2626 0
Current StackSize limit: 10240 KiB
[startup+0.0642021 s]
/proc/loadavg: 1.94 1.97 1.99 4/80 4808
/proc/meminfo: memFree=1450336/2055920 swapFree=4192812/4192956
[pid=4808] ppid=4806 vsize=864024 CPUtime=0.05
/proc/4808/stat : 4808 (java) S 4806 4808 4732 0 -1 0 2827 0 1 0 3 2 0 0 18 0 9 0 28672398 884760576 2361 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4808/statm: 216006 2361 1118 9 0 210899 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 864024
[startup+0.101205 s]
/proc/loadavg: 1.94 1.97 1.99 4/80 4808
/proc/meminfo: memFree=1450336/2055920 swapFree=4192812/4192956
[pid=4808] ppid=4806 vsize=865984 CPUtime=0.09
/proc/4808/stat : 4808 (java) S 4806 4808 4732 0 -1 0 3733 0 1 0 7 2 0 0 18 0 9 0 28672398 886767616 3201 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4808/statm: 216496 3201 1700 9 0 210981 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984
[startup+0.301221 s]
/proc/loadavg: 1.94 1.97 1.99 4/80 4808
/proc/meminfo: memFree=1450336/2055920 swapFree=4192812/4192956
[pid=4808] ppid=4806 vsize=866380 CPUtime=0.28
/proc/4808/stat : 4808 (java) S 4806 4808 4732 0 -1 0 5875 0 1 0 24 4 0 0 18 0 9 0 28672398 887173120 5241 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4808/statm: 216595 5241 1981 9 0 211053 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866380
[startup+0.701259 s]
/proc/loadavg: 1.94 1.97 1.99 4/80 4808
/proc/meminfo: memFree=1450336/2055920 swapFree=4192812/4192956
[pid=4808] ppid=4806 vsize=867180 CPUtime=0.68
/proc/4808/stat : 4808 (java) S 4806 4808 4732 0 -1 0 8392 0 1 0 61 7 0 0 18 0 9 0 28672398 887992320 7744 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4808/statm: 216795 7744 2037 9 0 211231 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867180
Solver just ended. Dumping a history of the last processes samples
[startup+1.1073 s]
/proc/loadavg: 1.94 1.97 1.99 3/89 4821
/proc/meminfo: memFree=1422360/2055920 swapFree=4192812/4192956
[pid=4808] ppid=4806 vsize=867968 CPUtime=1.07
/proc/4808/stat : 4808 (java) S 4806 4808 4732 0 -1 0 16730 307 1 0 95 12 0 0 18 0 9 0 28672398 888799232 10667 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4808/statm: 216992 10667 2657 9 0 211428 0
[pid=4808/tid=4810] ppid=4806 vsize=867968 CPUtime=0.77
/proc/4808/task/4810/stat : 4810 (java) R 4806 4808 4732 0 -1 64 12422 307 1 0 68 9 0 0 23 0 9 0 28672399 888799232 10667 996147200 134512640 134550932 4294955968 18446744073709551615 4125952207 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4808/tid=4811] ppid=4806 vsize=867968 CPUtime=0.04
/proc/4808/task/4811/stat : 4811 (java) S 4806 4808 4732 0 -1 64 2728 307 0 0 4 0 0 0 16 0 9 0 28672400 888799232 10667 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4808/tid=4812] ppid=4806 vsize=867968 CPUtime=0
/proc/4808/task/4812/stat : 4812 (java) S 4806 4808 4732 0 -1 64 17 307 0 0 0 0 0 0 16 0 9 0 28672401 888799232 10667 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4808/tid=4813] ppid=4806 vsize=867968 CPUtime=0
/proc/4808/task/4813/stat : 4813 (java) S 4806 4808 4732 0 -1 64 11 307 0 0 0 0 0 0 16 0 9 0 28672401 888799232 10667 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4808/tid=4814] ppid=4806 vsize=867968 CPUtime=0
/proc/4808/task/4814/stat : 4814 (java) S 4806 4808 4732 0 -1 64 2 307 0 0 0 0 0 0 18 0 9 0 28672403 888799232 10667 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4808/tid=4815] ppid=4806 vsize=867968 CPUtime=0.23
/proc/4808/task/4815/stat : 4815 (java) S 4806 4808 4732 0 -1 64 734 307 0 0 23 0 0 0 15 0 9 0 28672403 888799232 10667 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4808/tid=4816] ppid=4806 vsize=867968 CPUtime=0
/proc/4808/task/4816/stat : 4816 (java) S 4806 4808 4732 0 -1 64 1 307 0 0 0 0 0 0 19 0 9 0 28672403 888799232 10667 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4808/tid=4817] ppid=4806 vsize=867968 CPUtime=0
/proc/4808/task/4817/stat : 4817 (java) S 4806 4808 4732 0 -1 64 11 307 0 0 0 0 0 0 15 0 9 0 28672403 888799232 10667 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 867968
Child status: 0
Real time (s): 1.15802
CPU time (s): 1.13383
CPU user time (s): 0.998848
CPU system time (s): 0.134979
CPU usage (%): 97.9112
Max. virtual memory (cumulated for all children) (KiB): 867968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.998848
system time used= 0.134979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17172
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= 1266
involuntary context switches= 1357
runsolver used 0.006998 second user time and 0.009998 second system time
The end
Begin job on node43 at 2009-07-12 18:28:05
IDJOB=2098552
IDBENCH=58728
IDSOLVER=774
FILE ID=node43/2098552-1247416085
PBS_JOBID= 9510710
Free space on /tmp= 66256 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/queens/normalized-queens-30.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-2098552-1247416085/watcher-2098552-1247416085 -o /tmp/evaluation-result-2098552-1247416085/solver-2098552-1247416085 -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-2098552-1247416085.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 8ee67e9ea63e7269661dbf55146a7059
RANDOM SEED=913037765
node43.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.213
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 : 5931.00
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.213
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: 1450816 kB
Buffers: 84100 kB
Cached: 349264 kB
SwapCached: 0 kB
Active: 268912 kB
Inactive: 247364 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1450816 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2060 kB
Writeback: 0 kB
Mapped: 103368 kB
Slab: 73864 kB
Committed_AS: 1032428 kB
PageTables: 1992 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= 66252 MiB
End job on node43 at 2009-07-12 18:28:06