0.35
0.35 Abscon 109 (November, 2006)
0.35
0.35 configuration
0.35 name=epfc.xml
0.38
0.38 instance
0.38 name=/tmp/evaluation/281665-1169313503/unknown.xml
0.42
0.42 domains being loaded...
0.42
0.42 variables being loaded...
0.45 nbVariables=25 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.45 => wckTime=0.1 cpuTime=0.09 mem=6M887
0.45
0.45 relations being loaded...
0.50
0.50 constraints being loaded...
0.54 nbConstraints=63 nbRelationTypes=63 nbExtensionStructures=63 nbSharedExtensionStructures=0
0.54 nbConflictsStructures=63 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1064 maxDegree=9
0.54 maxArity=2
0.54 => wckTime=0.185 cpuTime=0.14 mem=7M879
0.58
0.58 solver LocalSearchSolver being built...
0.63 => wckTime=0.274 cpuTime=0.18 mem=5M428
0.63
0.63 s SATISFIABLE
0.63 o 14
0.63 c 49
0.63 o 16
0.63 c 47
0.64 o 18
0.64 c 45
0.64 o 19
0.64 c 44
0.64 o 21
0.64 c 42
0.64 o 23
0.64 c 40
0.64 o 25
0.64 c 38
0.64 o 26
0.64 c 37
0.64 o 28
0.64 c 35
0.64 o 30
0.64 c 33
0.64 o 31
0.64 c 32
0.64 o 32
0.64 c 31
0.64 o 33
0.65 c 30
0.65 o 34
0.65 c 29
0.65 o 35
0.65 c 28
0.65 o 36
0.65 c 27
0.65 o 37
0.65 c 26
0.65 o 38
0.65 c 25
0.65 o 39
0.65 c 24
0.65 o 40
0.65 c 23
0.65 o 41
0.65 c 22
0.65 o 42
0.65 c 21
0.71 o 43
0.71 c 20
0.71 o 44
0.71 c 19
1.98
1.98 search
1.98 run=0 nbConstraintChecks=6298769 nbAssignments=10000
1.98 => wckTime=1.355 cpuTime=1.33 mem=5M428
3.28
3.28 search
3.28 run=1 nbConstraintChecks=12550427 nbAssignments=20000
3.28 => wckTime=2.654 cpuTime=2.62 mem=5M428
4.58
4.58 search
4.58 run=2 nbConstraintChecks=18825031 nbAssignments=30000
4.58 => wckTime=3.952 cpuTime=3.9 mem=5M428
5.88
5.88 search
5.88 run=3 nbConstraintChecks=25169835 nbAssignments=40000
5.88 => wckTime=5.256 cpuTime=5.2 mem=5M428
7.19
7.19 search
7.19 run=4 nbConstraintChecks=31584206 nbAssignments=50000
7.19 => wckTime=6.566 cpuTime=6.49 mem=5M428
8.55
8.55 search
8.55 run=5 nbConstraintChecks=38428412 nbAssignments=60000
8.55 => wckTime=7.922 cpuTime=7.84 mem=5M428
9.85
9.85 search
9.85 run=6 nbConstraintChecks=44729628 nbAssignments=70000
9.85 => wckTime=9.22 cpuTime=9.12 mem=5M428
11.16
11.16 search
11.16 run=7 nbConstraintChecks=51204239 nbAssignments=80000
11.16 => wckTime=10.532 cpuTime=10.42 mem=5M428
12.45
12.45 search
12.45 run=8 nbConstraintChecks=57487361 nbAssignments=90000
12.45 => wckTime=11.825 cpuTime=11.7 mem=5M428
13.74
13.74 search
13.74 run=9 nbConstraintChecks=63813245 nbAssignments=100000
13.74 => wckTime=13.113 cpuTime=12.98 mem=5M428
15.03
15.03 search
15.03 run=10 nbConstraintChecks=70145174 nbAssignments=110000
15.03 => wckTime=14.402 cpuTime=14.26 mem=5M428
16.32
16.32 search
16.32 run=11 nbConstraintChecks=76492721 nbAssignments=120000
16.32 => wckTime=15.694 cpuTime=15.54 mem=5M428
17.62
17.62 search
17.62 run=12 nbConstraintChecks=82845306 nbAssignments=130000
17.62 => wckTime=16.992 cpuTime=16.83 mem=5M428
18.92
18.92 search
18.92 run=13 nbConstraintChecks=89277960 nbAssignments=140000
18.92 => wckTime=18.293 cpuTime=18.12 mem=5M428
20.22
20.22 search
20.22 run=14 nbConstraintChecks=95656515 nbAssignments=150000
20.22 => wckTime=19.596 cpuTime=19.42 mem=5M428
21.55
21.55 search
21.55 run=15 nbConstraintChecks=102127763 nbAssignments=160000
21.55 => wckTime=20.919 cpuTime=20.72 mem=5M428
22.85
22.85 search
22.85 run=16 nbConstraintChecks=108458909 nbAssignments=170000
22.85 => wckTime=22.222 cpuTime=22.02 mem=5M428
24.18
24.18 search
24.18 run=17 nbConstraintChecks=115076432 nbAssignments=180000
24.18 => wckTime=23.557 cpuTime=23.34 mem=5M428
25.50
25.50 search
25.50 run=18 nbConstraintChecks=121463613 nbAssignments=190000
25.50 => wckTime=24.872 cpuTime=24.64 mem=5M428
26.84
26.84 search
26.84 run=19 nbConstraintChecks=128106318 nbAssignments=200000
26.84 => wckTime=26.208 cpuTime=25.97 mem=5M428
28.16
28.16 search
28.16 run=20 nbConstraintChecks=134641376 nbAssignments=210000
28.16 => wckTime=27.533 cpuTime=27.28 mem=5M428
29.47
29.47 search
29.47 run=21 nbConstraintChecks=141003784 nbAssignments=220000
29.47 => wckTime=28.845 cpuTime=28.58 mem=5M428
30.78
30.78 search
30.78 run=22 nbConstraintChecks=147441413 nbAssignments=230000
30.78 => wckTime=30.151 cpuTime=29.88 mem=5M428
30.98
30.98 search
30.98 run=23 nbConstraintChecks=148486514 nbAssignments=231515
30.98 => wckTime=30.354 cpuTime=30.08 mem=5M428
30.98
30.98 global
30.98 nbConstraintChecks=148486514 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.98 solvingWckTime=30.353 solvingCpuTime=30.08 expiredTime=no totalExploration=no nbFoundSolutions=0
30.98 globalCpuTime=30.31
30.98 => wckTime=30.629 cpuTime=30.26 mem=5M428
30.98
30.98 solver IterativeSystematicSolver being built...
31.12 => wckTime=30.769 cpuTime=30.36 mem=16M417
31.15
31.15 preprocessing
31.15 nbConstraintChecks=31019 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.15 detectedInconsistency=no
31.15 => wckTime=0.03 cpuTime=0.02 mem=16M417
31.19
31.19 search
31.19 run=0 nbConstraintChecks=52404 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=34
31.19 nbFailedAssignments=18 nbBacktracks=10 nbVisitedNodes=63 nbRestartNogoods=0
31.19 => wckTime=0.062 cpuTime=0.04 mem=16M417
31.23
31.23 search
31.23 run=1 nbConstraintChecks=154952 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=92
31.23 nbFailedAssignments=56 nbBacktracks=25 nbVisitedNodes=174 nbRestartNogoods=1
31.23 => wckTime=0.104 cpuTime=0.08 mem=16M417
31.27
31.27 search
31.27 run=2 nbConstraintChecks=299910 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=174
31.27 nbFailedAssignments=110 nbBacktracks=47 nbVisitedNodes=331 nbRestartNogoods=8
31.27 => wckTime=0.148 cpuTime=0.12 mem=16M417
31.36
31.36 search
31.36 run=3 nbConstraintChecks=582361 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=342
31.36 nbFailedAssignments=239 nbBacktracks=80 nbVisitedNodes=656 nbRestartNogoods=15
31.36 => wckTime=0.23 cpuTime=0.2 mem=16M417
31.44
31.44 search
31.44 run=4 nbConstraintChecks=913281 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=527
31.44 nbFailedAssignments=368 nbBacktracks=130 nbVisitedNodes=1019 nbRestartNogoods=27
31.44 => wckTime=0.319 cpuTime=0.28 mem=16M417
31.54
31.54 search
31.54 run=5 nbConstraintChecks=1285365 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=748
31.54 nbFailedAssignments=507 nbBacktracks=205 nbVisitedNodes=1454 nbRestartNogoods=31
31.54 => wckTime=0.414 cpuTime=0.38 mem=16M417
31.73
31.73 search
31.73 run=6 nbConstraintChecks=2034414 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1173
31.73 nbFailedAssignments=812 nbBacktracks=319 nbVisitedNodes=2297 nbRestartNogoods=43
31.73 => wckTime=0.609 cpuTime=0.56 mem=16M417
32.06
32.06 search
32.06 run=7 nbConstraintChecks=3238625 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1848
32.06 nbFailedAssignments=1312 nbBacktracks=489 nbVisitedNodes=3640 nbRestartNogoods=54
32.06 => wckTime=0.934 cpuTime=0.88 mem=16M417
32.46
32.46 search
32.46 run=8 nbConstraintChecks=4797376 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2729
32.46 nbFailedAssignments=1932 nbBacktracks=745 nbVisitedNodes=5397 nbRestartNogoods=66
32.46 => wckTime=1.338 cpuTime=1.28 mem=16M417
33.10
33.10 search
33.10 run=9 nbConstraintChecks=7292995 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4119
33.10 nbFailedAssignments=2933 nbBacktracks=1129 nbVisitedNodes=8167 nbRestartNogoods=72
33.10 => wckTime=1.976 cpuTime=1.91 mem=16M417
34.22
34.22 search
34.22 run=10 nbConstraintChecks=11817164 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6736
34.22 nbFailedAssignments=4969 nbBacktracks=1705 nbVisitedNodes=13357 nbRestartNogoods=92
34.22 => wckTime=3.097 cpuTime=3.01 mem=16M417
35.51
35.51 search
35.51 run=11 nbConstraintChecks=17168183 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9717
35.51 nbFailedAssignments=7081 nbBacktracks=2569 nbVisitedNodes=19304 nbRestartNogoods=110
35.51 => wckTime=4.383 cpuTime=4.29 mem=16M417
37.10
37.10 search
37.10 run=12 nbConstraintChecks=23283840 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=13151
37.10 nbFailedAssignments=9210 nbBacktracks=3867 nbVisitedNodes=26165 nbRestartNogoods=122
37.10 => wckTime=5.972 cpuTime=5.86 mem=16M417
39.37
39.37 search
39.37 run=13 nbConstraintChecks=32734384 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=19106
39.37 nbFailedAssignments=13211 nbBacktracks=5815 nbVisitedNodes=38066 nbRestartNogoods=134
39.37 => wckTime=8.251 cpuTime=8.12 mem=16M417
44.20
44.20 search
44.20 run=14 nbConstraintChecks=51548449 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=29919
44.20 nbFailedAssignments=21100 nbBacktracks=8734 nbVisitedNodes=59595 nbRestartNogoods=159
44.20 => wckTime=13.076 cpuTime=12.89 mem=16M417
49.63
49.63 search
49.63 run=15 nbConstraintChecks=73304222 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=43255
49.63 nbFailedAssignments=30051 nbBacktracks=13112 nbVisitedNodes=86187 nbRestartNogoods=178
49.63 => wckTime=18.502 cpuTime=18.28 mem=16M417
58.61
58.61 search
58.61 run=16 nbConstraintChecks=108734285 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=64247
58.61 nbFailedAssignments=44470 nbBacktracks=19680 nbVisitedNodes=127866 nbRestartNogoods=193
58.61 => wckTime=27.485 cpuTime=27.18 mem=16M417
72.83
72.83 search
72.83 run=17 nbConstraintChecks=164295701 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=96778
72.83 nbFailedAssignments=67144 nbBacktracks=29532 nbVisitedNodes=192518 nbRestartNogoods=220
72.83 => wckTime=41.707 cpuTime=41.29 mem=16M417
93.85
93.85 search
93.85 run=18 nbConstraintChecks=245230574 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=146461
93.85 nbFailedAssignments=102044 nbBacktracks=44310 nbVisitedNodes=291172 nbRestartNogoods=229
93.85 => wckTime=62.725 cpuTime=62.13 mem=16M417
123.66
123.66 search
123.66 run=19 nbConstraintChecks=354352847 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=215675
123.66 nbFailedAssignments=149087 nbBacktracks=66478 nbVisitedNodes=428215 nbRestartNogoods=246
123.66 => wckTime=92.54 cpuTime=91.69 mem=16M417
169.06
169.06 search
169.06 run=20 nbConstraintChecks=527971021 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=320605
169.06 nbFailedAssignments=220760 nbBacktracks=99731 nbVisitedNodes=636183 nbRestartNogoods=273
169.06 => wckTime=137.939 cpuTime=136.71 mem=16M417
216.20
216.20 search
216.20 run=21 nbConstraintChecks=706554572 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=427866
216.20 nbFailedAssignments=292150 nbBacktracks=135603 nbVisitedNodes=848247 nbRestartNogoods=288
216.20 => wckTime=185.073 cpuTime=183.43 mem=16M417
216.20
216.20 global
216.20 nbConstraintChecks=706585591 nbRestartNogoods=288 solvingWckTime=185.074 solvingCpuTime=183.43 expiredTime=no
216.20 totalExploration=yes nbFoundSolutions=0 globalCpuTime=213.84
216.20 => wckTime=215.844 cpuTime=213.79 mem=16M417
216.20
216.20 s OPTIMUM FOUND
216.20 v 8 7 2 1 4 6 5 0 8 0 9 8 4 0 0 4 6 6 5 8 4 8 8 9 7
216.20
216.20 totalWckTime=215.928 totalCpuTime=213.84
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node3/watcher-281665-1169313503 -o ROOT/results/node3/solver-281665-1169313503 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281665-1169313503/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.87 1.99 1.99 4/87 5485
/proc/meminfo: memFree=1231808/2055920 swapFree=4191880/4192956
[pid=5484] ppid=5482 vsize=1784 CPUtime=0
/proc/5484/stat : 5484 (java) R 5482 5484 5116 0 -1 0 169 0 0 0 0 0 0 0 19 0 1 0 279745951 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/5484/statm: 446 140 106 14 0 91 0
[startup+0.104918 s]
/proc/loadavg: 1.87 1.99 1.99 4/87 5485
/proc/meminfo: memFree=1231808/2055920 swapFree=4191880/4192956
[pid=5484] ppid=5482 vsize=914988 CPUtime=0.09
/proc/5484/stat : 5484 (java) D 5482 5484 5116 0 -1 0 2987 0 1 0 8 1 0 0 20 0 8 0 279745951 936947712 2733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5484/statm: 228747 2733 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.512984 s]
/proc/loadavg: 1.87 1.99 1.99 4/87 5485
/proc/meminfo: memFree=1231808/2055920 swapFree=4191880/4192956
[pid=5484] ppid=5482 vsize=915332 CPUtime=0.45
/proc/5484/stat : 5484 (java) R 5482 5484 5116 0 -1 0 6288 0 1 0 42 3 0 0 18 0 8 0 279745951 937299968 6027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5484/statm: 228833 6027 2147 14 0 215303 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 915332
[startup+1.34012 s]
/proc/loadavg: 1.87 1.99 1.99 3/94 5492
/proc/meminfo: memFree=1214664/2055920 swapFree=4191880/4192956
[pid=5484] ppid=5482 vsize=915444 CPUtime=1.26
/proc/5484/stat : 5484 (java) R 5482 5484 5116 0 -1 0 6957 0 1 0 103 23 0 0 25 0 8 0 279745951 937414656 6695 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073644969 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5484/statm: 228861 6695 2479 14 0 215331 0
[pid=5484/tid=5486] ppid=5482 vsize=915444 CPUtime=0.02
/proc/5484/task/5486/stat : 5486 (java) S 5482 5484 5116 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279745955 937414656 6695 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5484/tid=5487] ppid=5482 vsize=915444 CPUtime=0
/proc/5484/task/5487/stat : 5487 (java) S 5482 5484 5116 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279745956 937414656 6695 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5484/tid=5488] ppid=5482 vsize=915444 CPUtime=0
/proc/5484/task/5488/stat : 5488 (java) S 5482 5484 5116 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279745956 937414656 6695 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5484/tid=5489] ppid=5482 vsize=915444 CPUtime=0
/proc/5484/task/5489/stat : 5489 (java) S 5482 5484 5116 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279745959 937414656 6695 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5484/tid=5490] ppid=5482 vsize=915444 CPUtime=0.1
/proc/5484/task/5490/stat : 5490 (java) S 5482 5484 5116 0 -1 64 325 0 0 0 10 0 0 0 16 0 8 0 279745959 937414656 6695 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5484/tid=5491] ppid=5482 vsize=915444 CPUtime=0
/proc/5484/task/5491/stat : 5491 (java) S 5482 5484 5116 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279745959 937414656 6695 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5484/tid=5492] ppid=5482 vsize=915444 CPUtime=0
/proc/5484/task/5492/stat : 5492 (java) S 5482 5484 5116 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279745959 937414656 6695 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 915444
[startup+2.97738 s]
/proc/loadavg: 1.87 1.99 1.99 3/94 5492
/proc/meminfo: memFree=1214664/2055920 swapFree=4191880/4192956
[pid=5484] ppid=5482 vsize=915444 CPUtime=2.89
/proc/5484/stat : 5484 (java) R 5482 5484 5116 0 -1 0 6960 0 1 0 217 72 0 0 25 0 8 0 279745951 937414656 6697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5484/statm: 228861 6697 2479 14 0 215331 0
[pid=5484/tid=5486] ppid=5482 vsize=915444 CPUtime=0.02
/proc/5484/task/5486/stat : 5486 (java) S 5482 5484 5116 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279745955 937414656 6697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5484/tid=5487] ppid=5482 vsize=915444 CPUtime=0
/proc/5484/task/5487/stat : 5487 (java) S 5482 5484 5116 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279745956 937414656 6697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5484/tid=5488] ppid=5482 vsize=915444 CPUtime=0
/proc/5484/task/5488/stat : 5488 (java) S 5482 5484 5116 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279745956 937414656 6697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5484/tid=5489] ppid=5482 vsize=915444 CPUtime=0
/proc/5484/task/5489/stat : 5489 (java) S 5482 5484 5116 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279745959 937414656 6697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5484/tid=5490] ppid=5482 vsize=915444 CPUtime=0.11
/proc/5484/task/5490/stat : 5490 (java) S 5482 5484 5116 0 -1 64 327 0 0 0 11 0 0 0 16 0 8 0 279745959 937414656 6697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5484/tid=5491] ppid=5482 vsize=915444 CPUtime=0
/proc/5484/task/5491/stat : 5491 (java) S 5482 5484 5116 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279745959 937414656 6697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5484/tid=5492] ppid=5482 vsize=915444 CPUtime=0
/proc/5484/task/5492/stat : 5492 (java) S 5482 5484 5116 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279745959 937414656 6697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 915444
[startup+6.27291 s]
/proc/loadavg: 1.88 1.99 1.99 4/94 5492
/proc/meminfo: memFree=1214664/2055920 swapFree=4191880/4192956
[pid=5484] ppid=5482 vsize=915444 CPUtime=6.15
/proc/5484/stat : 5484 (java) R 5482 5484 5116 0 -1 0 6960 0 1 0 441 174 0 0 25 0 8 0 279745951 937414656 6697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073644969 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5484/statm: 228861 6697 2479 14 0 215331 0
[pid=5484/tid=5486] ppid=5482 vsize=915444 CPUtime=0.02
/proc/5484/task/5486/stat : 5486 (java) S 5482 5484 5116 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279745955 937414656 6697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5484/tid=5487] ppid=5482 vsize=915444 CPUtime=0
/proc/5484/task/5487/stat : 5487 (java) S 5482 5484 5116 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279745956 937414656 6697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5484/tid=5488] ppid=5482 vsize=915444 CPUtime=0
/proc/5484/task/5488/stat : 5488 (java) S 5482 5484 5116 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279745956 937414656 6697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5484/tid=5489] ppid=5482 vsize=915444 CPUtime=0
/proc/5484/task/5489/stat : 5489 (java) S 5482 5484 5116 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279745959 937414656 6697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5484/tid=5490] ppid=5482 vsize=915444 CPUtime=0.11
/proc/5484/task/5490/stat : 5490 (java) S 5482 5484 5116 0 -1 64 327 0 0 0 11 0 0 0 16 0 8 0 279745959 937414656 6697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5484/tid=5491] ppid=5482 vsize=915444 CPUtime=0
/proc/5484/task/5491/stat : 5491 (java) S 5482 5484 5116 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279745959 937414656 6697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5484/tid=5492] ppid=5482 vsize=915444 CPUtime=0
/proc/5484/task/5492/stat : 5492 (java) S 5482 5484 5116 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279745959 937414656 6697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 915444
[startup+12.748 s]
/proc/loadavg: 1.89 1.99 1.99 3/94 5492
/proc/meminfo: memFree=1214600/2055920 swapFree=4191880/4192956
[pid=5484] ppid=5482 vsize=915448 CPUtime=12.58
/proc/5484/stat : 5484 (java) R 5482 5484 5116 0 -1 0 6960 0 1 0 890 368 0 0 25 0 8 0 279745951 937418752 6697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5484/statm: 228862 6697 2479 14 0 215332 0
[pid=5484/tid=5486] ppid=5482 vsize=915448 CPUtime=0.02
/proc/5484/task/5486/stat : 5486 (java) S 5482 5484 5116 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279745955 937418752 6697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5484/tid=5487] ppid=5482 vsize=915448 CPUtime=0
/proc/5484/task/5487/stat : 5487 (java) S 5482 5484 5116 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279745956 937418752 6697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5484/tid=5488] ppid=5482 vsize=915448 CPUtime=0
/proc/5484/task/5488/stat : 5488 (java) S 5482 5484 5116 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279745956 937418752 6697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5484/tid=5489] ppid=5482 vsize=915448 CPUtime=0
/proc/5484/task/5489/stat : 5489 (java) S 5482 5484 5116 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279745959 937418752 6697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5484/tid=5490] ppid=5482 vsize=915448 CPUtime=0.11
/proc/5484/task/5490/stat : 5490 (java) S 5482 5484 5116 0 -1 64 327 0 0 0 11 0 0 0 16 0 8 0 279745959 937418752 6697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5484/tid=5491] ppid=5482 vsize=915448 CPUtime=0
/proc/5484/task/5491/stat : 5491 (java) S 5482 5484 5116 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279745959 937418752 6697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5484/tid=5492] ppid=5482 vsize=915448 CPUtime=0
/proc/5484/task/5492/stat : 5492 (java) S 5482 5484 5116 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279745959 937418752 6697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 915448
[startup+25.597 s]
/proc/loadavg: 1.91 1.99 1.99 3/94 5492
/proc/meminfo: memFree=1214728/2055920 swapFree=4191880/4192956
[pid=5484] ppid=5482 vsize=915444 CPUtime=25.32
/proc/5484/stat : 5484 (java) R 5482 5484 5116 0 -1 0 6962 0 1 0 1778 754 0 0 25 0 8 0 279745951 937414656 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073649760 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5484/statm: 228861 6698 2479 14 0 215331 0
[pid=5484/tid=5486] ppid=5482 vsize=915444 CPUtime=0.02
/proc/5484/task/5486/stat : 5486 (java) S 5482 5484 5116 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279745955 937414656 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5484/tid=5487] ppid=5482 vsize=915444 CPUtime=0
/proc/5484/task/5487/stat : 5487 (java) S 5482 5484 5116 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279745956 937414656 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5484/tid=5488] ppid=5482 vsize=915444 CPUtime=0
/proc/5484/task/5488/stat : 5488 (java) S 5482 5484 5116 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279745956 937414656 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5484/tid=5489] ppid=5482 vsize=915444 CPUtime=0
/proc/5484/task/5489/stat : 5489 (java) S 5482 5484 5116 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279745959 937414656 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5484/tid=5490] ppid=5482 vsize=915444 CPUtime=0.11
/proc/5484/task/5490/stat : 5490 (java) S 5482 5484 5116 0 -1 64 328 0 0 0 11 0 0 0 16 0 8 0 279745959 937414656 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5484/tid=5491] ppid=5482 vsize=915444 CPUtime=0
/proc/5484/task/5491/stat : 5491 (java) S 5482 5484 5116 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279745959 937414656 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5484/tid=5492] ppid=5482 vsize=915444 CPUtime=0
/proc/5484/task/5492/stat : 5492 (java) S 5482 5484 5116 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279745959 937414656 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 915444
[startup+51.2042 s]
/proc/loadavg: 1.94 1.99 1.99 3/94 5492
/proc/meminfo: memFree=1206792/2055920 swapFree=4191880/4192956
[pid=5484] ppid=5482 vsize=915444 CPUtime=50.69
/proc/5484/stat : 5484 (java) R 5482 5484 5116 0 -1 0 9005 0 1 0 4153 916 0 0 25 0 8 0 279745951 937414656 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073753963 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5484/statm: 228861 8736 2532 14 0 215331 0
[pid=5484/tid=5486] ppid=5482 vsize=915444 CPUtime=0.02
/proc/5484/task/5486/stat : 5486 (java) S 5482 5484 5116 0 -1 64 136 0 0 0 2 0 0 0 16 0 8 0 279745955 937414656 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5484/tid=5487] ppid=5482 vsize=915444 CPUtime=0
/proc/5484/task/5487/stat : 5487 (java) S 5482 5484 5116 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279745956 937414656 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5484/tid=5488] ppid=5482 vsize=915444 CPUtime=0
/proc/5484/task/5488/stat : 5488 (java) S 5482 5484 5116 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279745956 937414656 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5484/tid=5489] ppid=5482 vsize=915444 CPUtime=0
/proc/5484/task/5489/stat : 5489 (java) S 5482 5484 5116 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279745959 937414656 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5484/tid=5490] ppid=5482 vsize=915444 CPUtime=0.21
/proc/5484/task/5490/stat : 5490 (java) S 5482 5484 5116 0 -1 64 380 0 0 0 20 1 0 0 16 0 8 0 279745959 937414656 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5484/tid=5491] ppid=5482 vsize=915444 CPUtime=0
/proc/5484/task/5491/stat : 5491 (java) S 5482 5484 5116 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279745959 937414656 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5484/tid=5492] ppid=5482 vsize=915444 CPUtime=0
/proc/5484/task/5492/stat : 5492 (java) S 5482 5484 5116 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279745959 937414656 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 915444
[startup+102.411 s]
/proc/loadavg: 1.97 1.99 1.99 4/94 5494
/proc/meminfo: memFree=1206792/2055920 swapFree=4191880/4192956
[pid=5484] ppid=5482 vsize=915444 CPUtime=101.47
/proc/5484/stat : 5484 (java) R 5482 5484 5116 0 -1 0 9015 0 1 0 9230 917 0 0 25 0 8 0 279745951 937414656 8744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073779272 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5484/statm: 228861 8744 2532 14 0 215331 0
[pid=5484/tid=5486] ppid=5482 vsize=915444 CPUtime=0.02
/proc/5484/task/5486/stat : 5486 (java) S 5482 5484 5116 0 -1 64 136 0 0 0 2 0 0 0 16 0 8 0 279745955 937414656 8744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5484/tid=5487] ppid=5482 vsize=915444 CPUtime=0
/proc/5484/task/5487/stat : 5487 (java) S 5482 5484 5116 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279745956 937414656 8744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5484/tid=5488] ppid=5482 vsize=915444 CPUtime=0
/proc/5484/task/5488/stat : 5488 (java) S 5482 5484 5116 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279745956 937414656 8744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5484/tid=5489] ppid=5482 vsize=915444 CPUtime=0
/proc/5484/task/5489/stat : 5489 (java) S 5482 5484 5116 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279745959 937414656 8744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5484/tid=5490] ppid=5482 vsize=915444 CPUtime=0.21
/proc/5484/task/5490/stat : 5490 (java) S 5482 5484 5116 0 -1 64 381 0 0 0 20 1 0 0 16 0 8 0 279745959 937414656 8744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5484/tid=5491] ppid=5482 vsize=915444 CPUtime=0
/proc/5484/task/5491/stat : 5491 (java) S 5482 5484 5116 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279745959 937414656 8744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5484/tid=5492] ppid=5482 vsize=915444 CPUtime=0
/proc/5484/task/5492/stat : 5492 (java) S 5482 5484 5116 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279745959 937414656 8744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.47
Current children cumulated vsize (KiB) 915444
[startup+162.449 s]
/proc/loadavg: 1.99 1.99 1.99 3/94 5494
/proc/meminfo: memFree=1206728/2055920 swapFree=4191880/4192956
[pid=5484] ppid=5482 vsize=915444 CPUtime=161
/proc/5484/stat : 5484 (java) R 5482 5484 5116 0 -1 0 9017 0 1 0 15183 917 0 0 25 0 8 0 279745951 937414656 8746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827573 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5484/statm: 228861 8746 2532 14 0 215331 0
[pid=5484/tid=5486] ppid=5482 vsize=915444 CPUtime=0.02
/proc/5484/task/5486/stat : 5486 (java) S 5482 5484 5116 0 -1 64 136 0 0 0 2 0 0 0 16 0 8 0 279745955 937414656 8746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5484/tid=5487] ppid=5482 vsize=915444 CPUtime=0
/proc/5484/task/5487/stat : 5487 (java) S 5482 5484 5116 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279745956 937414656 8746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5484/tid=5488] ppid=5482 vsize=915444 CPUtime=0
/proc/5484/task/5488/stat : 5488 (java) S 5482 5484 5116 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279745956 937414656 8746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5484/tid=5489] ppid=5482 vsize=915444 CPUtime=0
/proc/5484/task/5489/stat : 5489 (java) S 5482 5484 5116 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279745959 937414656 8746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5484/tid=5490] ppid=5482 vsize=915444 CPUtime=0.21
/proc/5484/task/5490/stat : 5490 (java) S 5482 5484 5116 0 -1 64 381 0 0 0 20 1 0 0 16 0 8 0 279745959 937414656 8746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5484/tid=5491] ppid=5482 vsize=915444 CPUtime=0
/proc/5484/task/5491/stat : 5491 (java) S 5482 5484 5116 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279745959 937414656 8746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5484/tid=5492] ppid=5482 vsize=915444 CPUtime=0
/proc/5484/task/5492/stat : 5492 (java) S 5482 5484 5116 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279745959 937414656 8746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161
Current children cumulated vsize (KiB) 915444
Child status: 0
Real time (s): 216.227
CPU time (s): 214.315
CPU user time (s): 205.128
CPU system time (s): 9.1876
CPU usage (%): 99.1161
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 205.128
system time used= 9.1876
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9117
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= 5453
involuntary context switches= 13865
runsolver used 0.248962 s user time and 0.730888 s system time
The end
Begin job on node3 on Sat Jan 20 17:18:23 UTC 2007
IDJOB= 281665
IDBENCH= 12239
IDSOLVER= 68
FILE ID= node3/281665-1169313503
PBS_JOBID= 3610005
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/randomMaxCSP/sparseTight/vcsp-25-10-21-85-35_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281665-1169313503/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-281665-1169313503 -o ROOT/results/node3/solver-281665-1169313503 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281665-1169313503/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= ed29a55c8c8d4cd33b026a0f1ad14c23
RANDOM SEED= 430446337
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.279
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.279
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: 1232224 kB
Buffers: 57956 kB
Cached: 570692 kB
SwapCached: 284 kB
Active: 262020 kB
Inactive: 484908 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1232224 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 2144 kB
Writeback: 0 kB
Mapped: 131076 kB
Slab: 61596 kB
Committed_AS: 8055856 kB
PageTables: 2176 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 node3 on Sat Jan 20 17:22:00 UTC 2007