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-1774081-1241188189.cnf
0.00/0.00 c found header 'p cnf 32465 97748'
0.09/0.15 c finished parsing
0.09/0.15 c
0.09/0.15 c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.09/0.15 c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.09/0.15 c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.09/0.15 c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.09/0.15 c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.09/0.15 c --random=1 --spread=2000 --seed=0 --skip=25
0.09/0.15 c
0.09/0.15 c sizeof vars[0] = 16 alignment = 0 0 MB
0.09/0.15 c sizeof orgs[0] = 8 alignment = 0 0 MB
0.09/0.15 c sizeof occs[0] = 8 alignment = 0 0 MB
0.09/0.15 c sizeof iirfs[0..1] = 8 alignment = 0 0 MB
0.09/0.15 c
0.09/0.15 c starting search after 0.2 seconds
0.09/0.15 c no decision limit
0.09/0.16 c
0.09/0.16 c original/binary fixed eliminated learned agility
0.09/0.16 c seconds variables equivalent conflicts height MB
0.09/0.16 c
0.09/0.16 c * 0.2 97556 31503 95 867 0 0 0 0.0 0 8
1.69/1.79 c s 1.8 60756 9699 666 894 21206 0 0 0.0 0 7
1.69/1.79 c l 1.8 60756 9699 666 894 21206 0 21265 0.0 0 7
1.99/2.05 c R 2.0 61421 9682 682 895 21206 136 125 30.5 17 8
2.09/2.14 c R 2.1 61541 9679 682 898 21206 237 226 30.8 16 8
3.30/3.32 c R 3.3 73243 9629 721 909 21206 839 828 33.5 17 9
3.30/3.38 c B 3.4 73277 9629 721 909 21206 1001 990 33.8 12 9
3.79/3.82 c s 3.8 82541 9615 729 915 21206 1172 1161 33.8 16 9
6.09/6.10 c B 6.1 82704 9611 731 917 21206 2002 1991 33.1 16 10
6.89/6.93 c s 6.9 82102 9535 733 920 21277 2038 1909 32.9 16 9
6.89/6.93 c - 6.9 82102 9535 733 920 21277 2038 21053 32.9 16 9
8.59/8.63 c R 8.6 82367 9535 733 920 21277 2442 2313 32.8 17 10
9.49/9.52 c s 9.5 82524 9535 733 920 21277 2863 2734 32.7 18 9
12.09/12.19 c s 12.2 82675 9535 733 920 21277 3817 3687 34.6 17 9
14.88/14.93 c s 14.9 82680 9535 733 920 21277 4521 4390 34.7 17 10
17.69/17.74 c s 17.7 82685 9535 733 920 21277 5259 5127 34.3 17 10
20.99/21.07 c s 21.1 82501 9513 734 922 21296 6014 5751 34.3 17 10
22.48/22.54 c R 22.5 82510 9513 734 922 21296 6453 6190 34.4 17 10
23.78/23.86 c s 23.9 82520 9512 734 923 21296 7147 6881 34.4 15 10
25.98/26.02 c
25.98/26.02 c original/binary fixed eliminated learned agility
25.98/26.02 c seconds variables equivalent conflicts height MB
25.98/26.02 c
25.98/26.02 c B 26.0 82521 9512 734 923 21296 8004 7738 34.6 17 11
27.08/27.18 c s 27.2 82489 9510 734 923 21298 8157 7869 34.4 16 10
29.98/30.08 c s 30.1 82494 9510 734 923 21298 8922 8633 34.1 18 10
39.08/39.16 c s 39.2 82495 9510 734 923 21298 11330 11040 34.6 12 11
42.67/42.71 c s 42.7 82429 9502 739 923 21301 12295 12003 34.6 17 11
45.77/45.84 c s 45.8 82363 9497 742 925 21301 13051 12758 34.5 17 11
49.27/49.39 c s 49.4 82302 9487 742 928 21308 13784 13473 34.4 17 11
52.47/52.55 c s 52.5 82303 9487 742 928 21308 14618 14307 34.3 17 12
54.87/54.91 c R 54.9 82304 9487 742 928 21308 16073 15761 34.5 16 13
55.77/55.83 c s 55.8 82304 9487 742 928 21308 16247 15935 34.4 18 12
58.97/59.03 c s 59.0 82309 9487 742 928 21308 16962 16650 34.4 18 12
62.27/62.38 c s 62.4 82312 9487 742 928 21308 18752 18438 34.3 17 12
70.97/71.05 c + 71.0 82312 9487 742 928 21308 21054 23158 34.3 12 14
80.87/80.92 c B 80.9 82312 9487 742 928 21308 24009 23183 34.5 17 15
88.47/88.58 c + 88.6 82312 9487 742 928 21308 26316 25473 34.5 17 15
95.07/95.12 c s 95.1 82313 9487 742 928 21308 28015 24881 34.6 19 14
110.46/110.54 c s 110.5 82231 9479 744 928 21314 32155 25508 34.6 18 14
113.75/113.84 c + 113.8 82238 9479 744 928 21314 32896 28020 34.5 18 15
114.25/114.31 c s 114.3 82248 9479 744 928 21314 32938 25558 34.5 17 14
117.95/118.08 c
117.95/118.08 c original/binary fixed eliminated learned agility
117.95/118.08 c seconds variables equivalent conflicts height MB
117.95/118.08 c
117.95/118.08 c s 118.1 82287 9479 744 928 21314 33738 26358 34.6 17 14
121.85/121.98 c s 121.9 82296 9479 744 928 21314 34705 27325 34.4 18 14
125.66/125.76 c s 125.7 82297 9479 744 928 21314 35498 28051 34.4 16 14
129.56/129.69 c s 129.7 82298 9479 744 928 21314 36253 28048 34.3 18 14
137.25/137.35 c s 137.3 82299 9479 744 928 21314 37907 28038 34.2 13 14
151.75/151.80 c + 151.8 82299 9479 744 928 21314 41120 30822 34.1 17 16
160.14/160.28 c s 160.2 82300 9479 744 928 21314 43572 30504 34.2 17 15
179.84/179.98 c s 179.9 82301 9479 744 928 21314 48405 30851 34.0 17 15
183.84/183.93 c s 183.9 82305 9479 744 928 21314 49214 30838 34.0 17 15
194.34/194.45 c + 194.4 82305 9479 744 928 21314 51400 33904 34.0 12 16
232.32/232.40 c s 232.3 82306 9479 744 928 21314 60636 33944 33.7 17 15
241.42/241.57 c s 241.5 82307 9479 744 928 21314 62978 33993 33.7 16 15
246.42/246.51 c B 246.4 82307 9479 744 928 21314 64019 33950 33.6 18 16
247.43/247.56 c + 247.5 82307 9479 744 928 21314 64252 37294 33.6 18 17
268.82/268.94 c R 268.9 82307 9479 744 928 21314 70611 37339 33.4 17 18
277.61/277.76 c s 277.7 82308 9479 744 928 21314 72407 37328 33.4 17 16
282.01/282.13 c s 282.1 82309 9479 744 928 21314 73167 37333 33.4 18 16
300.50/300.66 c s 300.6 82318 9479 744 928 21314 77614 37345 33.4 18 16
304.80/304.95 c s 304.9 82324 9479 744 928 21314 78699 37330 33.4 18 16
310.10/310.21 c
310.10/310.21 c original/binary fixed eliminated learned agility
310.10/310.21 c seconds variables equivalent conflicts height MB
310.10/310.21 c
310.10/310.21 c + 310.1 82324 9479 744 928 21314 80318 41023 33.4 17 17
311.00/311.18 c s 311.1 82327 9479 744 928 21314 80620 37622 33.4 18 16
315.51/315.60 c s 315.5 82329 9479 744 928 21314 81736 38738 33.3 19 16
337.49/337.66 c s 337.6 82310 9477 744 929 21315 86642 41004 33.2 17 17
361.79/361.97 c s 361.9 82311 9477 744 929 21315 91768 41064 33.1 17 17
366.78/366.91 c s 366.8 82312 9477 744 929 21315 92724 41045 33.1 18 17
377.19/377.36 c s 377.3 82313 9477 744 929 21315 96248 41060 33.9 17 17
381.78/381.96 c s 381.9 82316 9477 744 929 21315 97293 41076 33.8 17 17
386.28/386.49 c s 386.4 82324 9477 744 929 21315 98246 41094 33.8 18 17
392.38/392.56 c s 392.4 82325 9477 744 929 21315 99723 41052 33.8 15 17
395.28/395.47 c + 395.4 82325 9477 744 929 21315 100396 45125 33.8 17 18
397.08/397.22 c s 397.1 82326 9477 744 929 21315 100759 41434 33.8 17 17
443.57/443.77 c s 443.6 82329 9477 744 929 21315 111478 45159 33.7 17 17
482.46/482.65 c R 482.5 82329 9477 744 929 21315 121889 45185 33.7 17 20
483.96/484.13 c s 484.0 82330 9477 744 929 21315 122164 45163 33.7 19 18
490.85/491.06 c + 490.9 82330 9477 744 929 21315 125496 49637 33.6 15 20
536.65/536.87 c s 536.7 82338 9477 744 929 21315 134952 49665 33.4 17 20
541.64/541.88 c s 541.7 82345 9477 744 929 21315 136049 49693 33.4 17 20
556.03/556.26 c s 556.1 82346 9477 744 929 21315 139270 49674 33.3 17 19
628.02/628.24 c
628.02/628.24 c original/binary fixed eliminated learned agility
628.02/628.24 c seconds variables equivalent conflicts height MB
628.02/628.24 c
628.02/628.24 c s 628.1 82347 9477 744 929 21315 154848 49692 33.2 17 19
633.11/633.34 c s 633.2 82348 9477 744 929 21315 156178 49674 33.2 18 19
636.11/636.34 c + 636.2 82348 9477 744 929 21315 156871 54600 33.2 18 21
648.91/649.17 c B 649.0 82348 9477 744 929 21315 160036 52838 33.2 17 23
701.70/701.92 c s 701.7 82350 9477 744 929 21315 173895 54620 33.2 18 20
731.88/732.13 c s 731.9 82351 9477 744 929 21315 180769 54657 33.1 16 19
737.38/737.68 c s 737.5 82354 9477 744 929 21315 181992 54653 33.1 19 19
784.86/785.16 c s 784.9 82355 9477 744 929 21315 192914 54668 33.1 18 19
790.27/790.51 c s 790.3 82356 9477 744 929 21315 194310 54637 33.1 17 19
796.87/797.14 c + 796.9 82356 9477 744 929 21315 196086 60060 33.1 17 21
832.46/832.73 c s 832.5 82357 9477 744 929 21315 204118 60108 33.0 17 21
907.73/908.00 c s 907.7 82361 9477 744 929 21315 224463 60106 33.1 17 20
966.41/966.78 c R 966.5 82361 9477 744 929 21315 237264 60129 33.0 17 24
999.81/1000.13 c + 999.8 82361 9477 744 929 21315 245106 66066 32.9 18 24
1080.38/1080.79 c s 1080.5 82362 9477 744 929 21315 262061 66117 32.8 19 22
1123.18/1123.55 c s 1123.2 82363 9477 744 929 21315 271662 66107 32.8 17 22
1129.07/1129.49 c s 1129.2 82364 9477 744 929 21315 272831 66125 32.8 17 22
1229.44/1229.86 c s 1229.5 82365 9477 744 929 21315 295197 66117 32.7 18 21
1235.64/1236.06 c s 1235.7 82378 9477 744 929 21315 296898 66116 32.7 19 21
1242.83/1243.28 c
1242.83/1243.28 c original/binary fixed eliminated learned agility
1242.83/1243.28 c seconds variables equivalent conflicts height MB
1242.83/1243.28 c
1242.83/1243.28 c s 1242.9 82379 9477 744 929 21315 298397 66115 32.7 17 21
1248.84/1249.20 c s 1248.8 82380 9477 744 929 21315 299993 66111 32.7 17 21
1277.63/1278.09 c + 1277.7 82380 9477 744 929 21315 306381 72672 32.7 17 24
1486.38/1486.83 c s 1486.4 82385 9477 744 929 21315 352629 72731 32.7 19 23
1563.15/1563.69 c s 1563.2 82386 9477 744 929 21315 371065 72725 32.7 13 23
1590.54/1591.08 c s 1590.6 82387 9477 744 929 21315 377099 72714 32.6 18 23
1620.73/1621.22 c + 1620.8 82387 9477 744 929 21315 382976 79939 32.6 17 26
1625.83/1626.32 c B 1625.9 82387 9477 744 929 21315 384080 73824 32.6 19 26
1746.70/1747.28 c s 1746.8 82388 9477 744 929 21315 411775 79970 32.6 14 25
1753.89/1754.49 c s 1754.0 82390 9477 744 929 21315 413121 80000 32.6 16 25
1789.09/1789.61 c s 1789.1 82391 9477 744 929 21315 420511 80023 32.6 17 25
1829.98/1830.57 c s 1830.1 82392 9477 744 929 21315 431100 80004 32.7 18 25
1946.74/1947.35 c s 1946.8 82393 9477 744 929 21315 455416 79996 32.6 18 25
1994.02/1994.69 c s 1994.1 82394 9477 744 929 21315 466118 80017 32.6 16 25
2058.51/2059.13 c + 2058.5 82394 9477 744 929 21315 478720 87932 32.6 18 27
2116.09/2116.76 c s 2116.2 82395 9477 744 929 21315 489343 88006 32.6 18 26
2123.79/2124.43 c s 2123.8 82399 9477 744 929 21315 490688 88004 32.6 18 26
2130.98/2131.69 c s 2131.1 82401 9477 744 929 21315 492128 87974 32.6 19 26
2138.58/2139.27 c s 2138.7 82402 9477 744 929 21315 493481 87999 32.6 17 26
2139.08/2139.71 c
2139.08/2139.71 c original/binary fixed eliminated learned agility
2139.08/2139.71 c seconds variables equivalent conflicts height MB
2139.08/2139.71 c
2139.08/2139.71 c R 2139.1 82402 9477 744 929 21315 493579 88006 32.6 17 27
2429.70/2430.42 c s 2429.7 82404 9477 744 929 21315 554407 87978 32.4 17 26
2643.65/2644.49 c + 2643.7 82404 9477 744 929 21315 598400 96725 32.4 18 32
3013.94/3014.83 c s 3014.0 82405 9477 744 929 21315 675063 96764 32.4 18 28
3200.58/3201.53 c s 3200.6 82406 9477 744 929 21315 712275 96781 32.4 17 28
3242.67/3243.61 c s 3242.7 82407 9477 744 929 21315 720086 96810 32.4 15 28
3384.13/3385.18 c + 3384.2 82407 9477 744 929 21315 748001 106397 32.3 18 33
3523.39/3524.50 c s 3523.5 82408 9477 744 929 21315 775811 106422 32.3 17 31
3682.35/3683.44 c s 3682.4 82409 9477 744 929 21315 807699 106444 32.2 18 31
3691.04/3692.18 c s 3691.1 82410 9477 744 929 21315 809409 106466 32.2 19 31
3891.49/3892.66 c s 3891.6 82412 9477 744 929 21315 850021 106419 32.2 15 30
4053.35/4054.58 c s 4053.4 82413 9477 744 929 21315 880679 106488 32.2 18 30
4129.72/4130.97 c B 4129.8 82413 9477 744 929 21315 896186 106443 32.2 17 36
4266.89/4268.15 c s 4266.9 82415 9477 744 929 21315 923663 106488 32.2 18 30
4322.67/4323.95 c + 4322.7 82415 9477 744 929 21315 935001 117036 32.2 12 35
4910.21/4911.64 c R 4910.3 82415 9477 744 929 21315 1057436 117072 32.0 18 37
5301.40/5302.95 c s 5301.5 82416 9477 744 929 21315 1126480 117109 32.0 18 30
5312.09/5313.68 c s 5312.2 82420 9477 744 929 21315 1129017 117086 32.0 17 30
5452.35/5453.96 c s 5452.4 82421 9477 744 929 21315 1160639 117088 31.9 18 30
5491.73/5493.31 c
5491.73/5493.31 c original/binary fixed eliminated learned agility
5491.73/5493.31 c seconds variables equivalent conflicts height MB
5491.73/5493.31 c
5491.73/5493.31 c + 5491.8 82421 9477 744 929 21315 1168751 128739 31.9 17 36
5741.26/5742.94 c s 5741.3 82424 9477 744 929 21315 1216994 128778 31.9 17 34
5851.84/5853.50 c s 5851.8 82427 9477 744 929 21315 1237029 128772 31.9 17 34
6543.34/6545.23 c s 6543.4 82430 9477 744 929 21315 1365264 128777 31.9 18 36
6687.10/6689.10 c s 6687.2 82434 9477 744 929 21315 1391337 128797 31.9 18 35
6884.35/6886.39 c s 6884.5 82435 9477 744 929 21315 1429420 128821 31.9 19 34
6922.93/6924.90 c s 6923.0 82439 9477 744 929 21315 1436811 128836 31.9 17 34
7049.29/7051.38 c + 7049.4 82439 9477 744 929 21315 1460935 141612 31.9 16 42
7281.43/7283.57 c s 7281.5 82440 9477 744 929 21315 1502736 141703 31.9 18 38
7579.75/7581.92 c s 7579.8 82442 9477 744 929 21315 1557843 141687 32.0 18 38
7794.09/7796.31 c s 7794.1 82443 9477 744 929 21315 1595956 141688 32.0 17 38
8014.13/8016.40 c s 8014.1 82444 9477 744 929 21315 1635790 141710 31.9 17 37
8025.82/8028.11 c s 8025.8 82452 9477 744 929 21315 1637631 141675 31.9 17 37
8722.63/8725.15 c s 8722.7 82455 9477 744 929 21315 1762823 141637 32.0 17 38
8734.43/8736.98 c s 8734.5 82463 9477 744 929 21315 1765317 141732 32.0 19 38
8746.12/8748.62 c s 8746.2 82475 9477 744 929 21315 1767223 141687 32.0 17 38
8915.58/8918.10 c s 8915.6 82476 9477 744 929 21315 1796239 141680 31.9 18 37
8952.37/8954.99 c s 8952.5 82481 9477 744 929 21315 1802568 141686 32.0 18 38
9079.92/9082.53 c + 9080.0 82481 9477 744 929 21315 1826165 155773 31.9 18 45
9648.06/9650.81 c
9648.06/9650.81 c original/binary fixed eliminated learned agility
9648.06/9650.81 c seconds variables equivalent conflicts height MB
9648.06/9650.81 c
9648.06/9650.81 c s 9648.1 82483 9477 744 929 21315 1927393 155854 31.9 18 40
9697.25/9700.08 c s 9697.3 82487 9477 744 929 21315 1935556 155859 31.9 19 40
10000.07/10002.90 c
10000.07/10002.90 c *** CAUGHT SIGNAL 15 ***
10000.07/10002.90 c
10000.07/10002.90 c 1991612 conflicts, 2569548 decisions, 2 random
10000.07/10002.90 c 3 iterations, 3953 restarts, 0 skipped
10000.07/10002.90 c 21 enlarged, 680 shrunken, 19453 rescored, 509 rebiased
10000.07/10002.90 c 111 simplifications, 0 reductions
10000.07/10002.90 c
10000.07/10002.90 c vars: 744 fixed, 929 equiv, 21315 elim, 941 merged
10000.07/10002.90 c elim: 2291314 resolutions, 8 phases, 8 rounds
10000.07/10002.90 c sbst: 92% substituted, 0.5% nots, 98.5% ands, 0.9% xors, 0.1% ites
10000.07/10002.90 c arty: 2.26 and 2.02 xor average arity
10000.07/10002.90 c prbe: 9421623 probed, 4465 phases, 497 rounds
10000.07/10002.90 c prbe: 33 failed, 101 lifted, 17 merged
10000.07/10002.90 c sccs: 4 non trivial, 0 fixed, 4 merged
10000.07/10002.90 c hash: 44 units, 920 merged
10000.07/10002.90 c mins: 94372613 learned, 89% deleted, 33 strong, 51 depth
10000.07/10002.90 c subs: 2414 forward, 905 backward, 631 doms
10000.07/10002.90 c strs: 8084 forward, 1030 backward
10000.07/10002.90 c doms: 4693 dominators, 627 high, 1 low
10000.07/10002.90 c prps: 9203768983 propagations, 0.92 megaprops
10000.07/10002.90 c
10000.07/10002.90 c 10000.1 seconds, 51 MB max, 385 MB recycled
10000.07/10002.90 c
10000.07/10002.90 c *** CAUGHT SIGNAL 15 ***
10000.07/10002.90 c
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1774081-1241188189/watcher-1774081-1241188189 -o /tmp/evaluation-result-1774081-1241188189/solver-1774081-1241188189 -C 10000 -W 12000 -M 1800 HOME/precosat HOME/instance-1774081-1241188189.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.98 0.98 0.97 3/64 23350
/proc/meminfo: memFree=1065232/2055920 swapFree=4175016/4192956
[pid=23350] ppid=23348 vsize=2064 CPUtime=0
/proc/23350/stat : 23350 (precosat) R 23348 23350 23286 0 -1 4194304 396 0 0 0 0 0 0 0 18 0 1 0 146846816 2113536 381 1992294400 134512640 135151029 4294956240 18446744073709551615 134534335 0 0 4096 0 0 0 0 17 1 0 0
/proc/23350/statm: 516 381 59 155 0 359 0
[startup+0.103526 s]
/proc/loadavg: 0.98 0.98 0.97 3/64 23350
/proc/meminfo: memFree=1065232/2055920 swapFree=4175016/4192956
[pid=23350] ppid=23348 vsize=8064 CPUtime=0.09
/proc/23350/stat : 23350 (precosat) R 23348 23350 23286 0 -1 4194304 2031 0 0 0 9 0 0 0 18 0 1 0 146846816 8257536 1918 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23350/statm: 2016 1918 64 155 0 1859 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8064
[startup+0.201535 s]
/proc/loadavg: 0.98 0.98 0.97 3/64 23350
/proc/meminfo: memFree=1065232/2055920 swapFree=4175016/4192956
[pid=23350] ppid=23348 vsize=11928 CPUtime=0.19
/proc/23350/stat : 23350 (precosat) R 23348 23350 23286 0 -1 4194304 2997 0 0 0 18 1 0 0 18 0 1 0 146846816 12214272 2883 1992294400 134512640 135151029 4294956240 18446744073709551615 134579313 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23350/statm: 2982 2883 79 155 0 2825 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 11928
[startup+0.301544 s]
/proc/loadavg: 0.98 0.98 0.97 3/64 23350
/proc/meminfo: memFree=1065232/2055920 swapFree=4175016/4192956
[pid=23350] ppid=23348 vsize=13392 CPUtime=0.29
/proc/23350/stat : 23350 (precosat) R 23348 23350 23286 0 -1 4194304 3483 0 0 0 28 1 0 0 19 0 1 0 146846816 13713408 3240 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23350/statm: 3348 3241 79 155 0 3191 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13392
[startup+0.701584 s]
/proc/loadavg: 0.98 0.98 0.97 3/64 23350
/proc/meminfo: memFree=1065232/2055920 swapFree=4175016/4192956
[pid=23350] ppid=23348 vsize=16020 CPUtime=0.69
/proc/23350/stat : 23350 (precosat) R 23348 23350 23286 0 -1 4194304 4917 0 0 0 68 1 0 0 23 0 1 0 146846816 16404480 3904 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23350/statm: 4005 3905 79 155 0 3848 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16020
[startup+1.50167 s]
/proc/loadavg: 0.98 0.98 0.97 2/65 23351
/proc/meminfo: memFree=1047688/2055920 swapFree=4175016/4192956
[pid=23350] ppid=23348 vsize=18760 CPUtime=1.49
/proc/23350/stat : 23350 (precosat) R 23348 23350 23286 0 -1 4194304 5732 0 0 0 147 2 0 0 25 0 1 0 146846816 19210240 4590 1992294400 134512640 135151029 4294956240 18446744073709551615 134526033 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23350/statm: 4690 4590 79 155 0 4533 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18760
[startup+3.10183 s]
/proc/loadavg: 0.98 0.98 0.97 2/65 23351
/proc/meminfo: memFree=1047624/2055920 swapFree=4175016/4192956
[pid=23350] ppid=23348 vsize=17868 CPUtime=3.09
/proc/23350/stat : 23350 (precosat) R 23348 23350 23286 0 -1 4194304 5769 0 0 0 307 2 0 0 25 0 1 0 146846816 18296832 4370 1992294400 134512640 135151029 4294956240 18446744073709551615 134554594 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23350/statm: 4467 4370 79 155 0 4310 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17868
[startup+6.30116 s]
/proc/loadavg: 0.98 0.98 0.97 2/65 23351
/proc/meminfo: memFree=1047560/2055920 swapFree=4175016/4192956
[pid=23350] ppid=23348 vsize=17868 CPUtime=6.29
/proc/23350/stat : 23350 (precosat) R 23348 23350 23286 0 -1 4194304 5769 0 0 0 627 2 0 0 25 0 1 0 146846816 18296832 4370 1992294400 134512640 135151029 4294956240 18446744073709551615 134531828 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23350/statm: 4467 4370 79 155 0 4310 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17868
[startup+12.7018 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 23351
/proc/meminfo: memFree=1047512/2055920 swapFree=4175016/4192956
[pid=23350] ppid=23348 vsize=17868 CPUtime=12.69
/proc/23350/stat : 23350 (precosat) R 23348 23350 23286 0 -1 4194304 5899 0 0 0 1267 2 0 0 25 0 1 0 146846816 18296832 4371 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23350/statm: 4467 4371 79 155 0 4310 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17868
[startup+25.5011 s]
/proc/loadavg: 1.06 1.00 0.98 2/65 23351
/proc/meminfo: memFree=1047512/2055920 swapFree=4175016/4192956
[pid=23350] ppid=23348 vsize=17868 CPUtime=25.48
/proc/23350/stat : 23350 (precosat) R 23348 23350 23286 0 -1 4194304 6028 0 0 0 2546 2 0 0 25 0 1 0 146846816 18296832 4371 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23350/statm: 4467 4371 79 155 0 4310 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 17868
[startup+51.1017 s]
/proc/loadavg: 1.04 1.00 0.98 2/65 23351
/proc/meminfo: memFree=1047576/2055920 swapFree=4175016/4192956
[pid=23350] ppid=23348 vsize=17868 CPUtime=51.07
/proc/23350/stat : 23350 (precosat) R 23348 23350 23286 0 -1 4194304 6415 0 0 0 5105 2 0 0 25 0 1 0 146846816 18296832 4371 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23350/statm: 4467 4371 79 155 0 4310 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 17868
[startup+102.302 s]
/proc/loadavg: 1.07 1.01 0.98 2/65 23351
/proc/meminfo: memFree=1047128/2055920 swapFree=4175016/4192956
[pid=23350] ppid=23348 vsize=18520 CPUtime=102.27
/proc/23350/stat : 23350 (precosat) R 23348 23350 23286 0 -1 4194304 6560 0 0 0 10224 3 0 0 25 0 1 0 146846816 18964480 4516 1992294400 134512640 135151029 4294956240 18446744073709551615 134555084 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23350/statm: 4630 4516 79 155 0 4473 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 18520
[startup+162.301 s]
/proc/loadavg: 1.07 1.02 0.99 2/65 23351
/proc/meminfo: memFree=1045784/2055920 swapFree=4175016/4192956
[pid=23350] ppid=23348 vsize=19952 CPUtime=162.24
/proc/23350/stat : 23350 (precosat) R 23348 23350 23286 0 -1 4194304 8794 0 0 0 16220 4 0 0 25 0 1 0 146846816 20430848 4864 1992294400 134512640 135151029 4294956240 18446744073709551615 134542806 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23350/statm: 4988 4864 79 155 0 4831 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 19952
[startup+222.305 s]
/proc/loadavg: 1.07 1.03 1.00 2/65 23351
/proc/meminfo: memFree=1045336/2055920 swapFree=4175016/4192956
[pid=23350] ppid=23348 vsize=20248 CPUtime=222.23
/proc/23350/stat : 23350 (precosat) R 23348 23350 23286 0 -1 4194304 9136 0 0 0 22218 5 0 0 25 0 1 0 146846816 20733952 4948 1992294400 134512640 135151029 4294956240 18446744073709551615 134554851 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23350/statm: 5062 4948 79 155 0 4905 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 20248
[startup+282.301 s]
/proc/loadavg: 1.02 1.02 1.00 2/65 23351
/proc/meminfo: memFree=1043992/2055920 swapFree=4175016/4192956
[pid=23350] ppid=23348 vsize=21672 CPUtime=282.21
/proc/23350/stat : 23350 (precosat) R 23348 23350 23286 0 -1 4194304 10182 0 0 0 28215 6 0 0 25 0 1 0 146846816 22192128 5285 1992294400 134512640 135151029 4294956240 18446744073709551615 134555100 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23350/statm: 5418 5285 79 155 0 5261 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 21672
[startup+342.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 23351
/proc/meminfo: memFree=1043672/2055920 swapFree=4175016/4192956
[pid=23350] ppid=23348 vsize=21852 CPUtime=342.19
/proc/23350/stat : 23350 (precosat) R 23348 23350 23286 0 -1 4194304 11591 0 0 0 34212 7 0 0 25 0 1 0 146846816 22376448 5347 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23350/statm: 5463 5347 79 155 0 5306 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 21852
[startup+402.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 23351
/proc/meminfo: memFree=1043096/2055920 swapFree=4175016/4192956
[pid=23350] ppid=23348 vsize=22404 CPUtime=402.18
/proc/23350/stat : 23350 (precosat) R 23348 23350 23286 0 -1 4194304 12822 0 0 0 40210 8 0 0 25 0 1 0 146846816 22941696 5485 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23350/statm: 5601 5485 79 155 0 5444 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 22404
[startup+462.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 23351
/proc/meminfo: memFree=1042328/2055920 swapFree=4175016/4192956
[pid=23350] ppid=23348 vsize=23112 CPUtime=462.16
/proc/23350/stat : 23350 (precosat) R 23348 23350 23286 0 -1 4194304 13314 0 0 0 46207 9 0 0 25 0 1 0 146846816 23666688 5662 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23350/statm: 5778 5662 79 155 0 5621 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 23112
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23351
/proc/meminfo: memFree=1041112/2055920 swapFree=4175016/4192956
[pid=23350] ppid=23348 vsize=24332 CPUtime=522.14
/proc/23350/stat : 23350 (precosat) R 23348 23350 23286 0 -1 4194304 13759 0 0 0 52205 9 0 0 25 0 1 0 146846816 24915968 5978 1992294400 134512640 135151029 4294956240 18446744073709551615 134551954 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23350/statm: 6083 5978 79 155 0 5926 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 24332
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23351
/proc/meminfo: memFree=1040024/2055920 swapFree=4175016/4192956
[pid=23350] ppid=23348 vsize=25484 CPUtime=582.12
/proc/23350/stat : 23350 (precosat) R 23348 23350 23286 0 -1 4194304 14450 0 0 0 58202 10 0 0 25 0 1 0 146846816 26095616 6282 1992294400 134512640 135151029 4294956240 18446744073709551615 134574229 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23350/statm: 6371 6282 79 155 0 6214 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 25484
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23353
/proc/meminfo: memFree=1040152/2055920 swapFree=4175016/4192956
[pid=23350] ppid=23348 vsize=25280 CPUtime=642.11
/proc/23350/stat : 23350 (precosat) R 23348 23350 23286 0 -1 4194304 14898 0 0 0 64200 11 0 0 25 0 1 0 146846816 25886720 6236 1992294400 134512640 135151029 4294956240 18446744073709551615 134551294 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23350/statm: 6320 6236 79 155 0 6163 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 25280
[startup+702.301 s]
################
# More data... #
################
[startup+9042.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23369
/proc/meminfo: memFree=1011608/2055920 swapFree=4175016/4192956
[pid=23350] ppid=23348 vsize=53560 CPUtime=9039.75
/proc/23350/stat : 23350 (precosat) R 23348 23350 23286 0 -1 4194304 27275 0 0 0 903932 43 0 0 25 0 1 0 146846816 54845440 13235 1992294400 134512640 135151029 4294956240 18446744073709551615 134551954 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23350/statm: 13390 13235 79 155 0 13233 0
Current children cumulated CPU time (s) 9039.75
Current children cumulated vsize (KiB) 53560
[startup+9102.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23375
/proc/meminfo: memFree=1011352/2055920 swapFree=4175016/4192956
[pid=23350] ppid=23348 vsize=53560 CPUtime=9099.71
/proc/23350/stat : 23350 (precosat) R 23348 23350 23286 0 -1 4194304 27275 0 0 0 909928 43 0 0 25 0 1 0 146846816 54845440 13235 1992294400 134512640 135151029 4294956240 18446744073709551615 134554502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23350/statm: 13390 13235 79 155 0 13233 0
Current children cumulated CPU time (s) 9099.71
Current children cumulated vsize (KiB) 53560
[startup+9162.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23375
/proc/meminfo: memFree=1011416/2055920 swapFree=4175016/4192956
[pid=23350] ppid=23348 vsize=53560 CPUtime=9159.7
/proc/23350/stat : 23350 (precosat) R 23348 23350 23286 0 -1 4194304 27309 0 0 0 915926 44 0 0 25 0 1 0 146846816 54845440 13269 1992294400 134512640 135151029 4294956240 18446744073709551615 134554571 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23350/statm: 13390 13269 79 155 0 13233 0
Current children cumulated CPU time (s) 9159.7
Current children cumulated vsize (KiB) 53560
[startup+9222.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23375
/proc/meminfo: memFree=1010904/2055920 swapFree=4175016/4192956
[pid=23350] ppid=23348 vsize=54276 CPUtime=9219.68
/proc/23350/stat : 23350 (precosat) R 23348 23350 23286 0 -1 4194304 27441 0 0 0 921924 44 0 0 25 0 1 0 146846816 55578624 13401 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23350/statm: 13569 13401 79 155 0 13412 0
Current children cumulated CPU time (s) 9219.68
Current children cumulated vsize (KiB) 54276
[startup+9282.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23375
/proc/meminfo: memFree=1010392/2055920 swapFree=4175016/4192956
[pid=23350] ppid=23348 vsize=55044 CPUtime=9279.67
/proc/23350/stat : 23350 (precosat) R 23348 23350 23286 0 -1 4194304 27558 0 0 0 927923 44 0 0 25 0 1 0 146846816 56365056 13518 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23350/statm: 13761 13518 79 155 0 13604 0
Current children cumulated CPU time (s) 9279.67
Current children cumulated vsize (KiB) 55044
[startup+9342.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23375
/proc/meminfo: memFree=1010264/2055920 swapFree=4175016/4192956
[pid=23350] ppid=23348 vsize=55300 CPUtime=9339.65
/proc/23350/stat : 23350 (precosat) R 23348 23350 23286 0 -1 4194304 27577 0 0 0 933921 44 0 0 25 0 1 0 146846816 56627200 13537 1992294400 134512640 135151029 4294956240 18446744073709551615 134554903 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23350/statm: 13825 13537 79 155 0 13668 0
Current children cumulated CPU time (s) 9339.65
Current children cumulated vsize (KiB) 55300
[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23375
/proc/meminfo: memFree=1010136/2055920 swapFree=4175016/4192956
[pid=23350] ppid=23348 vsize=55300 CPUtime=9399.63
/proc/23350/stat : 23350 (precosat) R 23348 23350 23286 0 -1 4194304 27595 0 0 0 939919 44 0 0 25 0 1 0 146846816 56627200 13555 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23350/statm: 13825 13555 79 155 0 13668 0
Current children cumulated CPU time (s) 9399.63
Current children cumulated vsize (KiB) 55300
[startup+9462.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23375
/proc/meminfo: memFree=1010200/2055920 swapFree=4175016/4192956
[pid=23350] ppid=23348 vsize=55300 CPUtime=9459.62
/proc/23350/stat : 23350 (precosat) R 23348 23350 23286 0 -1 4194304 27595 0 0 0 945918 44 0 0 25 0 1 0 146846816 56627200 13555 1992294400 134512640 135151029 4294956240 18446744073709551615 134554825 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23350/statm: 13825 13555 79 155 0 13668 0
Current children cumulated CPU time (s) 9459.62
Current children cumulated vsize (KiB) 55300
[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23375
/proc/meminfo: memFree=1010008/2055920 swapFree=4175016/4192956
[pid=23350] ppid=23348 vsize=55556 CPUtime=9519.6
/proc/23350/stat : 23350 (precosat) R 23348 23350 23286 0 -1 4194304 27647 0 0 0 951916 44 0 0 25 0 1 0 146846816 56889344 13607 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23350/statm: 13889 13607 79 155 0 13732 0
Current children cumulated CPU time (s) 9519.6
Current children cumulated vsize (KiB) 55556
[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23375
/proc/meminfo: memFree=1009688/2055920 swapFree=4175016/4192956
[pid=23350] ppid=23348 vsize=56196 CPUtime=9579.58
/proc/23350/stat : 23350 (precosat) R 23348 23350 23286 0 -1 4194304 27731 0 0 0 957914 44 0 0 25 0 1 0 146846816 57544704 13691 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23350/statm: 14049 13691 79 155 0 13892 0
Current children cumulated CPU time (s) 9579.58
Current children cumulated vsize (KiB) 56196
[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23375
/proc/meminfo: memFree=1009432/2055920 swapFree=4175016/4192956
[pid=23350] ppid=23348 vsize=56452 CPUtime=9639.57
/proc/23350/stat : 23350 (precosat) R 23348 23350 23286 0 -1 4194304 27787 0 0 0 963912 45 0 0 25 0 1 0 146846816 57806848 13747 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23350/statm: 14113 13747 79 155 0 13956 0
Current children cumulated CPU time (s) 9639.57
Current children cumulated vsize (KiB) 56452
[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23375
/proc/meminfo: memFree=1010840/2055920 swapFree=4175016/4192956
[pid=23350] ppid=23348 vsize=54016 CPUtime=9699.55
/proc/23350/stat : 23350 (precosat) R 23348 23350 23286 0 -1 4194304 28026 0 0 0 969910 45 0 0 25 0 1 0 146846816 55312384 13388 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23350/statm: 13504 13388 79 155 0 13347 0
Current children cumulated CPU time (s) 9699.55
Current children cumulated vsize (KiB) 54016
[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23375
/proc/meminfo: memFree=1010904/2055920 swapFree=4175016/4192956
[pid=23350] ppid=23348 vsize=54016 CPUtime=9759.53
/proc/23350/stat : 23350 (precosat) R 23348 23350 23286 0 -1 4194304 28026 0 0 0 975908 45 0 0 25 0 1 0 146846816 55312384 13388 1992294400 134512640 135151029 4294956240 18446744073709551615 134580711 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23350/statm: 13504 13388 79 155 0 13347 0
Current children cumulated CPU time (s) 9759.53
Current children cumulated vsize (KiB) 54016
[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23375
/proc/meminfo: memFree=1010840/2055920 swapFree=4175016/4192956
[pid=23350] ppid=23348 vsize=54016 CPUtime=9819.51
/proc/23350/stat : 23350 (precosat) R 23348 23350 23286 0 -1 4194304 28027 0 0 0 981906 45 0 0 25 0 1 0 146846816 55312384 13389 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23350/statm: 13504 13389 79 155 0 13347 0
Current children cumulated CPU time (s) 9819.51
Current children cumulated vsize (KiB) 54016
[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23375
/proc/meminfo: memFree=1010520/2055920 swapFree=4175016/4192956
[pid=23350] ppid=23348 vsize=54596 CPUtime=9879.5
/proc/23350/stat : 23350 (precosat) R 23348 23350 23286 0 -1 4194304 28111 0 0 0 987905 45 0 0 25 0 1 0 146846816 55906304 13473 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23350/statm: 13649 13473 79 155 0 13492 0
Current children cumulated CPU time (s) 9879.5
Current children cumulated vsize (KiB) 54596
[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23375
/proc/meminfo: memFree=1009816/2055920 swapFree=4175016/4192956
[pid=23350] ppid=23348 vsize=55620 CPUtime=9939.49
/proc/23350/stat : 23350 (precosat) R 23348 23350 23286 0 -1 4194304 28278 0 0 0 993903 46 0 0 25 0 1 0 146846816 56954880 13640 1992294400 134512640 135151029 4294956240 18446744073709551615 134555012 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23350/statm: 13905 13640 79 155 0 13748 0
Current children cumulated CPU time (s) 9939.49
Current children cumulated vsize (KiB) 55620
[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23375
/proc/meminfo: memFree=1009752/2055920 swapFree=4175016/4192956
[pid=23350] ppid=23348 vsize=55620 CPUtime=9999.47
/proc/23350/stat : 23350 (precosat) R 23348 23350 23286 0 -1 4194304 28298 0 0 0 999901 46 0 0 25 0 1 0 146846816 56954880 13660 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23350/statm: 13905 13660 79 155 0 13748 0
Current children cumulated CPU time (s) 9999.47
Current children cumulated vsize (KiB) 55620
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10002.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23375
/proc/meminfo: memFree=1009752/2055920 swapFree=4175016/4192956
[pid=23350] ppid=23348 vsize=55620 CPUtime=10000.1
/proc/23350/stat : 23350 (precosat) R 23348 23350 23286 0 -1 4194304 28298 0 0 0 999961 46 0 0 25 0 1 0 146846816 56954880 13660 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23350/statm: 13905 13660 79 155 0 13748 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 55620
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): 10002.9
CPU time (s): 10000.1
CPU user time (s): 9999.62
CPU system time (s): 0.472928
CPU usage (%): 99.9717
Max. virtual memory (cumulated for all children) (KiB): 56960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9999.62
system time used= 0.472928
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28298
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= 15639
runsolver used 7.41387 second user time and 21.0618 second system time
The end
Begin job on node45 at 2009-05-01 16:29:49
IDJOB=1774081
IDBENCH=70864
IDSOLVER=607
FILE ID=node45/1774081-1241188189
PBS_JOBID= 9224626
Free space on /tmp= 66472 MiB
SOLVER NAME= precosat 236
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-34-s100.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1774081-1241188189/watcher-1774081-1241188189 -o /tmp/evaluation-result-1774081-1241188189/solver-1774081-1241188189 -C 10000 -W 12000 -M 1800 HOME/precosat HOME/instance-1774081-1241188189.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= d33264afbb7fa6f88a24b97cfc468c5a
RANDOM SEED=793699302
node45.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.231
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.231
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: 1065648 kB
Buffers: 75784 kB
Cached: 835500 kB
SwapCached: 12292 kB
Active: 226136 kB
Inactive: 698808 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1065648 kB
SwapTotal: 4192956 kB
SwapFree: 4175016 kB
Dirty: 2272 kB
Writeback: 0 kB
Mapped: 14004 kB
Slab: 51328 kB
Committed_AS: 686640 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= 66472 MiB
End job on node45 at 2009-05-01 19:16:34