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-1784098-1241914783.cnf
0.00/0.00 c found header 'p cnf 2420 33572'
0.00/0.03 c finished parsing
0.00/0.03 c
0.00/0.03 c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.00/0.03 c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.00/0.03 c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.00/0.03 c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.00/0.03 c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.00/0.03 c --random=1 --spread=2000 --seed=0 --skip=25
0.00/0.03 c
0.00/0.03 c sizeof vars[0] = 16 alignment = 0 0 MB
0.00/0.03 c sizeof orgs[0] = 8 alignment = 0 0 MB
0.00/0.03 c sizeof occs[0] = 8 alignment = 0 0 MB
0.00/0.03 c sizeof iirfs[0..1] = 8 alignment = 0 0 MB
0.00/0.03 c
0.00/0.03 c starting search after 0.0 seconds
0.00/0.03 c no decision limit
0.00/0.03 c
0.00/0.03 c original/binary fixed eliminated learned agility
0.00/0.03 c seconds variables equivalent conflicts height MB
0.00/0.03 c
0.00/0.03 c * 0.0 33572 2420 0 0 0 0 0 0.0 0 2
0.29/0.32 c s 0.3 54706 2330 52 36 2 0 0 0.0 0 4
0.29/0.32 c l 0.3 54706 2330 52 36 2 0 19030 0.0 0 4
0.29/0.33 c R 0.3 54708 2330 52 36 2 100 100 321.5 6 4
0.29/0.34 c R 0.3 54708 2330 52 36 2 200 200 303.0 7 4
0.29/0.40 c R 0.4 54718 2330 52 36 2 803 801 274.3 6 4
0.39/0.42 c B 0.4 54722 2330 52 36 2 1001 998 265.9 6 4
0.49/0.52 c B 0.5 54749 2330 52 36 2 2001 1993 249.5 7 4
0.49/0.55 c R 0.5 54763 2330 52 36 2 2406 2398 241.8 8 5
1.00/1.00 c R 1.0 54860 2330 52 36 2 6426 6414 239.8 7 6
1.19/1.25 c B 1.3 55070 2330 52 36 2 8006 7993 234.1 8 7
1.99/2.02 c s 2.0 55311 2330 52 36 2 12688 12659 238.8 7 8
2.49/2.58 c R 2.6 55374 2330 52 36 2 16038 16002 244.2 6 11
3.09/3.11 c + 3.1 55439 2330 52 36 2 19030 20933 238.5 9 12
4.09/4.12 c + 4.1 55752 2330 52 36 2 23785 23026 236.2 8 13
4.09/4.18 c B 4.2 55754 2330 52 36 2 24010 21167 236.4 6 13
4.99/5.10 c s 5.1 55896 2330 52 36 2 27973 23054 238.7 5 12
5.39/5.43 c + 5.4 55911 2330 52 36 2 29730 25328 239.9 8 13
7.09/7.18 c + 7.2 56136 2330 52 36 2 37160 27860 234.7 8 15
7.29/7.36 c
7.29/7.36 c original/binary fixed eliminated learned agility
7.29/7.36 c seconds variables equivalent conflicts height MB
7.29/7.36 c
7.29/7.36 c R 7.4 56136 2330 52 36 2 38475 26661 233.5 8 16
8.89/8.95 c s 8.9 56241 2330 52 36 2 44921 27868 230.4 7 14
9.29/9.37 c + 9.4 56252 2330 52 36 2 46450 30646 230.0 10 16
12.38/12.45 c + 12.5 56510 2330 52 36 2 58060 33710 229.3 7 19
13.68/13.75 c B 13.7 56588 2330 52 36 2 64024 33808 233.2 7 20
13.88/13.99 c s 14.0 56589 2330 52 36 2 64307 33801 233.0 8 16
16.19/16.20 c + 16.2 56739 2330 52 36 2 72575 37081 234.0 8 19
19.58/19.61 c s 19.6 56959 2330 52 36 2 84134 37096 232.8 8 17
20.79/20.89 c R 20.9 56988 2330 52 36 2 89779 37102 230.2 8 18
20.98/21.05 c + 21.1 56990 2330 52 36 2 90716 40789 230.1 8 18
25.29/25.32 c s 25.3 57089 2330 52 36 2 106785 40903 229.8 8 19
27.29/27.38 c + 27.4 57137 2330 52 36 2 113396 44867 231.1 8 22
32.38/32.41 c s 32.4 57366 2330 52 36 2 127343 44998 229.8 7 21
36.98/37.00 c + 37.0 57500 2330 52 36 2 141745 49353 229.6 10 24
39.78/39.80 c s 39.8 57539 2330 52 36 2 150003 49491 231.6 6 22
43.58/43.60 c B 43.6 57626 2330 52 36 2 160042 49462 232.4 7 26
48.18/48.23 c s 48.2 57695 2330 52 36 2 172663 49472 232.4 7 23
49.88/49.99 c + 50.0 57735 2330 52 36 2 177181 54288 232.9 7 26
56.47/56.54 c s 56.5 57868 2330 52 36 2 194611 54400 235.2 8 25
59.77/59.81 c
59.77/59.81 c original/binary fixed eliminated learned agility
59.77/59.81 c seconds variables equivalent conflicts height MB
59.77/59.81 c
59.77/59.81 c R 59.8 57887 2330 52 36 2 205167 54409 233.8 9 29
64.18/64.26 c s 64.2 57973 2330 52 36 2 219521 54467 230.4 8 25
65.48/65.57 c + 65.6 57982 2330 52 36 2 221475 59716 230.7 12 28
75.27/75.36 c s 75.3 58067 2330 52 36 2 243742 59787 229.2 8 26
85.27/85.34 c s 85.3 58180 2330 52 36 2 268365 59885 230.0 7 28
88.47/88.50 c + 88.5 58194 2330 52 36 2 276840 65687 231.4 7 33
96.47/96.54 c s 96.5 58278 2330 52 36 2 293099 65892 230.8 9 32
108.36/108.43 c s 108.4 58333 2330 52 36 2 319596 65712 229.0 10 28
119.86/119.97 c + 119.9 58366 2330 52 36 2 346050 72255 227.5 8 33
120.66/120.77 c s 120.7 58366 2330 52 36 2 347392 67122 227.6 8 28
133.46/133.57 c s 133.5 58441 2330 52 36 2 372938 72382 228.6 8 32
139.25/139.31 c B 139.3 58459 2330 52 36 2 384099 72385 229.1 8 40
147.36/147.44 c s 147.4 58473 2330 52 36 2 399922 72415 229.6 10 35
160.95/161.00 c s 161.0 58517 2330 52 36 2 426779 72458 230.5 8 35
163.25/163.39 c + 163.3 58525 2330 52 36 2 432561 79480 230.8 10 40
174.04/174.10 c s 174.1 58542 2330 52 36 2 452884 79617 231.9 7 43
177.44/177.55 c R 177.5 58556 2330 52 36 2 461569 79502 231.1 8 45
187.44/187.58 c s 187.5 58556 2330 52 36 2 484038 79495 228.8 8 38
204.45/204.50 c s 204.5 58561 2330 52 36 2 517967 79638 226.0 8 35
218.14/218.21 c
218.14/218.21 c original/binary fixed eliminated learned agility
218.14/218.21 c seconds variables equivalent conflicts height MB
218.14/218.21 c
218.14/218.21 c + 218.2 58595 2330 52 36 2 540701 87428 226.0 8 40
222.74/222.86 c s 222.8 58601 2330 52 36 2 547774 86657 225.7 9 36
240.93/241.01 c s 240.9 58666 2330 52 36 2 578476 87474 225.2 9 40
258.03/258.12 c s 258.1 58692 2330 52 36 2 608427 87563 226.7 11 43
275.12/275.28 c s 275.2 58719 2330 52 36 2 639075 87516 226.7 8 42
292.62/292.80 c s 292.7 58743 2330 52 36 2 667789 87579 225.9 8 41
297.82/297.99 c + 297.9 58756 2330 52 36 2 675876 96170 225.8 11 46
311.71/311.85 c s 311.8 58765 2330 52 36 2 698006 96293 225.3 6 44
329.81/329.96 c s 329.9 58778 2330 52 36 2 733054 96197 225.1 9 46
352.40/352.56 c s 352.5 58794 2330 52 36 2 765869 96194 223.8 8 45
373.40/373.57 c s 373.5 58816 2330 52 36 2 796278 96334 223.8 9 42
394.99/395.16 c s 395.1 58848 2330 52 36 2 826198 96329 224.6 7 47
404.79/404.96 c + 404.9 58856 2330 52 36 2 844845 105787 225.5 9 55
414.89/415.07 c s 415.0 58867 2330 52 36 2 857544 105957 225.7 7 55
437.08/437.26 c s 437.2 58887 2330 52 36 2 890181 105993 226.6 9 54
441.78/441.92 c B 441.8 58891 2330 52 36 2 896210 105960 226.7 8 60
460.97/461.14 c s 461.0 58908 2330 52 36 2 923368 105935 226.7 9 52
481.17/481.32 c s 481.2 58921 2330 52 36 2 956283 105965 227.6 9 55
500.46/500.63 c s 500.5 58922 2330 52 36 2 987699 105913 228.9 10 61
519.86/520.01 c
519.86/520.01 c original/binary fixed eliminated learned agility
519.86/520.01 c seconds variables equivalent conflicts height MB
519.86/520.01 c
519.86/520.01 c s 519.9 58923 2330 52 36 2 1017787 105975 231.1 9 71
524.96/525.18 c R 525.1 58924 2330 52 36 2 1025576 106008 231.1 8 75
542.45/542.68 c s 542.5 58932 2330 52 36 2 1054415 116746 229.9 8 84
543.75/543.93 c + 543.8 58936 2330 52 36 2 1056056 116365 229.8 8 81
560.45/560.68 c s 560.5 58936 2330 52 36 2 1098166 116380 227.5 9 67
586.44/586.65 c s 586.5 58941 2330 52 36 2 1134477 116560 227.0 8 65
616.73/616.95 c s 616.8 58966 2330 52 36 2 1169773 116555 227.1 10 61
643.53/643.72 c s 643.6 58988 2330 52 36 2 1204263 116401 227.3 9 63
669.62/669.89 c s 669.7 59001 2330 52 36 2 1240302 116538 227.1 7 59
696.71/696.97 c s 696.8 59019 2330 52 36 2 1275530 116413 226.4 8 54
725.40/725.62 c s 725.4 59033 2330 52 36 2 1308693 116510 226.3 6 54
731.80/732.03 c + 731.9 59036 2330 52 36 2 1320070 128001 226.0 8 61
749.71/749.96 c s 749.8 59040 2330 52 36 2 1348163 128039 224.9 8 57
783.80/784.07 c s 783.9 59051 2330 52 36 2 1383746 128139 225.1 8 58
815.39/815.63 c s 815.4 59064 2330 52 36 2 1420221 128136 225.6 8 63
845.38/845.61 c s 845.4 59073 2330 52 36 2 1456475 128278 226.4 8 73
877.67/877.91 c s 877.7 59082 2330 52 36 2 1491090 128274 226.3 9 69
911.57/911.85 c s 911.6 59088 2330 52 36 2 1525736 128170 226.3 6 68
942.55/942.88 c s 942.6 59100 2330 52 36 2 1560869 128104 226.4 6 65
967.95/968.20 c
967.95/968.20 c original/binary fixed eliminated learned agility
967.95/968.20 c seconds variables equivalent conflicts height MB
967.95/968.20 c
967.95/968.20 c s 968.0 59101 2330 52 36 2 1600601 128048 225.0 7 60
1001.84/1002.14 c + 1001.9 59101 2330 52 36 2 1650088 140801 223.5 9 65
1011.54/1011.86 c s 1011.6 59102 2330 52 36 2 1657948 136094 223.6 7 59
1051.13/1051.44 c s 1051.2 59104 2330 52 36 2 1697134 140813 223.3 8 61
1087.22/1087.59 c s 1087.3 59113 2330 52 36 2 1736494 140815 223.3 8 70
1127.51/1127.89 c s 1127.6 59131 2330 52 36 2 1775893 140972 223.0 6 73
1166.20/1166.51 c s 1166.2 59136 2330 52 36 2 1815711 140932 222.6 9 70
1198.49/1198.81 c s 1198.5 59138 2330 52 36 2 1853792 140935 223.2 10 78
1231.77/1232.12 c s 1231.8 59144 2330 52 36 2 1892219 140995 223.4 9 87
1267.57/1267.95 c s 1267.6 59148 2330 52 36 2 1930107 140993 223.9 8 88
1302.16/1302.56 c s 1302.2 59156 2330 52 36 2 1966779 140998 224.6 8 80
1338.65/1339.03 c s 1338.7 59161 2330 52 36 2 2004805 141044 224.8 8 79
1375.54/1375.95 c s 1375.6 59166 2330 52 36 2 2041076 141041 225.4 7 80
1382.14/1382.58 c B 1382.2 59166 2330 52 36 2 2048488 140994 225.4 8 87
1394.34/1394.72 c + 1394.4 59169 2330 52 36 2 2062610 154881 225.5 12 88
1411.13/1411.52 c s 1411.2 59172 2330 52 36 2 2078664 155040 225.6 11 90
1446.12/1446.54 c s 1446.2 59174 2330 52 36 2 2118613 155117 226.1 11 96
1482.21/1482.63 c s 1482.3 59176 2330 52 36 2 2154900 155166 226.3 11 102
1518.20/1518.68 c s 1518.3 59177 2330 52 36 2 2196206 155031 226.9 12 103
1553.29/1553.73 c
1553.29/1553.73 c original/binary fixed eliminated learned agility
1553.29/1553.73 c seconds variables equivalent conflicts height MB
1553.29/1553.73 c
1553.29/1553.73 c s 1553.3 59178 2330 52 36 2 2230538 155260 227.4 9 105
1580.79/1581.27 c R 1580.9 59181 2330 52 36 2 2256204 155055 228.1 8 116
1593.09/1593.54 c s 1593.1 59181 2330 52 36 2 2269432 155154 228.2 8 106
1653.47/1653.92 c s 1653.5 59182 2330 52 36 2 2351529 156247 228.3 11 120
1685.36/1685.84 c s 1685.4 59183 2330 52 36 2 2404561 154907 226.8 8 101
1714.75/1715.21 c s 1714.8 59184 2330 52 36 2 2452516 155027 225.5 9 87
1759.75/1760.29 c s 1759.8 59190 2330 52 36 2 2495153 155055 225.6 8 73
1810.14/1810.61 c s 1810.2 59198 2330 52 36 2 2539719 155052 225.3 9 79
1848.02/1848.51 c + 1848.0 59211 2330 52 36 2 2578262 170369 225.2 8 95
1852.32/1852.83 c s 1852.4 59211 2330 52 36 2 2582141 158787 225.1 9 84
1906.11/1906.68 c s 1906.2 59222 2330 52 36 2 2623354 170501 225.1 9 91
1954.49/1955.07 c s 1954.6 59261 2330 52 36 2 2667599 170641 225.2 11 96
1999.18/1999.76 c s 1999.3 59265 2330 52 36 2 2714279 170471 225.3 8 103
2047.67/2048.29 c s 2047.8 59275 2330 52 36 2 2758481 170468 225.5 9 102
2098.46/2099.07 c s 2098.5 59292 2330 52 36 2 2804685 170613 225.0 8 94
2151.35/2151.94 c s 2151.4 59302 2330 52 36 2 2847237 170386 225.0 7 86
2205.73/2206.37 c s 2205.8 59310 2330 52 36 2 2894932 170686 224.5 10 83
2244.82/2245.43 c s 2244.9 59312 2330 52 36 2 2945759 171498 224.2 10 94
2295.71/2296.38 c s 2295.8 59321 2330 52 36 2 2990039 170375 223.6 8 93
2348.00/2348.64 c
2348.00/2348.64 c original/binary fixed eliminated learned agility
2348.00/2348.64 c seconds variables equivalent conflicts height MB
2348.00/2348.64 c
2348.00/2348.64 c s 2348.0 59328 2330 52 36 2 3033435 170394 223.5 9 99
2399.38/2400.00 c s 2399.4 59341 2330 52 36 2 3078333 170588 223.0 8 89
2451.57/2452.26 c s 2451.6 59345 2330 52 36 2 3120319 170560 223.3 10 96
2502.75/2503.49 c s 2502.9 59351 2330 52 36 2 3163259 170618 223.5 11 97
2554.03/2554.74 c s 2554.1 59352 2330 52 36 2 3205081 170639 223.9 7 108
2574.73/2575.46 c + 2574.8 59352 2330 52 36 2 3222825 187405 223.9 8 120
2606.03/2606.80 c s 2606.1 59354 2330 52 36 2 3249210 187727 224.1 9 120
2666.90/2667.66 c s 2667.0 59365 2330 52 36 2 3291859 187575 224.4 9 120
2727.00/2727.71 c s 2727.0 59374 2330 52 36 2 3337891 187696 224.6 13 112
2792.58/2793.35 c s 2792.6 59375 2330 52 36 2 3383548 187572 224.4 7 107
3040.91/3041.75 c s 3041.0 59376 2330 52 36 2 3598207 187494 221.3 7 75
3116.39/3117.22 c s 3116.4 59385 2330 52 36 2 3652932 187442 221.3 8 79
3180.29/3181.17 c s 3180.4 59400 2330 52 36 2 3705912 187479 221.7 10 82
3239.97/3240.81 c s 3240.0 59414 2330 52 36 2 3758689 187577 222.1 9 90
3293.35/3294.21 c s 3293.4 59422 2330 52 36 2 3813679 187453 221.7 8 87
3358.23/3359.14 c s 3358.3 59431 2330 52 36 2 3863318 187438 221.7 7 84
3423.72/3424.66 c s 3423.8 59445 2330 52 36 2 3914485 187434 221.5 8 79
3486.80/3487.73 c s 3486.8 59454 2330 52 36 2 3965157 187516 221.6 11 85
3555.88/3556.85 c s 3555.9 59461 2330 52 36 2 4015889 187415 221.2 8 82
3568.78/3569.70 c
3568.78/3569.70 c original/binary fixed eliminated learned agility
3568.78/3569.70 c seconds variables equivalent conflicts height MB
3568.78/3569.70 c
3568.78/3569.70 c + 3568.8 59461 2330 52 36 2 4028533 206145 221.0 8 87
3606.08/3607.03 c s 3606.1 59462 2330 52 36 2 4072125 206230 220.5 9 96
3688.46/3689.47 c s 3688.5 59463 2330 52 36 2 4139427 206305 220.1 9 93
3755.13/3756.13 c s 3755.2 59464 2330 52 36 2 4191958 206379 220.5 10 102
3825.82/3826.86 c s 3825.9 59473 2330 52 36 2 4244889 206426 220.9 7 108
3892.80/3893.88 c s 3892.9 59484 2330 52 36 2 4297260 206311 221.2 7 113
3954.39/3955.47 c s 3954.5 59487 2330 52 36 2 4350238 206325 221.5 11 119
4021.67/4022.73 c s 4021.7 59490 2330 52 36 2 4402588 206344 221.8 8 120
4081.95/4083.08 c s 4082.1 59496 2330 52 36 2 4453558 206415 221.9 10 119
4147.84/4148.99 c s 4147.9 59500 2330 52 36 2 4504102 206318 222.0 9 115
4207.23/4208.36 c s 4207.3 59501 2330 52 36 2 4555897 206458 222.6 10 122
4261.71/4262.89 c B 4261.8 59503 2330 52 36 2 4608965 206339 222.9 9 136
4265.91/4267.05 c s 4266.0 59503 2330 52 36 2 4611311 206335 222.9 10 123
4344.29/4345.44 c s 4344.3 59504 2330 52 36 2 4676579 236291 223.2 10 164
4402.48/4403.66 c s 4402.6 59507 2330 52 36 2 4740278 206476 223.4 7 157
4453.27/4454.42 c s 4453.3 59508 2330 52 36 2 4800977 206357 223.6 8 170
4500.85/4502.01 c s 4500.9 59509 2330 52 36 2 4850429 206393 224.3 10 171
4549.24/4550.43 c s 4549.3 59510 2330 52 36 2 4906805 206377 224.5 11 170
4562.03/4563.28 c R 4562.1 59510 2330 52 36 2 4922301 206329 224.6 10 176
4712.80/4714.03 c
4712.80/4714.03 c original/binary fixed eliminated learned agility
4712.80/4714.03 c seconds variables equivalent conflicts height MB
4712.80/4714.03 c
4712.80/4714.03 c + 4712.8 59510 2330 52 36 2 5035665 226759 225.5 9 229
5000.02/5001.30 c
5000.02/5001.30 c *** CAUGHT SIGNAL 15 ***
5000.02/5001.30 c
5000.02/5001.30 c 5298791 conflicts, 17280113 decisions, 7765 random
5000.02/5001.30 c 0 iterations, 8190 restarts, 0 skipped
5000.02/5001.30 c 26 enlarged, 264 shrunken, 51849 rescored, 1085 rebiased
5000.02/5001.30 c 121 simplifications, 0 reductions
5000.02/5001.30 c
5000.02/5001.30 c vars: 52 fixed, 36 equiv, 2 elim, 36 merged
5000.02/5001.30 c elim: 99473 resolutions, 1 phases, 1 rounds
5000.02/5001.30 c sbst: 0% substituted, 0.0% nots, 0.0% ands, 0.0% xors, 0.0% ites
5000.02/5001.30 c arty: 0.00 and 0.00 xor average arity
5000.02/5001.30 c prbe: 1556540 probed, 665 phases, 334 rounds
5000.02/5001.30 c prbe: 12 failed, 0 lifted, 0 merged
5000.02/5001.30 c sccs: 0 non trivial, 0 fixed, 0 merged
5000.02/5001.30 c hash: 0 units, 36 merged
5000.02/5001.30 c mins: 863650383 learned, 23% deleted, 478 strong, 42 depth
5000.02/5001.30 c subs: 145 forward, 144 backward, 339 doms
5000.02/5001.30 c strs: 1 forward, 0 backward
5000.02/5001.30 c doms: 423 dominators, 267 high, 0 low
5000.02/5001.30 c prps: 1045866527 propagations, 0.21 megaprops
5000.02/5001.30 c
5000.02/5001.30 c 5000.0 seconds, 262 MB max, 3201 MB recycled
5000.02/5001.30 c
5000.02/5001.30 c *** CAUGHT SIGNAL 15 ***
5000.02/5001.30 c
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1784098-1241914783/watcher-1784098-1241914783 -o /tmp/evaluation-result-1784098-1241914783/solver-1784098-1241914783 -C 5000 -W 6000 -M 1800 HOME/precosat HOME/instance-1784098-1241914783.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.01 1.00 1.00 3/64 23976
/proc/meminfo: memFree=1575616/2055920 swapFree=4181160/4192956
[pid=23976] ppid=23974 vsize=1200 CPUtime=0
/proc/23976/stat : 23976 (precosat) R 23974 23976 23839 0 -1 4194304 199 0 0 0 0 0 0 0 18 0 1 0 219510938 1228800 184 1992294400 134512640 135151029 4294956240 18446744073709551615 134697845 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23976/statm: 300 184 63 155 0 143 0
[startup+0.0444559 s]
/proc/loadavg: 1.01 1.00 1.00 3/64 23976
/proc/meminfo: memFree=1575616/2055920 swapFree=4181160/4192956
[pid=23976] ppid=23974 vsize=3472 CPUtime=0.03
/proc/23976/stat : 23976 (precosat) R 23974 23976 23839 0 -1 4194304 779 0 0 0 3 0 0 0 18 0 1 0 219510938 3555328 763 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23976/statm: 868 763 79 155 0 711 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 3472
[startup+0.10146 s]
/proc/loadavg: 1.01 1.00 1.00 3/64 23976
/proc/meminfo: memFree=1575616/2055920 swapFree=4181160/4192956
[pid=23976] ppid=23974 vsize=5044 CPUtime=0.09
/proc/23976/stat : 23976 (precosat) R 23974 23976 23839 0 -1 4194304 1266 0 0 0 9 0 0 0 18 0 1 0 219510938 5165056 1152 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23976/statm: 1261 1152 79 155 0 1104 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5044
[startup+0.301473 s]
/proc/loadavg: 1.01 1.00 1.00 3/64 23976
/proc/meminfo: memFree=1575616/2055920 swapFree=4181160/4192956
[pid=23976] ppid=23974 vsize=5056 CPUtime=0.29
/proc/23976/stat : 23976 (precosat) R 23974 23976 23839 0 -1 4194304 1548 0 0 0 29 0 0 0 19 0 1 0 219510938 5177344 1176 1992294400 134512640 135151029 4294956240 18446744073709551615 134578417 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23976/statm: 1264 1176 79 155 0 1107 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5056
[startup+0.701504 s]
/proc/loadavg: 1.01 1.00 1.00 3/64 23976
/proc/meminfo: memFree=1575616/2055920 swapFree=4181160/4192956
[pid=23976] ppid=23974 vsize=6640 CPUtime=0.69
/proc/23976/stat : 23976 (precosat) R 23974 23976 23839 0 -1 4194304 1950 0 0 0 69 0 0 0 22 0 1 0 219510938 6799360 1578 1992294400 134512640 135151029 4294956240 18446744073709551615 134582172 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23976/statm: 1660 1578 79 155 0 1503 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6640
[startup+1.50156 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 23977
/proc/meminfo: memFree=1568504/2055920 swapFree=4181160/4192956
[pid=23976] ppid=23974 vsize=9412 CPUtime=1.49
/proc/23976/stat : 23976 (precosat) R 23974 23976 23839 0 -1 4194304 2628 0 0 0 148 1 0 0 25 0 1 0 219510938 9637888 2256 1992294400 134512640 135151029 4294956240 18446744073709551615 134542732 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23976/statm: 2353 2256 79 155 0 2196 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9412
[startup+3.10168 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 23977
/proc/meminfo: memFree=1564920/2055920 swapFree=4181160/4192956
[pid=23976] ppid=23974 vsize=13780 CPUtime=3.09
/proc/23976/stat : 23976 (precosat) R 23974 23976 23839 0 -1 4194304 3726 0 0 0 307 2 0 0 25 0 1 0 219510938 14110720 3354 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23976/statm: 3445 3354 79 155 0 3288 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13780
[startup+6.30191 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 23977
/proc/meminfo: memFree=1559416/2055920 swapFree=4181160/4192956
[pid=23976] ppid=23974 vsize=16616 CPUtime=6.29
/proc/23976/stat : 23976 (precosat) R 23974 23976 23839 0 -1 4194304 4655 0 0 0 627 2 0 0 25 0 1 0 219510938 17014784 4074 1992294400 134512640 135151029 4294956240 18446744073709551615 134580636 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23976/statm: 4154 4074 79 155 0 3997 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16616
[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23977
/proc/meminfo: memFree=1555320/2055920 swapFree=4181160/4192956
[pid=23976] ppid=23974 vsize=21320 CPUtime=12.68
/proc/23976/stat : 23976 (precosat) R 23974 23976 23839 0 -1 4194304 6018 0 0 0 1265 3 0 0 25 0 1 0 219510938 21831680 5220 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23976/statm: 5330 5220 79 155 0 5173 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 21320
[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23977
/proc/meminfo: memFree=1551736/2055920 swapFree=4181160/4192956
[pid=23976] ppid=23974 vsize=24972 CPUtime=25.49
/proc/23976/stat : 23976 (precosat) R 23974 23976 23839 0 -1 4194304 7312 0 0 0 2544 5 0 0 25 0 1 0 219510938 25571328 6127 1992294400 134512640 135151029 4294956240 18446744073709551615 134554821 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23976/statm: 6243 6127 79 155 0 6086 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 24972
[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23977
/proc/meminfo: memFree=1545144/2055920 swapFree=4181160/4192956
[pid=23976] ppid=23974 vsize=30832 CPUtime=51.08
/proc/23976/stat : 23976 (precosat) R 23974 23976 23839 0 -1 4194304 9169 0 0 0 5102 6 0 0 25 0 1 0 219510938 31571968 7597 1992294400 134512640 135151029 4294956240 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23976/statm: 7708 7597 79 155 0 7551 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 30832
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23977
/proc/meminfo: memFree=1535288/2055920 swapFree=4181160/4192956
[pid=23976] ppid=23974 vsize=40560 CPUtime=102.27
/proc/23976/stat : 23976 (precosat) R 23974 23976 23839 0 -1 4194304 12245 0 0 0 10219 8 0 0 25 0 1 0 219510938 41533440 10028 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23976/statm: 10140 10028 79 155 0 9983 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 40560
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23977
/proc/meminfo: memFree=1529464/2055920 swapFree=4181160/4192956
[pid=23976] ppid=23974 vsize=46044 CPUtime=162.25
/proc/23976/stat : 23976 (precosat) R 23974 23976 23839 0 -1 4194304 13986 0 0 0 16215 10 0 0 25 0 1 0 219510938 47149056 11431 1992294400 134512640 135151029 4294956240 18446744073709551615 134554797 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23976/statm: 11511 11431 79 155 0 11354 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 46044
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23977
/proc/meminfo: memFree=1522616/2055920 swapFree=4181160/4192956
[pid=23976] ppid=23974 vsize=52908 CPUtime=222.24
/proc/23976/stat : 23976 (precosat) R 23974 23976 23839 0 -1 4194304 16088 0 0 0 22212 12 0 0 25 0 1 0 219510938 54177792 13146 1992294400 134512640 135151029 4294956240 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23976/statm: 13227 13146 79 155 0 13070 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 52908
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23977
/proc/meminfo: memFree=1519736/2055920 swapFree=4181160/4192956
[pid=23976] ppid=23974 vsize=55964 CPUtime=282.22
/proc/23976/stat : 23976 (precosat) R 23974 23976 23839 0 -1 4194304 16939 0 0 0 28209 13 0 0 25 0 1 0 219510938 57307136 13868 1992294400 134512640 135151029 4294956240 18446744073709551615 134575907 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23976/statm: 13991 13868 79 155 0 13834 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 55964
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23977
/proc/meminfo: memFree=1516344/2055920 swapFree=4181160/4192956
[pid=23976] ppid=23974 vsize=59328 CPUtime=342.2
/proc/23976/stat : 23976 (precosat) R 23974 23976 23839 0 -1 4194304 18405 0 0 0 34206 14 0 0 25 0 1 0 219510938 60751872 14721 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23976/statm: 14832 14721 79 155 0 14675 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 59328
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23977
/proc/meminfo: memFree=1515448/2055920 swapFree=4181160/4192956
[pid=23976] ppid=23974 vsize=60180 CPUtime=402.19
/proc/23976/stat : 23976 (precosat) R 23974 23976 23839 0 -1 4194304 19256 0 0 0 40204 15 0 0 25 0 1 0 219510938 61624320 14935 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23976/statm: 15045 14935 79 155 0 14888 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 60180
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23977
/proc/meminfo: memFree=1506808/2055920 swapFree=4181160/4192956
[pid=23976] ppid=23974 vsize=68736 CPUtime=462.17
/proc/23976/stat : 23976 (precosat) R 23974 23976 23839 0 -1 4194304 21782 0 0 0 46200 17 0 0 25 0 1 0 219510938 70385664 17074 1992294400 134512640 135151029 4294956240 18446744073709551615 134555084 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23976/statm: 17184 17074 79 155 0 17027 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 68736
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23977
/proc/meminfo: memFree=1490808/2055920 swapFree=4181160/4192956
[pid=23976] ppid=23974 vsize=84732 CPUtime=522.16
/proc/23976/stat : 23976 (precosat) R 23974 23976 23839 0 -1 4194304 26163 0 0 0 52194 22 0 0 25 0 1 0 219510938 86765568 21068 1992294400 134512640 135151029 4294956240 18446744073709551615 134554940 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23976/statm: 21183 21068 79 155 0 21026 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 84732
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23977
/proc/meminfo: memFree=1481464/2055920 swapFree=4181160/4192956
[pid=23976] ppid=23974 vsize=93680 CPUtime=582.14
/proc/23976/stat : 23976 (precosat) R 23974 23976 23839 0 -1 4194304 28775 0 0 0 58190 24 0 0 25 0 1 0 219510938 95928320 23342 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23976/statm: 23420 23342 79 155 0 23263 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 93680
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23977
/proc/meminfo: memFree=1481464/2055920 swapFree=4181160/4192956
[pid=23976] ppid=23974 vsize=93680 CPUtime=642.13
/proc/23976/stat : 23976 (precosat) R 23974 23976 23839 0 -1 4194304 28775 0 0 0 64189 24 0 0 25 0 1 0 219510938 95928320 23342 1992294400 134512640 135151029 4294956240 18446744073709551615 134574578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23976/statm: 23420 23342 79 155 0 23263 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 93680
[startup+702.302 s]
################
# More data... #
################
[startup+4062.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23985
/proc/meminfo: memFree=1424248/2055920 swapFree=4181160/4192956
[pid=23976] ppid=23974 vsize=149136 CPUtime=4061.26
/proc/23976/stat : 23976 (precosat) R 23974 23976 23839 0 -1 4194304 44607 0 0 0 406078 48 0 0 25 0 1 0 219510938 152715264 37184 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23976/statm: 37284 37184 79 155 0 37127 0
Current children cumulated CPU time (s) 4061.26
Current children cumulated vsize (KiB) 149136
[startup+4122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23985
/proc/meminfo: memFree=1424184/2055920 swapFree=4181160/4192956
[pid=23976] ppid=23974 vsize=149136 CPUtime=4121.25
/proc/23976/stat : 23976 (precosat) R 23974 23976 23839 0 -1 4194304 44742 0 0 0 412076 49 0 0 25 0 1 0 219510938 152715264 37190 1992294400 134512640 135151029 4294956240 18446744073709551615 134681534 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23976/statm: 37284 37190 79 155 0 37127 0
Current children cumulated CPU time (s) 4121.25
Current children cumulated vsize (KiB) 149136
[startup+4182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23985
/proc/meminfo: memFree=1424504/2055920 swapFree=4181160/4192956
[pid=23976] ppid=23974 vsize=148620 CPUtime=4181.23
/proc/23976/stat : 23976 (precosat) R 23974 23976 23839 0 -1 4194304 44744 0 0 0 418074 49 0 0 25 0 1 0 219510938 152186880 37063 1992294400 134512640 135151029 4294956240 18446744073709551615 134554756 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23976/statm: 37155 37063 79 155 0 36998 0
Current children cumulated CPU time (s) 4181.23
Current children cumulated vsize (KiB) 148620
[startup+4242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23985
/proc/meminfo: memFree=1424504/2055920 swapFree=4181160/4192956
[pid=23976] ppid=23974 vsize=148620 CPUtime=4241.22
/proc/23976/stat : 23976 (precosat) R 23974 23976 23839 0 -1 4194304 44754 0 0 0 424073 49 0 0 25 0 1 0 219510938 152186880 37073 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23976/statm: 37155 37073 79 155 0 36998 0
Current children cumulated CPU time (s) 4241.22
Current children cumulated vsize (KiB) 148620
[startup+4302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23985
/proc/meminfo: memFree=1423608/2055920 swapFree=4181160/4192956
[pid=23976] ppid=23974 vsize=149852 CPUtime=4301.2
/proc/23976/stat : 23976 (precosat) R 23974 23976 23839 0 -1 4194304 45037 0 0 0 430071 49 0 0 25 0 1 0 219510938 153448448 37356 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23976/statm: 37463 37356 79 155 0 37306 0
Current children cumulated CPU time (s) 4301.2
Current children cumulated vsize (KiB) 149852
[startup+4362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23985
/proc/meminfo: memFree=1389176/2055920 swapFree=4181160/4192956
[pid=23976] ppid=23974 vsize=184128 CPUtime=4361.18
/proc/23976/stat : 23976 (precosat) R 23974 23976 23839 0 -1 4194304 53578 0 0 0 436060 58 0 0 25 0 1 0 219510938 188547072 45897 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23976/statm: 46032 45897 79 155 0 45875 0
Current children cumulated CPU time (s) 4361.18
Current children cumulated vsize (KiB) 184128
[startup+4422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23985
/proc/meminfo: memFree=1386296/2055920 swapFree=4181160/4192956
[pid=23976] ppid=23974 vsize=186900 CPUtime=4421.17
/proc/23976/stat : 23976 (precosat) R 23974 23976 23839 0 -1 4194304 54410 0 0 0 442058 59 0 0 25 0 1 0 219510938 191385600 46600 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23976/statm: 46725 46600 79 155 0 46568 0
Current children cumulated CPU time (s) 4421.17
Current children cumulated vsize (KiB) 186900
[startup+4482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23985
/proc/meminfo: memFree=1373752/2055920 swapFree=4181160/4192956
[pid=23976] ppid=23974 vsize=199504 CPUtime=4481.16
/proc/23976/stat : 23976 (precosat) R 23974 23976 23839 0 -1 4194304 57658 0 0 0 448053 63 0 0 25 0 1 0 219510938 204292096 49719 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23976/statm: 49876 49719 79 155 0 49719 0
Current children cumulated CPU time (s) 4481.16
Current children cumulated vsize (KiB) 199504
[startup+4542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23985
/proc/meminfo: memFree=1373624/2055920 swapFree=4181160/4192956
[pid=23976] ppid=23974 vsize=199504 CPUtime=4541.14
/proc/23976/stat : 23976 (precosat) R 23974 23976 23839 0 -1 4194304 57817 0 0 0 454051 63 0 0 25 0 1 0 219510938 204292096 49749 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23976/statm: 49876 49749 79 155 0 49719 0
Current children cumulated CPU time (s) 4541.14
Current children cumulated vsize (KiB) 199504
[startup+4602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23985
/proc/meminfo: memFree=1373560/2055920 swapFree=4181160/4192956
[pid=23976] ppid=23974 vsize=199504 CPUtime=4601.13
/proc/23976/stat : 23976 (precosat) R 23974 23976 23839 0 -1 4194304 57947 0 0 0 460050 63 0 0 25 0 1 0 219510938 204292096 49750 1992294400 134512640 135151029 4294956240 18446744073709551615 134554756 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23976/statm: 49876 49750 79 155 0 49719 0
Current children cumulated CPU time (s) 4601.13
Current children cumulated vsize (KiB) 199504
[startup+4662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23985
/proc/meminfo: memFree=1358584/2055920 swapFree=4181160/4192956
[pid=23976] ppid=23974 vsize=215096 CPUtime=4661.11
/proc/23976/stat : 23976 (precosat) R 23974 23976 23839 0 -1 4194304 61728 0 0 0 466044 67 0 0 25 0 1 0 219510938 220258304 53531 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23976/statm: 53774 53531 79 155 0 53617 0
Current children cumulated CPU time (s) 4661.11
Current children cumulated vsize (KiB) 215096
[startup+4722.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23985
/proc/meminfo: memFree=1322744/2055920 swapFree=4181160/4192956
[pid=23976] ppid=23974 vsize=251356 CPUtime=4721.09
/proc/23976/stat : 23976 (precosat) R 23974 23976 23839 0 -1 4194304 70629 0 0 0 472035 74 0 0 25 0 1 0 219510938 257388544 62432 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23976/statm: 62839 62432 79 155 0 62682 0
Current children cumulated CPU time (s) 4721.09
Current children cumulated vsize (KiB) 251356
[startup+4782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23985
/proc/meminfo: memFree=1298232/2055920 swapFree=4181160/4192956
[pid=23976] ppid=23974 vsize=276064 CPUtime=4781.08
/proc/23976/stat : 23976 (precosat) R 23974 23976 23839 0 -1 4194304 76726 0 0 0 478027 81 0 0 25 0 1 0 219510938 282689536 68529 1992294400 134512640 135151029 4294956240 18446744073709551615 134697845 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23976/statm: 69016 68529 79 155 0 68859 0
Current children cumulated CPU time (s) 4781.08
Current children cumulated vsize (KiB) 276064
[startup+4842.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23987
/proc/meminfo: memFree=1298040/2055920 swapFree=4181160/4192956
[pid=23976] ppid=23974 vsize=276064 CPUtime=4841.06
/proc/23976/stat : 23976 (precosat) R 23974 23976 23839 0 -1 4194304 76756 0 0 0 484025 81 0 0 25 0 1 0 219510938 282689536 68559 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23976/statm: 69016 68559 79 155 0 68859 0
Current children cumulated CPU time (s) 4841.06
Current children cumulated vsize (KiB) 276064
[startup+4902.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23987
/proc/meminfo: memFree=1298104/2055920 swapFree=4181160/4192956
[pid=23976] ppid=23974 vsize=276064 CPUtime=4901.05
/proc/23976/stat : 23976 (precosat) R 23974 23976 23839 0 -1 4194304 76759 0 0 0 490024 81 0 0 25 0 1 0 219510938 282689536 68562 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23976/statm: 69016 68562 79 155 0 68859 0
Current children cumulated CPU time (s) 4901.05
Current children cumulated vsize (KiB) 276064
[startup+4962.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23987
/proc/meminfo: memFree=1298040/2055920 swapFree=4181160/4192956
[pid=23976] ppid=23974 vsize=276064 CPUtime=4961.03
/proc/23976/stat : 23976 (precosat) R 23974 23976 23839 0 -1 4194304 76765 0 0 0 496022 81 0 0 25 0 1 0 219510938 282689536 68568 1992294400 134512640 135151029 4294956240 18446744073709551615 134554875 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23976/statm: 69016 68568 79 155 0 68859 0
Current children cumulated CPU time (s) 4961.03
Current children cumulated vsize (KiB) 276064
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5001.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23987
/proc/meminfo: memFree=1297976/2055920 swapFree=4181160/4192956
[pid=23976] ppid=23974 vsize=276064 CPUtime=5000.02
/proc/23976/stat : 23976 (precosat) R 23974 23976 23839 0 -1 4194304 76766 0 0 0 499921 81 0 0 25 0 1 0 219510938 282689536 68569 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23976/statm: 69016 68569 79 155 0 68859 0
Current children cumulated CPU time (s) 5000.02
Current children cumulated vsize (KiB) 276064
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+5001.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23987
/proc/meminfo: memFree=1297976/2055920 swapFree=4181160/4192956
[pid=23976] ppid=23974 vsize=276064 CPUtime=5000.02
/proc/23976/stat : 23976 (precosat) R 23974 23976 23839 0 -1 4194304 76766 0 0 0 499921 81 0 0 25 0 1 0 219510938 282689536 68569 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23976/statm: 69016 68569 79 155 0 68859 0
Current children cumulated CPU time (s) 5000.02
Current children cumulated vsize (KiB) 276064
Child ended because it received signal 15 (SIGTERM)
Real time (s): 5001.35
CPU time (s): 5000.08
CPU user time (s): 4999.22
CPU system time (s): 0.861868
CPU usage (%): 99.9746
Max. virtual memory (cumulated for all children) (KiB): 276064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.22
system time used= 0.861868
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76766
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= 7358
runsolver used 3.68844 second user time and 10.5454 second system time
The end
Begin job on node34 at 2009-05-10 02:19:43
IDJOB=1784098
IDBENCH=70930
IDSOLVER=607
FILE ID=node34/1784098-1241914783
PBS_JOBID= 9264844
Free space on /tmp= 66228 MiB
SOLVER NAME= precosat 236
BENCH NAME= SAT09/CRAFTED/edgematching/fbcolors/em_8_4_5_fbc.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1784098-1241914783/watcher-1784098-1241914783 -o /tmp/evaluation-result-1784098-1241914783/solver-1784098-1241914783 -C 5000 -W 6000 -M 1800 HOME/precosat HOME/instance-1784098-1241914783.cnf
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 6fdce6b69c397ad71b0f25957edff1fa
RANDOM SEED=1945667186
node34.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.214
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.214
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: 1576096 kB
Buffers: 46136 kB
Cached: 365864 kB
SwapCached: 5588 kB
Active: 143132 kB
Inactive: 276708 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1576096 kB
SwapTotal: 4192956 kB
SwapFree: 4181160 kB
Dirty: 1292 kB
Writeback: 0 kB
Mapped: 13564 kB
Slab: 45992 kB
Committed_AS: 750252 kB
PageTables: 1380 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= 66228 MiB
End job on node34 at 2009-05-10 03:43:06