0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=epfc.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/282997-1169325046/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.38 nbVariables=30 nbDomainTypes=1 minDomainSize=3 maxDomainSize=3
0.38 => wckTime=0.093 cpuTime=0.07 mem=6M887
0.38
0.38 relations being loaded...
0.39
0.39 constraints being loaded...
0.43 nbConstraints=81 nbRelationTypes=1 nbExtensionStructures=1 nbSharedExtensionStructures=80
0.43 nbConflictsStructures=1 nbSharedConflictsStructures=80 nbSharedBinaryRepresentations=3 maxDegree=10 maxArity=2
0.43 => wckTime=0.14 cpuTime=0.11 mem=7M911
0.46
0.46 solver LocalSearchSolver being built...
0.51 => wckTime=0.217 cpuTime=0.15 mem=5M399
0.51
0.51 s SATISFIABLE
0.51 o 55
0.51 c 26
0.51 o 58
0.51 c 23
0.51 o 61
0.51 c 20
0.51 o 64
0.51 c 17
0.51 o 65
0.51 c 16
0.51 o 67
0.51 c 14
0.51 o 68
0.51 c 13
0.52 o 69
0.52 c 12
0.55 o 70
0.55 c 11
1.32
1.32 search
1.32 run=0 nbConstraintChecks=1670142 nbAssignments=10000
1.32 => wckTime=0.81 cpuTime=0.79 mem=5M399
2.05
2.05 search
2.05 run=1 nbConstraintChecks=3336358 nbAssignments=20000
2.05 => wckTime=1.544 cpuTime=1.52 mem=5M399
2.77
2.78 search
2.78 run=2 nbConstraintChecks=5006237 nbAssignments=30000
2.78 => wckTime=2.27 cpuTime=2.25 mem=5M399
3.50
3.50 search
3.50 run=3 nbConstraintChecks=6699018 nbAssignments=40000
3.50 => wckTime=2.998 cpuTime=2.98 mem=5M399
4.23
4.23 search
4.23 run=4 nbConstraintChecks=8368565 nbAssignments=50000
4.23 => wckTime=3.723 cpuTime=3.7 mem=5M399
4.96
4.96 search
4.96 run=5 nbConstraintChecks=10053610 nbAssignments=60000
4.96 => wckTime=4.452 cpuTime=4.43 mem=5M399
5.68
5.68 search
5.68 run=6 nbConstraintChecks=11721589 nbAssignments=70000
5.68 => wckTime=5.178 cpuTime=5.16 mem=5M399
6.41
6.41 search
6.41 run=7 nbConstraintChecks=13385166 nbAssignments=80000
6.41 => wckTime=5.908 cpuTime=5.89 mem=5M399
7.15
7.15 search
7.15 run=8 nbConstraintChecks=15048316 nbAssignments=90000
7.15 => wckTime=6.641 cpuTime=6.62 mem=5M399
7.88
7.88 search
7.88 run=9 nbConstraintChecks=16718376 nbAssignments=100000
7.88 => wckTime=7.376 cpuTime=7.35 mem=5M399
8.61
8.62 search
8.62 run=10 nbConstraintChecks=18386667 nbAssignments=110000
8.62 => wckTime=8.11 cpuTime=8.08 mem=5M399
9.35
9.35 search
9.35 run=11 nbConstraintChecks=20061441 nbAssignments=120000
9.35 => wckTime=8.845 cpuTime=8.82 mem=5M399
10.08
10.08 search
10.08 run=12 nbConstraintChecks=21722266 nbAssignments=130000
10.08 => wckTime=9.578 cpuTime=9.55 mem=5M399
10.82
10.82 search
10.82 run=13 nbConstraintChecks=23410130 nbAssignments=140000
10.82 => wckTime=10.314 cpuTime=10.29 mem=5M399
11.55
11.55 search
11.55 run=14 nbConstraintChecks=25070247 nbAssignments=150000
11.55 => wckTime=11.047 cpuTime=11.02 mem=5M399
12.29
12.29 search
12.29 run=15 nbConstraintChecks=26751940 nbAssignments=160000
12.29 => wckTime=11.782 cpuTime=11.75 mem=5M399
13.02
13.02 search
13.02 run=16 nbConstraintChecks=28419775 nbAssignments=170000
13.02 => wckTime=12.516 cpuTime=12.48 mem=5M399
13.75
13.75 search
13.75 run=17 nbConstraintChecks=30072778 nbAssignments=180000
13.75 => wckTime=13.248 cpuTime=13.22 mem=5M399
14.49
14.49 search
14.49 run=18 nbConstraintChecks=31737846 nbAssignments=190000
14.49 => wckTime=13.982 cpuTime=13.95 mem=5M399
15.22
15.22 search
15.22 run=19 nbConstraintChecks=33397236 nbAssignments=200000
15.22 => wckTime=14.715 cpuTime=14.69 mem=5M399
15.95
15.95 search
15.95 run=20 nbConstraintChecks=35064311 nbAssignments=210000
15.95 => wckTime=15.45 cpuTime=15.42 mem=5M399
16.68
16.68 search
16.68 run=21 nbConstraintChecks=36735771 nbAssignments=220000
16.68 => wckTime=16.179 cpuTime=16.15 mem=5M399
17.41
17.41 search
17.41 run=22 nbConstraintChecks=38393162 nbAssignments=230000
17.41 => wckTime=16.906 cpuTime=16.87 mem=5M399
18.14
18.14 search
18.14 run=23 nbConstraintChecks=40055841 nbAssignments=240000
18.14 => wckTime=17.634 cpuTime=17.6 mem=5M399
18.87
18.87 search
18.87 run=24 nbConstraintChecks=41711450 nbAssignments=250000
18.87 => wckTime=18.361 cpuTime=18.33 mem=5M399
19.60
19.60 search
19.60 run=25 nbConstraintChecks=43386786 nbAssignments=260000
19.60 => wckTime=19.09 cpuTime=19.06 mem=5M399
20.32
20.32 search
20.32 run=26 nbConstraintChecks=45053980 nbAssignments=270000
20.32 => wckTime=19.819 cpuTime=19.78 mem=5M399
21.06
21.06 search
21.06 run=27 nbConstraintChecks=46737546 nbAssignments=280000
21.06 => wckTime=20.55 cpuTime=20.51 mem=5M399
21.81
21.81 search
21.81 run=28 nbConstraintChecks=48399428 nbAssignments=290000
21.81 => wckTime=21.301 cpuTime=21.24 mem=5M399
22.54
22.54 search
22.54 run=29 nbConstraintChecks=50067724 nbAssignments=300000
22.54 => wckTime=22.031 cpuTime=21.97 mem=5M399
23.26
23.26 search
23.26 run=30 nbConstraintChecks=51725642 nbAssignments=310000
23.26 => wckTime=22.758 cpuTime=22.7 mem=5M399
23.99
23.99 search
23.99 run=31 nbConstraintChecks=53401615 nbAssignments=320000
23.99 => wckTime=23.487 cpuTime=23.43 mem=5M399
24.72
24.72 search
24.72 run=32 nbConstraintChecks=55062442 nbAssignments=330000
24.72 => wckTime=24.214 cpuTime=24.16 mem=5M399
25.45
25.45 search
25.45 run=33 nbConstraintChecks=56751643 nbAssignments=340000
25.45 => wckTime=24.943 cpuTime=24.88 mem=5M399
26.18
26.18 search
26.18 run=34 nbConstraintChecks=58415360 nbAssignments=350000
26.18 => wckTime=25.672 cpuTime=25.61 mem=5M399
26.91
26.91 search
26.91 run=35 nbConstraintChecks=60078521 nbAssignments=360000
26.91 => wckTime=26.407 cpuTime=26.35 mem=5M399
27.65
27.65 search
27.65 run=36 nbConstraintChecks=61734545 nbAssignments=370000
27.65 => wckTime=27.14 cpuTime=27.08 mem=5M399
28.39
28.39 search
28.39 run=37 nbConstraintChecks=63402897 nbAssignments=380000
28.39 => wckTime=27.887 cpuTime=27.82 mem=5M399
29.13
29.13 search
29.13 run=38 nbConstraintChecks=65073394 nbAssignments=390000
29.13 => wckTime=28.622 cpuTime=28.55 mem=5M399
29.86
29.86 search
29.86 run=39 nbConstraintChecks=66744861 nbAssignments=400000
29.86 => wckTime=29.359 cpuTime=29.29 mem=5M399
30.60
30.60 search
30.60 run=40 nbConstraintChecks=68406234 nbAssignments=410000
30.60 => wckTime=30.094 cpuTime=30.03 mem=5M399
30.62
30.62 search
30.62 run=41 nbConstraintChecks=68452714 nbAssignments=410286
30.62 => wckTime=30.116 cpuTime=30.05 mem=5M399
30.62
30.62 global
30.62 nbConstraintChecks=68452714 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.62 solvingWckTime=30.113 solvingCpuTime=30.05 expiredTime=no totalExploration=no nbFoundSolutions=0
30.62 globalCpuTime=30.25
30.62 => wckTime=30.332 cpuTime=30.2 mem=5M399
30.62
30.62 solver IterativeSystematicSolver being built...
30.75 => wckTime=30.462 cpuTime=30.29 mem=16M323
30.78
30.78 preprocessing
30.78 nbConstraintChecks=4094 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
30.78 detectedInconsistency=no
30.78 => wckTime=0.026 cpuTime=0.02 mem=16M323
30.80
30.80 search
30.80 run=0 nbConstraintChecks=7713 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=38
30.80 nbFailedAssignments=11 nbBacktracks=10 nbVisitedNodes=60 nbRestartNogoods=0
30.80 => wckTime=0.042 cpuTime=0.03 mem=16M323
30.82
30.82 search
30.82 run=1 nbConstraintChecks=19110 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=89
30.82 nbFailedAssignments=29 nbBacktracks=26 nbVisitedNodes=144 nbRestartNogoods=2
30.82 => wckTime=0.063 cpuTime=0.04 mem=16M323
30.83
30.83 search
30.83 run=2 nbConstraintChecks=35973 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=157
30.83 nbFailedAssignments=58 nbBacktracks=48 nbVisitedNodes=263 nbRestartNogoods=5
30.83 => wckTime=0.08 cpuTime=0.05 mem=16M323
30.85
30.85 search
30.85 run=3 nbConstraintChecks=55490 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=237
30.85 nbFailedAssignments=87 nbBacktracks=82 nbVisitedNodes=406 nbRestartNogoods=11
30.85 => wckTime=0.097 cpuTime=0.06 mem=16M323
30.87
30.87 search
30.87 run=4 nbConstraintChecks=85021 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=352
30.87 nbFailedAssignments=137 nbBacktracks=132 nbVisitedNodes=618 nbRestartNogoods=15
30.87 => wckTime=0.116 cpuTime=0.08 mem=16M323
30.90
30.90 search
30.90 run=5 nbConstraintChecks=132711 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=528
30.90 nbFailedAssignments=222 nbBacktracks=208 nbVisitedNodes=954 nbRestartNogoods=17
30.90 => wckTime=0.145 cpuTime=0.11 mem=16M323
30.93
30.93 search
30.93 run=6 nbConstraintChecks=197684 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=765
30.93 nbFailedAssignments=331 nbBacktracks=322 nbVisitedNodes=1412 nbRestartNogoods=21
30.93 => wckTime=0.181 cpuTime=0.15 mem=16M323
30.98
30.98 search
30.98 run=7 nbConstraintChecks=288466 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1099
30.98 nbFailedAssignments=480 nbBacktracks=493 nbVisitedNodes=2059 nbRestartNogoods=27
30.98 => wckTime=0.228 cpuTime=0.19 mem=16M323
31.06
31.06 search
31.06 run=8 nbConstraintChecks=432701 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1629
31.06 nbFailedAssignments=739 nbBacktracks=750 nbVisitedNodes=3089 nbRestartNogoods=32
31.06 => wckTime=0.306 cpuTime=0.26 mem=16M323
31.16
31.16 search
31.16 run=9 nbConstraintChecks=655299 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2417
31.16 nbFailedAssignments=1128 nbBacktracks=1134 nbVisitedNodes=4639 nbRestartNogoods=38
31.16 => wckTime=0.408 cpuTime=0.35 mem=16M323
31.30
31.30 search
31.30 run=10 nbConstraintChecks=976699 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3562
31.30 nbFailedAssignments=1683 nbBacktracks=1710 nbVisitedNodes=6884 nbRestartNogoods=42
31.30 => wckTime=0.549 cpuTime=0.49 mem=16M323
31.50
31.50 search
31.50 run=11 nbConstraintChecks=1442576 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5257
31.50 nbFailedAssignments=2496 nbBacktracks=2575 nbVisitedNodes=10223 nbRestartNogoods=49
31.50 => wckTime=0.746 cpuTime=0.69 mem=16M323
31.83
31.83 search
31.83 run=12 nbConstraintChecks=2176924 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7912
31.83 nbFailedAssignments=3837 nbBacktracks=3872 nbVisitedNodes=15469 nbRestartNogoods=55
31.83 => wckTime=1.074 cpuTime=1.02 mem=16M323
32.29
32.29 search
32.29 run=13 nbConstraintChecks=3193461 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11571
32.29 nbFailedAssignments=5535 nbBacktracks=5821 nbVisitedNodes=22744 nbRestartNogoods=63
32.29 => wckTime=1.538 cpuTime=1.48 mem=16M323
32.99
32.99 search
32.99 run=14 nbConstraintChecks=4795001 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=17252
32.99 nbFailedAssignments=8282 nbBacktracks=8740 nbVisitedNodes=34015 nbRestartNogoods=70
32.99 => wckTime=2.238 cpuTime=2.18 mem=16M323
34.06
34.06 search
34.06 run=15 nbConstraintChecks=7156897 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=25779
34.06 nbFailedAssignments=12417 nbBacktracks=13118 nbVisitedNodes=50876 nbRestartNogoods=77
34.06 => wckTime=3.309 cpuTime=3.25 mem=16M323
35.63
35.63 search
35.63 run=16 nbConstraintChecks=10593680 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=38123
35.63 nbFailedAssignments=18178 nbBacktracks=19687 nbVisitedNodes=75259 nbRestartNogoods=82
35.63 => wckTime=4.877 cpuTime=4.82 mem=16M323
38.01
38.01 search
38.01 run=17 nbConstraintChecks=15755341 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=56482
38.01 nbFailedAssignments=26670 nbBacktracks=29539 nbVisitedNodes=110649 nbRestartNogoods=92
38.01 => wckTime=7.254 cpuTime=7.19 mem=16M323
41.40
41.40 search
41.40 run=18 nbConstraintChecks=23363155 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=83572
41.40 nbFailedAssignments=38973 nbBacktracks=44317 nbVisitedNodes=162289 nbRestartNogoods=103
41.40 => wckTime=10.65 cpuTime=10.58 mem=16M323
46.14
46.14 search
46.14 run=19 nbConstraintChecks=34654704 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=123132
46.14 nbFailedAssignments=56353 nbBacktracks=66485 nbVisitedNodes=236530 nbRestartNogoods=110
46.14 => wckTime=15.389 cpuTime=15.32 mem=16M323
53.23
53.23 search
53.23 run=20 nbConstraintChecks=50179452 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=179842
53.23 nbFailedAssignments=79805 nbBacktracks=99737 nbVisitedNodes=342121 nbRestartNogoods=118
53.23 => wckTime=22.479 cpuTime=22.41 mem=16M323
63.34
63.34 search
63.34 run=21 nbConstraintChecks=71334941 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=262482
63.34 nbFailedAssignments=112552 nbBacktracks=149617 nbVisitedNodes=495563 nbRestartNogoods=126
63.34 => wckTime=32.589 cpuTime=32.51 mem=16M323
77.95
77.95 search
77.95 run=22 nbConstraintChecks=101003191 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=385310
77.95 nbFailedAssignments=160553 nbBacktracks=224435 nbVisitedNodes=719560 nbRestartNogoods=137
77.95 => wckTime=47.193 cpuTime=47.08 mem=16M323
100.08
100.08 search
100.08 run=23 nbConstraintChecks=144148851 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=567770
100.08 nbFailedAssignments=230778 nbBacktracks=336664 nbVisitedNodes=1048596 nbRestartNogoods=141
100.08 => wckTime=69.324 cpuTime=69.2 mem=16M323
119.41
119.41 search
119.41 run=24 nbConstraintChecks=179987601 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=733043
119.41 nbFailedAssignments=293211 nbBacktracks=439505 nbVisitedNodes=1339261 nbRestartNogoods=150
119.41 => wckTime=88.655 cpuTime=88.5 mem=16M323
119.41
119.41 global
119.41 nbConstraintChecks=179991695 nbRestartNogoods=150 solvingWckTime=88.656 solvingCpuTime=88.5 expiredTime=no
119.41 totalExploration=yes nbFoundSolutions=0 globalCpuTime=118.84
119.41 => wckTime=119.119 cpuTime=118.79 mem=16M323
119.41
119.41 s OPTIMUM FOUND
119.41 v 1 2 2 0 0 0 1 2 0 2 2 0 2 1 1 2 1 1 2 1 1 1 0 0 0 2 0 0 1 0
119.41
119.41 totalWckTime=119.197 totalCpuTime=118.85
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node7/watcher-282997-1169325046 -o ROOT/results/node7/solver-282997-1169325046 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282997-1169325046/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: 2.00 2.00 2.00 4/93 1711
/proc/meminfo: memFree=1287456/2055920 swapFree=4192812/4192956
[pid=1710] ppid=1708 vsize=172 CPUtime=0
/proc/1710/stat : 1710 (java) R 1708 1710 1546 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 280900029 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 10416932 0 0 4096 0 0 0 0 17 0 0 0
/proc/1710/statm: 43 24 18 14 0 3 0
[startup+0.1084 s]
/proc/loadavg: 2.00 2.00 2.00 4/93 1711
/proc/meminfo: memFree=1287456/2055920 swapFree=4192812/4192956
[pid=1710] ppid=1708 vsize=914988 CPUtime=0.09
/proc/1710/stat : 1710 (java) R 1708 1710 1546 0 -1 0 3084 0 1 0 8 1 0 0 24 0 8 0 280900029 936947712 2830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1710/statm: 228747 2830 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516444 s]
/proc/loadavg: 2.00 2.00 2.00 4/93 1711
/proc/meminfo: memFree=1287456/2055920 swapFree=4192812/4192956
[pid=1710] ppid=1708 vsize=915336 CPUtime=0.49
/proc/1710/stat : 1710 (java) R 1708 1710 1546 0 -1 0 6876 0 1 0 45 4 0 0 25 0 8 0 280900029 937304064 6614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1710/statm: 228834 6614 2477 14 0 215304 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915336
[startup+1.33953 s]
/proc/loadavg: 2.00 2.00 2.00 4/100 1718
/proc/meminfo: memFree=1270824/2055920 swapFree=4192812/4192956
[pid=1710] ppid=1708 vsize=915336 CPUtime=1.31
/proc/1710/stat : 1710 (java) R 1708 1710 1546 0 -1 0 6889 0 1 0 89 42 0 0 25 0 8 0 280900029 937304064 6627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1710/statm: 228833 6627 2479 14 0 215303 0
[pid=1710/tid=1712] ppid=1708 vsize=915336 CPUtime=0.02
/proc/1710/task/1712/stat : 1712 (java) S 1708 1710 1546 0 -1 64 128 0 0 0 2 0 0 0 16 0 8 0 280900033 937304064 6627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1710/tid=1713] ppid=1708 vsize=915332 CPUtime=0
/proc/1710/task/1713/stat : 1713 (java) S 1708 1710 1546 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280900033 937299968 6627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1710/tid=1714] ppid=1708 vsize=915332 CPUtime=0
/proc/1710/task/1714/stat : 1714 (java) S 1708 1710 1546 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280900033 937299968 6627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1710/tid=1715] ppid=1708 vsize=915332 CPUtime=0
/proc/1710/task/1715/stat : 1715 (java) S 1708 1710 1546 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280900036 937299968 6627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1710/tid=1716] ppid=1708 vsize=915332 CPUtime=0.09
/proc/1710/task/1716/stat : 1716 (java) S 1708 1710 1546 0 -1 64 316 0 0 0 9 0 0 0 16 0 8 0 280900036 937299968 6627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1710/tid=1717] ppid=1708 vsize=915336 CPUtime=0
/proc/1710/task/1717/stat : 1717 (java) S 1708 1710 1546 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 280900036 937304064 6627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1710/tid=1718] ppid=1708 vsize=915332 CPUtime=0
/proc/1710/task/1718/stat : 1718 (java) S 1708 1710 1546 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280900036 937299968 6627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915336
[startup+2.9897 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 1718
/proc/meminfo: memFree=1270760/2055920 swapFree=4192812/4192956
[pid=1710] ppid=1708 vsize=915332 CPUtime=2.96
/proc/1710/stat : 1710 (java) R 1708 1710 1546 0 -1 0 6890 0 1 0 171 125 0 0 25 0 8 0 280900029 937299968 6627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1710/statm: 228833 6627 2479 14 0 215303 0
[pid=1710/tid=1712] ppid=1708 vsize=915332 CPUtime=0.02
/proc/1710/task/1712/stat : 1712 (java) S 1708 1710 1546 0 -1 64 128 0 0 0 2 0 0 0 16 0 8 0 280900033 937299968 6627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1710/tid=1713] ppid=1708 vsize=915332 CPUtime=0
/proc/1710/task/1713/stat : 1713 (java) S 1708 1710 1546 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280900033 937299968 6627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1710/tid=1714] ppid=1708 vsize=915336 CPUtime=0
/proc/1710/task/1714/stat : 1714 (java) S 1708 1710 1546 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280900033 937304064 6627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1710/tid=1715] ppid=1708 vsize=915332 CPUtime=0
/proc/1710/task/1715/stat : 1715 (java) S 1708 1710 1546 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280900036 937299968 6627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1710/tid=1716] ppid=1708 vsize=915336 CPUtime=0.09
/proc/1710/task/1716/stat : 1716 (java) S 1708 1710 1546 0 -1 64 316 0 0 0 9 0 0 0 16 0 8 0 280900036 937304064 6627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1710/tid=1717] ppid=1708 vsize=915332 CPUtime=0
/proc/1710/task/1717/stat : 1717 (java) S 1708 1710 1546 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 280900036 937299968 6627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1710/tid=1718] ppid=1708 vsize=915332 CPUtime=0
/proc/1710/task/1718/stat : 1718 (java) S 1708 1710 1546 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280900036 937299968 6627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915332
[startup+6.26905 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 1718
/proc/meminfo: memFree=1270696/2055920 swapFree=4192812/4192956
[pid=1710] ppid=1708 vsize=915336 CPUtime=6.24
/proc/1710/stat : 1710 (java) R 1708 1710 1546 0 -1 0 6890 0 1 0 338 286 0 0 25 0 8 0 280900029 937304064 6627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1710/statm: 228833 6627 2479 14 0 215303 0
[pid=1710/tid=1712] ppid=1708 vsize=915332 CPUtime=0.02
/proc/1710/task/1712/stat : 1712 (java) S 1708 1710 1546 0 -1 64 128 0 0 0 2 0 0 0 16 0 8 0 280900033 937299968 6627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1710/tid=1713] ppid=1708 vsize=915332 CPUtime=0
/proc/1710/task/1713/stat : 1713 (java) S 1708 1710 1546 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280900033 937299968 6627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1710/tid=1714] ppid=1708 vsize=915336 CPUtime=0
/proc/1710/task/1714/stat : 1714 (java) S 1708 1710 1546 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280900033 937304064 6627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1710/tid=1715] ppid=1708 vsize=915332 CPUtime=0
/proc/1710/task/1715/stat : 1715 (java) S 1708 1710 1546 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280900036 937299968 6627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1710/tid=1716] ppid=1708 vsize=915332 CPUtime=0.09
/proc/1710/task/1716/stat : 1716 (java) S 1708 1710 1546 0 -1 64 316 0 0 0 9 0 0 0 16 0 8 0 280900036 937299968 6627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1710/tid=1717] ppid=1708 vsize=915332 CPUtime=0
/proc/1710/task/1717/stat : 1717 (java) S 1708 1710 1546 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 280900036 937299968 6627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1710/tid=1718] ppid=1708 vsize=915332 CPUtime=0
/proc/1710/task/1718/stat : 1718 (java) S 1708 1710 1546 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280900036 937299968 6627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915336
[startup+12.7577 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 1718
/proc/meminfo: memFree=1270696/2055920 swapFree=4192812/4192956
[pid=1710] ppid=1708 vsize=915336 CPUtime=12.72
/proc/1710/stat : 1710 (java) R 1708 1710 1546 0 -1 0 6891 0 1 0 661 611 0 0 25 0 8 0 280900029 937304064 6628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1710/statm: 228833 6628 2479 14 0 215303 0
[pid=1710/tid=1712] ppid=1708 vsize=915336 CPUtime=0.02
/proc/1710/task/1712/stat : 1712 (java) S 1708 1710 1546 0 -1 64 128 0 0 0 2 0 0 0 16 0 8 0 280900033 937304064 6628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1710/tid=1713] ppid=1708 vsize=915332 CPUtime=0
/proc/1710/task/1713/stat : 1713 (java) S 1708 1710 1546 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280900033 937299968 6628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1710/tid=1714] ppid=1708 vsize=915336 CPUtime=0
/proc/1710/task/1714/stat : 1714 (java) S 1708 1710 1546 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280900033 937304064 6628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1710/tid=1715] ppid=1708 vsize=915332 CPUtime=0
/proc/1710/task/1715/stat : 1715 (java) S 1708 1710 1546 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280900036 937299968 6628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1710/tid=1716] ppid=1708 vsize=915332 CPUtime=0.09
/proc/1710/task/1716/stat : 1716 (java) S 1708 1710 1546 0 -1 64 317 0 0 0 9 0 0 0 16 0 8 0 280900036 937299968 6628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1710/tid=1717] ppid=1708 vsize=915332 CPUtime=0
/proc/1710/task/1717/stat : 1717 (java) S 1708 1710 1546 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 280900036 937299968 6628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1710/tid=1718] ppid=1708 vsize=915332 CPUtime=0
/proc/1710/task/1718/stat : 1718 (java) S 1708 1710 1546 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280900036 937299968 6628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915336
[startup+25.6021 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 1718
/proc/meminfo: memFree=1270696/2055920 swapFree=4192812/4192956
[pid=1710] ppid=1708 vsize=915336 CPUtime=25.54
/proc/1710/stat : 1710 (java) R 1708 1710 1546 0 -1 0 6891 0 1 0 1301 1253 0 0 25 0 8 0 280900029 937304064 6628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1710/statm: 228833 6628 2479 14 0 215303 0
[pid=1710/tid=1712] ppid=1708 vsize=915336 CPUtime=0.02
/proc/1710/task/1712/stat : 1712 (java) S 1708 1710 1546 0 -1 64 128 0 0 0 2 0 0 0 16 0 8 0 280900033 937304064 6628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1710/tid=1713] ppid=1708 vsize=915332 CPUtime=0
/proc/1710/task/1713/stat : 1713 (java) S 1708 1710 1546 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280900033 937299968 6628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1710/tid=1714] ppid=1708 vsize=915332 CPUtime=0
/proc/1710/task/1714/stat : 1714 (java) S 1708 1710 1546 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280900033 937299968 6628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1710/tid=1715] ppid=1708 vsize=915336 CPUtime=0
/proc/1710/task/1715/stat : 1715 (java) S 1708 1710 1546 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280900036 937304064 6628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1710/tid=1716] ppid=1708 vsize=915332 CPUtime=0.09
/proc/1710/task/1716/stat : 1716 (java) S 1708 1710 1546 0 -1 64 317 0 0 0 9 0 0 0 16 0 8 0 280900036 937299968 6628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1710/tid=1717] ppid=1708 vsize=915332 CPUtime=0
/proc/1710/task/1717/stat : 1717 (java) S 1708 1710 1546 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 280900036 937299968 6628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1710/tid=1718] ppid=1708 vsize=915336 CPUtime=0
/proc/1710/task/1718/stat : 1718 (java) S 1708 1710 1546 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280900036 937304064 6628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 915336
[startup+51.2058 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 1718
/proc/meminfo: memFree=1262696/2055920 swapFree=4192812/4192956
[pid=1710] ppid=1708 vsize=915332 CPUtime=51.12
/proc/1710/stat : 1710 (java) R 1708 1710 1546 0 -1 0 9010 0 1 0 3599 1513 0 0 25 0 8 0 280900029 937299968 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918529 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1710/statm: 228833 8745 2532 14 0 215303 0
[pid=1710/tid=1712] ppid=1708 vsize=915332 CPUtime=0.02
/proc/1710/task/1712/stat : 1712 (java) S 1708 1710 1546 0 -1 64 129 0 0 0 2 0 0 0 16 0 8 0 280900033 937299968 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1710/tid=1713] ppid=1708 vsize=915332 CPUtime=0
/proc/1710/task/1713/stat : 1713 (java) S 1708 1710 1546 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280900033 937299968 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1710/tid=1714] ppid=1708 vsize=915332 CPUtime=0
/proc/1710/task/1714/stat : 1714 (java) S 1708 1710 1546 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280900033 937299968 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1710/tid=1715] ppid=1708 vsize=915332 CPUtime=0
/proc/1710/task/1715/stat : 1715 (java) S 1708 1710 1546 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280900036 937299968 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1710/tid=1716] ppid=1708 vsize=915332 CPUtime=0.19
/proc/1710/task/1716/stat : 1716 (java) S 1708 1710 1546 0 -1 64 371 0 0 0 18 1 0 0 16 0 8 0 280900036 937299968 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1710/tid=1717] ppid=1708 vsize=915332 CPUtime=0
/proc/1710/task/1717/stat : 1717 (java) S 1708 1710 1546 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 280900036 937299968 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1710/tid=1718] ppid=1708 vsize=915332 CPUtime=0
/proc/1710/task/1718/stat : 1718 (java) S 1708 1710 1546 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280900036 937299968 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 915332
[startup+102.41 s]
/proc/loadavg: 2.11 2.03 2.01 3/100 1718
/proc/meminfo: memFree=1262632/2055920 swapFree=4192812/4192956
[pid=1710] ppid=1708 vsize=915332 CPUtime=102.27
/proc/1710/stat : 1710 (java) R 1708 1710 1546 0 -1 0 9023 0 1 0 8714 1513 0 0 25 0 8 0 280900029 937299968 8755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073715657 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1710/statm: 228833 8755 2532 14 0 215303 0
[pid=1710/tid=1712] ppid=1708 vsize=915332 CPUtime=0.02
/proc/1710/task/1712/stat : 1712 (java) S 1708 1710 1546 0 -1 64 129 0 0 0 2 0 0 0 16 0 8 0 280900033 937299968 8755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1710/tid=1713] ppid=1708 vsize=915332 CPUtime=0
/proc/1710/task/1713/stat : 1713 (java) S 1708 1710 1546 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280900033 937299968 8755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1710/tid=1714] ppid=1708 vsize=915332 CPUtime=0
/proc/1710/task/1714/stat : 1714 (java) S 1708 1710 1546 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280900033 937299968 8755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1710/tid=1715] ppid=1708 vsize=915332 CPUtime=0
/proc/1710/task/1715/stat : 1715 (java) S 1708 1710 1546 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280900036 937299968 8755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1710/tid=1716] ppid=1708 vsize=915332 CPUtime=0.19
/proc/1710/task/1716/stat : 1716 (java) S 1708 1710 1546 0 -1 64 372 0 0 0 18 1 0 0 16 0 8 0 280900036 937299968 8755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1710/tid=1717] ppid=1708 vsize=915332 CPUtime=0
/proc/1710/task/1717/stat : 1717 (java) S 1708 1710 1546 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 280900036 937299968 8755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1710/tid=1718] ppid=1708 vsize=915332 CPUtime=0
/proc/1710/task/1718/stat : 1718 (java) S 1708 1710 1546 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280900036 937299968 8755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 915332
Child status: 0
Real time (s): 119.461
CPU time (s): 119.269
CPU user time (s): 104.124
CPU system time (s): 15.1447
CPU usage (%): 99.8391
Max. virtual memory (cumulated for all children) (KiB): 915336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 104.124
system time used= 15.1447
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9120
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= 3508
involuntary context switches= 7349
runsolver used 0.138978 s user time and 0.407937 s system time
The end
Begin job on node7 on Sat Jan 20 20:30:46 UTC 2007
IDJOB= 282997
IDBENCH= 12975
IDSOLVER= 68
FILE ID= node7/282997-1169325046
PBS_JOBID= 3610491
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/coloring/geom-30a-3-ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282997-1169325046/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-282997-1169325046 -o ROOT/results/node7/solver-282997-1169325046 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282997-1169325046/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 988fc81fbaf808399fb7936f353f616c
RANDOM SEED= 139166713
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.220
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.220
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: 1287936 kB
Buffers: 56960 kB
Cached: 541440 kB
SwapCached: 0 kB
Active: 252348 kB
Inactive: 432424 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1287936 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1684 kB
Writeback: 0 kB
Mapped: 115384 kB
Slab: 67628 kB
Committed_AS: 10138404 kB
PageTables: 2464 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 node7 on Sat Jan 20 20:32:46 UTC 2007