0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=epfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/282421-1169319063/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.40 nbVariables=30 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.40 => wckTime=0.091 cpuTime=0.08 mem=6M885
0.40
0.40 relations being loaded...
0.45
0.45 constraints being loaded...
0.52 nbConstraints=109 nbRelationTypes=109 nbExtensionStructures=109 nbSharedExtensionStructures=0
0.52 nbConflictsStructures=109 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1286 maxDegree=13
0.52 maxArity=2
0.52 => wckTime=0.209 cpuTime=0.15 mem=8M836
0.56
0.56 solver LocalSearchSolver being built...
0.60 => wckTime=0.287 cpuTime=0.19 mem=5M499
0.60
0.60 s SATISFIABLE
0.60 o 70
0.60 c 39
0.60 o 74
0.60 c 35
0.60 o 75
0.60 c 34
0.61 o 77
0.61 c 32
0.61 o 78
0.61 c 31
0.61 o 80
0.61 c 29
0.61 o 82
0.61 c 27
0.61 o 84
0.61 c 25
0.61 o 85
0.61 c 24
0.61 o 87
0.61 c 22
0.61 o 88
0.61 c 21
0.61 o 89
0.61 c 20
0.62 o 90
0.62 c 19
0.62 o 91
0.62 c 18
0.62 o 92
0.62 c 17
0.62 o 93
0.62 c 16
0.62 o 94
0.62 c 15
0.62 o 95
0.62 c 14
0.62 o 96
0.62 c 13
0.62 o 97
0.62 c 12
0.62 o 98
0.62 c 11
0.63 o 99
0.63 c 10
0.63 o 100
0.63 c 9
0.63 o 101
0.63 c 8
0.63 o 102
0.63 c 7
0.63 o 103
0.63 c 6
0.65 o 105
0.65 c 4
2.00
2.00 search
2.00 run=0 nbConstraintChecks=6238181 nbAssignments=10000
2.00 => wckTime=1.4 cpuTime=1.37 mem=5M499
3.38
3.38 search
3.38 run=1 nbConstraintChecks=12680618 nbAssignments=20000
3.38 => wckTime=2.78 cpuTime=2.74 mem=5M499
3.43 o 106
3.43 c 3
4.72
4.72 search
4.72 run=2 nbConstraintChecks=18750974 nbAssignments=30000
4.72 => wckTime=4.119 cpuTime=4.07 mem=5M499
6.06
6.06 search
6.06 run=3 nbConstraintChecks=24927318 nbAssignments=40000
6.06 => wckTime=5.464 cpuTime=5.4 mem=5M499
7.43
7.43 search
7.43 run=4 nbConstraintChecks=31303159 nbAssignments=50000
7.43 => wckTime=6.831 cpuTime=6.76 mem=5M499
8.80
8.80 search
8.80 run=5 nbConstraintChecks=37744497 nbAssignments=60000
8.80 => wckTime=8.205 cpuTime=8.12 mem=5M499
10.11
10.11 search
10.11 run=6 nbConstraintChecks=43702839 nbAssignments=70000
10.11 => wckTime=9.517 cpuTime=9.43 mem=5M499
11.45
11.45 search
11.45 run=7 nbConstraintChecks=49744321 nbAssignments=80000
11.45 => wckTime=10.854 cpuTime=10.75 mem=5M499
12.78
12.78 search
12.78 run=8 nbConstraintChecks=55875256 nbAssignments=90000
12.78 => wckTime=12.18 cpuTime=12.06 mem=5M499
14.09
14.09 search
14.09 run=9 nbConstraintChecks=61857367 nbAssignments=100000
14.09 => wckTime=13.489 cpuTime=13.36 mem=5M499
15.43
15.43 search
15.43 run=10 nbConstraintChecks=68142917 nbAssignments=110000
15.43 => wckTime=14.834 cpuTime=14.69 mem=5M499
16.78
16.78 search
16.78 run=11 nbConstraintChecks=74460279 nbAssignments=120000
16.78 => wckTime=16.184 cpuTime=16.04 mem=5M499
18.09
18.09 search
18.09 run=12 nbConstraintChecks=80405882 nbAssignments=130000
18.09 => wckTime=17.493 cpuTime=17.33 mem=5M499
19.40
19.40 search
19.40 run=13 nbConstraintChecks=86418465 nbAssignments=140000
19.40 => wckTime=18.807 cpuTime=18.63 mem=5M499
20.70
20.70 search
20.70 run=14 nbConstraintChecks=92296333 nbAssignments=150000
20.70 => wckTime=20.103 cpuTime=19.92 mem=5M499
22.03
22.03 search
22.03 run=15 nbConstraintChecks=98398638 nbAssignments=160000
22.03 => wckTime=21.432 cpuTime=21.24 mem=5M499
23.35
23.35 search
23.35 run=16 nbConstraintChecks=104427487 nbAssignments=170000
23.35 => wckTime=22.756 cpuTime=22.55 mem=5M499
24.74
24.74 search
24.74 run=17 nbConstraintChecks=110940935 nbAssignments=180000
24.74 => wckTime=24.145 cpuTime=23.93 mem=5M499
26.09
26.09 search
26.09 run=18 nbConstraintChecks=117110282 nbAssignments=190000
26.09 => wckTime=25.494 cpuTime=25.26 mem=5M499
27.43
27.43 search
27.43 run=19 nbConstraintChecks=123224183 nbAssignments=200000
27.43 => wckTime=26.831 cpuTime=26.59 mem=5M499
28.74
28.74 search
28.74 run=20 nbConstraintChecks=129090878 nbAssignments=210000
28.74 => wckTime=28.138 cpuTime=27.88 mem=5M499
30.08
30.08 search
30.08 run=21 nbConstraintChecks=135259790 nbAssignments=220000
30.08 => wckTime=29.48 cpuTime=29.22 mem=5M499
31.43
31.43 search
31.43 run=22 nbConstraintChecks=141553781 nbAssignments=230000
31.43 => wckTime=30.837 cpuTime=30.56 mem=5M499
32.78
32.78 search
32.78 run=23 nbConstraintChecks=147718799 nbAssignments=240000
32.78 => wckTime=32.179 cpuTime=31.89 mem=5M499
33.69
33.69 search
33.69 run=24 nbConstraintChecks=151840471 nbAssignments=247053
33.69 => wckTime=33.091 cpuTime=32.8 mem=5M499
33.69
33.69 global
33.69 nbConstraintChecks=151840471 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.69 solvingWckTime=33.09 solvingCpuTime=32.79 expiredTime=no totalExploration=no nbFoundSolutions=0
33.69 globalCpuTime=33.04
33.69 => wckTime=33.379 cpuTime=32.99 mem=5M499
33.69
33.69 solver IterativeSystematicSolver being built...
33.83 => wckTime=33.522 cpuTime=33.1 mem=16M583
33.88
33.88 preprocessing
33.88 nbConstraintChecks=15678 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
33.88 detectedInconsistency=no
33.88 => wckTime=0.049 cpuTime=0.03 mem=16M583
33.93
33.93 search
33.93 run=0 nbConstraintChecks=99286 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=67
33.93 nbFailedAssignments=52 nbBacktracks=10 nbVisitedNodes=130 nbRestartNogoods=0
33.93 => wckTime=0.099 cpuTime=0.07 mem=16M583
34.01
34.01 search
34.01 run=1 nbConstraintChecks=258645 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=165
34.01 nbFailedAssignments=128 nbBacktracks=26 nbVisitedNodes=320 nbRestartNogoods=18
34.01 => wckTime=0.172 cpuTime=0.13 mem=16M583
34.09
34.09 search
34.09 run=2 nbConstraintChecks=513825 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=327
34.09 nbFailedAssignments=263 nbBacktracks=49 nbVisitedNodes=639 nbRestartNogoods=27
34.09 => wckTime=0.254 cpuTime=0.2 mem=16M583
34.19
34.19 search
34.19 run=3 nbConstraintChecks=860570 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=541
34.19 nbFailedAssignments=437 nbBacktracks=82 nbVisitedNodes=1060 nbRestartNogoods=37
34.19 => wckTime=0.353 cpuTime=0.3 mem=16M583
34.26
34.26 search
34.26 run=4 nbConstraintChecks=1102312 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=700
34.26 nbFailedAssignments=539 nbBacktracks=132 nbVisitedNodes=1371 nbRestartNogoods=52
34.26 => wckTime=0.421 cpuTime=0.37 mem=16M583
34.43
34.43 search
34.43 run=5 nbConstraintChecks=1624831 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1036
34.43 nbFailedAssignments=796 nbBacktracks=208 nbVisitedNodes=2034 nbRestartNogoods=59
34.43 => wckTime=0.599 cpuTime=0.54 mem=16M583
34.65
34.65 search
34.65 run=6 nbConstraintChecks=2399120 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1490
34.65 nbFailedAssignments=1131 nbBacktracks=321 nbVisitedNodes=2936 nbRestartNogoods=70
34.65 => wckTime=0.815 cpuTime=0.75 mem=16M583
35.05
35.05 search
35.05 run=7 nbConstraintChecks=3744186 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2326
35.05 nbFailedAssignments=1789 nbBacktracks=491 nbVisitedNodes=4597 nbRestartNogoods=83
35.05 => wckTime=1.212 cpuTime=1.13 mem=16M583
35.49
35.49 search
35.49 run=8 nbConstraintChecks=5417686 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3288
35.49 nbFailedAssignments=2488 nbBacktracks=747 nbVisitedNodes=6504 nbRestartNogoods=106
35.49 => wckTime=1.652 cpuTime=1.56 mem=16M583
36.21
36.21 search
36.21 run=9 nbConstraintChecks=7838438 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4830
36.21 nbFailedAssignments=3640 nbBacktracks=1131 nbVisitedNodes=9544 nbRestartNogoods=128
36.21 => wckTime=2.377 cpuTime=2.27 mem=16M583
37.27
37.27 search
37.27 run=10 nbConstraintChecks=11977296 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7301
37.27 nbFailedAssignments=5529 nbBacktracks=1707 nbVisitedNodes=14461 nbRestartNogoods=134
37.27 => wckTime=3.432 cpuTime=3.32 mem=16M583
38.89
38.89 search
38.89 run=11 nbConstraintChecks=17207964 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10682
38.89 nbFailedAssignments=8039 nbBacktracks=2571 nbVisitedNodes=21197 nbRestartNogoods=154
38.89 => wckTime=5.057 cpuTime=4.93 mem=16M583
41.04
41.04 search
41.04 run=12 nbConstraintChecks=24369069 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=15368
41.04 nbFailedAssignments=11423 nbBacktracks=3869 nbVisitedNodes=30537 nbRestartNogoods=171
41.04 => wckTime=7.201 cpuTime=7.06 mem=16M583
43.97
43.97 search
43.97 run=13 nbConstraintChecks=34189504 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=21932
43.97 nbFailedAssignments=16031 nbBacktracks=5815 nbVisitedNodes=43565 nbRestartNogoods=179
43.97 => wckTime=10.136 cpuTime=9.97 mem=16M583
47.72
47.72 search
47.72 run=14 nbConstraintChecks=45882311 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=29968
47.72 nbFailedAssignments=21141 nbBacktracks=8734 nbVisitedNodes=59532 nbRestartNogoods=198
47.72 => wckTime=13.887 cpuTime=13.68 mem=16M583
53.13
53.13 search
53.13 run=15 nbConstraintChecks=61937427 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=41060
53.13 nbFailedAssignments=27851 nbBacktracks=13112 nbVisitedNodes=81460 nbRestartNogoods=222
53.13 => wckTime=19.296 cpuTime=19.05 mem=16M583
60.65
60.65 search
60.65 run=16 nbConstraintChecks=84681886 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=57145
60.65 nbFailedAssignments=37357 nbBacktracks=19680 nbVisitedNodes=113109 nbRestartNogoods=230
60.65 => wckTime=26.816 cpuTime=26.51 mem=16M583
72.30
72.30 search
72.30 run=17 nbConstraintChecks=118806357 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=80020
72.30 nbFailedAssignments=50373 nbBacktracks=29533 nbVisitedNodes=158405 nbRestartNogoods=255
72.30 => wckTime=38.465 cpuTime=38.06 mem=16M583
88.91
88.91 search
88.91 run=18 nbConstraintChecks=169353850 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=114976
88.91 nbFailedAssignments=70543 nbBacktracks=44311 nbVisitedNodes=227377 nbRestartNogoods=277
88.91 => wckTime=55.076 cpuTime=54.54 mem=16M583
114.07
114.07 search
114.07 run=19 nbConstraintChecks=243997232 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=166212
114.07 nbFailedAssignments=99604 nbBacktracks=66481 nbVisitedNodes=328516 nbRestartNogoods=297
114.07 => wckTime=80.231 cpuTime=79.47 mem=16M583
149.84
149.84 search
149.84 run=20 nbConstraintChecks=352849877 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=241728
149.84 nbFailedAssignments=141863 nbBacktracks=99733 nbVisitedNodes=476736 nbRestartNogoods=306
149.84 => wckTime=116.006 cpuTime=114.94 mem=16M583
205.31
205.31 search
205.31 run=21 nbConstraintChecks=514657454 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=354232
205.31 nbFailedAssignments=204486 nbBacktracks=149611 nbVisitedNodes=697374 nbRestartNogoods=316
205.31 => wckTime=171.478 cpuTime=169.96 mem=16M583
210.68
210.68 search
210.68 run=22 nbConstraintChecks=529709270 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=364686
210.68 nbFailedAssignments=210062 nbBacktracks=154490 nbVisitedNodes=717789 nbRestartNogoods=321
210.68 => wckTime=176.848 cpuTime=175.28 mem=16M583
210.68
210.68 global
210.68 nbConstraintChecks=529724948 nbRestartNogoods=321 solvingWckTime=176.849 solvingCpuTime=175.28 expiredTime=no
210.68 totalExploration=yes nbFoundSolutions=0 globalCpuTime=208.43
210.68 => wckTime=210.372 cpuTime=208.38 mem=16M583
210.69
210.69 s OPTIMUM FOUND
210.69 v 1 4 2 4 4 4 2 3 5 9 6 8 6 3 7 8 3 1 6 3 1 10 4 8 4 10 4 5 3 2
210.69
210.69 totalWckTime=210.455 totalCpuTime=208.44
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node5/watcher-282421-1169319063 -o ROOT/results/node5/solver-282421-1169319063 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282421-1169319063/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.75 1.94 1.98 4/87 28604
/proc/meminfo: memFree=1352672/2055920 swapFree=4192812/4192956
[pid=28603] ppid=28601 vsize=18540 CPUtime=0
/proc/28603/stat : 28603 (runsolver) R 28601 28603 28232 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 260520828 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 226913479975 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/28603/statm: 4635 279 244 17 0 2626 0
[startup+0.109776 s]
/proc/loadavg: 1.75 1.94 1.98 4/87 28604
/proc/meminfo: memFree=1352672/2055920 swapFree=4192812/4192956
[pid=28603] ppid=28601 vsize=914988 CPUtime=0.08
/proc/28603/stat : 28603 (java) R 28601 28603 28232 0 -1 0 3053 0 1 0 7 1 0 0 20 0 8 0 260520828 936947712 2799 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072926602 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28603/statm: 228747 2799 1447 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.51782 s]
/proc/loadavg: 1.75 1.94 1.98 4/87 28604
/proc/meminfo: memFree=1352672/2055920 swapFree=4192812/4192956
[pid=28603] ppid=28601 vsize=915332 CPUtime=0.49
/proc/28603/stat : 28603 (java) R 28601 28603 28232 0 -1 0 6512 0 1 0 45 4 0 0 18 0 8 0 260520828 937299968 6251 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154100776 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28603/statm: 228833 6251 2152 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.34091 s]
/proc/loadavg: 1.75 1.94 1.98 3/94 28611
/proc/meminfo: memFree=1335144/2055920 swapFree=4192812/4192956
[pid=28603] ppid=28601 vsize=915448 CPUtime=1.31
/proc/28603/stat : 28603 (java) R 28601 28603 28232 0 -1 0 7048 0 1 0 107 24 0 0 25 0 8 0 260520828 937418752 6786 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28603/statm: 228862 6786 2479 14 0 215332 0
[pid=28603/tid=28605] ppid=28601 vsize=915448 CPUtime=0.02
/proc/28603/task/28605/stat : 28605 (java) S 28601 28603 28232 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 260520832 937418752 6786 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28603/tid=28606] ppid=28601 vsize=915448 CPUtime=0
/proc/28603/task/28606/stat : 28606 (java) S 28601 28603 28232 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 260520832 937418752 6786 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28603/tid=28607] ppid=28601 vsize=915448 CPUtime=0
/proc/28603/task/28607/stat : 28607 (java) S 28601 28603 28232 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 260520832 937418752 6786 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28603/tid=28608] ppid=28601 vsize=915448 CPUtime=0
/proc/28603/task/28608/stat : 28608 (java) S 28601 28603 28232 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 260520836 937418752 6786 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28603/tid=28609] ppid=28601 vsize=915448 CPUtime=0.11
/proc/28603/task/28609/stat : 28609 (java) S 28601 28603 28232 0 -1 64 328 0 0 0 11 0 0 0 16 0 8 0 260520836 937418752 6786 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28603/tid=28610] ppid=28601 vsize=915448 CPUtime=0
/proc/28603/task/28610/stat : 28610 (java) S 28601 28603 28232 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 260520836 937418752 6786 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28603/tid=28611] ppid=28601 vsize=915448 CPUtime=0
/proc/28603/task/28611/stat : 28611 (java) S 28601 28603 28232 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 260520836 937418752 6786 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915448
[startup+2.9911 s]
/proc/loadavg: 1.77 1.94 1.98 3/94 28611
/proc/meminfo: memFree=1335080/2055920 swapFree=4192812/4192956
[pid=28603] ppid=28601 vsize=915444 CPUtime=2.95
/proc/28603/stat : 28603 (java) R 28601 28603 28232 0 -1 0 7051 0 1 0 222 73 0 0 25 0 8 0 260520828 937414656 6788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073660317 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28603/statm: 228861 6788 2479 14 0 215331 0
[pid=28603/tid=28605] ppid=28601 vsize=915444 CPUtime=0.02
/proc/28603/task/28605/stat : 28605 (java) S 28601 28603 28232 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 260520832 937414656 6788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28603/tid=28606] ppid=28601 vsize=915444 CPUtime=0
/proc/28603/task/28606/stat : 28606 (java) S 28601 28603 28232 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 260520832 937414656 6788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28603/tid=28607] ppid=28601 vsize=915444 CPUtime=0
/proc/28603/task/28607/stat : 28607 (java) S 28601 28603 28232 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 260520832 937414656 6788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28603/tid=28608] ppid=28601 vsize=915444 CPUtime=0
/proc/28603/task/28608/stat : 28608 (java) S 28601 28603 28232 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 260520836 937414656 6788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28603/tid=28609] ppid=28601 vsize=915444 CPUtime=0.11
/proc/28603/task/28609/stat : 28609 (java) S 28601 28603 28232 0 -1 64 330 0 0 0 11 0 0 0 16 0 8 0 260520836 937414656 6788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28603/tid=28610] ppid=28601 vsize=915444 CPUtime=0
/proc/28603/task/28610/stat : 28610 (java) S 28601 28603 28232 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 260520836 937414656 6788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28603/tid=28611] ppid=28601 vsize=915444 CPUtime=0
/proc/28603/task/28611/stat : 28611 (java) S 28601 28603 28232 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 260520836 937414656 6788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915444
[startup+6.27047 s]
/proc/loadavg: 1.77 1.94 1.98 3/94 28611
/proc/meminfo: memFree=1335144/2055920 swapFree=4192812/4192956
[pid=28603] ppid=28601 vsize=915444 CPUtime=6.19
/proc/28603/stat : 28603 (java) R 28601 28603 28232 0 -1 0 7051 0 1 0 449 170 0 0 25 0 8 0 260520828 937414656 6788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073655401 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28603/statm: 228861 6788 2479 14 0 215331 0
[pid=28603/tid=28605] ppid=28601 vsize=915444 CPUtime=0.02
/proc/28603/task/28605/stat : 28605 (java) S 28601 28603 28232 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 260520832 937414656 6788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28603/tid=28606] ppid=28601 vsize=915444 CPUtime=0
/proc/28603/task/28606/stat : 28606 (java) S 28601 28603 28232 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 260520832 937414656 6788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28603/tid=28607] ppid=28601 vsize=915444 CPUtime=0
/proc/28603/task/28607/stat : 28607 (java) S 28601 28603 28232 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 260520832 937414656 6788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28603/tid=28608] ppid=28601 vsize=915444 CPUtime=0
/proc/28603/task/28608/stat : 28608 (java) S 28601 28603 28232 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 260520836 937414656 6788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28603/tid=28609] ppid=28601 vsize=915444 CPUtime=0.11
/proc/28603/task/28609/stat : 28609 (java) S 28601 28603 28232 0 -1 64 330 0 0 0 11 0 0 0 16 0 8 0 260520836 937414656 6788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28603/tid=28610] ppid=28601 vsize=915444 CPUtime=0
/proc/28603/task/28610/stat : 28610 (java) S 28601 28603 28232 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 260520836 937414656 6788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28603/tid=28611] ppid=28601 vsize=915444 CPUtime=0
/proc/28603/task/28611/stat : 28611 (java) S 28601 28603 28232 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 260520836 937414656 6788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915444
[startup+12.7582 s]
/proc/loadavg: 1.81 1.94 1.98 3/94 28611
/proc/meminfo: memFree=1335144/2055920 swapFree=4192812/4192956
[pid=28603] ppid=28601 vsize=915444 CPUtime=12.63
/proc/28603/stat : 28603 (java) R 28601 28603 28232 0 -1 0 7051 0 1 0 901 362 0 0 25 0 8 0 260520828 937414656 6788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073661480 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28603/statm: 228861 6788 2479 14 0 215331 0
[pid=28603/tid=28605] ppid=28601 vsize=915444 CPUtime=0.02
/proc/28603/task/28605/stat : 28605 (java) S 28601 28603 28232 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 260520832 937414656 6788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28603/tid=28606] ppid=28601 vsize=915444 CPUtime=0
/proc/28603/task/28606/stat : 28606 (java) S 28601 28603 28232 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 260520832 937414656 6788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28603/tid=28607] ppid=28601 vsize=915444 CPUtime=0
/proc/28603/task/28607/stat : 28607 (java) S 28601 28603 28232 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 260520832 937414656 6788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28603/tid=28608] ppid=28601 vsize=915444 CPUtime=0
/proc/28603/task/28608/stat : 28608 (java) S 28601 28603 28232 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 260520836 937414656 6788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28603/tid=28609] ppid=28601 vsize=915444 CPUtime=0.11
/proc/28603/task/28609/stat : 28609 (java) S 28601 28603 28232 0 -1 64 330 0 0 0 11 0 0 0 16 0 8 0 260520836 937414656 6788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28603/tid=28610] ppid=28601 vsize=915444 CPUtime=0
/proc/28603/task/28610/stat : 28610 (java) S 28601 28603 28232 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 260520836 937414656 6788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28603/tid=28611] ppid=28601 vsize=915444 CPUtime=0
/proc/28603/task/28611/stat : 28611 (java) S 28601 28603 28232 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 260520836 937414656 6788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915444
[startup+25.5997 s]
/proc/loadavg: 1.83 1.95 1.98 3/94 28611
/proc/meminfo: memFree=1335272/2055920 swapFree=4192812/4192956
[pid=28603] ppid=28601 vsize=915444 CPUtime=25.37
/proc/28603/stat : 28603 (java) R 28601 28603 28232 0 -1 0 7052 0 1 0 1795 742 0 0 25 0 8 0 260520828 937414656 6789 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28603/statm: 228861 6789 2479 14 0 215331 0
[pid=28603/tid=28605] ppid=28601 vsize=915444 CPUtime=0.02
/proc/28603/task/28605/stat : 28605 (java) S 28601 28603 28232 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 260520832 937414656 6789 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28603/tid=28606] ppid=28601 vsize=915444 CPUtime=0
/proc/28603/task/28606/stat : 28606 (java) S 28601 28603 28232 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 260520832 937414656 6789 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28603/tid=28607] ppid=28601 vsize=915444 CPUtime=0
/proc/28603/task/28607/stat : 28607 (java) S 28601 28603 28232 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 260520832 937414656 6789 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28603/tid=28608] ppid=28601 vsize=915444 CPUtime=0
/proc/28603/task/28608/stat : 28608 (java) S 28601 28603 28232 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 260520836 937414656 6789 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28603/tid=28609] ppid=28601 vsize=915444 CPUtime=0.12
/proc/28603/task/28609/stat : 28609 (java) S 28601 28603 28232 0 -1 64 331 0 0 0 12 0 0 0 16 0 8 0 260520836 937414656 6789 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28603/tid=28610] ppid=28601 vsize=915444 CPUtime=0
/proc/28603/task/28610/stat : 28610 (java) S 28601 28603 28232 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 260520836 937414656 6789 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28603/tid=28611] ppid=28601 vsize=915444 CPUtime=0
/proc/28603/task/28611/stat : 28611 (java) S 28601 28603 28232 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 260520836 937414656 6789 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915444
[startup+51.2056 s]
/proc/loadavg: 1.96 1.96 1.98 3/94 28611
/proc/meminfo: memFree=1327336/2055920 swapFree=4192812/4192956
[pid=28603] ppid=28601 vsize=915444 CPUtime=50.75
/proc/28603/stat : 28603 (java) R 28601 28603 28232 0 -1 0 9115 0 1 0 4090 985 0 0 25 0 8 0 260520828 937414656 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073782999 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28603/statm: 228861 8848 2532 14 0 215331 0
[pid=28603/tid=28605] ppid=28601 vsize=915444 CPUtime=0.02
/proc/28603/task/28605/stat : 28605 (java) S 28601 28603 28232 0 -1 64 155 0 0 0 2 0 0 0 16 0 8 0 260520832 937414656 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28603/tid=28606] ppid=28601 vsize=915444 CPUtime=0
/proc/28603/task/28606/stat : 28606 (java) S 28601 28603 28232 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 260520832 937414656 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28603/tid=28607] ppid=28601 vsize=915444 CPUtime=0
/proc/28603/task/28607/stat : 28607 (java) S 28601 28603 28232 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 260520832 937414656 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28603/tid=28608] ppid=28601 vsize=915444 CPUtime=0
/proc/28603/task/28608/stat : 28608 (java) S 28601 28603 28232 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 260520836 937414656 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28603/tid=28609] ppid=28601 vsize=915444 CPUtime=0.23
/proc/28603/task/28609/stat : 28609 (java) S 28601 28603 28232 0 -1 64 388 0 0 0 22 1 0 0 16 0 8 0 260520836 937414656 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28603/tid=28610] ppid=28601 vsize=915444 CPUtime=0
/proc/28603/task/28610/stat : 28610 (java) S 28601 28603 28232 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 260520836 937414656 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28603/tid=28611] ppid=28601 vsize=915444 CPUtime=0
/proc/28603/task/28611/stat : 28611 (java) S 28601 28603 28232 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 260520836 937414656 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 915444
[startup+102.409 s]
/proc/loadavg: 2.08 2.00 1.99 3/94 28611
/proc/meminfo: memFree=1327272/2055920 swapFree=4192812/4192956
[pid=28603] ppid=28601 vsize=915444 CPUtime=101.52
/proc/28603/stat : 28603 (java) R 28601 28603 28232 0 -1 0 9128 0 1 0 9167 985 0 0 25 0 8 0 260520828 937414656 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336163 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28603/statm: 228861 8860 2532 14 0 215331 0
[pid=28603/tid=28605] ppid=28601 vsize=915444 CPUtime=0.02
/proc/28603/task/28605/stat : 28605 (java) S 28601 28603 28232 0 -1 64 155 0 0 0 2 0 0 0 16 0 8 0 260520832 937414656 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28603/tid=28606] ppid=28601 vsize=915444 CPUtime=0
/proc/28603/task/28606/stat : 28606 (java) S 28601 28603 28232 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 260520832 937414656 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28603/tid=28607] ppid=28601 vsize=915444 CPUtime=0
/proc/28603/task/28607/stat : 28607 (java) S 28601 28603 28232 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 260520832 937414656 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28603/tid=28608] ppid=28601 vsize=915444 CPUtime=0
/proc/28603/task/28608/stat : 28608 (java) S 28601 28603 28232 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 260520836 937414656 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28603/tid=28609] ppid=28601 vsize=915444 CPUtime=0.23
/proc/28603/task/28609/stat : 28609 (java) S 28601 28603 28232 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 260520836 937414656 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28603/tid=28610] ppid=28601 vsize=915444 CPUtime=0
/proc/28603/task/28610/stat : 28610 (java) S 28601 28603 28232 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 260520836 937414656 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28603/tid=28611] ppid=28601 vsize=915444 CPUtime=0
/proc/28603/task/28611/stat : 28611 (java) S 28601 28603 28232 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 260520836 937414656 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.52
Current children cumulated vsize (KiB) 915444
[startup+162.462 s]
/proc/loadavg: 2.10 2.01 2.00 3/94 28611
/proc/meminfo: memFree=1327272/2055920 swapFree=4192812/4192956
[pid=28603] ppid=28601 vsize=915444 CPUtime=161.08
/proc/28603/stat : 28603 (java) R 28601 28603 28232 0 -1 0 9133 0 1 0 15122 986 0 0 25 0 8 0 260520828 937414656 8865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073780434 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28603/statm: 228861 8865 2532 14 0 215331 0
[pid=28603/tid=28605] ppid=28601 vsize=915444 CPUtime=0.02
/proc/28603/task/28605/stat : 28605 (java) S 28601 28603 28232 0 -1 64 155 0 0 0 2 0 0 0 16 0 8 0 260520832 937414656 8865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28603/tid=28606] ppid=28601 vsize=915444 CPUtime=0
/proc/28603/task/28606/stat : 28606 (java) S 28601 28603 28232 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 260520832 937414656 8865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28603/tid=28607] ppid=28601 vsize=915444 CPUtime=0
/proc/28603/task/28607/stat : 28607 (java) S 28601 28603 28232 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 260520832 937414656 8865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28603/tid=28608] ppid=28601 vsize=915444 CPUtime=0
/proc/28603/task/28608/stat : 28608 (java) S 28601 28603 28232 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 260520836 937414656 8865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28603/tid=28609] ppid=28601 vsize=915444 CPUtime=0.23
/proc/28603/task/28609/stat : 28609 (java) S 28601 28603 28232 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 260520836 937414656 8865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28603/tid=28610] ppid=28601 vsize=915444 CPUtime=0
/proc/28603/task/28610/stat : 28610 (java) S 28601 28603 28232 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 260520836 937414656 8865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28603/tid=28611] ppid=28601 vsize=915444 CPUtime=0
/proc/28603/task/28611/stat : 28611 (java) S 28601 28603 28232 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 260520836 937414656 8865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.08
Current children cumulated vsize (KiB) 915444
Child status: 0
Real time (s): 210.724
CPU time (s): 208.923
CPU user time (s): 199.048
CPU system time (s): 9.8755
CPU usage (%): 99.1455
Max. virtual memory (cumulated for all children) (KiB): 915960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 199.048
system time used= 9.8755
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9231
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= 5394
involuntary context switches= 13902
runsolver used 0.233964 s user time and 0.715891 s system time
The end
Begin job on node5 on Sat Jan 20 18:51:04 UTC 2007
IDJOB= 282421
IDBENCH= 12783
IDSOLVER= 68
FILE ID= node5/282421-1169319063
PBS_JOBID= 3610066
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/pi/pi-30-10-25-t48/pi-30-10-197-52-31.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282421-1169319063/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-282421-1169319063 -o ROOT/results/node5/solver-282421-1169319063 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282421-1169319063/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 4c6816eb0649655a8384a2ac165c687f
RANDOM SEED= 596282799
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.240
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.240
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: 1353152 kB
Buffers: 58820 kB
Cached: 448460 kB
SwapCached: 0 kB
Active: 200620 kB
Inactive: 423844 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1353152 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2048 kB
Writeback: 0 kB
Mapped: 137312 kB
Slab: 62996 kB
Committed_AS: 7670432 kB
PageTables: 2308 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 node5 on Sat Jan 20 18:54:35 UTC 2007