0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=pfc.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/281927-1169315748/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=65 nbDomainTypes=2 minDomainSize=1 maxDomainSize=2
0.40 => wckTime=0.104 cpuTime=0.09 mem=6M910
0.40
0.40 relations being loaded...
0.40
0.40 constraints being loaded...
0.48 nbConstraints=256 nbRelationTypes=2 nbSingletonDomainVariables=1 nbExtensionStructures=2
0.48 nbSharedExtensionStructures=254 nbConflictsStructures=2 nbSharedConflictsStructures=254
0.48 nbSharedBinaryRepresentations=3 maxDegree=64 maxArity=2
0.48 => wckTime=0.181 cpuTime=0.14 mem=8M860
0.51
0.51 solver LocalSearchSolver being built...
0.56 => wckTime=0.26 cpuTime=0.18 mem=5M498
0.56
0.56 s SATISFIABLE
0.56 o 171
0.56 c 85
0.56 o 175
0.56 c 81
0.56 o 179
0.56 c 77
0.56 o 183
0.56 c 73
0.56 o 186
0.56 c 70
0.56 o 189
0.56 c 67
0.56 o 192
0.56 c 64
0.56 o 195
0.56 c 61
0.56 o 198
0.56 c 58
0.56 o 201
0.56 c 55
0.57 o 204
0.57 c 52
0.57 o 206
0.57 c 50
0.57 o 207
0.57 c 49
0.57 o 208
0.57 c 48
0.57 o 209
0.57 c 47
0.57 o 210
0.57 c 46
0.57 o 211
0.57 c 45
0.57 o 212
0.57 c 44
0.58 o 213
0.58 c 43
0.58 o 214
0.58 c 42
0.58 o 215
0.58 c 41
0.58 o 216
0.58 c 40
0.60 o 217
0.60 c 39
0.60 o 218
0.60 c 38
0.61 o 219
0.61 c 37
0.61 o 224
0.61 c 32
1.52
1.52 search
1.52 run=0 nbConstraintChecks=2270162 nbAssignments=10000
1.52 => wckTime=0.965 cpuTime=0.91 mem=5M498
2.40
2.40 search
2.40 run=1 nbConstraintChecks=4585648 nbAssignments=20000
2.40 => wckTime=1.843 cpuTime=1.79 mem=5M498
3.27
3.27 search
3.27 run=2 nbConstraintChecks=6842444 nbAssignments=30000
3.27 => wckTime=2.716 cpuTime=2.66 mem=5M498
4.15
4.15 search
4.15 run=3 nbConstraintChecks=9159167 nbAssignments=40000
4.15 => wckTime=3.597 cpuTime=3.53 mem=5M498
5.03
5.03 search
5.03 run=4 nbConstraintChecks=11424806 nbAssignments=50000
5.03 => wckTime=4.477 cpuTime=4.41 mem=5M498
5.92
5.92 search
5.92 run=5 nbConstraintChecks=13720663 nbAssignments=60000
5.92 => wckTime=5.365 cpuTime=5.29 mem=5M498
6.80
6.80 search
6.80 run=6 nbConstraintChecks=15984434 nbAssignments=70000
6.80 => wckTime=6.244 cpuTime=6.17 mem=5M498
7.69
7.69 search
7.69 run=7 nbConstraintChecks=18317255 nbAssignments=80000
7.69 => wckTime=7.136 cpuTime=7.06 mem=5M498
8.57
8.57 search
8.57 run=8 nbConstraintChecks=20574759 nbAssignments=90000
8.57 => wckTime=8.019 cpuTime=7.93 mem=5M498
9.46
9.46 search
9.46 run=9 nbConstraintChecks=22892546 nbAssignments=100000
9.46 => wckTime=8.911 cpuTime=8.82 mem=5M498
10.35
10.35 search
10.35 run=10 nbConstraintChecks=25158568 nbAssignments=110000
10.35 => wckTime=9.797 cpuTime=9.7 mem=5M498
11.24
11.24 search
11.24 run=11 nbConstraintChecks=27487975 nbAssignments=120000
11.24 => wckTime=10.685 cpuTime=10.59 mem=5M498
12.12
12.12 search
12.12 run=12 nbConstraintChecks=29743545 nbAssignments=130000
12.12 => wckTime=11.569 cpuTime=11.47 mem=5M498
13.02
13.02 search
13.02 run=13 nbConstraintChecks=32076167 nbAssignments=140000
13.02 => wckTime=12.462 cpuTime=12.35 mem=5M498
13.90
13.90 search
13.90 run=14 nbConstraintChecks=34336339 nbAssignments=150000
13.90 => wckTime=13.346 cpuTime=13.23 mem=5M498
14.78
14.78 search
14.78 run=15 nbConstraintChecks=36641811 nbAssignments=160000
14.78 => wckTime=14.229 cpuTime=14.12 mem=5M498
15.66
15.66 search
15.66 run=16 nbConstraintChecks=38910323 nbAssignments=170000
15.66 => wckTime=15.108 cpuTime=14.99 mem=5M498
16.55
16.55 search
16.55 run=17 nbConstraintChecks=41240808 nbAssignments=180000
16.55 => wckTime=15.993 cpuTime=15.87 mem=5M498
17.42
17.42 search
17.42 run=18 nbConstraintChecks=43508878 nbAssignments=190000
17.42 => wckTime=16.87 cpuTime=16.75 mem=5M498
18.31
18.31 search
18.31 run=19 nbConstraintChecks=45816814 nbAssignments=200000
18.31 => wckTime=17.754 cpuTime=17.62 mem=5M498
19.18
19.18 search
19.18 run=20 nbConstraintChecks=48076140 nbAssignments=210000
19.18 => wckTime=18.628 cpuTime=18.5 mem=5M498
20.06
20.06 search
20.06 run=21 nbConstraintChecks=50380960 nbAssignments=220000
20.06 => wckTime=19.511 cpuTime=19.37 mem=5M498
20.94
20.94 search
20.94 run=22 nbConstraintChecks=52643284 nbAssignments=230000
20.94 => wckTime=20.389 cpuTime=20.25 mem=5M498
21.83
21.83 search
21.83 run=23 nbConstraintChecks=54952997 nbAssignments=240000
21.83 => wckTime=21.278 cpuTime=21.13 mem=5M498
22.71
22.71 search
22.71 run=24 nbConstraintChecks=57228160 nbAssignments=250000
22.71 => wckTime=22.154 cpuTime=22.0 mem=5M498
23.59
23.59 search
23.59 run=25 nbConstraintChecks=59553835 nbAssignments=260000
23.59 => wckTime=23.039 cpuTime=22.88 mem=5M498
24.47
24.47 search
24.47 run=26 nbConstraintChecks=61812440 nbAssignments=270000
24.47 => wckTime=23.918 cpuTime=23.75 mem=5M498
25.36
25.36 search
25.36 run=27 nbConstraintChecks=64126569 nbAssignments=280000
25.36 => wckTime=24.81 cpuTime=24.64 mem=5M498
26.26
26.26 search
26.26 run=28 nbConstraintChecks=66391059 nbAssignments=290000
26.26 => wckTime=25.705 cpuTime=25.52 mem=5M498
27.15
27.15 search
27.15 run=29 nbConstraintChecks=68714072 nbAssignments=300000
27.15 => wckTime=26.594 cpuTime=26.42 mem=5M498
28.03
28.03 search
28.03 run=30 nbConstraintChecks=70968307 nbAssignments=310000
28.03 => wckTime=27.479 cpuTime=27.3 mem=5M498
28.92
28.92 search
28.92 run=31 nbConstraintChecks=73271482 nbAssignments=320000
28.92 => wckTime=28.369 cpuTime=28.18 mem=5M498
29.81
29.81 search
29.81 run=32 nbConstraintChecks=75527378 nbAssignments=330000
29.81 => wckTime=29.254 cpuTime=29.06 mem=5M498
30.70
30.70 search
30.70 run=33 nbConstraintChecks=77854311 nbAssignments=340000
30.70 => wckTime=30.15 cpuTime=29.95 mem=5M498
30.79
30.79 search
30.79 run=34 nbConstraintChecks=78049154 nbAssignments=340993
30.79 => wckTime=30.234 cpuTime=30.04 mem=5M498
30.79
30.79 global
30.79 nbConstraintChecks=78049154 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.79 solvingWckTime=30.232 solvingCpuTime=30.04 expiredTime=no totalExploration=no nbFoundSolutions=0
30.79 globalCpuTime=30.27
30.79 => wckTime=30.494 cpuTime=30.22 mem=5M498
30.79
30.79 solver IterativeSystematicSolver being built...
30.92 => wckTime=30.621 cpuTime=30.32 mem=16M536
30.92
30.92 preprocessing
30.92 nbConstraintChecks=128 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
30.92 detectedInconsistency=no
30.92 => wckTime=0.0050 cpuTime=0.0 mem=16M536
30.98
30.98 search
30.98 run=0 nbConstraintChecks=17390 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=32
30.98 nbFailedAssignments=10 nbBacktracks=10 nbVisitedNodes=53 nbRestartNogoods=0
30.98 => wckTime=0.063 cpuTime=0.04 mem=16M536
31.02
31.02 search
31.02 run=1 nbConstraintChecks=40906 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=73
31.02 nbFailedAssignments=25 nbBacktracks=25 nbVisitedNodes=124 nbRestartNogoods=1
31.02 => wckTime=0.106 cpuTime=0.07 mem=16M536
31.06
31.06 search
31.06 run=2 nbConstraintChecks=77192 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=133
31.06 nbFailedAssignments=54 nbBacktracks=47 nbVisitedNodes=235 nbRestartNogoods=3
31.06 => wckTime=0.144 cpuTime=0.11 mem=16M536
31.12
31.12 search
31.12 run=3 nbConstraintChecks=132305 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=222
31.12 nbFailedAssignments=102 nbBacktracks=81 nbVisitedNodes=406 nbRestartNogoods=5
31.12 => wckTime=0.204 cpuTime=0.16 mem=16M536
31.20
31.20 search
31.20 run=4 nbConstraintChecks=204931 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=339
31.20 nbFailedAssignments=157 nbBacktracks=132 nbVisitedNodes=629 nbRestartNogoods=7
31.20 => wckTime=0.279 cpuTime=0.24 mem=16M536
31.32
31.32 search
31.32 run=5 nbConstraintChecks=332706 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=541
31.32 nbFailedAssignments=276 nbBacktracks=207 nbVisitedNodes=1025 nbRestartNogoods=10
31.32 => wckTime=0.401 cpuTime=0.36 mem=16M536
31.40
31.41 search
31.41 run=6 nbConstraintChecks=431235 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=735
31.41 nbFailedAssignments=346 nbBacktracks=320 nbVisitedNodes=1337 nbRestartNogoods=13
31.41 => wckTime=0.488 cpuTime=0.44 mem=16M536
31.68
31.68 search
31.68 run=7 nbConstraintChecks=712818 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1141
31.68 nbFailedAssignments=574 nbBacktracks=491 nbVisitedNodes=2142 nbRestartNogoods=18
31.68 => wckTime=0.761 cpuTime=0.71 mem=16M536
31.88
31.88 search
31.88 run=8 nbConstraintChecks=930012 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1570
31.88 nbFailedAssignments=736 nbBacktracks=747 nbVisitedNodes=2830 nbRestartNogoods=26
31.88 => wckTime=0.959 cpuTime=0.89 mem=16M536
32.42
32.42 search
32.42 run=9 nbConstraintChecks=1635613 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2681
32.42 nbFailedAssignments=1457 nbBacktracks=1131 nbVisitedNodes=5046 nbRestartNogoods=32
32.42 => wckTime=1.504 cpuTime=1.43 mem=16M536
32.77
32.77 search
32.77 run=10 nbConstraintChecks=2095878 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3667
32.77 nbFailedAssignments=1856 nbBacktracks=1709 nbVisitedNodes=6614 nbRestartNogoods=44
32.77 => wckTime=1.849 cpuTime=1.76 mem=16M536
33.93
33.93 search
33.93 run=11 nbConstraintChecks=3500729 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5824
33.93 nbFailedAssignments=3142 nbBacktracks=2574 nbVisitedNodes=10916 nbRestartNogoods=48
33.93 => wckTime=3.011 cpuTime=2.92 mem=16M536
35.22
35.22 search
35.22 run=12 nbConstraintChecks=5478944 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9028
35.22 nbFailedAssignments=5040 nbBacktracks=3871 nbVisitedNodes=17263 nbRestartNogoods=51
35.22 => wckTime=4.301 cpuTime=4.2 mem=16M536
36.62
36.62 search
36.62 run=13 nbConstraintChecks=7665218 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=13016
36.62 nbFailedAssignments=7065 nbBacktracks=5825 nbVisitedNodes=25045 nbRestartNogoods=59
36.62 => wckTime=5.698 cpuTime=5.59 mem=16M536
38.44
38.44 search
38.44 run=14 nbConstraintChecks=10393818 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=18052
38.44 nbFailedAssignments=9167 nbBacktracks=8746 nbVisitedNodes=34637 nbRestartNogoods=62
38.44 => wckTime=7.523 cpuTime=7.41 mem=16M536
40.02
40.02 search
40.02 run=15 nbConstraintChecks=13344330 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=23831
40.02 nbFailedAssignments=10550 nbBacktracks=13130 nbVisitedNodes=45582 nbRestartNogoods=68
40.02 => wckTime=9.102 cpuTime=8.98 mem=16M536
42.39
42.39 search
42.39 run=16 nbConstraintChecks=17506611 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=32468
42.39 nbFailedAssignments=12603 nbBacktracks=19703 nbVisitedNodes=60612 nbRestartNogoods=73
42.39 => wckTime=11.473 cpuTime=11.34 mem=16M536
45.34
45.34 search
45.34 run=17 nbConstraintChecks=22567720 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=44729
45.34 nbFailedAssignments=14999 nbBacktracks=29556 nbVisitedNodes=77946 nbRestartNogoods=79
45.34 => wckTime=14.42 cpuTime=14.29 mem=16M536
49.83
49.83 search
49.83 run=18 nbConstraintChecks=30793469 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=63196
49.83 nbFailedAssignments=18672 nbBacktracks=44334 nbVisitedNodes=107551 nbRestartNogoods=82
49.83 => wckTime=18.909 cpuTime=18.73 mem=16M536
57.84
57.84 search
57.84 run=19 nbConstraintChecks=44643201 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=93567
57.84 nbFailedAssignments=26862 nbBacktracks=66502 nbVisitedNodes=155176 nbRestartNogoods=92
57.84 => wckTime=26.923 cpuTime=26.71 mem=16M536
67.97
67.97 search
67.97 run=20 nbConstraintChecks=63177071 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=136337
67.97 nbFailedAssignments=36362 nbBacktracks=99758 nbVisitedNodes=220125 nbRestartNogoods=100
67.97 => wckTime=37.056 cpuTime=36.81 mem=16M536
84.41
84.41 search
84.41 run=21 nbConstraintChecks=93210277 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=202889
84.41 nbFailedAssignments=53013 nbBacktracks=149644 nbVisitedNodes=325364 nbRestartNogoods=104
84.41 => wckTime=53.495 cpuTime=53.17 mem=16M536
109.31
109.31 search
109.31 run=22 nbConstraintChecks=138690977 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=304219
109.31 nbFailedAssignments=79500 nbBacktracks=224467 nbVisitedNodes=481798 nbRestartNogoods=113
109.31 => wckTime=78.397 cpuTime=77.95 mem=16M536
130.03
130.03 search
130.03 run=23 nbConstraintChecks=178570225 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=392128
130.03 nbFailedAssignments=103370 nbBacktracks=288507 nbVisitedNodes=618821 nbRestartNogoods=124
130.03 => wckTime=99.108 cpuTime=98.56 mem=16M536
130.03
130.03 global
130.03 nbConstraintChecks=178570353 nbRestartNogoods=124 solvingWckTime=99.109 solvingCpuTime=98.56 expiredTime=no
130.03 totalExploration=yes nbFoundSolutions=0 globalCpuTime=128.93
130.03 => wckTime=129.731 cpuTime=128.88 mem=16M536
130.03
130.03 s OPTIMUM FOUND
130.03 v 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 -1
130.03
130.03 totalWckTime=129.807 totalCpuTime=128.94
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node11/watcher-281927-1169315748 -o ROOT/results/node11/solver-281927-1169315748 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281927-1169315748/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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
/proc/loadavg: 1.92 1.98 1.99 4/93 27282
/proc/meminfo: memFree=1244824/2055920 swapFree=4171812/4192956
[pid=27281] ppid=27279 vsize=220 CPUtime=0
/proc/27281/stat : 27281 (java) R 27279 27281 27213 0 -1 0 219 0 0 0 0 0 0 0 18 0 1 0 279969835 225280 27 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7942316 0 0 4096 0 0 0 0 17 0 0 0
/proc/27281/statm: 73 32 25 14 0 5 0
[startup+0.107173 s]
/proc/loadavg: 1.92 1.98 1.99 4/93 27282
/proc/meminfo: memFree=1244824/2055920 swapFree=4171812/4192956
[pid=27281] ppid=27279 vsize=914988 CPUtime=0.09
/proc/27281/stat : 27281 (java) R 27279 27281 27213 0 -1 0 3067 0 1 0 7 2 0 0 22 0 8 0 279969835 936947712 2813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27281/statm: 228747 2814 1452 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515255 s]
/proc/loadavg: 1.92 1.98 1.99 4/93 27282
/proc/meminfo: memFree=1244824/2055920 swapFree=4171812/4192956
[pid=27281] ppid=27279 vsize=915332 CPUtime=0.49
/proc/27281/stat : 27281 (java) R 27279 27281 27213 0 -1 0 6679 0 1 0 45 4 0 0 25 0 8 0 279969835 937299968 6417 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27281/statm: 228833 6417 2168 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33942 s]
/proc/loadavg: 1.92 1.98 1.99 3/100 27289
/proc/meminfo: memFree=1227424/2055920 swapFree=4171812/4192956
[pid=27281] ppid=27279 vsize=915332 CPUtime=1.29
/proc/27281/stat : 27281 (java) R 27279 27281 27213 0 -1 0 7029 0 1 0 94 35 0 0 25 0 8 0 279969835 937299968 6767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27281/statm: 228834 6767 2476 14 0 215304 0
[pid=27281/tid=27283] ppid=27279 vsize=915332 CPUtime=0.02
/proc/27281/task/27283/stat : 27283 (java) S 27279 27281 27213 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 279969839 937299968 6767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27281/tid=27284] ppid=27279 vsize=915332 CPUtime=0
/proc/27281/task/27284/stat : 27284 (java) S 27279 27281 27213 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 279969839 937299968 6767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27281/tid=27285] ppid=27279 vsize=915332 CPUtime=0
/proc/27281/task/27285/stat : 27285 (java) S 27279 27281 27213 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279969839 937299968 6767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27281/tid=27286] ppid=27279 vsize=915332 CPUtime=0
/proc/27281/task/27286/stat : 27286 (java) S 27279 27281 27213 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279969842 937299968 6767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27281/tid=27287] ppid=27279 vsize=915332 CPUtime=0.11
/proc/27281/task/27287/stat : 27287 (java) S 27279 27281 27213 0 -1 64 324 0 0 0 11 0 0 0 16 0 8 0 279969842 937299968 6767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27281/tid=27288] ppid=27279 vsize=915332 CPUtime=0
/proc/27281/task/27288/stat : 27288 (java) S 27279 27281 27213 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279969842 937299968 6767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27281/tid=27289] ppid=27279 vsize=915332 CPUtime=0
/proc/27281/task/27289/stat : 27289 (java) S 27279 27281 27213 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279969842 937299968 6767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915332
[startup+2.97674 s]
/proc/loadavg: 1.92 1.98 1.99 3/100 27289
/proc/meminfo: memFree=1227360/2055920 swapFree=4171812/4192956
[pid=27281] ppid=27279 vsize=915332 CPUtime=2.91
/proc/27281/stat : 27281 (java) R 27279 27281 27213 0 -1 0 7033 0 1 0 187 104 0 0 25 0 8 0 279969835 937299968 6770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27281/statm: 228833 6770 2476 14 0 215303 0
[pid=27281/tid=27283] ppid=27279 vsize=915332 CPUtime=0.02
/proc/27281/task/27283/stat : 27283 (java) S 27279 27281 27213 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 279969839 937299968 6770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27281/tid=27284] ppid=27279 vsize=915332 CPUtime=0
/proc/27281/task/27284/stat : 27284 (java) S 27279 27281 27213 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 279969839 937299968 6770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27281/tid=27285] ppid=27279 vsize=915332 CPUtime=0
/proc/27281/task/27285/stat : 27285 (java) S 27279 27281 27213 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279969839 937299968 6770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27281/tid=27286] ppid=27279 vsize=915332 CPUtime=0
/proc/27281/task/27286/stat : 27286 (java) S 27279 27281 27213 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279969842 937299968 6770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27281/tid=27287] ppid=27279 vsize=915332 CPUtime=0.11
/proc/27281/task/27287/stat : 27287 (java) S 27279 27281 27213 0 -1 64 327 0 0 0 11 0 0 0 16 0 8 0 279969842 937299968 6770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27281/tid=27288] ppid=27279 vsize=915332 CPUtime=0
/proc/27281/task/27288/stat : 27288 (java) S 27279 27281 27213 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279969842 937299968 6770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27281/tid=27289] ppid=27279 vsize=915336 CPUtime=0
/proc/27281/task/27289/stat : 27289 (java) S 27279 27281 27213 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279969842 937304064 6770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915332
[startup+6.2744 s]
/proc/loadavg: 1.93 1.98 1.99 3/100 27289
/proc/meminfo: memFree=1227304/2055920 swapFree=4171812/4192956
[pid=27281] ppid=27279 vsize=915336 CPUtime=6.19
/proc/27281/stat : 27281 (java) R 27279 27281 27213 0 -1 0 7033 0 1 0 376 243 0 0 25 0 8 0 279969835 937304064 6770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27281/statm: 228833 6770 2476 14 0 215303 0
[pid=27281/tid=27283] ppid=27279 vsize=915336 CPUtime=0.02
/proc/27281/task/27283/stat : 27283 (java) S 27279 27281 27213 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 279969839 937304064 6770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27281/tid=27284] ppid=27279 vsize=915332 CPUtime=0
/proc/27281/task/27284/stat : 27284 (java) S 27279 27281 27213 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 279969839 937299968 6770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27281/tid=27285] ppid=27279 vsize=915332 CPUtime=0
/proc/27281/task/27285/stat : 27285 (java) S 27279 27281 27213 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279969839 937299968 6770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27281/tid=27286] ppid=27279 vsize=915332 CPUtime=0
/proc/27281/task/27286/stat : 27286 (java) S 27279 27281 27213 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279969842 937299968 6770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27281/tid=27287] ppid=27279 vsize=915332 CPUtime=0.11
/proc/27281/task/27287/stat : 27287 (java) S 27279 27281 27213 0 -1 64 327 0 0 0 11 0 0 0 16 0 8 0 279969842 937299968 6770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27281/tid=27288] ppid=27279 vsize=915332 CPUtime=0
/proc/27281/task/27288/stat : 27288 (java) S 27279 27281 27213 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279969842 937299968 6770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27281/tid=27289] ppid=27279 vsize=915336 CPUtime=0
/proc/27281/task/27289/stat : 27289 (java) S 27279 27281 27213 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279969842 937304064 6770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915336
[startup+12.7497 s]
/proc/loadavg: 1.93 1.98 1.99 3/100 27289
/proc/meminfo: memFree=1227304/2055920 swapFree=4171812/4192956
[pid=27281] ppid=27279 vsize=915336 CPUtime=12.64
/proc/27281/stat : 27281 (java) R 27279 27281 27213 0 -1 0 7033 0 1 0 748 516 0 0 25 0 8 0 279969835 937304064 6770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27281/statm: 228833 6770 2476 14 0 215303 0
[pid=27281/tid=27283] ppid=27279 vsize=915332 CPUtime=0.02
/proc/27281/task/27283/stat : 27283 (java) S 27279 27281 27213 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 279969839 937299968 6770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27281/tid=27284] ppid=27279 vsize=915332 CPUtime=0
/proc/27281/task/27284/stat : 27284 (java) S 27279 27281 27213 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 279969839 937299968 6770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27281/tid=27285] ppid=27279 vsize=915332 CPUtime=0
/proc/27281/task/27285/stat : 27285 (java) S 27279 27281 27213 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279969839 937299968 6770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27281/tid=27286] ppid=27279 vsize=915332 CPUtime=0
/proc/27281/task/27286/stat : 27286 (java) S 27279 27281 27213 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279969842 937299968 6770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27281/tid=27287] ppid=27279 vsize=915332 CPUtime=0.11
/proc/27281/task/27287/stat : 27287 (java) S 27279 27281 27213 0 -1 64 327 0 0 0 11 0 0 0 16 0 8 0 279969842 937299968 6770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27281/tid=27288] ppid=27279 vsize=915332 CPUtime=0
/proc/27281/task/27288/stat : 27288 (java) S 27279 27281 27213 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279969842 937299968 6770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27281/tid=27289] ppid=27279 vsize=915332 CPUtime=0
/proc/27281/task/27289/stat : 27289 (java) S 27279 27281 27213 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279969842 937299968 6770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915336
[startup+25.6032 s]
/proc/loadavg: 1.95 1.98 1.99 3/100 27289
/proc/meminfo: memFree=1227304/2055920 swapFree=4171812/4192956
[pid=27281] ppid=27279 vsize=915480 CPUtime=25.44
/proc/27281/stat : 27281 (java) R 27279 27281 27213 0 -1 0 7039 0 1 0 1496 1048 0 0 25 0 8 0 279969835 937451520 6776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27281/statm: 228870 6776 2476 14 0 215340 0
[pid=27281/tid=27283] ppid=27279 vsize=915480 CPUtime=0.02
/proc/27281/task/27283/stat : 27283 (java) S 27279 27281 27213 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 279969839 937451520 6776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27281/tid=27284] ppid=27279 vsize=915484 CPUtime=0
/proc/27281/task/27284/stat : 27284 (java) S 27279 27281 27213 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 279969839 937455616 6776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27281/tid=27285] ppid=27279 vsize=915480 CPUtime=0
/proc/27281/task/27285/stat : 27285 (java) S 27279 27281 27213 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279969839 937451520 6776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27281/tid=27286] ppid=27279 vsize=915484 CPUtime=0
/proc/27281/task/27286/stat : 27286 (java) S 27279 27281 27213 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279969842 937455616 6776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27281/tid=27287] ppid=27279 vsize=915480 CPUtime=0.12
/proc/27281/task/27287/stat : 27287 (java) S 27279 27281 27213 0 -1 64 333 0 0 0 12 0 0 0 16 0 8 0 279969842 937451520 6776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27281/tid=27288] ppid=27279 vsize=915484 CPUtime=0
/proc/27281/task/27288/stat : 27288 (java) S 27279 27281 27213 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279969842 937455616 6776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27281/tid=27289] ppid=27279 vsize=915480 CPUtime=0
/proc/27281/task/27289/stat : 27289 (java) S 27279 27281 27213 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279969842 937451520 6776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 915480
[startup+51.2103 s]
/proc/loadavg: 1.96 1.98 1.99 3/100 27289
/proc/meminfo: memFree=1219560/2055920 swapFree=4171812/4192956
[pid=27281] ppid=27279 vsize=915448 CPUtime=50.91
/proc/27281/stat : 27281 (java) R 27279 27281 27213 0 -1 0 9083 0 1 0 3821 1270 0 0 25 0 8 0 279969835 937418752 8815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828843 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27281/statm: 228862 8815 2527 14 0 215332 0
[pid=27281/tid=27283] ppid=27279 vsize=915448 CPUtime=0.02
/proc/27281/task/27283/stat : 27283 (java) S 27279 27281 27213 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279969839 937418752 8815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27281/tid=27284] ppid=27279 vsize=915448 CPUtime=0
/proc/27281/task/27284/stat : 27284 (java) S 27279 27281 27213 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 279969839 937418752 8815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27281/tid=27285] ppid=27279 vsize=915448 CPUtime=0
/proc/27281/task/27285/stat : 27285 (java) S 27279 27281 27213 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279969839 937418752 8815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27281/tid=27286] ppid=27279 vsize=915448 CPUtime=0
/proc/27281/task/27286/stat : 27286 (java) S 27279 27281 27213 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279969842 937418752 8815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27281/tid=27287] ppid=27279 vsize=915448 CPUtime=0.22
/proc/27281/task/27287/stat : 27287 (java) S 27279 27281 27213 0 -1 64 392 0 0 0 22 0 0 0 16 0 8 0 279969842 937418752 8815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27281/tid=27288] ppid=27279 vsize=915448 CPUtime=0
/proc/27281/task/27288/stat : 27288 (java) S 27279 27281 27213 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279969842 937418752 8815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27281/tid=27289] ppid=27279 vsize=915448 CPUtime=0
/proc/27281/task/27289/stat : 27289 (java) S 27279 27281 27213 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279969842 937418752 8815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.91
Current children cumulated vsize (KiB) 915448
[startup+102.419 s]
/proc/loadavg: 1.98 1.98 1.99 3/100 27289
/proc/meminfo: memFree=1219560/2055920 swapFree=4171812/4192956
[pid=27281] ppid=27279 vsize=915448 CPUtime=101.88
/proc/27281/stat : 27281 (java) R 27279 27281 27213 0 -1 0 9090 0 1 0 8918 1270 0 0 25 0 8 0 279969835 937418752 8822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073818235 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27281/statm: 228862 8822 2527 14 0 215332 0
[pid=27281/tid=27283] ppid=27279 vsize=915448 CPUtime=0.02
/proc/27281/task/27283/stat : 27283 (java) S 27279 27281 27213 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279969839 937418752 8822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27281/tid=27284] ppid=27279 vsize=915448 CPUtime=0
/proc/27281/task/27284/stat : 27284 (java) S 27279 27281 27213 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 279969839 937418752 8822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27281/tid=27285] ppid=27279 vsize=915448 CPUtime=0
/proc/27281/task/27285/stat : 27285 (java) S 27279 27281 27213 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279969839 937418752 8822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27281/tid=27286] ppid=27279 vsize=915448 CPUtime=0
/proc/27281/task/27286/stat : 27286 (java) S 27279 27281 27213 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279969842 937418752 8822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27281/tid=27287] ppid=27279 vsize=915448 CPUtime=0.22
/proc/27281/task/27287/stat : 27287 (java) S 27279 27281 27213 0 -1 64 392 0 0 0 22 0 0 0 16 0 8 0 279969842 937418752 8822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27281/tid=27288] ppid=27279 vsize=915448 CPUtime=0
/proc/27281/task/27288/stat : 27288 (java) S 27279 27281 27213 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279969842 937418752 8822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27281/tid=27289] ppid=27279 vsize=915448 CPUtime=0
/proc/27281/task/27289/stat : 27289 (java) S 27279 27281 27213 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279969842 937418752 8822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 915448
Child status: 0
Real time (s): 130.051
CPU time (s): 129.39
CPU user time (s): 116.681
CPU system time (s): 12.7091
CPU usage (%): 99.4918
Max. virtual memory (cumulated for all children) (KiB): 915484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 116.681
system time used= 12.7091
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9192
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= 3811
involuntary context switches= 6598
runsolver used 0.138978 s user time and 0.447931 s system time
The end
Begin job on node11 on Sat Jan 20 17:55:48 UTC 2007
IDJOB= 281927
IDBENCH= 12313
IDSOLVER= 69
FILE ID= node11/281927-1169315748
PBS_JOBID= 3610029
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/maxclique/hamming-6-2_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281927-1169315748/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-281927-1169315748 -o ROOT/results/node11/solver-281927-1169315748 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281927-1169315748/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 3d39ff6e2468423d8011f7c045789ecc
RANDOM SEED= 622626590
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/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.261
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.261
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: 1245240 kB
Buffers: 65688 kB
Cached: 595644 kB
SwapCached: 3844 kB
Active: 259924 kB
Inactive: 470204 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1245240 kB
SwapTotal: 4192956 kB
SwapFree: 4171812 kB
Dirty: 1832 kB
Writeback: 0 kB
Mapped: 95600 kB
Slab: 65136 kB
Committed_AS: 9737788 kB
PageTables: 2480 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= 66561 MiB
End job on node11 on Sat Jan 20 17:57:58 UTC 2007