0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=pfc.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/277589-1169268838/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.49 nbVariables=1359 nbDomainTypes=3 minDomainSize=1 maxDomainSize=2
0.49 => wckTime=0.195 cpuTime=0.15 mem=8M893
0.49
0.49 relations being loaded...
0.49
0.49 constraints being loaded...
0.69 nbConstraints=2366 nbRelationTypes=23 nbSingletonDomainVariables=4 nbExtensionStructures=26
0.69 nbSharedExtensionStructures=2340 nbConflictsStructures=26 nbSharedConflictsStructures=2340
0.69 nbSharedBinaryRepresentations=29 maxDegree=32 maxArity=5
0.69 => wckTime=0.399 cpuTime=0.28 mem=17M724
0.75
0.75 solver LocalSearchSolver being built...
0.79 => wckTime=0.503 cpuTime=0.32 mem=8M254
0.81
0.81 s SATISFIABLE
0.81 o 1691
0.81 c 675
0.81 o 1700
0.81 c 666
0.82 o 1704
0.82 c 662
0.82 o 1711
0.82 c 655
0.82 o 1712
0.82 c 654
0.82 o 1715
0.82 c 651
0.82 o 1721
0.82 c 645
0.83 o 1722
0.83 c 644
0.83 o 1726
0.83 c 640
0.83 o 1731
0.83 c 635
0.83 o 1734
0.83 c 632
0.84 o 1738
0.84 c 628
0.84 o 1742
0.84 c 624
0.84 o 1746
0.84 c 620
0.84 o 1750
0.84 c 616
0.84 o 1754
0.84 c 612
0.84 o 1758
0.84 c 608
0.84 o 1762
0.84 c 604
0.84 o 1766
0.84 c 600
0.84 o 1769
0.84 c 597
0.84 o 1772
0.84 c 594
0.84 o 1774
0.84 c 592
0.84 o 1778
0.84 c 588
0.85 o 1783
0.85 c 583
0.85 o 1786
0.85 c 580
0.85 o 1789
0.85 c 577
0.85 o 1792
0.85 c 574
0.85 o 1795
0.85 c 571
0.85 o 1796
0.85 c 570
0.85 o 1799
0.85 c 567
0.85 o 1802
0.85 c 564
0.85 o 1805
0.85 c 561
0.85 o 1808
0.85 c 558
0.86 o 1811
0.86 c 555
0.86 o 1814
0.86 c 552
0.86 o 1817
0.86 c 549
0.86 o 1820
0.86 c 546
0.86 o 1823
0.86 c 543
0.86 o 1826
0.86 c 540
0.86 o 1829
0.86 c 537
0.86 o 1832
0.86 c 534
0.86 o 1836
0.86 c 530
0.86 o 1838
0.86 c 528
0.86 o 1841
0.86 c 525
0.87 o 1844
0.87 c 522
0.87 o 1847
0.87 c 519
0.87 o 1848
0.87 c 518
0.87 o 1850
0.87 c 516
0.87 o 1852
0.87 c 514
0.87 o 1854
0.87 c 512
0.87 o 1855
0.87 c 511
0.87 o 1857
0.87 c 509
0.87 o 1859
0.87 c 507
0.87 o 1861
0.87 c 505
0.87 o 1865
0.87 c 501
0.87 o 1867
0.87 c 499
0.88 o 1870
0.88 c 496
0.88 o 1872
0.88 c 494
0.88 o 1874
0.88 c 492
0.88 o 1877
0.88 c 489
0.88 o 1879
0.88 c 487
0.88 o 1881
0.88 c 485
0.88 o 1883
0.88 c 483
0.88 o 1885
0.88 c 481
0.88 o 1887
0.88 c 479
0.88 o 1889
0.88 c 477
0.89 o 1890
0.89 c 476
0.89 o 1897
0.89 c 469
0.90 o 1899
0.90 c 467
0.90 o 1901
0.90 c 465
0.90 o 1910
0.90 c 456
0.90 o 1912
0.90 c 454
0.90 o 1914
0.90 c 452
0.90 o 1916
0.90 c 450
0.90 o 1918
0.90 c 448
0.90 o 1920
0.90 c 446
0.90 o 1922
0.90 c 444
0.90 o 1924
0.90 c 442
0.90 o 1926
0.90 c 440
0.91 o 1928
0.91 c 438
0.91 o 1930
0.91 c 436
0.91 o 1932
0.91 c 434
0.91 o 1934
0.91 c 432
0.91 o 1936
0.91 c 430
0.91 o 1938
0.91 c 428
0.91 o 1940
0.91 c 426
0.91 o 1944
0.91 c 422
0.91 o 1946
0.91 c 420
0.91 o 1948
0.91 c 418
0.91 o 1949
0.91 c 417
0.91 o 1952
0.91 c 414
0.92 o 1954
0.92 c 412
0.92 o 1956
0.92 c 410
0.92 o 1957
0.92 c 409
0.92 o 1958
0.92 c 408
0.92 o 1967
0.92 c 399
0.92 o 1969
0.92 c 397
0.92 o 1971
0.92 c 395
0.92 o 1973
0.92 c 393
0.92 o 1975
0.92 c 391
0.92 o 1977
0.92 c 389
0.92 o 1982
0.92 c 384
0.92 o 1984
0.92 c 382
0.93 o 1986
0.93 c 380
0.93 o 1988
0.93 c 378
0.93 o 1989
0.93 c 377
0.93 o 1990
0.93 c 376
0.93 o 1991
0.93 c 375
0.93 o 1992
0.93 c 374
0.93 o 1993
0.93 c 373
0.93 o 1994
0.93 c 372
0.93 o 1995
0.93 c 371
0.93 o 1996
0.93 c 370
0.93 o 1997
0.93 c 369
0.93 o 1998
0.93 c 368
0.93 o 1999
0.93 c 367
0.94 o 2000
0.94 c 366
0.94 o 2001
0.94 c 365
0.94 o 2002
0.94 c 364
0.94 o 2003
0.94 c 363
0.94 o 2004
0.94 c 362
0.94 o 2005
0.94 c 361
0.94 o 2006
0.94 c 360
0.95 o 2007
0.95 c 359
0.95 o 2009
0.95 c 357
0.95 o 2011
0.95 c 355
0.96 o 2013
0.96 c 353
0.96 o 2015
0.96 c 351
0.96 o 2017
0.96 c 349
0.96 o 2019
0.96 c 347
0.96 o 2021
0.96 c 345
0.96 o 2022
0.96 c 344
0.96 o 2024
0.96 c 342
0.96 o 2025
0.96 c 341
0.96 o 2027
0.96 c 339
0.96 o 2029
0.96 c 337
0.96 o 2031
0.96 c 335
0.96 o 2033
0.96 c 333
0.96 o 2034
0.96 c 332
0.97 o 2035
0.97 c 331
0.97 o 2036
0.97 c 330
0.97 o 2043
0.97 c 323
0.97 o 2045
0.97 c 321
0.97 o 2046
0.97 c 320
0.97 o 2055
0.97 c 311
0.97 o 2056
0.97 c 310
0.97 o 2057
0.97 c 309
0.98 o 2058
0.98 c 308
0.98 o 2060
0.98 c 306
0.98 o 2061
0.98 c 305
0.98 o 2062
0.98 c 304
0.98 o 2063
0.98 c 303
0.98 o 2064
0.98 c 302
0.98 o 2065
0.98 c 301
0.98 o 2066
0.98 c 300
0.98 o 2067
0.98 c 299
0.98 o 2068
0.98 c 298
0.99 o 2069
0.99 c 297
0.99 o 2070
0.99 c 296
0.99 o 2071
0.99 c 295
0.99 o 2074
0.99 c 292
0.99 o 2076
0.99 c 290
0.99 o 2081
0.99 c 285
0.99 o 2090
0.99 c 276
0.99 o 2091
0.99 c 275
0.99 o 2092
0.99 c 274
0.99 o 2093
0.99 c 273
1.00 o 2094
1.00 c 272
1.00 o 2095
1.00 c 271
1.00 o 2096
1.00 c 270
1.00 o 2101
1.00 c 265
1.00 o 2102
1.00 c 264
1.00 o 2104
1.00 c 262
1.00 o 2105
1.00 c 261
1.00 o 2106
1.00 c 260
1.00 o 2107
1.00 c 259
1.01 o 2108
1.01 c 258
1.01 o 2109
1.01 c 257
1.01 o 2110
1.01 c 256
1.01 o 2111
1.01 c 255
1.01 o 2112
1.01 c 254
1.01 o 2113
1.01 c 253
1.01 o 2114
1.01 c 252
1.01 o 2115
1.01 c 251
1.01 o 2117
1.01 c 249
1.02 o 2119
1.02 c 247
1.02 o 2120
1.02 c 246
1.03 o 2122
1.03 c 244
1.03 o 2124
1.03 c 242
1.03 o 2127
1.03 c 239
1.03 o 2129
1.03 c 237
1.03 o 2130
1.03 c 236
1.03 o 2131
1.03 c 235
1.03 o 2132
1.03 c 234
1.03 o 2140
1.03 c 226
1.03 o 2141
1.03 c 225
1.03 o 2143
1.03 c 223
1.03 o 2144
1.03 c 222
1.04 o 2145
1.04 c 221
1.04 o 2146
1.04 c 220
1.04 o 2147
1.04 c 219
1.04 o 2148
1.04 c 218
1.04 o 2149
1.04 c 217
1.04 o 2150
1.04 c 216
1.04 o 2151
1.04 c 215
1.04 o 2152
1.04 c 214
1.04 o 2153
1.04 c 213
1.04 o 2154
1.04 c 212
1.05 o 2155
1.05 c 211
1.05 o 2156
1.05 c 210
1.05 o 2157
1.05 c 209
1.05 o 2158
1.05 c 208
1.05 o 2159
1.05 c 207
1.05 o 2160
1.05 c 206
1.05 o 2161
1.05 c 205
1.05 o 2162
1.05 c 204
1.06 o 2163
1.06 c 203
1.06 o 2164
1.06 c 202
1.06 o 2165
1.06 c 201
1.06 o 2166
1.06 c 200
1.06 o 2167
1.06 c 199
1.06 o 2168
1.06 c 198
1.06 o 2169
1.06 c 197
1.06 o 2170
1.06 c 196
1.06 o 2171
1.06 c 195
1.06 o 2172
1.06 c 194
1.06 o 2173
1.06 c 193
1.06 o 2175
1.06 c 191
1.07 o 2176
1.07 c 190
1.07 o 2179
1.07 c 187
1.07 o 2181
1.07 c 185
1.07 o 2182
1.07 c 184
1.07 o 2187
1.07 c 179
1.07 o 2188
1.07 c 178
1.07 o 2189
1.07 c 177
1.07 o 2190
1.07 c 176
1.07 o 2191
1.07 c 175
1.07 o 2192
1.07 c 174
1.07 o 2194
1.07 c 172
1.07 o 2196
1.07 c 170
1.07 o 2197
1.07 c 169
1.07 o 2198
1.07 c 168
1.07 o 2199
1.07 c 167
1.08 o 2200
1.08 c 166
1.08 o 2201
1.08 c 165
1.08 o 2206
1.08 c 160
1.08 o 2208
1.08 c 158
1.08 o 2209
1.08 c 157
1.08 o 2210
1.08 c 156
1.08 o 2211
1.08 c 155
1.08 o 2213
1.08 c 153
1.08 o 2217
1.08 c 149
1.08 o 2219
1.08 c 147
1.08 o 2220
1.08 c 146
1.08 o 2222
1.08 c 144
1.08 o 2223
1.08 c 143
1.09 o 2224
1.09 c 142
1.09 o 2225
1.09 c 141
1.09 o 2226
1.09 c 140
1.09 o 2227
1.09 c 139
1.09 o 2228
1.09 c 138
1.09 o 2229
1.09 c 137
1.09 o 2230
1.09 c 136
1.09 o 2232
1.09 c 134
1.09 o 2236
1.09 c 130
1.09 o 2237
1.09 c 129
1.09 o 2238
1.09 c 128
1.09 o 2239
1.09 c 127
1.09 o 2240
1.09 c 126
1.09 o 2241
1.09 c 125
1.10 o 2242
1.10 c 124
1.10 o 2243
1.10 c 123
1.10 o 2244
1.10 c 122
1.10 o 2245
1.10 c 121
1.10 o 2246
1.10 c 120
1.10 o 2247
1.10 c 119
1.10 o 2249
1.10 c 117
1.10 o 2250
1.10 c 116
1.10 o 2251
1.10 c 115
1.10 o 2252
1.10 c 114
1.10 o 2253
1.10 c 113
1.10 o 2254
1.10 c 112
1.10 o 2255
1.10 c 111
1.10 o 2256
1.10 c 110
1.11 o 2257
1.11 c 109
1.11 o 2258
1.11 c 108
1.11 o 2259
1.11 c 107
1.11 o 2260
1.11 c 106
1.11 o 2261
1.11 c 105
1.11 o 2262
1.11 c 104
1.11 o 2263
1.11 c 103
1.11 o 2264
1.11 c 102
1.11 o 2265
1.11 c 101
1.11 o 2266
1.11 c 100
1.11 o 2267
1.11 c 99
1.11 o 2268
1.11 c 98
1.11 o 2269
1.11 c 97
1.12 o 2270
1.12 c 96
1.12 o 2272
1.12 c 94
1.12 o 2273
1.12 c 93
1.12 o 2274
1.12 c 92
1.12 o 2275
1.12 c 91
1.12 o 2276
1.12 c 90
1.12 o 2277
1.12 c 89
1.12 o 2278
1.12 c 88
1.12 o 2279
1.12 c 87
1.12 o 2280
1.12 c 86
1.12 o 2281
1.12 c 85
1.12 o 2283
1.13 c 83
1.13 o 2284
1.13 c 82
1.13 o 2285
1.13 c 81
1.13 o 2286
1.13 c 80
1.13 o 2287
1.13 c 79
1.13 o 2288
1.13 c 78
1.13 o 2289
1.14 c 77
1.14 o 2290
1.14 c 76
1.14 o 2291
1.14 c 75
1.14 o 2292
1.14 c 74
1.14 o 2293
1.14 c 73
1.14 o 2294
1.14 c 72
1.14 o 2295
1.14 c 71
1.14 o 2296
1.14 c 70
1.14 o 2297
1.14 c 69
1.15 o 2298
1.15 c 68
1.15 o 2299
1.15 c 67
1.15 o 2301
1.15 c 65
1.15 o 2302
1.15 c 64
1.15 o 2304
1.15 c 62
1.15 o 2305
1.15 c 61
1.16 o 2306
1.16 c 60
1.16 o 2307
1.16 c 59
1.16 o 2308
1.16 c 58
1.16 o 2309
1.16 c 57
1.16 o 2310
1.16 c 56
1.16 o 2311
1.16 c 55
1.16 o 2312
1.16 c 54
1.16 o 2314
1.16 c 52
1.17 o 2315
1.17 c 51
1.17 o 2316
1.17 c 50
1.17 o 2317
1.17 c 49
1.17 o 2318
1.17 c 48
1.17 o 2319
1.17 c 47
1.18 o 2320
1.18 c 46
1.19 o 2321
1.19 c 45
1.19 o 2322
1.19 c 44
1.21 o 2323
1.21 c 43
1.21 o 2324
1.21 c 42
1.21 o 2325
1.21 c 41
1.21 o 2327
1.21 c 39
1.22 o 2328
1.22 c 38
1.22 o 2329
1.22 c 37
1.23 o 2330
1.23 c 36
1.23 o 2331
1.23 c 35
1.24 o 2332
1.24 c 34
1.29 o 2334
1.29 c 32
1.29 o 2335
1.29 c 31
1.30 o 2336
1.30 c 30
1.30 o 2337
1.30 c 29
1.30 o 2338
1.30 c 28
1.31 o 2339
1.31 c 27
1.35 o 2340
1.35 c 26
1.35 o 2341
1.36 c 25
1.36 o 2342
1.36 c 24
1.36 o 2343
1.36 c 23
1.36 o 2344
1.36 c 22
1.37 o 2345
1.37 c 21
1.43 o 2346
1.43 c 20
1.43 o 2347
1.43 c 19
1.43 o 2348
1.43 c 18
1.44 o 2349
1.44 c 17
1.44 o 2350
1.44 c 16
1.44 o 2351
1.45 c 15
1.54 o 2352
1.54 c 14
1.58 o 2353
1.58 c 13
1.61 o 2354
1.61 c 12
1.62 o 2355
1.62 c 11
1.62 o 2356
1.62 c 10
1.65 o 2357
1.65 c 9
1.66 o 2358
1.66 c 8
1.68 o 2359
1.68 c 7
1.69 o 2360
1.69 c 6
1.73 o 2361
1.73 c 5
1.78 o 2362
1.78 c 4
1.85 o 2363
1.85 c 3
2.20 o 2364
2.20 c 2
3.31
3.31 search
3.31 run=0 nbConstraintChecks=4643067 nbAssignments=10000
3.31 => wckTime=2.514 cpuTime=2.46 mem=8M254
4.02 o 2365
4.02 c 1
4.02
4.02 search
4.02 run=1 nbConstraintChecks=6289884 nbAssignments=12415
4.02 => wckTime=3.223 cpuTime=3.15 mem=8M254
4.02
4.02 global
4.02 nbConstraintChecks=6289884 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
4.02 solvingWckTime=3.219 solvingCpuTime=3.15 expiredTime=no totalExploration=no nbFoundSolutions=0
4.02 globalCpuTime=3.51
4.02 => wckTime=3.727 cpuTime=3.47 mem=8M254
4.02
4.02 solver IterativeSystematicSolver being built...
4.24 => wckTime=3.945 cpuTime=3.67 mem=29M840
4.27
4.27 preprocessing
4.27 nbConstraintChecks=26 nbValidityChecks=1 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=7
4.27 detectedInconsistency=no
4.27 => wckTime=0.03 cpuTime=0.02 mem=29M840
5.38
5.38 search
5.38 run=0 nbConstraintChecks=444406 nbValidityChecks=283865 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
5.38 nbAssignments=300 nbFailedAssignments=7 nbBacktracks=16 nbVisitedNodes=308 nbRestartNogoods=0
5.38 => wckTime=1.137 cpuTime=1.1 mem=29M840
6.48
6.48 search
6.48 run=1 nbConstraintChecks=898877 nbValidityChecks=577542 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
6.48 nbAssignments=609 nbFailedAssignments=11 nbBacktracks=32 nbVisitedNodes=621 nbRestartNogoods=5
6.48 => wckTime=2.245 cpuTime=2.19 mem=29M840
7.56
7.56 search
7.56 run=2 nbConstraintChecks=1349513 nbValidityChecks=868399 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
7.56 nbAssignments=911 nbFailedAssignments=19 nbBacktracks=64 nbVisitedNodes=931 nbRestartNogoods=8
7.56 => wckTime=3.323 cpuTime=3.26 mem=29M840
8.66
8.66 search
8.66 run=3 nbConstraintChecks=1806183 nbValidityChecks=1163557 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
8.66 nbAssignments=1219 nbFailedAssignments=24 nbBacktracks=100 nbVisitedNodes=1244 nbRestartNogoods=13
8.66 => wckTime=4.417 cpuTime=4.35 mem=29M840
9.71
9.71 search
9.71 run=4 nbConstraintChecks=2231699 nbValidityChecks=1437033 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
9.71 nbAssignments=1508 nbFailedAssignments=30 nbBacktracks=184 nbVisitedNodes=1539 nbRestartNogoods=16
9.71 => wckTime=5.473 cpuTime=5.4 mem=29M840
10.75
10.75 search
10.75 run=5 nbConstraintChecks=2668025 nbValidityChecks=1720256 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
10.75 nbAssignments=1802 nbFailedAssignments=37 nbBacktracks=277 nbVisitedNodes=1840 nbRestartNogoods=17
10.75 => wckTime=6.516 cpuTime=6.44 mem=29M840
11.96
11.96 search
11.96 run=6 nbConstraintChecks=3131274 nbValidityChecks=2021869 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
11.96 nbAssignments=2110 nbFailedAssignments=51 nbBacktracks=429 nbVisitedNodes=2162 nbRestartNogoods=19
11.96 => wckTime=7.721 cpuTime=7.64 mem=29M840
13.38
13.38 search
13.38 run=7 nbConstraintChecks=3667721 nbValidityChecks=2369615 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
13.38 nbAssignments=2462 nbFailedAssignments=60 nbBacktracks=625 nbVisitedNodes=2523 nbRestartNogoods=20
13.38 => wckTime=9.147 cpuTime=9.07 mem=29M840
15.22
15.22 search
15.22 run=8 nbConstraintChecks=4404368 nbValidityChecks=2860233 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
15.22 nbAssignments=2937 nbFailedAssignments=76 nbBacktracks=897 nbVisitedNodes=3014 nbRestartNogoods=21
15.22 => wckTime=10.98 cpuTime=10.9 mem=29M840
17.63
17.63 search
17.63 run=9 nbConstraintChecks=5312490 nbValidityChecks=3467632 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
17.63 nbAssignments=3511 nbFailedAssignments=103 nbBacktracks=1297 nbVisitedNodes=3616 nbRestartNogoods=23
17.63 => wckTime=13.39 cpuTime=13.3 mem=29M840
20.84
20.84 search
20.84 run=10 nbConstraintChecks=6494507 nbValidityChecks=4257257 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
20.84 nbAssignments=4255 nbFailedAssignments=131 nbBacktracks=1875 nbVisitedNodes=4388 nbRestartNogoods=25
20.84 => wckTime=16.603 cpuTime=16.51 mem=29M840
24.71
24.71 search
24.71 run=11 nbConstraintChecks=8235781 nbValidityChecks=5456196 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
24.71 nbAssignments=5323 nbFailedAssignments=169 nbBacktracks=2754 nbVisitedNodes=5494 nbRestartNogoods=28
24.71 => wckTime=20.469 cpuTime=20.37 mem=29M840
31.81
31.81 search
31.81 run=12 nbConstraintChecks=10828916 nbValidityChecks=7227145 nbPropagations=0 nbRevisions=0
31.81 nbUselessRevisions=0 nbAssignments=6839 nbFailedAssignments=266 nbBacktracks=4052 nbVisitedNodes=7109
31.81 nbRestartNogoods=32
31.81 => wckTime=27.568 cpuTime=27.47 mem=29M840
41.35
41.36 search
41.36 run=13 nbConstraintChecks=14747217 nbValidityChecks=9745709 nbPropagations=0 nbRevisions=0
41.36 nbUselessRevisions=0 nbAssignments=9025 nbFailedAssignments=425 nbBacktracks=6000 nbVisitedNodes=9458
41.36 nbRestartNogoods=35
41.36 => wckTime=37.117 cpuTime=36.98 mem=29M840
58.19
58.19 search
58.19 run=14 nbConstraintChecks=21099612 nbValidityChecks=13660019 nbPropagations=0 nbRevisions=0
58.19 nbUselessRevisions=0 nbAssignments=12335 nbFailedAssignments=741 nbBacktracks=8920 nbVisitedNodes=13096
58.19 nbRestartNogoods=38
58.19 => wckTime=53.95 cpuTime=53.8 mem=29M840
81.86
81.86 search
81.86 run=15 nbConstraintChecks=30441576 nbValidityChecks=19439357 nbPropagations=0 nbRevisions=0
81.86 nbUselessRevisions=0 nbAssignments=17183 nbFailedAssignments=1124 nbBacktracks=13307 nbVisitedNodes=18335
81.86 nbRestartNogoods=43
81.86 => wckTime=77.621 cpuTime=77.44 mem=29M840
118.26
118.26 search
118.26 run=16 nbConstraintChecks=44615183 nbValidityChecks=28925004 nbPropagations=0 nbRevisions=0
118.26 nbUselessRevisions=0 nbAssignments=24537 nbFailedAssignments=1785 nbBacktracks=19883 nbVisitedNodes=26382
118.26 nbRestartNogoods=50
118.26 => wckTime=114.02 cpuTime=113.82 mem=29M840
171.03
171.03 search
171.03 run=17 nbConstraintChecks=62949622 nbValidityChecks=40252566 nbPropagations=0 nbRevisions=0
171.03 nbUselessRevisions=0 nbAssignments=35451 nbFailedAssignments=2732 nbBacktracks=29760 nbVisitedNodes=38280
171.03 nbRestartNogoods=55
171.03 => wckTime=166.795 cpuTime=166.53 mem=29M840
250.44
250.44 search
250.44 run=18 nbConstraintChecks=93902765 nbValidityChecks=59312052 nbPropagations=0 nbRevisions=0
250.44 nbUselessRevisions=0 nbAssignments=52125 nbFailedAssignments=4492 nbBacktracks=44547 nbVisitedNodes=56786
250.44 nbRestartNogoods=61
250.44 => wckTime=246.201 cpuTime=245.87 mem=29M840
364.29
364.29 search
364.29 run=19 nbConstraintChecks=130894704 nbValidityChecks=77428944 nbPropagations=0 nbRevisions=0
364.29 nbUselessRevisions=0 nbAssignments=76468 nbFailedAssignments=6549 nbBacktracks=66716 nbVisitedNodes=83284
364.29 nbRestartNogoods=66
364.29 => wckTime=360.051 cpuTime=359.59 mem=29M840
554.51
554.51 search
554.51 run=20 nbConstraintChecks=186936440 nbValidityChecks=105131383 nbPropagations=0 nbRevisions=0
554.51 nbUselessRevisions=0 nbAssignments=113842 nbFailedAssignments=10644 nbBacktracks=99988 nbVisitedNodes=125121
554.51 nbRestartNogoods=76
554.51 => wckTime=550.271 cpuTime=549.57 mem=29M840
828.90
828.90 search
828.90 run=21 nbConstraintChecks=271325519 nbValidityChecks=148416204 nbPropagations=0 nbRevisions=0
828.90 nbUselessRevisions=0 nbAssignments=168716 nbFailedAssignments=15567 nbBacktracks=149872 nbVisitedNodes=185162
828.90 nbRestartNogoods=77
828.90 => wckTime=824.662 cpuTime=823.7 mem=29M840
1081.39
1081.39 search
1081.39 run=22 nbConstraintChecks=344311132 nbValidityChecks=185364712 nbPropagations=0 nbRevisions=0
1081.39 nbUselessRevisions=0 nbAssignments=217900 nbFailedAssignments=20233 nbBacktracks=194391 nbVisitedNodes=239266
1081.39 nbRestartNogoods=86
1081.39 => wckTime=1077.152 cpuTime=1075.95 mem=29M840
1081.39
1081.39 global
1081.39 nbConstraintChecks=344311158 nbValidityChecks=185364713 nbRestartNogoods=86 solvingWckTime=1077.153
1081.39 solvingCpuTime=1075.95 expiredTime=no totalExploration=yes nbFoundSolutions=0 globalCpuTime=1079.66
1081.39 => wckTime=1081.099 cpuTime=1079.62 mem=29M840
1081.39
1081.39 s OPTIMUM FOUND
1081.39 v 1 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 1 0 1 0 1 1 1 0 0 0 1 0 1 0 0 1 1 0 1 0 0 0 0 1 0 1 0 1 1 0 0 1 0 0 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 0 0 1 0 0 1 1 1 0 1 0 0 1 1 0 1 1 1 1 1 0 1 1 0 1 0 0 0 1 0 1 1 1 1 0 1 1 1 1 0 1 1 0 1 1 1 0 1 1 0 1 0 0 0 1 1 1 1 0 1 1 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 1 1 1 0 0 1 1 1 1 1 0 1 1 1 1 1 1 0 0 0 0 0 1 0 0 1 1 0 1 1 1 0 1 0 0 1 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 0 1 0 0 0 0 1 1 1 1 1 0 1 1 1 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 1 0 1 1 0 1 0 1 1 1 1 1 0 1 1 1 0 0 1 1 0 0 1 1 1 1 1 1 0 1 1 0 0 1 1 1 1 0 1 0 0 1 1 0 0 1 1 1 1 1 0 1 0 0 1 0 1 1 0 0 1 1 1 1 1 0 0 1 0 0 0 1 1 0 1 1 0 0 0 1 1 1 0 1 1 0 1 1 0 0 0 0 1 0 1 1 1 0 1 1 1 1 0 0 0 1 1 0 1 1 1 1 0 0 0 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 1 1 0 1 1 1 0 0 0 1 0 1 0 1 0 1 1 0 0 0 1 1 0 1 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 1 0 1 1 1 0 0 1 1 0 1 1 0 0 1 1 0 1 0 1 1 1 1 0 1 1 1 0 1 0 0 0 1 1 1 0 1 1 0 0 1 0 0 1 0 1 1 0 1 0 1 1 0 0 1 1 1 0 0 1 0 0 0 1 1 0 1 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 0 0 0 1 0 0 1 1 0 1 1 1 0 0 0 1 0 0 0 0 0 0 1 1 1 0 1 1 1 1 0 0 0 1 0 0 0 1 1 1 0 1 1 1 0 1 1 0 0 1 0 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 1 0 0 0 1 1 1 0 1 1 1 1 0 0 1 1 1 1 0 1 1 1 0 1 1 1 0 1 0 0 1 1 1 0 0 1 1 1 0 0 0 1 1 1 0 0 1 0 0 0 0 1 1 1 1 0 1 0 0 0 1 1 0 0 0 0 1 1 0 1 1 1 1 1 0 0 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 1 1 0 0 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 0 0 1 0 1 0 1 1 1 1 0 0 1 1 1 0 1 1 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 0 1 1 0 0 1 1 0 0 0 1 1 0 0 1 1 1 1 0 0 0 0 1 1 0 0 0 1 1 1 1 0 0 0 0 0 0 1 0 1 1 1 1 1 1 0 1 0 1 0 0 0 1 0 1 1 0 0 1 1 1 1 0 1 1 0 0 1 1 0 1 1 0 1 0 0 0 1 1 1 1 1 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 1 1 0 1 1 0 1 1 1 0 1 1 1 1 0 0 0 1 1 1 0 0 1 1 1 1 0 0 0 0 0 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 1 0 1 1 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 0 1 1 1 0 0 1 1 1 0 0 1 0 0 0 1 1 1 0 0 1 0 0 1 1 1 1 1 1 0 0 0 0 1 0 1 0 0 0 1 1 1 1 1 1 1 1 0 0 1 1 1 0 1 1 1 1 0 0 1 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 1 1 1 0 0 1 1 0 1 1 0 1 1 1 0 1 1 0 0 1 0 1 1 1 0 0 1 0 0 1 1 0 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 0 0 0 1 1 1 0 0 1 0 0 1 1 1 0 1 0 1 1 0 1 0 1 0 0 1 1 1 0 0 1 1 1 1 1 1 0 0 0 0 1 0 0 1 0 1 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 1 1 1 1 1 1 0 0 0 0 1 0 1 0 1 0 0 1 1 1 1 1 0 0 1 0 1 1 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 1 0 1 0 1 0 0 0 0 0 1 1 1 1 1 0 1 1 1 1 0 0 0 0 0 1 1 1 1 0 0 1 1 1 1 0 0 1 0 1 0 1 1 1 0 0 1 1 0 0 1 1 1 1 0 1 1 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 1 1 0 1 1 1 0 0 1 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 1 1 0 1 0 1 1 1 0 1
1081.39
1081.39 totalWckTime=1081.174 totalCpuTime=1079.66
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node42/watcher-277589-1169268838 -o ROOT/results/node42/solver-277589-1169268838 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277589-1169268838/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.94 4/74 6063
/proc/meminfo: memFree=1305496/2055920 swapFree=4184856/4192956
[pid=6062] ppid=6060 vsize=172 CPUtime=0
/proc/6062/stat : 6062 (java) R 6060 6062 5720 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 275283030 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 12407588 0 0 4096 0 0 0 0 17 0 0 0
/proc/6062/statm: 43 24 18 14 0 3 0
[startup+0.10719 s]
/proc/loadavg: 2.02 2.00 1.94 4/74 6063
/proc/meminfo: memFree=1305496/2055920 swapFree=4184856/4192956
[pid=6062] ppid=6060 vsize=914988 CPUtime=0.09
/proc/6062/stat : 6062 (java) R 6060 6062 5720 0 -1 0 3071 0 1 0 8 1 0 0 24 0 8 0 275283030 936947712 2817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 12848782 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6062/statm: 228747 2818 1453 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.519237 s]
/proc/loadavg: 2.02 2.00 1.94 4/74 6063
/proc/meminfo: memFree=1305496/2055920 swapFree=4184856/4192956
[pid=6062] ppid=6060 vsize=915332 CPUtime=0.5
/proc/6062/stat : 6062 (java) R 6060 6062 5720 0 -1 0 6727 0 1 0 46 4 0 0 25 0 8 0 275283030 937299968 6466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6062/statm: 228833 6466 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332
[startup+1.34132 s]
/proc/loadavg: 2.02 2.00 1.94 3/81 6070
/proc/meminfo: memFree=1276192/2055920 swapFree=4184856/4192956
[pid=6062] ppid=6060 vsize=915484 CPUtime=1.3
/proc/6062/stat : 6062 (java) R 6060 6062 5720 0 -1 0 9986 0 1 0 116 14 0 0 25 0 8 0 275283030 937455616 9724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6062/statm: 228871 9724 2477 14 0 215341 0
[pid=6062/tid=6064] ppid=6060 vsize=915484 CPUtime=0.04
/proc/6062/task/6064/stat : 6064 (java) S 6060 6062 5720 0 -1 64 844 0 0 0 4 0 0 0 16 0 8 0 275283034 937455616 9724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6065] ppid=6060 vsize=915484 CPUtime=0
/proc/6062/task/6065/stat : 6065 (java) S 6060 6062 5720 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275283034 937455616 9724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6066] ppid=6060 vsize=915484 CPUtime=0
/proc/6062/task/6066/stat : 6066 (java) S 6060 6062 5720 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275283034 937455616 9724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6067] ppid=6060 vsize=915484 CPUtime=0
/proc/6062/task/6067/stat : 6067 (java) S 6060 6062 5720 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275283037 937455616 9724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6068] ppid=6060 vsize=915484 CPUtime=0.19
/proc/6062/task/6068/stat : 6068 (java) S 6060 6062 5720 0 -1 64 381 0 0 0 18 1 0 0 16 0 8 0 275283038 937455616 9724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6069] ppid=6060 vsize=915484 CPUtime=0
/proc/6062/task/6069/stat : 6069 (java) S 6060 6062 5720 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275283038 937455616 9724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6070] ppid=6060 vsize=915484 CPUtime=0
/proc/6062/task/6070/stat : 6070 (java) S 6060 6062 5720 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275283038 937455616 9724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915484
[startup+2.97851 s]
/proc/loadavg: 2.02 2.00 1.94 3/81 6070
/proc/meminfo: memFree=1276192/2055920 swapFree=4184856/4192956
[pid=6062] ppid=6060 vsize=915484 CPUtime=2.94
/proc/6062/stat : 6062 (java) R 6060 6062 5720 0 -1 0 9991 0 1 0 251 43 0 0 25 0 8 0 275283030 937455616 9728 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073866659 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6062/statm: 228871 9728 2477 14 0 215341 0
[pid=6062/tid=6064] ppid=6060 vsize=915484 CPUtime=0.04
/proc/6062/task/6064/stat : 6064 (java) S 6060 6062 5720 0 -1 64 844 0 0 0 4 0 0 0 16 0 8 0 275283034 937455616 9728 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6065] ppid=6060 vsize=915484 CPUtime=0
/proc/6062/task/6065/stat : 6065 (java) S 6060 6062 5720 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275283034 937455616 9728 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6066] ppid=6060 vsize=915484 CPUtime=0
/proc/6062/task/6066/stat : 6066 (java) S 6060 6062 5720 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275283034 937455616 9728 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6067] ppid=6060 vsize=915484 CPUtime=0
/proc/6062/task/6067/stat : 6067 (java) S 6060 6062 5720 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275283037 937455616 9728 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6068] ppid=6060 vsize=915484 CPUtime=0.2
/proc/6062/task/6068/stat : 6068 (java) S 6060 6062 5720 0 -1 64 385 0 0 0 19 1 0 0 15 0 8 0 275283038 937455616 9728 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6069] ppid=6060 vsize=915484 CPUtime=0
/proc/6062/task/6069/stat : 6069 (java) S 6060 6062 5720 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275283038 937455616 9728 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6070] ppid=6060 vsize=915488 CPUtime=0
/proc/6062/task/6070/stat : 6070 (java) S 6060 6062 5720 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275283038 937459712 9728 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915484
[startup+6.27087 s]
/proc/loadavg: 2.02 2.00 1.94 3/81 6070
/proc/meminfo: memFree=1266656/2055920 swapFree=4184856/4192956
[pid=6062] ppid=6060 vsize=915616 CPUtime=6.23
/proc/6062/stat : 6062 (java) R 6060 6062 5720 0 -1 0 12396 0 1 0 565 58 0 0 25 0 8 0 275283030 937590784 12131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074098785 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6062/statm: 228904 12131 2530 14 0 215374 0
[pid=6062/tid=6064] ppid=6060 vsize=915616 CPUtime=0.04
/proc/6062/task/6064/stat : 6064 (java) S 6060 6062 5720 0 -1 64 845 0 0 0 4 0 0 0 16 0 8 0 275283034 937590784 12131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6065] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6065/stat : 6065 (java) S 6060 6062 5720 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275283034 937590784 12131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6066] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6066/stat : 6066 (java) S 6060 6062 5720 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275283034 937590784 12131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6067] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6067/stat : 6067 (java) S 6060 6062 5720 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275283037 937590784 12131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6068] ppid=6060 vsize=915616 CPUtime=0.28
/proc/6062/task/6068/stat : 6068 (java) S 6060 6062 5720 0 -1 64 435 0 0 0 27 1 0 0 15 0 8 0 275283038 937590784 12131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6069] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6069/stat : 6069 (java) S 6060 6062 5720 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275283038 937590784 12131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6070] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6070/stat : 6070 (java) S 6060 6062 5720 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275283038 937590784 12131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915616
[startup+12.7556 s]
/proc/loadavg: 2.01 2.00 1.94 3/81 6070
/proc/meminfo: memFree=1266656/2055920 swapFree=4184856/4192956
[pid=6062] ppid=6060 vsize=915616 CPUtime=12.7
/proc/6062/stat : 6062 (java) R 6060 6062 5720 0 -1 0 12433 0 1 0 1212 58 0 0 25 0 8 0 275283030 937590784 12162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074026695 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6062/statm: 228904 12162 2530 14 0 215374 0
[pid=6062/tid=6064] ppid=6060 vsize=915616 CPUtime=0.04
/proc/6062/task/6064/stat : 6064 (java) S 6060 6062 5720 0 -1 64 845 0 0 0 4 0 0 0 17 0 8 0 275283034 937590784 12162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6065] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6065/stat : 6065 (java) S 6060 6062 5720 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275283034 937590784 12162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6066] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6066/stat : 6066 (java) S 6060 6062 5720 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275283034 937590784 12162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6067] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6067/stat : 6067 (java) S 6060 6062 5720 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275283037 937590784 12162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6068] ppid=6060 vsize=915616 CPUtime=0.32
/proc/6062/task/6068/stat : 6068 (java) S 6060 6062 5720 0 -1 64 451 0 0 0 30 2 0 0 15 0 8 0 275283038 937590784 12162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6069] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6069/stat : 6069 (java) S 6060 6062 5720 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275283038 937590784 12162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6070] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6070/stat : 6070 (java) S 6060 6062 5720 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275283038 937590784 12162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 915616
[startup+25.631 s]
/proc/loadavg: 2.01 2.00 1.94 3/81 6070
/proc/meminfo: memFree=1266656/2055920 swapFree=4184856/4192956
[pid=6062] ppid=6060 vsize=915616 CPUtime=25.58
/proc/6062/stat : 6062 (java) R 6060 6062 5720 0 -1 0 12454 0 1 0 2500 58 0 0 25 0 8 0 275283030 937590784 12179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074026230 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6062/statm: 228904 12179 2530 14 0 215374 0
[pid=6062/tid=6064] ppid=6060 vsize=915616 CPUtime=0.04
/proc/6062/task/6064/stat : 6064 (java) S 6060 6062 5720 0 -1 64 845 0 0 0 4 0 0 0 16 0 8 0 275283034 937590784 12179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6065] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6065/stat : 6065 (java) S 6060 6062 5720 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275283034 937590784 12179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6066] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6066/stat : 6066 (java) S 6060 6062 5720 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275283034 937590784 12179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6067] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6067/stat : 6067 (java) S 6060 6062 5720 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275283037 937590784 12179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6068] ppid=6060 vsize=915616 CPUtime=0.33
/proc/6062/task/6068/stat : 6068 (java) S 6060 6062 5720 0 -1 64 456 0 0 0 31 2 0 0 16 0 8 0 275283038 937590784 12179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6069] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6069/stat : 6069 (java) S 6060 6062 5720 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275283038 937590784 12179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6070] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6070/stat : 6070 (java) S 6060 6062 5720 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275283038 937590784 12179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.58
Current children cumulated vsize (KiB) 915616
[startup+51.2619 s]
/proc/loadavg: 2.01 2.00 1.94 3/81 6070
/proc/meminfo: memFree=1266592/2055920 swapFree=4184856/4192956
[pid=6062] ppid=6060 vsize=915616 CPUtime=51.17
/proc/6062/stat : 6062 (java) R 6060 6062 5720 0 -1 0 12463 0 1 0 5059 58 0 0 25 0 8 0 275283030 937590784 12187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074019600 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6062/statm: 228904 12187 2530 14 0 215374 0
[pid=6062/tid=6064] ppid=6060 vsize=915616 CPUtime=0.04
/proc/6062/task/6064/stat : 6064 (java) S 6060 6062 5720 0 -1 64 845 0 0 0 4 0 0 0 16 0 8 0 275283034 937590784 12187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6065] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6065/stat : 6065 (java) S 6060 6062 5720 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275283034 937590784 12187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6066] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6066/stat : 6066 (java) S 6060 6062 5720 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275283034 937590784 12187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6067] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6067/stat : 6067 (java) S 6060 6062 5720 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275283037 937590784 12187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6068] ppid=6060 vsize=915616 CPUtime=0.33
/proc/6062/task/6068/stat : 6068 (java) S 6060 6062 5720 0 -1 64 458 0 0 0 31 2 0 0 16 0 8 0 275283038 937590784 12187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6069] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6069/stat : 6069 (java) S 6060 6062 5720 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275283038 937590784 12187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6070] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6070/stat : 6070 (java) S 6060 6062 5720 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275283038 937590784 12187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.17
Current children cumulated vsize (KiB) 915616
[startup+102.525 s]
/proc/loadavg: 2.00 2.00 1.94 3/81 6070
/proc/meminfo: memFree=1266592/2055920 swapFree=4184856/4192956
[pid=6062] ppid=6060 vsize=915616 CPUtime=102.38
/proc/6062/stat : 6062 (java) R 6060 6062 5720 0 -1 0 12468 0 1 0 10180 58 0 0 25 0 8 0 275283030 937590784 12192 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074025376 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6062/statm: 228904 12192 2530 14 0 215374 0
[pid=6062/tid=6064] ppid=6060 vsize=915616 CPUtime=0.04
/proc/6062/task/6064/stat : 6064 (java) S 6060 6062 5720 0 -1 64 845 0 0 0 4 0 0 0 16 0 8 0 275283034 937590784 12192 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6065] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6065/stat : 6065 (java) S 6060 6062 5720 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275283034 937590784 12192 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6066] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6066/stat : 6066 (java) S 6060 6062 5720 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275283034 937590784 12192 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6067] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6067/stat : 6067 (java) S 6060 6062 5720 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275283037 937590784 12192 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6068] ppid=6060 vsize=915616 CPUtime=0.33
/proc/6062/task/6068/stat : 6068 (java) S 6060 6062 5720 0 -1 64 458 0 0 0 31 2 0 0 16 0 8 0 275283038 937590784 12192 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6069] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6069/stat : 6069 (java) S 6060 6062 5720 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275283038 937590784 12192 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6070] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6070/stat : 6070 (java) S 6060 6062 5720 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275283038 937590784 12192 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.38
Current children cumulated vsize (KiB) 915616
[startup+162.526 s]
/proc/loadavg: 2.00 2.00 1.94 3/81 6070
/proc/meminfo: memFree=1266528/2055920 swapFree=4184856/4192956
[pid=6062] ppid=6060 vsize=915616 CPUtime=162.35
/proc/6062/stat : 6062 (java) R 6060 6062 5720 0 -1 0 12474 0 1 0 16176 59 0 0 25 0 8 0 275283030 937590784 12197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074098785 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
/proc/6062/task/6067/stat : 6067 (java) S 6060 6062 5720 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275283037 937590784 12208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6068] ppid=6060 vsize=915616 CPUtime=0.34
/proc/6062/task/6068/stat : 6068 (java) S 6060 6062 5720 0 -1 64 461 0 0 0 32 2 0 0 16 0 8 0 275283038 937590784 12208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6069] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6069/stat : 6069 (java) S 6060 6062 5720 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275283038 937590784 12208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6070] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6070/stat : 6070 (java) S 6060 6062 5720 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275283038 937590784 12208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 641.95
Current children cumulated vsize (KiB) 915616
[startup+702.701 s]
/proc/loadavg: 2.00 2.00 1.94 3/81 6268
/proc/meminfo: memFree=1266072/2055920 swapFree=4184856/4192956
[pid=6062] ppid=6060 vsize=915616 CPUtime=701.92
/proc/6062/stat : 6062 (java) R 6060 6062 5720 0 -1 0 12485 0 1 0 70118 74 0 0 25 0 8 0 275283030 937590784 12208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074025336 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6062/statm: 228904 12208 2530 14 0 215374 0
[pid=6062/tid=6064] ppid=6060 vsize=915616 CPUtime=0.04
/proc/6062/task/6064/stat : 6064 (java) S 6060 6062 5720 0 -1 64 845 0 0 0 4 0 0 0 16 0 8 0 275283034 937590784 12208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6065] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6065/stat : 6065 (java) S 6060 6062 5720 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275283034 937590784 12208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6066] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6066/stat : 6066 (java) S 6060 6062 5720 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275283034 937590784 12208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6067] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6067/stat : 6067 (java) S 6060 6062 5720 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275283037 937590784 12208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6068] ppid=6060 vsize=915616 CPUtime=0.34
/proc/6062/task/6068/stat : 6068 (java) S 6060 6062 5720 0 -1 64 461 0 0 0 32 2 0 0 16 0 8 0 275283038 937590784 12208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6069] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6069/stat : 6069 (java) S 6060 6062 5720 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275283038 937590784 12208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6070] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6070/stat : 6070 (java) S 6060 6062 5720 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275283038 937590784 12208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 701.92
Current children cumulated vsize (KiB) 915616
[startup+762.721 s]
/proc/loadavg: 2.00 2.00 1.94 3/81 6268
/proc/meminfo: memFree=1266136/2055920 swapFree=4184856/4192956
[pid=6062] ppid=6060 vsize=915616 CPUtime=761.87
/proc/6062/stat : 6062 (java) R 6060 6062 5720 0 -1 0 12485 0 1 0 76113 74 0 0 25 0 8 0 275283030 937590784 12208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074023574 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6062/statm: 228904 12208 2530 14 0 215374 0
[pid=6062/tid=6064] ppid=6060 vsize=915616 CPUtime=0.04
/proc/6062/task/6064/stat : 6064 (java) S 6060 6062 5720 0 -1 64 845 0 0 0 4 0 0 0 16 0 8 0 275283034 937590784 12208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6065] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6065/stat : 6065 (java) S 6060 6062 5720 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275283034 937590784 12208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6066] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6066/stat : 6066 (java) S 6060 6062 5720 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275283034 937590784 12208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6067] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6067/stat : 6067 (java) S 6060 6062 5720 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275283037 937590784 12208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6068] ppid=6060 vsize=915616 CPUtime=0.34
/proc/6062/task/6068/stat : 6068 (java) S 6060 6062 5720 0 -1 64 461 0 0 0 32 2 0 0 16 0 8 0 275283038 937590784 12208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6069] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6069/stat : 6069 (java) S 6060 6062 5720 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275283038 937590784 12208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6070] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6070/stat : 6070 (java) S 6060 6062 5720 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275283038 937590784 12208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 761.87
Current children cumulated vsize (KiB) 915616
[startup+822.726 s]
/proc/loadavg: 2.00 2.00 1.94 3/81 6268
/proc/meminfo: memFree=1266272/2055920 swapFree=4184856/4192956
[pid=6062] ppid=6060 vsize=915616 CPUtime=821.82
/proc/6062/stat : 6062 (java) R 6060 6062 5720 0 -1 0 12485 0 1 0 82108 74 0 0 25 0 8 0 275283030 937590784 12208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074035274 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6062/statm: 228904 12208 2530 14 0 215374 0
[pid=6062/tid=6064] ppid=6060 vsize=915616 CPUtime=0.04
/proc/6062/task/6064/stat : 6064 (java) S 6060 6062 5720 0 -1 64 845 0 0 0 4 0 0 0 16 0 8 0 275283034 937590784 12208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6065] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6065/stat : 6065 (java) S 6060 6062 5720 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275283034 937590784 12208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6066] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6066/stat : 6066 (java) S 6060 6062 5720 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275283034 937590784 12208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6067] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6067/stat : 6067 (java) S 6060 6062 5720 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275283037 937590784 12208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6068] ppid=6060 vsize=915616 CPUtime=0.34
/proc/6062/task/6068/stat : 6068 (java) S 6060 6062 5720 0 -1 64 461 0 0 0 32 2 0 0 16 0 8 0 275283038 937590784 12208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6069] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6069/stat : 6069 (java) S 6060 6062 5720 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275283038 937590784 12208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6070] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6070/stat : 6070 (java) S 6060 6062 5720 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275283038 937590784 12208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 821.82
Current children cumulated vsize (KiB) 915616
[startup+882.73 s]
/proc/loadavg: 2.00 2.00 1.94 3/81 6268
/proc/meminfo: memFree=1266272/2055920 swapFree=4184856/4192956
[pid=6062] ppid=6060 vsize=915616 CPUtime=881.78
/proc/6062/stat : 6062 (java) R 6060 6062 5720 0 -1 0 12488 0 1 0 88104 74 0 0 25 0 8 0 275283030 937590784 12211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074099574 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6062/statm: 228904 12211 2530 14 0 215374 0
[pid=6062/tid=6064] ppid=6060 vsize=915616 CPUtime=0.04
/proc/6062/task/6064/stat : 6064 (java) S 6060 6062 5720 0 -1 64 845 0 0 0 4 0 0 0 16 0 8 0 275283034 937590784 12211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6065] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6065/stat : 6065 (java) S 6060 6062 5720 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275283034 937590784 12211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6066] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6066/stat : 6066 (java) S 6060 6062 5720 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275283034 937590784 12211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6067] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6067/stat : 6067 (java) S 6060 6062 5720 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275283037 937590784 12211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6068] ppid=6060 vsize=915616 CPUtime=0.34
/proc/6062/task/6068/stat : 6068 (java) S 6060 6062 5720 0 -1 64 461 0 0 0 32 2 0 0 16 0 8 0 275283038 937590784 12211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6069] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6069/stat : 6069 (java) S 6060 6062 5720 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275283038 937590784 12211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6070] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6070/stat : 6070 (java) S 6060 6062 5720 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275283038 937590784 12211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 881.78
Current children cumulated vsize (KiB) 915616
[startup+942.741 s]
/proc/loadavg: 2.00 2.00 1.94 3/81 6268
/proc/meminfo: memFree=1266208/2055920 swapFree=4184856/4192956
[pid=6062] ppid=6060 vsize=915616 CPUtime=941.72
/proc/6062/stat : 6062 (java) R 6060 6062 5720 0 -1 0 12488 0 1 0 94098 74 0 0 25 0 8 0 275283030 937590784 12211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074025380 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6062/statm: 228904 12211 2530 14 0 215374 0
[pid=6062/tid=6064] ppid=6060 vsize=915616 CPUtime=0.04
/proc/6062/task/6064/stat : 6064 (java) S 6060 6062 5720 0 -1 64 845 0 0 0 4 0 0 0 16 0 8 0 275283034 937590784 12211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6065] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6065/stat : 6065 (java) S 6060 6062 5720 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275283034 937590784 12211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6066] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6066/stat : 6066 (java) S 6060 6062 5720 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275283034 937590784 12211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6067] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6067/stat : 6067 (java) S 6060 6062 5720 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275283037 937590784 12211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6068] ppid=6060 vsize=915616 CPUtime=0.34
/proc/6062/task/6068/stat : 6068 (java) S 6060 6062 5720 0 -1 64 461 0 0 0 32 2 0 0 16 0 8 0 275283038 937590784 12211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6069] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6069/stat : 6069 (java) S 6060 6062 5720 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275283038 937590784 12211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6070] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6070/stat : 6070 (java) S 6060 6062 5720 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275283038 937590784 12211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 941.72
Current children cumulated vsize (KiB) 915616
[startup+1002.84 s]
/proc/loadavg: 2.00 2.00 1.94 3/81 6268
/proc/meminfo: memFree=1266272/2055920 swapFree=4184856/4192956
[pid=6062] ppid=6060 vsize=915616 CPUtime=1001.76
/proc/6062/stat : 6062 (java) R 6060 6062 5720 0 -1 0 12488 0 1 0 100102 74 0 0 25 0 8 0 275283030 937590784 12211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074055993 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6062/statm: 228904 12211 2530 14 0 215374 0
[pid=6062/tid=6064] ppid=6060 vsize=915616 CPUtime=0.04
/proc/6062/task/6064/stat : 6064 (java) S 6060 6062 5720 0 -1 64 845 0 0 0 4 0 0 0 16 0 8 0 275283034 937590784 12211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6065] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6065/stat : 6065 (java) S 6060 6062 5720 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275283034 937590784 12211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6066] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6066/stat : 6066 (java) S 6060 6062 5720 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275283034 937590784 12211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6067] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6067/stat : 6067 (java) S 6060 6062 5720 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275283037 937590784 12211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6068] ppid=6060 vsize=915616 CPUtime=0.34
/proc/6062/task/6068/stat : 6068 (java) S 6060 6062 5720 0 -1 64 461 0 0 0 32 2 0 0 16 0 8 0 275283038 937590784 12211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6069] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6069/stat : 6069 (java) S 6060 6062 5720 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275283038 937590784 12211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6070] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6070/stat : 6070 (java) S 6060 6062 5720 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275283038 937590784 12211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1001.76
Current children cumulated vsize (KiB) 915616
[startup+1062.86 s]
/proc/loadavg: 2.00 2.00 1.94 3/81 6268
/proc/meminfo: memFree=1266208/2055920 swapFree=4184856/4192956
[pid=6062] ppid=6060 vsize=915616 CPUtime=1061.74
/proc/6062/stat : 6062 (java) R 6060 6062 5720 0 -1 0 12488 0 1 0 106099 75 0 0 25 0 8 0 275283030 937590784 12211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074021265 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6062/statm: 228904 12211 2530 14 0 215374 0
[pid=6062/tid=6064] ppid=6060 vsize=915616 CPUtime=0.04
/proc/6062/task/6064/stat : 6064 (java) S 6060 6062 5720 0 -1 64 845 0 0 0 4 0 0 0 16 0 8 0 275283034 937590784 12211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6065] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6065/stat : 6065 (java) S 6060 6062 5720 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275283034 937590784 12211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6066] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6066/stat : 6066 (java) S 6060 6062 5720 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275283034 937590784 12211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6067] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6067/stat : 6067 (java) S 6060 6062 5720 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275283037 937590784 12211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6068] ppid=6060 vsize=915616 CPUtime=0.34
/proc/6062/task/6068/stat : 6068 (java) S 6060 6062 5720 0 -1 64 461 0 0 0 32 2 0 0 16 0 8 0 275283038 937590784 12211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6069] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6069/stat : 6069 (java) S 6060 6062 5720 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275283038 937590784 12211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6062/tid=6070] ppid=6060 vsize=915616 CPUtime=0
/proc/6062/task/6070/stat : 6070 (java) S 6060 6062 5720 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275283038 937590784 12211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1061.74
Current children cumulated vsize (KiB) 915616
Child status: 0
Real time (s): 1081.43
CPU time (s): 1080.27
CPU user time (s): 1079.51
CPU system time (s): 0.758884
CPU usage (%): 99.8927
Max. virtual memory (cumulated for all children) (KiB): 915616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1079.51
system time used= 0.758884
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12589
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= 23546
involuntary context switches= 29020
runsolver used 1.41478 s user time and 3.40248 s system time
The end
Begin job on node42 on Sat Jan 20 04:53:58 UTC 2007
IDJOB= 277589
IDBENCH= 7391
IDSOLVER= 69
FILE ID= node42/277589-1169268838
PBS_JOBID= 3607392
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/dimacs/ssa/ssa-2670-130_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277589-1169268838/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-277589-1169268838 -o ROOT/results/node42/solver-277589-1169268838 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277589-1169268838/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a69cb0578060e72c362a8bb6c0c5d6ab
RANDOM SEED= 669397774
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.229
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.229
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: 1305976 kB
Buffers: 45584 kB
Cached: 599752 kB
SwapCached: 2500 kB
Active: 114020 kB
Inactive: 561496 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1305976 kB
SwapTotal: 4192956 kB
SwapFree: 4184856 kB
Dirty: 1924 kB
Writeback: 0 kB
Mapped: 38168 kB
Slab: 59888 kB
Committed_AS: 4935712 kB
PageTables: 1812 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 node42 on Sat Jan 20 05:12:00 UTC 2007