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-1783878-1241897014.cnf
0.00/0.00 c found header 'p cnf 1610 8277'
0.00/0.01 c finished parsing
0.00/0.01 c
0.00/0.01 c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.00/0.01 c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.00/0.01 c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.00/0.01 c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.00/0.01 c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.00/0.01 c --random=1 --spread=2000 --seed=0 --skip=25
0.00/0.01 c
0.00/0.01 c sizeof vars[0] = 16 alignment = 0 0 MB
0.00/0.01 c sizeof orgs[0] = 8 alignment = 0 0 MB
0.00/0.01 c sizeof occs[0] = 8 alignment = 0 0 MB
0.00/0.01 c sizeof iirfs[0..1] = 8 alignment = 0 0 MB
0.00/0.01 c
0.00/0.01 c starting search after 0.0 seconds
0.00/0.01 c no decision limit
0.00/0.01 c
0.00/0.01 c original/binary fixed eliminated learned agility
0.00/0.01 c seconds variables equivalent conflicts height MB
0.00/0.01 c
0.00/0.01 c * 0.0 8047 1571 37 2 0 0 0 0.0 0 1
0.02/0.03 c - 0.0 7863 1568 42 0 0 0 1000 0.0 0 1
0.02/0.04 c - 0.0 7764 1568 42 0 0 0 1000 0.0 0 1
0.02/0.05 c - 0.0 7144 1551 42 0 17 0 1000 0.0 0 1
0.09/0.19 c s 0.2 7095 1531 42 0 37 0 0 0.0 0 1
0.09/0.19 c l 0.2 7095 1531 42 0 37 0 6545 0.0 0 1
0.19/0.20 c R 0.2 7096 1531 42 0 37 101 100 256.0 6 1
0.19/0.20 c R 0.2 7096 1531 42 0 37 201 200 215.0 10 1
0.19/0.22 c R 0.2 7096 1531 42 0 37 801 800 258.3 16 1
0.19/0.22 c B 0.2 7097 1531 42 0 37 1002 1001 282.8 12 1
0.19/0.26 c B 0.3 7098 1531 42 0 37 2003 2002 260.3 17 1
0.19/0.27 c R 0.3 7099 1531 42 0 37 2410 2408 257.6 17 1
0.39/0.44 c R 0.4 7144 1531 42 0 37 6423 6416 241.1 17 2
0.39/0.45 c + 0.4 7146 1531 42 0 37 6546 7199 240.3 19 2
0.39/0.48 c s 0.5 7156 1531 42 0 37 6996 6985 238.0 19 2
0.49/0.54 c B 0.5 7156 1531 42 0 37 8004 7210 236.7 18 2
0.49/0.54 c + 0.5 7156 1531 42 0 37 8180 7918 235.3 18 2
0.59/0.65 c + 0.7 7160 1531 42 0 37 10225 8709 227.2 20 2
0.69/0.79 c + 0.8 7164 1531 42 0 37 12783 9579 220.2 20 2
0.89/0.97 c
0.89/0.97 c original/binary fixed eliminated learned agility
0.89/0.97 c seconds variables equivalent conflicts height MB
0.89/0.97 c
0.89/0.97 c + 1.0 7177 1531 42 0 37 15977 10536 217.0 17 3
0.89/0.98 c R 1.0 7179 1531 42 0 37 16042 9672 219.9 12 3
1.19/1.22 c + 1.2 7240 1531 42 0 37 19970 11589 212.2 17 3
1.29/1.35 c s 1.3 7271 1531 42 0 37 21648 11598 211.7 19 2
1.49/1.50 c B 1.5 7280 1531 42 0 37 24011 11601 210.4 19 3
1.49/1.56 c + 1.6 7292 1531 42 0 37 24960 12747 208.8 17 3
1.99/2.02 c + 2.0 7417 1531 42 0 37 31200 14021 202.2 18 3
2.49/2.59 c R 2.6 7588 1531 42 0 37 38491 14037 195.6 18 3
2.59/2.63 c + 2.6 7609 1531 42 0 37 39000 15423 195.9 16 3
2.69/2.79 c s 2.8 7668 1531 42 0 37 40601 15424 196.2 18 3
3.39/3.47 c + 3.5 7686 1531 42 0 37 48750 16965 192.3 20 4
4.49/4.58 c + 4.6 7709 1531 42 0 37 60935 18661 188.3 20 4
4.69/4.79 c s 4.8 7709 1531 42 0 37 62649 18685 188.1 18 3
4.89/4.95 c B 5.0 7709 1531 42 0 37 64021 18681 188.1 21 4
6.09/6.19 c + 6.2 7712 1531 42 0 37 76167 20527 188.6 19 5
7.28/7.35 c s 7.4 7722 1531 42 0 37 87313 20557 188.6 23 4
7.48/7.58 c R 7.6 7740 1531 42 0 37 89808 20573 188.0 16 4
8.18/8.21 c + 8.2 7942 1531 42 0 37 95206 22579 185.3 20 4
10.38/10.41 c s 10.4 8388 1531 42 0 37 112852 22594 188.0 19 4
11.08/11.13 c
11.08/11.13 c original/binary fixed eliminated learned agility
11.08/11.13 c seconds variables equivalent conflicts height MB
11.08/11.13 c
11.08/11.13 c + 11.1 8409 1531 42 0 37 119006 24836 185.5 19 5
13.98/14.09 c s 14.1 8714 1531 42 0 37 141028 24846 180.8 20 4
15.18/15.25 c + 15.2 8743 1531 42 0 37 148756 27319 185.1 22 6
16.89/16.99 c B 17.0 8944 1531 42 0 37 160055 27341 186.7 20 7
18.49/18.56 c s 18.6 9032 1531 42 0 37 169793 27340 184.5 22 5
21.48/21.52 c + 21.5 9201 1531 42 0 37 185948 30050 183.2 23 7
23.68/23.72 c s 23.7 9494 1531 42 0 37 199757 30091 183.4 23 5
24.48/24.52 c R 24.5 9544 1531 42 0 37 205221 30085 182.9 20 6
29.68/29.79 c + 29.8 9575 1530 43 0 37 232435 33055 179.9 21 8
29.98/30.03 c - 30.0 9552 1530 43 0 37 233494 32725 179.6 22 6
30.18/30.25 c s 30.2 9496 1519 43 0 48 233494 31108 179.6 22 6
30.18/30.25 c - 30.2 9496 1519 43 0 48 233494 32398 179.6 22 6
37.28/37.32 c s 37.3 9559 1519 43 0 48 267856 32419 174.4 21 6
41.07/41.12 c + 41.1 9600 1519 43 0 48 284761 35637 174.3 21 8
45.07/45.13 c s 45.1 9698 1519 43 0 48 300686 35639 171.6 23 6
52.77/52.86 c s 52.8 9907 1519 43 0 48 334522 35644 168.8 23 6
58.46/58.52 c + 58.5 9951 1519 43 0 48 355953 39200 166.9 23 9
62.07/62.15 c s 62.1 9968 1519 43 0 48 367234 39204 166.8 21 7
67.67/67.75 c B 67.7 9984 1519 43 0 48 384117 39209 165.9 23 10
72.57/72.67 c
72.57/72.67 c original/binary fixed eliminated learned agility
72.57/72.67 c seconds variables equivalent conflicts height MB
72.57/72.67 c
72.57/72.67 c s 72.6 10002 1519 43 0 48 400832 39216 167.2 22 7
82.76/82.89 c s 82.9 10208 1519 43 0 48 433341 39203 167.1 25 7
86.66/86.77 c + 86.7 10208 1519 43 0 48 444941 43120 167.2 25 9
92.75/92.89 c R 92.9 10214 1519 43 0 48 461667 43146 166.5 23 11
93.75/93.89 c s 93.9 10269 1519 43 0 48 466039 43145 166.0 22 8
106.26/106.34 c s 106.3 10271 1519 43 0 48 502971 44300 163.9 24 9
119.15/119.28 c s 119.2 10574 1519 43 0 48 542693 43120 161.4 23 8
123.85/123.90 c + 123.9 10584 1519 43 0 48 556176 47432 160.7 23 11
133.54/133.60 c s 133.6 10681 1519 43 0 48 580058 47448 159.8 24 9
148.64/148.71 c s 148.7 11280 1519 43 0 48 618330 47430 158.2 25 9
164.33/164.44 c s 164.4 11437 1519 43 0 48 656884 47449 157.0 25 9
179.72/179.89 c + 179.8 11595 1519 43 0 48 695221 52175 154.9 23 12
180.62/180.70 c s 180.6 11596 1519 43 0 48 696819 49049 154.8 24 9
194.92/195.01 c s 194.9 11597 1519 43 0 48 738011 52217 154.4 24 10
213.91/214.05 c s 214.0 11766 1519 43 0 48 780851 52199 151.9 25 10
233.81/233.98 c s 233.9 11768 1519 43 0 48 820260 52191 151.0 24 10
251.40/251.54 c s 251.5 11788 1519 43 0 48 859284 52191 151.0 24 10
256.70/256.88 c + 256.8 11789 1519 43 0 48 869026 57392 151.7 23 12
270.69/270.87 c B 270.8 11834 1519 43 0 48 896234 57412 151.1 26 15
271.39/271.52 c
271.39/271.52 c original/binary fixed eliminated learned agility
271.39/271.52 c seconds variables equivalent conflicts height MB
271.39/271.52 c
271.39/271.52 c s 271.4 11834 1519 43 0 48 897172 57421 151.1 24 11
293.38/293.56 c s 293.5 11875 1519 43 0 48 939104 57413 150.5 25 10
315.98/316.18 c s 316.1 11900 1519 43 0 48 978547 57410 150.2 24 10
340.57/340.76 c N 340.6 11900 1519 43 0 48 1025742 57407 150.5 25 14
355.46/355.60 c s 355.5 11901 1519 43 0 48 1059280 57411 149.8 26 10
364.86/365.09 c + 365.0 11904 1519 43 0 48 1086281 63131 148.9 26 14
375.45/375.62 c s 375.5 11906 1519 43 0 48 1105080 63161 148.0 25 13
402.64/402.83 c s 402.7 11931 1519 43 0 48 1155550 63161 146.5 24 12
433.64/433.89 c s 433.7 11962 1519 43 0 48 1200857 63138 145.0 25 12
464.33/464.55 c s 464.4 11963 1519 43 0 48 1250596 63146 144.4 24 12
504.51/504.76 c s 504.6 11964 1519 43 0 48 1313524 63152 142.5 25 11
527.90/528.14 c + 528.0 11967 1519 43 0 48 1357851 69444 141.8 22 16
529.70/529.97 c s 529.8 11968 1519 43 0 48 1360575 65882 141.6 23 12
562.79/563.07 c s 562.9 11969 1519 43 0 48 1405633 69461 140.5 24 13
597.58/597.83 c s 597.6 11977 1519 43 0 48 1453849 69461 139.6 25 12
633.86/634.19 c s 634.0 11983 1519 43 0 48 1503199 69457 139.6 24 12
667.45/667.72 c s 667.5 12003 1519 43 0 48 1551876 69453 139.4 26 12
696.84/697.17 c s 696.9 12012 1519 43 0 48 1600241 69468 138.6 25 12
752.52/752.86 c s 752.6 12014 1519 43 0 48 1691164 69457 137.2 24 13
757.22/757.50 c
757.22/757.50 c original/binary fixed eliminated learned agility
757.22/757.50 c seconds variables equivalent conflicts height MB
757.22/757.50 c
757.22/757.50 c + 757.2 12014 1519 43 0 48 1697310 76388 137.0 24 17
788.31/788.65 c s 788.4 12015 1519 43 0 48 1744925 76406 136.0 24 14
829.10/829.48 c s 829.2 12026 1519 43 0 48 1801372 76411 135.1 24 14
870.08/870.50 c s 870.2 12027 1519 43 0 48 1853110 76398 134.0 25 13
907.76/908.17 c s 907.8 13153 1519 43 0 48 1906226 76405 133.8 26 14
949.26/949.62 c s 949.3 13155 1519 43 0 48 1959143 76425 133.7 28 14
990.64/991.02 c s 990.7 13156 1519 43 0 48 2010840 76413 133.8 26 13
1019.43/1019.82 c B 1019.5 13159 1519 43 0 48 2048458 76412 134.0 25 20
1028.72/1029.17 c s 1028.8 13160 1519 43 0 48 2062037 76418 133.8 25 14
1063.51/1063.93 c s 1063.6 13168 1519 43 0 48 2113942 76415 133.9 22 14
1067.81/1068.26 c + 1067.9 13168 1519 43 0 48 2121637 84026 134.1 25 16
1099.60/1100.05 c s 1099.7 13169 1519 43 0 48 2166496 84044 135.4 27 15
1158.87/1159.34 c N 1158.9 13169 1519 43 0 48 2256281 84061 134.6 25 20
1168.57/1169.09 c s 1168.7 13170 1519 43 0 48 2273530 84039 135.1 24 14
1205.96/1206.48 c s 1206.1 13173 1519 43 0 48 2330628 84053 134.8 24 14
1249.14/1249.69 c s 1249.2 13176 1519 43 0 48 2393529 84053 134.1 27 17
1294.33/1294.85 c s 1294.4 13178 1519 43 0 48 2461081 84047 132.7 24 18
1347.91/1348.41 c s 1347.9 13217 1519 43 0 48 2521984 84051 131.6 25 16
1395.19/1395.71 c s 1395.2 13236 1519 43 0 48 2583228 84052 130.7 26 16
1443.87/1444.44 c
1443.87/1444.44 c original/binary fixed eliminated learned agility
1443.87/1444.44 c seconds variables equivalent conflicts height MB
1443.87/1444.44 c
1443.87/1444.44 c + 1443.9 13236 1519 43 0 48 2652046 92428 129.6 26 22
1458.27/1458.88 c s 1458.4 13237 1519 43 0 48 2673667 92444 129.4 24 17
1514.85/1515.49 c s 1515.0 13261 1519 43 0 48 2737730 92448 128.4 25 16
1566.93/1567.53 c s 1567.0 13264 1519 43 0 48 2803462 92451 127.9 27 17
1624.01/1624.68 c s 1624.1 13279 1519 43 0 48 2869360 92450 127.1 28 16
1681.09/1681.70 c s 1681.1 13280 1519 43 0 48 2934243 92456 126.2 26 16
1729.98/1730.61 c s 1730.0 13297 1519 43 0 48 3000321 92453 125.6 25 18
1787.55/1788.23 c s 1787.6 13299 1519 43 0 48 3065937 92455 124.6 29 16
1911.61/1912.39 c s 1911.7 13300 1519 43 0 48 3222164 92449 123.4 23 15
1966.78/1967.53 c s 1966.8 13303 1519 43 0 48 3286617 92453 123.1 26 16
1989.78/1990.56 c + 1989.8 13303 1519 43 0 48 3315057 101670 122.9 28 21
2030.46/2031.27 c s 2030.6 13304 1519 43 0 48 3362133 101693 122.4 24 18
2092.64/2093.46 c s 2092.7 13313 1519 43 0 48 3432394 101696 122.0 25 20
2154.82/2155.66 c s 2154.9 13316 1519 43 0 48 3503034 101698 121.3 25 20
2223.79/2224.64 c s 2223.8 13317 1519 43 0 48 3574179 101709 120.5 29 20
2288.07/2288.95 c s 2288.1 13379 1519 43 0 48 3645673 101684 119.9 24 19
2356.05/2356.98 c s 2356.1 13384 1519 43 0 48 3715790 101692 119.3 27 18
2423.93/2424.84 c s 2424.0 13392 1519 43 0 48 3785680 101696 118.8 25 17
2506.00/2506.98 c s 2506.1 13393 1519 43 0 48 3880753 101712 117.8 28 19
2576.77/2577.73 c
2576.77/2577.73 c original/binary fixed eliminated learned agility
2576.77/2577.73 c seconds variables equivalent conflicts height MB
2576.77/2577.73 c
2576.77/2577.73 c s 2576.8 13449 1519 43 0 48 3950303 101679 117.4 27 19
2641.05/2642.08 c s 2641.1 13475 1519 43 0 48 4020867 101705 116.8 26 19
2703.72/2704.76 c s 2703.8 13482 1519 43 0 48 4088960 101707 116.6 26 20
2757.00/2758.00 c + 2757.0 13484 1519 43 0 48 4143821 111837 116.0 27 27
2774.10/2775.16 c s 2774.2 13486 1519 43 0 48 4159475 111862 115.8 27 21
2873.37/2874.46 c s 2873.4 13789 1519 43 0 48 4236921 111842 115.5 25 20
2949.84/2950.99 c s 2949.9 13837 1519 43 0 48 4313038 111852 115.1 27 18
3026.01/3027.16 c s 3026.1 13839 1519 43 0 48 4388458 111853 114.8 25 18
3099.08/3100.26 c s 3099.2 13851 1519 43 0 48 4463889 111854 114.5 26 19
3188.95/3190.17 c s 3189.0 13852 1519 43 0 48 4557364 111860 114.6 24 19
3240.03/3241.22 c B 3240.1 13853 1519 43 0 48 4608868 111852 115.1 26 25
3263.42/3264.65 c s 3263.5 13853 1519 43 0 48 4634549 111853 114.8 25 19
3336.89/3338.10 c s 3336.9 13893 1519 43 0 48 4710761 111863 115.0 26 23
3524.03/3525.35 c R 3524.1 13893 1519 43 0 48 4922335 111856 113.7 22 29
3524.53/3525.83 c s 3524.6 13894 1519 43 0 48 4922335 111855 113.7 22 18
3617.80/3619.14 c s 3617.9 13895 1519 43 0 48 5031455 111857 113.6 26 18
3684.78/3686.12 c s 3684.8 13903 1519 43 0 48 5106784 111853 113.2 26 20
3758.85/3760.21 c + 3758.9 13903 1519 43 0 48 5179777 123020 112.6 23 27
3914.39/3915.85 c s 3914.5 13904 1519 43 0 48 5332537 123042 111.7 25 22
4015.26/4016.75 c
4015.26/4016.75 c original/binary fixed eliminated learned agility
4015.26/4016.75 c seconds variables equivalent conflicts height MB
4015.26/4016.75 c
4015.26/4016.75 c s 4015.3 14059 1519 43 0 48 5416388 123038 111.2 25 24
4127.12/4128.69 c s 4127.2 14090 1519 43 0 48 5500060 123046 110.6 26 22
4224.88/4226.42 c s 4224.9 14098 1519 43 0 48 5584769 123042 110.3 25 22
4324.35/4325.99 c s 4324.4 14175 1519 43 0 48 5667293 123053 109.7 26 21
4457.60/4459.26 c s 4457.7 14176 1519 43 0 48 5776178 123039 109.1 25 22
4548.27/4549.95 c s 4548.3 14178 1519 43 0 48 5857817 123034 108.7 25 24
4643.43/4645.18 c s 4643.5 14182 1519 43 0 48 5941213 123057 108.1 28 23
4845.15/4846.90 c s 4845.2 14183 1519 43 0 48 6114058 123046 107.6 24 22
4940.12/4941.93 c s 4940.2 14197 1519 43 0 48 6196396 123045 107.2 24 21
5000.00/5001.80 c
5000.00/5001.80 c *** CAUGHT SIGNAL 15 ***
5000.00/5001.80 c
5000.00/5001.80 c 6246958 conflicts, 11925753 decisions, 11 random
5000.00/5001.80 c 0 iterations, 4432 restarts, 5762 skipped
5000.00/5001.80 c 31 enlarged, 793 shrunken, 61035 rescored, 1322 rebiased
5000.00/5001.80 c 100 simplifications, 0 reductions
5000.00/5001.80 c
5000.00/5001.80 c vars: 43 fixed, 0 equiv, 48 elim, 3 merged
5000.00/5001.80 c elim: 129830 resolutions, 2 phases, 2 rounds
5000.00/5001.80 c sbst: 0% substituted, 0.0% nots, 0.0% ands, 0.0% xors, 0.0% ites
5000.00/5001.80 c arty: 0.00 and 0.00 xor average arity
5000.00/5001.80 c prbe: 726417 probed, 238 phases, 239 rounds
5000.00/5001.80 c prbe: 1 failed, 0 lifted, 0 merged
5000.00/5001.80 c sccs: 0 non trivial, 0 fixed, 0 merged
5000.00/5001.80 c hash: 0 units, 3 merged
5000.00/5001.80 c mins: 240435861 learned, 31% deleted, 475 strong, 22 depth
5000.00/5001.80 c subs: 879 forward, 848 backward, 7170 doms
5000.00/5001.80 c strs: 285 forward, 271 backward
5000.00/5001.80 c doms: 7170 dominators, 6641 high, 5 low
5000.00/5001.80 c prps: 400667225 propagations, 0.08 megaprops
5000.00/5001.80 c
5000.00/5001.80 c 5000.0 seconds, 35 MB max, 1043 MB recycled
5000.00/5001.80 c
5000.00/5001.80 c *** CAUGHT SIGNAL 15 ***
5000.00/5001.80 c
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1783878-1241897014/watcher-1783878-1241897014 -o /tmp/evaluation-result-1783878-1241897014/solver-1783878-1241897014 -C 5000 -W 6000 -M 1800 HOME/precosat HOME/instance-1783878-1241897014.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 6000 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: 1.00 1.00 1.00 2/65 28312
/proc/meminfo: memFree=1792360/2055920 swapFree=4162540/4192956
[pid=28312] ppid=28310 vsize=924 CPUtime=0
/proc/28312/stat : 28312 (precosat) R 28310 28312 28179 0 -1 4194304 140 0 0 0 0 0 0 0 20 0 1 0 217730344 946176 125 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28312/statm: 231 125 64 155 0 74 0
[startup+0.0313211 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28312
/proc/meminfo: memFree=1792360/2055920 swapFree=4162540/4192956
[pid=28312] ppid=28310 vsize=1704 CPUtime=0.02
/proc/28312/stat : 28312 (precosat) R 28310 28312 28179 0 -1 4194304 347 0 0 0 2 0 0 0 20 0 1 0 217730344 1744896 331 1992294400 134512640 135151029 4294956240 18446744073709551615 134578792 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28312/statm: 426 331 79 155 0 269 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1704
[startup+0.101335 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28312
/proc/meminfo: memFree=1792360/2055920 swapFree=4162540/4192956
[pid=28312] ppid=28310 vsize=2104 CPUtime=0.09
/proc/28312/stat : 28312 (precosat) R 28310 28312 28179 0 -1 4194304 451 0 0 0 9 0 0 0 20 0 1 0 217730344 2154496 435 1992294400 134512640 135151029 4294956240 18446744073709551615 134526328 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28312/statm: 526 435 79 155 0 369 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2104
[startup+0.301376 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28312
/proc/meminfo: memFree=1792360/2055920 swapFree=4162540/4192956
[pid=28312] ppid=28310 vsize=2104 CPUtime=0.29
/proc/28312/stat : 28312 (precosat) R 28310 28312 28179 0 -1 4194304 465 0 0 0 29 0 0 0 22 0 1 0 217730344 2154496 449 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28312/statm: 526 449 79 155 0 369 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2104
[startup+0.701456 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28312
/proc/meminfo: memFree=1792360/2055920 swapFree=4162540/4192956
[pid=28312] ppid=28310 vsize=3160 CPUtime=0.69
/proc/28312/stat : 28312 (precosat) R 28310 28312 28179 0 -1 4194304 725 0 0 0 69 0 0 0 25 0 1 0 217730344 3235840 709 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28312/statm: 790 709 79 155 0 633 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3160
[startup+1.50162 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28313
/proc/meminfo: memFree=1789472/2055920 swapFree=4162540/4192956
[pid=28312] ppid=28310 vsize=3952 CPUtime=1.49
/proc/28312/stat : 28312 (precosat) R 28310 28312 28179 0 -1 4194304 907 0 0 0 149 0 0 0 25 0 1 0 217730344 4046848 891 1992294400 134512640 135151029 4294956240 18446744073709551615 134555012 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28312/statm: 988 891 79 155 0 831 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3952
[startup+3.10194 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28313
/proc/meminfo: memFree=1788448/2055920 swapFree=4162540/4192956
[pid=28312] ppid=28310 vsize=4744 CPUtime=3.09
/proc/28312/stat : 28312 (precosat) R 28310 28312 28179 0 -1 4194304 1113 0 0 0 309 0 0 0 25 0 1 0 217730344 4857856 1097 1992294400 134512640 135151029 4294956240 18446744073709551615 134555084 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28312/statm: 1186 1097 79 155 0 1029 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 4744
[startup+6.3016 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28313
/proc/meminfo: memFree=1787240/2055920 swapFree=4162540/4192956
[pid=28312] ppid=28310 vsize=5812 CPUtime=6.29
/proc/28312/stat : 28312 (precosat) R 28310 28312 28179 0 -1 4194304 1380 0 0 0 629 0 0 0 25 0 1 0 217730344 5951488 1364 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28312/statm: 1453 1364 79 155 0 1296 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 5812
[startup+12.7019 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28313
/proc/meminfo: memFree=1785896/2055920 swapFree=4162540/4192956
[pid=28312] ppid=28310 vsize=6920 CPUtime=12.68
/proc/28312/stat : 28312 (precosat) R 28310 28312 28179 0 -1 4194304 1783 0 0 0 1268 0 0 0 25 0 1 0 217730344 7086080 1647 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28312/statm: 1730 1647 79 155 0 1573 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 6920
[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28313
/proc/meminfo: memFree=1784040/2055920 swapFree=4162540/4192956
[pid=28312] ppid=28310 vsize=8680 CPUtime=25.48
/proc/28312/stat : 28312 (precosat) R 28310 28312 28179 0 -1 4194304 2438 0 0 0 2547 1 0 0 25 0 1 0 217730344 8888320 2060 1992294400 134512640 135151029 4294956240 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28312/statm: 2170 2060 79 155 0 2013 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 8680
[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28313
/proc/meminfo: memFree=1782184/2055920 swapFree=4162540/4192956
[pid=28312] ppid=28310 vsize=10500 CPUtime=51.07
/proc/28312/stat : 28312 (precosat) R 28310 28312 28179 0 -1 4194304 3108 0 0 0 5106 1 0 0 25 0 1 0 217730344 10752000 2523 1992294400 134512640 135151029 4294956240 18446744073709551615 134554803 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28312/statm: 2625 2523 79 155 0 2468 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 10500
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28313
/proc/meminfo: memFree=1780200/2055920 swapFree=4162540/4192956
[pid=28312] ppid=28310 vsize=12684 CPUtime=102.25
/proc/28312/stat : 28312 (precosat) R 28310 28312 28179 0 -1 4194304 4166 0 0 0 10223 2 0 0 25 0 1 0 217730344 12988416 3023 1992294400 134512640 135151029 4294956240 18446744073709551615 134555139 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28312/statm: 3171 3023 79 155 0 3014 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 12684
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28313
/proc/meminfo: memFree=1778152/2055920 swapFree=4162540/4192956
[pid=28312] ppid=28310 vsize=14700 CPUtime=162.23
/proc/28312/stat : 28312 (precosat) R 28310 28312 28179 0 -1 4194304 5053 0 0 0 16220 3 0 0 25 0 1 0 217730344 15052800 3514 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28312/statm: 3675 3514 79 155 0 3518 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 14700
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28313
/proc/meminfo: memFree=1777256/2055920 swapFree=4162540/4192956
[pid=28312] ppid=28310 vsize=15560 CPUtime=222.21
/proc/28312/stat : 28312 (precosat) R 28310 28312 28179 0 -1 4194304 5864 0 0 0 22216 5 0 0 25 0 1 0 217730344 15933440 3717 1992294400 134512640 135151029 4294956240 18446744073709551615 134574578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28312/statm: 3890 3717 79 155 0 3733 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 15560
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28313
/proc/meminfo: memFree=1776104/2055920 swapFree=4162540/4192956
[pid=28312] ppid=28310 vsize=16704 CPUtime=282.19
/proc/28312/stat : 28312 (precosat) R 28310 28312 28179 0 -1 4194304 6885 0 0 0 28214 5 0 0 25 0 1 0 217730344 17104896 3991 1992294400 134512640 135151029 4294956240 18446744073709551615 134554833 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28312/statm: 4176 3991 79 155 0 4019 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 16704
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28313
/proc/meminfo: memFree=1775528/2055920 swapFree=4162540/4192956
[pid=28312] ppid=28310 vsize=17252 CPUtime=342.17
/proc/28312/stat : 28312 (precosat) R 28310 28312 28179 0 -1 4194304 7531 0 0 0 34211 6 0 0 25 0 1 0 217730344 17666048 4122 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28312/statm: 4313 4122 79 155 0 4156 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 17252
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28313
/proc/meminfo: memFree=1771688/2055920 swapFree=4162540/4192956
[pid=28312] ppid=28310 vsize=21228 CPUtime=402.14
/proc/28312/stat : 28312 (precosat) R 28310 28312 28179 0 -1 4194304 8866 0 0 0 40207 7 0 0 25 0 1 0 217730344 21737472 5066 1992294400 134512640 135151029 4294956240 18446744073709551615 134551294 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28312/statm: 5307 5066 79 155 0 5150 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 21228
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28313
/proc/meminfo: memFree=1771816/2055920 swapFree=4162540/4192956
[pid=28312] ppid=28310 vsize=20972 CPUtime=462.13
/proc/28312/stat : 28312 (precosat) R 28310 28312 28179 0 -1 4194304 9466 0 0 0 46205 8 0 0 25 0 1 0 217730344 21475328 5020 1992294400 134512640 135151029 4294956240 18446744073709551615 134554568 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28312/statm: 5243 5020 79 155 0 5086 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 20972
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28313
/proc/meminfo: memFree=1773032/2055920 swapFree=4162540/4192956
[pid=28312] ppid=28310 vsize=19212 CPUtime=522.1
/proc/28312/stat : 28312 (precosat) R 28310 28312 28179 0 -1 4194304 9787 0 0 0 52202 8 0 0 25 0 1 0 217730344 19673088 4686 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28312/statm: 4803 4686 79 155 0 4646 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 19212
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28313
/proc/meminfo: memFree=1772136/2055920 swapFree=4162540/4192956
[pid=28312] ppid=28310 vsize=20460 CPUtime=582.08
/proc/28312/stat : 28312 (precosat) R 28310 28312 28179 0 -1 4194304 10488 0 0 0 58200 8 0 0 25 0 1 0 217730344 20951040 4928 1992294400 134512640 135151029 4294956240 18446744073709551615 134679968 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28312/statm: 5115 4928 79 155 0 4958 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 20460
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28313
/proc/meminfo: memFree=1772648/2055920 swapFree=4162540/4192956
[pid=28312] ppid=28310 vsize=19660 CPUtime=642.06
/proc/28312/stat : 28312 (precosat) R 28310 28312 28179 0 -1 4194304 11387 0 0 0 64197 9 0 0 25 0 1 0 217730344 20131840 4780 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28312/statm: 4915 4780 79 155 0 4758 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 19660
[startup+702.301 s]
################
# More data... #
################
[startup+4002.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 28321
/proc/meminfo: memFree=1753704/2055920 swapFree=4162540/4192956
[pid=28312] ppid=28310 vsize=37364 CPUtime=4000.86
/proc/28312/stat : 28312 (precosat) R 28310 28312 28179 0 -1 4194304 32241 0 0 0 400059 27 0 0 25 0 1 0 217730344 38260736 9047 1992294400 134512640 135151029 4294956240 18446744073709551615 134555134 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28312/statm: 9341 9047 79 155 0 9184 0
Current children cumulated CPU time (s) 4000.86
Current children cumulated vsize (KiB) 37364
[startup+4062.31 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 28321
/proc/meminfo: memFree=1752744/2055920 swapFree=4162540/4192956
[pid=28312] ppid=28310 vsize=37716 CPUtime=4060.85
/proc/28312/stat : 28312 (precosat) R 28310 28312 28179 0 -1 4194304 32500 0 0 0 406058 27 0 0 25 0 1 0 217730344 38621184 9267 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28312/statm: 9429 9267 79 155 0 9272 0
Current children cumulated CPU time (s) 4060.85
Current children cumulated vsize (KiB) 37716
[startup+4122.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 28321
/proc/meminfo: memFree=1751336/2055920 swapFree=4162540/4192956
[pid=28312] ppid=28310 vsize=39892 CPUtime=4120.82
/proc/28312/stat : 28312 (precosat) R 28310 28312 28179 0 -1 4194304 32845 0 0 0 412055 27 0 0 25 0 1 0 217730344 40849408 9612 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28312/statm: 9973 9612 79 155 0 9816 0
Current children cumulated CPU time (s) 4120.82
Current children cumulated vsize (KiB) 39892
[startup+4182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28321
/proc/meminfo: memFree=1752360/2055920 swapFree=4162540/4192956
[pid=28312] ppid=28310 vsize=37716 CPUtime=4180.8
/proc/28312/stat : 28312 (precosat) R 28310 28312 28179 0 -1 4194304 32867 0 0 0 418053 27 0 0 25 0 1 0 217730344 38621184 9308 1992294400 134512640 135151029 4294956240 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28312/statm: 9429 9308 79 155 0 9272 0
Current children cumulated CPU time (s) 4180.8
Current children cumulated vsize (KiB) 37716
[startup+4242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28321
/proc/meminfo: memFree=1752424/2055920 swapFree=4162540/4192956
[pid=28312] ppid=28310 vsize=37716 CPUtime=4240.78
/proc/28312/stat : 28312 (precosat) R 28310 28312 28179 0 -1 4194304 32883 0 0 0 424051 27 0 0 25 0 1 0 217730344 38621184 9324 1992294400 134512640 135151029 4294956240 18446744073709551615 134555122 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28312/statm: 9429 9324 79 155 0 9272 0
Current children cumulated CPU time (s) 4240.78
Current children cumulated vsize (KiB) 37716
[startup+4302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28321
/proc/meminfo: memFree=1752360/2055920 swapFree=4162540/4192956
[pid=28312] ppid=28310 vsize=37716 CPUtime=4300.75
/proc/28312/stat : 28312 (precosat) R 28310 28312 28179 0 -1 4194304 32889 0 0 0 430048 27 0 0 25 0 1 0 217730344 38621184 9330 1992294400 134512640 135151029 4294956240 18446744073709551615 134555154 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28312/statm: 9429 9330 79 155 0 9272 0
Current children cumulated CPU time (s) 4300.75
Current children cumulated vsize (KiB) 37716
[startup+4362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28321
/proc/meminfo: memFree=1752296/2055920 swapFree=4162540/4192956
[pid=28312] ppid=28310 vsize=37604 CPUtime=4360.73
/proc/28312/stat : 28312 (precosat) R 28310 28312 28179 0 -1 4194304 32923 0 0 0 436046 27 0 0 25 0 1 0 217730344 38506496 9302 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28312/statm: 9401 9302 79 155 0 9244 0
Current children cumulated CPU time (s) 4360.73
Current children cumulated vsize (KiB) 37604
[startup+4422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28321
/proc/meminfo: memFree=1752296/2055920 swapFree=4162540/4192956
[pid=28312] ppid=28310 vsize=37604 CPUtime=4420.71
/proc/28312/stat : 28312 (precosat) R 28310 28312 28179 0 -1 4194304 32930 0 0 0 442044 27 0 0 25 0 1 0 217730344 38506496 9309 1992294400 134512640 135151029 4294956240 18446744073709551615 134555146 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28312/statm: 9401 9309 79 155 0 9244 0
Current children cumulated CPU time (s) 4420.71
Current children cumulated vsize (KiB) 37604
[startup+4482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28321
/proc/meminfo: memFree=1752296/2055920 swapFree=4162540/4192956
[pid=28312] ppid=28310 vsize=37796 CPUtime=4480.69
/proc/28312/stat : 28312 (precosat) R 28310 28312 28179 0 -1 4194304 32937 0 0 0 448042 27 0 0 25 0 1 0 217730344 38703104 9316 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28312/statm: 9449 9316 79 155 0 9292 0
Current children cumulated CPU time (s) 4480.69
Current children cumulated vsize (KiB) 37796
[startup+4542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28321
/proc/meminfo: memFree=1752296/2055920 swapFree=4162540/4192956
[pid=28312] ppid=28310 vsize=37796 CPUtime=4540.67
/proc/28312/stat : 28312 (precosat) R 28310 28312 28179 0 -1 4194304 32937 0 0 0 454040 27 0 0 25 0 1 0 217730344 38703104 9316 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28312/statm: 9449 9316 79 155 0 9292 0
Current children cumulated CPU time (s) 4540.67
Current children cumulated vsize (KiB) 37796
[startup+4602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28321
/proc/meminfo: memFree=1752232/2055920 swapFree=4162540/4192956
[pid=28312] ppid=28310 vsize=37796 CPUtime=4600.65
/proc/28312/stat : 28312 (precosat) R 28310 28312 28179 0 -1 4194304 32940 0 0 0 460038 27 0 0 25 0 1 0 217730344 38703104 9319 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28312/statm: 9449 9319 79 155 0 9292 0
Current children cumulated CPU time (s) 4600.65
Current children cumulated vsize (KiB) 37796
[startup+4662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28321
/proc/meminfo: memFree=1752040/2055920 swapFree=4162540/4192956
[pid=28312] ppid=28310 vsize=37532 CPUtime=4660.63
/proc/28312/stat : 28312 (precosat) R 28310 28312 28179 0 -1 4194304 33003 0 0 0 466036 27 0 0 25 0 1 0 217730344 38432768 9306 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28312/statm: 9383 9306 79 155 0 9226 0
Current children cumulated CPU time (s) 4660.63
Current children cumulated vsize (KiB) 37532
[startup+4722.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28323
/proc/meminfo: memFree=1751008/2055920 swapFree=4162540/4192956
[pid=28312] ppid=28310 vsize=39200 CPUtime=4720.61
/proc/28312/stat : 28312 (precosat) R 28310 28312 28179 0 -1 4194304 33265 0 0 0 472034 27 0 0 25 0 1 0 217730344 40140800 9568 1992294400 134512640 135151029 4294956240 18446744073709551615 134554875 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28312/statm: 9800 9568 79 155 0 9643 0
Current children cumulated CPU time (s) 4720.61
Current children cumulated vsize (KiB) 39200
[startup+4782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28323
/proc/meminfo: memFree=1750440/2055920 swapFree=4162540/4192956
[pid=28312] ppid=28310 vsize=40292 CPUtime=4780.58
/proc/28312/stat : 28312 (precosat) R 28310 28312 28179 0 -1 4194304 33453 0 0 0 478031 27 0 0 25 0 1 0 217730344 41259008 9756 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28312/statm: 10073 9756 79 155 0 9916 0
Current children cumulated CPU time (s) 4780.58
Current children cumulated vsize (KiB) 40292
[startup+4842.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28323
/proc/meminfo: memFree=1749864/2055920 swapFree=4162540/4192956
[pid=28312] ppid=28310 vsize=41064 CPUtime=4840.56
/proc/28312/stat : 28312 (precosat) R 28310 28312 28179 0 -1 4194304 33586 0 0 0 484029 27 0 0 25 0 1 0 217730344 42049536 9889 1992294400 134512640 135151029 4294956240 18446744073709551615 134574633 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28312/statm: 10266 9889 79 155 0 10109 0
Current children cumulated CPU time (s) 4840.56
Current children cumulated vsize (KiB) 41064
[startup+4902.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28323
/proc/meminfo: memFree=1751976/2055920 swapFree=4162540/4192956
[pid=28312] ppid=28310 vsize=37532 CPUtime=4900.54
/proc/28312/stat : 28312 (precosat) R 28310 28312 28179 0 -1 4194304 33586 0 0 0 490027 27 0 0 25 0 1 0 217730344 38432768 9306 1992294400 134512640 135151029 4294956240 18446744073709551615 134554907 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28312/statm: 9383 9306 79 155 0 9226 0
Current children cumulated CPU time (s) 4900.54
Current children cumulated vsize (KiB) 37532
[startup+4962.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28323
/proc/meminfo: memFree=1751976/2055920 swapFree=4162540/4192956
[pid=28312] ppid=28310 vsize=37532 CPUtime=4960.51
/proc/28312/stat : 28312 (precosat) R 28310 28312 28179 0 -1 4194304 33722 0 0 0 496024 27 0 0 25 0 1 0 217730344 38432768 9306 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28312/statm: 9383 9306 79 155 0 9226 0
Current children cumulated CPU time (s) 4960.51
Current children cumulated vsize (KiB) 37532
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5001.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 28323
/proc/meminfo: memFree=1751976/2055920 swapFree=4162540/4192956
[pid=28312] ppid=28310 vsize=37532 CPUtime=5000
/proc/28312/stat : 28312 (precosat) R 28310 28312 28179 0 -1 4194304 33722 0 0 0 499973 27 0 0 25 0 1 0 217730344 38432768 9306 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/28312/statm: 9383 9306 79 155 0 9226 0
Current children cumulated CPU time (s) 5000
Current children cumulated vsize (KiB) 37532
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): 5001.81
CPU time (s): 5000.03
CPU user time (s): 4999.74
CPU system time (s): 0.285956
CPU usage (%): 99.9643
Max. virtual memory (cumulated for all children) (KiB): 41064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.74
system time used= 0.285956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33722
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= 1
involuntary context switches= 6839
runsolver used 5.85611 second user time and 12.1192 second system time
The end
Begin job on node80 at 2009-05-09 21:23:34
IDJOB=1783878
IDBENCH=24718
IDSOLVER=607
FILE ID=node80/1783878-1241897014
PBS_JOBID= 9264756
Free space on /tmp= 65860 MiB
SOLVER NAME= precosat 236
BENCH NAME= SAT07/crafted/Difficult/contest05/QG/QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1783878-1241897014/watcher-1783878-1241897014 -o /tmp/evaluation-result-1783878-1241897014/solver-1783878-1241897014 -C 5000 -W 6000 -M 1800 HOME/precosat HOME/instance-1783878-1241897014.cnf
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= f1b3061e7694aa99406ed9e867c9dfa5
RANDOM SEED=1370019562
node80.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.270
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.270
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1792776 kB
Buffers: 46896 kB
Cached: 127884 kB
SwapCached: 25208 kB
Active: 78020 kB
Inactive: 124052 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1792776 kB
SwapTotal: 4192956 kB
SwapFree: 4162540 kB
Dirty: 1052 kB
Writeback: 0 kB
Mapped: 13452 kB
Slab: 47000 kB
Committed_AS: 752916 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= 65860 MiB
End job on node80 at 2009-05-09 22:46:58