0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=pfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/281612-1169313233/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=25 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.42 => wckTime=0.1 cpuTime=0.08 mem=6M910
0.42
0.42 relations being loaded...
0.46
0.46 constraints being loaded...
0.50 nbConstraints=63 nbRelationTypes=63 nbExtensionStructures=63 nbSharedExtensionStructures=0
0.50 nbConflictsStructures=63 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1067 maxDegree=9
0.50 maxArity=2
0.50 => wckTime=0.185 cpuTime=0.13 mem=7M950
0.54
0.54 solver LocalSearchSolver being built...
0.59 => wckTime=0.269 cpuTime=0.17 mem=5M428
0.59
0.59 s SATISFIABLE
0.59 o 11
0.59 c 52
0.59 o 14
0.59 c 49
0.60 o 16
0.60 c 47
0.60 o 18
0.60 c 45
0.60 o 20
0.60 c 43
0.60 o 22
0.60 c 41
0.60 o 23
0.60 c 40
0.60 o 24
0.60 c 39
0.60 o 26
0.60 c 37
0.60 o 27
0.60 c 36
0.60 o 28
0.60 c 35
0.61 o 29
0.61 c 34
0.61 o 31
0.61 c 32
0.61 o 32
0.61 c 31
0.61 o 33
0.61 c 30
0.61 o 34
0.61 c 29
0.61 o 35
0.61 c 28
0.61 o 37
0.61 c 26
0.61 o 38
0.61 c 25
0.61 o 39
0.61 c 24
0.61 o 40
0.61 c 23
0.61 o 41
0.61 c 22
0.68 o 42
0.68 c 21
0.68 o 43
0.68 c 20
0.92 o 44
0.92 c 19
0.92 o 45
0.92 c 18
1.97
1.97 search
1.97 run=0 nbConstraintChecks=6552644 nbAssignments=10000
1.97 => wckTime=1.381 cpuTime=1.36 mem=5M428
3.27
3.27 search
3.27 run=1 nbConstraintChecks=13068148 nbAssignments=20000
3.27 => wckTime=2.681 cpuTime=2.65 mem=5M428
4.58
4.58 search
4.58 run=2 nbConstraintChecks=19720882 nbAssignments=30000
4.58 => wckTime=3.989 cpuTime=3.95 mem=5M428
5.88
5.88 search
5.88 run=3 nbConstraintChecks=26327497 nbAssignments=40000
5.88 => wckTime=5.295 cpuTime=5.25 mem=5M428
7.19
7.19 search
7.19 run=4 nbConstraintChecks=32997791 nbAssignments=50000
7.19 => wckTime=6.6 cpuTime=6.55 mem=5M428
8.48
8.48 search
8.48 run=5 nbConstraintChecks=39503322 nbAssignments=60000
8.48 => wckTime=7.891 cpuTime=7.84 mem=5M428
9.77
9.77 search
9.77 run=6 nbConstraintChecks=46066448 nbAssignments=70000
9.77 => wckTime=9.181 cpuTime=9.13 mem=5M428
11.06
11.06 search
11.06 run=7 nbConstraintChecks=52613939 nbAssignments=80000
11.06 => wckTime=10.469 cpuTime=10.41 mem=5M428
12.34
12.34 search
12.35 run=8 nbConstraintChecks=59131103 nbAssignments=90000
12.35 => wckTime=11.758 cpuTime=11.7 mem=5M428
13.66
13.66 search
13.66 run=9 nbConstraintChecks=65861614 nbAssignments=100000
13.66 => wckTime=13.075 cpuTime=13.02 mem=5M428
14.97
14.97 search
14.97 run=10 nbConstraintChecks=72434691 nbAssignments=110000
14.97 => wckTime=14.379 cpuTime=14.32 mem=5M428
16.28
16.28 search
16.28 run=11 nbConstraintChecks=79073791 nbAssignments=120000
16.28 => wckTime=15.689 cpuTime=15.63 mem=5M428
17.58
17.58 search
17.58 run=12 nbConstraintChecks=85688838 nbAssignments=130000
17.58 => wckTime=16.998 cpuTime=16.94 mem=5M428
18.89
18.89 search
18.89 run=13 nbConstraintChecks=92258133 nbAssignments=140000
18.89 => wckTime=18.3 cpuTime=18.24 mem=5M428
20.19
20.19 search
20.19 run=14 nbConstraintChecks=98850292 nbAssignments=150000
20.19 => wckTime=19.606 cpuTime=19.55 mem=5M428
21.50
21.50 search
21.50 run=15 nbConstraintChecks=105404477 nbAssignments=160000
21.50 => wckTime=20.91 cpuTime=20.85 mem=5M428
22.81
22.81 search
22.81 run=16 nbConstraintChecks=112092967 nbAssignments=170000
22.81 => wckTime=22.226 cpuTime=22.17 mem=5M428
24.11
24.11 search
24.11 run=17 nbConstraintChecks=118698624 nbAssignments=180000
24.11 => wckTime=23.524 cpuTime=23.46 mem=5M428
25.40
25.40 search
25.40 run=18 nbConstraintChecks=125256975 nbAssignments=190000
25.40 => wckTime=24.817 cpuTime=24.76 mem=5M428
26.69
26.69 search
26.69 run=19 nbConstraintChecks=131768032 nbAssignments=200000
26.69 => wckTime=26.102 cpuTime=26.04 mem=5M428
27.99
27.99 search
27.99 run=20 nbConstraintChecks=138343566 nbAssignments=210000
27.99 => wckTime=27.399 cpuTime=27.34 mem=5M428
29.28
29.28 search
29.28 run=21 nbConstraintChecks=144991038 nbAssignments=220000
29.28 => wckTime=28.695 cpuTime=28.63 mem=5M428
30.58
30.58 search
30.58 run=22 nbConstraintChecks=151638778 nbAssignments=230000
30.58 => wckTime=29.996 cpuTime=29.93 mem=5M428
30.97
30.97 search
30.97 run=23 nbConstraintChecks=153597628 nbAssignments=232960
30.97 => wckTime=30.38 cpuTime=30.32 mem=5M428
30.97
30.97 global
30.97 nbConstraintChecks=153597628 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.97 solvingWckTime=30.379 solvingCpuTime=30.32 expiredTime=no totalExploration=no nbFoundSolutions=0
30.97 globalCpuTime=30.56
30.97 => wckTime=30.65 cpuTime=30.49 mem=5M428
30.97
30.97 solver IterativeSystematicSolver being built...
31.10 => wckTime=30.781 cpuTime=30.59 mem=16M434
31.11
31.11 preprocessing
31.11 nbConstraintChecks=1170 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.11 detectedInconsistency=no
31.11 => wckTime=0.0050 cpuTime=0.0 mem=16M434
31.18
31.18 search
31.18 run=0 nbConstraintChecks=108159 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=61
31.18 nbFailedAssignments=48 nbBacktracks=11 nbVisitedNodes=120 nbRestartNogoods=0
31.18 => wckTime=0.076 cpuTime=0.04 mem=16M434
31.22
31.22 search
31.22 run=1 nbConstraintChecks=214573 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=129
31.22 nbFailedAssignments=94 nbBacktracks=27 nbVisitedNodes=248 nbRestartNogoods=1
31.22 => wckTime=0.124 cpuTime=0.08 mem=16M434
31.25
31.25 search
31.25 run=2 nbConstraintChecks=311847 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=186
31.25 nbFailedAssignments=121 nbBacktracks=50 nbVisitedNodes=355 nbRestartNogoods=4
31.25 => wckTime=0.15 cpuTime=0.11 mem=16M434
31.31
31.31 search
31.31 run=3 nbConstraintChecks=498511 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=294
31.31 nbFailedAssignments=191 nbBacktracks=83 nbVisitedNodes=564 nbRestartNogoods=9
31.31 => wckTime=0.203 cpuTime=0.15 mem=16M434
31.45
31.45 search
31.45 run=4 nbConstraintChecks=1008721 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=586
31.45 nbFailedAssignments=428 nbBacktracks=133 nbVisitedNodes=1138 nbRestartNogoods=14
31.45 => wckTime=0.35 cpuTime=0.3 mem=16M434
31.59
31.59 search
31.59 run=5 nbConstraintChecks=1509843 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=865
31.59 nbFailedAssignments=626 nbBacktracks=208 nbVisitedNodes=1686 nbRestartNogoods=31
31.59 => wckTime=0.486 cpuTime=0.44 mem=16M434
31.84
31.84 search
31.84 run=6 nbConstraintChecks=2314785 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1321
31.84 nbFailedAssignments=965 nbBacktracks=321 nbVisitedNodes=2582 nbRestartNogoods=44
31.84 => wckTime=0.735 cpuTime=0.68 mem=16M434
32.12
32.12 search
32.12 run=7 nbConstraintChecks=3342330 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1950
32.12 nbFailedAssignments=1419 nbBacktracks=491 nbVisitedNodes=3830 nbRestartNogoods=61
32.12 => wckTime=1.019 cpuTime=0.95 mem=16M434
32.58
32.58 search
32.58 run=8 nbConstraintChecks=5054084 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2932
32.58 nbFailedAssignments=2140 nbBacktracks=747 nbVisitedNodes=5771 nbRestartNogoods=69
32.58 => wckTime=1.478 cpuTime=1.4 mem=16M434
33.29
33.29 search
33.29 run=9 nbConstraintChecks=7837839 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4527
33.29 nbFailedAssignments=3346 nbBacktracks=1131 nbVisitedNodes=8941 nbRestartNogoods=82
33.29 => wckTime=2.191 cpuTime=2.11 mem=16M434
34.45
34.45 search
34.45 run=10 nbConstraintChecks=12327811 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7031
34.45 nbFailedAssignments=5267 nbBacktracks=1708 nbVisitedNodes=13868 nbRestartNogoods=98
34.45 => wckTime=3.345 cpuTime=3.26 mem=16M434
35.90
35.90 search
35.90 run=11 nbConstraintChecks=17668788 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10221
35.90 nbFailedAssignments=7587 nbBacktracks=2572 nbVisitedNodes=20163 nbRestartNogoods=116
35.90 => wckTime=4.795 cpuTime=4.71 mem=16M434
37.72
37.72 search
37.72 run=12 nbConstraintChecks=24855019 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14850
37.72 nbFailedAssignments=10911 nbBacktracks=3869 nbVisitedNodes=29385 nbRestartNogoods=126
37.72 => wckTime=6.619 cpuTime=6.53 mem=16M434
40.87
40.87 search
40.87 run=13 nbConstraintChecks=36557731 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=21537
40.87 nbFailedAssignments=15646 nbBacktracks=5815 nbVisitedNodes=42566 nbRestartNogoods=141
40.87 => wckTime=9.773 cpuTime=9.68 mem=16M434
44.95
44.95 search
44.96 run=14 nbConstraintChecks=52419602 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=31598
44.96 nbFailedAssignments=22781 nbBacktracks=8734 nbVisitedNodes=62540 nbRestartNogoods=151
44.96 => wckTime=13.854 cpuTime=13.76 mem=16M434
51.86
51.86 search
51.86 run=15 nbConstraintChecks=78532996 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=46477
51.86 nbFailedAssignments=33276 nbBacktracks=13112 nbVisitedNodes=91802 nbRestartNogoods=166
51.86 => wckTime=20.76 cpuTime=20.66 mem=16M434
61.37
61.37 search
61.37 run=16 nbConstraintChecks=116339497 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=68871
61.37 nbFailedAssignments=49097 nbBacktracks=19680 nbVisitedNodes=136149 nbRestartNogoods=189
61.37 => wckTime=30.272 cpuTime=30.17 mem=16M434
76.67
76.67 search
76.67 run=17 nbConstraintChecks=178171503 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=105326
76.67 nbFailedAssignments=75696 nbBacktracks=29532 nbVisitedNodes=208512 nbRestartNogoods=216
76.67 => wckTime=45.567 cpuTime=45.46 mem=16M434
96.35
96.35 search
96.35 run=18 nbConstraintChecks=257844305 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=155264
96.35 nbFailedAssignments=110851 nbBacktracks=44310 nbVisitedNodes=307728 nbRestartNogoods=231
96.35 => wckTime=65.249 cpuTime=65.14 mem=16M434
126.50
126.50 search
126.50 run=19 nbConstraintChecks=378976145 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=226958
126.50 nbFailedAssignments=160371 nbBacktracks=66478 nbVisitedNodes=450012 nbRestartNogoods=242
126.50 => wckTime=95.403 cpuTime=95.28 mem=16M434
170.32
170.32 search
170.32 run=20 nbConstraintChecks=551755726 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=330688
170.32 nbFailedAssignments=230845 nbBacktracks=99730 nbVisitedNodes=655519 nbRestartNogoods=255
170.32 => wckTime=139.22 cpuTime=139.09 mem=16M434
188.76
188.76 search
188.76 run=21 nbConstraintChecks=626816752 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=374877
188.76 nbFailedAssignments=261446 nbBacktracks=113319 nbVisitedNodes=742935 nbRestartNogoods=274
188.76 => wckTime=157.658 cpuTime=157.52 mem=16M434
188.76
188.76 global
188.76 nbConstraintChecks=626817922 nbRestartNogoods=274 solvingWckTime=157.659 solvingCpuTime=157.52 expiredTime=no
188.76 totalExploration=yes nbFoundSolutions=0 globalCpuTime=188.19
188.76 => wckTime=188.441 cpuTime=188.12 mem=16M434
188.76
188.76 s OPTIMUM FOUND
188.76 v 4 6 4 8 2 2 0 4 8 4 7 6 8 3 5 4 1 8 4 3 8 2 5 0 7
188.76
188.76 totalWckTime=188.521 totalCpuTime=188.2
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node70/watcher-281612-1169313233 -o ROOT/results/node70/solver-281612-1169313233 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281612-1169313233/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: 0.85 0.97 0.99 4/70 12492
/proc/meminfo: memFree=1420632/2055920 swapFree=4192812/4192956
[pid=12491] ppid=12487 vsize=292 CPUtime=0
/proc/12491/stat : 12491 (java) R 12487 12491 12383 0 -1 0 54 0 0 0 0 0 0 0 20 0 1 0 78820256 299008 37 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 8414116 0 0 4096 0 0 0 0 17 1 0 0
/proc/12491/statm: 73 37 29 14 0 5 0
[startup+0.107431 s]
/proc/loadavg: 0.85 0.97 0.99 4/70 12492
/proc/meminfo: memFree=1420632/2055920 swapFree=4192812/4192956
[pid=12491] ppid=12487 vsize=914988 CPUtime=0.08
/proc/12491/stat : 12491 (java) R 12487 12491 12383 0 -1 0 2964 0 1 0 7 1 0 0 17 0 8 0 78820256 936947712 2710 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12491/statm: 228747 2710 1417 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515473 s]
/proc/loadavg: 0.85 0.97 0.99 4/70 12492
/proc/meminfo: memFree=1420632/2055920 swapFree=4192812/4192956
[pid=12491] ppid=12487 vsize=915332 CPUtime=0.49
/proc/12491/stat : 12491 (java) R 12487 12491 12383 0 -1 0 6469 0 1 0 45 4 0 0 20 0 8 0 78820256 937299968 6207 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12491/statm: 228833 6207 2160 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33655 s]
/proc/loadavg: 0.85 0.97 0.99 3/87 12509
/proc/meminfo: memFree=1386064/2055920 swapFree=4192812/4192956
[pid=12491] ppid=12487 vsize=915440 CPUtime=1.3
/proc/12491/stat : 12491 (java) R 12487 12491 12383 0 -1 0 6950 0 1 0 104 26 0 0 25 0 8 0 78820256 937410560 6688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12491/statm: 228859 6688 2476 14 0 215329 0
[pid=12491/tid=12497] ppid=12487 vsize=915436 CPUtime=0.02
/proc/12491/task/12497/stat : 12497 (java) S 12487 12491 12383 0 -1 64 135 0 0 0 2 0 0 0 17 0 8 0 78820261 937406464 6688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12500] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12500/stat : 12500 (java) S 12487 12491 12383 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78820262 937406464 6688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12501] ppid=12487 vsize=915440 CPUtime=0
/proc/12491/task/12501/stat : 12501 (java) S 12487 12491 12383 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78820262 937410560 6688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12506] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12506/stat : 12506 (java) S 12487 12491 12383 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 78820265 937406464 6688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12507] ppid=12487 vsize=915436 CPUtime=0.1
/proc/12491/task/12507/stat : 12507 (java) S 12487 12491 12383 0 -1 64 326 0 0 0 10 0 0 0 16 0 8 0 78820265 937406464 6688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12508] ppid=12487 vsize=915440 CPUtime=0
/proc/12491/task/12508/stat : 12508 (java) S 12487 12491 12383 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78820265 937410560 6688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12509] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12509/stat : 12509 (java) S 12487 12491 12383 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78820265 937406464 6688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915440
[startup+2.97671 s]
/proc/loadavg: 0.85 0.97 0.99 3/87 12509
/proc/meminfo: memFree=1386000/2055920 swapFree=4192812/4192956
[pid=12491] ppid=12487 vsize=915436 CPUtime=2.94
/proc/12491/stat : 12491 (java) R 12487 12491 12383 0 -1 0 6953 0 1 0 218 76 0 0 25 0 8 0 78820256 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12491/statm: 228860 6690 2476 14 0 215330 0
[pid=12491/tid=12497] ppid=12487 vsize=915436 CPUtime=0.02
/proc/12491/task/12497/stat : 12497 (java) S 12487 12491 12383 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 78820261 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12500] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12500/stat : 12500 (java) S 12487 12491 12383 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78820262 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12501] ppid=12487 vsize=915440 CPUtime=0
/proc/12491/task/12501/stat : 12501 (java) S 12487 12491 12383 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78820262 937410560 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12506] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12506/stat : 12506 (java) S 12487 12491 12383 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 78820265 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12507] ppid=12487 vsize=915436 CPUtime=0.11
/proc/12491/task/12507/stat : 12507 (java) S 12487 12491 12383 0 -1 64 328 0 0 0 11 0 0 0 16 0 8 0 78820265 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12508] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12508/stat : 12508 (java) S 12487 12491 12383 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78820265 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12509] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12509/stat : 12509 (java) S 12487 12491 12383 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78820265 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915436
[startup+6.17903 s]
/proc/loadavg: 0.94 0.98 0.99 3/87 12509
/proc/meminfo: memFree=1385872/2055920 swapFree=4192812/4192956
[pid=12491] ppid=12487 vsize=915436 CPUtime=6.12
/proc/12491/stat : 12491 (java) R 12487 12491 12383 0 -1 0 6953 0 1 0 443 169 0 0 25 0 8 0 78820256 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12491/statm: 228859 6690 2476 14 0 215329 0
[pid=12491/tid=12497] ppid=12487 vsize=915436 CPUtime=0.02
/proc/12491/task/12497/stat : 12497 (java) S 12487 12491 12383 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 78820261 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12500] ppid=12487 vsize=915440 CPUtime=0
/proc/12491/task/12500/stat : 12500 (java) S 12487 12491 12383 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78820262 937410560 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12501] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12501/stat : 12501 (java) S 12487 12491 12383 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78820262 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12506] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12506/stat : 12506 (java) S 12487 12491 12383 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 78820265 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12507] ppid=12487 vsize=915436 CPUtime=0.11
/proc/12491/task/12507/stat : 12507 (java) S 12487 12491 12383 0 -1 64 328 0 0 0 11 0 0 0 16 0 8 0 78820265 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12508] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12508/stat : 12508 (java) S 12487 12491 12383 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78820265 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12509] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12509/stat : 12509 (java) S 12487 12491 12383 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78820265 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915436
[startup+12.6447 s]
/proc/loadavg: 1.02 1.00 1.00 3/87 12509
/proc/meminfo: memFree=1385888/2055920 swapFree=4192812/4192956
[pid=12491] ppid=12487 vsize=915436 CPUtime=12.59
/proc/12491/stat : 12491 (java) R 12487 12491 12383 0 -1 0 6953 0 1 0 899 360 0 0 25 0 8 0 78820256 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12491/statm: 228859 6690 2476 14 0 215329 0
[pid=12491/tid=12497] ppid=12487 vsize=915440 CPUtime=0.02
/proc/12491/task/12497/stat : 12497 (java) S 12487 12491 12383 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 78820261 937410560 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12500] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12500/stat : 12500 (java) S 12487 12491 12383 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78820262 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12501] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12501/stat : 12501 (java) S 12487 12491 12383 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78820262 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12506] ppid=12487 vsize=915440 CPUtime=0
/proc/12491/task/12506/stat : 12506 (java) S 12487 12491 12383 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 78820265 937410560 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12507] ppid=12487 vsize=915436 CPUtime=0.11
/proc/12491/task/12507/stat : 12507 (java) S 12487 12491 12383 0 -1 64 328 0 0 0 11 0 0 0 16 0 8 0 78820265 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12508] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12508/stat : 12508 (java) S 12487 12491 12383 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78820265 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12509] ppid=12487 vsize=915440 CPUtime=0
/proc/12491/task/12509/stat : 12509 (java) S 12487 12491 12383 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78820265 937410560 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915436
[startup+25.49 s]
/proc/loadavg: 1.24 1.05 1.02 3/87 12509
/proc/meminfo: memFree=1385952/2055920 swapFree=4192812/4192956
[pid=12491] ppid=12487 vsize=915436 CPUtime=25.43
/proc/12491/stat : 12491 (java) R 12487 12491 12383 0 -1 0 6955 0 1 0 1793 750 0 0 25 0 8 0 78820256 937406464 6691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12491/statm: 228859 6691 2476 14 0 215329 0
[pid=12491/tid=12497] ppid=12487 vsize=915436 CPUtime=0.02
/proc/12491/task/12497/stat : 12497 (java) S 12487 12491 12383 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 78820261 937406464 6691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12500] ppid=12487 vsize=915440 CPUtime=0
/proc/12491/task/12500/stat : 12500 (java) S 12487 12491 12383 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78820262 937410560 6691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12501] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12501/stat : 12501 (java) S 12487 12491 12383 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78820262 937406464 6691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12506] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12506/stat : 12506 (java) S 12487 12491 12383 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 78820265 937406464 6691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12507] ppid=12487 vsize=915440 CPUtime=0.11
/proc/12491/task/12507/stat : 12507 (java) S 12487 12491 12383 0 -1 64 329 0 0 0 11 0 0 0 16 0 8 0 78820265 937410560 6691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12508] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12508/stat : 12508 (java) S 12487 12491 12383 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78820265 937406464 6691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12509] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12509/stat : 12509 (java) S 12487 12491 12383 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78820265 937406464 6691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 915436
[startup+51.1825 s]
/proc/loadavg: 1.50 1.12 1.04 3/87 12509
/proc/meminfo: memFree=1370272/2055920 swapFree=4192812/4192956
[pid=12491] ppid=12487 vsize=915436 CPUtime=51.1
/proc/12491/stat : 12491 (java) R 12487 12491 12383 0 -1 0 8995 0 1 0 4187 923 0 0 25 0 8 0 78820256 937406464 8726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073772122 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12491/statm: 228859 8726 2527 14 0 215329 0
[pid=12491/tid=12497] ppid=12487 vsize=915436 CPUtime=0.02
/proc/12491/task/12497/stat : 12497 (java) S 12487 12491 12383 0 -1 64 136 0 0 0 2 0 0 0 16 0 8 0 78820261 937406464 8726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12500] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12500/stat : 12500 (java) S 12487 12491 12383 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78820262 937406464 8726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12501] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12501/stat : 12501 (java) S 12487 12491 12383 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78820262 937406464 8726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12506] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12506/stat : 12506 (java) S 12487 12491 12383 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 78820265 937406464 8726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12507] ppid=12487 vsize=915436 CPUtime=0.22
/proc/12491/task/12507/stat : 12507 (java) S 12487 12491 12383 0 -1 64 381 0 0 0 21 1 0 0 15 0 8 0 78820265 937406464 8726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12508] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12508/stat : 12508 (java) S 12487 12491 12383 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78820265 937406464 8726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12509] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12509/stat : 12509 (java) S 12487 12491 12383 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78820265 937406464 8726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 915436
[startup+102.453 s]
/proc/loadavg: 1.78 1.26 1.09 3/87 12509
/proc/meminfo: memFree=1370208/2055920 swapFree=4192812/4192956
[pid=12491] ppid=12487 vsize=915436 CPUtime=102.37
/proc/12491/stat : 12491 (java) R 12487 12491 12383 0 -1 0 9006 0 1 0 9313 924 0 0 25 0 8 0 78820256 937406464 8736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073651376 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12491/statm: 228859 8736 2527 14 0 215329 0
[pid=12491/tid=12497] ppid=12487 vsize=915436 CPUtime=0.02
/proc/12491/task/12497/stat : 12497 (java) S 12487 12491 12383 0 -1 64 136 0 0 0 2 0 0 0 16 0 8 0 78820261 937406464 8736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12500] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12500/stat : 12500 (java) S 12487 12491 12383 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78820262 937406464 8736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12501] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12501/stat : 12501 (java) S 12487 12491 12383 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78820262 937406464 8736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12506] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12506/stat : 12506 (java) S 12487 12491 12383 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 78820265 937406464 8736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12507] ppid=12487 vsize=915436 CPUtime=0.22
/proc/12491/task/12507/stat : 12507 (java) S 12487 12491 12383 0 -1 64 381 0 0 0 21 1 0 0 16 0 8 0 78820265 937406464 8736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12508] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12508/stat : 12508 (java) S 12487 12491 12383 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78820265 937406464 8736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12509] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12509/stat : 12509 (java) S 12487 12491 12383 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78820265 937406464 8736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.37
Current children cumulated vsize (KiB) 915436
[startup+162.458 s]
/proc/loadavg: 1.92 1.39 1.14 3/87 12509
/proc/meminfo: memFree=1370144/2055920 swapFree=4192812/4192956
[pid=12491] ppid=12487 vsize=915436 CPUtime=162.36
/proc/12491/stat : 12491 (java) R 12487 12491 12383 0 -1 0 9009 0 1 0 15312 924 0 0 25 0 8 0 78820256 937406464 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757945 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12491/statm: 228859 8738 2527 14 0 215329 0
[pid=12491/tid=12497] ppid=12487 vsize=915436 CPUtime=0.02
/proc/12491/task/12497/stat : 12497 (java) S 12487 12491 12383 0 -1 64 136 0 0 0 2 0 0 0 16 0 8 0 78820261 937406464 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12500] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12500/stat : 12500 (java) S 12487 12491 12383 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78820262 937406464 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12501] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12501/stat : 12501 (java) S 12487 12491 12383 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78820262 937406464 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12506] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12506/stat : 12506 (java) S 12487 12491 12383 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 78820265 937406464 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12507] ppid=12487 vsize=915436 CPUtime=0.22
/proc/12491/task/12507/stat : 12507 (java) S 12487 12491 12383 0 -1 64 381 0 0 0 21 1 0 0 16 0 8 0 78820265 937406464 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12508] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12508/stat : 12508 (java) S 12487 12491 12383 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78820265 937406464 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12491/tid=12509] ppid=12487 vsize=915436 CPUtime=0
/proc/12491/task/12509/stat : 12509 (java) S 12487 12491 12383 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78820265 937406464 8738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 162.36
Current children cumulated vsize (KiB) 915436
Child status: 0
Real time (s): 188.815
CPU time (s): 188.672
CPU user time (s): 179.423
CPU system time (s): 9.24959
CPU usage (%): 99.9242
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 179.423
system time used= 9.24959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9107
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= 4884
involuntary context switches= 5619
runsolver used 0.180972 s user time and 0.508922 s system time
The end
Begin job on node70 on Sat Jan 20 17:13:53 UTC 2007
IDJOB= 281612
IDBENCH= 12227
IDSOLVER= 69
FILE ID= node70/281612-1169313233
PBS_JOBID= 3610288
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/randomMaxCSP/sparseTight/vcsp-25-10-21-85-19_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281612-1169313233/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node70/watcher-281612-1169313233 -o ROOT/results/node70/solver-281612-1169313233 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281612-1169313233/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= cba5e24368c638c5a48356d2befa4fd2
RANDOM SEED= 572280374
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.234
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.234
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: 1420784 kB
Buffers: 46016 kB
Cached: 497092 kB
SwapCached: 144 kB
Active: 143000 kB
Inactive: 420724 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1420784 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3632 kB
Writeback: 0 kB
Mapped: 30640 kB
Slab: 56860 kB
Committed_AS: 1127276 kB
PageTables: 1724 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 node70 on Sat Jan 20 17:17:02 UTC 2007