0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=epfc.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/279352-1169292529/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.44 nbVariables=58 nbDomainTypes=1 minDomainSize=5 maxDomainSize=5
0.44 => wckTime=0.116 cpuTime=0.08 mem=6M887
0.44
0.44 relations being loaded...
0.50
0.50 constraints being loaded...
0.60 nbConstraints=309 nbRelationTypes=309 nbExtensionStructures=309 nbSharedExtensionStructures=0
0.60 nbConflictsStructures=309 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=3058 maxDegree=33
0.60 maxArity=2
0.60 => wckTime=0.283 cpuTime=0.18 mem=9M823
0.64
0.64 solver LocalSearchSolver being built...
0.69 => wckTime=0.369 cpuTime=0.23 mem=5M659
0.69
0.69 s SATISFIABLE
0.69 o 193
0.69 c 116
0.69 o 200
0.69 c 109
0.70 o 204
0.70 c 105
0.70 o 205
0.70 c 104
0.70 o 210
0.70 c 99
0.70 o 214
0.70 c 95
0.70 o 218
0.70 c 91
0.70 o 221
0.70 c 88
0.70 o 225
0.70 c 84
0.70 o 227
0.70 c 82
0.70 o 229
0.70 c 80
0.70 o 230
0.70 c 79
0.70 o 232
0.70 c 77
0.71 o 235
0.71 c 74
0.71 o 237
0.71 c 72
0.71 o 238
0.71 c 71
0.71 o 240
0.71 c 69
0.72 o 242
0.72 c 67
0.72 o 243
0.72 c 66
0.72 o 244
0.72 c 65
0.72 o 245
0.72 c 64
0.72 o 246
0.72 c 63
0.72 o 247
0.72 c 62
0.72 o 249
0.72 c 60
0.72 o 250
0.72 c 59
0.72 o 251
0.72 c 58
0.72 o 253
0.72 c 56
0.72 o 254
0.72 c 55
0.72 o 256
0.72 c 53
0.73 o 257
0.73 c 52
0.73 o 258
0.73 c 51
0.73 o 259
0.73 c 50
0.73 o 260
0.73 c 49
0.73 o 261
0.73 c 48
0.73 o 263
0.73 c 46
0.73 o 265
0.73 c 44
0.73 o 266
0.73 c 43
0.74 o 268
0.74 c 41
0.74 o 269
0.74 c 40
0.74 o 270
0.74 c 39
0.74 o 271
0.74 c 38
0.74 o 272
0.75 c 37
0.75 o 273
0.75 c 36
0.82 o 274
0.82 c 35
0.82 o 275
0.82 c 34
0.82 o 276
0.82 c 33
0.82 o 277
0.82 c 32
0.82 o 278
0.82 c 31
0.82 o 279
0.82 c 30
2.70
2.70 search
2.70 run=0 nbConstraintChecks=10505829 nbAssignments=10000
2.70 => wckTime=2.017 cpuTime=1.97 mem=5M659
3.54 o 280
3.54 c 29
4.65
4.65 search
4.65 run=1 nbConstraintChecks=21085330 nbAssignments=20000
4.65 => wckTime=3.965 cpuTime=3.89 mem=5M659
6.58
6.58 search
6.58 run=2 nbConstraintChecks=31533073 nbAssignments=30000
6.58 => wckTime=5.89 cpuTime=5.8 mem=5M659
7.76 o 281
7.76 c 28
8.52
8.52 search
8.52 run=3 nbConstraintChecks=42231555 nbAssignments=40000
8.52 => wckTime=7.838 cpuTime=7.73 mem=5M659
10.44
10.44 search
10.44 run=4 nbConstraintChecks=52703858 nbAssignments=50000
10.44 => wckTime=9.752 cpuTime=9.63 mem=5M659
12.42
12.42 search
12.42 run=5 nbConstraintChecks=63700131 nbAssignments=60000
12.42 => wckTime=11.733 cpuTime=11.59 mem=5M659
14.19 o 282
14.19 c 27
14.32
14.32 search
14.32 run=6 nbConstraintChecks=73956541 nbAssignments=70000
14.32 => wckTime=13.63 cpuTime=13.47 mem=5M659
16.31
16.31 search
16.31 run=7 nbConstraintChecks=84949684 nbAssignments=80000
16.31 => wckTime=15.619 cpuTime=15.43 mem=5M659
18.23
18.23 search
18.23 run=8 nbConstraintChecks=95340458 nbAssignments=90000
18.23 => wckTime=17.541 cpuTime=17.35 mem=5M659
20.19
20.19 search
20.19 run=9 nbConstraintChecks=106087924 nbAssignments=100000
20.19 => wckTime=19.508 cpuTime=19.29 mem=5M659
22.12
22.12 search
22.12 run=10 nbConstraintChecks=116491576 nbAssignments=110000
22.12 => wckTime=21.437 cpuTime=21.2 mem=5M659
24.11
24.11 search
24.11 run=11 nbConstraintChecks=127360863 nbAssignments=120000
24.11 => wckTime=23.419 cpuTime=23.17 mem=5M659
26.04
26.04 search
26.04 run=12 nbConstraintChecks=137761946 nbAssignments=130000
26.04 => wckTime=25.352 cpuTime=25.08 mem=5M659
27.96
27.96 search
27.96 run=13 nbConstraintChecks=148271860 nbAssignments=140000
27.96 => wckTime=27.274 cpuTime=26.99 mem=5M659
29.87
29.87 search
29.87 run=14 nbConstraintChecks=158678243 nbAssignments=150000
29.87 => wckTime=29.188 cpuTime=28.88 mem=5M659
31.84
31.84 search
31.84 run=15 nbConstraintChecks=169503496 nbAssignments=160000
31.84 => wckTime=31.155 cpuTime=30.83 mem=5M659
33.76
33.76 search
33.76 run=16 nbConstraintChecks=179959508 nbAssignments=170000
33.76 => wckTime=33.072 cpuTime=32.73 mem=5M659
35.74
35.74 search
35.74 run=17 nbConstraintChecks=190845769 nbAssignments=180000
35.74 => wckTime=35.051 cpuTime=34.69 mem=5M659
37.65
37.65 search
37.65 run=18 nbConstraintChecks=201190726 nbAssignments=190000
37.65 => wckTime=36.964 cpuTime=36.58 mem=5M659
39.66
39.66 search
39.66 run=19 nbConstraintChecks=212167534 nbAssignments=200000
39.66 => wckTime=38.969 cpuTime=38.57 mem=5M659
41.59
41.59 search
41.59 run=20 nbConstraintChecks=222603799 nbAssignments=210000
41.59 => wckTime=40.899 cpuTime=40.49 mem=5M659
43.58
43.58 search
43.58 run=21 nbConstraintChecks=233457442 nbAssignments=220000
43.58 => wckTime=42.889 cpuTime=42.46 mem=5M659
44.49
44.49 search
44.49 run=22 nbConstraintChecks=238347193 nbAssignments=224727
44.49 => wckTime=43.801 cpuTime=43.36 mem=5M659
44.49
44.49 global
44.49 nbConstraintChecks=238347193 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
44.49 solvingWckTime=43.798 solvingCpuTime=43.36 expiredTime=no totalExploration=no nbFoundSolutions=0
44.49 globalCpuTime=43.66
44.49 => wckTime=44.17 cpuTime=43.59 mem=5M659
44.49
44.49 solver IterativeSystematicSolver being built...
44.63 => wckTime=44.306 cpuTime=43.7 mem=16M681
44.69
44.69 preprocessing
44.69 nbConstraintChecks=34271 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
44.69 detectedInconsistency=no
44.69 => wckTime=0.061 cpuTime=0.04 mem=16M681
44.74
44.74 search
44.74 run=0 nbConstraintChecks=61143 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=45
44.74 nbFailedAssignments=12 nbBacktracks=10 nbVisitedNodes=68 nbRestartNogoods=0
44.74 => wckTime=0.108 cpuTime=0.08 mem=16M681
44.80
44.80 search
44.80 run=1 nbConstraintChecks=145593 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=100
44.80 nbFailedAssignments=31 nbBacktracks=25 nbVisitedNodes=157 nbRestartNogoods=3
44.80 => wckTime=0.175 cpuTime=0.14 mem=16M681
44.87
44.87 search
44.87 run=2 nbConstraintChecks=283242 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=182
44.87 nbFailedAssignments=71 nbBacktracks=48 nbVisitedNodes=302 nbRestartNogoods=7
44.87 => wckTime=0.24 cpuTime=0.21 mem=16M681
44.95
44.95 search
44.95 run=3 nbConstraintChecks=458198 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=285
44.95 nbFailedAssignments=120 nbBacktracks=82 nbVisitedNodes=488 nbRestartNogoods=12
44.96 => wckTime=0.328 cpuTime=0.29 mem=16M681
45.09
45.09 search
45.09 run=4 nbConstraintChecks=730195 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=429
45.09 nbFailedAssignments=196 nbBacktracks=132 nbVisitedNodes=758 nbRestartNogoods=15
45.09 => wckTime=0.46 cpuTime=0.42 mem=16M681
45.35
45.35 search
45.35 run=5 nbConstraintChecks=1252253 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=689
45.35 nbFailedAssignments=360 nbBacktracks=207 nbVisitedNodes=1257 nbRestartNogoods=19
45.35 => wckTime=0.721 cpuTime=0.68 mem=16M681
45.65
45.65 search
45.65 run=6 nbConstraintChecks=1895264 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1035
45.65 nbFailedAssignments=573 nbBacktracks=321 nbVisitedNodes=1923 nbRestartNogoods=25
45.65 => wckTime=1.02 cpuTime=0.97 mem=16M681
46.06
46.06 search
46.06 run=7 nbConstraintChecks=2794629 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1502
46.06 nbFailedAssignments=849 nbBacktracks=491 nbVisitedNodes=2834 nbRestartNogoods=28
46.06 => wckTime=1.437 cpuTime=1.37 mem=16M681
46.71
46.71 search
46.71 run=8 nbConstraintChecks=4208273 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2213
46.71 nbFailedAssignments=1283 nbBacktracks=747 nbVisitedNodes=4234 nbRestartNogoods=32
46.71 => wckTime=2.087 cpuTime=2.01 mem=16M681
47.64
47.64 search
47.64 run=9 nbConstraintChecks=6218699 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3172
47.64 nbFailedAssignments=1840 nbBacktracks=1131 nbVisitedNodes=6134 nbRestartNogoods=38
47.64 => wckTime=3.01 cpuTime=2.92 mem=16M681
48.82
48.82 search
48.82 run=10 nbConstraintChecks=8910142 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4521
48.82 nbFailedAssignments=2594 nbBacktracks=1707 nbVisitedNodes=8813 nbRestartNogoods=44
48.82 => wckTime=4.191 cpuTime=4.08 mem=16M681
50.68
50.68 search
50.68 run=11 nbConstraintChecks=12964367 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6560
50.68 nbFailedAssignments=3750 nbBacktracks=2571 nbVisitedNodes=12872 nbRestartNogoods=54
50.68 => wckTime=6.058 cpuTime=5.93 mem=16M681
53.82
53.82 search
53.82 run=12 nbConstraintChecks=20357838 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9930
53.82 nbFailedAssignments=5801 nbBacktracks=3869 nbVisitedNodes=19581 nbRestartNogoods=62
53.82 => wckTime=9.192 cpuTime=9.04 mem=16M681
58.17
58.17 search
58.17 run=13 nbConstraintChecks=29630712 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14461
58.17 nbFailedAssignments=8369 nbBacktracks=5815 nbVisitedNodes=28596 nbRestartNogoods=73
58.17 => wckTime=13.547 cpuTime=13.35 mem=16M681
64.42
64.42 search
64.42 run=14 nbConstraintChecks=44094610 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=21383
64.42 nbFailedAssignments=12352 nbBacktracks=8734 nbVisitedNodes=42419 nbRestartNogoods=83
64.42 => wckTime=19.789 cpuTime=19.54 mem=16M681
73.31
73.31 search
73.31 run=15 nbConstraintChecks=64911409 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=31767
73.31 nbFailedAssignments=18344 nbBacktracks=13112 nbVisitedNodes=63161 nbRestartNogoods=92
73.31 => wckTime=28.68 cpuTime=28.34 mem=16M681
87.93
87.93 search
87.93 run=16 nbConstraintChecks=97881982 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=48082
87.93 nbFailedAssignments=28072 nbBacktracks=19680 nbVisitedNodes=95589 nbRestartNogoods=104
87.93 => wckTime=43.306 cpuTime=42.83 mem=16M681
112.88
112.88 search
112.88 run=17 nbConstraintChecks=148068308 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=73459
112.88 nbFailedAssignments=43583 nbBacktracks=29532 nbVisitedNodes=146112 nbRestartNogoods=114
112.88 => wckTime=68.249 cpuTime=67.55 mem=16M681
144.31
144.31 search
144.31 run=18 nbConstraintChecks=210804918 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=107736
144.31 nbFailedAssignments=63064 nbBacktracks=44312 nbVisitedNodes=214078 nbRestartNogoods=124
144.31 => wckTime=99.682 cpuTime=98.69 mem=16M681
185.40
185.40 search
185.40 run=19 nbConstraintChecks=285862658 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=155794
185.40 nbFailedAssignments=88940 nbBacktracks=66480 nbVisitedNodes=307926 nbRestartNogoods=133
185.40 => wckTime=140.769 cpuTime=139.41 mem=16M681
235.83
235.83 search
235.83 run=20 nbConstraintChecks=378876617 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=223992
235.83 nbFailedAssignments=123870 nbBacktracks=99733 nbVisitedNodes=438058 nbRestartNogoods=142
235.83 => wckTime=191.206 cpuTime=189.38 mem=16M681
297.85
297.85 search
297.85 run=21 nbConstraintChecks=489458940 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=322696
297.85 nbFailedAssignments=172680 nbBacktracks=149611 nbVisitedNodes=626614 nbRestartNogoods=148
297.85 => wckTime=253.228 cpuTime=250.83 mem=16M681
403.94
403.94 search
403.94 run=22 nbConstraintChecks=659083346 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=464235
403.94 nbFailedAssignments=239381 nbBacktracks=224430 nbVisitedNodes=898344 nbRestartNogoods=159
403.94 => wckTime=359.315 cpuTime=355.96 mem=16M681
552.90
552.90 search
552.90 run=23 nbConstraintChecks=895588322 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=677102
552.90 nbFailedAssignments=340006 nbBacktracks=336657 nbVisitedNodes=1305682 nbRestartNogoods=170
552.90 => wckTime=508.272 cpuTime=503.56 mem=16M681
719.28
719.28 search
719.28 run=24 nbConstraintChecks=1194580747 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=973877
719.28 nbFailedAssignments=468419 nbBacktracks=504999 nbVisitedNodes=1868101 nbRestartNogoods=187
719.28 => wckTime=674.656 cpuTime=668.43 mem=16M681
998.80
998.81 search
998.81 run=25 nbConstraintChecks=1683720583 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1421753
998.81 nbFailedAssignments=663766 nbBacktracks=757510 nbVisitedNodes=2709100 nbRestartNogoods=200
998.81 => wckTime=954.178 cpuTime=945.93 mem=16M681
1338.45
1338.45 search
1338.45 run=26 nbConstraintChecks=2353143759 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2089774
1338.45 nbFailedAssignments=952997 nbBacktracks=1136277 nbVisitedNodes=3963918 nbRestartNogoods=208
1338.45 => wckTime=1293.827 cpuTime=1285.24 mem=16M681
1769.11
1769.11 search
1769.11 run=27 nbConstraintChecks=3261314405 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2954131
1769.11 nbFailedAssignments=1249172 nbBacktracks=1704432 nbVisitedNodes=5547032 nbRestartNogoods=223
1769.11 => wckTime=1724.487 cpuTime=1715.23 mem=16M681
2413.18 v 1 1 4 1 1 0 4 0 2 2 1 0 1 1 4 4 2 1 1 1 2 4 2 0 3 0 1 2 3 0 3 0 0 2 2 3 2 1 3 3 3 2 4 3 0 1 3 0 0 1 1 0 3 0 0 1 4 1
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node13/watcher-279352-1169292529 -o ROOT/results/node13/solver-279352-1169292529 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/279352-1169292529/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.02 2.00 1.93 4/93 26783
/proc/meminfo: memFree=1323608/2055920 swapFree=4169400/4192956
[pid=26782] ppid=26780 vsize=11820 CPUtime=0
/proc/26782/stat : 26782 (java) D 26780 26782 25912 0 -1 0 760 0 1 0 0 0 0 0 17 0 1 0 277647924 12103680 510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 11879204 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/26782/statm: 2955 510 421 14 0 1602 0
[startup+0.103302 s]
/proc/loadavg: 2.02 2.00 1.93 4/93 26783
/proc/meminfo: memFree=1323608/2055920 swapFree=4169400/4192956
[pid=26782] ppid=26780 vsize=913228 CPUtime=0.08
/proc/26782/stat : 26782 (java) R 26780 26782 25912 0 -1 0 2920 0 1 0 6 2 0 0 19 0 8 0 277647924 935145472 2666 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26782/statm: 228307 2666 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913228
[startup+0.511353 s]
/proc/loadavg: 2.02 2.00 1.93 4/93 26783
/proc/meminfo: memFree=1323608/2055920 swapFree=4169400/4192956
[pid=26782] ppid=26780 vsize=915332 CPUtime=0.48
/proc/26782/stat : 26782 (java) R 26780 26782 25912 0 -1 0 6292 0 1 0 43 5 0 0 18 0 8 0 277647924 937299968 6031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26782/statm: 228833 6031 2143 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33446 s]
/proc/loadavg: 2.02 2.00 1.93 3/100 26790
/proc/meminfo: memFree=1304736/2055920 swapFree=4169400/4192956
[pid=26782] ppid=26780 vsize=915464 CPUtime=1.29
/proc/26782/stat : 26782 (java) R 26780 26782 25912 0 -1 0 7391 0 1 0 111 18 0 0 25 0 8 0 277647924 937435136 7129 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073737307 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26782/statm: 228866 7129 2479 14 0 215336 0
[pid=26782/tid=26784] ppid=26780 vsize=915464 CPUtime=0.02
/proc/26782/task/26784/stat : 26784 (java) S 26780 26782 25912 0 -1 64 195 0 0 0 2 0 0 0 16 0 8 0 277647928 937435136 7129 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26785] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26785/stat : 26785 (java) S 26780 26782 25912 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277647928 937435136 7129 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26786] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26786/stat : 26786 (java) S 26780 26782 25912 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277647928 937435136 7129 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26787] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26787/stat : 26787 (java) S 26780 26782 25912 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277647932 937435136 7129 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26788] ppid=26780 vsize=915464 CPUtime=0.14
/proc/26782/task/26788/stat : 26788 (java) S 26780 26782 25912 0 -1 64 349 0 0 0 14 0 0 0 16 0 8 0 277647932 937435136 7129 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26789] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26789/stat : 26789 (java) S 26780 26782 25912 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277647932 937435136 7129 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26790] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26790/stat : 26790 (java) S 26780 26782 25912 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277647932 937435136 7129 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915464
[startup+2.98768 s]
/proc/loadavg: 2.02 2.00 1.93 3/100 26790
/proc/meminfo: memFree=1304608/2055920 swapFree=4169400/4192956
[pid=26782] ppid=26780 vsize=915464 CPUtime=2.93
/proc/26782/stat : 26782 (java) R 26780 26782 25912 0 -1 0 7395 0 1 0 242 51 0 0 25 0 8 0 277647924 937435136 7132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073737318 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26782/statm: 228866 7132 2479 14 0 215336 0
[pid=26782/tid=26784] ppid=26780 vsize=915464 CPUtime=0.02
/proc/26782/task/26784/stat : 26784 (java) S 26780 26782 25912 0 -1 64 195 0 0 0 2 0 0 0 16 0 8 0 277647928 937435136 7132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26785] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26785/stat : 26785 (java) S 26780 26782 25912 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277647928 937435136 7132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26786] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26786/stat : 26786 (java) S 26780 26782 25912 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277647928 937435136 7132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26787] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26787/stat : 26787 (java) S 26780 26782 25912 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277647932 937435136 7132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26788] ppid=26780 vsize=915464 CPUtime=0.15
/proc/26782/task/26788/stat : 26788 (java) S 26780 26782 25912 0 -1 64 352 0 0 0 15 0 0 0 16 0 8 0 277647932 937435136 7132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26789] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26789/stat : 26789 (java) S 26780 26782 25912 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277647932 937435136 7132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26790] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26790/stat : 26790 (java) S 26780 26782 25912 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277647932 937435136 7132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915464
[startup+6.27312 s]
/proc/loadavg: 2.02 2.00 1.93 3/100 26790
/proc/meminfo: memFree=1304608/2055920 swapFree=4169400/4192956
[pid=26782] ppid=26780 vsize=915464 CPUtime=6.19
/proc/26782/stat : 26782 (java) R 26780 26782 25912 0 -1 0 7395 0 1 0 498 121 0 0 25 0 8 0 277647924 937435136 7132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073739682 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26782/statm: 228866 7132 2479 14 0 215336 0
[pid=26782/tid=26784] ppid=26780 vsize=915464 CPUtime=0.02
/proc/26782/task/26784/stat : 26784 (java) S 26780 26782 25912 0 -1 64 195 0 0 0 2 0 0 0 16 0 8 0 277647928 937435136 7132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26785] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26785/stat : 26785 (java) S 26780 26782 25912 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277647928 937435136 7132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26786] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26786/stat : 26786 (java) S 26780 26782 25912 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277647928 937435136 7132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26787] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26787/stat : 26787 (java) S 26780 26782 25912 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277647932 937435136 7132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26788] ppid=26780 vsize=915464 CPUtime=0.15
/proc/26782/task/26788/stat : 26788 (java) S 26780 26782 25912 0 -1 64 352 0 0 0 15 0 0 0 16 0 8 0 277647932 937435136 7132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26789] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26789/stat : 26789 (java) S 26780 26782 25912 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277647932 937435136 7132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26790] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26790/stat : 26790 (java) S 26780 26782 25912 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277647932 937435136 7132 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) 915464
[startup+12.761 s]
/proc/loadavg: 2.02 2.00 1.93 3/100 26790
/proc/meminfo: memFree=1304608/2055920 swapFree=4169400/4192956
[pid=26782] ppid=26780 vsize=915468 CPUtime=12.61
/proc/26782/stat : 26782 (java) R 26780 26782 25912 0 -1 0 7395 0 1 0 1007 254 0 0 25 0 8 0 277647924 937439232 7132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26782/statm: 228867 7132 2479 14 0 215337 0
[pid=26782/tid=26784] ppid=26780 vsize=915468 CPUtime=0.02
/proc/26782/task/26784/stat : 26784 (java) S 26780 26782 25912 0 -1 64 195 0 0 0 2 0 0 0 16 0 8 0 277647928 937439232 7132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26785] ppid=26780 vsize=915468 CPUtime=0
/proc/26782/task/26785/stat : 26785 (java) S 26780 26782 25912 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277647928 937439232 7132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26786] ppid=26780 vsize=915468 CPUtime=0
/proc/26782/task/26786/stat : 26786 (java) S 26780 26782 25912 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277647928 937439232 7132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26787] ppid=26780 vsize=915468 CPUtime=0
/proc/26782/task/26787/stat : 26787 (java) S 26780 26782 25912 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277647932 937439232 7132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26788] ppid=26780 vsize=915468 CPUtime=0.15
/proc/26782/task/26788/stat : 26788 (java) S 26780 26782 25912 0 -1 64 352 0 0 0 15 0 0 0 16 0 8 0 277647932 937439232 7132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26789] ppid=26780 vsize=915468 CPUtime=0
/proc/26782/task/26789/stat : 26789 (java) S 26780 26782 25912 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277647932 937439232 7132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26790] ppid=26780 vsize=915468 CPUtime=0
/proc/26782/task/26790/stat : 26790 (java) S 26780 26782 25912 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277647932 937439232 7132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915468
[startup+25.5987 s]
/proc/loadavg: 2.01 2.00 1.93 3/100 26790
/proc/meminfo: memFree=1304616/2055920 swapFree=4169400/4192956
[pid=26782] ppid=26780 vsize=915468 CPUtime=25.34
/proc/26782/stat : 26782 (java) R 26780 26782 25912 0 -1 0 7395 0 1 0 2017 517 0 0 25 0 8 0 277647924 937439232 7132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26782/statm: 228867 7132 2479 14 0 215337 0
[pid=26782/tid=26784] ppid=26780 vsize=915468 CPUtime=0.02
/proc/26782/task/26784/stat : 26784 (java) S 26780 26782 25912 0 -1 64 195 0 0 0 2 0 0 0 16 0 8 0 277647928 937439232 7132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26785] ppid=26780 vsize=915468 CPUtime=0
/proc/26782/task/26785/stat : 26785 (java) S 26780 26782 25912 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277647928 937439232 7132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26786] ppid=26780 vsize=915468 CPUtime=0
/proc/26782/task/26786/stat : 26786 (java) S 26780 26782 25912 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277647928 937439232 7132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26787] ppid=26780 vsize=915468 CPUtime=0
/proc/26782/task/26787/stat : 26787 (java) S 26780 26782 25912 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277647932 937439232 7132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26788] ppid=26780 vsize=915468 CPUtime=0.15
/proc/26782/task/26788/stat : 26788 (java) S 26780 26782 25912 0 -1 64 352 0 0 0 15 0 0 0 16 0 8 0 277647932 937439232 7132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26789] ppid=26780 vsize=915468 CPUtime=0
/proc/26782/task/26789/stat : 26789 (java) S 26780 26782 25912 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277647932 937439232 7132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26790] ppid=26780 vsize=915468 CPUtime=0
/proc/26782/task/26790/stat : 26790 (java) S 26780 26782 25912 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277647932 937439232 7132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915468
[startup+51.2071 s]
/proc/loadavg: 2.01 2.00 1.93 3/100 26790
/proc/meminfo: memFree=1297960/2055920 swapFree=4169400/4192956
[pid=26782] ppid=26780 vsize=915464 CPUtime=50.7
/proc/26782/stat : 26782 (java) R 26780 26782 25912 0 -1 0 9129 0 1 0 4158 912 0 0 25 0 8 0 277647924 937435136 8862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073854090 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26782/statm: 228866 8862 2532 14 0 215336 0
[pid=26782/tid=26784] ppid=26780 vsize=915464 CPUtime=0.02
/proc/26782/task/26784/stat : 26784 (java) S 26780 26782 25912 0 -1 64 196 0 0 0 2 0 0 0 16 0 8 0 277647928 937435136 8862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26785] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26785/stat : 26785 (java) S 26780 26782 25912 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277647928 937435136 8862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26786] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26786/stat : 26786 (java) S 26780 26782 25912 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277647928 937435136 8862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26787] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26787/stat : 26787 (java) S 26780 26782 25912 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277647932 937435136 8862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26788] ppid=26780 vsize=915464 CPUtime=0.25
/proc/26782/task/26788/stat : 26788 (java) S 26780 26782 25912 0 -1 64 409 0 0 0 24 1 0 0 16 0 8 0 277647932 937435136 8862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26789] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26789/stat : 26789 (java) S 26780 26782 25912 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277647932 937435136 8862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26790] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26790/stat : 26790 (java) S 26780 26782 25912 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277647932 937435136 8862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 915464
[startup+102.415 s]
/proc/loadavg: 2.00 2.00 1.93 3/100 26790
/proc/meminfo: memFree=1297832/2055920 swapFree=4169400/4192956
[pid=26782] ppid=26780 vsize=915464 CPUtime=101.44
/proc/26782/stat : 26782 (java) R 26780 26782 25912 0 -1 0 9146 0 1 0 9232 912 0 0 25 0 8 0 277647924 937435136 8877 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073874446 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26782/statm: 228866 8877 2532 14 0 215336 0
[pid=26782/tid=26784] ppid=26780 vsize=915464 CPUtime=0.02
/proc/26782/task/26784/stat : 26784 (java) S 26780 26782 25912 0 -1 64 196 0 0 0 2 0 0 0 16 0 8 0 277647928 937435136 8877 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26785] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26785/stat : 26785 (java) S 26780 26782 25912 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277647928 937435136 8877 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26786] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26786/stat : 26786 (java) S 26780 26782 25912 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277647928 937435136 8877 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26787] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26787/stat : 26787 (java) S 26780 26782 25912 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277647932 937435136 8877 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26788] ppid=26780 vsize=915464 CPUtime=0.26
/proc/26782/task/26788/stat : 26788 (java) S 26780 26782 25912 0 -1 64 411 0 0 0 25 1 0 0 16 0 8 0 277647932 937435136 8877 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26789] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26789/stat : 26789 (java) S 26780 26782 25912 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277647932 937435136 8877 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26790] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26790/stat : 26790 (java) S 26780 26782 25912 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277647932 937435136 8877 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.44
Current children cumulated vsize (KiB) 915464
[startup+162.465 s]
/proc/loadavg: 2.00 2.00 1.93 3/100 26790
/proc/meminfo: memFree=1297832/2055920 swapFree=4169400/4192956
[pid=26782] ppid=26780 vsize=915464 CPUtime=160.95
/proc/26782/stat : 26782 (java) R 26780 26782 25912 0 -1 0 9151 0 1 0 15182 913 0 0 25 0 8 0 277647924 937435136 8882 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073880612 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2013.14
Current children cumulated vsize (KiB) 915464
[startup+2084.24 s]
/proc/loadavg: 2.00 1.99 1.93 3/94 27800
/proc/meminfo: memFree=1320728/2055920 swapFree=4169400/4192956
[pid=26782] ppid=26780 vsize=915464 CPUtime=2072.86
/proc/26782/stat : 26782 (java) R 26780 26782 25912 0 -1 0 9177 0 1 0 206348 938 0 0 25 0 8 0 277647924 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073855128 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26782/statm: 228866 8906 2532 14 0 215336 0
[pid=26782/tid=26784] ppid=26780 vsize=915464 CPUtime=0.02
/proc/26782/task/26784/stat : 26784 (java) S 26780 26782 25912 0 -1 64 196 0 0 0 2 0 0 0 16 0 8 0 277647928 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26782/tid=26785] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26785/stat : 26785 (java) S 26780 26782 25912 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277647928 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26786] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26786/stat : 26786 (java) S 26780 26782 25912 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277647928 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26787] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26787/stat : 26787 (java) S 26780 26782 25912 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277647932 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26788] ppid=26780 vsize=915464 CPUtime=0.26
/proc/26782/task/26788/stat : 26788 (java) S 26780 26782 25912 0 -1 64 413 0 0 0 25 1 0 0 16 0 8 0 277647932 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26782/tid=26789] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26789/stat : 26789 (java) S 26780 26782 25912 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277647932 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26790] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26790/stat : 26790 (java) S 26780 26782 25912 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277647932 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2072.86
Current children cumulated vsize (KiB) 915464
[startup+2144.27 s]
/proc/loadavg: 2.00 1.99 1.93 3/94 27800
/proc/meminfo: memFree=1320728/2055920 swapFree=4169400/4192956
[pid=26782] ppid=26780 vsize=915464 CPUtime=2132.59
/proc/26782/stat : 26782 (java) R 26780 26782 25912 0 -1 0 9177 0 1 0 212321 938 0 0 25 0 8 0 277647924 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073871133 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26782/statm: 228866 8906 2532 14 0 215336 0
[pid=26782/tid=26784] ppid=26780 vsize=915464 CPUtime=0.02
/proc/26782/task/26784/stat : 26784 (java) S 26780 26782 25912 0 -1 64 196 0 0 0 2 0 0 0 16 0 8 0 277647928 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26782/tid=26785] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26785/stat : 26785 (java) S 26780 26782 25912 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277647928 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26786] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26786/stat : 26786 (java) S 26780 26782 25912 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277647928 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26787] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26787/stat : 26787 (java) S 26780 26782 25912 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277647932 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26788] ppid=26780 vsize=915464 CPUtime=0.26
/proc/26782/task/26788/stat : 26788 (java) S 26780 26782 25912 0 -1 64 413 0 0 0 25 1 0 0 16 0 8 0 277647932 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26782/tid=26789] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26789/stat : 26789 (java) S 26780 26782 25912 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277647932 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26790] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26790/stat : 26790 (java) S 26780 26782 25912 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277647932 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2132.59
Current children cumulated vsize (KiB) 915464
[startup+2204.31 s]
/proc/loadavg: 2.00 1.99 1.93 3/94 27800
/proc/meminfo: memFree=1320728/2055920 swapFree=4169400/4192956
[pid=26782] ppid=26780 vsize=915464 CPUtime=2192.29
/proc/26782/stat : 26782 (java) R 26780 26782 25912 0 -1 0 9177 0 1 0 218291 938 0 0 25 0 8 0 277647924 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073921469 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26782/statm: 228866 8906 2532 14 0 215336 0
[pid=26782/tid=26784] ppid=26780 vsize=915464 CPUtime=0.02
/proc/26782/task/26784/stat : 26784 (java) S 26780 26782 25912 0 -1 64 196 0 0 0 2 0 0 0 16 0 8 0 277647928 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26782/tid=26785] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26785/stat : 26785 (java) S 26780 26782 25912 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277647928 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26786] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26786/stat : 26786 (java) S 26780 26782 25912 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277647928 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26787] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26787/stat : 26787 (java) S 26780 26782 25912 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277647932 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26788] ppid=26780 vsize=915464 CPUtime=0.26
/proc/26782/task/26788/stat : 26788 (java) S 26780 26782 25912 0 -1 64 413 0 0 0 25 1 0 0 16 0 8 0 277647932 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26782/tid=26789] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26789/stat : 26789 (java) S 26780 26782 25912 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277647932 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26790] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26790/stat : 26790 (java) S 26780 26782 25912 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277647932 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2192.29
Current children cumulated vsize (KiB) 915464
[startup+2264.33 s]
/proc/loadavg: 2.00 1.99 1.93 3/94 27800
/proc/meminfo: memFree=1320728/2055920 swapFree=4169400/4192956
[pid=26782] ppid=26780 vsize=915464 CPUtime=2252
/proc/26782/stat : 26782 (java) R 26780 26782 25912 0 -1 0 9177 0 1 0 224262 938 0 0 25 0 8 0 277647924 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073874446 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26782/statm: 228866 8906 2532 14 0 215336 0
[pid=26782/tid=26784] ppid=26780 vsize=915464 CPUtime=0.02
/proc/26782/task/26784/stat : 26784 (java) S 26780 26782 25912 0 -1 64 196 0 0 0 2 0 0 0 16 0 8 0 277647928 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26782/tid=26785] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26785/stat : 26785 (java) S 26780 26782 25912 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277647928 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26786] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26786/stat : 26786 (java) S 26780 26782 25912 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277647928 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26787] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26787/stat : 26787 (java) S 26780 26782 25912 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277647932 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26788] ppid=26780 vsize=915464 CPUtime=0.26
/proc/26782/task/26788/stat : 26788 (java) S 26780 26782 25912 0 -1 64 413 0 0 0 25 1 0 0 16 0 8 0 277647932 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26782/tid=26789] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26789/stat : 26789 (java) S 26780 26782 25912 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277647932 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26790] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26790/stat : 26790 (java) S 26780 26782 25912 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277647932 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2252
Current children cumulated vsize (KiB) 915464
[startup+2324.37 s]
/proc/loadavg: 2.05 2.00 1.94 3/94 27800
/proc/meminfo: memFree=1320792/2055920 swapFree=4169400/4192956
[pid=26782] ppid=26780 vsize=915464 CPUtime=2311.73
/proc/26782/stat : 26782 (java) R 26780 26782 25912 0 -1 0 9177 0 1 0 230235 938 0 0 25 0 8 0 277647924 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073854000 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26782/statm: 228866 8906 2532 14 0 215336 0
[pid=26782/tid=26784] ppid=26780 vsize=915464 CPUtime=0.02
/proc/26782/task/26784/stat : 26784 (java) S 26780 26782 25912 0 -1 64 196 0 0 0 2 0 0 0 16 0 8 0 277647928 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26782/tid=26785] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26785/stat : 26785 (java) S 26780 26782 25912 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277647928 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26786] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26786/stat : 26786 (java) S 26780 26782 25912 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277647928 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26787] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26787/stat : 26787 (java) S 26780 26782 25912 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277647932 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26788] ppid=26780 vsize=915464 CPUtime=0.26
/proc/26782/task/26788/stat : 26788 (java) S 26780 26782 25912 0 -1 64 413 0 0 0 25 1 0 0 16 0 8 0 277647932 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26782/tid=26789] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26789/stat : 26789 (java) S 26780 26782 25912 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277647932 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26790] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26790/stat : 26790 (java) S 26780 26782 25912 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277647932 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2311.73
Current children cumulated vsize (KiB) 915464
[startup+2384.4 s]
/proc/loadavg: 2.02 2.00 1.94 3/94 27800
/proc/meminfo: memFree=1320728/2055920 swapFree=4169400/4192956
[pid=26782] ppid=26780 vsize=915464 CPUtime=2371.45
/proc/26782/stat : 26782 (java) R 26780 26782 25912 0 -1 0 9177 0 1 0 236206 939 0 0 25 0 8 0 277647924 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073870050 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26782/statm: 228866 8906 2532 14 0 215336 0
[pid=26782/tid=26784] ppid=26780 vsize=915464 CPUtime=0.02
/proc/26782/task/26784/stat : 26784 (java) S 26780 26782 25912 0 -1 64 196 0 0 0 2 0 0 0 16 0 8 0 277647928 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26782/tid=26785] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26785/stat : 26785 (java) S 26780 26782 25912 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277647928 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26786] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26786/stat : 26786 (java) S 26780 26782 25912 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277647928 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26787] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26787/stat : 26787 (java) S 26780 26782 25912 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277647932 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26788] ppid=26780 vsize=915464 CPUtime=0.26
/proc/26782/task/26788/stat : 26788 (java) S 26780 26782 25912 0 -1 64 413 0 0 0 25 1 0 0 16 0 8 0 277647932 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26782/tid=26789] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26789/stat : 26789 (java) S 26780 26782 25912 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277647932 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26790] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26790/stat : 26790 (java) S 26780 26782 25912 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277647932 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2371.45
Current children cumulated vsize (KiB) 915464
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2413.17 s]
/proc/loadavg: 2.01 2.00 1.94 3/94 27800
/proc/meminfo: memFree=1320728/2055920 swapFree=4169400/4192956
[pid=26782] ppid=26780 vsize=915464 CPUtime=2400.08
/proc/26782/stat : 26782 (java) R 26780 26782 25912 0 -1 0 9178 0 1 0 239069 939 0 0 25 0 8 0 277647924 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918600 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26782/statm: 228866 8906 2532 14 0 215336 0
[pid=26782/tid=26784] ppid=26780 vsize=915464 CPUtime=0.02
/proc/26782/task/26784/stat : 26784 (java) S 26780 26782 25912 0 -1 64 196 0 0 0 2 0 0 0 16 0 8 0 277647928 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26782/tid=26785] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26785/stat : 26785 (java) S 26780 26782 25912 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277647928 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26786] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26786/stat : 26786 (java) S 26780 26782 25912 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277647928 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26787] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26787/stat : 26787 (java) S 26780 26782 25912 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277647932 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26788] ppid=26780 vsize=915464 CPUtime=0.26
/proc/26782/task/26788/stat : 26788 (java) S 26780 26782 25912 0 -1 64 414 0 0 0 25 1 0 0 16 0 8 0 277647932 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26782/tid=26789] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26789/stat : 26789 (java) S 26780 26782 25912 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277647932 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26782/tid=26790] ppid=26780 vsize=915464 CPUtime=0
/proc/26782/task/26790/stat : 26790 (java) S 26780 26782 25912 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277647932 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 915464
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2413.2
CPU time (s): 2400.1
CPU user time (s): 2390.71
CPU system time (s): 9.39557
CPU usage (%): 99.4572
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2390.71
system time used= 9.39557
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9199
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= 50053
involuntary context switches= 98106
runsolver used 3.07053 s user time and 7.48086 s system time
The end
Begin job on node13 on Sat Jan 20 11:28:49 UTC 2007
IDJOB= 279352
IDBENCH= 9882
IDSOLVER= 68
FILE ID= node13/279352-1169292529
PBS_JOBID= 3609577
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-40/kbtree-9-2-3-5-40-21_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/279352-1169292529/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-279352-1169292529 -o ROOT/results/node13/solver-279352-1169292529 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/279352-1169292529/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 684ba4ddbaaa2a9cedf241694f198ff7
RANDOM SEED= 186688829
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.247
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.247
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: 1324024 kB
Buffers: 61336 kB
Cached: 530644 kB
SwapCached: 8664 kB
Active: 334148 kB
Inactive: 319536 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1324024 kB
SwapTotal: 4192956 kB
SwapFree: 4169400 kB
Dirty: 1992 kB
Writeback: 0 kB
Mapped: 78616 kB
Slab: 62780 kB
Committed_AS: 8887800 kB
PageTables: 2496 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 node13 on Sat Jan 20 12:09:03 UTC 2007