0.00/0.08
0.00/0.08 Abscon 112 (May, 2008)
0.19/0.24
0.19/0.24 configuration
0.19/0.24 name=mac.xml
0.19/0.27
0.19/0.27 instance
0.19/0.27 name=HOME/instance-2093287-1247401156.xml
0.28/0.31
0.28/0.31 domains being loaded...
0.28/0.32
0.28/0.32 variables being loaded...
0.39/0.40 nbVariables=400 nbDomainTypes=21 minDomainSize=1 maxDomainSize=20 nbTotalValues=3554
0.39/0.40 => wckTime=0.161 cpuTime=0.13 mem=8M867
0.39/0.40
0.39/0.40 relations being loaded...
0.39/0.42
0.39/0.42 constraints being loaded...
0.97/1.08 nbConstraints=5113 nbRelationTypes=21 nbGlobalConstraints=21 nbSingletonDomainVariables=234
0.97/1.08 nbExtensionStructures=41 nbSharedExtensionStructures=5051 nbConflictsStructures=41
0.97/1.08 nbSharedConflictsStructures=5051 nbSharedBinaryRepresentations=858 minDegree=16 maxDegree=39 minArity=2
0.97/1.08 avgArity=2.03 maxArity=10 nbGenerators=0 nbFusions=0 symmetryWckTime=0.298 symmetryCpuTime=0.19 nbCliques=21
0.97/1.08 => wckTime=0.839 cpuTime=0.57 mem=40M131
1.07/1.19
1.17/1.20 solver IterativeSystematicSolver being built...
1.17/1.27
1.17/1.27 INFO : Forward propagation technique limited
1.28/1.34 => wckTime=1.101 cpuTime=0.69 mem=26M109
1.28/1.39
1.28/1.39 preprocessing
1.28/1.39 nbConstraintChecks=41661 nbPropagations=400 nbRevisions=3952 nbUselessRevisions=1237 nbRemovedValues=2715
1.28/1.39 detectedInconsistency=no
1.28/1.39 => wckTime=0.045 cpuTime=0.04 mem=26M109
1.58/1.60
1.58/1.60 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=27M174)
20.37/20.46
20.37/20.46 search
20.37/20.46 run=15 nbConstraintChecks=16337959 minDepth=19 maxDepth=400 nbPropagations=2013839 nbRevisions=42685080
20.37/20.46 nbUselessRevisions=39643363 nbAssignments=73618 nbFailedAssignments=9191 nbBacktracks=63403
20.37/20.46 nbVisitedNodes=92127 nbRestartNogoods=106 nbFoundSolutions=1 nbSEliminables=0 nbREliminables=234
20.37/20.46 nbIEliminables=144.63 nbDEliminables=0 nbPEliminables=0
20.37/20.46 => wckTime=19.117 cpuTime=19.0 mem=28M907
20.37/20.46
20.37/20.46 global
20.37/20.46 nbConstraintChecks=16379620 nbPropagations=2014239 nbRevisions=42689032 nbUselessRevisions=39644600
20.37/20.46 nbRestartNogoods=106 solvingWckTime=19.12 solvingCpuTime=19.01 expiredTime=no totalExploration=no
20.37/20.46 nbFoundSolutions=1 firstSolutionCpuTime=19.69 globalCpuTime=19.74
20.37/20.46 => wckTime=20.224 cpuTime=19.7 mem=28M907
20.37/20.46
20.37/20.46 s SATISFIABLE
20.37/20.46 v 10 8 15 17 9 18 2 14 12 7 4 19 13 11 0 16 3 1 5 6 12 19 0 1 2 15 11 16 6 14 18 4 7 9 5 3 10 17 13 8 2 12 1 16 14 17 8 4 11 18 10 9 3 5 15 6 0 13 19 7 6 9 12 13 10 4 1 11 5 3 0 16 14 8 19 2 17 15 7 18 13 4 9 0 17 5 7 15 1 19 14 12 16 10 2 11 8 6 18 3 3 2 13 12 1 10 18 9 8 11 19 7 0 6 16 17 15 5 14 4 14 15 3 11 13 8 9 10 2 16 5 6 4 19 7 0 12 18 17 1 19 1 14 10 6 11 15 7 16 13 12 17 5 2 18 8 4 0 3 9 9 3 17 7 16 6 14 19 18 10 1 2 8 15 13 12 5 4 11 0 11 13 5 19 8 16 10 2 17 1 6 0 15 18 14 9 7 3 4 12 18 16 11 3 0 9 13 8 19 4 17 15 1 12 6 14 2 7 10 5 15 14 10 9 5 12 19 3 4 17 7 8 2 0 11 18 1 16 6 13 8 10 2 14 18 0 12 6 3 5 9 13 17 7 4 1 16 19 15 11 5 6 4 18 19 3 17 0 7 2 8 11 12 16 10 15 13 9 1 14 16 0 6 4 15 7 5 12 14 8 3 18 9 1 17 13 19 11 2 10 17 18 19 8 7 2 4 13 9 0 11 5 6 3 1 10 14 12 16 15 7 17 18 2 3 1 6 5 0 9 15 10 19 13 8 4 11 14 12 16 4 5 8 15 11 14 16 1 10 12 13 3 18 17 9 7 6 2 0 19 1 11 7 5 12 13 0 17 15 6 16 14 10 4 3 19 18 8 9 2 0 7 16 6 4 19 3 18 13 15 2 1 11 14 12 5 9 10 8 17
20.37/20.46 d NODES 73618
20.37/20.46 d CHECKS 16379620
20.37/20.46
20.37/20.47 totalWckTime=20.29 totalCpuTime=19.74
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2093287-1247401156/watcher-2093287-1247401156 -o /tmp/evaluation-result-2093287-1247401156/solver-2093287-1247401156 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2093287-1247401156.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.41 0.10 0.08 4/80 28655
/proc/meminfo: memFree=1810656/2055920 swapFree=4192812/4192956
[pid=28655] ppid=28653 vsize=272 CPUtime=0
/proc/28655/stat : 28655 (java) R 28653 28655 28551 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 27179358 278528 37 996147200 134512640 134550932 4294955968 18446744073709551615 4730970 0 0 4096 0 0 0 0 17 0 0 0
/proc/28655/statm: 68 37 28 9 0 6 0
[startup+0.0942651 s]
/proc/loadavg: 0.41 0.10 0.08 4/80 28655
/proc/meminfo: memFree=1810656/2055920 swapFree=4192812/4192956
[pid=28655] ppid=28653 vsize=865980 CPUtime=0.09
/proc/28655/stat : 28655 (java) S 28653 28655 28551 0 -1 0 3737 0 1 0 7 2 0 0 18 0 9 0 27179358 886763520 3205 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28655/statm: 216495 3205 1700 9 0 210980 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865980
[startup+0.101263 s]
/proc/loadavg: 0.41 0.10 0.08 4/80 28655
/proc/meminfo: memFree=1810656/2055920 swapFree=4192812/4192956
[pid=28655] ppid=28653 vsize=865980 CPUtime=0.09
/proc/28655/stat : 28655 (java) S 28653 28655 28551 0 -1 0 3840 0 1 0 7 2 0 0 18 0 9 0 27179358 886763520 3283 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28655/statm: 216495 3283 1731 9 0 210980 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865980
[startup+0.301299 s]
/proc/loadavg: 0.41 0.10 0.08 4/80 28655
/proc/meminfo: memFree=1810656/2055920 swapFree=4192812/4192956
[pid=28655] ppid=28653 vsize=866500 CPUtime=0.28
/proc/28655/stat : 28655 (java) S 28653 28655 28551 0 -1 0 6104 0 1 0 25 3 0 0 18 0 9 0 27179358 887296000 5470 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28655/statm: 216625 5470 1987 9 0 211083 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866500
[startup+0.701375 s]
/proc/loadavg: 0.41 0.10 0.08 4/80 28655
/proc/meminfo: memFree=1810656/2055920 swapFree=4192812/4192956
[pid=28655] ppid=28653 vsize=867532 CPUtime=0.69
/proc/28655/stat : 28655 (java) S 28653 28655 28551 0 -1 0 10374 0 1 0 63 6 0 0 18 0 9 0 27179358 888352768 9728 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28655/statm: 216883 9731 2013 9 0 211341 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 867532
[startup+1.50252 s]
/proc/loadavg: 0.41 0.10 0.08 6/91 28668
/proc/meminfo: memFree=1763848/2055920 swapFree=4192812/4192956
[pid=28655] ppid=28653 vsize=867944 CPUtime=1.48
/proc/28655/stat : 28655 (java) S 28653 28655 28551 0 -1 0 25376 538 1 0 130 11 6 1 18 0 9 0 27179358 888774656 16122 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28655/statm: 216986 16122 2657 9 0 211422 0
[pid=28655/tid=28657] ppid=28653 vsize=867944 CPUtime=1.07
/proc/28655/task/28657/stat : 28657 (java) R 28653 28655 28551 0 -1 64 19201 538 1 0 92 8 6 1 18 0 9 0 27179359 888774656 16122 996147200 134512640 134550932 4294955968 18446744073709551615 4127128064 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28655/tid=28658] ppid=28653 vsize=867944 CPUtime=0.17
/proc/28655/task/28658/stat : 28658 (java) S 28653 28655 28551 0 -1 64 4456 538 0 0 9 1 6 1 16 0 9 0 27179360 888774656 16122 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28655/tid=28659] ppid=28653 vsize=867944 CPUtime=0.07
/proc/28655/task/28659/stat : 28659 (java) S 28653 28655 28551 0 -1 64 19 538 0 0 0 0 6 1 16 0 9 0 27179360 888774656 16122 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28655/tid=28660] ppid=28653 vsize=867944 CPUtime=0.07
/proc/28655/task/28660/stat : 28660 (java) S 28653 28655 28551 0 -1 64 9 538 0 0 0 0 6 1 16 0 9 0 27179360 888774656 16122 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28655/tid=28661] ppid=28653 vsize=867944 CPUtime=0.07
/proc/28655/task/28661/stat : 28661 (java) S 28653 28655 28551 0 -1 64 2 538 0 0 0 0 6 1 23 0 9 0 27179362 888774656 16122 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28655/tid=28662] ppid=28653 vsize=867944 CPUtime=0.36
/proc/28655/task/28662/stat : 28662 (java) R 28653 28655 28551 0 -1 64 880 538 0 0 28 1 6 1 16 0 9 0 27179362 888774656 16122 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28655/tid=28663] ppid=28653 vsize=867944 CPUtime=0.07
/proc/28655/task/28663/stat : 28663 (java) S 28653 28655 28551 0 -1 64 0 538 0 0 0 0 6 1 24 0 9 0 27179362 888774656 16122 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28655/tid=28664] ppid=28653 vsize=867944 CPUtime=0.07
/proc/28655/task/28664/stat : 28664 (java) S 28653 28655 28551 0 -1 64 11 538 0 0 0 0 6 1 15 0 9 0 27179363 888774656 16122 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867944
[startup+3.10181 s]
/proc/loadavg: 0.62 0.15 0.09 3/89 28668
/proc/meminfo: memFree=1755856/2055920 swapFree=4192812/4192956
[pid=28655] ppid=28653 vsize=868076 CPUtime=3.09
/proc/28655/stat : 28655 (java) S 28653 28655 28551 0 -1 0 25412 538 1 0 290 12 6 1 18 0 9 0 27179358 888909824 16152 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28655/statm: 217019 16152 2657 9 0 211455 0
[pid=28655/tid=28657] ppid=28653 vsize=868076 CPUtime=2.62
/proc/28655/task/28657/stat : 28657 (java) R 28653 28655 28551 0 -1 64 19208 538 1 0 247 8 6 1 25 0 9 0 27179359 888909824 16152 996147200 134512640 134550932 4294955968 18446744073709551615 4127124045 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28655/tid=28658] ppid=28653 vsize=868076 CPUtime=0.17
/proc/28655/task/28658/stat : 28658 (java) S 28653 28655 28551 0 -1 64 4456 538 0 0 9 1 6 1 17 0 9 0 27179360 888909824 16152 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28655/tid=28659] ppid=28653 vsize=868076 CPUtime=0.07
/proc/28655/task/28659/stat : 28659 (java) S 28653 28655 28551 0 -1 64 19 538 0 0 0 0 6 1 16 0 9 0 27179360 888909824 16152 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28655/tid=28660] ppid=28653 vsize=868076 CPUtime=0.07
/proc/28655/task/28660/stat : 28660 (java) S 28653 28655 28551 0 -1 64 9 538 0 0 0 0 6 1 16 0 9 0 27179360 888909824 16152 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28655/tid=28661] ppid=28653 vsize=868076 CPUtime=0.07
/proc/28655/task/28661/stat : 28661 (java) S 28653 28655 28551 0 -1 64 2 538 0 0 0 0 6 1 23 0 9 0 27179362 888909824 16152 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28655/tid=28662] ppid=28653 vsize=868076 CPUtime=0.4
/proc/28655/task/28662/stat : 28662 (java) S 28653 28655 28551 0 -1 64 909 538 0 0 32 1 6 1 15 0 9 0 27179362 888909824 16152 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28655/tid=28663] ppid=28653 vsize=868076 CPUtime=0.07
/proc/28655/task/28663/stat : 28663 (java) S 28653 28655 28551 0 -1 64 0 538 0 0 0 0 6 1 24 0 9 0 27179362 888909824 16152 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28655/tid=28664] ppid=28653 vsize=868076 CPUtime=0.07
/proc/28655/task/28664/stat : 28664 (java) S 28653 28655 28551 0 -1 64 11 538 0 0 0 0 6 1 15 0 9 0 27179363 888909824 16152 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 868076
[startup+6.30239 s]
/proc/loadavg: 0.62 0.15 0.09 3/89 28668
/proc/meminfo: memFree=1755728/2055920 swapFree=4192812/4192956
[pid=28655] ppid=28653 vsize=868076 CPUtime=6.28
/proc/28655/stat : 28655 (java) S 28653 28655 28551 0 -1 0 26573 538 1 0 609 12 6 1 18 0 9 0 27179358 888909824 16154 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28655/statm: 217019 16154 2657 9 0 211455 0
[pid=28655/tid=28657] ppid=28653 vsize=868076 CPUtime=5.82
/proc/28655/task/28657/stat : 28657 (java) R 28653 28655 28551 0 -1 64 20342 538 1 0 566 9 6 1 25 0 9 0 27179359 888909824 16154 996147200 134512640 134550932 4294955968 18446744073709551615 4127162894 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28655/tid=28658] ppid=28653 vsize=868076 CPUtime=0.17
/proc/28655/task/28658/stat : 28658 (java) S 28653 28655 28551 0 -1 64 4456 538 0 0 9 1 6 1 16 0 9 0 27179360 888909824 16154 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28655/tid=28659] ppid=28653 vsize=868076 CPUtime=0.07
/proc/28655/task/28659/stat : 28659 (java) S 28653 28655 28551 0 -1 64 19 538 0 0 0 0 6 1 16 0 9 0 27179360 888909824 16154 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28655/tid=28660] ppid=28653 vsize=868076 CPUtime=0.07
/proc/28655/task/28660/stat : 28660 (java) S 28653 28655 28551 0 -1 64 9 538 0 0 0 0 6 1 16 0 9 0 27179360 888909824 16154 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28655/tid=28661] ppid=28653 vsize=868076 CPUtime=0.07
/proc/28655/task/28661/stat : 28661 (java) S 28653 28655 28551 0 -1 64 2 538 0 0 0 0 6 1 23 0 9 0 27179362 888909824 16154 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28655/tid=28662] ppid=28653 vsize=868076 CPUtime=0.41
/proc/28655/task/28662/stat : 28662 (java) S 28653 28655 28551 0 -1 64 912 538 0 0 33 1 6 1 16 0 9 0 27179362 888909824 16154 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28655/tid=28663] ppid=28653 vsize=868076 CPUtime=0.07
/proc/28655/task/28663/stat : 28663 (java) S 28653 28655 28551 0 -1 64 0 538 0 0 0 0 6 1 24 0 9 0 27179362 888909824 16154 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28655/tid=28664] ppid=28653 vsize=868076 CPUtime=0.07
/proc/28655/task/28664/stat : 28664 (java) S 28653 28655 28551 0 -1 64 35 538 0 0 0 0 6 1 15 0 9 0 27179363 888909824 16154 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 868076
[startup+12.7016 s]
/proc/loadavg: 0.73 0.18 0.10 3/89 28668
/proc/meminfo: memFree=1747280/2055920 swapFree=4192812/4192956
[pid=28655] ppid=28653 vsize=868076 CPUtime=12.68
/proc/28655/stat : 28655 (java) S 28653 28655 28551 0 -1 0 29875 538 1 0 1246 15 6 1 18 0 9 0 27179358 888909824 18625 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28655/statm: 217019 18625 2657 9 0 211455 0
[pid=28655/tid=28657] ppid=28653 vsize=868076 CPUtime=12.21
/proc/28655/task/28657/stat : 28657 (java) R 28653 28655 28551 0 -1 64 23644 538 1 0 1203 11 6 1 25 0 9 0 27179359 888909824 18625 996147200 134512640 134550932 4294955968 18446744073709551615 4125952318 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28655/tid=28658] ppid=28653 vsize=868076 CPUtime=0.17
/proc/28655/task/28658/stat : 28658 (java) S 28653 28655 28551 0 -1 64 4456 538 0 0 9 1 6 1 16 0 9 0 27179360 888909824 18625 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28655/tid=28659] ppid=28653 vsize=868076 CPUtime=0.07
/proc/28655/task/28659/stat : 28659 (java) S 28653 28655 28551 0 -1 64 19 538 0 0 0 0 6 1 16 0 9 0 27179360 888909824 18625 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28655/tid=28660] ppid=28653 vsize=868076 CPUtime=0.07
/proc/28655/task/28660/stat : 28660 (java) S 28653 28655 28551 0 -1 64 9 538 0 0 0 0 6 1 16 0 9 0 27179360 888909824 18625 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28655/tid=28661] ppid=28653 vsize=868076 CPUtime=0.07
/proc/28655/task/28661/stat : 28661 (java) S 28653 28655 28551 0 -1 64 2 538 0 0 0 0 6 1 23 0 9 0 27179362 888909824 18625 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28655/tid=28662] ppid=28653 vsize=868076 CPUtime=0.41
/proc/28655/task/28662/stat : 28662 (java) S 28653 28655 28551 0 -1 64 912 538 0 0 33 1 6 1 16 0 9 0 27179362 888909824 18625 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28655/tid=28663] ppid=28653 vsize=868076 CPUtime=0.07
/proc/28655/task/28663/stat : 28663 (java) S 28653 28655 28551 0 -1 64 0 538 0 0 0 0 6 1 24 0 9 0 27179362 888909824 18626 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28655/tid=28664] ppid=28653 vsize=868076 CPUtime=0.07
/proc/28655/task/28664/stat : 28664 (java) S 28653 28655 28551 0 -1 64 35 538 0 0 0 0 6 1 15 0 9 0 27179363 888909824 18626 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 868076
Solver just ended. Dumping a history of the last processes samples
[startup+15.9021 s]
/proc/loadavg: 0.83 0.21 0.11 3/89 28668
/proc/meminfo: memFree=1740304/2055920 swapFree=4192812/4192956
[pid=28655] ppid=28653 vsize=867988 CPUtime=15.87
/proc/28655/stat : 28655 (java) S 28653 28655 28551 0 -1 0 31236 538 1 0 1565 15 6 1 18 0 9 0 27179358 888819712 19954 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28655/statm: 216997 19954 2638 9 0 211455 0
[pid=28655/tid=28657] ppid=28653 vsize=867988 CPUtime=15.39
/proc/28655/task/28657/stat : 28657 (java) R 28653 28655 28551 0 -1 64 23937 538 1 0 1521 11 6 1 25 0 9 0 27179359 888819712 19954 996147200 134512640 134550932 4294955968 18446744073709551615 4125952222 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28655/tid=28658] ppid=28653 vsize=867988 CPUtime=0.18
/proc/28655/task/28658/stat : 28658 (java) S 28653 28655 28551 0 -1 64 5522 538 0 0 10 1 6 1 16 0 9 0 27179360 888819712 19954 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28655/tid=28659] ppid=28653 vsize=867988 CPUtime=0.07
/proc/28655/task/28659/stat : 28659 (java) S 28653 28655 28551 0 -1 64 19 538 0 0 0 0 6 1 16 0 9 0 27179360 888819712 19954 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28655/tid=28660] ppid=28653 vsize=867988 CPUtime=0.07
/proc/28655/task/28660/stat : 28660 (java) S 28653 28655 28551 0 -1 64 11 538 0 0 0 0 6 1 16 0 9 0 27179360 888819712 19954 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28655/tid=28661] ppid=28653 vsize=867988 CPUtime=0.07
/proc/28655/task/28661/stat : 28661 (java) S 28653 28655 28551 0 -1 64 2 538 0 0 0 0 6 1 23 0 9 0 27179362 888819712 19954 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28655/tid=28662] ppid=28653 vsize=867988 CPUtime=0.41
/proc/28655/task/28662/stat : 28662 (java) S 28653 28655 28551 0 -1 64 912 538 0 0 33 1 6 1 16 0 9 0 27179362 888819712 19954 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28655/tid=28663] ppid=28653 vsize=867988 CPUtime=0.07
/proc/28655/task/28663/stat : 28663 (java) S 28653 28655 28551 0 -1 64 0 538 0 0 0 0 6 1 24 0 9 0 27179362 888819712 19954 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28655/tid=28664] ppid=28653 vsize=867988 CPUtime=0.07
/proc/28655/task/28664/stat : 28664 (java) S 28653 28655 28551 0 -1 64 35 538 0 0 0 0 6 1 15 0 9 0 27179363 888819712 19954 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 15.87
Current children cumulated vsize (KiB) 867988
[startup+19.1017 s]
/proc/loadavg: 0.93 0.24 0.12 3/89 28668
/proc/meminfo: memFree=1740304/2055920 swapFree=4192812/4192956
[pid=28655] ppid=28653 vsize=867988 CPUtime=19.07
/proc/28655/stat : 28655 (java) S 28653 28655 28551 0 -1 0 31237 538 1 0 1885 15 6 1 18 0 9 0 27179358 888819712 19955 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28655/statm: 216997 19955 2638 9 0 211455 0
[pid=28655/tid=28657] ppid=28653 vsize=867988 CPUtime=18.59
/proc/28655/task/28657/stat : 28657 (java) R 28653 28655 28551 0 -1 64 23937 538 1 0 1841 11 6 1 25 0 9 0 27179359 888819712 19955 996147200 134512640 134550932 4294955968 18446744073709551615 4127130849 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28655/tid=28658] ppid=28653 vsize=867988 CPUtime=0.18
/proc/28655/task/28658/stat : 28658 (java) S 28653 28655 28551 0 -1 64 5522 538 0 0 10 1 6 1 16 0 9 0 27179360 888819712 19955 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28655/tid=28659] ppid=28653 vsize=867988 CPUtime=0.07
/proc/28655/task/28659/stat : 28659 (java) S 28653 28655 28551 0 -1 64 19 538 0 0 0 0 6 1 16 0 9 0 27179360 888819712 19955 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28655/tid=28660] ppid=28653 vsize=867988 CPUtime=0.07
/proc/28655/task/28660/stat : 28660 (java) S 28653 28655 28551 0 -1 64 11 538 0 0 0 0 6 1 16 0 9 0 27179360 888819712 19955 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28655/tid=28661] ppid=28653 vsize=867988 CPUtime=0.07
/proc/28655/task/28661/stat : 28661 (java) S 28653 28655 28551 0 -1 64 2 538 0 0 0 0 6 1 23 0 9 0 27179362 888819712 19955 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28655/tid=28662] ppid=28653 vsize=867988 CPUtime=0.41
/proc/28655/task/28662/stat : 28662 (java) S 28653 28655 28551 0 -1 64 913 538 0 0 33 1 6 1 16 0 9 0 27179362 888819712 19955 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28655/tid=28663] ppid=28653 vsize=867988 CPUtime=0.07
/proc/28655/task/28663/stat : 28663 (java) S 28653 28655 28551 0 -1 64 0 538 0 0 0 0 6 1 24 0 9 0 27179362 888819712 19955 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28655/tid=28664] ppid=28653 vsize=867988 CPUtime=0.07
/proc/28655/task/28664/stat : 28664 (java) S 28653 28655 28551 0 -1 64 35 538 0 0 0 0 6 1 15 0 9 0 27179363 888819712 19955 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 19.07
Current children cumulated vsize (KiB) 867988
[startup+19.9029 s]
/proc/loadavg: 0.93 0.24 0.12 3/89 28668
/proc/meminfo: memFree=1740304/2055920 swapFree=4192812/4192956
[pid=28655] ppid=28653 vsize=867988 CPUtime=19.87
/proc/28655/stat : 28655 (java) S 28653 28655 28551 0 -1 0 31238 538 1 0 1965 15 6 1 18 0 9 0 27179358 888819712 19955 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28655/statm: 216997 19955 2638 9 0 211455 0
[pid=28655/tid=28657] ppid=28653 vsize=867988 CPUtime=19.39
/proc/28655/task/28657/stat : 28657 (java) R 28653 28655 28551 0 -1 64 23938 538 1 0 1921 11 6 1 25 0 9 0 27179359 888819712 19955 996147200 134512640 134550932 4294955968 18446744073709551615 4127127999 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28655/tid=28658] ppid=28653 vsize=867988 CPUtime=0.18
/proc/28655/task/28658/stat : 28658 (java) S 28653 28655 28551 0 -1 64 5522 538 0 0 10 1 6 1 17 0 9 0 27179360 888819712 19955 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28655/tid=28659] ppid=28653 vsize=867988 CPUtime=0.07
/proc/28655/task/28659/stat : 28659 (java) S 28653 28655 28551 0 -1 64 19 538 0 0 0 0 6 1 16 0 9 0 27179360 888819712 19955 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28655/tid=28660] ppid=28653 vsize=867988 CPUtime=0.07
/proc/28655/task/28660/stat : 28660 (java) S 28653 28655 28551 0 -1 64 11 538 0 0 0 0 6 1 16 0 9 0 27179360 888819712 19955 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28655/tid=28661] ppid=28653 vsize=867988 CPUtime=0.07
/proc/28655/task/28661/stat : 28661 (java) S 28653 28655 28551 0 -1 64 2 538 0 0 0 0 6 1 23 0 9 0 27179362 888819712 19955 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28655/tid=28662] ppid=28653 vsize=867988 CPUtime=0.41
/proc/28655/task/28662/stat : 28662 (java) S 28653 28655 28551 0 -1 64 913 538 0 0 33 1 6 1 16 0 9 0 27179362 888819712 19955 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28655/tid=28663] ppid=28653 vsize=867988 CPUtime=0.07
/proc/28655/task/28663/stat : 28663 (java) S 28653 28655 28551 0 -1 64 0 538 0 0 0 0 6 1 24 0 9 0 27179362 888819712 19955 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28655/tid=28664] ppid=28653 vsize=867988 CPUtime=0.07
/proc/28655/task/28664/stat : 28664 (java) S 28653 28655 28551 0 -1 64 35 538 0 0 0 0 6 1 15 0 9 0 27179363 888819712 19955 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 19.87
Current children cumulated vsize (KiB) 867988
[startup+20.3029 s]
/proc/loadavg: 0.93 0.24 0.12 3/89 28668
/proc/meminfo: memFree=1740304/2055920 swapFree=4192812/4192956
[pid=28655] ppid=28653 vsize=867988 CPUtime=20.27
/proc/28655/stat : 28655 (java) S 28653 28655 28551 0 -1 0 31238 538 1 0 2005 15 6 1 18 0 9 0 27179358 888819712 19955 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28655/statm: 216997 19955 2638 9 0 211455 0
[pid=28655/tid=28657] ppid=28653 vsize=867988 CPUtime=19.79
/proc/28655/task/28657/stat : 28657 (java) R 28653 28655 28551 0 -1 64 23938 538 1 0 1961 11 6 1 25 0 9 0 27179359 888819712 19955 996147200 134512640 134550932 4294955968 18446744073709551615 4127136220 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28655/tid=28658] ppid=28653 vsize=867988 CPUtime=0.18
/proc/28655/task/28658/stat : 28658 (java) S 28653 28655 28551 0 -1 64 5522 538 0 0 10 1 6 1 16 0 9 0 27179360 888819712 19955 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28655/tid=28659] ppid=28653 vsize=867988 CPUtime=0.07
/proc/28655/task/28659/stat : 28659 (java) S 28653 28655 28551 0 -1 64 19 538 0 0 0 0 6 1 16 0 9 0 27179360 888819712 19955 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28655/tid=28660] ppid=28653 vsize=867988 CPUtime=0.07
/proc/28655/task/28660/stat : 28660 (java) S 28653 28655 28551 0 -1 64 11 538 0 0 0 0 6 1 16 0 9 0 27179360 888819712 19955 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28655/tid=28661] ppid=28653 vsize=867988 CPUtime=0.07
/proc/28655/task/28661/stat : 28661 (java) S 28653 28655 28551 0 -1 64 2 538 0 0 0 0 6 1 23 0 9 0 27179362 888819712 19955 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28655/tid=28662] ppid=28653 vsize=867988 CPUtime=0.41
/proc/28655/task/28662/stat : 28662 (java) S 28653 28655 28551 0 -1 64 913 538 0 0 33 1 6 1 16 0 9 0 27179362 888819712 19955 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28655/tid=28663] ppid=28653 vsize=867988 CPUtime=0.07
/proc/28655/task/28663/stat : 28663 (java) S 28653 28655 28551 0 -1 64 0 538 0 0 0 0 6 1 24 0 9 0 27179362 888819712 19955 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28655/tid=28664] ppid=28653 vsize=867988 CPUtime=0.07
/proc/28655/task/28664/stat : 28664 (java) S 28653 28655 28551 0 -1 64 35 538 0 0 0 0 6 1 15 0 9 0 27179363 888819712 19955 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 20.27
Current children cumulated vsize (KiB) 867988
[startup+20.503 s]
/proc/loadavg: 0.93 0.24 0.12 3/89 28668
/proc/meminfo: memFree=1740304/2055920 swapFree=4192812/4192956
[pid=28655] ppid=28653 vsize=867988 CPUtime=20.44
/proc/28655/stat : 28655 (java) S 28653 28655 28551 0 -1 0 31243 538 1 0 2022 15 6 1 18 0 9 0 27179358 888819712 19958 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28655/statm: 216997 19958 2638 9 0 211455 0
[pid=28655/tid=28657] ppid=28653 vsize=867988 CPUtime=19.95
/proc/28655/task/28657/stat : 28657 (java) S 28653 28655 28551 0 -1 64 23942 538 1 0 1977 11 6 1 25 0 9 0 27179359 888819712 19958 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28655/tid=28658] ppid=28653 vsize=867988 CPUtime=0.18
/proc/28655/task/28658/stat : 28658 (java) S 28653 28655 28551 0 -1 64 5522 538 0 0 10 1 6 1 16 0 9 0 27179360 888819712 19958 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28655/tid=28659] ppid=28653 vsize=867988 CPUtime=0.07
/proc/28655/task/28659/stat : 28659 (java) S 28653 28655 28551 0 -1 64 19 538 0 0 0 0 6 1 16 0 9 0 27179360 888819712 19958 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28655/tid=28660] ppid=28653 vsize=867988 CPUtime=0.07
/proc/28655/task/28660/stat : 28660 (java) S 28653 28655 28551 0 -1 64 11 538 0 0 0 0 6 1 16 0 9 0 27179360 888819712 19958 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28655/tid=28661] ppid=28653 vsize=867988 CPUtime=0.07
/proc/28655/task/28661/stat : 28661 (java) S 28653 28655 28551 0 -1 64 2 538 0 0 0 0 6 1 23 0 9 0 27179362 888819712 19958 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28655/tid=28662] ppid=28653 vsize=867988 CPUtime=0.41
/proc/28655/task/28662/stat : 28662 (java) S 28653 28655 28551 0 -1 64 914 538 0 0 33 1 6 1 16 0 9 0 27179362 888819712 19958 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28655/tid=28663] ppid=28653 vsize=867988 CPUtime=0.07
/proc/28655/task/28663/stat : 28663 (java) S 28653 28655 28551 0 -1 64 0 538 0 0 0 0 6 1 24 0 9 0 27179362 888819712 19958 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28655/tid=28664] ppid=28653 vsize=867988 CPUtime=0.07
/proc/28655/task/28664/stat : 28664 (java) S 28653 28655 28551 0 -1 64 35 538 0 0 0 0 6 1 15 0 9 0 27179363 888819712 19958 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 20.44
Current children cumulated vsize (KiB) 867988
Child status: 0
Real time (s): 20.5168
CPU time (s): 20.4639
CPU user time (s): 20.2839
CPU system time (s): 0.179972
CPU usage (%): 99.7419
Max. virtual memory (cumulated for all children) (KiB): 868088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.2839
system time used= 0.179972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31809
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= 1931
involuntary context switches= 2048
runsolver used 0.017997 second user time and 0.086986 second system time
The end
Begin job on node45 at 2009-07-12 14:19:16
IDJOB=2093287
IDBENCH=53497
IDSOLVER=773
FILE ID=node45/2093287-1247401156
PBS_JOBID= 9510554
Free space on /tmp= 66460 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/QWH-20/normalized-qwh-20-166-9_ext.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= BIN/runsolver --timestamp -w /tmp/evaluation-result-2093287-1247401156/watcher-2093287-1247401156 -o /tmp/evaluation-result-2093287-1247401156/solver-2093287-1247401156 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2093287-1247401156.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= f341bcbb822137fae0fc70d4bdb2f9b2
RANDOM SEED=895175559
node45.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: 1811136 kB
Buffers: 33728 kB
Cached: 107236 kB
SwapCached: 0 kB
Active: 134672 kB
Inactive: 55116 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1811136 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2620 kB
Writeback: 0 kB
Mapped: 69272 kB
Slab: 40320 kB
Committed_AS: 1000960 kB
PageTables: 1832 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= 66460 MiB
End job on node45 at 2009-07-12 14:19:36