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-1774101-1241194667.cnf
0.00/0.00 c found header 'p cnf 31711 95400'
0.09/0.14 c finished parsing
0.09/0.14 c
0.09/0.14 c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.09/0.14 c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.09/0.14 c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.09/0.14 c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.09/0.14 c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.09/0.14 c --random=1 --spread=2000 --seed=0 --skip=25
0.09/0.14 c
0.09/0.14 c sizeof vars[0] = 16 alignment = 0 0 MB
0.09/0.14 c sizeof orgs[0] = 8 alignment = 0 0 MB
0.09/0.14 c sizeof occs[0] = 8 alignment = 0 0 MB
0.09/0.14 c sizeof iirfs[0..1] = 8 alignment = 0 0 MB
0.09/0.14 c
0.09/0.14 c starting search after 0.1 seconds
0.09/0.14 c no decision limit
0.09/0.15 c
0.09/0.15 c original/binary fixed eliminated learned agility
0.09/0.15 c seconds variables equivalent conflicts height MB
0.09/0.15 c
0.09/0.15 c * 0.2 95200 30763 95 853 0 0 0 0.0 0 8
1.69/1.71 c s 1.7 57821 9288 817 922 20684 0 0 0.0 0 7
1.69/1.71 c l 1.7 57821 9288 817 922 20684 0 20067 0.0 0 7
1.69/1.79 c R 1.8 58198 9286 818 923 20684 102 93 32.2 12 8
1.89/1.93 c R 1.9 58443 9285 818 924 20684 202 191 32.2 17 8
3.09/3.15 c R 3.2 67862 9206 882 939 20684 804 787 27.1 15 8
3.19/3.23 c B 3.2 67917 9203 882 942 20684 1001 979 29.6 13 9
3.39/3.41 c s 3.4 67214 9200 882 945 20684 1193 1169 31.5 14 8
3.39/3.41 c - 3.4 67214 9200 882 945 20684 1193 19867 31.5 14 8
5.39/5.46 c s 5.5 79898 9187 886 954 20684 1956 1930 27.8 18 9
5.49/5.57 c B 5.6 79898 9187 886 954 20684 2001 1975 27.6 17 9
6.59/6.68 c R 6.7 79921 9187 886 954 20684 2409 2383 26.6 18 9
8.39/8.48 c s 8.5 79168 9105 893 954 20759 2688 2183 25.9 16 9
8.39/8.48 c - 8.5 79168 9105 893 954 20759 2688 19669 25.9 16 9
10.89/10.99 c s 11.0 79463 9100 893 959 20759 3441 2936 24.8 16 9
13.99/14.06 c s 14.1 79669 9093 893 960 20765 4228 3701 24.3 17 9
16.69/16.72 c s 16.7 79698 9093 893 960 20765 5092 4564 23.6 17 9
19.29/19.35 c s 19.3 79745 9093 893 960 20765 5928 5400 23.4 15 9
20.89/20.99 c R 21.0 79755 9093 893 960 20765 6430 5902 23.1 16 10
21.99/22.02 c
21.99/22.02 c original/binary fixed eliminated learned agility
21.99/22.02 c seconds variables equivalent conflicts height MB
21.99/22.02 c
21.99/22.02 c s 22.0 79756 9093 893 960 20765 6649 6120 23.0 16 9
25.38/25.48 c B 25.5 79756 9093 893 960 20765 8002 7473 22.9 16 10
30.58/30.66 c s 30.7 79757 9093 893 960 20765 9705 9176 22.7 17 10
33.48/33.50 c s 33.5 79759 9093 893 960 20765 10610 10080 22.6 17 10
36.38/36.41 c s 36.4 79761 9093 893 960 20765 11758 11227 22.4 18 10
49.17/49.26 c R 49.2 79761 9093 893 960 20765 16051 15520 21.9 17 12
49.77/49.81 c s 49.8 79762 9093 893 960 20765 16164 15633 21.9 17 11
55.47/55.58 c s 55.6 79763 9093 893 960 20765 17765 17233 21.8 17 11
61.97/62.04 c + 62.0 79763 9093 893 960 20765 19669 21635 21.7 15 13
62.47/62.60 c s 62.6 79764 9093 893 960 20765 19802 19269 21.7 16 12
75.86/75.96 c s 75.9 79765 9093 893 960 20765 23764 21645 21.8 16 12
76.86/76.96 c B 76.9 79765 9093 893 960 20765 24005 21655 21.8 17 13
78.76/78.83 c + 78.8 79768 9093 893 960 20765 24590 23798 21.8 14 13
79.36/79.48 c s 79.5 79768 9093 893 960 20765 24903 21960 21.8 16 12
87.86/87.90 c s 87.9 79769 9093 893 960 20765 27430 23828 21.7 16 12
100.15/100.25 c + 100.2 79769 9093 893 960 20765 30736 26177 21.7 17 14
103.95/104.08 c s 104.0 79770 9093 893 960 20765 31669 24753 21.7 17 12
110.95/111.07 c s 111.0 79771 9093 893 960 20765 33687 26201 21.6 17 13
129.44/129.50 c + 129.5 79771 9093 893 960 20765 38421 28794 21.8 16 14
129.64/129.77 c
129.64/129.77 c original/binary fixed eliminated learned agility
129.64/129.77 c seconds variables equivalent conflicts height MB
129.64/129.77 c
129.64/129.77 c R 129.7 79771 9093 893 960 20765 38488 26263 21.8 17 14
143.53/143.66 c s 143.6 79772 9093 893 960 20765 41900 28831 21.7 16 13
147.33/147.48 c s 147.4 79773 9093 893 960 20765 42739 28823 21.7 17 13
159.92/160.04 c s 160.0 79774 9093 893 960 20765 46232 28814 21.8 17 13
164.52/164.60 c + 164.5 79774 9093 893 960 20765 48027 31673 21.9 16 14
167.53/167.68 c s 167.6 79775 9093 893 960 20765 48916 29706 22.1 16 13
183.12/183.28 c s 183.2 79776 9093 893 960 20765 53303 31682 22.4 14 13
195.72/195.83 c s 195.8 79780 9093 893 960 20765 56292 31691 22.5 16 13
210.51/210.67 c + 210.6 79780 9093 893 960 20765 60030 34840 22.9 17 15
211.01/211.16 c s 211.1 79781 9093 893 960 20765 60167 31835 22.9 16 13
226.50/226.62 c B 226.5 79781 9093 893 960 20765 64016 34863 23.1 16 15
246.09/246.22 c s 246.1 79782 9093 893 960 20765 68801 34861 23.5 17 14
272.19/272.39 c + 272.3 79782 9093 893 960 20765 75036 38324 23.6 17 16
288.08/288.29 c s 288.2 79783 9093 893 960 20765 79221 38356 23.8 17 15
316.77/316.95 c s 316.8 79784 9093 893 960 20765 86054 38337 23.9 17 15
333.26/333.48 c R 333.4 79784 9093 893 960 20765 89761 38373 24.0 18 16
346.45/346.63 c s 346.5 79785 9093 893 960 20765 93097 38364 24.0 15 15
348.75/348.97 c + 348.8 79787 9093 893 960 20765 93795 42156 24.0 16 16
351.05/351.23 c s 351.1 79787 9093 893 960 20765 94545 39079 24.0 18 15
361.75/361.97 c
361.75/361.97 c original/binary fixed eliminated learned agility
361.75/361.97 c seconds variables equivalent conflicts height MB
361.75/361.97 c
361.75/361.97 c s 361.8 79788 9093 893 960 20765 96907 41441 24.0 17 15
366.25/366.48 c s 366.3 79790 9093 893 960 20765 97921 42214 24.0 17 15
407.04/407.21 c s 407.1 79792 9093 893 960 20765 108571 42192 24.1 17 15
411.73/411.98 c s 411.8 79809 9093 893 960 20765 109975 42191 24.1 16 15
416.23/416.48 c s 416.3 79816 9093 893 960 20765 110959 42171 24.1 16 15
420.83/421.05 c s 420.9 79818 9093 893 960 20765 111938 42180 24.1 18 15
443.42/443.69 c + 443.5 79818 9093 893 960 20765 117240 46371 24.1 17 17
446.62/446.81 c s 446.6 79819 9093 893 960 20765 118033 42971 24.1 15 15
458.91/459.17 c s 459.0 79820 9093 893 960 20765 120826 45763 24.2 17 16
463.92/464.13 c s 464.0 79822 9093 893 960 20765 122599 46406 24.2 17 16
484.21/484.40 c s 484.2 79823 9093 893 960 20765 128080 46407 24.2 17 16
509.00/509.22 c s 509.0 79825 9093 893 960 20765 133818 46394 24.1 17 16
552.78/553.07 c + 552.9 79825 9093 893 960 20765 146550 51008 24.2 16 19
558.18/558.45 c s 558.2 79826 9093 893 960 20765 147622 47482 24.2 16 16
613.16/613.48 c B 613.2 79826 9093 893 960 20765 160034 51057 24.1 17 20
700.43/700.73 c s 700.5 79827 9093 893 960 20765 182183 51056 24.2 17 17
704.53/704.89 c + 704.6 79827 9093 893 960 20765 183186 56108 24.2 17 18
711.43/711.79 c s 711.5 79828 9093 893 960 20765 184941 52770 24.2 17 17
791.89/792.27 c s 792.0 79829 9093 893 960 20765 204780 56177 24.2 17 18
792.80/793.19 c
792.80/793.19 c original/binary fixed eliminated learned agility
792.80/793.19 c seconds variables equivalent conflicts height MB
792.80/793.19 c
792.80/793.19 c R 792.9 79829 9093 893 960 20765 205120 56128 24.2 17 19
887.45/887.86 c + 887.5 79829 9093 893 960 20765 228981 61718 24.2 16 21
896.05/896.45 c s 896.1 79830 9093 893 960 20765 230896 58048 24.2 17 18
901.55/901.96 c s 901.6 79831 9093 893 960 20765 231888 59039 24.2 17 18
1088.58/1089.09 c s 1088.7 79832 9093 893 960 20765 275913 61727 24.1 17 18
1094.47/1094.90 c s 1094.5 79833 9093 893 960 20765 277107 61740 24.1 17 18
1134.27/1134.71 c + 1134.3 79833 9093 893 960 20765 286226 67889 24.1 17 22
1156.86/1157.32 c s 1156.9 79834 9093 893 960 20765 291585 67105 24.1 16 19
1237.83/1238.36 c s 1237.9 79835 9093 893 960 20765 310796 67937 24.1 17 19
1251.22/1251.80 c s 1251.3 79836 9093 893 960 20765 314071 67925 24.1 17 19
1284.01/1284.59 c s 1284.1 79839 9093 893 960 20765 321151 67913 24.1 17 19
1297.00/1297.57 c s 1297.1 79840 9093 893 960 20765 324047 67976 24.1 13 19
1304.31/1304.80 c s 1304.3 79552 9061 908 960 20782 326046 65499 24.3 17 19
1310.00/1310.54 c s 1310.1 79559 9055 914 960 20782 327140 66592 24.3 17 19
1338.29/1338.81 c s 1338.3 79494 9050 914 960 20787 333271 67872 24.2 17 19
1344.69/1345.25 c s 1344.8 79503 9050 914 960 20787 334464 67934 24.2 17 19
1351.18/1351.71 c s 1351.2 79513 9050 914 960 20787 335979 67902 24.2 18 19
1376.68/1377.25 c s 1376.7 79440 9048 914 961 20788 341255 67451 24.2 17 19
1383.67/1384.28 c s 1383.8 79413 9042 917 964 20788 342364 67915 24.2 16 19
1390.87/1391.48 c
1390.87/1391.48 c original/binary fixed eliminated learned agility
1390.87/1391.48 c seconds variables equivalent conflicts height MB
1390.87/1391.48 c
1390.87/1391.48 c s 1391.0 79375 9027 918 969 20797 343547 67880 24.2 17 19
1397.26/1397.86 c s 1397.3 79514 9027 918 969 20797 344776 67918 24.2 17 19
1404.06/1404.67 c s 1404.1 79417 9025 919 969 20798 345971 67881 24.1 17 19
1410.26/1410.89 c s 1410.4 79418 9024 919 970 20798 347078 67920 24.1 18 19
1417.05/1417.66 c s 1417.1 79420 9024 919 970 20798 348069 67921 24.1 16 19
1428.05/1428.69 c s 1428.2 79421 9024 919 970 20798 350747 67933 24.2 18 19
1434.75/1435.38 c s 1434.8 79433 9024 919 970 20798 351970 67909 24.2 18 19
1441.35/1441.99 c s 1441.4 79434 9024 919 970 20798 353390 67914 24.2 16 19
1466.44/1467.02 c + 1466.5 79434 9024 919 970 20798 357782 74677 24.1 16 22
1468.44/1469.06 c s 1468.5 79435 9024 919 970 20798 358063 68188 24.1 16 19
1508.82/1509.44 c s 1508.9 79436 9024 919 970 20798 365665 74717 24.1 17 20
1516.33/1516.92 c s 1516.4 79453 9024 919 970 20798 366914 74717 24.1 17 20
1522.82/1523.42 c s 1522.9 79479 9024 919 970 20798 367955 74704 24.1 17 20
1578.20/1578.83 c s 1578.2 79480 9024 919 970 20798 378678 74696 24.0 15 19
1584.89/1585.58 c s 1585.0 79481 9024 919 970 20798 379800 74752 24.0 18 19
1605.49/1606.17 c s 1605.6 79482 9024 919 970 20798 383037 74712 23.9 17 19
1611.68/1612.37 c B 1611.8 79482 9024 919 970 20798 384074 74699 23.9 17 22
1655.98/1656.66 c s 1656.0 79483 9024 919 970 20798 391655 74731 23.9 16 19
1749.64/1750.37 c s 1749.7 79484 9024 919 970 20798 408175 74721 23.8 17 19
1756.73/1757.47 c
1756.73/1757.47 c original/binary fixed eliminated learned agility
1756.73/1757.47 c seconds variables equivalent conflicts height MB
1756.73/1757.47 c
1756.73/1757.47 c s 1756.8 79486 9024 919 970 20798 409324 74706 23.8 18 19
1824.50/1825.24 c s 1824.6 79487 9024 919 970 20798 423213 74744 23.7 17 19
1888.19/1888.97 c s 1888.3 79488 9024 919 970 20798 436007 74727 23.6 16 19
1896.28/1897.01 c s 1896.3 79489 9024 919 970 20798 437286 74719 23.6 16 19
1947.76/1948.57 c + 1947.8 79489 9024 919 970 20798 447226 82144 23.5 17 21
2023.93/2024.79 c R 2024.0 79489 9024 919 970 20798 461428 82187 23.4 17 22
2024.43/2025.27 c s 2024.5 79490 9024 919 970 20798 461428 82187 23.4 17 19
2031.64/2032.45 c s 2031.7 79491 9024 919 970 20798 462528 82193 23.4 18 20
2303.64/2304.52 c s 2303.7 79492 9024 919 970 20798 513015 82176 23.0 16 19
2310.53/2311.44 c s 2310.6 79494 9024 919 970 20798 514143 82174 23.0 17 19
2457.18/2458.16 c s 2457.2 79498 9024 919 970 20798 541031 82180 22.9 17 20
2555.04/2556.07 c + 2555.1 79498 9024 919 970 20798 559031 90358 22.8 17 25
2603.61/2604.63 c s 2603.7 79499 9024 919 970 20798 567219 90367 22.8 17 21
2679.59/2680.60 c s 2679.6 79500 9024 919 970 20798 579810 90414 22.8 18 22
2714.78/2715.89 c s 2714.9 79501 9024 919 970 20798 585943 90378 22.8 18 22
2746.56/2747.69 c s 2746.7 79502 9024 919 970 20798 591679 90397 22.8 17 22
2972.18/2973.40 c s 2972.3 79503 9024 919 970 20798 635451 90399 22.6 17 22
3192.90/3194.11 c s 3192.9 79504 9024 919 970 20798 672674 90433 22.6 17 21
3349.54/3350.87 c + 3349.6 79504 9024 919 970 20798 698787 99393 22.6 16 27
3586.45/3587.81 c
3586.45/3587.81 c original/binary fixed eliminated learned agility
3586.45/3587.81 c seconds variables equivalent conflicts height MB
3586.45/3587.81 c
3586.45/3587.81 c s 3586.5 79505 9024 919 970 20798 743341 99448 22.4 17 22
3595.34/3596.77 c s 3595.4 79510 9024 919 970 20798 744811 99464 22.4 18 22
3939.32/3940.88 c s 3939.4 79511 9024 919 970 20798 804247 99452 22.3 18 22
3960.82/3962.37 c s 3960.9 79512 9024 919 970 20798 808137 99452 22.3 18 23
3978.21/3979.79 c s 3978.3 79513 9024 919 970 20798 811229 99425 22.3 18 23
3986.50/3988.04 c s 3986.6 79514 9024 919 970 20798 812441 99428 22.3 16 23
3994.81/3996.38 c s 3994.9 79517 9024 919 970 20798 813724 99438 22.3 18 23
4002.70/4004.22 c s 4002.7 79519 9024 919 970 20798 815072 99429 22.3 17 23
4075.67/4077.22 c s 4075.7 79520 9024 919 970 20798 827337 99426 22.3 17 23
4340.08/4341.71 c + 4340.1 79520 9024 919 970 20798 873481 109332 22.2 17 29
4469.73/4471.44 c B 4469.8 79520 9024 919 970 20798 896150 109413 22.2 17 31
4503.21/4504.96 c s 4503.3 79521 9024 919 970 20798 901453 109393 22.1 16 24
4917.56/4919.43 c s 4917.6 79525 9024 919 970 20798 974635 109381 21.9 17 24
5136.28/5138.26 c s 5136.4 79526 9024 919 970 20798 1014442 109373 21.8 19 23
5192.56/5194.52 c R 5192.6 79526 9024 919 970 20798 1025232 109394 21.7 16 27
5607.81/5609.97 c + 5607.9 79526 9024 919 970 20798 1091850 120265 21.6 17 31
5824.43/5826.67 c s 5824.5 79527 9024 919 970 20798 1128024 120314 21.5 17 24
5834.62/5836.83 c s 5834.7 79528 9024 919 970 20798 1129449 120305 21.5 17 24
5975.76/5978.00 c s 5975.8 79529 9024 919 970 20798 1149627 120318 21.5 17 24
6020.95/6023.24 c
6020.95/6023.24 c original/binary fixed eliminated learned agility
6020.95/6023.24 c seconds variables equivalent conflicts height MB
6020.95/6023.24 c
6020.95/6023.24 c s 6021.0 79530 9024 919 970 20798 1156337 120318 21.5 18 24
6099.12/6101.40 c s 6099.1 79534 9024 919 970 20798 1167706 120329 21.5 16 24
6394.31/6396.78 c s 6394.4 79535 9024 919 970 20798 1213015 120322 21.5 18 25
6629.82/6632.37 c s 6629.9 79536 9024 919 970 20798 1251976 120299 21.5 15 26
7330.97/7333.74 c + 7331.0 79536 9024 919 970 20798 1364811 132291 21.3 18 34
8079.29/8082.37 c s 8079.4 79537 9024 919 970 20798 1477847 132333 21.3 16 27
9221.67/9225.11 c s 9221.7 79538 9024 919 970 20798 1657141 132315 21.1 18 25
9549.54/9553.10 c + 9549.6 79538 9024 919 970 20798 1706011 145520 21.1 18 35
9668.71/9672.39 c s 9668.8 79539 9024 919 970 20798 1723571 145581 21.1 17 29
9682.30/9685.93 c s 9682.3 79540 9024 919 970 20798 1725986 145564 21.1 13 29
9798.05/9801.79 c s 9798.1 79543 9024 919 970 20798 1744543 145575 21.1 17 29
10000.07/10003.80 c
10000.07/10003.80 c *** CAUGHT SIGNAL 15 ***
10000.07/10003.80 c
10000.07/10003.80 c 1773696 conflicts, 2184834 decisions, 2 random
10000.07/10003.80 c 1 iterations, 3437 restarts, 0 skipped
10000.07/10003.80 c 21 enlarged, 630 shrunken, 17316 rescored, 490 rebiased
10000.07/10003.80 c 119 simplifications, 0 reductions
10000.07/10003.80 c
10000.07/10003.80 c vars: 919 fixed, 970 equiv, 20798 elim, 984 merged
10000.07/10003.80 c elim: 2434893 resolutions, 9 phases, 9 rounds
10000.07/10003.80 c sbst: 92% substituted, 0.8% nots, 98.2% ands, 0.9% xors, 0.1% ites
10000.07/10003.80 c arty: 2.27 and 2.03 xor average arity
10000.07/10003.80 c prbe: 7379796 probed, 4482 phases, 408 rounds
10000.07/10003.80 c prbe: 38 failed, 90 lifted, 22 merged
10000.07/10003.80 c sccs: 22 non trivial, 0 fixed, 28 merged
10000.07/10003.80 c hash: 48 units, 934 merged
10000.07/10003.80 c mins: 51255473 learned, 93% deleted, 34 strong, 42 depth
10000.07/10003.80 c subs: 2187 forward, 1152 backward, 1677 doms
10000.07/10003.80 c strs: 7196 forward, 1208 backward
10000.07/10003.80 c doms: 5975 dominators, 1658 high, 4 low
10000.07/10003.80 c prps: 9011112059 propagations, 0.90 megaprops
10000.07/10003.80 c
10000.07/10003.80 c 10000.1 seconds, 39 MB max, 225 MB recycled
10000.07/10003.80 c
10000.07/10003.80 c *** CAUGHT SIGNAL 15 ***
10000.07/10003.80 c
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1774101-1241194667/watcher-1774101-1241194667 -o /tmp/evaluation-result-1774101-1241194667/solver-1774101-1241194667 -C 10000 -W 12000 -M 1800 HOME/precosat HOME/instance-1774101-1241194667.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.85 0.96 0.91 3/64 31466
/proc/meminfo: memFree=1315368/2055920 swapFree=4191900/4192956
[pid=31466] ppid=31464 vsize=2028 CPUtime=0
/proc/31466/stat : 31466 (precosat) R 31464 31466 31429 0 -1 4194304 394 0 0 0 0 0 0 0 18 0 1 0 147495156 2076672 379 1992294400 134512640 135151029 4294956240 18446744073709551615 134534335 0 0 4096 0 0 0 0 17 1 0 0
/proc/31466/statm: 507 379 59 155 0 350 0
[startup+0.049609 s]
/proc/loadavg: 0.85 0.96 0.91 3/64 31466
/proc/meminfo: memFree=1315368/2055920 swapFree=4191900/4192956
[pid=31466] ppid=31464 vsize=5620 CPUtime=0.04
/proc/31466/stat : 31466 (precosat) R 31464 31466 31429 0 -1 4194304 1358 0 0 0 4 0 0 0 18 0 1 0 147495156 5754880 1310 1992294400 134512640 135151029 4294956240 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31466/statm: 1405 1311 64 155 0 1248 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5620
[startup+0.101618 s]
/proc/loadavg: 0.85 0.96 0.91 3/64 31466
/proc/meminfo: memFree=1315368/2055920 swapFree=4191900/4192956
[pid=31466] ppid=31464 vsize=7988 CPUtime=0.09
/proc/31466/stat : 31466 (precosat) R 31464 31466 31429 0 -1 4194304 2002 0 0 0 8 1 0 0 18 0 1 0 147495156 8179712 1889 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31466/statm: 1997 1889 64 155 0 1840 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7988
[startup+0.301655 s]
/proc/loadavg: 0.85 0.96 0.91 3/64 31466
/proc/meminfo: memFree=1315368/2055920 swapFree=4191900/4192956
[pid=31466] ppid=31464 vsize=13120 CPUtime=0.29
/proc/31466/stat : 31466 (precosat) R 31464 31466 31429 0 -1 4194304 3421 0 0 0 28 1 0 0 19 0 1 0 147495156 13434880 3178 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31466/statm: 3280 3178 78 155 0 3123 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13120
[startup+0.701732 s]
/proc/loadavg: 0.85 0.96 0.91 3/64 31466
/proc/meminfo: memFree=1315368/2055920 swapFree=4191900/4192956
[pid=31466] ppid=31464 vsize=15864 CPUtime=0.69
/proc/31466/stat : 31466 (precosat) R 31464 31466 31429 0 -1 4194304 4851 0 0 0 67 2 0 0 22 0 1 0 147495156 16244736 3841 1992294400 134512640 135151029 4294956240 18446744073709551615 134518666 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31466/statm: 3966 3841 78 155 0 3809 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15864
[startup+1.50189 s]
/proc/loadavg: 0.85 0.96 0.91 2/65 31467
/proc/meminfo: memFree=1298528/2055920 swapFree=4191900/4192956
[pid=31466] ppid=31464 vsize=18184 CPUtime=1.49
/proc/31466/stat : 31466 (precosat) R 31464 31466 31429 0 -1 4194304 5591 0 0 0 147 2 0 0 25 0 1 0 147495156 18620416 4452 1992294400 134512640 135151029 4294956240 18446744073709551615 134548088 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31466/statm: 4546 4452 78 155 0 4389 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18184
[startup+3.10119 s]
/proc/loadavg: 0.85 0.96 0.91 2/65 31467
/proc/meminfo: memFree=1298464/2055920 swapFree=4191900/4192956
[pid=31466] ppid=31464 vsize=17288 CPUtime=3.09
/proc/31466/stat : 31466 (precosat) R 31464 31466 31429 0 -1 4194304 5603 0 0 0 307 2 0 0 25 0 1 0 147495156 17702912 4207 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31466/statm: 4322 4207 79 155 0 4165 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17288
[startup+6.30181 s]
/proc/loadavg: 0.86 0.96 0.91 2/65 31467
/proc/meminfo: memFree=1298336/2055920 swapFree=4191900/4192956
[pid=31466] ppid=31464 vsize=17288 CPUtime=6.28
/proc/31466/stat : 31466 (precosat) R 31464 31466 31429 0 -1 4194304 5603 0 0 0 626 2 0 0 25 0 1 0 147495156 17702912 4207 1992294400 134512640 135151029 4294956240 18446744073709551615 134554866 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31466/statm: 4322 4207 79 155 0 4165 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 17288
[startup+12.701 s]
/proc/loadavg: 0.87 0.96 0.91 2/65 31467
/proc/meminfo: memFree=1298032/2055920 swapFree=4191900/4192956
[pid=31466] ppid=31464 vsize=17536 CPUtime=12.69
/proc/31466/stat : 31466 (precosat) R 31464 31466 31429 0 -1 4194304 5790 0 0 0 1266 3 0 0 25 0 1 0 147495156 17956864 4265 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31466/statm: 4384 4265 79 155 0 4227 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17536
[startup+25.5015 s]
/proc/loadavg: 0.90 0.96 0.91 2/65 31467
/proc/meminfo: memFree=1298032/2055920 swapFree=4191900/4192956
[pid=31466] ppid=31464 vsize=17536 CPUtime=25.48
/proc/31466/stat : 31466 (precosat) R 31464 31466 31429 0 -1 4194304 5919 0 0 0 2545 3 0 0 25 0 1 0 147495156 17956864 4265 1992294400 134512640 135151029 4294956240 18446744073709551615 134554575 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31466/statm: 4384 4265 79 155 0 4227 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 17536
[startup+51.1014 s]
/proc/loadavg: 0.93 0.97 0.91 2/65 31467
/proc/meminfo: memFree=1298096/2055920 swapFree=4191900/4192956
[pid=31466] ppid=31464 vsize=17536 CPUtime=51.07
/proc/31466/stat : 31466 (precosat) R 31464 31466 31429 0 -1 4194304 5919 0 0 0 5104 3 0 0 25 0 1 0 147495156 17956864 4265 1992294400 134512640 135151029 4294956240 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31466/statm: 4384 4265 79 155 0 4227 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 17536
[startup+102.305 s]
/proc/loadavg: 0.97 0.97 0.91 2/65 31467
/proc/meminfo: memFree=1298096/2055920 swapFree=4191900/4192956
[pid=31466] ppid=31464 vsize=17536 CPUtime=102.25
/proc/31466/stat : 31466 (precosat) R 31464 31466 31429 0 -1 4194304 5919 0 0 0 10222 3 0 0 25 0 1 0 147495156 17956864 4265 1992294400 134512640 135151029 4294956240 18446744073709551615 134554756 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31466/statm: 4384 4265 79 155 0 4227 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 17536
[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 31467
/proc/meminfo: memFree=1297968/2055920 swapFree=4191900/4192956
[pid=31466] ppid=31464 vsize=17776 CPUtime=162.22
/proc/31466/stat : 31466 (precosat) R 31464 31466 31429 0 -1 4194304 5983 0 0 0 16219 3 0 0 25 0 1 0 147495156 18202624 4329 1992294400 134512640 135151029 4294956240 18446744073709551615 134554803 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31466/statm: 4444 4329 79 155 0 4287 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 17776
[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 31467
/proc/meminfo: memFree=1297776/2055920 swapFree=4191900/4192956
[pid=31466] ppid=31464 vsize=17796 CPUtime=222.2
/proc/31466/stat : 31466 (precosat) R 31464 31466 31429 0 -1 4194304 6588 0 0 0 22216 4 0 0 25 0 1 0 147495156 18223104 4362 1992294400 134512640 135151029 4294956240 18446744073709551615 134581738 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31466/statm: 4449 4362 79 155 0 4292 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 17796
[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 31467
/proc/meminfo: memFree=1296240/2055920 swapFree=4191900/4192956
[pid=31466] ppid=31464 vsize=19552 CPUtime=282.18
/proc/31466/stat : 31466 (precosat) R 31464 31466 31429 0 -1 4194304 7092 0 0 0 28213 5 0 0 25 0 1 0 147495156 20021248 4737 1992294400 134512640 135151029 4294956240 18446744073709551615 134580636 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31466/statm: 4888 4737 79 155 0 4731 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 19552
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 31467
/proc/meminfo: memFree=1295408/2055920 swapFree=4191900/4192956
[pid=31466] ppid=31464 vsize=20256 CPUtime=342.16
/proc/31466/stat : 31466 (precosat) R 31464 31466 31429 0 -1 4194304 7294 0 0 0 34211 5 0 0 25 0 1 0 147495156 20742144 4939 1992294400 134512640 135151029 4294956240 18446744073709551615 134542634 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31466/statm: 5064 4939 79 155 0 4907 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 20256
[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 31467
/proc/meminfo: memFree=1295152/2055920 swapFree=4191900/4192956
[pid=31466] ppid=31464 vsize=20436 CPUtime=402.14
/proc/31466/stat : 31466 (precosat) R 31464 31466 31429 0 -1 4194304 7335 0 0 0 40208 6 0 0 25 0 1 0 147495156 20926464 4980 1992294400 134512640 135151029 4294956240 18446744073709551615 134577848 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31466/statm: 5109 4980 79 155 0 4952 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 20436
[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 31467
/proc/meminfo: memFree=1294576/2055920 swapFree=4191900/4192956
[pid=31466] ppid=31464 vsize=20996 CPUtime=462.11
/proc/31466/stat : 31466 (precosat) R 31464 31466 31429 0 -1 4194304 7488 0 0 0 46205 6 0 0 25 0 1 0 147495156 21499904 5133 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31466/statm: 5249 5133 79 155 0 5092 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 20996
[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 31467
/proc/meminfo: memFree=1294320/2055920 swapFree=4191900/4192956
[pid=31466] ppid=31464 vsize=21208 CPUtime=522.09
/proc/31466/stat : 31466 (precosat) R 31464 31466 31429 0 -1 4194304 8369 0 0 0 52202 7 0 0 25 0 1 0 147495156 21716992 5190 1992294400 134512640 135151029 4294956240 18446744073709551615 134576002 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31466/statm: 5302 5190 79 155 0 5145 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 21208
[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 31467
/proc/meminfo: memFree=1293360/2055920 swapFree=4191900/4192956
[pid=31466] ppid=31464 vsize=22128 CPUtime=582.07
/proc/31466/stat : 31466 (precosat) R 31464 31466 31429 0 -1 4194304 8723 0 0 0 58199 8 0 0 25 0 1 0 147495156 22659072 5415 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31466/statm: 5532 5415 79 155 0 5375 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 22128
[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 31467
/proc/meminfo: memFree=1292784/2055920 swapFree=4191900/4192956
[pid=31466] ppid=31464 vsize=23056 CPUtime=642.05
/proc/31466/stat : 31466 (precosat) R 31464 31466 31429 0 -1 4194304 8874 0 0 0 64197 8 0 0 25 0 1 0 147495156 23609344 5566 1992294400 134512640 135151029 4294956240 18446744073709551615 134552952 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31466/statm: 5764 5566 79 155 0 5607 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 23056
[startup+702.301 s]
################
# More data... #
################
[startup+9042.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 31485
/proc/meminfo: memFree=1272432/2055920 swapFree=4191900/4192956
[pid=31466] ppid=31464 vsize=41964 CPUtime=9038.93
/proc/31466/stat : 31466 (precosat) R 31464 31466 31429 0 -1 4194304 20041 0 0 0 903849 44 0 0 25 0 1 0 147495156 42971136 10195 1992294400 134512640 135151029 4294956240 18446744073709551615 134574578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31466/statm: 10491 10195 79 155 0 10334 0
Current children cumulated CPU time (s) 9038.93
Current children cumulated vsize (KiB) 41964
[startup+9102.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 31485
/proc/meminfo: memFree=1272304/2055920 swapFree=4191900/4192956
[pid=31466] ppid=31464 vsize=41964 CPUtime=9098.91
/proc/31466/stat : 31466 (precosat) R 31464 31466 31429 0 -1 4194304 20057 0 0 0 909847 44 0 0 25 0 1 0 147495156 42971136 10211 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31466/statm: 10491 10211 79 155 0 10334 0
Current children cumulated CPU time (s) 9098.91
Current children cumulated vsize (KiB) 41964
[startup+9162.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 31485
/proc/meminfo: memFree=1271984/2055920 swapFree=4191900/4192956
[pid=31466] ppid=31464 vsize=42380 CPUtime=9158.89
/proc/31466/stat : 31466 (precosat) R 31464 31466 31429 0 -1 4194304 20129 0 0 0 915844 45 0 0 25 0 1 0 147495156 43397120 10283 1992294400 134512640 135151029 4294956240 18446744073709551615 134551374 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31466/statm: 10595 10283 79 155 0 10438 0
Current children cumulated CPU time (s) 9158.89
Current children cumulated vsize (KiB) 42380
[startup+9222.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 31485
/proc/meminfo: memFree=1271664/2055920 swapFree=4191900/4192956
[pid=31466] ppid=31464 vsize=42796 CPUtime=9218.87
/proc/31466/stat : 31466 (precosat) R 31464 31466 31429 0 -1 4194304 20210 0 0 0 921842 45 0 0 25 0 1 0 147495156 43823104 10364 1992294400 134512640 135151029 4294956240 18446744073709551615 134581524 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31466/statm: 10699 10364 79 155 0 10542 0
Current children cumulated CPU time (s) 9218.87
Current children cumulated vsize (KiB) 42796
[startup+9282.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 31485
/proc/meminfo: memFree=1273008/2055920 swapFree=4191900/4192956
[pid=31466] ppid=31464 vsize=40300 CPUtime=9278.84
/proc/31466/stat : 31466 (precosat) R 31464 31466 31429 0 -1 4194304 20337 0 0 0 927839 45 0 0 25 0 1 0 147495156 41267200 9970 1992294400 134512640 135151029 4294956240 18446744073709551615 134554855 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31466/statm: 10075 9970 79 155 0 9918 0
Current children cumulated CPU time (s) 9278.84
Current children cumulated vsize (KiB) 40300
[startup+9342.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 31485
/proc/meminfo: memFree=1273136/2055920 swapFree=4191900/4192956
[pid=31466] ppid=31464 vsize=40684 CPUtime=9338.82
/proc/31466/stat : 31466 (precosat) R 31464 31466 31429 0 -1 4194304 20376 0 0 0 933837 45 0 0 25 0 1 0 147495156 41660416 10009 1992294400 134512640 135151029 4294956240 18446744073709551615 134554855 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31466/statm: 10171 10009 79 155 0 10014 0
Current children cumulated CPU time (s) 9338.82
Current children cumulated vsize (KiB) 40684
[startup+9402.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 31485
/proc/meminfo: memFree=1273008/2055920 swapFree=4191900/4192956
[pid=31466] ppid=31464 vsize=40684 CPUtime=9398.8
/proc/31466/stat : 31466 (precosat) R 31464 31466 31429 0 -1 4194304 20396 0 0 0 939834 46 0 0 25 0 1 0 147495156 41660416 10029 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31466/statm: 10171 10029 79 155 0 10014 0
Current children cumulated CPU time (s) 9398.8
Current children cumulated vsize (KiB) 40684
[startup+9462.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 31485
/proc/meminfo: memFree=1272752/2055920 swapFree=4191900/4192956
[pid=31466] ppid=31464 vsize=41196 CPUtime=9458.78
/proc/31466/stat : 31466 (precosat) R 31464 31466 31429 0 -1 4194304 20458 0 0 0 945832 46 0 0 25 0 1 0 147495156 42184704 10091 1992294400 134512640 135151029 4294956240 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31466/statm: 10299 10091 79 155 0 10142 0
Current children cumulated CPU time (s) 9458.78
Current children cumulated vsize (KiB) 41196
[startup+9522.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 31485
/proc/meminfo: memFree=1272496/2055920 swapFree=4191900/4192956
[pid=31466] ppid=31464 vsize=41580 CPUtime=9518.75
/proc/31466/stat : 31466 (precosat) R 31464 31466 31429 0 -1 4194304 20524 0 0 0 951829 46 0 0 25 0 1 0 147495156 42577920 10157 1992294400 134512640 135151029 4294956240 18446744073709551615 134554594 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31466/statm: 10395 10157 79 155 0 10238 0
Current children cumulated CPU time (s) 9518.75
Current children cumulated vsize (KiB) 41580
[startup+9582.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 31485
/proc/meminfo: memFree=1271984/2055920 swapFree=4191900/4192956
[pid=31466] ppid=31464 vsize=42352 CPUtime=9578.73
/proc/31466/stat : 31466 (precosat) R 31464 31466 31429 0 -1 4194304 20638 0 0 0 957827 46 0 0 25 0 1 0 147495156 43368448 10271 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31466/statm: 10588 10271 79 155 0 10431 0
Current children cumulated CPU time (s) 9578.73
Current children cumulated vsize (KiB) 42352
[startup+9642.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 31485
/proc/meminfo: memFree=1271792/2055920 swapFree=4191900/4192956
[pid=31466] ppid=31464 vsize=42608 CPUtime=9638.71
/proc/31466/stat : 31466 (precosat) R 31464 31466 31429 0 -1 4194304 20688 0 0 0 963825 46 0 0 25 0 1 0 147495156 43630592 10321 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31466/statm: 10652 10321 79 155 0 10495 0
Current children cumulated CPU time (s) 9638.71
Current children cumulated vsize (KiB) 42608
[startup+9702.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 31485
/proc/meminfo: memFree=1271216/2055920 swapFree=4191900/4192956
[pid=31466] ppid=31464 vsize=42748 CPUtime=9698.69
/proc/31466/stat : 31466 (precosat) R 31464 31466 31429 0 -1 4194304 20858 0 0 0 969822 47 0 0 25 0 1 0 147495156 43773952 10425 1992294400 134512640 135151029 4294956240 18446744073709551615 134581524 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31466/statm: 10687 10425 79 155 0 10530 0
Current children cumulated CPU time (s) 9698.69
Current children cumulated vsize (KiB) 42748
[startup+9762.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 31485
/proc/meminfo: memFree=1271088/2055920 swapFree=4191900/4192956
[pid=31466] ppid=31464 vsize=42748 CPUtime=9758.67
/proc/31466/stat : 31466 (precosat) R 31464 31466 31429 0 -1 4194304 20918 0 0 0 975820 47 0 0 25 0 1 0 147495156 43773952 10485 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31466/statm: 10687 10485 79 155 0 10530 0
Current children cumulated CPU time (s) 9758.67
Current children cumulated vsize (KiB) 42748
[startup+9822.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 31491
/proc/meminfo: memFree=1270832/2055920 swapFree=4191900/4192956
[pid=31466] ppid=31464 vsize=42748 CPUtime=9818.64
/proc/31466/stat : 31466 (precosat) R 31464 31466 31429 0 -1 4194304 20940 0 0 0 981817 47 0 0 25 0 1 0 147495156 43773952 10507 1992294400 134512640 135151029 4294956240 18446744073709551615 134554851 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31466/statm: 10687 10507 79 155 0 10530 0
Current children cumulated CPU time (s) 9818.64
Current children cumulated vsize (KiB) 42748
[startup+9882.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 31491
/proc/meminfo: memFree=1270640/2055920 swapFree=4191900/4192956
[pid=31466] ppid=31464 vsize=42748 CPUtime=9878.63
/proc/31466/stat : 31466 (precosat) R 31464 31466 31429 0 -1 4194304 21001 0 0 0 987815 48 0 0 25 0 1 0 147495156 43773952 10568 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31466/statm: 10687 10568 79 155 0 10530 0
Current children cumulated CPU time (s) 9878.63
Current children cumulated vsize (KiB) 42748
[startup+9942.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 31491
/proc/meminfo: memFree=1270192/2055920 swapFree=4191900/4192956
[pid=31466] ppid=31464 vsize=43400 CPUtime=9938.6
/proc/31466/stat : 31466 (precosat) R 31464 31466 31429 0 -1 4194304 21103 0 0 0 993812 48 0 0 25 0 1 0 147495156 44441600 10670 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31466/statm: 10850 10670 79 155 0 10693 0
Current children cumulated CPU time (s) 9938.6
Current children cumulated vsize (KiB) 43400
[startup+10002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 31491
/proc/meminfo: memFree=1269872/2055920 swapFree=4191900/4192956
[pid=31466] ppid=31464 vsize=43912 CPUtime=9998.58
/proc/31466/stat : 31466 (precosat) R 31464 31466 31429 0 -1 4194304 21183 0 0 0 999810 48 0 0 25 0 1 0 147495156 44965888 10750 1992294400 134512640 135151029 4294956240 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31466/statm: 10978 10750 79 155 0 10821 0
Current children cumulated CPU time (s) 9998.58
Current children cumulated vsize (KiB) 43912
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10003.8 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 31491
/proc/meminfo: memFree=1269872/2055920 swapFree=4191900/4192956
[pid=31466] ppid=31464 vsize=43912 CPUtime=10000.1
/proc/31466/stat : 31466 (precosat) R 31464 31466 31429 0 -1 4194304 21183 0 0 0 999959 48 0 0 25 0 1 0 147495156 44965888 10750 1992294400 134512640 135151029 4294956240 18446744073709551615 134581778 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31466/statm: 10978 10750 79 155 0 10821 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 43912
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 10003.8
CPU time (s): 10000.1
CPU user time (s): 9999.6
CPU system time (s): 0.496924
CPU usage (%): 99.9628
Max. virtual memory (cumulated for all children) (KiB): 43912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9999.6
system time used= 0.496924
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21183
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= 15700
runsolver used 7.75482 second user time and 22.1146 second system time
The end
Begin job on node38 at 2009-05-01 18:17:47
IDJOB=1774101
IDBENCH=70868
IDSOLVER=607
FILE ID=node38/1774101-1241194667
PBS_JOBID= 9224647
Free space on /tmp= 66512 MiB
SOLVER NAME= precosat 236
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-23-s100.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1774101-1241194667/watcher-1774101-1241194667 -o /tmp/evaluation-result-1774101-1241194667/solver-1774101-1241194667 -C 10000 -W 12000 -M 1800 HOME/precosat HOME/instance-1774101-1241194667.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= aa3fff3e05d3f50a3d088c22afa455ea
RANDOM SEED=808932296
node38.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.265
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.265
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: 1315784 kB
Buffers: 63896 kB
Cached: 569344 kB
SwapCached: 384 kB
Active: 30520 kB
Inactive: 616008 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1315784 kB
SwapTotal: 4192956 kB
SwapFree: 4191900 kB
Dirty: 2424 kB
Writeback: 0 kB
Mapped: 21688 kB
Slab: 79512 kB
Committed_AS: 764148 kB
PageTables: 1456 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= 66512 MiB
End job on node38 at 2009-05-01 21:04:33