0.38
0.38 Abscon 109 (November, 2006)
0.38
0.38 configuration
0.38 name=pfc.xml
0.41
0.41 instance
0.41 name=/tmp/evaluation/281045-1169309574/unknown.xml
0.44
0.44 domains being loaded...
0.45
0.45 variables being loaded...
0.48 nbVariables=40 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.48 => wckTime=0.097 cpuTime=0.07 mem=6M910
0.48
0.48 relations being loaded...
0.53
0.53 constraints being loaded...
0.58 nbConstraints=101 nbRelationTypes=101 nbExtensionStructures=101 nbSharedExtensionStructures=0
0.58 nbConflictsStructures=101 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1238 maxDegree=12
0.58 maxArity=2
0.58 => wckTime=0.198 cpuTime=0.13 mem=8M860
0.62
0.62 solver LocalSearchSolver being built...
0.66 => wckTime=0.277 cpuTime=0.17 mem=5M493
0.66
0.67 s SATISFIABLE
0.67 o 44
0.67 c 57
0.67 o 49
0.67 c 52
0.67 o 53
0.67 c 48
0.67 o 56
0.67 c 45
0.67 o 59
0.67 c 42
0.67 o 62
0.67 c 39
0.67 o 65
0.67 c 36
0.67 o 66
0.67 c 35
0.67 o 67
0.67 c 34
0.68 o 69
0.68 c 32
0.68 o 71
0.68 c 30
0.68 o 73
0.68 c 28
0.68 o 74
0.68 c 27
0.68 o 75
0.68 c 26
0.68 o 76
0.68 c 25
0.68 o 77
0.68 c 24
0.68 o 79
0.68 c 22
0.68 o 80
0.68 c 21
0.68 o 81
0.68 c 20
0.68 o 82
0.68 c 19
0.68 o 83
0.68 c 18
0.68 o 84
0.68 c 17
0.69 o 85
0.69 c 16
0.69 o 86
0.69 c 15
0.69 o 87
0.69 c 14
0.69 o 88
0.69 c 13
0.69 o 89
0.69 c 12
0.69 o 90
0.69 c 11
0.70 o 91
0.70 c 10
0.70 o 92
0.70 c 9
0.72 o 93
0.72 c 8
0.72 o 94
0.72 c 7
0.72 o 95
0.72 c 6
0.75 o 96
0.75 c 5
2.10
2.10 search
2.10 run=0 nbConstraintChecks=6208424 nbAssignments=10000
2.10 => wckTime=1.443 cpuTime=1.41 mem=5M493
3.35
3.36 search
3.36 run=1 nbConstraintChecks=11889761 nbAssignments=20000
3.36 => wckTime=2.695 cpuTime=2.65 mem=5M493
4.67
4.67 search
4.67 run=2 nbConstraintChecks=18229984 nbAssignments=30000
4.67 => wckTime=4.013 cpuTime=3.96 mem=5M493
6.01
6.01 search
6.01 run=3 nbConstraintChecks=24731144 nbAssignments=40000
6.01 => wckTime=5.354 cpuTime=5.29 mem=5M493
7.30
7.31 search
7.31 run=4 nbConstraintChecks=30811546 nbAssignments=50000
7.31 => wckTime=6.645 cpuTime=6.57 mem=5M493
8.65
8.65 search
8.65 run=5 nbConstraintChecks=37240535 nbAssignments=60000
8.65 => wckTime=7.988 cpuTime=7.9 mem=5M493
9.94
9.94 search
9.94 run=6 nbConstraintChecks=43359213 nbAssignments=70000
9.94 => wckTime=9.275 cpuTime=9.17 mem=5M493
11.31
11.31 search
11.31 run=7 nbConstraintChecks=49949737 nbAssignments=80000
11.31 => wckTime=10.652 cpuTime=10.52 mem=5M493
12.61
12.61 search
12.61 run=8 nbConstraintChecks=56220828 nbAssignments=90000
12.61 => wckTime=11.954 cpuTime=11.81 mem=5M493
13.93
13.93 search
13.93 run=9 nbConstraintChecks=62586595 nbAssignments=100000
13.93 => wckTime=13.272 cpuTime=13.12 mem=5M493
15.23
15.23 search
15.23 run=10 nbConstraintChecks=68834871 nbAssignments=110000
15.23 => wckTime=14.573 cpuTime=14.41 mem=5M493
16.58
16.58 search
16.58 run=11 nbConstraintChecks=75313631 nbAssignments=120000
16.58 => wckTime=15.915 cpuTime=15.73 mem=5M493
17.87
17.87 search
17.87 run=12 nbConstraintChecks=81559018 nbAssignments=130000
17.87 => wckTime=17.21 cpuTime=17.02 mem=5M493
19.21
19.21 search
19.21 run=13 nbConstraintChecks=88051538 nbAssignments=140000
19.21 => wckTime=18.548 cpuTime=18.35 mem=5M493
20.52
20.52 search
20.52 run=14 nbConstraintChecks=94200603 nbAssignments=150000
20.52 => wckTime=19.855 cpuTime=19.65 mem=5M493
21.91
21.91 search
21.91 run=15 nbConstraintChecks=101046105 nbAssignments=160000
21.91 => wckTime=21.246 cpuTime=21.03 mem=5M493
23.18
23.18 search
23.18 run=16 nbConstraintChecks=106986764 nbAssignments=170000
23.18 => wckTime=22.518 cpuTime=22.29 mem=5M493
24.54
24.54 search
24.54 run=17 nbConstraintChecks=113571207 nbAssignments=180000
24.54 => wckTime=23.877 cpuTime=23.63 mem=5M493
25.33 o 97
25.33 c 4
25.85
25.85 search
25.85 run=18 nbConstraintChecks=119849738 nbAssignments=190000
25.85 => wckTime=25.195 cpuTime=24.94 mem=5M493
27.22
27.22 search
27.22 run=19 nbConstraintChecks=126506705 nbAssignments=200000
27.22 => wckTime=26.561 cpuTime=26.3 mem=5M493
28.52
28.52 search
28.52 run=20 nbConstraintChecks=132672406 nbAssignments=210000
28.52 => wckTime=27.863 cpuTime=27.58 mem=5M493
29.92
29.92 search
29.92 run=21 nbConstraintChecks=139731256 nbAssignments=220000
29.92 => wckTime=29.258 cpuTime=28.98 mem=5M493
31.22
31.22 search
31.22 run=22 nbConstraintChecks=145935022 nbAssignments=230000
31.22 => wckTime=30.558 cpuTime=30.26 mem=5M493
32.55
32.55 search
32.55 run=23 nbConstraintChecks=152412501 nbAssignments=240000
32.55 => wckTime=31.891 cpuTime=31.59 mem=5M493
33.86
33.86 search
33.86 run=24 nbConstraintChecks=158748457 nbAssignments=250000
33.86 => wckTime=33.198 cpuTime=32.89 mem=5M493
35.20
35.20 search
35.20 run=25 nbConstraintChecks=165188451 nbAssignments=260000
35.20 => wckTime=34.541 cpuTime=34.2 mem=5M493
36.51
36.51 search
36.51 run=26 nbConstraintChecks=171545496 nbAssignments=270000
36.51 => wckTime=35.851 cpuTime=35.51 mem=5M493
37.86
37.86 search
37.86 run=27 nbConstraintChecks=178137707 nbAssignments=280000
37.86 => wckTime=37.198 cpuTime=36.85 mem=5M493
39.17
39.17 search
39.17 run=28 nbConstraintChecks=184362144 nbAssignments=290000
39.17 => wckTime=38.506 cpuTime=38.14 mem=5M493
40.52
40.52 search
40.52 run=29 nbConstraintChecks=190837893 nbAssignments=300000
40.52 => wckTime=39.857 cpuTime=39.49 mem=5M493
41.87
41.87 search
41.87 run=30 nbConstraintChecks=197356422 nbAssignments=310000
41.87 => wckTime=41.208 cpuTime=40.82 mem=5M493
43.17
43.17 search
43.17 run=31 nbConstraintChecks=203458701 nbAssignments=320000
43.17 => wckTime=42.511 cpuTime=42.12 mem=5M493
44.50
44.50 search
44.50 run=32 nbConstraintChecks=209918149 nbAssignments=330000
44.50 => wckTime=43.842 cpuTime=43.43 mem=5M493
45.84
45.84 search
45.84 run=33 nbConstraintChecks=216366907 nbAssignments=340000
45.84 => wckTime=45.181 cpuTime=44.76 mem=5M493
47.12
47.12 search
47.12 run=34 nbConstraintChecks=222305608 nbAssignments=350000
47.12 => wckTime=46.464 cpuTime=46.03 mem=5M493
48.46
48.46 search
48.46 run=35 nbConstraintChecks=228673981 nbAssignments=360000
48.46 => wckTime=47.803 cpuTime=47.37 mem=5M493
49.75
49.75 search
49.75 run=36 nbConstraintChecks=234778389 nbAssignments=370000
49.75 => wckTime=49.09 cpuTime=48.64 mem=5M493
51.12
51.12 search
51.12 run=37 nbConstraintChecks=241507513 nbAssignments=380000
51.12 => wckTime=50.459 cpuTime=49.99 mem=5M493
52.41
52.41 search
52.41 run=38 nbConstraintChecks=247602908 nbAssignments=390000
52.41 => wckTime=51.747 cpuTime=51.28 mem=5M493
53.74
53.74 search
53.74 run=39 nbConstraintChecks=254095064 nbAssignments=400000
53.74 => wckTime=53.077 cpuTime=52.59 mem=5M493
55.05
55.05 search
55.05 run=40 nbConstraintChecks=260413021 nbAssignments=410000
55.05 => wckTime=54.389 cpuTime=53.9 mem=5M493
55.61
55.61 search
55.61 run=41 nbConstraintChecks=263103478 nbAssignments=413990
55.61 => wckTime=54.954 cpuTime=54.44 mem=5M493
55.62
55.62 global
55.62 nbConstraintChecks=263103478 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
55.62 solvingWckTime=54.952 solvingCpuTime=54.43 expiredTime=no totalExploration=no nbFoundSolutions=0
55.62 globalCpuTime=54.66
55.62 => wckTime=55.232 cpuTime=54.61 mem=5M493
55.62
55.62 solver IterativeSystematicSolver being built...
55.74 => wckTime=55.358 cpuTime=54.71 mem=16M630
55.75
55.75 preprocessing
55.75 nbConstraintChecks=100 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
55.75 detectedInconsistency=no
55.75 => wckTime=0.0030 cpuTime=0.0 mem=16M630
55.82
55.82 search
55.82 run=0 nbConstraintChecks=75890 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=57
55.82 nbFailedAssignments=34 nbBacktracks=10 nbVisitedNodes=102 nbRestartNogoods=0
55.82 => wckTime=0.071 cpuTime=0.05 mem=16M630
55.89
55.89 search
55.89 run=1 nbConstraintChecks=268819 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=174
55.89 nbFailedAssignments=129 nbBacktracks=25 nbVisitedNodes=328 nbRestartNogoods=25
55.89 => wckTime=0.147 cpuTime=0.12 mem=16M630
55.99
55.99 search
55.99 run=2 nbConstraintChecks=471416 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=310
55.99 nbFailedAssignments=235 nbBacktracks=47 nbVisitedNodes=591 nbRestartNogoods=37
55.99 => wckTime=0.249 cpuTime=0.21 mem=16M630
56.12
56.12 search
56.12 run=3 nbConstraintChecks=788101 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=536
56.12 nbFailedAssignments=422 nbBacktracks=80 nbVisitedNodes=1036 nbRestartNogoods=56
56.12 => wckTime=0.378 cpuTime=0.34 mem=16M630
56.31
56.31 search
56.31 run=4 nbConstraintChecks=1321890 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=873
56.31 nbFailedAssignments=703 nbBacktracks=130 nbVisitedNodes=1702 nbRestartNogoods=69
56.31 => wckTime=0.568 cpuTime=0.53 mem=16M630
56.49
56.49 search
56.49 run=5 nbConstraintChecks=1847236 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1254
56.49 nbFailedAssignments=996 nbBacktracks=205 nbVisitedNodes=2451 nbRestartNogoods=81
56.49 => wckTime=0.745 cpuTime=0.7 mem=16M630
57.00
57.00 search
57.00 run=6 nbConstraintChecks=2989100 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2014
57.00 nbFailedAssignments=1636 nbBacktracks=318 nbVisitedNodes=3958 nbRestartNogoods=103
57.00 => wckTime=1.256 cpuTime=1.19 mem=16M630
57.66
57.66 search
57.66 run=7 nbConstraintChecks=4764623 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3136
57.66 nbFailedAssignments=2580 nbBacktracks=488 nbVisitedNodes=6187 nbRestartNogoods=113
57.66 => wckTime=1.921 cpuTime=1.85 mem=16M630
58.04
58.04 search
58.04 run=8 nbConstraintChecks=5823234 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3839
58.04 nbFailedAssignments=3013 nbBacktracks=745 nbVisitedNodes=7575 nbRestartNogoods=149
58.04 => wckTime=2.298 cpuTime=2.22 mem=16M630
58.99
58.99 search
58.99 run=9 nbConstraintChecks=8539819 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5599
58.99 nbFailedAssignments=4377 nbBacktracks=1130 nbVisitedNodes=11081 nbRestartNogoods=188
58.99 => wckTime=3.244 cpuTime=3.16 mem=16M630
59.85
59.85 search
59.85 run=10 nbConstraintChecks=10737086 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7031
59.85 nbFailedAssignments=5217 nbBacktracks=1707 nbVisitedNodes=13914 nbRestartNogoods=216
59.85 => wckTime=4.11 cpuTime=4.01 mem=16M630
62.29
62.29 search
62.29 run=11 nbConstraintChecks=17060358 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11156
62.29 nbFailedAssignments=8474 nbBacktracks=2571 nbVisitedNodes=22115 nbRestartNogoods=264
62.29 => wckTime=6.549 cpuTime=6.43 mem=16M630
64.95
64.95 search
64.95 run=12 nbConstraintChecks=24817375 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=16406
64.95 nbFailedAssignments=12411 nbBacktracks=3868 nbVisitedNodes=32557 nbRestartNogoods=276
64.95 => wckTime=9.21 cpuTime=9.07 mem=16M630
68.03
68.03 search
68.03 run=13 nbConstraintChecks=33182897 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=21606
68.03 nbFailedAssignments=15649 nbBacktracks=5814 nbVisitedNodes=42902 nbRestartNogoods=326
68.03 => wckTime=12.286 cpuTime=12.12 mem=16M630
72.28
72.28 search
72.28 run=14 nbConstraintChecks=44625893 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=29825
72.28 nbFailedAssignments=20944 nbBacktracks=8733 nbVisitedNodes=59314 nbRestartNogoods=341
72.28 => wckTime=16.538 cpuTime=16.34 mem=16M630
78.37
78.37 search
78.37 run=15 nbConstraintChecks=61849684 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=43147
78.37 nbFailedAssignments=29868 nbBacktracks=13113 nbVisitedNodes=85860 nbRestartNogoods=357
78.37 => wckTime=22.624 cpuTime=22.38 mem=16M630
86.97
86.97 search
86.97 run=16 nbConstraintChecks=84879888 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=61847
86.97 nbFailedAssignments=41991 nbBacktracks=19682 nbVisitedNodes=123137 nbRestartNogoods=380
86.97 => wckTime=31.231 cpuTime=30.91 mem=16M630
103.08
103.08 search
103.08 run=17 nbConstraintChecks=122840493 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=91281
103.08 nbFailedAssignments=61562 nbBacktracks=29535 nbVisitedNodes=181675 nbRestartNogoods=400
103.08 => wckTime=47.334 cpuTime=46.87 mem=16M630
125.13
125.13 search
125.13 run=18 nbConstraintChecks=168819026 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=126683
125.13 nbFailedAssignments=82174 nbBacktracks=44314 nbVisitedNodes=251612 nbRestartNogoods=430
125.13 => wckTime=69.385 cpuTime=68.75 mem=16M630
140.11
140.11 search
140.11 run=19 nbConstraintChecks=200314480 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=151236
140.11 nbFailedAssignments=95721 nbBacktracks=55321 nbVisitedNodes=300143 nbRestartNogoods=452
140.11 => wckTime=84.368 cpuTime=83.61 mem=16M630
140.11
140.11 global
140.11 nbConstraintChecks=200314580 nbRestartNogoods=452 solvingWckTime=84.37 solvingCpuTime=83.61 expiredTime=no
140.11 totalExploration=yes nbFoundSolutions=0 globalCpuTime=138.37
140.11 => wckTime=139.729 cpuTime=138.32 mem=16M630
140.12
140.12 s OPTIMUM FOUND
140.12 v 5 0 4 5 6 3 5 5 0 9 5 1 1 1 4 7 1 5 9 8 9 8 5 5 9 0 6 9 1 3 6 3 7 7 1 5 2 9 8 1
140.12
140.12 totalWckTime=139.804 totalCpuTime=138.37
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-281045-1169309574 -o ROOT/results/node17/solver-281045-1169309574 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281045-1169309574/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
/proc/loadavg: 1.83 1.94 1.98 4/87 23746
/proc/meminfo: memFree=1295488/2055920 swapFree=4192812/4192956
[pid=23745] ppid=23743 vsize=18540 CPUtime=0
/proc/23745/stat : 23745 (runsolver) R 23743 23513 23513 0 -1 4194368 10 0 0 0 0 0 0 0 20 0 1 0 279352222 18984960 277 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 4232163 0 0 4096 24578 0 0 0 17 0 0 0
/proc/23745/statm: 4635 277 242 17 0 2626 0
Current StackSize limit: 10240 KiB
[startup+0.107244 s]
/proc/loadavg: 1.83 1.94 1.98 4/87 23746
/proc/meminfo: memFree=1295488/2055920 swapFree=4192812/4192956
[pid=23745] ppid=23743 vsize=47976 CPUtime=0
/proc/23745/stat : 23745 (java) D 23743 23745 23513 0 -1 0 1223 0 1 0 0 0 0 0 20 0 1 0 279352222 49127424 972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 0 0 0
/proc/23745/statm: 11994 972 769 14 0 1707 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 47976
[startup+0.517288 s]
/proc/loadavg: 1.83 1.94 1.98 4/87 23746
/proc/meminfo: memFree=1295488/2055920 swapFree=4192812/4192956
[pid=23745] ppid=23743 vsize=915332 CPUtime=0.41
/proc/23745/stat : 23745 (java) R 23743 23745 23513 0 -1 0 6176 0 1 0 38 3 0 0 24 0 8 0 279352222 937299968 5915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072926667 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23745/statm: 228833 5915 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 915332
[startup+1.34537 s]
/proc/loadavg: 1.85 1.94 1.98 3/94 23753
/proc/meminfo: memFree=1277768/2055920 swapFree=4192812/4192956
[pid=23745] ppid=23743 vsize=915444 CPUtime=1.22
/proc/23745/stat : 23745 (java) R 23743 23745 23513 0 -1 0 7100 0 1 0 101 21 0 0 25 0 8 0 279352222 937414656 6838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23745/statm: 228861 6838 2476 14 0 215331 0
[pid=23745/tid=23747] ppid=23743 vsize=915444 CPUtime=0.02
/proc/23745/task/23747/stat : 23747 (java) S 23743 23745 23513 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 279352235 937414656 6838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23748] ppid=23743 vsize=915444 CPUtime=0
/proc/23745/task/23748/stat : 23748 (java) S 23743 23745 23513 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 279352235 937414656 6838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23749] ppid=23743 vsize=915444 CPUtime=0
/proc/23745/task/23749/stat : 23749 (java) S 23743 23745 23513 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279352235 937414656 6838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23750] ppid=23743 vsize=915444 CPUtime=0
/proc/23745/task/23750/stat : 23750 (java) S 23743 23745 23513 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279352238 937414656 6838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23751] ppid=23743 vsize=915444 CPUtime=0.12
/proc/23745/task/23751/stat : 23751 (java) S 23743 23745 23513 0 -1 64 332 0 0 0 12 0 0 0 16 0 8 0 279352238 937414656 6838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23752] ppid=23743 vsize=915444 CPUtime=0
/proc/23745/task/23752/stat : 23752 (java) S 23743 23745 23513 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279352238 937414656 6838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23753] ppid=23743 vsize=915444 CPUtime=0
/proc/23745/task/23753/stat : 23753 (java) S 23743 23745 23513 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279352238 937414656 6838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 915444
[startup+2.98554 s]
/proc/loadavg: 1.85 1.94 1.98 3/94 23753
/proc/meminfo: memFree=1277704/2055920 swapFree=4192812/4192956
[pid=23745] ppid=23743 vsize=915444 CPUtime=2.85
/proc/23745/stat : 23745 (java) R 23743 23745 23513 0 -1 0 7103 0 1 0 220 65 0 0 25 0 8 0 279352222 937414656 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073670599 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23745/statm: 228861 6840 2476 14 0 215331 0
[pid=23745/tid=23747] ppid=23743 vsize=915444 CPUtime=0.02
/proc/23745/task/23747/stat : 23747 (java) S 23743 23745 23513 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 279352235 937414656 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23748] ppid=23743 vsize=915444 CPUtime=0
/proc/23745/task/23748/stat : 23748 (java) S 23743 23745 23513 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 279352235 937414656 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23749] ppid=23743 vsize=915444 CPUtime=0
/proc/23745/task/23749/stat : 23749 (java) S 23743 23745 23513 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279352235 937414656 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23750] ppid=23743 vsize=915444 CPUtime=0
/proc/23745/task/23750/stat : 23750 (java) S 23743 23745 23513 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279352238 937414656 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23751] ppid=23743 vsize=915444 CPUtime=0.13
/proc/23745/task/23751/stat : 23751 (java) S 23743 23745 23513 0 -1 64 334 0 0 0 13 0 0 0 16 0 8 0 279352238 937414656 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23752] ppid=23743 vsize=915444 CPUtime=0
/proc/23745/task/23752/stat : 23752 (java) S 23743 23745 23513 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279352238 937414656 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23753] ppid=23743 vsize=915444 CPUtime=0
/proc/23745/task/23753/stat : 23753 (java) S 23743 23745 23513 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279352238 937414656 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 915444
[startup+6.26488 s]
/proc/loadavg: 1.85 1.94 1.98 3/94 23753
/proc/meminfo: memFree=1277704/2055920 swapFree=4192812/4192956
[pid=23745] ppid=23743 vsize=915444 CPUtime=6.1
/proc/23745/stat : 23745 (java) R 23743 23745 23513 0 -1 0 7103 0 1 0 456 154 0 0 25 0 8 0 279352222 937414656 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073666645 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23745/statm: 228861 6840 2476 14 0 215331 0
[pid=23745/tid=23747] ppid=23743 vsize=915444 CPUtime=0.02
/proc/23745/task/23747/stat : 23747 (java) S 23743 23745 23513 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 279352235 937414656 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23748] ppid=23743 vsize=915444 CPUtime=0
/proc/23745/task/23748/stat : 23748 (java) S 23743 23745 23513 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 279352235 937414656 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23749] ppid=23743 vsize=915444 CPUtime=0
/proc/23745/task/23749/stat : 23749 (java) S 23743 23745 23513 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279352235 937414656 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23750] ppid=23743 vsize=915444 CPUtime=0
/proc/23745/task/23750/stat : 23750 (java) S 23743 23745 23513 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279352238 937414656 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23751] ppid=23743 vsize=915444 CPUtime=0.13
/proc/23745/task/23751/stat : 23751 (java) S 23743 23745 23513 0 -1 64 334 0 0 0 13 0 0 0 16 0 8 0 279352238 937414656 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23752] ppid=23743 vsize=915444 CPUtime=0
/proc/23745/task/23752/stat : 23752 (java) S 23743 23745 23513 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279352238 937414656 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23753] ppid=23743 vsize=915444 CPUtime=0
/proc/23745/task/23753/stat : 23753 (java) S 23743 23745 23513 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279352238 937414656 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915444
[startup+12.7496 s]
/proc/loadavg: 1.87 1.94 1.98 3/94 23753
/proc/meminfo: memFree=1277712/2055920 swapFree=4192812/4192956
[pid=23745] ppid=23743 vsize=915448 CPUtime=12.52
/proc/23745/stat : 23745 (java) R 23743 23745 23513 0 -1 0 7103 0 1 0 913 339 0 0 25 0 8 0 279352222 937418752 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23745/statm: 228862 6840 2476 14 0 215332 0
[pid=23745/tid=23747] ppid=23743 vsize=915448 CPUtime=0.02
/proc/23745/task/23747/stat : 23747 (java) S 23743 23745 23513 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 279352235 937418752 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23748] ppid=23743 vsize=915448 CPUtime=0
/proc/23745/task/23748/stat : 23748 (java) S 23743 23745 23513 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 279352235 937418752 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23749] ppid=23743 vsize=915448 CPUtime=0
/proc/23745/task/23749/stat : 23749 (java) S 23743 23745 23513 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279352235 937418752 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23750] ppid=23743 vsize=915448 CPUtime=0
/proc/23745/task/23750/stat : 23750 (java) S 23743 23745 23513 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279352238 937418752 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23751] ppid=23743 vsize=915448 CPUtime=0.13
/proc/23745/task/23751/stat : 23751 (java) S 23743 23745 23513 0 -1 64 334 0 0 0 13 0 0 0 16 0 8 0 279352238 937418752 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23752] ppid=23743 vsize=915448 CPUtime=0
/proc/23745/task/23752/stat : 23752 (java) S 23743 23745 23513 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279352238 937418752 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23753] ppid=23743 vsize=915448 CPUtime=0
/proc/23745/task/23753/stat : 23753 (java) S 23743 23745 23513 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279352238 937418752 6840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 915448
[startup+25.5979 s]
/proc/loadavg: 1.89 1.94 1.98 3/94 23753
/proc/meminfo: memFree=1277840/2055920 swapFree=4192812/4192956
[pid=23745] ppid=23743 vsize=915444 CPUtime=25.26
/proc/23745/stat : 23745 (java) R 23743 23745 23513 0 -1 0 7104 0 1 0 1827 699 0 0 25 0 8 0 279352222 937414656 6841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073666682 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23745/statm: 228861 6841 2476 14 0 215331 0
[pid=23745/tid=23747] ppid=23743 vsize=915444 CPUtime=0.02
/proc/23745/task/23747/stat : 23747 (java) S 23743 23745 23513 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 279352235 937414656 6841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23748] ppid=23743 vsize=915444 CPUtime=0
/proc/23745/task/23748/stat : 23748 (java) S 23743 23745 23513 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 279352235 937414656 6841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23749] ppid=23743 vsize=915444 CPUtime=0
/proc/23745/task/23749/stat : 23749 (java) S 23743 23745 23513 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279352235 937414656 6841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23750] ppid=23743 vsize=915444 CPUtime=0
/proc/23745/task/23750/stat : 23750 (java) S 23743 23745 23513 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279352238 937414656 6841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23751] ppid=23743 vsize=915444 CPUtime=0.13
/proc/23745/task/23751/stat : 23751 (java) S 23743 23745 23513 0 -1 64 335 0 0 0 13 0 0 0 17 0 8 0 279352238 937414656 6841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23752] ppid=23743 vsize=915444 CPUtime=0
/proc/23745/task/23752/stat : 23752 (java) S 23743 23745 23513 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279352238 937414656 6841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23753] ppid=23743 vsize=915444 CPUtime=0
/proc/23745/task/23753/stat : 23753 (java) S 23743 23745 23513 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279352238 937414656 6841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 915444
[startup+51.2936 s]
/proc/loadavg: 1.93 1.95 1.98 3/94 23753
/proc/meminfo: memFree=1277840/2055920 swapFree=4192812/4192956
[pid=23745] ppid=23743 vsize=915448 CPUtime=50.75
/proc/23745/stat : 23745 (java) R 23743 23745 23513 0 -1 0 7110 0 1 0 3657 1418 0 0 25 0 8 0 279352222 937418752 6847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23745/statm: 228862 6847 2476 14 0 215332 0
[pid=23745/tid=23747] ppid=23743 vsize=915448 CPUtime=0.02
/proc/23745/task/23747/stat : 23747 (java) S 23743 23745 23513 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 279352235 937418752 6847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23748] ppid=23743 vsize=915448 CPUtime=0
/proc/23745/task/23748/stat : 23748 (java) S 23743 23745 23513 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 279352235 937418752 6847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23749] ppid=23743 vsize=915448 CPUtime=0
/proc/23745/task/23749/stat : 23749 (java) S 23743 23745 23513 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279352235 937418752 6847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23750] ppid=23743 vsize=915448 CPUtime=0
/proc/23745/task/23750/stat : 23750 (java) S 23743 23745 23513 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279352238 937418752 6847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23751] ppid=23743 vsize=915448 CPUtime=0.13
/proc/23745/task/23751/stat : 23751 (java) S 23743 23745 23513 0 -1 64 341 0 0 0 13 0 0 0 16 0 8 0 279352238 937418752 6847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23752] ppid=23743 vsize=915448 CPUtime=0
/proc/23745/task/23752/stat : 23752 (java) S 23743 23745 23513 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279352238 937418752 6847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23753] ppid=23743 vsize=915448 CPUtime=0
/proc/23745/task/23753/stat : 23753 (java) S 23743 23745 23513 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279352238 937418752 6847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 915448
[startup+102.584 s]
/proc/loadavg: 2.05 1.97 1.98 3/94 23753
/proc/meminfo: memFree=1270352/2055920 swapFree=4192812/4192956
[pid=23745] ppid=23743 vsize=915444 CPUtime=101.59
/proc/23745/stat : 23745 (java) R 23743 23745 23513 0 -1 0 9079 0 1 0 8617 1542 0 0 25 0 8 0 279352222 937414656 8808 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073805423 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23745/statm: 228861 8808 2527 14 0 215331 0
[pid=23745/tid=23747] ppid=23743 vsize=915444 CPUtime=0.02
/proc/23745/task/23747/stat : 23747 (java) S 23743 23745 23513 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279352235 937414656 8808 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23748] ppid=23743 vsize=915444 CPUtime=0
/proc/23745/task/23748/stat : 23748 (java) S 23743 23745 23513 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 279352235 937414656 8808 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23749] ppid=23743 vsize=915444 CPUtime=0
/proc/23745/task/23749/stat : 23749 (java) S 23743 23745 23513 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279352235 937414656 8808 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23750] ppid=23743 vsize=915444 CPUtime=0
/proc/23745/task/23750/stat : 23750 (java) S 23743 23745 23513 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279352238 937414656 8808 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23751] ppid=23743 vsize=915444 CPUtime=0.23
/proc/23745/task/23751/stat : 23751 (java) S 23743 23745 23513 0 -1 64 402 0 0 0 22 1 0 0 16 0 8 0 279352238 937414656 8808 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23752] ppid=23743 vsize=915444 CPUtime=0
/proc/23745/task/23752/stat : 23752 (java) S 23743 23745 23513 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279352238 937414656 8808 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23753] ppid=23743 vsize=915444 CPUtime=0
/proc/23745/task/23753/stat : 23753 (java) S 23743 23745 23513 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279352238 937414656 8808 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.59
Current children cumulated vsize (KiB) 915444
Child status: 0
Real time (s): 140.16
CPU time (s): 138.849
CPU user time (s): 123.413
CPU system time (s): 15.4357
CPU usage (%): 99.0643
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 123.413
system time used= 15.4357
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9182
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= 4043
involuntary context switches= 8304
runsolver used 0.145977 s user time and 0.382941 s system time
The end
Begin job on node17 on Sat Jan 20 16:12:54 UTC 2007
IDJOB= 281045
IDBENCH= 12046
IDSOLVER= 69
FILE ID= node17/281045-1169309574
PBS_JOBID= 3609965
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/randomMaxCSP/sparseLoose/vcsp-40-10-13-60-3_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281045-1169309574/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-281045-1169309574 -o ROOT/results/node17/solver-281045-1169309574 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281045-1169309574/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d90a4818df73725a7a407391d0b230e5
RANDOM SEED= 999551052
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.236
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.236
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: 1296168 kB
Buffers: 48956 kB
Cached: 510548 kB
SwapCached: 0 kB
Active: 330232 kB
Inactive: 352556 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1296168 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1916 kB
Writeback: 0 kB
Mapped: 143476 kB
Slab: 61688 kB
Committed_AS: 8958488 kB
PageTables: 2388 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 node17 on Sat Jan 20 16:15:15 UTC 2007