0.00/0.00 c PicoSATLight Version 236 3e7a3f8825c0b9e241f38a63fee5517540b2feca
0.00/0.00 c Copyright (C) 2009, Armin Biere, JKU, Linz, Austria. All rights reserved.
0.00/0.00 c Released on Sun Mar 22 10:16:26 CET 2009
0.00/0.00 c Compiled on Tue Mar 24 21:24:39 CET 2009
0.00/0.00 c g++ (GCC) 4.3.2 20081105 (Red Hat 4.3.2-7)
0.00/0.00 c -O3 -m32 -static -Wall -Wextra -DNDEBUG -DNLOGPRECO -DNSTATSPRECO
0.00/0.00 c -finline-limit=10000000 -fomit-frame-pointer -fno-exceptions
0.00/0.00 c Linux baghera 2.6.27.19-170.2.35.fc10.i686.PAE i686
0.00/0.00 c
0.00/0.00 c reading HOME/instance-1773221-1241194069.cnf
0.00/0.00 c found header 'p cnf 151669 2465731'
6.60/6.62 c finished parsing
6.60/6.62 c
6.60/6.62 c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
6.60/6.62 c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
6.60/6.62 c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
6.60/6.62 c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
6.60/6.62 c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
6.60/6.62 c --random=1 --spread=2000 --seed=0 --skip=25
6.60/6.62 c
6.60/6.62 c sizeof vars[0] = 16 alignment = 0 2 MB
6.60/6.62 c sizeof orgs[0] = 8 alignment = 0 1 MB
6.60/6.62 c sizeof occs[0] = 8 alignment = 0 1 MB
6.60/6.62 c sizeof iirfs[0..1] = 8 alignment = 0 1 MB
6.60/6.62 c
6.60/6.62 c starting search after 6.6 seconds
6.60/6.62 c no decision limit
6.69/6.77 c
6.69/6.77 c original/binary fixed eliminated learned agility
6.69/6.77 c seconds variables equivalent conflicts height MB
6.69/6.77 c
6.69/6.77 c * 6.8 2465730 151668 1 0 0 0 0 0.0 0 183
28.28/28.32 c s 28.3 1922902 95766 19305 4 36594 0 0 0.0 0 148
28.28/28.32 c l 28.3 1922902 95766 19305 4 36594 0 229961 0.0 0 148
28.59/28.64 c R 28.6 1925502 95766 19305 4 36594 101 101 2774.3 1 152
28.68/28.74 c R 28.7 1926027 95766 19305 4 36594 203 203 2224.9 1 152
30.48/30.53 c R 30.5 1941205 94193 20878 4 36594 804 804 2754.7 4 155
31.79/31.83 c B 31.8 1963629 93015 22046 14 36594 1000 1000 2727.5 3 156
36.68/36.76 c B 36.8 2019141 92225 22363 487 36594 2000 1999 2616.9 2 160
37.98/38.09 c R 38.1 2027895 92103 22365 607 36594 2406 2402 2562.8 1 161
46.07/46.18 c R 46.2 2094656 91872 22563 640 36594 6418 6408 2733.4 2 166
48.67/48.78 c B 48.8 2111183 91849 22567 659 36594 8003 7972 2716.3 6 167
66.76/66.83 c R 66.8 2278067 91723 22670 682 36594 16041 15994 2735.8 2 177
77.06/77.19 c B 77.2 2337113 91711 22670 694 36594 24006 23927 2724.6 1 183
89.14/89.27 c s 89.2 1956807 91489 22670 714 36796 27139 27002 2719.7 3 155
89.14/89.27 c - 89.2 1956807 91489 22670 714 36796 27139 213864 2719.7 3 155
109.84/109.90 c R 109.8 1968903 91345 22770 758 36796 38490 38332 2677.5 1 165
154.11/154.29 c s 154.2 2033854 89595 24439 836 36799 61000 60582 2693.7 1 168
154.11/154.29 c - 154.2 2033854 89595 24439 836 36799 61000 211726 2693.7 1 168
156.32/156.48 c B 156.4 2036776 89560 24474 836 36799 64015 63597 2701.8 2 171
191.51/191.63 c
191.51/191.63 c original/binary fixed eliminated learned agility
191.51/191.63 c seconds variables equivalent conflicts height MB
191.51/191.63 c
191.51/191.63 c R 191.5 2132672 87620 26129 1121 36799 89814 89378 2669.5 0 190
231.98/232.15 c s 232.0 2127041 87494 26172 1199 36804 108735 107496 2667.9 1 186
231.98/232.15 c - 232.0 2127041 87494 26172 1199 36804 108735 205375 2667.9 1 186
319.45/319.68 c s 319.5 2190473 86848 26572 1332 36917 145529 139769 2681.9 1 197
319.45/319.68 c - 319.5 2190473 86848 26572 1332 36917 145529 199214 2681.9 1 197
336.14/336.33 c B 336.2 2208700 86784 26605 1363 36917 160041 154276 2678.4 1 210
412.22/412.42 c s 412.2 2266665 86552 26799 1401 36917 193793 187873 2641.4 0 214
412.22/412.42 c - 412.2 2266665 86552 26799 1401 36917 193793 197222 2641.4 0 214
420.21/420.42 c + 420.2 2273166 86542 26804 1406 36917 197223 216944 2634.4 2 222
547.55/547.87 c s 547.6 2329140 86349 26959 1444 36917 238846 216994 2648.8 0 228
547.55/547.87 c - 547.6 2329140 86349 26959 1444 36917 238846 214775 2648.8 0 228
557.35/557.62 c + 557.4 2339587 86329 26976 1447 36917 244060 236252 2643.8 0 237
679.19/679.57 c s 679.3 2400956 86156 27119 1477 36917 287667 236308 2634.0 1 255
712.08/712.47 c + 712.2 2427920 85785 27474 1493 36917 305077 259877 2620.8 3 268
792.85/793.23 c s 792.9 2327679 81495 27975 1519 40680 336725 230968 2594.8 1 233
792.85/793.23 c - 792.9 2327679 81495 27975 1519 40680 336725 252081 2594.8 1 233
848.23/848.63 c + 848.3 2371708 81189 28256 1544 40680 369908 277289 2581.3 1 273
871.31/871.77 c B 871.4 2390111 81048 28387 1554 40680 384085 266345 2572.3 3 281
894.51/894.92 c s 894.5 2355736 80567 28468 1558 41076 389082 270974 2570.5 1 250
937.09/937.58 c
937.09/937.58 c original/binary fixed eliminated learned agility
937.09/937.58 c seconds variables equivalent conflicts height MB
937.09/937.58 c
937.09/937.58 c R 937.2 2397712 80289 28740 1564 41076 415618 277436 2549.8 2 284
999.26/999.74 c s 999.3 2403464 79891 28995 1582 41201 447624 276550 2529.7 1 277
1030.95/1031.42 c + 1031.0 2433689 79729 29154 1585 41201 462386 305017 2516.4 3 291
1117.52/1118.09 c s 1117.6 2444938 78986 29551 1636 41496 498022 302614 2486.6 1 285
1117.52/1118.09 c - 1117.6 2444938 78986 29551 1636 41496 498022 301967 2486.6 1 285
1241.06/1241.67 c s 1241.1 2497630 78405 30108 1658 41498 551644 297324 2460.9 5 284
1285.74/1286.39 c + 1285.8 2526046 78162 30348 1661 41498 572201 332163 2450.0 3 303
1361.89/1362.50 c s 1361.9 2550893 77688 30810 1671 41500 600353 330297 2438.7 1 300
1487.72/1488.47 c s 1487.8 2602884 76926 31485 1728 41530 661558 331872 2416.8 0 303
1501.52/1502.29 c R 1501.6 2616669 76759 31645 1735 41530 671933 332189 2414.6 1 313
1580.19/1580.95 c + 1580.3 2706437 76106 32282 1751 41530 715250 365379 2395.0 1 327
1617.18/1617.97 c s 1617.3 2663973 76021 32314 1757 41577 725538 337813 2389.3 1 308
1775.72/1776.55 c s 1775.8 2630621 74096 32631 3280 41662 796284 363927 2380.6 1 318
1775.72/1776.55 c - 1775.8 2630621 74096 32631 3280 41662 796284 321534 2380.6 1 318
1775.72/1776.55 c + 1775.8 2630621 74096 32631 3280 41662 796284 353687 2380.6 1 318
1921.66/1922.57 c s 1921.7 2612254 73843 32631 3496 41699 884205 351943 2367.5 2 318
1942.25/1943.10 c B 1942.2 2613532 73837 32631 3502 41699 896181 353924 2365.0 4 328
2062.29/2063.27 c s 2062.4 2619575 73816 32634 3515 41704 973175 353755 2345.7 0 317
2098.08/2099.02 c + 2098.1 2623687 73811 32634 3520 41704 995355 389055 2338.2 1 329
2222.82/2223.87 c
2222.82/2223.87 c original/binary fixed eliminated learned agility
2222.82/2223.87 c seconds variables equivalent conflicts height MB
2222.82/2223.87 c
2222.82/2223.87 c s 2222.9 2635939 73793 32637 3533 41706 1058602 388406 2323.6 2 331
2222.82/2223.87 c - 2222.9 2635939 73793 32637 3533 41706 1058602 385165 2323.6 2 331
2388.57/2389.63 c s 2388.6 2591993 73542 32871 3549 41707 1138226 385119 2301.6 1 318
2522.41/2523.51 c + 2522.4 2608309 73536 32874 3552 41707 1231749 423681 2275.3 1 343
2527.81/2529.00 c R 2527.9 2609048 73536 32874 3552 41707 1235823 389273 2274.2 2 344
2547.00/2548.16 c s 2547.1 2606585 73533 32874 3552 41710 1238384 362602 2273.3 1 308
2720.12/2721.32 c s 2720.2 2621735 73518 32886 3555 41710 1341763 423565 2250.3 0 321
2875.06/2876.31 c s 2875.1 2642617 73503 32897 3559 41710 1434477 424164 2234.7 1 318
3050.39/3051.79 c s 3050.5 2660937 73491 32904 3564 41710 1521937 423326 2214.9 0 326
3081.17/3082.53 c + 3081.2 2663505 73488 32906 3565 41710 1539686 466049 2210.0 1 345
3239.10/3240.59 c s 3239.2 2645949 73082 33010 3574 42003 1610132 446494 2202.1 1 336
3239.10/3240.59 c - 3239.2 2645949 73082 33010 3574 42003 1610132 461389 2202.1 1 336
3412.01/3413.58 c s 3412.1 2656008 72907 33013 3585 42164 1685913 461193 2194.5 1 340
3602.51/3604.13 c s 3602.5 2658528 72810 33026 3593 42240 1775450 461530 2181.1 1 346
3768.93/3770.63 c s 3769.0 2662892 72791 33038 3600 42240 1877015 461501 2163.8 2 333
3808.62/3810.31 c + 3808.6 2664265 72778 33049 3602 42240 1905360 507527 2159.4 1 344
3919.37/3921.12 c s 3919.4 2665782 72758 33061 3610 42240 1973072 507618 2151.4 1 347
4029.12/4030.93 c B 4029.2 2669852 72734 33082 3613 42240 2048322 507669 2143.6 1 367
4089.39/4091.23 c s 4089.4 2669779 72722 33089 3618 42240 2081715 507600 2138.4 1 352
4250.94/4252.81 c
4250.94/4252.81 c original/binary fixed eliminated learned agility
4250.94/4252.81 c seconds variables equivalent conflicts height MB
4250.94/4252.81 c
4250.94/4252.81 c s 4251.0 2672544 72624 33175 3630 42240 2190234 507645 2122.4 1 359
4468.24/4470.24 c s 4468.3 2678165 72549 33225 3655 42240 2289498 507650 2109.0 1 372
4640.36/4642.45 c + 4640.4 2684798 72417 33319 3693 42240 2381700 558279 2101.5 1 405
4682.25/4684.31 c s 4682.3 2680763 72390 33338 3701 42240 2390602 516300 2100.1 2 376
4885.95/4888.14 c s 4886.0 2679285 72183 33518 3728 42240 2496579 558259 2084.0 2 381
5105.97/5108.28 c s 5106.1 2679314 72027 33641 3761 42240 2598551 558016 2074.9 1 369
5297.78/5300.16 c s 5297.9 2639424 71075 33695 3769 43130 2716335 556006 2059.8 0 359
5484.81/5487.25 c s 5484.9 2625569 70847 33739 3774 43309 2806054 558032 2051.9 2 357
5682.02/5684.54 c s 5682.1 2621158 70704 33834 3778 43353 2907580 549936 2039.3 1 349
5798.46/5801.09 c + 5798.6 2625381 70670 33862 3784 43353 2977126 614106 2030.6 2 371
5878.54/5881.16 c s 5878.6 2152380 63506 39124 4511 44528 3008900 326176 2027.1 1 254
5878.54/5881.16 c - 5878.6 2152380 63506 39124 4511 44528 3008900 491285 2027.1 1 254
5878.54/5881.16 c + 5878.6 2152380 63506 39124 4511 44528 3008900 540413 2027.1 1 254
6019.78/6022.49 c s 6019.9 2152583 63109 39124 4701 44735 3086509 363236 2019.7 1 262
6019.78/6022.49 c - 6019.9 2152583 63109 39124 4701 44735 3086509 535009 2019.7 1 262
6132.12/6134.89 c s 6132.2 2149678 62882 39124 4790 44873 3161003 433425 2012.3 1 280
6256.47/6259.23 c s 6256.5 2147154 62576 39147 4970 44976 3253734 525506 2004.0 1 312
6413.69/6416.52 c s 6413.7 2056531 61573 39734 5003 45359 3347041 534478 1994.9 1 311
6413.69/6416.52 c - 6413.7 2056531 61573 39734 5003 45359 3347041 529659 1994.9 1 311
6572.92/6575.86 c
6572.92/6575.86 c original/binary fixed eliminated learned agility
6572.92/6575.86 c seconds variables equivalent conflicts height MB
6572.92/6575.86 c
6572.92/6575.86 c s 6573.0 2056876 61495 39737 5054 45383 3425248 529631 1986.9 4 303
6722.95/6725.90 c s 6723.0 2053976 61461 39737 5076 45395 3506205 529660 1979.2 1 305
6886.38/6889.45 c s 6886.4 2059731 61435 39737 5102 45395 3589111 529685 1970.9 1 307
7040.29/7043.49 c s 7040.4 2064287 61299 39749 5220 45401 3666202 423401 1963.3 1 257
7066.38/7069.57 c + 7066.5 2065614 61261 39752 5255 45401 3686279 582624 1962.2 1 273
7156.14/7159.30 c s 7156.2 2066975 61133 39764 5371 45401 3748338 505509 1956.2 1 278
7310.98/7314.22 c s 7311.0 2050312 60790 40062 5413 45404 3833964 515914 1948.4 0 281
7310.98/7314.22 c - 7311.0 2050312 60790 40062 5413 45404 3833964 576798 1948.4 0 281
7475.10/7478.47 c s 7475.2 2053576 60783 40063 5419 45404 3911571 576841 1941.9 0 301
7636.73/7640.15 c - 7636.8 1970405 59262 41376 5626 45405 3997007 571031 1933.9 1 295
7642.53/7645.93 c s 7642.6 1950354 58067 41376 5626 46600 3997007 476475 1933.9 1 275
7642.53/7645.93 c - 7642.6 1950354 58067 41376 5626 46600 3997007 531059 1933.9 1 275
7801.77/7805.29 c s 7801.9 1948633 57509 41376 6066 46718 4067732 530412 1926.5 1 290
7801.77/7805.29 c - 7801.9 1948633 57509 41376 6066 46718 4067732 520438 1926.5 1 290
7902.31/7905.84 c + 7902.4 1952902 57408 41376 6167 46718 4116020 572481 1923.5 1 310
7955.39/7958.93 c s 7955.4 1943989 57205 41380 6227 46857 4140668 545152 1921.7 1 292
7955.39/7958.93 c - 7955.4 1943989 57205 41380 6227 46857 4140668 566757 1921.7 1 292
8088.53/8092.13 c s 8088.6 1947011 57046 41387 6379 46857 4224317 566901 1914.7 1 300
8088.53/8092.13 c - 8088.6 1947011 57046 41387 6379 46857 4224317 561090 1914.7 1 300
8208.57/8212.21 c
8208.57/8212.21 c original/binary fixed eliminated learned agility
8208.57/8212.21 c seconds variables equivalent conflicts height MB
8208.57/8212.21 c
8208.57/8212.21 c s 8208.6 1809957 54410 42764 7638 46857 4293850 477660 1909.9 1 270
8208.57/8212.21 c - 8208.6 1809957 54410 42764 7638 46857 4293850 521814 1909.9 1 270
8329.02/8332.79 c s 8329.1 1812508 54076 42764 7972 46857 4375672 521894 1902.9 1 279
8459.56/8463.39 c s 8459.7 1810853 53769 42770 8050 47080 4461799 507522 1895.0 0 271
8599.09/8602.94 c s 8599.1 1812680 53515 42772 8302 47080 4545064 521940 1886.7 1 276
8697.45/8701.35 c B 8697.5 1815546 53327 42773 8489 47080 4608589 521953 1880.9 1 302
8745.64/8749.54 c s 8745.7 1814805 53043 42778 8768 47080 4632856 521832 1878.8 0 277
8833.89/8837.82 c + 8833.9 1816528 52616 42786 9187 47080 4689656 573995 1874.8 1 299
8880.57/8884.52 c - 8880.6 1808470 52509 42786 9294 47080 4719141 568256 1872.9 0 284
8889.67/8893.69 c s 8889.8 1647939 46887 42786 9294 52702 4719141 517012 1872.9 0 261
8889.67/8893.69 c - 8889.8 1647939 46887 42786 9294 52702 4719141 522796 1872.9 0 261
9035.90/9039.91 c s 9035.9 1649382 46731 42786 9434 52718 4808980 521670 1864.1 1 262
9180.14/9184.22 c s 9180.2 1647950 46438 42787 9635 52809 4892592 522452 1857.7 1 260
9309.49/9313.69 c s 9309.6 1666996 46243 42788 9829 52809 4976644 522611 1854.9 0 258
9429.14/9433.33 c s 9429.2 1704705 46198 42791 9871 52809 5057541 522871 1849.5 1 256
9587.77/9592.04 c s 9587.8 1704976 46197 42791 9872 52809 5149707 522853 1843.4 1 258
9742.81/9747.10 c s 9742.8 1705474 46193 42793 9874 52809 5227917 522828 1837.2 1 255
9900.02/9904.43 c s 9900.1 1689243 45898 43066 9896 52809 5318556 520770 1830.1 1 255
9900.02/9904.43 c - 9900.1 1689243 45898 43066 9896 52809 5318556 517569 1830.1 1 255
9900.02/9904.43 c
9900.02/9904.43 c original/binary fixed eliminated learned agility
9900.02/9904.43 c seconds variables equivalent conflicts height MB
9900.02/9904.43 c
9900.02/9904.43 c + 9900.1 1689243 45898 43066 9896 52809 5318556 569325 1830.1 1 255
10000.07/10004.51 c
10000.07/10004.51 c *** CAUGHT SIGNAL 15 ***
10000.07/10004.51 c
10000.07/10004.51 c 5371149 conflicts, 155900496 decisions, 77532 random
10000.07/10004.51 c 13 iterations, 11560 restarts, 0 skipped
10000.07/10004.51 c 19 enlarged, 13347 shrunken, 52431 rescored, 1115 rebiased
10000.07/10004.51 c 68 simplifications, 0 reductions
10000.07/10004.51 c
10000.07/10004.51 c vars: 43067 fixed, 9923 equiv, 52809 elim, 10139 merged
10000.07/10004.51 c elim: 27424953 resolutions, 68 phases, 3 rounds
10000.07/10004.51 c sbst: 61% substituted, 0.6% nots, 90.4% ands, 0.0% xors, 9.0% ites
10000.07/10004.51 c arty: 14.55 and 0.00 xor average arity
10000.07/10004.51 c prbe: 572672 probed, 6149 phases, 4 rounds
10000.07/10004.51 c prbe: 6618 failed, 22615 lifted, 284 merged
10000.07/10004.51 c sccs: 660 non trivial, 0 fixed, 774 merged
10000.07/10004.51 c hash: 57 units, 9081 merged
10000.07/10004.51 c mins: 359108850 learned, 42% deleted, 55 strong, 86 depth
10000.07/10004.51 c subs: 33510 forward, 109034 backward, 1024791 doms
10000.07/10004.51 c strs: 139749 forward, 3570 backward
10000.07/10004.51 c doms: 1041306 dominators, 985351 high, 1712 low
10000.07/10004.51 c prps: 7247148278 propagations, 0.72 megaprops
10000.07/10004.51 c
10000.07/10004.51 c 10000.1 seconds, 411 MB max, 1503 MB recycled
10000.07/10004.51 c
10000.07/10004.51 c *** CAUGHT SIGNAL 15 ***
10000.07/10004.51 c
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1773221-1241194069/watcher-1773221-1241194069 -o /tmp/evaluation-result-1773221-1241194069/solver-1773221-1241194069 -C 10000 -W 12000 -M 1800 HOME/precosat HOME/instance-1773221-1241194069.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.95 0.90 3/64 23959
/proc/meminfo: memFree=1100344/2055920 swapFree=4180748/4192956
[pid=23959] ppid=23957 vsize=5536 CPUtime=0
/proc/23959/stat : 23959 (precosat) R 23957 23959 23922 0 -1 4194304 991 0 0 0 0 0 0 0 18 0 1 0 147440690 5668864 976 1992294400 134512640 135151029 4294956240 18446744073709551615 134697845 0 0 4096 0 0 0 0 17 0 0 0
/proc/23959/statm: 1384 983 58 155 0 1227 0
[startup+0.098978 s]
/proc/loadavg: 0.92 0.95 0.90 3/64 23959
/proc/meminfo: memFree=1100344/2055920 swapFree=4180748/4192956
[pid=23959] ppid=23957 vsize=17160 CPUtime=0.08
/proc/23959/stat : 23959 (precosat) R 23957 23959 23922 0 -1 4194304 4195 0 0 0 7 1 0 0 18 0 1 0 147440690 17571840 4082 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23959/statm: 4290 4083 63 155 0 4133 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 17160
[startup+0.101977 s]
/proc/loadavg: 0.92 0.95 0.90 3/64 23959
/proc/meminfo: memFree=1100344/2055920 swapFree=4180748/4192956
[pid=23959] ppid=23957 vsize=17292 CPUtime=0.1
/proc/23959/stat : 23959 (precosat) R 23957 23959 23922 0 -1 4194304 4232 0 0 0 8 2 0 0 18 0 1 0 147440690 17707008 4119 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23959/statm: 4323 4120 63 155 0 4166 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 17292
[startup+0.301999 s]
/proc/loadavg: 0.92 0.95 0.90 3/64 23959
/proc/meminfo: memFree=1100344/2055920 swapFree=4180748/4192956
[pid=23959] ppid=23957 vsize=26456 CPUtime=0.29
/proc/23959/stat : 23959 (precosat) R 23957 23959 23922 0 -1 4194304 6650 0 0 0 26 3 0 0 20 0 1 0 147440690 27090944 6408 1992294400 134512640 135151029 4294956240 18446744073709551615 134579313 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23959/statm: 6614 6408 63 155 0 6457 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26456
[startup+0.701046 s]
/proc/loadavg: 0.92 0.95 0.90 3/64 23959
/proc/meminfo: memFree=1100344/2055920 swapFree=4180748/4192956
[pid=23959] ppid=23957 vsize=38800 CPUtime=0.69
/proc/23959/stat : 23959 (precosat) R 23957 23959 23922 0 -1 4194304 10461 0 0 0 64 5 0 0 23 0 1 0 147440690 39731200 9449 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23959/statm: 9700 9450 63 155 0 9543 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38800
[startup+1.50114 s]
/proc/loadavg: 0.92 0.95 0.90 2/65 23960
/proc/meminfo: memFree=1052464/2055920 swapFree=4180748/4192956
[pid=23959] ppid=23957 vsize=63752 CPUtime=1.49
/proc/23959/stat : 23959 (precosat) R 23957 23959 23922 0 -1 4194304 17706 0 0 0 141 8 0 0 25 0 1 0 147440690 65282048 15669 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23959/statm: 15938 15669 63 155 0 15781 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 63752
[startup+3.10132 s]
/proc/loadavg: 0.92 0.95 0.90 2/65 23960
/proc/meminfo: memFree=1016624/2055920 swapFree=4180748/4192956
[pid=23959] ppid=23957 vsize=110456 CPUtime=3.09
/proc/23959/stat : 23959 (precosat) R 23957 23959 23922 0 -1 4194304 31320 0 0 0 294 15 0 0 25 0 1 0 147440690 113106944 27234 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23959/statm: 27614 27234 63 155 0 27457 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 110456
[startup+6.30268 s]
/proc/loadavg: 1.01 0.97 0.91 2/65 23960
/proc/meminfo: memFree=926128/2055920 swapFree=4180748/4192956
[pid=23959] ppid=23957 vsize=199284 CPUtime=6.29
/proc/23959/stat : 23959 (precosat) R 23957 23959 23922 0 -1 4194304 57283 0 0 0 599 30 0 0 25 0 1 0 147440690 204066816 49100 1992294400 134512640 135151029 4294956240 18446744073709551615 134698015 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23959/statm: 49821 49100 63 155 0 49664 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 199284
[startup+12.7014 s]
/proc/loadavg: 1.01 0.97 0.91 2/65 23960
/proc/meminfo: memFree=899128/2055920 swapFree=4180748/4192956
[pid=23959] ppid=23957 vsize=209696 CPUtime=12.69
/proc/23959/stat : 23959 (precosat) R 23957 23959 23922 0 -1 4194304 80655 0 0 0 1228 41 0 0 25 0 1 0 147440690 214728704 51771 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23959/statm: 52424 51771 79 155 0 52267 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 209696
[startup+25.5019 s]
/proc/loadavg: 1.00 0.97 0.91 2/65 23960
/proc/meminfo: memFree=864440/2055920 swapFree=4180748/4192956
[pid=23959] ppid=23957 vsize=242204 CPUtime=25.49
/proc/23959/stat : 23959 (precosat) R 23957 23959 23922 0 -1 4194304 88040 0 0 0 2504 45 0 0 25 0 1 0 147440690 248016896 59156 1992294400 134512640 135151029 4294956240 18446744073709551615 134564439 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23959/statm: 60551 59156 79 155 0 60394 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 242204
[startup+51.1018 s]
/proc/loadavg: 1.00 0.97 0.91 2/65 23960
/proc/meminfo: memFree=871032/2055920 swapFree=4180748/4192956
[pid=23959] ppid=23957 vsize=235228 CPUtime=51.07
/proc/23959/stat : 23959 (precosat) R 23957 23959 23922 0 -1 4194304 96214 0 0 0 5058 49 0 0 25 0 1 0 147440690 240873472 57480 1992294400 134512640 135151029 4294956240 18446744073709551615 134567864 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23959/statm: 58807 57480 79 155 0 58650 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 235228
[startup+102.306 s]
/proc/loadavg: 1.00 0.97 0.91 2/65 23960
/proc/meminfo: memFree=870520/2055920 swapFree=4180748/4192956
[pid=23959] ppid=23957 vsize=235228 CPUtime=102.24
/proc/23959/stat : 23959 (precosat) R 23957 23959 23922 0 -1 4194304 122532 0 0 0 10162 62 0 0 25 0 1 0 147440690 240873472 57602 1992294400 134512640 135151029 4294956240 18446744073709551615 134567824 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23959/statm: 58807 57602 79 155 0 58650 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 235228
[startup+162.301 s]
/proc/loadavg: 1.00 0.97 0.91 2/65 23960
/proc/meminfo: memFree=867576/2055920 swapFree=4180748/4192956
[pid=23959] ppid=23957 vsize=237260 CPUtime=162.22
/proc/23959/stat : 23959 (precosat) R 23957 23959 23922 0 -1 4194304 149322 0 0 0 16147 75 0 0 25 0 1 0 147440690 242954240 58324 1992294400 134512640 135151029 4294956240 18446744073709551615 134551371 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23959/statm: 59315 58324 79 155 0 59158 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 237260
[startup+222.301 s]
/proc/loadavg: 1.00 0.97 0.91 2/65 23960
/proc/meminfo: memFree=883896/2055920 swapFree=4180748/4192956
[pid=23959] ppid=23957 vsize=220876 CPUtime=222.18
/proc/23959/stat : 23959 (precosat) R 23957 23959 23922 0 -1 4194304 149930 0 0 0 22143 75 0 0 25 0 1 0 147440690 226177024 54242 1992294400 134512640 135151029 4294956240 18446744073709551615 134521599 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23959/statm: 55219 54242 79 155 0 55062 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 220876
[startup+282.301 s]
/proc/loadavg: 1.00 0.97 0.91 2/65 23960
/proc/meminfo: memFree=854584/2055920 swapFree=4180748/4192956
[pid=23959] ppid=23957 vsize=250544 CPUtime=282.16
/proc/23959/stat : 23959 (precosat) R 23957 23959 23922 0 -1 4194304 176848 0 0 0 28129 87 0 0 25 0 1 0 147440690 256557056 61577 1992294400 134512640 135151029 4294956240 18446744073709551615 134551629 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23959/statm: 62636 61577 79 155 0 62479 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 250544
[startup+342.302 s]
/proc/loadavg: 1.00 0.97 0.91 2/65 23960
/proc/meminfo: memFree=841464/2055920 swapFree=4180748/4192956
[pid=23959] ppid=23957 vsize=263480 CPUtime=342.14
/proc/23959/stat : 23959 (precosat) R 23957 23959 23922 0 -1 4194304 200374 0 0 0 34115 99 0 0 25 0 1 0 147440690 269803520 64835 1992294400 134512640 135151029 4294956240 18446744073709551615 134554500 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23959/statm: 65870 64835 79 155 0 65713 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 263480
[startup+402.302 s]
/proc/loadavg: 1.00 0.97 0.91 2/65 23960
/proc/meminfo: memFree=823864/2055920 swapFree=4180748/4192956
[pid=23959] ppid=23957 vsize=281644 CPUtime=402.11
/proc/23959/stat : 23959 (precosat) R 23957 23959 23922 0 -1 4194304 219661 0 0 0 40103 108 0 0 25 0 1 0 147440690 288403456 69267 1992294400 134512640 135151029 4294956240 18446744073709551615 134526328 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23959/statm: 70411 69267 79 155 0 70254 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 281644
[startup+462.302 s]
/proc/loadavg: 1.00 0.97 0.91 2/65 23960
/proc/meminfo: memFree=837048/2055920 swapFree=4180748/4192956
[pid=23959] ppid=23957 vsize=267784 CPUtime=462.09
/proc/23959/stat : 23959 (precosat) R 23957 23959 23922 0 -1 4194304 227393 0 0 0 46096 113 0 0 25 0 1 0 147440690 274210816 66004 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23959/statm: 66946 66004 79 155 0 66789 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 267784
[startup+522.301 s]
/proc/loadavg: 1.00 0.97 0.91 2/65 23960
/proc/meminfo: memFree=810744/2055920 swapFree=4180748/4192956
[pid=23959] ppid=23957 vsize=294584 CPUtime=522.07
/proc/23959/stat : 23959 (precosat) R 23957 23959 23922 0 -1 4194304 250675 0 0 0 52083 124 0 0 25 0 1 0 147440690 301654016 72553 1992294400 134512640 135151029 4294956240 18446744073709551615 134526284 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23959/statm: 73646 72553 79 155 0 73489 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 294584
[startup+582.301 s]
/proc/loadavg: 1.00 0.97 0.91 2/65 23960
/proc/meminfo: memFree=827512/2055920 swapFree=4180748/4192956
[pid=23959] ppid=23957 vsize=277292 CPUtime=582.03
/proc/23959/stat : 23959 (precosat) R 23957 23959 23922 0 -1 4194304 259160 0 0 0 58074 129 0 0 25 0 1 0 147440690 283947008 68409 1992294400 134512640 135151029 4294956240 18446744073709551615 134567706 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23959/statm: 69323 68409 79 155 0 69166 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 277292
[startup+642.301 s]
/proc/loadavg: 1.00 0.97 0.91 2/65 23960
/proc/meminfo: memFree=801784/2055920 swapFree=4180748/4192956
[pid=23959] ppid=23957 vsize=303516 CPUtime=642.01
/proc/23959/stat : 23959 (precosat) R 23957 23959 23922 0 -1 4194304 269635 0 0 0 64067 134 0 0 25 0 1 0 147440690 310800384 74787 1992294400 134512640 135151029 4294956240 18446744073709551615 134554791 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23959/statm: 75879 74787 79 155 0 75722 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 303516
[startup+702.302 s]
################
# More data... #
################
[startup+9102.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/65 23978
/proc/meminfo: memFree=663864/2055920 swapFree=4180748/4192956
[pid=23959] ppid=23957 vsize=438984 CPUtime=9098.28
/proc/23959/stat : 23959 (precosat) R 23957 23959 23922 0 -1 4194304 2184206 0 0 0 908738 1090 0 0 25 0 1 0 147440690 449519616 108616 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23959/statm: 109746 108616 79 155 0 109589 0
Current children cumulated CPU time (s) 9098.28
Current children cumulated vsize (KiB) 438984
[startup+9162.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/65 23978
/proc/meminfo: memFree=662904/2055920 swapFree=4180748/4192956
[pid=23959] ppid=23957 vsize=440012 CPUtime=9158.25
/proc/23959/stat : 23959 (precosat) R 23957 23959 23922 0 -1 4194304 2184444 0 0 0 914735 1090 0 0 25 0 1 0 147440690 450572288 108854 1992294400 134512640 135151029 4294956240 18446744073709551615 134581524 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23959/statm: 110003 108854 79 155 0 109846 0
Current children cumulated CPU time (s) 9158.25
Current children cumulated vsize (KiB) 440012
[startup+9222.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/65 23978
/proc/meminfo: memFree=663352/2055920 swapFree=4180748/4192956
[pid=23959] ppid=23957 vsize=439500 CPUtime=9218.23
/proc/23959/stat : 23959 (precosat) R 23957 23959 23922 0 -1 4194304 2206324 0 0 0 920722 1101 0 0 25 0 1 0 147440690 450048000 108751 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23959/statm: 109875 108751 79 155 0 109718 0
Current children cumulated CPU time (s) 9218.23
Current children cumulated vsize (KiB) 439500
[startup+9282.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/65 23978
/proc/meminfo: memFree=661240/2055920 swapFree=4180748/4192956
[pid=23959] ppid=23957 vsize=443100 CPUtime=9278.2
/proc/23959/stat : 23959 (precosat) R 23957 23959 23922 0 -1 4194304 2206861 0 0 0 926719 1101 0 0 25 0 1 0 147440690 453734400 109288 1992294400 134512640 135151029 4294956240 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23959/statm: 110775 109288 79 155 0 110618 0
Current children cumulated CPU time (s) 9278.2
Current children cumulated vsize (KiB) 443100
[startup+9342.31 s]
/proc/loadavg: 1.00 0.97 0.91 2/65 23978
/proc/meminfo: memFree=666232/2055920 swapFree=4180748/4192956
[pid=23959] ppid=23957 vsize=434360 CPUtime=9338.18
/proc/23959/stat : 23959 (precosat) R 23957 23959 23922 0 -1 4194304 2227852 0 0 0 932707 1111 0 0 25 0 1 0 147440690 444784640 107987 1992294400 134512640 135151029 4294956240 18446744073709551615 134554770 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23959/statm: 108590 107987 79 155 0 108433 0
Current children cumulated CPU time (s) 9338.18
Current children cumulated vsize (KiB) 434360
[startup+9402.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/65 23978
/proc/meminfo: memFree=665144/2055920 swapFree=4180748/4192956
[pid=23959] ppid=23957 vsize=437444 CPUtime=9398.14
/proc/23959/stat : 23959 (precosat) R 23957 23959 23922 0 -1 4194304 2228335 0 0 0 938703 1111 0 0 25 0 1 0 147440690 447942656 108470 1992294400 134512640 135151029 4294956240 18446744073709551615 134575995 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23959/statm: 109361 108470 79 155 0 109204 0
Current children cumulated CPU time (s) 9398.14
Current children cumulated vsize (KiB) 437444
[startup+9462.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/65 23978
/proc/meminfo: memFree=665784/2055920 swapFree=4180748/4192956
[pid=23959] ppid=23957 vsize=435388 CPUtime=9458.11
/proc/23959/stat : 23959 (precosat) R 23957 23959 23922 0 -1 4194304 2249816 0 0 0 944689 1122 0 0 25 0 1 0 147440690 445837312 108165 1992294400 134512640 135151029 4294956240 18446744073709551615 134554907 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23959/statm: 108847 108165 79 155 0 108690 0
Current children cumulated CPU time (s) 9458.11
Current children cumulated vsize (KiB) 435388
[startup+9522.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/65 23978
/proc/meminfo: memFree=663480/2055920 swapFree=4180748/4192956
[pid=23959] ppid=23957 vsize=439496 CPUtime=9518.1
/proc/23959/stat : 23959 (precosat) R 23957 23959 23922 0 -1 4194304 2250391 0 0 0 950687 1123 0 0 25 0 1 0 147440690 450043904 108740 1992294400 134512640 135151029 4294956240 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23959/statm: 109874 108740 79 155 0 109717 0
Current children cumulated CPU time (s) 9518.1
Current children cumulated vsize (KiB) 439496
[startup+9582.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/65 23978
/proc/meminfo: memFree=682808/2055920 swapFree=4180748/4192956
[pid=23959] ppid=23957 vsize=417972 CPUtime=9578.07
/proc/23959/stat : 23959 (precosat) R 23957 23959 23922 0 -1 4194304 2251130 0 0 0 956683 1124 0 0 25 0 1 0 147440690 428003328 103890 1992294400 134512640 135151029 4294956240 18446744073709551615 134521603 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23959/statm: 104493 103890 79 155 0 104336 0
Current children cumulated CPU time (s) 9578.07
Current children cumulated vsize (KiB) 417972
[startup+9642.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/65 23978
/proc/meminfo: memFree=666360/2055920 swapFree=4180748/4192956
[pid=23959] ppid=23957 vsize=434360 CPUtime=9638.04
/proc/23959/stat : 23959 (precosat) R 23957 23959 23922 0 -1 4194304 2271528 0 0 0 962670 1134 0 0 25 0 1 0 147440690 444784640 107987 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23959/statm: 108590 107987 79 155 0 108433 0
Current children cumulated CPU time (s) 9638.04
Current children cumulated vsize (KiB) 434360
[startup+9702.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/65 23978
/proc/meminfo: memFree=665400/2055920 swapFree=4180748/4192956
[pid=23959] ppid=23957 vsize=435904 CPUtime=9698.02
/proc/23959/stat : 23959 (precosat) R 23957 23959 23922 0 -1 4194304 2271786 0 0 0 968668 1134 0 0 25 0 1 0 147440690 446365696 108245 1992294400 134512640 135151029 4294956240 18446744073709551615 134581768 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23959/statm: 108976 108245 79 155 0 108819 0
Current children cumulated CPU time (s) 9698.02
Current children cumulated vsize (KiB) 435904
[startup+9762.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/65 23978
/proc/meminfo: memFree=666232/2055920 swapFree=4180748/4192956
[pid=23959] ppid=23957 vsize=434360 CPUtime=9757.99
/proc/23959/stat : 23959 (precosat) R 23957 23959 23922 0 -1 4194304 2293238 0 0 0 974654 1145 0 0 25 0 1 0 147440690 444784640 107987 1992294400 134512640 135151029 4294956240 18446744073709551615 134574578 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23959/statm: 108590 107987 79 155 0 108433 0
Current children cumulated CPU time (s) 9757.99
Current children cumulated vsize (KiB) 434360
[startup+9822.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/65 23978
/proc/meminfo: memFree=666232/2055920 swapFree=4180748/4192956
[pid=23959] ppid=23957 vsize=434360 CPUtime=9817.97
/proc/23959/stat : 23959 (precosat) R 23957 23959 23922 0 -1 4194304 2293238 0 0 0 980652 1145 0 0 25 0 1 0 147440690 444784640 107987 1992294400 134512640 135151029 4294956240 18446744073709551615 134552225 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23959/statm: 108590 107987 79 155 0 108433 0
Current children cumulated CPU time (s) 9817.97
Current children cumulated vsize (KiB) 434360
[startup+9882.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/65 23978
/proc/meminfo: memFree=664888/2055920 swapFree=4180748/4192956
[pid=23959] ppid=23957 vsize=436932 CPUtime=9877.93
/proc/23959/stat : 23959 (precosat) R 23957 23959 23922 0 -1 4194304 2293660 0 0 0 986648 1145 0 0 25 0 1 0 147440690 447418368 108409 1992294400 134512640 135151029 4294956240 18446744073709551615 134575995 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23959/statm: 109233 108409 79 155 0 109076 0
Current children cumulated CPU time (s) 9877.93
Current children cumulated vsize (KiB) 436932
[startup+9942.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/65 23978
/proc/meminfo: memFree=665272/2055920 swapFree=4180748/4192956
[pid=23959] ppid=23957 vsize=436416 CPUtime=9937.9
/proc/23959/stat : 23959 (precosat) R 23957 23959 23922 0 -1 4194304 2314963 0 0 0 992634 1156 0 0 25 0 1 0 147440690 446889984 108299 1992294400 134512640 135151029 4294956240 18446744073709551615 134567994 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23959/statm: 109104 108299 79 155 0 108947 0
Current children cumulated CPU time (s) 9937.9
Current children cumulated vsize (KiB) 436416
[startup+10002.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/65 23978
/proc/meminfo: memFree=664312/2055920 swapFree=4180748/4192956
[pid=23959] ppid=23957 vsize=437444 CPUtime=9997.87
/proc/23959/stat : 23959 (precosat) R 23957 23959 23922 0 -1 4194304 2315195 0 0 0 998631 1156 0 0 25 0 1 0 147440690 447942656 108531 1992294400 134512640 135151029 4294956240 18446744073709551615 134551629 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23959/statm: 109361 108531 79 155 0 109204 0
Current children cumulated CPU time (s) 9997.87
Current children cumulated vsize (KiB) 437444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10004.5 s]
/proc/loadavg: 1.00 0.97 0.91 2/65 23978
/proc/meminfo: memFree=664312/2055920 swapFree=4180748/4192956
[pid=23959] ppid=23957 vsize=437444 CPUtime=10000.1
/proc/23959/stat : 23959 (precosat) R 23957 23959 23922 0 -1 4194304 2315195 0 0 0 998851 1156 0 0 25 0 1 0 147440690 447942656 108531 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23959/statm: 109361 108531 79 155 0 109204 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 437444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+10004.5 s]
/proc/loadavg: 1.00 0.97 0.91 2/65 23978
/proc/meminfo: memFree=664312/2055920 swapFree=4180748/4192956
[pid=23959] ppid=23957 vsize=437444 CPUtime=10000.1
/proc/23959/stat : 23959 (precosat) R 23957 23959 23922 0 -1 4194304 2315195 0 0 0 998851 1156 0 0 25 0 1 0 147440690 447942656 108531 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0
/proc/23959/statm: 109361 108531 79 155 0 109204 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 437444
Child ended because it received signal 15 (SIGTERM)
Real time (s): 10004.6
CPU time (s): 10000.1
CPU user time (s): 9988.52
CPU system time (s): 11.6342
CPU usage (%): 99.9557
Max. virtual memory (cumulated for all children) (KiB): 473176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9988.52
system time used= 11.6342
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2315195
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 27281
runsolver used 8.13276 second user time and 28.2567 second system time
The end
Begin job on node23 at 2009-05-01 18:07:52
IDJOB=1773221
IDBENCH=20575
IDSOLVER=607
FILE ID=node23/1773221-1241194069
PBS_JOBID= 9224645
Free space on /tmp= 66344 MiB
SOLVER NAME= precosat 236
BENCH NAME= SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq5.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1773221-1241194069/watcher-1773221-1241194069 -o /tmp/evaluation-result-1773221-1241194069/solver-1773221-1241194069 -C 10000 -W 12000 -M 1800 HOME/precosat HOME/instance-1773221-1241194069.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 79c983ee7a6671238604da3040f85341
RANDOM SEED=1210071586
node23.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.238
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.238
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: 1100760 kB
Buffers: 83156 kB
Cached: 767088 kB
SwapCached: 6080 kB
Active: 74728 kB
Inactive: 783932 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1100760 kB
SwapTotal: 4192956 kB
SwapFree: 4180748 kB
Dirty: 51892 kB
Writeback: 0 kB
Mapped: 13980 kB
Slab: 82572 kB
Committed_AS: 712120 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= 66344 MiB
End job on node23 at 2009-05-01 20:54:38