0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=pfc.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/282071-1169317854/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=30 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.40 => wckTime=0.101 cpuTime=0.08 mem=6M903
0.40
0.40 relations being loaded...
0.45
0.45 constraints being loaded...
0.51 nbConstraints=109 nbRelationTypes=109 nbExtensionStructures=109 nbSharedExtensionStructures=0
0.51 nbConflictsStructures=109 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1348 maxDegree=11
0.51 maxArity=2
0.51 => wckTime=0.216 cpuTime=0.16 mem=8M864
0.55
0.55 solver LocalSearchSolver being built...
0.59 => wckTime=0.297 cpuTime=0.2 mem=5M497
0.60
0.60 s SATISFIABLE
0.60 o 44
0.60 c 65
0.60 o 48
0.60 c 61
0.60 o 53
0.60 c 56
0.60 o 56
0.60 c 53
0.60 o 60
0.60 c 49
0.60 o 64
0.60 c 45
0.60 o 68
0.60 c 41
0.60 o 69
0.60 c 40
0.60 o 70
0.60 c 39
0.61 o 72
0.61 c 37
0.61 o 74
0.61 c 35
0.61 o 77
0.61 c 32
0.61 o 79
0.61 c 30
0.61 o 81
0.61 c 28
0.61 o 82
0.61 c 27
0.61 o 84
0.61 c 25
0.61 o 86
0.61 c 23
0.61 o 87
0.61 c 22
0.62 o 88
0.62 c 21
0.62 o 90
0.62 c 19
0.62 o 91
0.62 c 18
0.62 o 93
0.62 c 16
0.62 o 94
0.62 c 15
0.64 o 95
0.64 c 14
0.64 o 96
0.64 c 13
0.64 o 97
0.64 c 12
0.64 o 98
0.64 c 11
0.64 o 99
0.64 c 10
2.18
2.18 search
2.18 run=0 nbConstraintChecks=7841145 nbAssignments=10000
2.18 => wckTime=1.591 cpuTime=1.56 mem=5M497
3.72
3.72 search
3.72 run=1 nbConstraintChecks=15728238 nbAssignments=20000
3.72 => wckTime=3.128 cpuTime=3.07 mem=5M497
5.23
5.23 search
5.24 run=2 nbConstraintChecks=23528417 nbAssignments=30000
5.24 => wckTime=4.644 cpuTime=4.58 mem=5M497
6.76
6.76 search
6.76 run=3 nbConstraintChecks=31514154 nbAssignments=40000
6.76 => wckTime=6.174 cpuTime=6.09 mem=5M497
8.28
8.28 search
8.28 run=4 nbConstraintChecks=39234725 nbAssignments=50000
8.28 => wckTime=7.693 cpuTime=7.6 mem=5M497
9.81
9.81 search
9.81 run=5 nbConstraintChecks=47173896 nbAssignments=60000
9.81 => wckTime=9.222 cpuTime=9.11 mem=5M497
11.37
11.37 search
11.37 run=6 nbConstraintChecks=55128964 nbAssignments=70000
11.37 => wckTime=10.776 cpuTime=10.64 mem=5M497
12.90
12.90 search
12.91 run=7 nbConstraintChecks=62988172 nbAssignments=80000
12.91 => wckTime=12.315 cpuTime=12.18 mem=5M497
14.43
14.43 search
14.43 run=8 nbConstraintChecks=70793181 nbAssignments=90000
14.43 => wckTime=13.842 cpuTime=13.69 mem=5M497
15.98
15.98 search
15.98 run=9 nbConstraintChecks=78687935 nbAssignments=100000
15.98 => wckTime=15.392 cpuTime=15.22 mem=5M497
17.51
17.51 search
17.51 run=10 nbConstraintChecks=86505313 nbAssignments=110000
17.51 => wckTime=16.923 cpuTime=16.74 mem=5M497
19.04
19.04 search
19.04 run=11 nbConstraintChecks=94306442 nbAssignments=120000
19.04 => wckTime=18.454 cpuTime=18.26 mem=5M497
20.58
20.58 search
20.58 run=12 nbConstraintChecks=102108173 nbAssignments=130000
20.58 => wckTime=19.99 cpuTime=19.77 mem=5M497
22.10
22.10 search
22.10 run=13 nbConstraintChecks=109907123 nbAssignments=140000
22.10 => wckTime=21.51 cpuTime=21.29 mem=5M497
23.65
23.65 search
23.65 run=14 nbConstraintChecks=117980085 nbAssignments=150000
23.65 => wckTime=23.057 cpuTime=22.82 mem=5M497
25.17
25.17 search
25.17 run=15 nbConstraintChecks=125737270 nbAssignments=160000
25.17 => wckTime=24.581 cpuTime=24.32 mem=5M497
26.67
26.67 search
26.67 run=16 nbConstraintChecks=133369995 nbAssignments=170000
26.67 => wckTime=26.08 cpuTime=25.81 mem=5M497
28.19
28.19 search
28.19 run=17 nbConstraintChecks=141207301 nbAssignments=180000
28.19 => wckTime=27.602 cpuTime=27.33 mem=5M497
29.73
29.73 search
29.73 run=18 nbConstraintChecks=149198243 nbAssignments=190000
29.73 => wckTime=29.141 cpuTime=28.85 mem=5M497
30.93
30.93 search
30.93 run=19 nbConstraintChecks=155344933 nbAssignments=197916
30.93 => wckTime=30.34 cpuTime=30.05 mem=5M497
30.93
30.93 global
30.93 nbConstraintChecks=155344933 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.93 solvingWckTime=30.34 solvingCpuTime=30.05 expiredTime=no totalExploration=no nbFoundSolutions=0
30.93 globalCpuTime=30.3
30.93 => wckTime=30.639 cpuTime=30.25 mem=5M497
30.93
30.93 solver IterativeSystematicSolver being built...
31.08 => wckTime=30.781 cpuTime=30.35 mem=16M664
31.08
31.08 preprocessing
31.08 nbConstraintChecks=90 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.08 detectedInconsistency=no
31.08 => wckTime=0.0030 cpuTime=0.0 mem=16M664
31.14
31.14 search
31.14 run=0 nbConstraintChecks=55596 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=35
31.14 nbFailedAssignments=16 nbBacktracks=11 nbVisitedNodes=63 nbRestartNogoods=0
31.14 => wckTime=0.063 cpuTime=0.04 mem=16M664
31.19
31.19 search
31.19 run=1 nbConstraintChecks=147445 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=94
31.19 nbFailedAssignments=51 nbBacktracks=26 nbVisitedNodes=172 nbRestartNogoods=1
31.19 => wckTime=0.115 cpuTime=0.08 mem=16M664
31.24
31.24 search
31.24 run=2 nbConstraintChecks=276202 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=174
31.24 nbFailedAssignments=99 nbBacktracks=48 nbVisitedNodes=322 nbRestartNogoods=6
31.24 => wckTime=0.162 cpuTime=0.13 mem=16M664
31.34
31.34 search
31.34 run=3 nbConstraintChecks=585102 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=361
31.34 nbFailedAssignments=243 nbBacktracks=82 nbVisitedNodes=687 nbRestartNogoods=14
31.34 => wckTime=0.261 cpuTime=0.22 mem=16M664
31.45
31.45 search
31.45 run=4 nbConstraintChecks=1018172 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=612
31.45 nbFailedAssignments=437 nbBacktracks=132 nbVisitedNodes=1182 nbRestartNogoods=17
31.46 => wckTime=0.378 cpuTime=0.34 mem=16M664
31.64
31.64 search
31.64 run=5 nbConstraintChecks=1613215 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=958
31.64 nbFailedAssignments=699 nbBacktracks=207 nbVisitedNodes=1865 nbRestartNogoods=23
31.64 => wckTime=0.564 cpuTime=0.52 mem=16M664
31.85
31.85 search
31.85 run=6 nbConstraintChecks=2270210 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1327
31.85 nbFailedAssignments=946 nbBacktracks=320 nbVisitedNodes=2592 nbRestartNogoods=35
31.85 => wckTime=0.771 cpuTime=0.72 mem=16M664
32.21
32.21 search
32.21 run=7 nbConstraintChecks=3358802 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1965
32.21 nbFailedAssignments=1408 nbBacktracks=490 nbVisitedNodes=3862 nbRestartNogoods=41
32.21 => wckTime=1.134 cpuTime=1.07 mem=16M664
32.84
32.84 search
32.84 run=8 nbConstraintChecks=5682261 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3238
32.84 nbFailedAssignments=2416 nbBacktracks=746 nbVisitedNodes=6398 nbRestartNogoods=42
32.84 => wckTime=1.762 cpuTime=1.68 mem=16M664
33.73
33.73 search
33.73 run=9 nbConstraintChecks=8218623 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4748
33.73 nbFailedAssignments=3535 nbBacktracks=1130 nbVisitedNodes=9411 nbRestartNogoods=52
33.73 => wckTime=2.649 cpuTime=2.57 mem=16M664
35.01
35.01 search
35.01 run=10 nbConstraintChecks=12579490 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7309
35.01 nbFailedAssignments=5511 nbBacktracks=1706 nbVisitedNodes=14524 nbRestartNogoods=59
35.01 => wckTime=3.936 cpuTime=3.85 mem=16M664
36.80
36.80 search
36.80 run=11 nbConstraintChecks=18552547 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10876
36.80 nbFailedAssignments=8206 nbBacktracks=2570 nbVisitedNodes=21650 nbRestartNogoods=73
36.80 => wckTime=5.726 cpuTime=5.63 mem=16M664
39.31
39.31 search
39.31 run=12 nbConstraintChecks=26693055 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=15123
39.31 nbFailedAssignments=11146 nbBacktracks=3867 nbVisitedNodes=30092 nbRestartNogoods=84
39.31 => wckTime=8.234 cpuTime=8.12 mem=16M664
43.62
43.62 search
43.62 run=13 nbConstraintChecks=40979477 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=23164
43.62 nbFailedAssignments=17231 nbBacktracks=5813 nbVisitedNodes=46153 nbRestartNogoods=112
43.62 => wckTime=12.542 cpuTime=12.41 mem=16M664
50.87
50.87 search
50.87 run=14 nbConstraintChecks=67507604 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=38685
50.87 nbFailedAssignments=29825 nbBacktracks=8732 nbVisitedNodes=77187 nbRestartNogoods=140
50.87 => wckTime=19.791 cpuTime=19.62 mem=16M664
63.64
63.64 search
63.64 run=15 nbConstraintChecks=111052867 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=63034
63.64 nbFailedAssignments=49788 nbBacktracks=13110 nbVisitedNodes=125055 nbRestartNogoods=151
63.64 => wckTime=32.561 cpuTime=32.33 mem=16M664
74.93
74.93 search
74.93 run=16 nbConstraintChecks=148146988 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=85715
74.93 nbFailedAssignments=65893 nbBacktracks=19678 nbVisitedNodes=170376 nbRestartNogoods=170
74.93 => wckTime=43.856 cpuTime=43.57 mem=16M664
92.30
92.30 search
92.30 run=17 nbConstraintChecks=203950463 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=120910
92.30 nbFailedAssignments=91227 nbBacktracks=29530 nbVisitedNodes=240392 nbRestartNogoods=177
92.30 => wckTime=61.221 cpuTime=60.85 mem=16M664
120.16
120.16 search
120.16 run=18 nbConstraintChecks=286727277 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=173670
120.16 nbFailedAssignments=129200 nbBacktracks=44309 nbVisitedNodes=345348 nbRestartNogoods=212
120.16 => wckTime=89.085 cpuTime=88.58 mem=16M664
160.18
160.18 search
160.18 run=19 nbConstraintChecks=399513447 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=248110
160.18 nbFailedAssignments=181466 nbBacktracks=66477 nbVisitedNodes=493106 nbRestartNogoods=229
160.18 => wckTime=129.106 cpuTime=128.43 mem=16M664
205.24
205.24 search
205.24 run=20 nbConstraintChecks=522573220 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=332994
205.25 nbFailedAssignments=233092 nbBacktracks=99729 nbVisitedNodes=660395 nbRestartNogoods=251
205.25 => wckTime=174.168 cpuTime=173.27 mem=16M664
269.24
269.24 search
269.24 run=21 nbConstraintChecks=696972929 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=454061
269.24 nbFailedAssignments=304275 nbBacktracks=149607 nbVisitedNodes=899859 nbRestartNogoods=257
269.24 => wckTime=238.161 cpuTime=236.96 mem=16M664
360.72
360.72 search
360.72 run=22 nbConstraintChecks=951137460 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=628064
360.72 nbFailedAssignments=403454 nbBacktracks=224426 nbVisitedNodes=1242563 nbRestartNogoods=276
360.72 => wckTime=329.64 cpuTime=328.02 mem=16M664
502.69
502.69 search
502.69 run=23 nbConstraintChecks=1334092576 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=895248
502.69 nbFailedAssignments=558408 nbBacktracks=336653 nbVisitedNodes=1768484 nbRestartNogoods=290
502.69 => wckTime=471.615 cpuTime=469.33 mem=16M664
712.25
712.25 search
712.25 run=24 nbConstraintChecks=1911365679 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1294828
712.25 nbFailedAssignments=789642 nbBacktracks=504994 nbVisitedNodes=2552825 nbRestartNogoods=302
712.25 => wckTime=681.172 cpuTime=677.91 mem=16M664
961.47
961.47 search
961.47 run=25 nbConstraintChecks=2596871746 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1773016
961.47 nbFailedAssignments=1064475 nbBacktracks=708350 nbVisitedNodes=3491166 nbRestartNogoods=317
961.47 => wckTime=930.394 cpuTime=925.97 mem=16M664
961.47
961.47 global
961.47 nbConstraintChecks=2596871836 nbRestartNogoods=317 solvingWckTime=930.395 solvingCpuTime=925.97 expiredTime=no
961.47 totalExploration=yes nbFoundSolutions=0 globalCpuTime=956.38
961.47 => wckTime=961.178 cpuTime=956.33 mem=16M664
961.48
961.48 s OPTIMUM FOUND
961.48 v 9 10 9 1 5 10 9 6 1 2 9 6 1 5 7 10 7 3 6 8 6 3 4 3 3 9 3 4 10 6
961.48
961.48 totalWckTime=961.253 totalCpuTime=956.38
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node30/watcher-282071-1169317854 -o ROOT/results/node30/solver-282071-1169317854 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282071-1169317854/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 0.85 0.97 0.99 4/86 11606
/proc/meminfo: memFree=1633480/2055920 swapFree=4167328/4192956
[pid=11605] ppid=11603 vsize=1784 CPUtime=0
/proc/11605/stat : 11605 (java) D 11603 11605 11494 0 -1 0 346 0 0 0 0 0 0 0 18 0 1 0 280179589 1826816 140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/11605/statm: 446 140 106 14 0 91 0
[startup+0.105475 s]
/proc/loadavg: 0.85 0.97 0.99 4/86 11606
/proc/meminfo: memFree=1633480/2055920 swapFree=4167328/4192956
[pid=11605] ppid=11603 vsize=915700 CPUtime=0.08
/proc/11605/stat : 11605 (java) R 11603 11605 11494 0 -1 0 3025 0 1 0 7 1 0 0 23 0 8 0 280179589 937676800 2771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153609865 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11605/statm: 228925 2773 1443 14 0 215420 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 915700
[startup+0.513501 s]
/proc/loadavg: 0.85 0.97 0.99 4/86 11606
/proc/meminfo: memFree=1633480/2055920 swapFree=4167328/4192956
[pid=11605] ppid=11603 vsize=915928 CPUtime=0.48
/proc/11605/stat : 11605 (java) R 11603 11605 11494 0 -1 0 6528 0 1 0 45 3 0 0 25 0 8 0 280179589 937910272 6267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072944772 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11605/statm: 228982 6267 2157 14 0 215452 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915928
[startup+1.33454 s]
/proc/loadavg: 0.85 0.97 0.99 3/100 11620
/proc/meminfo: memFree=1598680/2055920 swapFree=4167328/4192956
[pid=11605] ppid=11603 vsize=916036 CPUtime=1.29
/proc/11605/stat : 11605 (java) R 11603 11605 11494 0 -1 0 7034 0 1 0 108 21 0 0 24 0 8 0 280179589 938020864 6772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073653884 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11605/statm: 229009 6772 2476 14 0 215479 0
[pid=11605/tid=11607] ppid=11603 vsize=916036 CPUtime=0.02
/proc/11605/task/11607/stat : 11607 (java) S 11603 11605 11494 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 280179593 938020864 6772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11605/tid=11608] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11608/stat : 11608 (java) S 11603 11605 11494 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280179594 938020864 6772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11605/tid=11609] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11609/stat : 11609 (java) S 11603 11605 11494 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280179594 938020864 6772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11605/tid=11613] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11613/stat : 11613 (java) S 11603 11605 11494 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 280179597 938020864 6772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11605/tid=11614] ppid=11603 vsize=916036 CPUtime=0.1
/proc/11605/task/11614/stat : 11614 (java) S 11603 11605 11494 0 -1 64 330 0 0 0 10 0 0 0 16 0 8 0 280179597 938020864 6772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11605/tid=11615] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11615/stat : 11615 (java) S 11603 11605 11494 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 280179597 938020864 6772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11605/tid=11616] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11616/stat : 11616 (java) S 11603 11605 11494 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 280179597 938020864 6772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 916036
[startup+2.97165 s]
/proc/loadavg: 0.85 0.97 0.99 3/100 11620
/proc/meminfo: memFree=1598616/2055920 swapFree=4167328/4192956
[pid=11605] ppid=11603 vsize=916040 CPUtime=2.92
/proc/11605/stat : 11605 (java) R 11603 11605 11494 0 -1 0 7037 0 1 0 227 65 0 0 25 0 8 0 280179589 938024960 6774 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11605/statm: 229010 6774 2476 14 0 215480 0
[pid=11605/tid=11607] ppid=11603 vsize=916040 CPUtime=0.02
/proc/11605/task/11607/stat : 11607 (java) S 11603 11605 11494 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 280179593 938024960 6774 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11605/tid=11608] ppid=11603 vsize=916040 CPUtime=0
/proc/11605/task/11608/stat : 11608 (java) S 11603 11605 11494 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280179594 938024960 6774 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11605/tid=11609] ppid=11603 vsize=916040 CPUtime=0
/proc/11605/task/11609/stat : 11609 (java) S 11603 11605 11494 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280179594 938024960 6774 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11605/tid=11613] ppid=11603 vsize=916040 CPUtime=0
/proc/11605/task/11613/stat : 11613 (java) S 11603 11605 11494 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 280179597 938024960 6774 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11605/tid=11614] ppid=11603 vsize=916040 CPUtime=0.11
/proc/11605/task/11614/stat : 11614 (java) S 11603 11605 11494 0 -1 64 332 0 0 0 11 0 0 0 16 0 8 0 280179597 938024960 6774 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11605/tid=11615] ppid=11603 vsize=916040 CPUtime=0
/proc/11605/task/11615/stat : 11615 (java) S 11603 11605 11494 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 280179597 938024960 6774 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11605/tid=11616] ppid=11603 vsize=916040 CPUtime=0
/proc/11605/task/11616/stat : 11616 (java) S 11603 11605 11494 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 280179597 938024960 6774 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 916040
[startup+6.26886 s]
/proc/loadavg: 0.94 0.98 0.99 3/100 11620
/proc/meminfo: memFree=1598488/2055920 swapFree=4167328/4192956
[pid=11605] ppid=11603 vsize=916036 CPUtime=6.19
/proc/11605/stat : 11605 (java) R 11603 11605 11494 0 -1 0 7037 0 1 0 468 151 0 0 25 0 8 0 280179589 938020864 6774 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11605/statm: 229009 6774 2476 14 0 215479 0
[pid=11605/tid=11607] ppid=11603 vsize=916036 CPUtime=0.02
/proc/11605/task/11607/stat : 11607 (java) S 11603 11605 11494 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 280179593 938020864 6774 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11605/tid=11608] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11608/stat : 11608 (java) S 11603 11605 11494 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280179594 938020864 6774 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11605/tid=11609] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11609/stat : 11609 (java) S 11603 11605 11494 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280179594 938020864 6774 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11605/tid=11613] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11613/stat : 11613 (java) S 11603 11605 11494 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 280179597 938020864 6774 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11605/tid=11614] ppid=11603 vsize=916036 CPUtime=0.11
/proc/11605/task/11614/stat : 11614 (java) S 11603 11605 11494 0 -1 64 332 0 0 0 11 0 0 0 16 0 8 0 280179597 938020864 6774 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11605/tid=11615] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11615/stat : 11615 (java) S 11603 11605 11494 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 280179597 938020864 6774 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11605/tid=11616] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11616/stat : 11616 (java) S 11603 11605 11494 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 280179597 938020864 6774 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 916036
[startup+12.7393 s]
/proc/loadavg: 1.02 1.00 1.00 3/100 11620
/proc/meminfo: memFree=1598504/2055920 swapFree=4167328/4192956
[pid=11605] ppid=11603 vsize=916036 CPUtime=12.59
/proc/11605/stat : 11605 (java) R 11603 11605 11494 0 -1 0 7037 0 1 0 940 319 0 0 25 0 8 0 280179589 938020864 6774 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073652126 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11605/statm: 229009 6774 2476 14 0 215479 0
[pid=11605/tid=11607] ppid=11603 vsize=916036 CPUtime=0.02
/proc/11605/task/11607/stat : 11607 (java) S 11603 11605 11494 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 280179593 938020864 6774 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11605/tid=11608] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11608/stat : 11608 (java) S 11603 11605 11494 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280179594 938020864 6774 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11605/tid=11609] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11609/stat : 11609 (java) S 11603 11605 11494 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280179594 938020864 6774 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11605/tid=11613] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11613/stat : 11613 (java) S 11603 11605 11494 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 280179597 938020864 6774 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11605/tid=11614] ppid=11603 vsize=916036 CPUtime=0.11
/proc/11605/task/11614/stat : 11614 (java) S 11603 11605 11494 0 -1 64 332 0 0 0 11 0 0 0 16 0 8 0 280179597 938020864 6774 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11605/tid=11615] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11615/stat : 11615 (java) S 11603 11605 11494 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 280179597 938020864 6774 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11605/tid=11616] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11616/stat : 11616 (java) S 11603 11605 11494 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 280179597 938020864 6774 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 916036
[startup+25.6081 s]
/proc/loadavg: 1.24 1.05 1.02 3/100 11620
/proc/meminfo: memFree=1598504/2055920 swapFree=4167328/4192956
[pid=11605] ppid=11603 vsize=916036 CPUtime=25.35
/proc/11605/stat : 11605 (java) R 11603 11605 11494 0 -1 0 7038 0 1 0 1865 670 0 0 25 0 8 0 280179589 938020864 6775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073658084 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11605/statm: 229009 6775 2476 14 0 215479 0
[pid=11605/tid=11607] ppid=11603 vsize=916036 CPUtime=0.02
/proc/11605/task/11607/stat : 11607 (java) S 11603 11605 11494 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 280179593 938020864 6775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11605/tid=11608] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11608/stat : 11608 (java) S 11603 11605 11494 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280179594 938020864 6775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11605/tid=11609] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11609/stat : 11609 (java) S 11603 11605 11494 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280179594 938020864 6775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11605/tid=11613] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11613/stat : 11613 (java) S 11603 11605 11494 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 280179597 938020864 6775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11605/tid=11614] ppid=11603 vsize=916036 CPUtime=0.11
/proc/11605/task/11614/stat : 11614 (java) S 11603 11605 11494 0 -1 64 333 0 0 0 11 0 0 0 16 0 8 0 280179597 938020864 6775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11605/tid=11615] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11615/stat : 11615 (java) S 11603 11605 11494 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 280179597 938020864 6775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11605/tid=11616] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11616/stat : 11616 (java) S 11603 11605 11494 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 280179597 938020864 6775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 916036
[startup+51.3075 s]
/proc/loadavg: 1.58 1.14 1.04 3/100 11620
/proc/meminfo: memFree=1582504/2055920 swapFree=4167328/4192956
[pid=11605] ppid=11603 vsize=916036 CPUtime=50.9
/proc/11605/stat : 11605 (java) R 11603 11605 11494 0 -1 0 9112 0 1 0 4278 812 0 0 25 0 8 0 280179589 938020864 8844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794189 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11605/statm: 229009 8844 2527 14 0 215479 0
[pid=11605/tid=11607] ppid=11603 vsize=916036 CPUtime=0.02
/proc/11605/task/11607/stat : 11607 (java) S 11603 11605 11494 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 280179593 938020864 8844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11605/tid=11608] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11608/stat : 11608 (java) S 11603 11605 11494 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280179594 938020864 8844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11605/tid=11609] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11609/stat : 11609 (java) S 11603 11605 11494 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280179594 938020864 8844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11605/tid=11613] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11613/stat : 11613 (java) S 11603 11605 11494 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 280179597 938020864 8844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11605/tid=11614] ppid=11603 vsize=916036 CPUtime=0.21
/proc/11605/task/11614/stat : 11614 (java) S 11603 11605 11494 0 -1 64 390 0 0 0 20 1 0 0 16 0 8 0 280179597 938020864 8844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11605/tid=11615] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11615/stat : 11615 (java) S 11603 11605 11494 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 280179597 938020864 8844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11605/tid=11616] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11616/stat : 11616 (java) S 11603 11605 11494 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 280179597 938020864 8844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.9
Current children cumulated vsize (KiB) 916036
[startup+102.592 s]
/proc/loadavg: 1.81 1.27 1.09 3/100 11620
/proc/meminfo: memFree=1582440/2055920 swapFree=4167328/4192956
[pid=11605] ppid=11603 vsize=916036 CPUtime=101.95
/proc/11605/stat : 11605 (java) R 11603 11605 11494 0 -1 0 9122 0 1 0 9382 813 0 0 25 0 8 0 280179589 938020864 8852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830335 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11605/statm: 229009 8852 2527 14 0 215479 0
[pid=11605/tid=11607] ppid=11603 vsize=916036 CPUtime=0.02
/proc/11605/task/11607/stat : 11607 (java) S 11603 11605 11494 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 280179593 938020864 8852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11605/tid=11608] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11608/stat : 11608 (java) S 11603 11605 11494 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280179594 938020864 8852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11605/tid=11609] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11609/stat : 11609 (java) S 11603 11605 11494 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280179594 938020864 8852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11605/tid=11613] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11613/stat : 11613 (java) S 11603 11605 11494 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 280179597 938020864 8852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11605/tid=11614] ppid=11603 vsize=916036 CPUtime=0.21
/proc/11605/task/11614/stat : 11614 (java) S 11603 11605 11494 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 280179597 938020864 8852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11605/tid=11615] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11615/stat : 11615 (java) S 11603 11605 11494 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 280179597 938020864 8852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11605/tid=11616] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11616/stat : 11616 (java) S 11603 11605 11494 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 280179597 938020864 8852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.95
Current children cumulated vsize (KiB) 916036
[startup+162.617 s]
/proc/loadavg: 1.93 1.40 1.15 3/100 11620
/proc/meminfo: memFree=1582376/2055920 swapFree=4167328/4192956
[pid=11605] ppid=11603 vsize=916036 CPUtime=161.69
/proc/11605/stat : 11605 (java) R 11603 11605 11494 0 -1 0 9127 0 1 0 15356 813 0 0 25 0 8 0 280179589 938020864 8857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073798173 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/11605/task/11613/stat : 11613 (java) S 11603 11605 11494 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 280179597 938020864 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11605/tid=11614] ppid=11603 vsize=916036 CPUtime=0.22
/proc/11605/task/11614/stat : 11614 (java) S 11603 11605 11494 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 280179597 938020864 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11605/tid=11615] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11615/stat : 11615 (java) S 11603 11605 11494 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 280179597 938020864 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11605/tid=11616] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11616/stat : 11616 (java) S 11603 11605 11494 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 280179597 938020864 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 520.16
Current children cumulated vsize (KiB) 916036
[startup+582.786 s]
/proc/loadavg: 2.02 1.85 1.45 3/100 11620
/proc/meminfo: memFree=1582184/2055920 swapFree=4167328/4192956
[pid=11605] ppid=11603 vsize=916036 CPUtime=579.9
/proc/11605/stat : 11605 (java) R 11603 11605 11494 0 -1 0 9140 0 1 0 57175 815 0 0 25 0 8 0 280179589 938020864 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11605/statm: 229009 8869 2527 14 0 215479 0
[pid=11605/tid=11607] ppid=11603 vsize=916036 CPUtime=0.02
/proc/11605/task/11607/stat : 11607 (java) S 11603 11605 11494 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 280179593 938020864 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11605/tid=11608] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11608/stat : 11608 (java) S 11603 11605 11494 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280179594 938020864 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11605/tid=11609] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11609/stat : 11609 (java) S 11603 11605 11494 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280179594 938020864 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11605/tid=11613] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11613/stat : 11613 (java) S 11603 11605 11494 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 280179597 938020864 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11605/tid=11614] ppid=11603 vsize=916036 CPUtime=0.22
/proc/11605/task/11614/stat : 11614 (java) S 11603 11605 11494 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 280179597 938020864 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11605/tid=11615] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11615/stat : 11615 (java) S 11603 11605 11494 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 280179597 938020864 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11605/tid=11616] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11616/stat : 11616 (java) S 11603 11605 11494 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 280179597 938020864 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 579.9
Current children cumulated vsize (KiB) 916036
[startup+642.809 s]
/proc/loadavg: 2.00 1.88 1.48 3/100 11620
/proc/meminfo: memFree=1582184/2055920 swapFree=4167328/4192956
[pid=11605] ppid=11603 vsize=916036 CPUtime=639.64
/proc/11605/stat : 11605 (java) R 11603 11605 11494 0 -1 0 9140 0 1 0 63149 815 0 0 25 0 8 0 280179589 938020864 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073779671 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11605/statm: 229009 8869 2527 14 0 215479 0
[pid=11605/tid=11607] ppid=11603 vsize=916036 CPUtime=0.02
/proc/11605/task/11607/stat : 11607 (java) S 11603 11605 11494 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 280179593 938020864 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11605/tid=11608] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11608/stat : 11608 (java) S 11603 11605 11494 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280179594 938020864 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11605/tid=11609] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11609/stat : 11609 (java) S 11603 11605 11494 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280179594 938020864 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11605/tid=11613] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11613/stat : 11613 (java) S 11603 11605 11494 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 280179597 938020864 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11605/tid=11614] ppid=11603 vsize=916036 CPUtime=0.22
/proc/11605/task/11614/stat : 11614 (java) S 11603 11605 11494 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 280179597 938020864 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11605/tid=11615] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11615/stat : 11615 (java) S 11603 11605 11494 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 280179597 938020864 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11605/tid=11616] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11616/stat : 11616 (java) S 11603 11605 11494 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 280179597 938020864 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 639.64
Current children cumulated vsize (KiB) 916036
[startup+702.832 s]
/proc/loadavg: 2.11 1.93 1.52 3/100 11620
/proc/meminfo: memFree=1582184/2055920 swapFree=4167328/4192956
[pid=11605] ppid=11603 vsize=916036 CPUtime=699.39
/proc/11605/stat : 11605 (java) R 11603 11605 11494 0 -1 0 9140 0 1 0 69123 816 0 0 25 0 8 0 280179589 938020864 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073663718 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11605/statm: 229009 8869 2527 14 0 215479 0
[pid=11605/tid=11607] ppid=11603 vsize=916036 CPUtime=0.02
/proc/11605/task/11607/stat : 11607 (java) S 11603 11605 11494 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 280179593 938020864 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11605/tid=11608] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11608/stat : 11608 (java) S 11603 11605 11494 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280179594 938020864 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11605/tid=11609] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11609/stat : 11609 (java) S 11603 11605 11494 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280179594 938020864 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11605/tid=11613] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11613/stat : 11613 (java) S 11603 11605 11494 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 280179597 938020864 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11605/tid=11614] ppid=11603 vsize=916036 CPUtime=0.22
/proc/11605/task/11614/stat : 11614 (java) S 11603 11605 11494 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 280179597 938020864 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11605/tid=11615] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11615/stat : 11615 (java) S 11603 11605 11494 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 280179597 938020864 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11605/tid=11616] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11616/stat : 11616 (java) S 11603 11605 11494 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 280179597 938020864 8869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 699.39
Current children cumulated vsize (KiB) 916036
[startup+762.857 s]
/proc/loadavg: 2.04 1.94 1.55 3/100 11620
/proc/meminfo: memFree=1582184/2055920 swapFree=4167328/4192956
[pid=11605] ppid=11603 vsize=916036 CPUtime=759.14
/proc/11605/stat : 11605 (java) R 11603 11605 11494 0 -1 0 9142 0 1 0 75098 816 0 0 25 0 8 0 280179589 938020864 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073777953 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11605/statm: 229009 8871 2527 14 0 215479 0
[pid=11605/tid=11607] ppid=11603 vsize=916036 CPUtime=0.02
/proc/11605/task/11607/stat : 11607 (java) S 11603 11605 11494 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 280179593 938020864 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11605/tid=11608] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11608/stat : 11608 (java) S 11603 11605 11494 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280179594 938020864 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11605/tid=11609] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11609/stat : 11609 (java) S 11603 11605 11494 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280179594 938020864 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11605/tid=11613] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11613/stat : 11613 (java) S 11603 11605 11494 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 280179597 938020864 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11605/tid=11614] ppid=11603 vsize=916036 CPUtime=0.22
/proc/11605/task/11614/stat : 11614 (java) S 11603 11605 11494 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 280179597 938020864 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11605/tid=11615] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11615/stat : 11615 (java) S 11603 11605 11494 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 280179597 938020864 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11605/tid=11616] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11616/stat : 11616 (java) S 11603 11605 11494 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 280179597 938020864 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 759.14
Current children cumulated vsize (KiB) 916036
[startup+822.877 s]
/proc/loadavg: 2.01 1.95 1.57 3/100 11620
/proc/meminfo: memFree=1582184/2055920 swapFree=4167328/4192956
[pid=11605] ppid=11603 vsize=916036 CPUtime=818.87
/proc/11605/stat : 11605 (java) R 11603 11605 11494 0 -1 0 9142 0 1 0 81071 816 0 0 25 0 8 0 280179589 938020864 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801293 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11605/statm: 229009 8871 2527 14 0 215479 0
[pid=11605/tid=11607] ppid=11603 vsize=916036 CPUtime=0.02
/proc/11605/task/11607/stat : 11607 (java) S 11603 11605 11494 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 280179593 938020864 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11605/tid=11608] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11608/stat : 11608 (java) S 11603 11605 11494 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280179594 938020864 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11605/tid=11609] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11609/stat : 11609 (java) S 11603 11605 11494 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280179594 938020864 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11605/tid=11613] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11613/stat : 11613 (java) S 11603 11605 11494 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 280179597 938020864 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11605/tid=11614] ppid=11603 vsize=916036 CPUtime=0.22
/proc/11605/task/11614/stat : 11614 (java) S 11603 11605 11494 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 280179597 938020864 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11605/tid=11615] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11615/stat : 11615 (java) S 11603 11605 11494 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 280179597 938020864 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11605/tid=11616] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11616/stat : 11616 (java) S 11603 11605 11494 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 280179597 938020864 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 818.87
Current children cumulated vsize (KiB) 916036
[startup+882.9 s]
/proc/loadavg: 2.00 1.95 1.59 3/100 11620
/proc/meminfo: memFree=1582184/2055920 swapFree=4167328/4192956
[pid=11605] ppid=11603 vsize=916036 CPUtime=878.61
/proc/11605/stat : 11605 (java) R 11603 11605 11494 0 -1 0 9142 0 1 0 87045 816 0 0 25 0 8 0 280179589 938020864 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073805910 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11605/statm: 229009 8871 2527 14 0 215479 0
[pid=11605/tid=11607] ppid=11603 vsize=916036 CPUtime=0.02
/proc/11605/task/11607/stat : 11607 (java) S 11603 11605 11494 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 280179593 938020864 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11605/tid=11608] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11608/stat : 11608 (java) S 11603 11605 11494 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280179594 938020864 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11605/tid=11609] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11609/stat : 11609 (java) S 11603 11605 11494 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280179594 938020864 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11605/tid=11613] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11613/stat : 11613 (java) S 11603 11605 11494 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 280179597 938020864 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11605/tid=11614] ppid=11603 vsize=916036 CPUtime=0.22
/proc/11605/task/11614/stat : 11614 (java) S 11603 11605 11494 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 280179597 938020864 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11605/tid=11615] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11615/stat : 11615 (java) S 11603 11605 11494 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 280179597 938020864 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11605/tid=11616] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11616/stat : 11616 (java) S 11603 11605 11494 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 280179597 938020864 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 878.61
Current children cumulated vsize (KiB) 916036
[startup+942.924 s]
/proc/loadavg: 2.00 1.96 1.62 3/100 11620
/proc/meminfo: memFree=1582184/2055920 swapFree=4167328/4192956
[pid=11605] ppid=11603 vsize=916036 CPUtime=938.37
/proc/11605/stat : 11605 (java) R 11603 11605 11494 0 -1 0 9142 0 1 0 93020 817 0 0 25 0 8 0 280179589 938020864 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794386 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11605/statm: 229009 8871 2527 14 0 215479 0
[pid=11605/tid=11607] ppid=11603 vsize=916036 CPUtime=0.02
/proc/11605/task/11607/stat : 11607 (java) S 11603 11605 11494 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 280179593 938020864 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11605/tid=11608] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11608/stat : 11608 (java) S 11603 11605 11494 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280179594 938020864 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11605/tid=11609] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11609/stat : 11609 (java) S 11603 11605 11494 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280179594 938020864 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11605/tid=11613] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11613/stat : 11613 (java) S 11603 11605 11494 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 280179597 938020864 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11605/tid=11614] ppid=11603 vsize=916036 CPUtime=0.22
/proc/11605/task/11614/stat : 11614 (java) S 11603 11605 11494 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 280179597 938020864 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11605/tid=11615] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11615/stat : 11615 (java) S 11603 11605 11494 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 280179597 938020864 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11605/tid=11616] ppid=11603 vsize=916036 CPUtime=0
/proc/11605/task/11616/stat : 11616 (java) R 11603 11605 11494 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 280179597 938020864 8871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 938.37
Current children cumulated vsize (KiB) 916036
Child status: 0
Real time (s): 961.507
CPU time (s): 956.849
CPU user time (s): 948.667
CPU system time (s): 8.18176
CPU usage (%): 99.5155
Max. virtual memory (cumulated for all children) (KiB): 916040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 948.667
system time used= 8.18176
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9238
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= 20634
involuntary context switches= 32589
runsolver used 1.04284 s user time and 2.53861 s system time
The end
Begin job on node30 on Sat Jan 20 18:30:56 UTC 2007
IDJOB= 282071
IDBENCH= 12372
IDSOLVER= 69
FILE ID= node30/282071-1169317854
PBS_JOBID= 3610342
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/pi/pi-30-10-25-t58/pi-30-10-197-42-11.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282071-1169317854/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node30/watcher-282071-1169317854 -o ROOT/results/node30/solver-282071-1169317854 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282071-1169317854/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= c1fb510f5cb9c0d617700aa4741e7a14
RANDOM SEED= 998156817
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1634440 kB
Buffers: 41604 kB
Cached: 266804 kB
SwapCached: 3508 kB
Active: 115872 kB
Inactive: 227764 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1634440 kB
SwapTotal: 4192956 kB
SwapFree: 4167328 kB
Dirty: 3740 kB
Writeback: 0 kB
Mapped: 50196 kB
Slab: 62852 kB
Committed_AS: 5496940 kB
PageTables: 2116 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 node30 on Sat Jan 20 18:46:59 UTC 2007