0.06/0.08
0.06/0.08 Abscon 112 (May, 2008)
0.17/0.25
0.17/0.25 configuration
0.17/0.25 name=mac.xml
0.17/0.29
0.17/0.29 instance
0.17/0.29 name=HOME/instance-1073078-1215176502.xml
0.28/0.32
0.28/0.32 domains being loaded...
0.28/0.33
0.28/0.33 variables being loaded...
0.48/0.55 nbVariables=2810 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2 nbTotalValues=5620
0.48/0.55 => wckTime=0.298 cpuTime=0.18 mem=14M680
0.48/0.55
0.48/0.55 predicates being loaded...
0.58/0.63
0.58/0.63 constraints being loaded...
3.36/3.42 nbConstraints=10943 nbUnaryConstraints=2910 nbGlobalConstraints=15 nbMergedConstraints=655
3.36/3.42 nbSingletonDomainVariables=100 nbPurgedValues=100 nbDisconnectedVariables=16 nbConvertedConstraints=8695
3.36/3.42 nbConvertConstraintsChecks=3416 nbExtensionStructures=308 nbSharedExtensionStructures=8688
3.36/3.42 nbConflictsStructures=349 nbSharedConflictsStructures=10865 nbUnbuiltConflictsStructures=2
3.36/3.42 nbSharedBinaryRepresentations=1228 nbEvaluationManagers=43 nbSharedEvaluationManagers=2190 minDegree=1
3.36/3.42 maxDegree=177 minArity=2 avgArity=2.54 maxArity=17 nbGenerators=15 nbFusions=0 symmetryWckTime=0.594
3.36/3.42 symmetryCpuTime=0.26
3.36/3.42 => wckTime=3.166 cpuTime=2.39 mem=60M551
3.55/3.68
3.55/3.68 solver IterativeSystematicSolver being built...
3.75/3.85
3.75/3.85 INFO : Forward propagation technique limited
3.95/4.05 => wckTime=3.797 cpuTime=2.74 mem=40M637
4.05/4.11
4.05/4.11 preprocessing
4.05/4.11 nbConstraintChecks=4930 nbValidityChecks=486 nbPropagations=2976 nbRevisions=3696 nbUselessRevisions=3215
4.05/4.11 nbRemovedValues=581 detectedInconsistency=no
4.05/4.11 => wckTime=0.058 cpuTime=0.04 mem=41M617
4.63/4.76
4.63/4.76 search
4.63/4.76 run=0 nbConstraintChecks=31720 nbValidityChecks=5846 minDepth=2811 maxDepth=2810 nbPropagations=7121
4.63/4.76 nbRevisions=22637 nbUselessRevisions=20828 nbAssignments=2810 nbFailedAssignments=0 nbBacktracks=0
4.63/4.76 nbVisitedNodes=2811 nbRestartNogoods=0 nbFoundSolutions=1 nbSEliminables=? nbREliminables=? nbIEliminables=?
4.63/4.76 nbDEliminables=? nbPEliminables=?
4.63/4.76 => wckTime=0.702 cpuTime=0.63 mem=42M695
4.63/4.76
4.63/4.76 global
4.63/4.76 nbConstraintChecks=36650 nbValidityChecks=6332 nbPropagations=10097 nbRevisions=26333 nbUselessRevisions=24043
4.63/4.76 nbRestartNogoods=0 solvingWckTime=0.705 solvingCpuTime=0.63 expiredTime=no totalExploration=no
4.63/4.76 nbFoundSolutions=1 firstSolutionCpuTime=3.34 globalCpuTime=3.42
4.63/4.76 => wckTime=4.507 cpuTime=3.37 mem=42M695
4.63/4.76
4.63/4.76 s SATISFIABLE
4.63/4.76 v 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 0 0 1 1 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 1 1 1 0 1 1 1 0 1 0 0 0 1 1 0 1 0 1 0 1 0 1 0 1 1 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 1 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 1 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 1 1 0 1 1 1 0 0 1 1 1 1 0 1 1 0 1 1 0 1 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 1 0 1 0 0 0 1 0 1 0 0 0 1 1 0 0 1 1 1 0 0 1 1 1 0 0 1 1 1 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 1 1 1 0 1 1 1 0 1 0 0 1 1 0 1 1 0 1 1 1 1 1 0 1 1 1 0 1 1 0 1 1 1 1 1 0 1 1 1 0 1 1 0 1 1 1 1 1 0 1 1 1 0 1 1 0 1 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 1 0 1 1 1 0 0 1 1 1 0 0 1 0 1 0 1 1 0 1 1 0 0 0 1 0 1 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 1 1 1 0 1 0 0 0 0 0 0 0 0 1 1 0 1 1 1 0 0 0 0 0 0 1 1 0 1 1 1 0 0 0 0 0 0 1 1 0 1 1 1 0 0 0 0 0 0 1 1 0 1 1 1 0 0 0 0 0 0 1 1 0 1 1 1 0 0 0 0 0 0 1 1 0 1 1 1 0 0 0 0 0 0 1 1 0 1 1 1 0 0 0 0 0 0 1 1 0 1 1 1 0 0 0 0 0 0 1 1 0 1 1 1 0 0 0 0 0 0 1 1 0 1 1 1 0 0 0 0 0 0 1 1 0 1 1 1 0 0 0 0 0 0 1 1 0 1 1 1 0 0 0 0 0 0 1 1 0 1 1 1 0 0 0 0 0 0 1 1 0 1 1 1 0 0 0 0 0 0 1 1 0 1 1 1 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 1 1 0 1 0 1 1 1 1 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 1 1 1 0 1 1 1 0 1 0 0 1 1 0 1 1 0 1 1 1 1 1 0 1 1 1 0 1 1 0 1 1 1 1 1 0 1 1 1 0 1 1 0 1 1 1 1 1 0 1 1 1 0 1 1 0 1 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 1 1 0 0 1 1 1 0 0 1 1 1 0 1 1 0 1 1 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 1 1 0 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 1 1 1 0 0 1 1 0 0 0 0 1 1 0 0 1 1 1 0 0 1 1 0 0 0 0 1 1 0 0 1 1 1 0 0 1 1 0 0 0 0 1 1 0 0 1 1 1 0 0 1 1 0 0 0 0 1 1 0 0 1 1 1 0 0 1 1 0 0 0 0 1 1 0 0 1 1 1 0 0 1 1 0 0 0 0 1 1 0 0 1 1 1 0 0 1 1 0 0 0 0 1 1 0 0 1 1 1 0 0 1 1 0 0 0 0 1 1 0 0 1 1 1 0 0 1 1 0 0 0 0 1 1 0 0 1 1 1 0 0 1 1 0 0 0 0 1 1 0 0 1 1 1 0 0 1 1 0 0 0 0 1 1 0 0 1 1 1 0 0 1 1 0 0 0 0 1 1 0 0 1 1 1 0 0 1 1 0 0 0 0 1 1 0 0 1 1 1 0 0 1 1 0 0 0 0 1 1 0 0 1 1 1 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 1 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 1 1 0 1 0 1 1 1 1 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 0 1 0 0 1 1 0 1 1 0 1 1 1 1 1 0 1 1 1 0 1 1 0 1 1 1 1 1 0 1 1 1 0 1 1 0 1 1 1 1 1 0 1 1 1 0 1 1 0 1 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 1 0 0 0 1 1 1 0 0 1 0 1 0 0 1 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 1 1 1 1 0 0 0 0 0 1 0 0 1 1 1 1 0 1 1 0 0 0 0 0 1 0 0 1 1 1 1 0 1 1 0 0 0 0 0 1 0 0 1 1 1 1 0 1 1 0 0 0 0 0 1 0 0 1 1 1 1 0 1 1 0 0 0 0 0 1 0 0 1 1 1 1 0 1 1 0 0 0 0 0 1 0 0 1 1 1 1 0 1 1 0 0 0 0 0 1 0 0 1 1 1 1 0 1 1 0 0 0 0 0 1 0 0 1 1 1 1 0 1 1 0 0 0 0 0 1 0 0 1 1 1 1 0 1 1 0 0 0 0 0 1 0 0 1 1 1 1 0 1 1 0 0 0 0 0 1 0 0 1 1 1 1 0 1 1 0 0 0 0 0 1 0 0 1 1 1 1 0 1 1 0 0 0 0 0 1 0 0 1 1 1 1 0 1 1 0 0 0 0 0 1 0 0 1 1 1 1 0 1 1 0 0 0 0 0 1 0 0 1 1 1 1 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 1 1 0 1 0 1 1 1 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 1 1 1 0 1 0 0 1 1 0 1 1 0 1 1 1 1 1 0 1 1 1 0 1 1 0 1 1 1 1 1 0 1 1 1 0 1 1 0 1 1 1 1 1 0 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0
4.63/4.76 d NODES 2810
4.63/4.76 d CHECKS 36650
4.63/4.76
4.63/4.76 totalWckTime=4.575 totalCpuTime=3.42
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1073078-1215176502/watcher-1073078-1215176502 -o /tmp/evaluation-result-1073078-1215176502/solver-1073078-1215176502 -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-1073078-1215176502.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: 2.09 2.07 2.02 4/81 13640
/proc/meminfo: memFree=801824/2055920 swapFree=4181480/4192956
[pid=13640] ppid=13638 vsize=152 CPUtime=0
/proc/13640/stat : 13640 (java) R 13638 13640 11471 0 -1 0 205 0 0 0 0 0 0 0 18 0 1 0 1996619780 155648 26 996147200 134512640 134550740 4294955968 18446744073709551615 6889771 0 0 4096 0 0 0 0 17 0 0 0
/proc/13640/statm: 38 26 19 9 0 4 0
[startup+0.076217 s]
/proc/loadavg: 2.09 2.07 2.02 4/81 13640
/proc/meminfo: memFree=801824/2055920 swapFree=4181480/4192956
[pid=13640] ppid=13638 vsize=865856 CPUtime=0.06
/proc/13640/stat : 13640 (java) S 13638 13640 11471 0 -1 0 3441 0 1 0 5 1 0 0 18 0 9 0 1996619780 886636544 2940 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13640/statm: 216464 2940 1580 9 0 211026 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 865856
[startup+0.101217 s]
/proc/loadavg: 2.09 2.07 2.02 4/81 13640
/proc/meminfo: memFree=801824/2055920 swapFree=4181480/4192956
[pid=13640] ppid=13638 vsize=865884 CPUtime=0.08
/proc/13640/stat : 13640 (java) S 13638 13640 11471 0 -1 0 3705 0 1 0 7 1 0 0 18 0 9 0 1996619780 886665216 3178 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13640/statm: 216471 3178 1685 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.301257 s]
/proc/loadavg: 2.09 2.07 2.02 4/81 13640
/proc/meminfo: memFree=801824/2055920 swapFree=4181480/4192956
[pid=13640] ppid=13638 vsize=866284 CPUtime=0.28
/proc/13640/stat : 13640 (java) S 13638 13640 11471 0 -1 0 5830 0 1 0 25 3 0 0 18 0 9 0 1996619780 887074816 5204 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13640/statm: 216571 5204 1953 9 0 211099 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866284
[startup+0.701329 s]
/proc/loadavg: 2.09 2.07 2.02 4/81 13640
/proc/meminfo: memFree=801824/2055920 swapFree=4181480/4192956
[pid=13640] ppid=13638 vsize=867516 CPUtime=0.67
/proc/13640/stat : 13640 (java) S 13638 13640 11471 0 -1 0 9666 0 1 0 62 5 0 0 18 0 9 0 1996619780 888336384 9026 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13640/statm: 216879 9026 2009 9 0 211385 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867516
[startup+1.50147 s]
/proc/loadavg: 2.09 2.07 2.02 3/90 13649
/proc/meminfo: memFree=757208/2055920 swapFree=4181480/4192956
[pid=13640] ppid=13638 vsize=867428 CPUtime=1.47
/proc/13640/stat : 13640 (java) S 13638 13640 11471 0 -1 0 18943 0 1 0 133 14 0 0 18 0 9 0 1996619780 888246272 18276 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13640/statm: 216858 18276 2006 9 0 211386 0
[pid=13640/tid=13642] ppid=13638 vsize=867428 CPUtime=1.17
/proc/13640/task/13642/stat : 13642 (java) R 13638 13640 11471 0 -1 64 15774 0 1 0 106 11 0 0 25 0 9 0 1996619781 888246272 18276 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13640/tid=13643] ppid=13638 vsize=867428 CPUtime=0.08
/proc/13640/task/13643/stat : 13643 (java) S 13638 13640 11471 0 -1 64 1816 0 0 0 7 1 0 0 16 0 9 0 1996619782 888246272 18276 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13640/tid=13644] ppid=13638 vsize=867428 CPUtime=0
/proc/13640/task/13644/stat : 13644 (java) S 13638 13640 11471 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1996619783 888246272 18276 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13640/tid=13645] ppid=13638 vsize=867428 CPUtime=0
/proc/13640/task/13645/stat : 13645 (java) S 13638 13640 11471 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1996619783 888246272 18276 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13640/tid=13646] ppid=13638 vsize=867432 CPUtime=0
/proc/13640/task/13646/stat : 13646 (java) S 13638 13640 11471 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 1996619785 888250368 18276 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13640/tid=13647] ppid=13638 vsize=867428 CPUtime=0.2
/proc/13640/task/13647/stat : 13647 (java) S 13638 13640 11471 0 -1 64 655 0 0 0 19 1 0 0 15 0 9 0 1996619785 888246272 18276 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13640/tid=13648] ppid=13638 vsize=867432 CPUtime=0
/proc/13640/task/13648/stat : 13648 (java) S 13638 13640 11471 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 1996619785 888250368 18276 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13640/tid=13649] ppid=13638 vsize=867428 CPUtime=0
/proc/13640/task/13649/stat : 13649 (java) S 13638 13640 11471 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1996619785 888246272 18276 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867428
[startup+3.10177 s]
/proc/loadavg: 2.08 2.07 2.02 3/90 13649
/proc/meminfo: memFree=735896/2055920 swapFree=4181480/4192956
[pid=13640] ppid=13638 vsize=867752 CPUtime=2.98
/proc/13640/stat : 13640 (java) S 13638 13640 11471 0 -1 0 24988 0 1 0 241 57 0 0 18 0 10 0 1996619780 888578048 24191 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13640/statm: 216938 24191 2011 9 0 211466 0
[pid=13640/tid=13642] ppid=13638 vsize=867752 CPUtime=2.46
/proc/13640/task/13642/stat : 13642 (java) S 13638 13640 11471 0 -1 64 15868 0 1 0 196 50 0 0 24 0 10 0 1996619781 888578048 24191 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=13640/tid=13643] ppid=13638 vsize=867752 CPUtime=0.22
/proc/13640/task/13643/stat : 13643 (java) S 13638 13640 11471 0 -1 64 7642 0 0 0 18 4 0 0 17 0 10 0 1996619782 888578048 24191 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13640/tid=13644] ppid=13638 vsize=867752 CPUtime=0
/proc/13640/task/13644/stat : 13644 (java) S 13638 13640 11471 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 1996619783 888578048 24191 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13640/tid=13645] ppid=13638 vsize=867752 CPUtime=0
/proc/13640/task/13645/stat : 13645 (java) S 13638 13640 11471 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1996619783 888578048 24191 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13640/tid=13646] ppid=13638 vsize=867752 CPUtime=0
/proc/13640/task/13646/stat : 13646 (java) S 13638 13640 11471 0 -1 64 1 0 0 0 0 0 0 0 23 0 10 0 1996619785 888578048 24191 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13640/tid=13647] ppid=13638 vsize=867752 CPUtime=0.26
/proc/13640/task/13647/stat : 13647 (java) S 13638 13640 11471 0 -1 64 707 0 0 0 25 1 0 0 15 0 10 0 1996619785 888578048 24191 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13640/tid=13648] ppid=13638 vsize=867752 CPUtime=0
/proc/13640/task/13648/stat : 13648 (java) S 13638 13640 11471 0 -1 64 2 0 0 0 0 0 0 0 24 0 10 0 1996619785 888578048 24191 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13640/tid=13649] ppid=13638 vsize=867752 CPUtime=0
/proc/13640/task/13649/stat : 13649 (java) S 13638 13640 11471 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 1996619785 888578048 24191 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 867752
Solver just ended. Dumping a history of the last processes samples
[startup+3.90262 s]
/proc/loadavg: 2.08 2.07 2.02 4/92 13651
/proc/meminfo: memFree=708808/2055920 swapFree=4181480/4192956
[pid=13640] ppid=13638 vsize=867968 CPUtime=3.85
/proc/13640/stat : 13640 (java) S 13638 13640 11471 0 -1 0 44141 953 1 0 298 62 24 1 18 0 9 0 1996619780 888799232 28392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13640/statm: 216992 28392 2638 9 0 211498 0
[pid=13640/tid=13642] ppid=13638 vsize=867968 CPUtime=3.07
/proc/13640/task/13642/stat : 13642 (java) R 13638 13640 11471 0 -1 64 24713 953 1 0 229 53 24 1 17 0 9 0 1996619781 888799232 28392 996147200 134512640 134550740 4294955968 18446744073709551615 7351408 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13640/tid=13643] ppid=13638 vsize=867968 CPUtime=0.66
/proc/13640/task/13643/stat : 13643 (java) R 13638 13640 11471 0 -1 64 17638 953 0 0 36 5 24 1 18 0 9 0 1996619782 888799232 28392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13640/tid=13644] ppid=13638 vsize=867968 CPUtime=0.25
/proc/13640/task/13644/stat : 13644 (java) S 13638 13640 11471 0 -1 64 16 953 0 0 0 0 24 1 16 0 9 0 1996619783 888799232 28392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13640/tid=13645] ppid=13638 vsize=867968 CPUtime=0.25
/proc/13640/task/13645/stat : 13645 (java) S 13638 13640 11471 0 -1 64 8 953 0 0 0 0 24 1 16 0 9 0 1996619783 888799232 28392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13640/tid=13646] ppid=13638 vsize=867968 CPUtime=0.25
/proc/13640/task/13646/stat : 13646 (java) S 13638 13640 11471 0 -1 64 1 953 0 0 0 0 24 1 23 0 9 0 1996619785 888799232 28392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13640/tid=13647] ppid=13638 vsize=867968 CPUtime=0.58
/proc/13640/task/13647/stat : 13647 (java) S 13638 13640 11471 0 -1 64 949 953 0 0 32 1 24 1 15 0 9 0 1996619785 888799232 28392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13640/tid=13648] ppid=13638 vsize=867968 CPUtime=0.25
/proc/13640/task/13648/stat : 13648 (java) S 13638 13640 11471 0 -1 64 2 953 0 0 0 0 24 1 24 0 9 0 1996619785 888799232 28392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13640/tid=13649] ppid=13638 vsize=867968 CPUtime=0.25
/proc/13640/task/13649/stat : 13649 (java) S 13638 13640 11471 0 -1 64 9 953 0 0 0 0 24 1 15 0 9 0 1996619785 888799232 28392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.85
Current children cumulated vsize (KiB) 867968
[startup+4.30299 s]
/proc/loadavg: 2.08 2.07 2.02 3/90 13653
/proc/meminfo: memFree=697616/2055920 swapFree=4181480/4192956
[pid=13640] ppid=13638 vsize=867880 CPUtime=4.24
/proc/13640/stat : 13640 (java) S 13638 13640 11471 0 -1 0 47617 953 1 0 336 63 24 1 18 0 9 0 1996619780 888709120 28417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13640/statm: 216970 28417 2616 9 0 211498 0
[pid=13640/tid=13642] ppid=13638 vsize=867880 CPUtime=3.38
/proc/13640/task/13642/stat : 13642 (java) R 13638 13640 11471 0 -1 64 27575 953 1 0 260 53 24 1 17 0 9 0 1996619781 888709120 28417 996147200 134512640 134550740 4294955968 18446744073709551615 4127424403 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13640/tid=13643] ppid=13638 vsize=867880 CPUtime=0.69
/proc/13640/task/13643/stat : 13643 (java) S 13638 13640 11471 0 -1 64 18222 953 0 0 38 6 24 1 16 0 9 0 1996619782 888709120 28417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13640/tid=13644] ppid=13638 vsize=867880 CPUtime=0.25
/proc/13640/task/13644/stat : 13644 (java) S 13638 13640 11471 0 -1 64 16 953 0 0 0 0 24 1 16 0 9 0 1996619783 888709120 28417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13640/tid=13645] ppid=13638 vsize=867880 CPUtime=0.25
/proc/13640/task/13645/stat : 13645 (java) S 13638 13640 11471 0 -1 64 8 953 0 0 0 0 24 1 15 0 9 0 1996619783 888709120 28417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13640/tid=13646] ppid=13638 vsize=867880 CPUtime=0.25
/proc/13640/task/13646/stat : 13646 (java) S 13638 13640 11471 0 -1 64 1 953 0 0 0 0 24 1 23 0 9 0 1996619785 888709120 28417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13640/tid=13647] ppid=13638 vsize=867880 CPUtime=0.64
/proc/13640/task/13647/stat : 13647 (java) S 13638 13640 11471 0 -1 64 979 953 0 0 37 2 24 1 16 0 9 0 1996619785 888709120 28417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13640/tid=13648] ppid=13638 vsize=867880 CPUtime=0.25
/proc/13640/task/13648/stat : 13648 (java) S 13638 13640 11471 0 -1 64 2 953 0 0 0 0 24 1 24 0 9 0 1996619785 888709120 28417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13640/tid=13649] ppid=13638 vsize=867880 CPUtime=0.25
/proc/13640/task/13649/stat : 13649 (java) S 13638 13640 11471 0 -1 64 9 953 0 0 0 0 24 1 15 0 9 0 1996619785 888709120 28417 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4.24
Current children cumulated vsize (KiB) 867880
[startup+4.70273 s]
/proc/loadavg: 2.08 2.07 2.02 3/90 13653
/proc/meminfo: memFree=697616/2055920 swapFree=4181480/4192956
[pid=13640] ppid=13638 vsize=867880 CPUtime=4.63
/proc/13640/stat : 13640 (java) S 13638 13640 11471 0 -1 0 47625 953 1 0 375 63 24 1 18 0 9 0 1996619780 888709120 28425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13640/statm: 216970 28425 2616 9 0 211498 0
[pid=13640/tid=13642] ppid=13638 vsize=867880 CPUtime=3.76
/proc/13640/task/13642/stat : 13642 (java) R 13638 13640 11471 0 -1 64 27575 953 1 0 298 53 24 1 20 0 9 0 1996619781 888709120 28425 996147200 134512640 134550740 4294955968 18446744073709551615 4127420332 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13640/tid=13643] ppid=13638 vsize=867880 CPUtime=0.69
/proc/13640/task/13643/stat : 13643 (java) S 13638 13640 11471 0 -1 64 18222 953 0 0 38 6 24 1 16 0 9 0 1996619782 888709120 28425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13640/tid=13644] ppid=13638 vsize=867880 CPUtime=0.25
/proc/13640/task/13644/stat : 13644 (java) S 13638 13640 11471 0 -1 64 16 953 0 0 0 0 24 1 16 0 9 0 1996619783 888709120 28425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13640/tid=13645] ppid=13638 vsize=867880 CPUtime=0.25
/proc/13640/task/13645/stat : 13645 (java) S 13638 13640 11471 0 -1 64 8 953 0 0 0 0 24 1 15 0 9 0 1996619783 888709120 28425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13640/tid=13646] ppid=13638 vsize=867880 CPUtime=0.25
/proc/13640/task/13646/stat : 13646 (java) S 13638 13640 11471 0 -1 64 1 953 0 0 0 0 24 1 23 0 9 0 1996619785 888709120 28425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13640/tid=13647] ppid=13638 vsize=867880 CPUtime=0.65
/proc/13640/task/13647/stat : 13647 (java) S 13638 13640 11471 0 -1 64 987 953 0 0 38 2 24 1 15 0 9 0 1996619785 888709120 28425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13640/tid=13648] ppid=13638 vsize=867880 CPUtime=0.25
/proc/13640/task/13648/stat : 13648 (java) S 13638 13640 11471 0 -1 64 2 953 0 0 0 0 24 1 24 0 9 0 1996619785 888709120 28425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13640/tid=13649] ppid=13638 vsize=867880 CPUtime=0.25
/proc/13640/task/13649/stat : 13649 (java) S 13638 13640 11471 0 -1 64 9 953 0 0 0 0 24 1 15 0 9 0 1996619785 888709120 28425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4.63
Current children cumulated vsize (KiB) 867880
[startup+4.80307 s]
/proc/loadavg: 2.08 2.07 2.02 3/90 13653
/proc/meminfo: memFree=697616/2055920 swapFree=4181480/4192956
[pid=13640] ppid=13638 vsize=0 CPUtime=4.72
/proc/13640/stat : 13640 (java) Z 13638 13640 11471 0 -1 12 47669 953 1 0 382 65 24 1 16 0 2 0 1996619780 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13640/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.72
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 4.80624
CPU time (s): 4.74528
CPU user time (s): 4.07138
CPU system time (s): 0.673897
CPU usage (%): 98.7315
Max. virtual memory (cumulated for all children) (KiB): 873204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.07138
system time used= 0.673897
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48622
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= 2211
involuntary context switches= 2237
runsolver used 0.009998 second user time and 0.034994 second system time
The end
Begin job on node67 at 2008-07-04 15:01:42
IDJOB=1073078
IDBENCH=56315
IDSOLVER=363
FILE ID=node67/1073078-1215176502
PBS_JOBID= 7881481
Free space on /tmp= 66532 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/bmc/normalized-bmc-ibm-02-02.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-1073078-1215176502/watcher-1073078-1215176502 -o /tmp/evaluation-result-1073078-1215176502/solver-1073078-1215176502 -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-1073078-1215176502.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= bce6a7316b7cc84cf09cdd52e0aabc09
RANDOM SEED=545742649
node67.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.281
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.281
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: 802304 kB
Buffers: 87296 kB
Cached: 371608 kB
SwapCached: 5332 kB
Active: 822108 kB
Inactive: 361580 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 802304 kB
SwapTotal: 4192956 kB
SwapFree: 4181480 kB
Dirty: 4056 kB
Writeback: 0 kB
Mapped: 740956 kB
Slab: 53604 kB
Committed_AS: 4804940 kB
PageTables: 3404 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= 66532 MiB
End job on node67 at 2008-07-04 15:01:47