0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=epfc.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/282493-1169319300/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.43 nbVariables=200 nbDomainTypes=6 minDomainSize=6 maxDomainSize=44
0.43 => wckTime=0.129 cpuTime=0.09 mem=7M863
0.43
0.43 relations being loaded...
0.94
0.94 constraints being loaded...
1.31 nbConstraints=1970 nbRelationTypes=1012 nbExtensionStructures=1012 nbSharedExtensionStructures=958
1.31 nbConflictsStructures=1012 nbSharedConflictsStructures=958 nbSharedBinaryRepresentations=67756 maxDegree=44
1.31 maxArity=2
1.31 => wckTime=1.012 cpuTime=0.77 mem=17M899
1.37
1.37 solver LocalSearchSolver being built...
1.41 => wckTime=1.112 cpuTime=0.82 mem=14M836
1.43
1.43 s SATISFIABLE
1.43 o 1229
1.43 c 741
1.43 o 1241
1.43 c 729
1.43 o 1248
1.43 c 722
1.43 o 1256
1.43 c 714
1.44 o 1263
1.44 c 707
1.44 o 1266
1.44 c 704
1.44 o 1276
1.44 c 694
1.44 o 1281
1.44 c 689
1.45 o 1290
1.45 c 680
1.45 o 1302
1.45 c 668
1.45 o 1309
1.45 c 661
1.46 o 1314
1.46 c 656
1.46 o 1318
1.46 c 652
1.46 o 1323
1.46 c 647
1.46 o 1325
1.46 c 645
1.47 o 1330
1.47 c 640
1.47 o 1331
1.47 c 639
1.48 o 1337
1.48 c 633
1.48 o 1341
1.48 c 629
1.48 o 1345
1.48 c 625
1.49 o 1347
1.49 c 623
1.49 o 1353
1.49 c 617
1.49 o 1357
1.49 c 613
1.49 o 1363
1.49 c 607
1.49 o 1367
1.49 c 603
1.50 o 1375
1.50 c 595
1.50 o 1379
1.50 c 591
1.50 o 1384
1.50 c 586
1.51 o 1390
1.51 c 580
1.51 o 1393
1.51 c 577
1.51 o 1396
1.51 c 574
1.52 o 1400
1.52 c 570
1.52 o 1401
1.52 c 569
1.52 o 1405
1.52 c 565
1.52 o 1406
1.52 c 564
1.53 o 1409
1.53 c 561
1.53 o 1415
1.53 c 555
1.53 o 1421
1.53 c 549
1.53 o 1427
1.53 c 543
1.54 o 1430
1.54 c 540
1.55 o 1431
1.55 c 539
1.55 o 1439
1.55 c 531
1.55 o 1443
1.55 c 527
1.56 o 1448
1.56 c 522
1.56 o 1454
1.56 c 516
1.56 o 1458
1.56 c 512
1.56 o 1462
1.56 c 508
1.58 o 1465
1.58 c 505
1.58 o 1467
1.58 c 503
1.59 o 1469
1.59 c 501
1.59 o 1471
1.59 c 499
1.59 o 1472
1.59 c 498
1.60 o 1479
1.60 c 491
1.61 o 1480
1.61 c 490
1.61 o 1484
1.61 c 486
1.62 o 1492
1.62 c 478
1.62 o 1496
1.62 c 474
1.62 o 1498
1.62 c 472
1.63 o 1500
1.63 c 470
1.63 o 1503
1.63 c 467
1.64 o 1505
1.64 c 465
1.64 o 1508
1.64 c 462
1.65 o 1517
1.65 c 453
1.65 o 1518
1.65 c 452
1.66 o 1521
1.66 c 449
1.66 o 1522
1.66 c 448
1.66 o 1526
1.66 c 444
1.67 o 1530
1.67 c 440
1.67 o 1532
1.67 c 438
1.67 o 1535
1.67 c 435
1.68 o 1536
1.68 c 434
1.69 o 1537
1.69 c 433
1.72 o 1538
1.72 c 432
1.74 o 1539
1.74 c 431
1.75 o 1540
1.75 c 430
1.75 o 1541
1.75 c 429
1.75 o 1544
1.75 c 426
1.75 o 1546
1.75 c 424
1.76 o 1550
1.76 c 420
1.76 o 1552
1.76 c 418
1.77 o 1553
1.77 c 417
1.77 o 1555
1.77 c 415
1.78 o 1557
1.78 c 413
1.78 o 1558
1.78 c 412
1.78 o 1559
1.78 c 411
1.79 o 1561
1.79 c 409
1.80 o 1563
1.80 c 407
1.80 o 1564
1.80 c 406
1.80 o 1565
1.80 c 405
1.81 o 1567
1.81 c 403
1.82 o 1569
1.82 c 401
1.82 o 1574
1.82 c 396
1.83 o 1576
1.83 c 394
1.83 o 1579
1.83 c 391
1.86 o 1581
1.86 c 389
1.86 o 1587
1.86 c 383
1.87 o 1589
1.87 c 381
1.87 o 1591
1.87 c 379
1.88 o 1592
1.88 c 378
1.89 o 1598
1.89 c 372
1.89 o 1602
1.89 c 368
1.89 o 1604
1.89 c 366
1.90 o 1605
1.90 c 365
1.90 o 1608
1.90 c 362
1.91 o 1610
1.91 c 360
1.92 o 1613
1.92 c 357
1.93 o 1614
1.93 c 356
1.93 o 1618
1.93 c 352
1.94 o 1621
1.94 c 349
1.95 o 1624
1.95 c 346
1.96 o 1627
1.96 c 343
1.96 o 1628
1.96 c 342
1.97 o 1630
1.97 c 340
1.97 o 1631
1.97 c 339
1.98 o 1632
1.98 c 338
1.98 o 1636
1.98 c 334
1.99 o 1637
1.99 c 333
2.01 o 1639
2.01 c 331
2.01 o 1642
2.01 c 328
2.01 o 1650
2.01 c 320
2.02 o 1652
2.02 c 318
2.04 o 1654
2.04 c 316
2.04 o 1655
2.04 c 315
2.05 o 1657
2.05 c 313
2.05 o 1660
2.05 c 310
2.06 o 1663
2.06 c 307
2.06 o 1665
2.06 c 305
2.07 o 1672
2.07 c 298
2.07 o 1677
2.07 c 293
2.07 o 1678
2.07 c 292
2.08 o 1680
2.08 c 290
2.09 o 1683
2.09 c 287
2.12 o 1686
2.12 c 284
2.12 o 1690
2.12 c 280
2.19 o 1693
2.19 c 277
2.19 o 1695
2.19 c 275
2.20 o 1701
2.20 c 269
2.20 o 1705
2.20 c 265
2.21 o 1709
2.21 c 261
2.21 o 1715
2.21 c 255
2.21 o 1717
2.21 c 253
2.22 o 1718
2.22 c 252
2.23 o 1719
2.23 c 251
2.23 o 1723
2.23 c 247
2.23 o 1724
2.23 c 246
2.23 o 1731
2.23 c 239
2.24 o 1733
2.24 c 237
2.25 o 1735
2.25 c 235
2.25 o 1738
2.25 c 232
2.25 o 1740
2.25 c 230
2.26 o 1742
2.26 c 228
2.27 o 1746
2.27 c 224
2.27 o 1757
2.27 c 213
2.29 o 1759
2.29 c 211
2.29 o 1761
2.29 c 209
2.30 o 1762
2.30 c 208
2.30 o 1766
2.30 c 204
2.30 o 1772
2.30 c 198
2.31 o 1773
2.31 c 197
2.31 o 1775
2.31 c 195
2.31 o 1776
2.31 c 194
2.32 o 1777
2.32 c 193
2.32 o 1778
2.32 c 192
2.37 o 1779
2.37 c 191
2.37 o 1780
2.37 c 190
2.38 o 1781
2.38 c 189
2.39 o 1782
2.39 c 188
2.41 o 1788
2.41 c 182
2.41 o 1792
2.41 c 178
2.41 o 1795
2.41 c 175
2.41 o 1797
2.41 c 173
2.42 o 1803
2.42 c 167
2.42 o 1805
2.42 c 165
2.42 o 1807
2.42 c 163
2.43 o 1810
2.43 c 160
2.43 o 1816
2.43 c 154
2.44 o 1817
2.44 c 153
2.44 o 1820
2.44 c 150
2.44 o 1822
2.44 c 148
2.44 o 1824
2.44 c 146
2.45 o 1825
2.45 c 145
2.45 o 1826
2.45 c 144
2.46 o 1827
2.46 c 143
2.46 o 1828
2.46 c 142
2.46 o 1829
2.46 c 141
2.47 o 1831
2.47 c 139
2.47 o 1832
2.47 c 138
2.47 o 1835
2.47 c 135
2.48 o 1836
2.48 c 134
2.49 o 1838
2.49 c 132
2.50 o 1841
2.50 c 129
2.54 o 1843
2.54 c 127
2.54 o 1849
2.54 c 121
2.54 o 1851
2.54 c 119
2.54 o 1852
2.54 c 118
2.55 o 1854
2.55 c 116
2.55 o 1858
2.55 c 112
2.55 o 1862
2.55 c 108
2.55 o 1863
2.55 c 107
2.56 o 1865
2.56 c 105
2.56 o 1866
2.56 c 104
2.56 o 1867
2.56 c 103
2.60 o 1868
2.60 c 102
2.60 o 1869
2.60 c 101
2.61 o 1882
2.61 c 88
2.61 o 1883
2.61 c 87
2.61 o 1884
2.61 c 86
2.62 o 1885
2.62 c 85
2.63 o 1886
2.63 c 84
2.63 o 1887
2.63 c 83
2.63 o 1889
2.63 c 81
2.64 o 1891
2.64 c 79
2.64 o 1892
2.64 c 78
2.64 o 1894
2.64 c 76
2.65 o 1895
2.65 c 75
2.65 o 1897
2.65 c 73
2.66 o 1900
2.66 c 70
2.66 o 1901
2.66 c 69
2.66 o 1903
2.66 c 67
2.67 o 1905
2.67 c 65
2.67 o 1906
2.67 c 64
2.67 o 1907
2.67 c 63
2.68 o 1908
2.68 c 62
2.68 o 1909
2.68 c 61
2.69 o 1911
2.69 c 59
2.69 o 1912
2.69 c 58
2.70 o 1914
2.70 c 56
2.71 o 1915
2.71 c 55
2.71 o 1916
2.71 c 54
2.71 o 1917
2.71 c 53
2.72 o 1918
2.72 c 52
2.74 o 1919
2.74 c 51
2.79 o 1920
2.79 c 50
2.79 o 1921
2.79 c 49
2.79 o 1923
2.79 c 47
2.80 o 1925
2.80 c 45
2.81 o 1926
2.81 c 44
2.81 o 1928
2.81 c 42
2.81 o 1929
2.81 c 41
2.84 o 1934
2.84 c 36
2.84 o 1935
2.84 c 35
2.84 o 1936
2.84 c 34
2.85 o 1937
2.85 c 33
2.86 o 1938
2.86 c 32
2.86 o 1939
2.86 c 31
2.87 o 1940
2.87 c 30
2.87 o 1941
2.87 c 29
2.88 o 1942
2.88 c 28
2.88 o 1943
2.88 c 27
2.93 o 1944
2.93 c 26
2.93 o 1946
2.93 c 24
2.94 o 1947
2.94 c 23
2.96 o 1948
2.96 c 22
2.96 o 1949
2.96 c 21
3.12 o 1950
3.12 c 20
3.21 o 1951
3.21 c 19
3.45 o 1952
3.45 c 18
3.74 o 1953
3.74 c 17
3.75 o 1954
3.75 c 16
4.77 o 1955
4.77 c 15
5.02 o 1956
5.02 c 14
5.04 o 1957
5.04 c 13
5.04 o 1958
5.04 c 12
5.50 o 1959
5.50 c 11
5.51 o 1960
5.51 c 10
35.53
35.53 search
35.53 run=0 nbConstraintChecks=210775438 nbAssignments=8436
35.53 => wckTime=34.123 cpuTime=34.09 mem=14M836
35.53
35.53 global
35.53 nbConstraintChecks=210775438 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.53 solvingWckTime=34.12 solvingCpuTime=34.09 expiredTime=no totalExploration=no nbFoundSolutions=0
35.53 globalCpuTime=34.97
35.53 => wckTime=35.236 cpuTime=34.91 mem=14M836
35.54
35.54 solver IterativeSystematicSolver being built...
35.67 => wckTime=35.371 cpuTime=35.02 mem=26M954
37.86
37.86 preprocessing
37.86 nbConstraintChecks=4116789 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
37.86 detectedInconsistency=no
37.86 => wckTime=2.183 cpuTime=2.15 mem=26M954
38.84
38.84 search
38.84 run=0 nbConstraintChecks=1034245 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=28
38.84 nbFailedAssignments=12 nbBacktracks=10 nbVisitedNodes=51 nbRestartNogoods=0
38.84 => wckTime=3.171 cpuTime=3.13 mem=26M954
40.11
40.11 search
40.11 run=1 nbConstraintChecks=2477813 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=68
40.11 nbFailedAssignments=29 nbBacktracks=27 nbVisitedNodes=121 nbRestartNogoods=12
40.11 => wckTime=4.442 cpuTime=4.39 mem=26M954
41.95
41.95 search
41.95 run=2 nbConstraintChecks=4412262 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=119
41.95 nbFailedAssignments=50 nbBacktracks=49 nbVisitedNodes=213 nbRestartNogoods=21
41.95 => wckTime=6.276 cpuTime=6.22 mem=26M954
45.08
45.08 search
45.08 run=3 nbConstraintChecks=7572699 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=198
45.08 nbFailedAssignments=87 nbBacktracks=82 nbVisitedNodes=353 nbRestartNogoods=30
45.08 => wckTime=9.41 cpuTime=9.35 mem=26M954
94.99
94.99 search
94.99 run=4 nbConstraintChecks=59581071 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1105
94.99 nbFailedAssignments=938 nbBacktracks=133 nbVisitedNodes=2162 nbRestartNogoods=50
94.99 => wckTime=59.313 cpuTime=59.23 mem=26M954
106.80
106.80 search
106.80 run=5 nbConstraintChecks=69888169 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1302
106.80 nbFailedAssignments=1048 nbBacktracks=211 nbVisitedNodes=2527 nbRestartNogoods=63
106.80 => wckTime=71.13 cpuTime=71.04 mem=26M954
131.71
131.71 search
131.71 run=6 nbConstraintChecks=106383861 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1975
131.71 nbFailedAssignments=1595 nbBacktracks=324 nbVisitedNodes=3858 nbRestartNogoods=84
131.71 => wckTime=96.043 cpuTime=95.93 mem=26M954
339.66
339.66 search
339.66 run=7 nbConstraintChecks=391515482 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6993
339.66 nbFailedAssignments=6433 nbBacktracks=494 nbVisitedNodes=13884 nbRestartNogoods=96
339.66 => wckTime=303.988 cpuTime=303.8 mem=26M954
456.97
456.97 search
456.97 run=8 nbConstraintChecks=515144892 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9708
456.97 nbFailedAssignments=8871 nbBacktracks=751 nbVisitedNodes=19294 nbRestartNogoods=108
456.97 => wckTime=421.304 cpuTime=420.97 mem=26M954
681.06
681.06 search
681.06 run=9 nbConstraintChecks=755284309 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=13479
681.06 nbFailedAssignments=12240 nbBacktracks=1135 nbVisitedNodes=26818 nbRestartNogoods=162
681.06 => wckTime=645.393 cpuTime=644.99 mem=26M954
981.40
981.41 search
981.41 run=10 nbConstraintChecks=973871620 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=17270
981.41 nbFailedAssignments=15450 nbBacktracks=1711 nbVisitedNodes=34389 nbRestartNogoods=228
981.41 => wckTime=945.734 cpuTime=945.23 mem=26M954
1500.80
1500.80 search
1500.80 run=11 nbConstraintChecks=1464513853 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=26303
1500.80 nbFailedAssignments=23594 nbBacktracks=2575 nbVisitedNodes=52422 nbRestartNogoods=287
1500.80 => wckTime=1465.126 cpuTime=1464.45 mem=26M954
1958.75
1958.75 search
1958.75 run=12 nbConstraintChecks=2001931861 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=37319
1958.75 nbFailedAssignments=33306 nbBacktracks=3872 nbVisitedNodes=74428 nbRestartNogoods=364
1958.75 => wckTime=1923.077 cpuTime=1922.25 mem=26M954
2400.92 v 3 34 42 2 0 10 38 9 21 36 33 1 43 43 31 2 40 34 43 0 1 8 1 35 0 2 0 34 38 10 2 37 0 42 34 43 0 0 8 43 43 3 42 33 31 8 35 1 33 0 3 0 18 2 20 2 43 43 33 27 42 4 3 16 8 31 31 3 34 0 18 34 35 2 2 2 42 3 8 35 36 0 41 6 1 1 36 43 8 35 2 10 33 1 37 43 2 0 43 4 40 8 36 5 43 31 40 19 8 2 43 34 2 42 33 31 0 2 0 8 36 0 8 1 35 2 2 3 18 26 33 43 40 0 5 20 2 8 5 5 0 2 34 40 7 10 33 43 31 43 0 0 7 40 43 5 42 31 3 37 0 8 35 1 8 34 8 42 36 3 3 8 33 0 33 36 43 36 42 1 0 4 43 43 34 37 35 1 3 42 2 0 2 1 8 36 1 7 35 0
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node61/watcher-282493-1169319300 -o ROOT/results/node61/solver-282493-1169319300 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282493-1169319300/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.00 1.00 1.00 3/65 7232
/proc/meminfo: memFree=1314608/2055920 swapFree=4191892/4192956
[pid=7231] ppid=7229 vsize=1784 CPUtime=0
/proc/7231/stat : 7231 (java) D 7229 7231 6145 0 -1 0 192 0 0 0 0 0 0 0 18 0 1 0 280327863 1826816 158 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/7231/statm: 446 158 123 14 0 91 0
[startup+0.104285 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 7232
/proc/meminfo: memFree=1314608/2055920 swapFree=4191892/4192956
[pid=7231] ppid=7229 vsize=914988 CPUtime=0.08
/proc/7231/stat : 7231 (java) R 7229 7231 6145 0 -1 0 3049 0 1 0 7 1 0 0 16 0 8 0 280327863 936947712 2795 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7231/statm: 228747 2795 1446 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515355 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 7232
/proc/meminfo: memFree=1314608/2055920 swapFree=4191892/4192956
[pid=7231] ppid=7229 vsize=915332 CPUtime=0.5
/proc/7231/stat : 7231 (java) R 7229 7231 6145 0 -1 0 7402 0 1 0 45 5 0 0 16 0 8 0 280327863 937299968 7141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7231/statm: 228833 7143 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332
[startup+1.33951 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 7239
/proc/meminfo: memFree=1258040/2055920 swapFree=4191892/4192956
[pid=7231] ppid=7229 vsize=915452 CPUtime=1.33
/proc/7231/stat : 7231 (java) S 7229 7231 6145 0 -1 0 19987 0 1 0 121 12 0 0 16 0 8 0 280327863 937422848 19724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7231/statm: 228863 19724 2173 14 0 215333 0
[pid=7231/tid=7233] ppid=7229 vsize=915452 CPUtime=0.1
/proc/7231/task/7233/stat : 7233 (java) R 7229 7231 6145 0 -1 64 3431 0 0 0 9 1 0 0 16 0 8 0 280327867 937422848 19724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155523593 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7234] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7234/stat : 7234 (java) S 7229 7231 6145 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280327868 937422848 19724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7235] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7235/stat : 7235 (java) S 7229 7231 6145 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280327868 937422848 19724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7236] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7236/stat : 7236 (java) S 7229 7231 6145 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 280327871 937422848 19724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7237] ppid=7229 vsize=915452 CPUtime=0.17
/proc/7231/task/7237/stat : 7237 (java) S 7229 7231 6145 0 -1 64 366 0 0 0 16 1 0 0 16 0 8 0 280327871 937422848 19724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7238] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7238/stat : 7238 (java) S 7229 7231 6145 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280327871 937422848 19724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7239] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7239/stat : 7239 (java) S 7229 7231 6145 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280327871 937422848 19724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 915452
[startup+2.97578 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 7239
/proc/meminfo: memFree=1241976/2055920 swapFree=4191892/4192956
[pid=7231] ppid=7229 vsize=915452 CPUtime=2.96
/proc/7231/stat : 7231 (java) R 7229 7231 6145 0 -1 0 20825 0 1 0 280 16 0 0 17 0 8 0 280327863 937422848 20560 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073873460 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7231/statm: 228863 20560 2483 14 0 215333 0
[pid=7231/tid=7233] ppid=7229 vsize=915452 CPUtime=0.12
/proc/7231/task/7233/stat : 7233 (java) S 7229 7231 6145 0 -1 64 3921 0 0 0 11 1 0 0 16 0 8 0 280327867 937422848 20560 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7234] ppid=7229 vsize=915456 CPUtime=0
/proc/7231/task/7234/stat : 7234 (java) S 7229 7231 6145 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280327868 937426944 20560 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7235] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7235/stat : 7235 (java) S 7229 7231 6145 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280327868 937422848 20560 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7236] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7236/stat : 7236 (java) S 7229 7231 6145 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 280327871 937422848 20560 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7237] ppid=7229 vsize=915452 CPUtime=0.19
/proc/7231/task/7237/stat : 7237 (java) S 7229 7231 6145 0 -1 64 383 0 0 0 18 1 0 0 15 0 8 0 280327871 937422848 20560 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7238] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7238/stat : 7238 (java) S 7229 7231 6145 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280327871 937422848 20560 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7239] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7239/stat : 7239 (java) S 7229 7231 6145 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280327871 937422848 20560 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915452
[startup+6.26936 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 7239
/proc/meminfo: memFree=1241784/2055920 swapFree=4191892/4192956
[pid=7231] ppid=7229 vsize=915452 CPUtime=6.26
/proc/7231/stat : 7231 (java) R 7229 7231 6145 0 -1 0 20829 0 1 0 604 22 0 0 17 0 8 0 280327863 937422848 20563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073876982 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7231/statm: 228863 20563 2483 14 0 215333 0
[pid=7231/tid=7233] ppid=7229 vsize=915452 CPUtime=0.12
/proc/7231/task/7233/stat : 7233 (java) S 7229 7231 6145 0 -1 64 3921 0 0 0 11 1 0 0 16 0 8 0 280327867 937422848 20563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7234] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7234/stat : 7234 (java) S 7229 7231 6145 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280327868 937422848 20563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7235] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7235/stat : 7235 (java) S 7229 7231 6145 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280327868 937422848 20563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7236] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7236/stat : 7236 (java) S 7229 7231 6145 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 280327871 937422848 20563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7237] ppid=7229 vsize=915452 CPUtime=0.19
/proc/7231/task/7237/stat : 7237 (java) S 7229 7231 6145 0 -1 64 386 0 0 0 18 1 0 0 16 0 8 0 280327871 937422848 20563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7238] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7238/stat : 7238 (java) S 7229 7231 6145 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280327871 937422848 20563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7239] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7239/stat : 7239 (java) S 7229 7231 6145 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280327871 937422848 20563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 915452
[startup+12.7375 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 7239
/proc/meminfo: memFree=1241784/2055920 swapFree=4191892/4192956
[pid=7231] ppid=7229 vsize=915452 CPUtime=12.72
/proc/7231/stat : 7231 (java) R 7229 7231 6145 0 -1 0 20829 0 1 0 1243 29 0 0 25 0 8 0 280327863 937422848 20563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7231/statm: 228863 20563 2483 14 0 215333 0
[pid=7231/tid=7233] ppid=7229 vsize=915452 CPUtime=0.12
/proc/7231/task/7233/stat : 7233 (java) S 7229 7231 6145 0 -1 64 3921 0 0 0 11 1 0 0 16 0 8 0 280327867 937422848 20563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7234] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7234/stat : 7234 (java) S 7229 7231 6145 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280327868 937422848 20563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7235] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7235/stat : 7235 (java) S 7229 7231 6145 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280327868 937422848 20563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7236] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7236/stat : 7236 (java) S 7229 7231 6145 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 280327871 937422848 20563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7237] ppid=7229 vsize=915452 CPUtime=0.19
/proc/7231/task/7237/stat : 7237 (java) S 7229 7231 6145 0 -1 64 386 0 0 0 18 1 0 0 16 0 8 0 280327871 937422848 20563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7238] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7238/stat : 7238 (java) S 7229 7231 6145 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280327871 937422848 20563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7239] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7239/stat : 7239 (java) S 7229 7231 6145 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280327871 937422848 20563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915452
[startup+25.5768 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 7239
/proc/meminfo: memFree=1241912/2055920 swapFree=4191892/4192956
[pid=7231] ppid=7229 vsize=915452 CPUtime=25.55
/proc/7231/stat : 7231 (java) R 7229 7231 6145 0 -1 0 20829 0 1 0 2514 41 0 0 25 0 8 0 280327863 937422848 20563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073875869 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7231/statm: 228863 20563 2483 14 0 215333 0
[pid=7231/tid=7233] ppid=7229 vsize=915452 CPUtime=0.12
/proc/7231/task/7233/stat : 7233 (java) S 7229 7231 6145 0 -1 64 3921 0 0 0 11 1 0 0 16 0 8 0 280327867 937422848 20563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7234] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7234/stat : 7234 (java) S 7229 7231 6145 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280327868 937422848 20563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7235] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7235/stat : 7235 (java) S 7229 7231 6145 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280327868 937422848 20563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7236] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7236/stat : 7236 (java) S 7229 7231 6145 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 280327871 937422848 20563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7237] ppid=7229 vsize=915452 CPUtime=0.19
/proc/7231/task/7237/stat : 7237 (java) S 7229 7231 6145 0 -1 64 386 0 0 0 18 1 0 0 16 0 8 0 280327871 937422848 20563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7238] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7238/stat : 7238 (java) S 7229 7231 6145 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280327871 937422848 20563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7239] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7239/stat : 7239 (java) S 7229 7231 6145 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280327871 937422848 20563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 915452
[startup+51.2613 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 7239
/proc/meminfo: memFree=1241720/2055920 swapFree=4191892/4192956
[pid=7231] ppid=7229 vsize=915452 CPUtime=51.22
/proc/7231/stat : 7231 (java) R 7229 7231 6145 0 -1 0 20982 0 1 0 5071 51 0 0 22 0 8 0 280327863 937422848 20711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074018455 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7231/statm: 228863 20711 2536 14 0 215333 0
[pid=7231/tid=7233] ppid=7229 vsize=915452 CPUtime=0.12
/proc/7231/task/7233/stat : 7233 (java) S 7229 7231 6145 0 -1 64 3922 0 0 0 11 1 0 0 16 0 8 0 280327867 937422848 20711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7234] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7234/stat : 7234 (java) S 7229 7231 6145 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280327868 937422848 20711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7235] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7235/stat : 7235 (java) S 7229 7231 6145 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280327868 937422848 20711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7236] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7236/stat : 7236 (java) S 7229 7231 6145 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 280327871 937422848 20711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7237] ppid=7229 vsize=915452 CPUtime=0.28
/proc/7231/task/7237/stat : 7237 (java) S 7229 7231 6145 0 -1 64 435 0 0 0 26 2 0 0 15 0 8 0 280327871 937422848 20711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7238] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7238/stat : 7238 (java) S 7229 7231 6145 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280327871 937422848 20711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7239] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7239/stat : 7239 (java) S 7229 7231 6145 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280327871 937422848 20711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.22
Current children cumulated vsize (KiB) 915452
[startup+102.516 s]
/proc/loadavg: 1.04 1.01 1.00 2/72 7239
/proc/meminfo: memFree=1241720/2055920 swapFree=4191892/4192956
[pid=7231] ppid=7229 vsize=915452 CPUtime=102.46
/proc/7231/stat : 7231 (java) R 7229 7231 6145 0 -1 0 20987 0 1 0 10195 51 0 0 25 0 8 0 280327863 937422848 20714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074019888 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7231/statm: 228863 20714 2536 14 0 215333 0
[pid=7231/tid=7233] ppid=7229 vsize=915452 CPUtime=0.12
/proc/7231/task/7233/stat : 7233 (java) S 7229 7231 6145 0 -1 64 3922 0 0 0 11 1 0 0 16 0 8 0 280327867 937422848 20714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7234] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7234/stat : 7234 (java) S 7229 7231 6145 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280327868 937422848 20714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7235] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7235/stat : 7235 (java) S 7229 7231 6145 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280327868 937422848 20714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7236] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7236/stat : 7236 (java) S 7229 7231 6145 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 280327871 937422848 20714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7237] ppid=7229 vsize=915452 CPUtime=0.28
/proc/7231/task/7237/stat : 7237 (java) S 7229 7231 6145 0 -1 64 438 0 0 0 26 2 0 0 16 0 8 0 280327871 937422848 20714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7238] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7238/stat : 7238 (java) S 7229 7231 6145 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280327871 937422848 20714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7239] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7239/stat : 7239 (java) S 7229 7231 6145 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280327871 937422848 20714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.46
Current children cumulated vsize (KiB) 915452
[startup+162.598 s]
/proc/loadavg: 1.01 1.01 1.00 2/72 7239
/proc/meminfo: memFree=1241656/2055920 swapFree=4191892/4192956
[pid=7231] ppid=7229 vsize=915452 CPUtime=162.53
/proc/7231/stat : 7231 (java) R 7229 7231 6145 0 -1 0 21006 0 1 0 16201 52 0 0 25 0 8 0 280327863 937422848 20723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074019875 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2024.32
Current children cumulated vsize (KiB) 915452
[startup+2085.2 s]
/proc/loadavg: 1.02 1.01 1.00 2/72 7439
/proc/meminfo: memFree=1241528/2055920 swapFree=4191892/4192956
[pid=7231] ppid=7229 vsize=915452 CPUtime=2084.39
/proc/7231/stat : 7231 (java) R 7229 7231 6145 0 -1 0 21012 0 1 0 208386 53 0 0 25 0 8 0 280327863 937422848 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074000214 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7231/statm: 228863 20727 2536 14 0 215333 0
[pid=7231/tid=7233] ppid=7229 vsize=915452 CPUtime=0.12
/proc/7231/task/7233/stat : 7233 (java) S 7229 7231 6145 0 -1 64 3922 0 0 0 11 1 0 0 16 0 8 0 280327867 937422848 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7234] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7234/stat : 7234 (java) S 7229 7231 6145 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280327868 937422848 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7235] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7235/stat : 7235 (java) S 7229 7231 6145 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280327868 937422848 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7236] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7236/stat : 7236 (java) S 7229 7231 6145 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 280327871 937422848 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7237] ppid=7229 vsize=915452 CPUtime=0.31
/proc/7231/task/7237/stat : 7237 (java) S 7229 7231 6145 0 -1 64 452 0 0 0 29 2 0 0 16 0 8 0 280327871 937422848 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7238] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7238/stat : 7238 (java) S 7229 7231 6145 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280327871 937422848 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7239] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7239/stat : 7239 (java) S 7229 7231 6145 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280327871 937422848 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2084.39
Current children cumulated vsize (KiB) 915452
[startup+2145.29 s]
/proc/loadavg: 1.01 1.00 1.00 2/72 7439
/proc/meminfo: memFree=1241528/2055920 swapFree=4191892/4192956
[pid=7231] ppid=7229 vsize=915452 CPUtime=2144.46
/proc/7231/stat : 7231 (java) R 7229 7231 6145 0 -1 0 21012 0 1 0 214393 53 0 0 25 0 8 0 280327863 937422848 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074082864 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7231/statm: 228863 20727 2536 14 0 215333 0
[pid=7231/tid=7233] ppid=7229 vsize=915452 CPUtime=0.12
/proc/7231/task/7233/stat : 7233 (java) S 7229 7231 6145 0 -1 64 3922 0 0 0 11 1 0 0 16 0 8 0 280327867 937422848 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7234] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7234/stat : 7234 (java) S 7229 7231 6145 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280327868 937422848 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7235] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7235/stat : 7235 (java) S 7229 7231 6145 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280327868 937422848 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7236] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7236/stat : 7236 (java) S 7229 7231 6145 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 280327871 937422848 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7237] ppid=7229 vsize=915452 CPUtime=0.31
/proc/7231/task/7237/stat : 7237 (java) S 7229 7231 6145 0 -1 64 452 0 0 0 29 2 0 0 16 0 8 0 280327871 937422848 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7238] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7238/stat : 7238 (java) S 7229 7231 6145 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280327871 937422848 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7239] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7239/stat : 7239 (java) S 7229 7231 6145 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280327871 937422848 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2144.46
Current children cumulated vsize (KiB) 915452
[startup+2205.37 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 7439
/proc/meminfo: memFree=1241592/2055920 swapFree=4191892/4192956
[pid=7231] ppid=7229 vsize=915452 CPUtime=2204.53
/proc/7231/stat : 7231 (java) R 7229 7231 6145 0 -1 0 21012 0 1 0 220400 53 0 0 25 0 8 0 280327863 937422848 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074047195 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7231/statm: 228863 20727 2536 14 0 215333 0
[pid=7231/tid=7233] ppid=7229 vsize=915452 CPUtime=0.12
/proc/7231/task/7233/stat : 7233 (java) S 7229 7231 6145 0 -1 64 3922 0 0 0 11 1 0 0 16 0 8 0 280327867 937422848 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7234] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7234/stat : 7234 (java) S 7229 7231 6145 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280327868 937422848 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7235] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7235/stat : 7235 (java) S 7229 7231 6145 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280327868 937422848 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7236] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7236/stat : 7236 (java) S 7229 7231 6145 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 280327871 937422848 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7237] ppid=7229 vsize=915452 CPUtime=0.31
/proc/7231/task/7237/stat : 7237 (java) S 7229 7231 6145 0 -1 64 452 0 0 0 29 2 0 0 16 0 8 0 280327871 937422848 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7238] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7238/stat : 7238 (java) S 7229 7231 6145 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280327871 937422848 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7239] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7239/stat : 7239 (java) R 7229 7231 6145 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280327871 937422848 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2204.53
Current children cumulated vsize (KiB) 915452
[startup+2265.45 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 7439
/proc/meminfo: memFree=1241592/2055920 swapFree=4191892/4192956
[pid=7231] ppid=7229 vsize=915452 CPUtime=2264.58
/proc/7231/stat : 7231 (java) R 7229 7231 6145 0 -1 0 21012 0 1 0 226405 53 0 0 25 0 8 0 280327863 937422848 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074000214 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7231/statm: 228863 20727 2536 14 0 215333 0
[pid=7231/tid=7233] ppid=7229 vsize=915452 CPUtime=0.12
/proc/7231/task/7233/stat : 7233 (java) S 7229 7231 6145 0 -1 64 3922 0 0 0 11 1 0 0 16 0 8 0 280327867 937422848 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7234] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7234/stat : 7234 (java) S 7229 7231 6145 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280327868 937422848 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7235] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7235/stat : 7235 (java) S 7229 7231 6145 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280327868 937422848 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7236] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7236/stat : 7236 (java) S 7229 7231 6145 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 280327871 937422848 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7237] ppid=7229 vsize=915452 CPUtime=0.31
/proc/7231/task/7237/stat : 7237 (java) S 7229 7231 6145 0 -1 64 452 0 0 0 29 2 0 0 16 0 8 0 280327871 937422848 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7238] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7238/stat : 7238 (java) S 7229 7231 6145 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280327871 937422848 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7239] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7239/stat : 7239 (java) S 7229 7231 6145 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280327871 937422848 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2264.58
Current children cumulated vsize (KiB) 915452
[startup+2325.53 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 7439
/proc/meminfo: memFree=1241592/2055920 swapFree=4191892/4192956
[pid=7231] ppid=7229 vsize=915452 CPUtime=2324.64
/proc/7231/stat : 7231 (java) R 7229 7231 6145 0 -1 0 21012 0 1 0 232411 53 0 0 25 0 8 0 280327863 937422848 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074017700 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7231/statm: 228863 20727 2536 14 0 215333 0
[pid=7231/tid=7233] ppid=7229 vsize=915452 CPUtime=0.12
/proc/7231/task/7233/stat : 7233 (java) S 7229 7231 6145 0 -1 64 3922 0 0 0 11 1 0 0 16 0 8 0 280327867 937422848 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7234] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7234/stat : 7234 (java) S 7229 7231 6145 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280327868 937422848 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7235] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7235/stat : 7235 (java) S 7229 7231 6145 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280327868 937422848 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7236] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7236/stat : 7236 (java) S 7229 7231 6145 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 280327871 937422848 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7237] ppid=7229 vsize=915452 CPUtime=0.31
/proc/7231/task/7237/stat : 7237 (java) S 7229 7231 6145 0 -1 64 452 0 0 0 29 2 0 0 16 0 8 0 280327871 937422848 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7238] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7238/stat : 7238 (java) S 7229 7231 6145 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280327871 937422848 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7239] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7239/stat : 7239 (java) S 7229 7231 6145 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280327871 937422848 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2324.64
Current children cumulated vsize (KiB) 915452
[startup+2385.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 7439
/proc/meminfo: memFree=1241528/2055920 swapFree=4191892/4192956
[pid=7231] ppid=7229 vsize=915452 CPUtime=2384.7
/proc/7231/stat : 7231 (java) R 7229 7231 6145 0 -1 0 21012 0 1 0 238417 53 0 0 25 0 8 0 280327863 937422848 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074018466 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7231/statm: 228863 20727 2536 14 0 215333 0
[pid=7231/tid=7233] ppid=7229 vsize=915452 CPUtime=0.12
/proc/7231/task/7233/stat : 7233 (java) S 7229 7231 6145 0 -1 64 3922 0 0 0 11 1 0 0 16 0 8 0 280327867 937422848 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7234] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7234/stat : 7234 (java) S 7229 7231 6145 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280327868 937422848 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7235] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7235/stat : 7235 (java) S 7229 7231 6145 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280327868 937422848 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7236] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7236/stat : 7236 (java) S 7229 7231 6145 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 280327871 937422848 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7237] ppid=7229 vsize=915452 CPUtime=0.31
/proc/7231/task/7237/stat : 7237 (java) S 7229 7231 6145 0 -1 64 452 0 0 0 29 2 0 0 16 0 8 0 280327871 937422848 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7238] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7238/stat : 7238 (java) S 7229 7231 6145 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280327871 937422848 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7239] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7239/stat : 7239 (java) S 7229 7231 6145 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280327871 937422848 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2384.7
Current children cumulated vsize (KiB) 915452
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.92 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 7439
/proc/meminfo: memFree=1241528/2055920 swapFree=4191892/4192956
[pid=7231] ppid=7229 vsize=915452 CPUtime=2400.01
/proc/7231/stat : 7231 (java) R 7229 7231 6145 0 -1 0 21012 0 1 0 239948 53 0 0 25 0 8 0 280327863 937422848 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074047214 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7231/statm: 228863 20727 2536 14 0 215333 0
[pid=7231/tid=7233] ppid=7229 vsize=915452 CPUtime=0.12
/proc/7231/task/7233/stat : 7233 (java) S 7229 7231 6145 0 -1 64 3922 0 0 0 11 1 0 0 16 0 8 0 280327867 937422848 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7234] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7234/stat : 7234 (java) S 7229 7231 6145 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280327868 937422848 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7235] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7235/stat : 7235 (java) S 7229 7231 6145 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280327868 937422848 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7236] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7236/stat : 7236 (java) S 7229 7231 6145 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 280327871 937422848 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7237] ppid=7229 vsize=915452 CPUtime=0.31
/proc/7231/task/7237/stat : 7237 (java) S 7229 7231 6145 0 -1 64 452 0 0 0 29 2 0 0 16 0 8 0 280327871 937422848 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7238] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7238/stat : 7238 (java) S 7229 7231 6145 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280327871 937422848 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7231/tid=7239] ppid=7229 vsize=915452 CPUtime=0
/proc/7231/task/7239/stat : 7239 (java) S 7229 7231 6145 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280327871 937422848 20727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 915452
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2400.96
CPU time (s): 2400.05
CPU user time (s): 2399.51
CPU system time (s): 0.547916
CPU usage (%): 99.9624
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.51
system time used= 0.547916
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21031
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= 49649
involuntary context switches= 28331
runsolver used 2.41363 s user time and 6.11607 s system time
The end
Begin job on node61 on Sat Jan 20 18:55:00 UTC 2007
IDJOB= 282493
IDBENCH= 12857
IDSOLVER= 68
FILE ID= node61/282493-1169319300
PBS_JOBID= 3610260
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/celar/graphs/graphw-06_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282493-1169319300/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-282493-1169319300 -o ROOT/results/node61/solver-282493-1169319300 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282493-1169319300/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 46922bec33b2d2f173d4b9ae8ecb3e22
RANDOM SEED= 537586666
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.259
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.259
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: 1315088 kB
Buffers: 55544 kB
Cached: 590044 kB
SwapCached: 480 kB
Active: 111500 kB
Inactive: 549176 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1315088 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 4004 kB
Writeback: 0 kB
Mapped: 23804 kB
Slab: 66312 kB
Committed_AS: 5616744 kB
PageTables: 1388 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 node61 on Sat Jan 20 19:35:01 UTC 2007