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-1774041-1241187885.cnf
0.00/0.00 c found header 'p cnf 31942 96138'
0.09/0.14 c finished parsing
0.09/0.14 c
0.09/0.14 c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.09/0.14 c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.09/0.14 c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.09/0.14 c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.09/0.14 c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.09/0.14 c --random=1 --spread=2000 --seed=0 --skip=25
0.09/0.14 c
0.09/0.14 c sizeof vars[0] = 16 alignment = 0 0 MB
0.09/0.14 c sizeof orgs[0] = 8 alignment = 0 0 MB
0.09/0.14 c sizeof occs[0] = 8 alignment = 0 0 MB
0.09/0.14 c sizeof iirfs[0..1] = 8 alignment = 0 0 MB
0.09/0.14 c
0.09/0.14 c starting search after 0.1 seconds
0.09/0.14 c no decision limit
0.09/0.15 c
0.09/0.15 c original/binary fixed eliminated learned agility
0.09/0.15 c seconds variables equivalent conflicts height MB
0.09/0.15 c
0.09/0.15 c * 0.2 95938 30998 95 849 0 0 0 0.0 0 8
1.69/1.73 c s 1.7 58292 9347 865 917 20813 0 0 0.0 0 7
1.69/1.73 c l 1.7 58292 9347 865 917 20813 0 20239 0.0 0 7
1.79/1.85 c R 1.9 58782 9341 871 917 20813 103 101 27.8 15 8
1.99/2.01 c R 2.0 58968 9340 871 918 20813 203 201 26.3 18 8
2.69/2.74 c R 2.7 68099 9330 871 928 20813 805 798 26.3 16 8
2.89/2.98 c B 3.0 68112 9329 871 929 20813 1001 993 27.0 18 9
3.39/3.48 c s 3.5 67953 9326 871 932 20813 1253 1240 26.7 17 8
4.49/4.54 c B 4.5 80233 9326 871 932 20813 2001 1988 26.0 18 9
5.20/5.29 c R 5.3 80267 9326 871 932 20813 2410 2397 25.4 16 9
5.50/5.54 c s 5.5 80305 9326 871 932 20813 2493 2480 25.3 15 9
8.49/8.55 c s 8.5 79913 9248 871 932 20891 3824 3659 24.7 15 9
11.09/11.19 c s 11.2 80210 9248 871 932 20891 5063 4898 24.3 18 9
13.89/13.95 c s 13.9 80518 9248 871 932 20891 6235 6070 24.1 17 10
14.19/14.27 c R 14.3 80518 9248 871 932 20891 6423 6258 24.1 17 10
16.69/16.70 c s 16.7 80519 9248 871 932 20891 7552 7386 23.9 17 10
17.49/17.55 c B 17.6 80526 9248 871 932 20891 8003 7836 23.9 16 10
19.49/19.53 c s 19.5 80540 9248 871 932 20891 9120 8952 23.9 17 10
22.39/22.42 c s 22.4 80551 9248 871 932 20891 10712 10543 23.9 18 10
25.39/25.47 c
25.39/25.47 c original/binary fixed eliminated learned agility
25.39/25.47 c seconds variables equivalent conflicts height MB
25.39/25.47 c
25.39/25.47 c s 25.5 80552 9248 871 932 20891 12275 12105 24.0 16 11
28.49/28.56 c s 28.6 80556 9248 871 932 20891 13626 13456 24.2 16 11
31.68/31.70 c s 31.7 80557 9248 871 932 20891 15316 15146 24.2 17 11
33.48/33.54 c R 33.5 80558 9248 871 932 20891 16040 15869 24.1 17 12
34.88/34.92 c s 34.9 80562 9248 871 932 20891 16858 16687 24.1 17 12
38.08/38.19 c s 38.2 80569 9248 871 932 20891 19056 18884 24.2 17 12
40.08/40.14 c + 40.1 80571 9248 871 932 20891 20240 22262 24.2 16 13
41.98/42.03 c s 42.0 80461 9233 871 933 20905 20807 20217 24.1 14 12
45.38/45.49 c s 45.5 80464 9233 871 933 20905 22329 21739 24.1 16 13
48.98/49.08 c s 49.1 80465 9233 871 933 20905 23726 22277 24.1 17 13
49.78/49.81 c B 49.8 80465 9233 871 933 20905 24007 22274 24.1 17 14
52.87/52.92 c + 52.9 80465 9233 871 933 20905 25300 24488 24.0 16 14
68.97/69.04 c + 69.0 80465 9233 871 933 20905 31625 26936 23.7 18 15
84.46/84.54 c R 84.5 80465 9233 871 933 20905 38480 26955 23.7 17 15
87.36/87.49 c + 87.5 80465 9233 871 933 20905 39530 29629 23.7 17 15
112.66/112.72 c + 112.7 80465 9233 871 933 20905 49410 32591 23.5 17 16
118.96/119.07 c s 119.0 80466 9233 871 933 20905 51767 32004 23.4 18 14
131.86/131.95 c s 131.9 80468 9233 871 933 20905 56906 32638 23.4 17 14
136.05/136.11 c s 136.1 80471 9233 871 933 20905 58861 32622 23.4 18 14
142.65/142.76 c
142.65/142.76 c original/binary fixed eliminated learned agility
142.65/142.76 c seconds variables equivalent conflicts height MB
142.65/142.76 c
142.65/142.76 c + 142.7 80471 9233 871 933 20905 61760 35850 23.4 17 16
143.05/143.13 c s 143.1 80474 9233 871 933 20905 61804 32652 23.4 16 14
149.55/149.64 c B 149.6 80474 9233 871 933 20905 64019 34867 23.4 15 16
172.14/172.22 c s 172.2 80478 9233 871 933 20905 73437 35871 23.5 17 15
182.64/182.77 c + 182.7 80478 9233 871 933 20905 77201 39435 23.5 17 17
184.04/184.13 c s 184.1 80479 9233 871 933 20905 77633 36299 23.4 17 15
188.23/188.36 c s 188.3 80481 9233 871 933 20905 79167 37832 23.4 17 15
193.04/193.11 c s 193.1 80482 9233 871 933 20905 82504 39456 23.5 15 16
212.03/212.13 c R 212.1 80482 9233 871 933 20905 89752 39447 23.5 16 18
213.83/213.98 c s 213.9 80483 9233 871 933 20905 90596 39463 23.5 11 16
218.33/218.41 c s 218.3 80484 9233 871 933 20905 92350 39487 23.6 15 16
222.72/222.85 c s 222.8 80485 9233 871 933 20905 93766 39462 23.6 18 16
229.42/229.53 c + 229.5 80485 9233 871 933 20905 96500 43378 23.6 15 17
300.90/301.05 c + 301.0 80485 9233 871 933 20905 120627 47715 23.5 16 19
306.50/306.61 c s 306.5 80486 9233 871 933 20905 122484 45273 23.5 16 17
365.09/365.23 c s 365.1 80487 9233 871 933 20905 142280 47760 23.5 18 17
369.88/370.06 c s 370.0 80488 9233 871 933 20905 143712 47752 23.5 17 17
386.77/386.93 c s 386.8 80491 9233 871 933 20905 148858 47726 23.5 17 17
393.87/394.06 c + 394.0 80491 9233 871 933 20905 150781 52486 23.4 17 19
422.57/422.79 c
422.57/422.79 c original/binary fixed eliminated learned agility
422.57/422.79 c seconds variables equivalent conflicts height MB
422.57/422.79 c
422.57/422.79 c B 422.7 80491 9233 871 933 20905 160036 52533 23.4 17 21
436.96/437.18 c s 437.1 80494 9233 871 933 20905 164049 52516 23.4 17 18
448.06/448.26 c s 448.1 80498 9233 871 933 20905 167024 52513 23.4 17 18
453.46/453.64 c s 453.5 80499 9233 871 933 20905 168506 52513 23.4 16 18
494.64/494.84 c s 494.7 80500 9233 871 933 20905 180361 52528 23.4 16 18
505.65/505.86 c s 505.7 80501 9233 871 933 20905 183852 52515 23.4 13 18
518.44/518.64 c + 518.5 80501 9233 871 933 20905 188475 57734 23.4 17 20
578.42/578.68 c R 578.5 80501 9233 871 933 20905 205146 57768 23.3 17 22
580.12/580.34 c s 580.2 80502 9233 871 933 20905 205437 57753 23.3 16 19
642.00/642.23 c s 642.0 80503 9233 871 933 20905 224762 57782 23.1 17 18
648.00/648.25 c s 648.1 80504 9233 871 933 20905 226081 57780 23.1 18 18
662.00/662.24 c s 662.0 80505 9233 871 933 20905 230138 57789 23.1 19 18
683.49/683.71 c + 683.5 80505 9233 871 933 20905 235590 63507 23.1 16 21
751.27/751.58 c s 751.4 80506 9233 871 933 20905 252971 63556 23.2 14 20
759.16/759.48 c s 759.3 80507 9233 871 933 20905 254928 63526 23.2 12 20
791.56/791.87 c s 791.6 80508 9233 871 933 20905 263701 63524 23.2 17 20
798.55/798.85 c s 798.6 80509 9233 871 933 20905 265843 63529 23.2 15 20
811.95/812.29 c s 812.1 80511 9233 871 933 20905 269228 63518 23.2 17 20
872.74/873.08 c s 872.8 80512 9233 871 933 20905 284033 63550 23.2 18 20
904.53/904.90 c
904.53/904.90 c original/binary fixed eliminated learned agility
904.53/904.90 c seconds variables equivalent conflicts height MB
904.53/904.90 c
904.53/904.90 c s 904.6 80514 9233 871 933 20905 291884 63559 23.2 17 20
910.12/910.49 c + 910.2 80514 9233 871 933 20905 294487 69857 23.2 17 22
912.42/912.73 c s 912.5 80515 9233 871 933 20905 295102 64149 23.3 13 20
983.60/983.93 c s 983.6 80516 9233 871 933 20905 311143 69898 23.3 15 21
1038.98/1039.33 c s 1039.0 80517 9233 871 933 20905 325130 69916 23.4 17 21
1128.26/1128.69 c s 1128.4 80518 9233 871 933 20905 344665 69883 23.5 12 21
1135.95/1136.35 c s 1136.0 80428 9213 873 936 20920 346323 65283 23.6 17 20
1142.06/1142.40 c s 1142.1 80475 9213 873 936 20920 347826 66786 23.6 18 20
1166.94/1167.38 c s 1167.0 80476 9213 873 936 20920 354625 69904 23.6 16 21
1173.84/1174.21 c s 1173.9 80477 9213 873 936 20920 356931 69896 23.6 16 21
1215.33/1215.74 c + 1215.4 80477 9213 873 936 20920 368106 76842 23.6 16 24
1278.41/1278.85 c B 1278.5 80477 9213 873 936 20920 384078 76909 23.5 16 27
1453.16/1453.63 c s 1453.2 80478 9213 873 936 20920 426859 76898 23.6 15 22
1543.93/1544.40 c s 1543.9 80481 9213 873 936 20920 448469 76877 23.6 18 23
1596.21/1596.77 c + 1596.3 80481 9213 873 936 20920 460131 84526 23.6 17 27
1813.15/1813.71 c s 1813.2 80482 9213 873 936 20920 510463 84598 23.8 11 24
1848.75/1849.35 c s 1848.8 80483 9213 873 936 20920 518139 84542 23.9 15 23
1855.84/1856.49 c s 1855.9 80534 9213 873 936 20920 519828 84559 23.9 17 23
1863.74/1864.31 c s 1863.8 80536 9213 873 936 20920 521588 84602 23.9 14 23
1901.13/1901.80 c
1901.13/1901.80 c original/binary fixed eliminated learned agility
1901.13/1901.80 c seconds variables equivalent conflicts height MB
1901.13/1901.80 c
1901.13/1901.80 c s 1901.2 80537 9213 873 936 20920 530147 84585 24.0 17 23
1924.22/1924.86 c s 1924.3 80538 9213 873 936 20920 535824 84582 24.0 17 23
2093.37/2094.03 c + 2093.4 80538 9213 873 936 20920 575160 92978 24.1 18 27
2098.37/2099.02 c s 2098.4 80539 9213 873 936 20920 576081 85485 24.1 18 23
2194.33/2195.01 c s 2194.4 80542 9213 873 936 20920 595437 93032 24.1 14 24
2202.73/2203.43 c s 2202.8 80559 9213 873 936 20920 597255 93067 24.1 17 24
2228.83/2229.56 c s 2228.9 80560 9213 873 936 20920 602219 92991 24.2 16 24
2252.72/2253.49 c s 2252.8 80561 9213 873 936 20920 607152 92997 24.2 13 24
2260.92/2261.61 c s 2260.9 80563 9213 873 936 20920 608740 93005 24.2 17 24
2278.51/2279.24 c s 2278.6 80564 9213 873 936 20920 612234 93035 24.2 15 24
2329.49/2330.26 c s 2329.6 80565 9213 873 936 20920 624084 93030 24.2 18 24
2493.05/2493.86 c s 2493.1 80566 9213 873 936 20920 658725 93028 24.4 17 25
2787.96/2788.87 c + 2788.0 80566 9213 873 936 20920 718951 102275 24.5 17 31
2811.95/2812.89 c s 2812.1 80567 9213 873 936 20920 723765 97814 24.5 17 25
2829.14/2830.08 c s 2829.2 80568 9213 873 936 20920 726983 101031 24.5 17 26
3216.12/3217.13 c R 3216.2 80568 9213 873 936 20920 806595 102311 24.6 18 32
3273.91/3274.97 c s 3274.0 80569 9213 873 936 20920 818554 102307 24.6 13 26
3283.71/3284.71 c s 3283.7 80572 9213 873 936 20920 820832 102307 24.7 17 26
3299.81/3300.85 c s 3299.9 80573 9213 873 936 20920 824065 102343 24.7 13 26
3451.96/3453.08 c
3451.96/3453.08 c original/binary fixed eliminated learned agility
3451.96/3453.08 c seconds variables equivalent conflicts height MB
3451.96/3453.08 c
3451.96/3453.08 c s 3452.0 80575 9213 873 936 20920 858397 102337 24.7 18 25
3460.85/3461.95 c s 3460.9 80578 9213 873 936 20920 860292 102339 24.7 17 25
3599.51/3600.65 c s 3599.6 80581 9213 873 936 20920 888982 102294 24.7 16 26
3634.00/3635.13 c B 3634.1 80581 9213 873 936 20920 896147 102299 24.7 16 30
3646.00/3647.17 c + 3646.1 80581 9213 873 936 20920 898686 112502 24.7 17 31
3674.70/3675.86 c s 3674.8 80558 9209 873 937 20923 904666 108210 24.8 14 27
3684.90/3686.05 c s 3685.0 80559 9209 873 937 20923 906747 110291 24.8 17 27
3750.97/3752.13 c s 3751.0 80560 9209 873 937 20923 920265 112546 24.8 17 28
3764.46/3765.70 c s 3764.6 80561 9209 873 937 20923 923107 112546 24.8 16 28
4704.39/4705.82 c s 4704.4 80564 9209 873 937 20923 1111433 112554 24.9 18 28
4768.66/4770.15 c + 4768.7 80564 9209 873 937 20923 1123355 123752 24.9 18 34
4986.61/4988.14 c s 4986.7 80565 9209 873 937 20923 1166047 123790 25.0 15 30
5049.38/5050.98 c s 5049.5 80566 9209 873 937 20923 1178332 123796 25.0 15 30
5126.56/5128.15 c s 5126.6 80567 9209 873 937 20923 1195272 123808 25.0 17 30
5288.71/5290.37 c s 5288.8 80568 9209 873 937 20923 1225641 123801 25.0 14 30
5529.64/5531.38 c s 5529.7 80569 9209 873 937 20923 1274676 123786 25.1 16 30
5792.06/5793.82 c s 5792.1 80570 9209 873 937 20923 1329402 123850 25.0 15 30
5833.75/5835.57 c s 5833.8 80571 9209 873 937 20923 1338163 123796 25.1 15 29
5979.71/5981.50 c R 5979.7 80571 9209 873 937 20923 1370461 123786 25.0 18 34
6054.48/6056.36 c
6054.48/6056.36 c original/binary fixed eliminated learned agility
6054.48/6056.36 c seconds variables equivalent conflicts height MB
6054.48/6056.36 c
6054.48/6056.36 c s 6054.6 80572 9209 873 937 20923 1385665 123793 25.0 17 29
6106.96/6108.83 c + 6107.0 80572 9209 873 937 20923 1404191 136127 25.0 17 35
6686.00/6688.04 c s 6686.0 80573 9209 873 937 20923 1538428 136174 24.9 12 32
6849.65/6851.78 c s 6849.7 80574 9209 873 937 20923 1568215 136200 24.9 16 33
7154.16/7156.36 c s 7154.2 80575 9209 873 937 20923 1626573 136176 24.9 13 32
7370.19/7372.40 c s 7370.2 80576 9209 873 937 20923 1666535 136189 24.9 17 32
7547.64/7549.95 c s 7547.7 80580 9209 873 937 20923 1704305 136155 25.0 18 33
7827.66/7830.00 c + 7827.7 80580 9209 873 937 20923 1755236 149739 25.0 16 41
8604.83/8607.42 c s 8604.8 80584 9209 873 937 20923 1899210 149779 25.0 17 35
9375.09/9377.97 c B 9375.2 80584 9209 873 937 20923 2048309 149811 25.0 17 46
9634.61/9637.56 c s 9634.7 80588 9209 873 937 20923 2095909 149805 25.0 17 34
10000.00/10003.00 c
10000.00/10003.00 c *** CAUGHT SIGNAL 15 ***
10000.00/10003.00 c
10000.00/10003.00 c 2161185 conflicts, 2717279 decisions, 3 random
10000.00/10003.00 c 3 iterations, 4368 restarts, 0 skipped
10000.00/10003.00 c 21 enlarged, 605 shrunken, 21110 rescored, 510 rebiased
10000.00/10003.00 c 101 simplifications, 0 reductions
10000.00/10003.00 c
10000.00/10003.00 c vars: 873 fixed, 937 equiv, 20923 elim, 951 merged
10000.00/10003.00 c elim: 1532005 resolutions, 5 phases, 5 rounds
10000.00/10003.00 c sbst: 92% substituted, 0.9% nots, 98.0% ands, 1.0% xors, 0.1% ites
10000.00/10003.00 c arty: 2.26 and 2.03 xor average arity
10000.00/10003.00 c prbe: 8569966 probed, 4643 phases, 465 rounds
10000.00/10003.00 c prbe: 2 failed, 130 lifted, 18 merged
10000.00/10003.00 c sccs: 19 non trivial, 0 fixed, 23 merged
10000.00/10003.00 c hash: 58 units, 910 merged
10000.00/10003.00 c mins: 84952169 learned, 84% deleted, 41 strong, 59 depth
10000.00/10003.00 c subs: 1508 forward, 970 backward, 698 doms
10000.00/10003.00 c strs: 7213 forward, 1152 backward
10000.00/10003.00 c doms: 4921 dominators, 699 high, 2 low
10000.00/10003.00 c prps: 8384704574 propagations, 0.84 megaprops
10000.00/10003.00 c
10000.00/10003.00 c 10000.0 seconds, 47 MB max, 358 MB recycled
10000.00/10003.00 c
10000.00/10003.00 c *** CAUGHT SIGNAL 15 ***
10000.00/10003.00 c
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1774041-1241187885/watcher-1774041-1241187885 -o /tmp/evaluation-result-1774041-1241187885/solver-1774041-1241187885 -C 10000 -W 12000 -M 1800 HOME/precosat HOME/instance-1774041-1241187885.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.99 0.98 0.99 3/64 24308
/proc/meminfo: memFree=1072520/2055920 swapFree=4192812/4192956
[pid=24308] ppid=24306 vsize=2044 CPUtime=0
/proc/24308/stat : 24308 (precosat) R 24306 24308 24244 0 -1 4194304 393 0 0 0 0 0 0 0 18 0 1 0 146821280 2093056 378 1992294400 134512640 135151029 4294956240 18446744073709551615 134534335 0 0 4096 0 0 0 0 17 1 0 0
/proc/24308/statm: 511 379 59 155 0 354 0
[startup+0.0992251 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 24308
/proc/meminfo: memFree=1072520/2055920 swapFree=4192812/4192956
[pid=24308] ppid=24306 vsize=7888 CPUtime=0.08
/proc/24308/stat : 24308 (precosat) R 24306 24308 24244 0 -1 4194304 1986 0 0 0 8 0 0 0 18 0 1 0 146821280 8077312 1873 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24308/statm: 1972 1874 64 155 0 1815 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7888
[startup+0.102225 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 24308
/proc/meminfo: memFree=1072520/2055920 swapFree=4192812/4192956
[pid=24308] ppid=24306 vsize=8020 CPUtime=0.09
/proc/24308/stat : 24308 (precosat) R 24306 24308 24244 0 -1 4194304 2022 0 0 0 9 0 0 0 18 0 1 0 146821280 8212480 1909 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24308/statm: 2005 1909 64 155 0 1848 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8020
[startup+0.302264 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 24308
/proc/meminfo: memFree=1072520/2055920 swapFree=4192812/4192956
[pid=24308] ppid=24306 vsize=13248 CPUtime=0.3
/proc/24308/stat : 24308 (precosat) R 24306 24308 24244 0 -1 4194304 3459 0 0 0 29 1 0 0 19 0 1 0 146821280 13565952 3216 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24308/statm: 3312 3217 78 155 0 3155 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 13248
[startup+0.701312 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 24308
/proc/meminfo: memFree=1072520/2055920 swapFree=4192812/4192956
[pid=24308] ppid=24306 vsize=16020 CPUtime=0.69
/proc/24308/stat : 24308 (precosat) R 24306 24308 24244 0 -1 4194304 4890 0 0 0 68 1 0 0 22 0 1 0 146821280 16404480 3879 1992294400 134512640 135151029 4294956240 18446744073709551615 134572744 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24308/statm: 4005 3879 78 155 0 3848 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16020
[startup+1.50143 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 24309
/proc/meminfo: memFree=1055808/2055920 swapFree=4192812/4192956
[pid=24308] ppid=24306 vsize=18332 CPUtime=1.49
/proc/24308/stat : 24308 (precosat) R 24306 24308 24244 0 -1 4194304 5623 0 0 0 148 1 0 0 25 0 1 0 146821280 18771968 4483 1992294400 134512640 135151029 4294956240 18446744073709551615 134548072 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24308/statm: 4583 4483 78 155 0 4426 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18332
[startup+3.10166 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 24309
/proc/meminfo: memFree=1055488/2055920 swapFree=4192812/4192956
[pid=24308] ppid=24306 vsize=17436 CPUtime=3.09
/proc/24308/stat : 24308 (precosat) R 24306 24308 24244 0 -1 4194304 5642 0 0 0 308 1 0 0 25 0 1 0 146821280 17854464 4245 1992294400 134512640 135151029 4294956240 18446744073709551615 134554582 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24308/statm: 4359 4245 79 155 0 4202 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17436
[startup+6.30112 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 24309
/proc/meminfo: memFree=1055360/2055920 swapFree=4192812/4192956
[pid=24308] ppid=24306 vsize=17436 CPUtime=6.29
/proc/24308/stat : 24308 (precosat) R 24306 24308 24244 0 -1 4194304 5642 0 0 0 627 2 0 0 25 0 1 0 146821280 17854464 4245 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24308/statm: 4359 4245 79 155 0 4202 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17436
[startup+12.701 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 24309
/proc/meminfo: memFree=1055040/2055920 swapFree=4192812/4192956
[pid=24308] ppid=24306 vsize=17684 CPUtime=12.69
/proc/24308/stat : 24308 (precosat) R 24306 24308 24244 0 -1 4194304 5829 0 0 0 1267 2 0 0 25 0 1 0 146821280 18108416 4303 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24308/statm: 4421 4303 79 155 0 4264 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17684
[startup+25.5029 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 24309
/proc/meminfo: memFree=1055040/2055920 swapFree=4192812/4192956
[pid=24308] ppid=24306 vsize=17684 CPUtime=25.49
/proc/24308/stat : 24308 (precosat) R 24306 24308 24244 0 -1 4194304 5829 0 0 0 2547 2 0 0 25 0 1 0 146821280 18108416 4303 1992294400 134512640 135151029 4294956240 18446744073709551615 134680156 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24308/statm: 4421 4303 79 155 0 4264 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 17684
[startup+51.1026 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 24309
/proc/meminfo: memFree=1055104/2055920 swapFree=4192812/4192956
[pid=24308] ppid=24306 vsize=17684 CPUtime=51.08
/proc/24308/stat : 24308 (precosat) R 24306 24308 24244 0 -1 4194304 5958 0 0 0 5106 2 0 0 25 0 1 0 146821280 18108416 4303 1992294400 134512640 135151029 4294956240 18446744073709551615 134552644 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24308/statm: 4421 4303 79 155 0 4264 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 17684
[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 24309
/proc/meminfo: memFree=1054464/2055920 swapFree=4192812/4192956
[pid=24308] ppid=24306 vsize=18504 CPUtime=102.27
/proc/24308/stat : 24308 (precosat) R 24306 24308 24244 0 -1 4194304 6154 0 0 0 10224 3 0 0 25 0 1 0 146821280 18948096 4499 1992294400 134512640 135151029 4294956240 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24308/statm: 4626 4499 79 155 0 4469 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 18504
[startup+162.302 s]
/proc/loadavg: 1.03 1.00 1.00 2/65 24309
/proc/meminfo: memFree=1053184/2055920 swapFree=4192812/4192956
[pid=24308] ppid=24306 vsize=19752 CPUtime=162.24
/proc/24308/stat : 24308 (precosat) R 24306 24308 24244 0 -1 4194304 6487 0 0 0 16221 3 0 0 25 0 1 0 146821280 20226048 4832 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24308/statm: 4938 4832 79 155 0 4781 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 19752
[startup+222.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 24309
/proc/meminfo: memFree=1052352/2055920 swapFree=4192812/4192956
[pid=24308] ppid=24306 vsize=20524 CPUtime=222.22
/proc/24308/stat : 24308 (precosat) R 24306 24308 24244 0 -1 4194304 7785 0 0 0 22218 4 0 0 25 0 1 0 146821280 21016576 5026 1992294400 134512640 135151029 4294956240 18446744073709551615 134554586 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24308/statm: 5131 5026 79 155 0 4974 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 20524
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24309
/proc/meminfo: memFree=1050816/2055920 swapFree=4192812/4192956
[pid=24308] ppid=24306 vsize=22096 CPUtime=282.21
/proc/24308/stat : 24308 (precosat) R 24306 24308 24244 0 -1 4194304 8287 0 0 0 28216 5 0 0 25 0 1 0 146821280 22626304 5399 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24308/statm: 5524 5399 79 155 0 5367 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 22096
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24309
/proc/meminfo: memFree=1049856/2055920 swapFree=4192812/4192956
[pid=24308] ppid=24306 vsize=23036 CPUtime=342.19
/proc/24308/stat : 24308 (precosat) R 24306 24308 24244 0 -1 4194304 8633 0 0 0 34213 6 0 0 25 0 1 0 146821280 23588864 5616 1992294400 134512640 135151029 4294956240 18446744073709551615 134574578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24308/statm: 5759 5616 79 155 0 5602 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 23036
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24309
/proc/meminfo: memFree=1049664/2055920 swapFree=4192812/4192956
[pid=24308] ppid=24306 vsize=23280 CPUtime=402.18
/proc/24308/stat : 24308 (precosat) R 24306 24308 24244 0 -1 4194304 8900 0 0 0 40211 7 0 0 25 0 1 0 146821280 23838720 5702 1992294400 134512640 135151029 4294956240 18446744073709551615 134542781 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24308/statm: 5820 5702 79 155 0 5663 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 23280
[startup+462.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24309
/proc/meminfo: memFree=1048832/2055920 swapFree=4192812/4192956
[pid=24308] ppid=24306 vsize=24068 CPUtime=462.15
/proc/24308/stat : 24308 (precosat) R 24306 24308 24244 0 -1 4194304 9272 0 0 0 46208 7 0 0 25 0 1 0 146821280 24645632 5898 1992294400 134512640 135151029 4294956240 18446744073709551615 134554851 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24308/statm: 6017 5898 79 155 0 5860 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 24068
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24309
/proc/meminfo: memFree=1048896/2055920 swapFree=4192812/4192956
[pid=24308] ppid=24306 vsize=24068 CPUtime=522.14
/proc/24308/stat : 24308 (precosat) R 24306 24308 24244 0 -1 4194304 9481 0 0 0 52206 8 0 0 25 0 1 0 146821280 24645632 5898 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24308/statm: 6017 5898 79 155 0 5860 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 24068
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24309
/proc/meminfo: memFree=1047616/2055920 swapFree=4192812/4192956
[pid=24308] ppid=24306 vsize=25440 CPUtime=582.12
/proc/24308/stat : 24308 (precosat) R 24306 24308 24244 0 -1 4194304 9788 0 0 0 58204 8 0 0 25 0 1 0 146821280 26050560 6205 1992294400 134512640 135151029 4294956240 18446744073709551615 134542806 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24308/statm: 6360 6205 79 155 0 6203 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 25440
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24309
/proc/meminfo: memFree=1047424/2055920 swapFree=4192812/4192956
[pid=24308] ppid=24306 vsize=25440 CPUtime=642.1
/proc/24308/stat : 24308 (precosat) R 24306 24308 24244 0 -1 4194304 9818 0 0 0 64202 8 0 0 25 0 1 0 146821280 26050560 6235 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24308/statm: 6360 6235 79 155 0 6203 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 25440
[startup+702.302 s]
################
# More data... #
################
[startup+9042.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24327
/proc/meminfo: memFree=1023040/2055920 swapFree=4192812/4192956
[pid=24308] ppid=24306 vsize=48732 CPUtime=9039.59
/proc/24308/stat : 24308 (precosat) R 24306 24308 24244 0 -1 4194304 22197 0 0 0 903909 50 0 0 25 0 1 0 146821280 49901568 12064 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24308/statm: 12183 12064 79 155 0 12026 0
Current children cumulated CPU time (s) 9039.59
Current children cumulated vsize (KiB) 48732
[startup+9102.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24327
/proc/meminfo: memFree=1022144/2055920 swapFree=4192812/4192956
[pid=24308] ppid=24306 vsize=50204 CPUtime=9099.57
/proc/24308/stat : 24308 (precosat) R 24306 24308 24244 0 -1 4194304 22416 0 0 0 909907 50 0 0 25 0 1 0 146821280 51408896 12283 1992294400 134512640 135151029 4294956240 18446744073709551615 134551626 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24308/statm: 12551 12283 79 155 0 12394 0
Current children cumulated CPU time (s) 9099.57
Current children cumulated vsize (KiB) 50204
[startup+9162.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24327
/proc/meminfo: memFree=1021824/2055920 swapFree=4192812/4192956
[pid=24308] ppid=24306 vsize=50460 CPUtime=9159.56
/proc/24308/stat : 24308 (precosat) R 24306 24308 24244 0 -1 4194304 22488 0 0 0 915905 51 0 0 25 0 1 0 146821280 51671040 12355 1992294400 134512640 135151029 4294956240 18446744073709551615 134554756 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24308/statm: 12615 12355 79 155 0 12458 0
Current children cumulated CPU time (s) 9159.56
Current children cumulated vsize (KiB) 50460
[startup+9222.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24327
/proc/meminfo: memFree=1021568/2055920 swapFree=4192812/4192956
[pid=24308] ppid=24306 vsize=50716 CPUtime=9219.54
/proc/24308/stat : 24308 (precosat) R 24306 24308 24244 0 -1 4194304 22538 0 0 0 921903 51 0 0 25 0 1 0 146821280 51933184 12405 1992294400 134512640 135151029 4294956240 18446744073709551615 134554780 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24308/statm: 12679 12405 79 155 0 12522 0
Current children cumulated CPU time (s) 9219.54
Current children cumulated vsize (KiB) 50716
[startup+9282.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24327
/proc/meminfo: memFree=1021440/2055920 swapFree=4192812/4192956
[pid=24308] ppid=24306 vsize=51100 CPUtime=9279.51
/proc/24308/stat : 24308 (precosat) R 24306 24308 24244 0 -1 4194304 22581 0 0 0 927900 51 0 0 25 0 1 0 146821280 52326400 12448 1992294400 134512640 135151029 4294956240 18446744073709551615 134554644 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24308/statm: 12775 12448 79 155 0 12618 0
Current children cumulated CPU time (s) 9279.51
Current children cumulated vsize (KiB) 51100
[startup+9342.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24327
/proc/meminfo: memFree=1021376/2055920 swapFree=4192812/4192956
[pid=24308] ppid=24306 vsize=51100 CPUtime=9339.51
/proc/24308/stat : 24308 (precosat) R 24306 24308 24244 0 -1 4194304 22587 0 0 0 933899 52 0 0 25 0 1 0 146821280 52326400 12454 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24308/statm: 12775 12454 79 155 0 12618 0
Current children cumulated CPU time (s) 9339.51
Current children cumulated vsize (KiB) 51100
[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24333
/proc/meminfo: memFree=1021056/2055920 swapFree=4192812/4192956
[pid=24308] ppid=24306 vsize=51612 CPUtime=9399.48
/proc/24308/stat : 24308 (precosat) R 24306 24308 24244 0 -1 4194304 22673 0 0 0 939896 52 0 0 25 0 1 0 146821280 52850688 12540 1992294400 134512640 135151029 4294956240 18446744073709551615 134551816 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24308/statm: 12903 12540 79 155 0 12746 0
Current children cumulated CPU time (s) 9399.48
Current children cumulated vsize (KiB) 51612
[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24333
/proc/meminfo: memFree=1021056/2055920 swapFree=4192812/4192956
[pid=24308] ppid=24306 vsize=51612 CPUtime=9459.46
/proc/24308/stat : 24308 (precosat) R 24306 24308 24244 0 -1 4194304 22675 0 0 0 945894 52 0 0 25 0 1 0 146821280 52850688 12542 1992294400 134512640 135151029 4294956240 18446744073709551615 134578147 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24308/statm: 12903 12542 79 155 0 12746 0
Current children cumulated CPU time (s) 9459.46
Current children cumulated vsize (KiB) 51612
[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24333
/proc/meminfo: memFree=1021056/2055920 swapFree=4192812/4192956
[pid=24308] ppid=24306 vsize=51612 CPUtime=9519.44
/proc/24308/stat : 24308 (precosat) R 24306 24308 24244 0 -1 4194304 22677 0 0 0 951892 52 0 0 25 0 1 0 146821280 52850688 12544 1992294400 134512640 135151029 4294956240 18446744073709551615 134581829 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24308/statm: 12903 12544 79 155 0 12746 0
Current children cumulated CPU time (s) 9519.44
Current children cumulated vsize (KiB) 51612
[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24333
/proc/meminfo: memFree=1021056/2055920 swapFree=4192812/4192956
[pid=24308] ppid=24306 vsize=51612 CPUtime=9579.43
/proc/24308/stat : 24308 (precosat) R 24306 24308 24244 0 -1 4194304 22677 0 0 0 957890 53 0 0 25 0 1 0 146821280 52850688 12544 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24308/statm: 12903 12544 79 155 0 12746 0
Current children cumulated CPU time (s) 9579.43
Current children cumulated vsize (KiB) 51612
[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24333
/proc/meminfo: memFree=1022912/2055920 swapFree=4192812/4192956
[pid=24308] ppid=24306 vsize=48476 CPUtime=9639.41
/proc/24308/stat : 24308 (precosat) R 24306 24308 24244 0 -1 4194304 22802 0 0 0 963888 53 0 0 25 0 1 0 146821280 49639424 12027 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24308/statm: 12119 12027 79 155 0 11962 0
Current children cumulated CPU time (s) 9639.41
Current children cumulated vsize (KiB) 48476
[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24333
/proc/meminfo: memFree=1022528/2055920 swapFree=4192812/4192956
[pid=24308] ppid=24306 vsize=49372 CPUtime=9699.4
/proc/24308/stat : 24308 (precosat) R 24306 24308 24244 0 -1 4194304 22927 0 0 0 969886 54 0 0 25 0 1 0 146821280 50556928 12152 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24308/statm: 12343 12152 79 155 0 12186 0
Current children cumulated CPU time (s) 9699.4
Current children cumulated vsize (KiB) 49372
[startup+9762.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 24333
/proc/meminfo: memFree=1022016/2055920 swapFree=4192812/4192956
[pid=24308] ppid=24306 vsize=49628 CPUtime=9759.37
/proc/24308/stat : 24308 (precosat) R 24306 24308 24244 0 -1 4194304 23038 0 0 0 975883 54 0 0 25 0 1 0 146821280 50819072 12263 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24308/statm: 12407 12263 79 155 0 12250 0
Current children cumulated CPU time (s) 9759.37
Current children cumulated vsize (KiB) 49628
[startup+9822.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 24333
/proc/meminfo: memFree=1021888/2055920 swapFree=4192812/4192956
[pid=24308] ppid=24306 vsize=49884 CPUtime=9819.35
/proc/24308/stat : 24308 (precosat) R 24306 24308 24244 0 -1 4194304 23063 0 0 0 981881 54 0 0 25 0 1 0 146821280 51081216 12288 1992294400 134512640 135151029 4294956240 18446744073709551615 134574264 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24308/statm: 12471 12288 79 155 0 12314 0
Current children cumulated CPU time (s) 9819.35
Current children cumulated vsize (KiB) 49884
[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24333
/proc/meminfo: memFree=1021632/2055920 swapFree=4192812/4192956
[pid=24308] ppid=24306 vsize=50140 CPUtime=9879.34
/proc/24308/stat : 24308 (precosat) R 24306 24308 24244 0 -1 4194304 23126 0 0 0 987879 55 0 0 25 0 1 0 146821280 51343360 12351 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24308/statm: 12535 12351 79 155 0 12378 0
Current children cumulated CPU time (s) 9879.34
Current children cumulated vsize (KiB) 50140
[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24333
/proc/meminfo: memFree=1021312/2055920 swapFree=4192812/4192956
[pid=24308] ppid=24306 vsize=50652 CPUtime=9939.32
/proc/24308/stat : 24308 (precosat) R 24306 24308 24244 0 -1 4194304 23205 0 0 0 993877 55 0 0 25 0 1 0 146821280 51867648 12430 1992294400 134512640 135151029 4294956240 18446744073709551615 134581752 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24308/statm: 12663 12430 79 155 0 12506 0
Current children cumulated CPU time (s) 9939.32
Current children cumulated vsize (KiB) 50652
[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24333
/proc/meminfo: memFree=1021312/2055920 swapFree=4192812/4192956
[pid=24308] ppid=24306 vsize=50652 CPUtime=9999.3
/proc/24308/stat : 24308 (precosat) R 24306 24308 24244 0 -1 4194304 23205 0 0 0 999875 55 0 0 25 0 1 0 146821280 51867648 12430 1992294400 134512640 135151029 4294956240 18446744073709551615 134552522 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24308/statm: 12663 12430 79 155 0 12506 0
Current children cumulated CPU time (s) 9999.3
Current children cumulated vsize (KiB) 50652
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10003 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24333
/proc/meminfo: memFree=1021312/2055920 swapFree=4192812/4192956
[pid=24308] ppid=24306 vsize=50652 CPUtime=10000
/proc/24308/stat : 24308 (precosat) R 24306 24308 24244 0 -1 4194304 23205 0 0 0 999945 55 0 0 25 0 1 0 146821280 51867648 12430 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24308/statm: 12663 12430 79 155 0 12506 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 50652
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 10003
CPU time (s): 10000
CPU user time (s): 9999.46
CPU system time (s): 0.566913
CPU usage (%): 99.9701
Max. virtual memory (cumulated for all children) (KiB): 51660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9999.46
system time used= 0.566913
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23205
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= 20893
runsolver used 7.28889 second user time and 21.7587 second system time
The end
Begin job on node30 at 2009-05-01 16:24:45
IDJOB=1774041
IDBENCH=70850
IDSOLVER=607
FILE ID=node30/1774041-1241187885
PBS_JOBID= 9224622
Free space on /tmp= 66412 MiB
SOLVER NAME= precosat 236
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-26-s100.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1774041-1241187885/watcher-1774041-1241187885 -o /tmp/evaluation-result-1774041-1241187885/solver-1774041-1241187885 -C 10000 -W 12000 -M 1800 HOME/precosat HOME/instance-1774041-1241187885.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= a2be03cdc152990d030fb3c2aea1f730
RANDOM SEED=1823347371
node30.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.265
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.265
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1072936 kB
Buffers: 77728 kB
Cached: 787708 kB
SwapCached: 0 kB
Active: 53556 kB
Inactive: 826360 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1072936 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2240 kB
Writeback: 0 kB
Mapped: 24236 kB
Slab: 89072 kB
Committed_AS: 760984 kB
PageTables: 1360 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= 66408 MiB
End job on node30 at 2009-05-01 19:11:30