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-1773381-1241183868.cnf
0.00/0.00 c found header 'p cnf 50073 210235'
0.19/0.29 c finished parsing
0.19/0.29 c
0.19/0.29 c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.19/0.29 c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.19/0.29 c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.19/0.29 c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.19/0.29 c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.19/0.29 c --random=1 --spread=2000 --seed=0 --skip=25
0.19/0.29 c
0.19/0.29 c sizeof vars[0] = 16 alignment = 0 1 MB
0.19/0.29 c sizeof orgs[0] = 8 alignment = 0 0 MB
0.19/0.29 c sizeof occs[0] = 8 alignment = 0 0 MB
0.19/0.29 c sizeof iirfs[0..1] = 8 alignment = 0 0 MB
0.19/0.29 c
0.19/0.29 c starting search after 0.3 seconds
0.19/0.29 c no decision limit
0.29/0.30 c
0.29/0.30 c original/binary fixed eliminated learned agility
0.29/0.30 c seconds variables equivalent conflicts height MB
0.29/0.30 c
0.29/0.30 c * 0.3 180421 39223 4441 6409 0 0 0 0.0 0 15
1.79/1.85 c s 1.9 117454 17143 4936 8325 19669 0 0 0.0 0 12
1.79/1.85 c l 1.9 117454 17143 4936 8325 19669 0 110879 0.0 0 12
1.79/1.86 c R 1.9 117462 17142 4936 8326 19669 100 99 40.7 10 12
1.79/1.88 c R 1.9 117671 17122 4945 8337 19669 574 553 100.8 21 12
1.89/1.92 c B 1.9 117820 17109 4951 8344 19669 1000 970 87.8 23 12
1.89/1.95 c R 2.0 118060 17100 4951 8353 19669 1784 1742 106.2 25 12
1.89/1.97 c B 2.0 118167 17098 4951 8355 19669 2000 1955 100.7 24 12
2.19/2.22 c N 2.2 120100 17078 4953 8373 19669 6440 6352 90.6 29 13
2.29/2.33 c B 2.3 121236 17077 4954 8373 19669 8005 7912 86.0 22 13
3.49/3.52 c B 3.5 136070 16855 5070 8479 19669 24018 23783 88.5 27 16
8.59/8.62 c s 8.6 159044 15695 5614 9095 19669 63930 29321 101.7 22 17
8.59/8.62 c - 8.6 159044 15695 5614 9095 19669 63930 103118 101.7 22 17
8.59/8.66 c B 8.7 159067 15689 5619 9096 19669 64029 29418 101.6 26 17
9.19/9.28 c N 9.3 162024 15661 5625 9118 19669 70954 36314 100.7 28 18
14.99/15.06 c + 15.1 196417 15226 5751 9427 19669 103118 113429 123.4 17 25
21.08/21.11 c s 21.1 117262 14738 5824 9523 19988 123132 51215 135.9 35 17
21.08/21.11 c - 21.1 117262 14738 5824 9523 19988 123132 108892 135.9 35 17
21.18/21.22 c + 21.2 117271 14738 5824 9523 19988 123741 119781 136.4 23 18
24.78/24.85 c
24.78/24.85 c original/binary fixed eliminated learned agility
24.78/24.85 c seconds variables equivalent conflicts height MB
24.78/24.85 c
24.78/24.85 c N 24.8 117502 14726 5824 9535 19988 134898 62947 144.1 31 22
30.59/30.69 c s 30.7 119807 14655 5839 9591 19988 149696 69861 153.7 23 21
33.09/33.15 c + 33.1 119938 14648 5840 9597 19988 154676 131759 157.1 20 25
35.29/35.39 c B 35.4 120588 14645 5840 9600 19988 160049 80173 160.0 28 26
41.68/41.77 c s 41.8 117188 14604 5840 9605 20024 169801 86203 164.7 26 24
54.17/54.27 c s 54.3 118136 14583 5846 9620 20024 187923 100438 170.9 34 33
58.97/59.03 c + 59.0 118144 14583 5846 9620 20024 193345 144934 173.1 19 40
69.47/69.53 c s 69.5 117298 14564 5850 9631 20028 207190 116001 176.7 24 42
84.77/84.86 c s 84.8 117437 14558 5851 9636 20028 223106 127434 180.1 33 47
101.46/101.52 c + 101.5 119528 14547 5855 9643 20028 241683 159427 183.8 30 62
103.26/103.34 c s 103.3 117063 14541 5855 9643 20034 241746 140594 183.8 23 55
123.45/123.51 c s 123.5 117070 14540 5855 9644 20034 262832 160550 189.3 33 64
128.65/128.77 c N 128.7 117074 14538 5855 9646 20034 268880 160498 190.0 36 72
144.45/144.56 c s 144.5 116927 14537 5855 9646 20035 279213 169572 191.3 38 76
165.14/165.29 c + 165.2 116931 14536 5855 9647 20035 302100 175369 194.0 34 92
167.83/167.96 c s 167.9 116929 14536 5855 9647 20035 302575 166431 194.0 30 87
187.53/187.63 c N 187.6 116934 14534 5855 9649 20035 320155 178293 196.5 32 103
193.13/193.20 c s 193.1 116899 14533 5855 9649 20036 323138 178289 196.8 31 97
217.52/217.63 c s 217.6 116904 14528 5855 9654 20036 342991 179193 199.7 35 103
243.31/243.40 c
243.31/243.40 c original/binary fixed eliminated learned agility
243.31/243.40 c seconds variables equivalent conflicts height MB
243.31/243.40 c
243.31/243.40 c s 243.3 116856 14524 5855 9657 20037 367289 175574 202.6 38 102
252.80/252.91 c + 252.8 116864 14524 5855 9657 20037 377626 192905 203.7 33 107
259.81/259.93 c B 259.9 116865 14523 5855 9658 20037 384102 182936 204.5 39 112
264.60/264.77 c s 264.7 116863 14523 5855 9658 20037 385616 184443 204.7 37 109
291.40/291.54 c s 291.4 116825 14513 5856 9662 20042 408781 192777 207.9 28 113
316.28/316.45 c s 316.4 116825 14512 5856 9663 20042 427728 194473 209.7 35 119
344.88/345.05 c s 344.9 116794 14511 5856 9664 20042 449895 193988 212.0 33 115
375.37/375.58 c s 375.5 116784 14497 5858 9676 20042 471069 195261 213.3 34 119
376.77/377.00 c + 376.9 116784 14497 5858 9676 20042 472030 212195 213.2 23 122
406.16/406.36 c s 406.2 116737 14495 5858 9677 20043 491524 212814 214.6 35 134
439.86/440.05 c s 439.9 116748 14492 5858 9680 20043 517108 212869 216.7 39 129
475.54/475.75 c s 475.6 116714 14491 5858 9681 20043 543423 223715 218.8 35 139
515.23/515.43 c s 515.3 116713 14490 5858 9682 20043 568249 235623 220.1 20 149
543.22/543.48 c + 543.3 117368 14487 5859 9684 20043 590035 233414 221.4 35 159
551.11/551.38 c s 551.2 116654 14485 5859 9684 20045 592442 240761 221.5 41 154
584.00/584.24 c s 584.1 116660 14480 5859 9689 20045 626319 234496 223.9 35 146
625.39/625.68 c s 625.5 116651 14477 5860 9691 20045 655048 232929 225.5 39 146
659.67/659.97 c s 659.8 116670 14476 5860 9692 20045 681608 234560 226.8 31 144
695.66/695.96 c s 695.7 116671 14476 5860 9692 20045 702171 238215 227.9 27 150
745.35/745.61 c
745.35/745.61 c original/binary fixed eliminated learned agility
745.35/745.61 c seconds variables equivalent conflicts height MB
745.35/745.61 c
745.35/745.61 c + 745.4 116671 14476 5860 9692 20045 737540 256755 228.5 41 160
753.95/754.22 c s 754.0 116672 14476 5860 9692 20045 741995 239044 228.7 18 155
791.84/792.14 c s 791.9 116673 14476 5860 9692 20045 768679 257715 230.5 30 166
828.62/828.95 c s 828.7 116691 14476 5860 9692 20045 790455 265281 231.0 35 175
865.61/865.97 c s 865.7 116693 14476 5860 9692 20045 814373 257727 231.5 37 175
879.00/879.32 c N 879.0 116694 14476 5860 9692 20045 833102 257863 232.6 26 179
898.20/898.50 c s 898.2 116694 14476 5860 9692 20045 850740 257807 232.9 28 178
930.89/931.27 c s 931.0 116696 14476 5860 9692 20045 870904 257946 233.6 33 181
961.98/962.39 c B 962.1 116711 14474 5860 9694 20045 896184 257891 234.6 40 190
969.28/969.69 c s 969.4 116671 14474 5860 9694 20045 898439 257884 234.8 26 180
997.97/998.40 c + 998.1 118188 14469 5861 9698 20045 921925 282430 235.6 31 187
1005.07/1005.41 c s 1005.1 117867 14469 5861 9698 20045 923674 259625 235.7 32 180
1041.85/1042.29 c s 1042.0 117871 14469 5861 9698 20045 948369 283308 237.0 26 199
1082.54/1082.96 c s 1082.6 116631 14467 5861 9700 20045 980834 283615 238.5 33 188
1121.23/1121.60 c s 1121.2 116631 14466 5861 9701 20045 1011342 283428 239.6 34 189
1167.51/1167.93 c s 1167.6 116625 14465 5861 9702 20045 1041505 283625 240.3 33 181
1211.20/1211.62 c s 1211.2 116624 14459 5861 9708 20045 1066189 283699 240.8 36 185
1262.78/1263.27 c s 1262.9 116625 14459 5861 9708 20045 1095153 283723 241.5 37 191
1299.78/1300.29 c s 1299.9 116628 14459 5861 9708 20045 1120737 283775 242.0 33 190
1339.36/1339.85 c
1339.36/1339.85 c original/binary fixed eliminated learned agility
1339.36/1339.85 c seconds variables equivalent conflicts height MB
1339.36/1339.85 c
1339.36/1339.85 c + 1339.4 116631 14458 5861 9709 20045 1152405 310673 242.7 30 211
1352.25/1352.79 c s 1352.4 116599 14458 5861 9709 20045 1157302 301836 242.8 40 208
1393.04/1393.52 c s 1393.1 116603 14458 5861 9709 20045 1184196 311928 243.7 34 215
1440.23/1440.72 c s 1440.3 116604 14458 5861 9709 20045 1212305 315801 244.0 40 218
1485.51/1486.08 c s 1485.6 116607 14458 5861 9709 20045 1240283 312102 244.8 37 219
1546.19/1546.78 c s 1546.3 116600 14457 5861 9710 20045 1269391 314631 245.6 41 222
1599.87/1600.43 c s 1599.9 116604 14456 5861 9711 20045 1299296 316708 245.9 33 228
1653.06/1653.68 c s 1653.1 116605 14456 5861 9711 20045 1324722 311951 246.0 35 229
1698.44/1699.02 c s 1698.5 116606 14456 5861 9711 20045 1350452 312138 246.2 27 225
1710.74/1711.33 c R 1710.8 116607 14456 5861 9711 20045 1360283 311538 246.5 23 229
1738.03/1738.65 c s 1738.1 116608 14456 5861 9711 20045 1376122 311973 246.5 36 222
1776.81/1777.43 c s 1776.9 116612 14456 5861 9711 20045 1407487 325813 247.2 37 236
1820.80/1821.45 c s 1820.9 116616 14456 5861 9711 20045 1437104 312028 247.6 39 223
1825.10/1825.74 c + 1825.2 116617 14456 5861 9711 20045 1440505 341740 247.7 38 229
1867.69/1868.40 c s 1867.8 116617 14456 5861 9711 20045 1469492 340878 248.2 37 241
1922.47/1923.20 c s 1922.6 116618 14456 5861 9711 20045 1499477 342992 248.5 37 244
1983.25/1983.92 c s 1983.3 116584 14453 5861 9713 20046 1536148 342611 249.2 32 242
2043.93/2044.66 c s 2044.0 116600 14452 5861 9714 20046 1567725 342981 249.4 36 242
2100.81/2101.57 c s 2100.9 116594 14451 5861 9715 20046 1602239 343282 249.6 34 238
2155.80/2156.57 c
2155.80/2156.57 c original/binary fixed eliminated learned agility
2155.80/2156.57 c seconds variables equivalent conflicts height MB
2155.80/2156.57 c
2155.80/2156.57 c s 2155.9 116598 14447 5861 9719 20046 1632051 343032 249.2 34 231
2204.08/2204.84 c s 2204.1 116600 14447 5861 9719 20046 1661025 343040 249.5 28 232
2266.66/2267.40 c s 2266.7 116597 14446 5861 9720 20046 1697799 342863 249.7 34 222
2327.34/2328.16 c s 2327.4 116598 14446 5861 9720 20046 1732436 342950 250.0 36 220
2455.60/2456.49 c s 2455.7 116603 14446 5861 9720 20046 1799532 342808 250.8 21 238
2457.59/2458.43 c + 2457.6 116603 14446 5861 9720 20046 1800631 375914 250.8 32 244
2540.46/2541.38 c s 2540.6 116604 14446 5861 9720 20046 1863760 377015 251.8 28 261
2594.24/2595.19 c s 2594.3 116605 14446 5861 9720 20046 1898098 377190 252.2 36 267
2625.43/2626.37 c N 2625.5 116606 14445 5861 9721 20046 1924195 377147 252.8 27 273
2640.53/2641.48 c s 2640.6 116594 14445 5861 9721 20046 1930714 377269 252.9 35 267
2698.81/2699.70 c s 2698.8 116595 14445 5861 9721 20046 1964515 380909 253.4 33 269
2750.59/2751.50 c s 2750.6 116579 14443 5861 9723 20046 1991563 377216 253.9 37 272
2799.48/2800.47 c s 2799.6 116581 14443 5861 9723 20046 2023190 377066 254.3 35 276
2841.67/2842.61 c B 2841.7 116582 14443 5861 9723 20046 2048369 377488 254.6 39 289
2856.46/2857.49 c s 2856.6 116582 14443 5861 9723 20046 2054280 377152 254.6 22 277
2914.64/2915.67 c s 2914.7 116585 14443 5861 9723 20046 2084636 377101 255.0 34 266
2969.13/2970.14 c s 2969.2 116574 14442 5861 9724 20046 2111922 377182 255.2 35 266
3096.58/3097.69 c s 3096.7 116579 14442 5861 9724 20046 2182919 377103 256.0 25 276
3155.26/3156.37 c s 3155.3 116561 14441 5861 9725 20046 2214851 377092 256.2 39 274
3204.36/3205.46 c
3204.36/3205.46 c original/binary fixed eliminated learned agility
3204.36/3205.46 c seconds variables equivalent conflicts height MB
3204.36/3205.46 c
3204.36/3205.46 c + 3204.4 116561 14441 5861 9725 20046 2250786 413505 256.8 33 284
3401.98/3403.15 c s 3402.0 116562 14441 5861 9725 20046 2340493 423276 257.2 30 334
3474.16/3475.35 c s 3474.2 116545 14439 5861 9727 20046 2381221 414817 257.3 38 326
3548.13/3549.39 c s 3548.2 116546 14439 5861 9727 20046 2415118 414589 257.7 39 329
4247.61/4249.08 c s 4247.7 116547 14439 5861 9727 20046 2661880 311640 258.0 16 282
4307.69/4309.11 c s 4307.7 116533 14437 5861 9729 20046 2688511 338265 258.2 20 302
4374.76/4376.28 c s 4374.9 116535 14437 5861 9729 20046 2732038 381790 258.5 34 338
4552.41/4553.94 c + 4552.5 116535 14437 5861 9729 20046 2813481 454855 258.9 36 417
4623.00/4624.58 c s 4623.1 116536 14437 5861 9729 20046 2838703 478840 259.0 21 426
4730.45/4732.09 c s 4730.6 116529 14435 5861 9731 20046 2875792 455867 259.1 34 403
4820.12/4821.70 c s 4820.1 116537 14433 5861 9733 20046 2914085 455781 259.3 26 388
4909.19/4910.81 c s 4909.2 116531 14431 5861 9735 20046 2953430 455858 259.7 37 379
4998.46/5000.19 c s 4998.6 116496 14430 5861 9736 20046 2997678 456098 259.9 44 359
5084.14/5085.80 c s 5084.2 116479 14429 5861 9737 20046 3047060 455848 260.2 35 338
5290.67/5292.45 c N 5290.7 116479 14429 5861 9737 20046 3154517 455935 260.0 34 359
6247.66/6249.71 c s 6247.7 116480 14429 5861 9737 20046 3386157 583314 259.5 38 537
6526.57/6528.72 c + 6526.6 116480 14429 5861 9737 20046 3516850 500340 259.8 37 579
6857.16/6859.47 c s 6857.2 116470 14428 5861 9738 20046 3630201 697852 260.0 32 675
7014.71/7017.03 c s 7014.8 116473 14427 5861 9739 20046 3687645 734701 260.8 31 707
7172.96/7175.32 c
7172.96/7175.32 c original/binary fixed eliminated learned agility
7172.96/7175.32 c seconds variables equivalent conflicts height MB
7172.96/7175.32 c
7172.96/7175.32 c s 7173.0 116474 14427 5861 9739 20046 3745551 382459 261.0 19 333
7340.70/7343.17 c s 7340.8 116466 14426 5861 9740 20046 3808766 445672 261.4 27 389
7417.68/7420.16 c s 7417.8 116494 14426 5861 9740 20046 3859147 496051 261.5 35 425
7538.64/7541.18 c s 7538.7 116499 14426 5861 9740 20046 3901916 501331 261.3 30 415
7634.51/7637.00 c s 7634.5 116500 14426 5861 9740 20046 3944706 501543 261.2 31 416
7737.28/7739.84 c s 7737.3 116503 14426 5861 9740 20046 3992235 501385 261.2 36 399
7853.24/7855.85 c s 7853.3 116504 14426 5861 9740 20046 4041277 501417 261.6 35 385
7962.21/7964.89 c s 7962.3 116494 14425 5861 9741 20046 4077589 501422 261.8 44 376
8041.98/8044.62 c s 8042.0 116495 14425 5861 9741 20046 4122697 501489 261.8 36 374
8128.95/8131.67 c s 8129.0 116496 14425 5861 9741 20046 4161851 501571 262.0 41 369
8214.02/8216.76 c s 8214.1 116492 14424 5861 9742 20046 4199789 501604 262.2 30 360
8314.09/8316.86 c s 8314.2 116495 14424 5861 9742 20046 4252643 501577 262.4 44 353
8400.26/8403.05 c s 8400.3 116489 14422 5861 9744 20046 4295863 501559 262.6 35 356
8580.80/8583.62 c + 8580.8 116489 14422 5861 9744 20046 4396060 550374 263.3 33 384
9324.16/9327.28 c B 9324.3 116489 14422 5861 9744 20046 4608773 685208 264.4 44 640
9543.59/9546.80 c s 9543.7 116488 14421 5861 9745 20046 4646490 713577 264.6 18 668
9869.98/9873.28 c s 9870.1 116489 14421 5861 9745 20046 4747850 750187 264.9 18 726
10000.05/10003.30 c
10000.05/10003.30 c *** CAUGHT SIGNAL 15 ***
10000.05/10003.30 c
10000.05/10003.30 c 4809729 conflicts, 8066738 decisions, 12 random
10000.05/10003.30 c 114 iterations, 1026 restarts, 8715 skipped
10000.05/10003.30 c 18 enlarged, 9107 shrunken, 47059 rescored, 1022 rebiased
10000.05/10003.30 c 106 simplifications, 2 reductions
10000.05/10003.30 c
10000.05/10003.30 c vars: 5861 fixed, 9745 equiv, 20046 elim, 10288 merged
10000.05/10003.30 c elim: 14694724 resolutions, 71 phases, 36 rounds
10000.05/10003.30 c sbst: 100% substituted, 0.2% nots, 95.7% ands, 4.2% xors, 0.0% ites
10000.05/10003.30 c arty: 2.00 and 2.01 xor average arity
10000.05/10003.30 c prbe: 8727264 probed, 298 phases, 299 rounds
10000.05/10003.30 c prbe: 68 failed, 163 lifted, 328 merged
10000.05/10003.30 c sccs: 37 non trivial, 0 fixed, 53 merged
10000.05/10003.30 c hash: 32 units, 9907 merged
10000.05/10003.30 c mins: 979247366 learned, 19% deleted, 2203 strong, 124 depth
10000.05/10003.30 c subs: 16440 forward, 82672 backward, 187273 doms
10000.05/10003.30 c strs: 12669 forward, 140 backward
10000.05/10003.30 c doms: 188800 dominators, 180601 high, 150 low
10000.05/10003.30 c prps: 3016996661 propagations, 0.30 megaprops
10000.05/10003.30 c
10000.05/10003.30 c 10000.1 seconds, 765 MB max, 3194 MB recycled
10000.05/10003.30 c
10000.05/10003.30 c *** CAUGHT SIGNAL 15 ***
10000.05/10003.30 c
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1773381-1241183868/watcher-1773381-1241183868 -o /tmp/evaluation-result-1773381-1241183868/solver-1773381-1241183868 -C 10000 -W 12000 -M 1800 HOME/precosat HOME/instance-1773381-1241183868.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.93 0.97 0.92 3/64 32696
/proc/meminfo: memFree=1162864/2055920 swapFree=4144868/4192956
[pid=32696] ppid=32694 vsize=2748 CPUtime=0
/proc/32696/stat : 32696 (precosat) R 32694 32696 32632 0 -1 4194304 524 0 0 0 0 0 0 0 18 0 1 0 146415221 2813952 509 1992294400 134512640 135151029 4294956240 18446744073709551615 134534335 0 0 4096 0 0 0 0 17 1 0 0
/proc/32696/statm: 687 510 59 155 0 530 0
[startup+0.10618 s]
/proc/loadavg: 0.93 0.97 0.92 3/64 32696
/proc/meminfo: memFree=1162864/2055920 swapFree=4144868/4192956
[pid=32696] ppid=32694 vsize=9452 CPUtime=0.1
/proc/32696/stat : 32696 (precosat) R 32694 32696 32632 0 -1 4194304 2303 0 0 0 9 1 0 0 18 0 1 0 146415221 9678848 2255 1992294400 134512640 135151029 4294956240 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32696/statm: 2396 2256 64 155 0 2239 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9452
[startup+0.202193 s]
/proc/loadavg: 0.93 0.97 0.92 3/64 32696
/proc/meminfo: memFree=1162864/2055920 swapFree=4144868/4192956
[pid=32696] ppid=32694 vsize=13932 CPUtime=0.19
/proc/32696/stat : 32696 (precosat) R 32694 32696 32632 0 -1 4194304 3477 0 0 0 18 1 0 0 19 0 1 0 146415221 14266368 3364 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32696/statm: 3483 3365 64 155 0 3326 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13932
[startup+0.301212 s]
/proc/loadavg: 0.93 0.97 0.92 3/64 32696
/proc/meminfo: memFree=1162864/2055920 swapFree=4144868/4192956
[pid=32696] ppid=32694 vsize=17888 CPUtime=0.29
/proc/32696/stat : 32696 (precosat) R 32694 32696 32632 0 -1 4194304 4613 0 0 0 27 2 0 0 19 0 1 0 146415221 18317312 4370 1992294400 134512640 135151029 4294956240 18446744073709551615 134520137 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32696/statm: 4472 4370 74 155 0 4315 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17888
[startup+0.701267 s]
/proc/loadavg: 0.93 0.97 0.92 3/64 32696
/proc/meminfo: memFree=1162864/2055920 swapFree=4144868/4192956
[pid=32696] ppid=32694 vsize=20004 CPUtime=0.69
/proc/32696/stat : 32696 (precosat) R 32694 32696 32632 0 -1 4194304 5585 0 0 0 66 3 0 0 23 0 1 0 146415221 20484096 4889 1992294400 134512640 135151029 4294956240 18446744073709551615 134572611 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32696/statm: 5001 4889 79 155 0 4844 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20004
[startup+1.50138 s]
/proc/loadavg: 0.93 0.97 0.92 2/65 32697
/proc/meminfo: memFree=1139688/2055920 swapFree=4144868/4192956
[pid=32696] ppid=32694 vsize=25612 CPUtime=1.49
/proc/32696/stat : 32696 (precosat) R 32694 32696 32632 0 -1 4194304 7315 0 0 0 146 3 0 0 25 0 1 0 146415221 26226688 6233 1992294400 134512640 135151029 4294956240 18446744073709551615 134548459 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32696/statm: 6403 6233 79 155 0 6246 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25612
[startup+3.10162 s]
/proc/loadavg: 0.93 0.97 0.92 2/65 32697
/proc/meminfo: memFree=1140712/2055920 swapFree=4144868/4192956
[pid=32696] ppid=32694 vsize=22744 CPUtime=3.09
/proc/32696/stat : 32696 (precosat) R 32694 32696 32632 0 -1 4194304 7317 0 0 0 306 3 0 0 25 0 1 0 146415221 23289856 5518 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32696/statm: 5686 5518 79 155 0 5529 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22744
[startup+6.30109 s]
/proc/loadavg: 0.94 0.97 0.92 2/65 32697
/proc/meminfo: memFree=1139880/2055920 swapFree=4144868/4192956
[pid=32696] ppid=32694 vsize=24988 CPUtime=6.29
/proc/32696/stat : 32696 (precosat) R 32694 32696 32632 0 -1 4194304 7855 0 0 0 625 4 0 0 25 0 1 0 146415221 25587712 6056 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32696/statm: 6247 6056 79 155 0 6090 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24988
[startup+12.701 s]
/proc/loadavg: 0.94 0.97 0.92 2/65 32697
/proc/meminfo: memFree=1134376/2055920 swapFree=4144868/4192956
[pid=32696] ppid=32694 vsize=28964 CPUtime=12.69
/proc/32696/stat : 32696 (precosat) R 32694 32696 32632 0 -1 4194304 9044 0 0 0 1264 5 0 0 25 0 1 0 146415221 29659136 7049 1992294400 134512640 135151029 4294956240 18446744073709551615 134574623 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32696/statm: 7241 7049 79 155 0 7084 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28964
[startup+25.5029 s]
/proc/loadavg: 0.95 0.97 0.92 2/65 32697
/proc/meminfo: memFree=1129960/2055920 swapFree=4144868/4192956
[pid=32696] ppid=32694 vsize=33376 CPUtime=25.48
/proc/32696/stat : 32696 (precosat) R 32694 32696 32632 0 -1 4194304 10915 0 0 0 2542 6 0 0 25 0 1 0 146415221 34177024 8169 1992294400 134512640 135151029 4294956240 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32696/statm: 8344 8169 79 155 0 8187 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 33376
[startup+51.1027 s]
/proc/loadavg: 0.97 0.97 0.92 2/65 32697
/proc/meminfo: memFree=1123752/2055920 swapFree=4144868/4192956
[pid=32696] ppid=32694 vsize=40396 CPUtime=51.07
/proc/32696/stat : 32696 (precosat) R 32694 32696 32632 0 -1 4194304 14144 0 0 0 5099 8 0 0 25 0 1 0 146415221 41365504 9895 1992294400 134512640 135151029 4294956240 18446744073709551615 134554833 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32696/statm: 10099 9895 79 155 0 9942 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 40396
[startup+102.301 s]
/proc/loadavg: 0.98 0.97 0.92 2/65 32697
/proc/meminfo: memFree=1093736/2055920 swapFree=4144868/4192956
[pid=32696] ppid=32694 vsize=69908 CPUtime=102.26
/proc/32696/stat : 32696 (precosat) R 32694 32696 32632 0 -1 4194304 23968 0 0 0 10207 19 0 0 25 0 1 0 146415221 71585792 17270 1992294400 134512640 135151029 4294956240 18446744073709551615 134688678 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32696/statm: 17477 17270 79 155 0 17320 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 69908
[startup+162.301 s]
/proc/loadavg: 1.05 0.99 0.93 2/65 32697
/proc/meminfo: memFree=1066536/2055920 swapFree=4144868/4192956
[pid=32696] ppid=32694 vsize=97452 CPUtime=162.24
/proc/32696/stat : 32696 (precosat) R 32694 32696 32632 0 -1 4194304 32920 0 0 0 16195 29 0 0 25 0 1 0 146415221 99790848 24162 1992294400 134512640 135151029 4294956240 18446744073709551615 134542738 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32696/statm: 24363 24162 79 155 0 24206 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 97452
[startup+222.306 s]
/proc/loadavg: 1.02 0.99 0.93 2/65 32697
/proc/meminfo: memFree=1046760/2055920 swapFree=4144868/4192956
[pid=32696] ppid=32694 vsize=116476 CPUtime=222.23
/proc/32696/stat : 32696 (precosat) R 32694 32696 32632 0 -1 4194304 39957 0 0 0 22187 36 0 0 25 0 1 0 146415221 119271424 28945 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32696/statm: 29119 28945 79 155 0 28962 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 116476
[startup+282.302 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 32697
/proc/meminfo: memFree=1034216/2055920 swapFree=4144868/4192956
[pid=32696] ppid=32694 vsize=129388 CPUtime=282.2
/proc/32696/stat : 32696 (precosat) R 32694 32696 32632 0 -1 4194304 44649 0 0 0 28180 40 0 0 25 0 1 0 146415221 132493312 32135 1992294400 134512640 135151029 4294956240 18446744073709551615 134552130 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32696/statm: 32347 32135 79 155 0 32190 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 129388
[startup+342.301 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 32697
/proc/meminfo: memFree=1030568/2055920 swapFree=4144868/4192956
[pid=32696] ppid=32694 vsize=132604 CPUtime=342.18
/proc/32696/stat : 32696 (precosat) R 32694 32696 32632 0 -1 4194304 47191 0 0 0 34176 42 0 0 25 0 1 0 146415221 135786496 32977 1992294400 134512640 135151029 4294956240 18446744073709551615 134521749 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32696/statm: 33151 32977 79 155 0 32994 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 132604
[startup+402.301 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 32697
/proc/meminfo: memFree=1017448/2055920 swapFree=4144868/4192956
[pid=32696] ppid=32694 vsize=146556 CPUtime=402.16
/proc/32696/stat : 32696 (precosat) R 32694 32696 32632 0 -1 4194304 51965 0 0 0 40169 47 0 0 25 0 1 0 146415221 150073344 36443 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32696/statm: 36639 36443 79 155 0 36482 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 146556
[startup+462.302 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 32697
/proc/meminfo: memFree=1016168/2055920 swapFree=4144868/4192956
[pid=32696] ppid=32694 vsize=146988 CPUtime=462.14
/proc/32696/stat : 32696 (precosat) R 32694 32696 32632 0 -1 4194304 53599 0 0 0 46165 49 0 0 25 0 1 0 146415221 150515712 36573 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32696/statm: 36747 36573 79 155 0 36590 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 146988
[startup+522.302 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 32697
/proc/meminfo: memFree=997672/2055920 swapFree=4144868/4192956
[pid=32696] ppid=32694 vsize=165544 CPUtime=522.12
/proc/32696/stat : 32696 (precosat) R 32694 32696 32632 0 -1 4194304 59539 0 0 0 52156 56 0 0 25 0 1 0 146415221 169517056 41174 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32696/statm: 41386 41174 79 155 0 41229 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 165544
[startup+582.302 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 32697
/proc/meminfo: memFree=993960/2055920 swapFree=4144868/4192956
[pid=32696] ppid=32694 vsize=171536 CPUtime=582.1
/proc/32696/stat : 32696 (precosat) R 32694 32696 32632 0 -1 4194304 61990 0 0 0 58153 57 0 0 25 0 1 0 146415221 175652864 42678 1992294400 134512640 135151029 4294956240 18446744073709551615 134564446 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32696/statm: 42884 42678 79 155 0 42727 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 171536
[startup+642.302 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 32697
/proc/meminfo: memFree=993896/2055920 swapFree=4144868/4192956
[pid=32696] ppid=32694 vsize=169188 CPUtime=642.08
/proc/32696/stat : 32696 (precosat) R 32694 32696 32632 0 -1 4194304 62741 0 0 0 64150 58 0 0 25 0 1 0 146415221 173248512 42123 1992294400 134512640 135151029 4294956240 18446744073709551615 134551374 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32696/statm: 42297 42123 79 155 0 42140 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 169188
[startup+702.301 s]
################
# More data... #
################
[startup+9102.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 32715
/proc/meminfo: memFree=375272/2055920 swapFree=4144868/4192956
[pid=32696] ppid=32694 vsize=787420 CPUtime=9099.34
/proc/32696/stat : 32696 (precosat) R 32694 32696 32632 0 -1 4194304 239151 0 0 0 909664 270 0 0 25 0 1 0 146415221 806318080 196380 1992294400 134512640 135151029 4294956240 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32696/statm: 196855 196380 79 155 0 196698 0
Current children cumulated CPU time (s) 9099.34
Current children cumulated vsize (KiB) 787420
[startup+9162.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 32715
/proc/meminfo: memFree=375272/2055920 swapFree=4144868/4192956
[pid=32696] ppid=32694 vsize=787420 CPUtime=9159.31
/proc/32696/stat : 32696 (precosat) R 32694 32696 32632 0 -1 4194304 239152 0 0 0 915661 270 0 0 25 0 1 0 146415221 806318080 196381 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32696/statm: 196855 196381 79 155 0 196698 0
Current children cumulated CPU time (s) 9159.31
Current children cumulated vsize (KiB) 787420
[startup+9222.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 32715
/proc/meminfo: memFree=375208/2055920 swapFree=4144868/4192956
[pid=32696] ppid=32694 vsize=787420 CPUtime=9219.3
/proc/32696/stat : 32696 (precosat) R 32694 32696 32632 0 -1 4194304 239155 0 0 0 921660 270 0 0 25 0 1 0 146415221 806318080 196384 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32696/statm: 196855 196384 79 155 0 196698 0
Current children cumulated CPU time (s) 9219.3
Current children cumulated vsize (KiB) 787420
[startup+9282.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 32715
/proc/meminfo: memFree=375272/2055920 swapFree=4144868/4192956
[pid=32696] ppid=32694 vsize=787420 CPUtime=9279.28
/proc/32696/stat : 32696 (precosat) R 32694 32696 32632 0 -1 4194304 239155 0 0 0 927658 270 0 0 25 0 1 0 146415221 806318080 196384 1992294400 134512640 135151029 4294956240 18446744073709551615 134554794 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32696/statm: 196855 196384 79 155 0 196698 0
Current children cumulated CPU time (s) 9279.28
Current children cumulated vsize (KiB) 787420
[startup+9342.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 32715
/proc/meminfo: memFree=375272/2055920 swapFree=4144868/4192956
[pid=32696] ppid=32694 vsize=787420 CPUtime=9339.26
/proc/32696/stat : 32696 (precosat) R 32694 32696 32632 0 -1 4194304 239155 0 0 0 933656 270 0 0 25 0 1 0 146415221 806318080 196384 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32696/statm: 196855 196384 79 155 0 196698 0
Current children cumulated CPU time (s) 9339.26
Current children cumulated vsize (KiB) 787420
[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 32715
/proc/meminfo: memFree=375208/2055920 swapFree=4144868/4192956
[pid=32696] ppid=32694 vsize=787420 CPUtime=9399.24
/proc/32696/stat : 32696 (precosat) R 32694 32696 32632 0 -1 4194304 239158 0 0 0 939654 270 0 0 25 0 1 0 146415221 806318080 196387 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32696/statm: 196855 196387 79 155 0 196698 0
Current children cumulated CPU time (s) 9399.24
Current children cumulated vsize (KiB) 787420
[startup+9462.31 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 32715
/proc/meminfo: memFree=375208/2055920 swapFree=4144868/4192956
[pid=32696] ppid=32694 vsize=787420 CPUtime=9459.22
/proc/32696/stat : 32696 (precosat) R 32694 32696 32632 0 -1 4194304 239170 0 0 0 945652 270 0 0 25 0 1 0 146415221 806318080 196399 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32696/statm: 196855 196399 79 155 0 196698 0
Current children cumulated CPU time (s) 9459.22
Current children cumulated vsize (KiB) 787420
[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 32715
/proc/meminfo: memFree=375208/2055920 swapFree=4144868/4192956
[pid=32696] ppid=32694 vsize=787420 CPUtime=9519.2
/proc/32696/stat : 32696 (precosat) R 32694 32696 32632 0 -1 4194304 239170 0 0 0 951650 270 0 0 25 0 1 0 146415221 806318080 196399 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32696/statm: 196855 196399 79 155 0 196698 0
Current children cumulated CPU time (s) 9519.2
Current children cumulated vsize (KiB) 787420
[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 32715
/proc/meminfo: memFree=375144/2055920 swapFree=4144868/4192956
[pid=32696] ppid=32694 vsize=787420 CPUtime=9579.18
/proc/32696/stat : 32696 (precosat) R 32694 32696 32632 0 -1 4194304 239170 0 0 0 957647 271 0 0 25 0 1 0 146415221 806318080 196399 1992294400 134512640 135151029 4294956240 18446744073709551615 134578147 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32696/statm: 196855 196399 79 155 0 196698 0
Current children cumulated CPU time (s) 9579.18
Current children cumulated vsize (KiB) 787420
[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 32715
/proc/meminfo: memFree=375144/2055920 swapFree=4144868/4192956
[pid=32696] ppid=32694 vsize=787420 CPUtime=9639.16
/proc/32696/stat : 32696 (precosat) R 32694 32696 32632 0 -1 4194304 239170 0 0 0 963645 271 0 0 25 0 1 0 146415221 806318080 196399 1992294400 134512640 135151029 4294956240 18446744073709551615 134580646 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32696/statm: 196855 196399 79 155 0 196698 0
Current children cumulated CPU time (s) 9639.16
Current children cumulated vsize (KiB) 787420
[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 32715
/proc/meminfo: memFree=375144/2055920 swapFree=4144868/4192956
[pid=32696] ppid=32694 vsize=787420 CPUtime=9699.14
/proc/32696/stat : 32696 (precosat) R 32694 32696 32632 0 -1 4194304 239171 0 0 0 969643 271 0 0 25 0 1 0 146415221 806318080 196400 1992294400 134512640 135151029 4294956240 18446744073709551615 134555130 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32696/statm: 196855 196400 79 155 0 196698 0
Current children cumulated CPU time (s) 9699.14
Current children cumulated vsize (KiB) 787420
[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 32715
/proc/meminfo: memFree=375144/2055920 swapFree=4144868/4192956
[pid=32696] ppid=32694 vsize=787420 CPUtime=9759.12
/proc/32696/stat : 32696 (precosat) R 32694 32696 32632 0 -1 4194304 239171 0 0 0 975641 271 0 0 25 0 1 0 146415221 806318080 196400 1992294400 134512640 135151029 4294956240 18446744073709551615 134574578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32696/statm: 196855 196400 79 155 0 196698 0
Current children cumulated CPU time (s) 9759.12
Current children cumulated vsize (KiB) 787420
[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 32721
/proc/meminfo: memFree=374248/2055920 swapFree=4144868/4192956
[pid=32696] ppid=32694 vsize=787420 CPUtime=9819.1
/proc/32696/stat : 32696 (precosat) R 32694 32696 32632 0 -1 4194304 239404 0 0 0 981638 272 0 0 25 0 1 0 146415221 806318080 196633 1992294400 134512640 135151029 4294956240 18446744073709551615 134542806 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32696/statm: 196855 196633 79 155 0 196698 0
Current children cumulated CPU time (s) 9819.1
Current children cumulated vsize (KiB) 787420
[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 32721
/proc/meminfo: memFree=370408/2055920 swapFree=4144868/4192956
[pid=32696] ppid=32694 vsize=791784 CPUtime=9879.08
/proc/32696/stat : 32696 (precosat) R 32694 32696 32632 0 -1 4194304 241962 0 0 0 987634 274 0 0 25 0 1 0 146415221 810786816 197650 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32696/statm: 197946 197650 79 155 0 197789 0
Current children cumulated CPU time (s) 9879.08
Current children cumulated vsize (KiB) 791784
[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 32721
/proc/meminfo: memFree=369256/2055920 swapFree=4144868/4192956
[pid=32696] ppid=32694 vsize=793128 CPUtime=9939.06
/proc/32696/stat : 32696 (precosat) R 32694 32696 32632 0 -1 4194304 242194 0 0 0 993632 274 0 0 25 0 1 0 146415221 812163072 197882 1992294400 134512640 135151029 4294956240 18446744073709551615 134542738 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32696/statm: 198282 197882 79 155 0 198125 0
Current children cumulated CPU time (s) 9939.06
Current children cumulated vsize (KiB) 793128
[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 32721
/proc/meminfo: memFree=369064/2055920 swapFree=4144868/4192956
[pid=32696] ppid=32694 vsize=793512 CPUtime=9999.05
/proc/32696/stat : 32696 (precosat) R 32694 32696 32632 0 -1 4194304 242236 0 0 0 999630 275 0 0 25 0 1 0 146415221 812556288 197924 1992294400 134512640 135151029 4294956240 18446744073709551615 134554907 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32696/statm: 198378 197924 79 155 0 198221 0
Current children cumulated CPU time (s) 9999.05
Current children cumulated vsize (KiB) 793512
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10003.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 32721
/proc/meminfo: memFree=369064/2055920 swapFree=4144868/4192956
[pid=32696] ppid=32694 vsize=793512 CPUtime=10000
/proc/32696/stat : 32696 (precosat) R 32694 32696 32632 0 -1 4194304 242236 0 0 0 999730 275 0 0 25 0 1 0 146415221 812556288 197924 1992294400 134512640 135151029 4294956240 18446744073709551615 134554805 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32696/statm: 198378 197924 79 155 0 198221 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 793512
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+10003.4 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 32722
/proc/meminfo: memFree=1021792/2055920 swapFree=4144868/4192956
[pid=32696] ppid=32694 vsize=0 CPUtime=10000.2
/proc/32696/stat : 32696 (precosat) R 32694 32696 32632 0 -1 4195332 242236 0 0 0 999730 285 0 0 25 0 1 0 146415221 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/32696/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 10003.4
CPU time (s): 10000.2
CPU user time (s): 9997.3
CPU system time (s): 2.87256
CPU usage (%): 99.9675
Max. virtual memory (cumulated for all children) (KiB): 798712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9997.3
system time used= 2.87256
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 242236
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= 12811
runsolver used 7.76682 second user time and 22.3636 second system time
The end
Begin job on node39 at 2009-05-01 15:17:48
IDJOB=1773381
IDBENCH=69574
IDSOLVER=607
FILE ID=node39/1773381-1241183868
PBS_JOBID= 9224595
Free space on /tmp= 66484 MiB
SOLVER NAME= precosat 236
BENCH NAME= SAT_RACE08/cnf/mizh-sha0-36-3.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1773381-1241183868/watcher-1773381-1241183868 -o /tmp/evaluation-result-1773381-1241183868/solver-1773381-1241183868 -C 10000 -W 12000 -M 1800 HOME/precosat HOME/instance-1773381-1241183868.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 7e900a3d5c709e5167c14f906d6ebd88
RANDOM SEED=1341175986
node39.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.281
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.281
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: 1163280 kB
Buffers: 82088 kB
Cached: 673656 kB
SwapCached: 42372 kB
Active: 116840 kB
Inactive: 683684 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1163280 kB
SwapTotal: 4192956 kB
SwapFree: 4144868 kB
Dirty: 4836 kB
Writeback: 0 kB
Mapped: 13516 kB
Slab: 78156 kB
Committed_AS: 756096 kB
PageTables: 1384 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= 66484 MiB
End job on node39 at 2009-05-01 18:04:33