0.00/0.00 c PicoSAT SAT Solver Version 913
0.00/0.00 c Copyright (c) 2006 - 2009 Armin Biere JKU Linz
0.00/0.00 c gcc -Wall -Wextra -m32 -static -DNDEBUG -O3 -fomit-frame-pointer -finline-limit=1000000
0.00/0.00 c
0.00/0.00 c parsing HOME/instance-1580737-1238921646.cnf
0.00/0.00 c parsed header 'p cnf 331196 1416850'
5.89/5.97 c initialized 331196 variables
5.89/5.97 c found 1416850 non trivial clauses
5.89/5.97 c
5.89/5.97 c random number generator seed 0
5.89/5.97 c
5.89/5.97 c seconds variables original learned agility
5.89/5.97 c level used conflicts limit MB
5.89/5.97 c
5.89/5.97 c s 6.0 0.0 280e3 16.0 311e3 364 0 0 0.0 44.5
6.29/6.35 c
6.29/6.35 c initial reduction limit 170537 clauses
6.29/6.35 c
6.29/6.35 c + 6.4 194.8 280e3 16.5 311e3 464 97 187e3 1.6 45.1
6.29/6.37 c R 6.4 194.8 280e3 16.5 311e3 464 97 187e3 0.1 45.1
6.69/6.72 c + 6.7 168.3 280e3 16.6 311e3 614 240 206e3 0.6 45.1
7.19/7.26 c R 7.3 144.8 280e3 16.8 311e3 765 391 206e3 1.2 45.2
7.39/7.46 c + 7.5 154.3 280e3 16.9 311e3 839 464 226e3 0.2 45.2
8.29/8.31 c + 8.3 326.8 280e3 18.9 311e3 1176 796 249e3 0.1 46.4
8.39/8.41 c s 8.4 326.8 277e3 19.8 307e3 1177 796 249e3 0.7 46.4
8.89/8.96 c R 9.0 316.5 275e3 22.6 307e3 1335 947 249e3 0.1 46.5
9.29/9.36 c s 9.4 313.1 275e3 23.0 306e3 1439 1050 249e3 1.0 46.5
9.79/9.84 c R 9.8 331.3 275e3 24.9 306e3 1637 1241 249e3 1.6 46.5
9.89/9.99 c + 10.0 320.7 275e3 25.1 306e3 1681 1277 274e3 0.1 46.5
10.29/10.33 c s 10.3 315.1 267e3 28.2 297e3 1769 1362 274e3 0.1 46.5
10.49/10.55 c R 10.6 307.6 267e3 28.6 297e3 1871 1460 274e3 1.7 46.5
11.09/11.15 c R 11.2 337.7 267e3 29.5 297e3 2171 1755 274e3 0.6 46.7
11.58/11.65 c s 11.7 404.4 267e3 29.6 297e3 2328 1907 274e3 0.6 46.8
12.38/12.45 c s 12.5 362.8 265e3 30.0 296e3 2435 2009 274e3 0.0 46.8
12.38/12.50 c + 12.5 360.9 265e3 30.0 296e3 2438 2012 302e3 0.1 46.8
12.88/12.97 c R 13.0 358.7 265e3 30.0 296e3 2477 2051 302e3 0.7 46.8
13.19/13.23 c s 13.2 343.2 265e3 30.5 296e3 2643 2207 302e3 0.4 46.8
13.88/13.98 c R 14.0 458.7 265e3 30.6 296e3 2769 2276 302e3 1.0 46.8
13.88/13.98 c
13.88/13.98 c seconds variables original learned agility
13.88/13.98 c level used conflicts limit MB
13.88/13.98 c
14.08/14.12 c s 14.1 456.6 265e3 30.6 296e3 2824 2309 302e3 1.6 46.8
14.78/14.84 c R 14.8 454.4 263e3 32.5 296e3 2984 2451 302e3 0.9 46.9
14.99/15.09 c s 15.1 452.1 262e3 32.7 295e3 3000 2455 302e3 0.0 46.9
15.79/15.87 c R 15.9 446.8 262e3 32.9 295e3 3094 2547 302e3 0.9 46.9
15.89/15.97 c s 16.0 445.8 262e3 32.9 294e3 3095 2547 302e3 0.6 46.9
16.29/16.37 c R 16.4 442.9 258e3 34.6 294e3 3219 2664 302e3 0.8 47.0
16.69/16.78 c R 16.8 439.5 252e3 36.4 294e3 3326 2763 302e3 1.7 47.4
16.89/16.99 c s 17.0 437.6 252e3 36.4 284e3 3379 2804 302e3 0.1 47.1
17.39/17.45 c R 17.4 431.7 251e3 36.7 284e3 3516 2929 302e3 1.5 47.2
17.59/17.69 c + 17.7 429.8 250e3 37.0 284e3 3573 2980 332e3 1.6 47.2
18.09/18.10 c s 18.1 432.8 250e3 37.6 283e3 3659 3055 332e3 4.2 47.2
18.29/18.30 c R 18.3 436.2 250e3 37.6 283e3 3736 3131 332e3 0.1 47.3
18.79/18.85 c R 18.8 410.9 250e3 38.1 283e3 3938 3234 332e3 0.3 47.3
18.89/18.97 c s 19.0 401.0 250e3 38.1 283e3 3989 3244 332e3 0.2 47.3
19.39/19.45 c R 19.4 401.9 250e3 38.3 283e3 4091 3340 332e3 3.8 47.3
19.98/20.09 c s 20.1 401.6 246e3 39.4 279e3 4265 3507 332e3 0.0 47.4
20.18/20.25 c R 20.2 401.5 246e3 39.4 279e3 4306 3547 332e3 2.0 47.4
20.68/20.80 c R 20.8 398.2 246e3 39.8 279e3 4492 3724 332e3 1.6 47.4
21.08/21.18 c s 21.2 397.4 246e3 40.5 279e3 4610 3838 332e3 0.0 47.5
21.38/21.47 c R 21.5 399.5 246e3 40.6 279e3 4796 4019 332e3 5.3 47.6
22.28/22.34 c s 22.3 396.5 245e3 41.4 278e3 5074 4247 332e3 0.0 47.7
22.38/22.44 c R 22.4 396.5 245e3 41.6 278e3 5106 4279 332e3 2.9 47.7
22.38/22.44 c
22.38/22.44 c seconds variables original learned agility
22.38/22.44 c level used conflicts limit MB
22.38/22.44 c
22.78/22.81 c + 22.8 394.3 245e3 42.1 278e3 5275 4439 365e3 0.4 47.8
23.28/23.32 c s 23.3 391.4 245e3 42.3 278e3 5412 4559 365e3 0.9 47.8
23.58/23.61 c R 23.6 389.9 245e3 42.3 278e3 5477 4624 365e3 1.3 47.8
24.09/24.17 c R 24.2 392.7 245e3 42.9 278e3 5672 4806 365e3 3.0 47.9
24.38/24.41 c s 24.4 392.2 245e3 43.0 278e3 5723 4856 365e3 0.1 47.9
25.19/25.24 c R 25.2 385.0 242e3 44.2 278e3 6005 5112 365e3 0.1 48.0
25.38/25.40 c s 25.4 383.4 242e3 44.2 275e3 6059 5142 365e3 0.4 48.0
25.68/25.75 c R 25.7 381.8 242e3 44.6 275e3 6160 5231 365e3 2.0 48.0
26.78/26.83 c s 26.8 381.0 242e3 45.2 275e3 6367 5423 365e3 0.5 48.1
27.08/27.11 c R 27.1 381.4 242e3 45.3 275e3 6467 5513 365e3 2.3 48.2
27.68/27.71 c R 27.7 379.6 242e3 45.4 275e3 6767 5803 365e3 2.2 48.3
27.98/28.08 c s 28.1 382.1 236e3 46.6 270e3 6859 5731 365e3 1.6 48.2
28.38/28.45 c R 28.4 377.5 236e3 46.6 270e3 6960 5824 365e3 0.5 48.2
28.68/28.79 c R 28.8 375.6 236e3 47.0 270e3 7090 5936 365e3 1.4 48.3
28.98/29.07 c s 29.1 373.9 236e3 47.2 270e3 7205 6049 365e3 0.5 48.3
29.28/29.35 c R 29.3 373.9 236e3 47.3 270e3 7311 6150 365e3 2.0 48.3
30.08/30.19 c s 30.2 375.3 236e3 47.7 270e3 7555 6386 365e3 0.3 48.4
30.48/30.55 c R 30.5 375.9 236e3 47.8 270e3 7611 6439 365e3 2.3 48.4
31.27/31.34 c + 31.3 377.3 235e3 48.5 270e3 7828 6643 402e3 1.4 48.6
31.27/31.38 c R 31.4 377.5 235e3 48.5 270e3 7863 6678 402e3 2.0 48.6
31.37/31.48 c s 31.5 377.2 235e3 48.5 268e3 7867 6681 402e3 0.6 48.6
32.17/32.22 c R 32.2 376.7 235e3 49.2 268e3 8213 7003 402e3 1.0 48.6
32.17/32.22 c
32.17/32.22 c seconds variables original learned agility
32.17/32.22 c level used conflicts limit MB
32.17/32.22 c
32.37/32.48 c s 32.5 377.0 235e3 49.3 268e3 8251 7039 402e3 0.6 48.6
33.18/33.27 c R 33.3 375.4 235e3 49.5 268e3 8594 7370 402e3 2.0 48.8
33.48/33.59 c s 33.6 381.3 235e3 49.8 268e3 8659 7433 402e3 0.0 48.8
34.68/34.74 c s 34.7 379.2 232e3 51.4 266e3 8937 7633 402e3 0.4 48.9
34.98/35.00 c R 35.0 378.8 232e3 51.9 266e3 9058 7752 402e3 2.6 48.9
35.37/35.49 c R 35.5 377.9 232e3 52.5 266e3 9245 7938 402e3 1.3 49.0
35.77/35.85 c s 35.8 376.4 230e3 53.4 264e3 9356 8044 402e3 2.4 49.0
35.87/35.95 c R 35.9 376.1 230e3 53.4 264e3 9407 8095 402e3 4.6 49.0
36.57/36.60 c R 36.6 372.4 229e3 54.2 264e3 9672 8336 402e3 1.5 49.1
36.87/36.95 c s 36.9 371.3 229e3 54.2 263e3 9753 8368 402e3 1.2 49.1
37.47/37.51 c R 37.5 370.2 229e3 54.2 263e3 9976 8587 402e3 1.3 49.3
37.67/37.74 c R 37.7 370.0 229e3 54.4 263e3 10078 8685 402e3 2.1 49.3
37.97/38.02 c s 38.0 368.3 226e3 55.1 259e3 10117 8713 402e3 1.7 49.3
38.17/38.20 c R 38.2 367.2 226e3 55.1 259e3 10204 8800 402e3 1.8 49.3
38.97/39.10 c s 39.1 370.4 225e3 55.3 259e3 10436 8899 402e3 0.6 49.4
39.17/39.24 c R 39.2 370.2 225e3 55.5 259e3 10471 8934 402e3 3.1 49.4
39.57/39.66 c R 39.6 369.0 225e3 55.5 259e3 10604 9060 402e3 1.2 49.5
39.97/40.04 c s 40.0 368.4 225e3 55.5 259e3 10704 9156 402e3 1.1 49.5
40.27/40.36 c R 40.3 367.4 225e3 55.6 259e3 10905 9356 402e3 1.3 49.6
40.97/41.00 c R 41.0 366.0 217e3 58.0 259e3 11088 9532 402e3 2.0 49.8
41.17/41.21 c s 41.2 365.7 217e3 58.0 250e3 11130 9534 402e3 2.1 49.5
41.77/41.87 c R 41.9 365.2 217e3 58.4 250e3 11390 9790 402e3 3.9 49.6
41.77/41.87 c
41.77/41.87 c seconds variables original learned agility
41.77/41.87 c level used conflicts limit MB
41.77/41.87 c
42.07/42.17 c R 42.2 363.8 217e3 58.6 250e3 11492 9887 402e3 2.1 49.6
42.26/42.36 c s 42.3 363.4 217e3 58.6 250e3 11512 9906 402e3 0.5 49.6
42.66/42.77 c + 42.7 362.6 217e3 58.8 250e3 11657 10049 442e3 0.9 49.7
42.96/43.08 c R 43.1 362.2 217e3 58.8 250e3 11795 10186 442e3 1.1 49.9
44.76/44.83 c R 44.8 361.5 217e3 59.4 250e3 12596 10954 442e3 0.2 50.3
45.07/45.15 c s 45.1 362.8 216e3 59.7 249e3 12773 11117 442e3 1.4 50.3
45.26/45.37 c R 45.3 362.4 216e3 59.7 249e3 12874 11212 442e3 1.3 50.3
45.86/45.98 c R 46.0 360.7 214e3 60.3 249e3 13081 11404 442e3 0.9 50.4
46.17/46.21 c s 46.2 360.4 214e3 60.3 247e3 13163 11483 442e3 0.3 50.3
46.46/46.53 c R 46.5 359.5 214e3 60.4 247e3 13381 11697 442e3 1.7 50.4
46.96/47.06 c R 47.0 361.3 214e3 60.5 247e3 13502 11815 442e3 2.8 50.5
47.36/47.46 c s 47.4 362.6 214e3 60.6 247e3 13573 11883 442e3 0.2 50.5
48.06/48.18 c R 48.2 362.0 213e3 60.6 247e3 13736 12035 442e3 1.8 50.5
48.96/49.05 c s 49.0 361.9 213e3 60.7 246e3 13848 12140 442e3 0.0 50.6
49.37/49.50 c R 49.5 360.9 213e3 60.8 246e3 14037 12325 442e3 4.6 50.6
49.86/49.93 c R 49.9 359.8 213e3 60.8 246e3 14179 12462 442e3 1.8 50.7
50.26/50.31 c s 50.3 359.6 213e3 60.9 246e3 14283 12561 442e3 0.6 50.8
50.57/50.68 c R 50.7 359.2 213e3 60.9 246e3 14444 12719 442e3 3.3 50.8
51.36/51.46 c s 51.4 360.3 213e3 61.2 246e3 14679 12949 442e3 0.8 50.9
51.76/51.82 c R 51.8 363.0 213e3 61.3 246e3 14806 13071 442e3 1.0 51.0
52.46/52.50 c s 52.5 361.6 213e3 61.3 246e3 15195 13428 442e3 0.8 51.1
52.56/52.65 c R 52.6 361.5 213e3 61.3 246e3 15242 13472 442e3 1.0 51.1
52.56/52.65 c
52.56/52.65 c seconds variables original learned agility
52.56/52.65 c level used conflicts limit MB
52.56/52.65 c
53.95/54.00 c R 54.0 358.9 213e3 61.4 246e3 15542 13753 442e3 0.9 51.2
55.15/55.21 c s 55.2 359.4 212e3 61.7 245e3 15735 13857 442e3 2.0 51.3
55.15/55.27 c R 55.2 359.1 212e3 61.7 245e3 15776 13897 442e3 0.9 51.3
55.85/55.93 c R 55.9 358.2 212e3 61.8 245e3 15954 14057 442e3 0.8 51.4
56.25/56.39 c s 56.4 358.2 212e3 61.8 245e3 16110 14196 442e3 2.3 51.4
57.35/57.47 c s 57.4 358.2 212e3 62.0 245e3 16259 14336 442e3 0.8 51.5
58.16/58.24 c R 58.2 356.4 212e3 62.0 245e3 16472 14537 442e3 3.0 51.6
58.65/58.74 c s 58.7 357.1 212e3 62.2 245e3 16519 14565 442e3 0.7 51.6
58.85/58.93 c R 58.9 357.1 211e3 62.2 245e3 16622 14663 442e3 3.8 51.6
59.65/59.78 c s 59.8 356.7 211e3 62.5 245e3 16901 14825 442e3 0.2 51.7
60.15/60.28 c R 60.3 356.3 211e3 62.5 245e3 17003 14924 442e3 1.3 51.8
60.95/61.02 c R 61.0 355.9 211e3 62.6 245e3 17303 15219 442e3 1.7 52.0
61.25/61.34 c + 61.3 355.1 211e3 62.6 245e3 17462 15373 486e3 1.8 52.0
61.56/61.63 c s 61.6 355.2 211e3 62.6 245e3 17490 15384 486e3 1.9 52.0
62.15/62.24 c R 62.2 356.6 211e3 62.9 245e3 17592 15485 486e3 0.5 52.1
63.24/63.32 c s 63.3 355.7 210e3 63.0 244e3 17776 15601 486e3 0.1 52.2
63.24/63.37 c R 63.3 355.6 210e3 63.0 244e3 17788 15613 486e3 0.9 52.2
64.04/64.14 c R 64.1 355.5 210e3 63.0 244e3 17980 15800 486e3 3.8 52.3
64.34/64.40 c s 64.4 355.1 209e3 63.2 242e3 18061 15865 486e3 0.1 52.3
64.44/64.50 c R 64.5 354.8 209e3 63.2 242e3 18083 15882 486e3 0.8 52.3
65.34/65.46 c s 65.4 352.9 209e3 63.5 242e3 18357 16136 486e3 0.2 52.4
65.44/65.50 c R 65.5 352.7 209e3 63.5 242e3 18382 16161 486e3 1.3 52.4
65.44/65.50 c
65.44/65.50 c seconds variables original learned agility
65.44/65.50 c level used conflicts limit MB
65.44/65.50 c
66.14/66.23 c R 66.2 352.2 209e3 63.5 242e3 18685 16448 486e3 3.8 52.5
66.54/66.65 c s 66.6 351.6 209e3 63.5 242e3 18841 16593 486e3 0.2 52.5
66.64/66.79 c R 66.7 351.4 209e3 63.6 242e3 18899 16639 486e3 2.9 52.6
67.34/67.44 c R 67.4 352.5 209e3 63.6 242e3 19074 16803 486e3 3.1 52.6
67.64/67.75 c s 67.7 352.0 209e3 63.6 242e3 19146 16873 486e3 1.4 52.6
68.54/68.67 c R 68.6 348.7 209e3 63.6 242e3 19374 17073 486e3 0.1 52.7
72.15/72.24 c R 72.2 346.0 209e3 63.9 242e3 20187 17817 486e3 0.2 53.1
74.44/74.59 c s 74.5 347.5 207e3 64.2 241e3 20769 18100 486e3 0.9 53.2
74.44/74.60 c R 74.5 347.5 207e3 64.2 241e3 20769 18100 486e3 0.9 53.2
74.84/74.90 c R 74.9 347.3 207e3 64.2 241e3 20870 18200 486e3 0.8 53.2
75.75/75.82 c s 75.8 347.6 207e3 64.3 241e3 21036 18357 486e3 0.0 53.3
75.94/76.08 c R 76.0 347.3 207e3 64.3 241e3 21172 18490 486e3 1.8 53.3
77.14/77.25 c s 77.2 346.9 207e3 64.3 241e3 21604 18905 486e3 3.8 54.0
77.54/77.67 c R 77.6 347.4 207e3 64.3 241e3 21704 19002 486e3 2.9 54.1
78.24/78.34 c R 78.3 351.2 207e3 64.3 241e3 22005 19295 486e3 3.8 54.3
79.34/79.48 c s 79.4 353.3 207e3 64.5 241e3 22339 19555 486e3 3.6 54.4
79.94/80.00 c R 80.0 357.6 207e3 64.5 241e3 22439 19654 486e3 0.1 54.5
80.34/80.47 c s 80.4 355.1 206e3 64.5 241e3 22475 19683 486e3 0.0 54.5
80.94/81.02 c R 81.0 353.9 206e3 64.5 241e3 22591 19796 486e3 2.5 54.5
81.74/81.89 c s 81.8 353.1 206e3 64.5 241e3 22857 20031 486e3 0.1 54.7
81.94/82.07 c R 82.0 353.0 206e3 64.5 241e3 22895 20065 486e3 3.5 54.7
82.64/82.73 c R 82.7 352.7 206e3 64.5 241e3 23012 20176 486e3 0.9 54.8
82.64/82.73 c
82.64/82.73 c seconds variables original learned agility
82.64/82.73 c level used conflicts limit MB
82.64/82.73 c
82.84/82.93 c s 82.9 353.1 206e3 64.5 241e3 23044 20207 486e3 1.8 54.8
83.54/83.66 c R 83.6 353.3 206e3 64.6 241e3 23383 20527 486e3 0.8 54.9
84.14/84.26 c s 84.2 353.4 206e3 64.6 241e3 23501 20640 486e3 0.2 55.0
84.74/84.84 c R 84.8 353.8 206e3 64.6 241e3 23684 20822 486e3 1.7 55.1
85.94/86.04 c s 86.0 353.0 206e3 64.7 240e3 23948 20980 486e3 0.8 55.1
86.04/86.16 c R 86.1 352.9 206e3 64.7 240e3 24002 21034 486e3 2.8 55.1
87.04/87.16 c R 87.1 354.8 206e3 64.7 240e3 24246 21260 486e3 2.7 55.2
87.14/87.28 c s 87.2 354.7 206e3 64.7 240e3 24246 21259 486e3 0.1 55.2
87.94/88.02 c R 88.0 354.7 206e3 64.7 240e3 24547 21543 486e3 2.3 55.4
88.54/88.67 c s 88.6 355.2 205e3 64.7 240e3 24593 21582 486e3 0.0 55.4
88.84/88.99 c R 88.9 354.7 205e3 64.7 240e3 24693 21681 486e3 2.0 55.5
89.64/89.78 c R 89.7 353.9 205e3 64.7 240e3 24998 21978 486e3 2.2 55.6
90.44/90.51 c s 90.5 353.8 205e3 64.8 240e3 25159 22129 486e3 1.3 55.7
91.03/91.11 c R 91.1 352.7 205e3 64.8 240e3 25356 22304 486e3 0.7 55.8
92.03/92.15 c s 92.1 352.3 205e3 64.8 240e3 25522 22461 486e3 0.4 55.9
92.63/92.70 c R 92.6 353.0 205e3 64.8 240e3 25656 22588 486e3 1.1 55.9
94.33/94.46 c + 94.4 353.4 205e3 64.8 240e3 26253 23158 535e3 2.3 56.2
94.93/95.07 c R 95.0 353.9 205e3 64.8 240e3 26460 23353 535e3 2.5 56.4
100.12/100.21 c s 100.2 355.5 205e3 65.3 240e3 27995 24773 535e3 1.2 57.2
100.42/100.56 c R 100.5 355.3 205e3 65.3 240e3 28091 24866 535e3 2.5 57.3
101.43/101.58 c R 101.5 354.7 205e3 65.4 240e3 28391 25156 535e3 4.0 57.5
103.03/103.11 c s 103.0 354.7 205e3 65.4 240e3 28765 25522 535e3 0.3 57.7
103.03/103.11 c
103.03/103.11 c seconds variables original learned agility
103.03/103.11 c level used conflicts limit MB
103.03/103.11 c
103.53/103.61 c R 103.5 354.8 205e3 65.4 240e3 28925 25676 535e3 2.9 57.7
103.63/103.77 c R 103.7 354.4 205e3 65.5 240e3 29030 25779 535e3 0.2 57.8
104.23/104.30 c s 104.2 354.2 205e3 65.6 240e3 29204 25905 535e3 0.9 57.9
105.03/105.20 c R 105.1 354.4 205e3 65.7 240e3 29330 26029 535e3 0.1 57.9
107.82/107.98 c R 107.9 357.6 205e3 65.8 240e3 30133 26808 535e3 2.0 58.5
108.62/108.77 c s 108.7 357.7 205e3 65.8 240e3 30164 26807 535e3 0.6 58.5
109.22/109.31 c R 109.2 358.1 205e3 65.8 240e3 30251 26892 535e3 0.2 58.5
109.62/109.70 c R 109.6 358.2 205e3 65.9 240e3 30452 27088 535e3 2.5 58.6
109.72/109.84 c s 109.8 358.1 205e3 65.9 240e3 30459 27092 535e3 0.1 58.6
110.72/110.88 c R 110.8 359.0 205e3 65.9 240e3 30727 27349 535e3 0.3 58.8
111.03/111.14 c s 111.1 360.1 205e3 65.9 240e3 30828 27438 535e3 0.4 58.8
111.32/111.46 c R 111.4 359.4 205e3 65.9 240e3 31027 27620 535e3 3.2 58.9
111.62/111.78 c R 111.7 359.6 205e3 65.9 240e3 31137 27725 535e3 5.7 59.0
112.22/112.38 c s 112.3 359.6 205e3 65.9 240e3 31333 27918 535e3 0.2 59.1
112.52/112.60 c R 112.5 359.4 205e3 65.9 240e3 31442 28027 535e3 1.7 59.2
113.92/114.01 c s 113.9 358.8 205e3 65.9 240e3 31726 28289 535e3 0.1 59.3
114.02/114.14 c R 114.1 358.7 205e3 65.9 240e3 31757 28320 535e3 0.5 59.3
114.62/114.70 c R 114.6 358.4 205e3 65.9 240e3 31903 28461 535e3 0.5 59.4
115.11/115.20 c s 115.1 358.2 205e3 65.9 240e3 32116 28672 535e3 0.1 59.5
115.32/115.46 c R 115.4 358.1 205e3 65.9 240e3 32203 28755 535e3 0.8 59.6
116.72/116.89 c s 116.8 357.8 205e3 65.9 239e3 32862 29356 535e3 1.2 59.9
117.32/117.49 c R 117.4 357.5 205e3 66.0 239e3 32999 29483 535e3 0.7 59.9
117.32/117.49 c
117.32/117.49 c seconds variables original learned agility
117.32/117.49 c level used conflicts limit MB
117.32/117.49 c
117.92/118.07 c s 118.0 357.3 205e3 66.0 239e3 33139 29616 535e3 0.1 60.0
118.22/118.39 c R 118.3 357.8 205e3 66.0 239e3 33299 29771 535e3 2.4 60.0
120.62/120.73 c R 120.7 356.6 205e3 66.0 239e3 34102 30557 535e3 3.6 60.3
124.01/124.18 c s 124.1 357.6 205e3 66.1 239e3 34980 31404 535e3 1.7 60.9
124.41/124.55 c R 124.5 357.3 205e3 66.1 239e3 35100 31514 535e3 1.0 60.9
125.11/125.30 c s 125.2 359.6 205e3 66.1 239e3 35311 31679 535e3 2.6 61.0
126.01/126.10 c R 126.0 359.2 205e3 66.1 239e3 35546 31906 535e3 0.1 61.1
126.42/126.51 c s 126.4 358.8 205e3 66.1 239e3 35636 31988 535e3 0.0 61.2
126.71/126.88 c R 126.8 358.7 205e3 66.1 239e3 35737 32087 535e3 3.3 61.3
127.52/127.64 c R 127.6 358.3 205e3 66.1 239e3 36037 32375 535e3 2.3 61.5
128.71/128.81 c s 128.7 358.0 205e3 66.1 239e3 36271 32586 535e3 0.3 61.6
129.11/129.22 c R 129.1 358.1 205e3 66.1 239e3 36371 32680 535e3 0.8 61.7
129.71/129.84 c R 129.8 357.7 205e3 66.1 239e3 36517 32802 535e3 1.7 61.7
130.31/130.43 c s 130.4 357.7 204e3 66.1 239e3 36540 32781 535e3 0.1 61.7
131.80/131.93 c R 131.8 358.5 204e3 66.2 239e3 36817 33044 535e3 2.5 61.9
132.20/132.32 c s 132.2 358.3 204e3 66.3 239e3 36927 33151 535e3 0.9 62.0
132.40/132.59 c R 132.5 358.2 204e3 66.3 239e3 37028 33247 535e3 1.4 62.0
133.70/133.87 c s 133.8 358.0 204e3 66.4 239e3 37206 33410 535e3 0.4 62.1
134.10/134.25 c R 134.2 357.9 204e3 66.4 239e3 37306 33509 535e3 0.9 62.2
135.20/135.36 c R 135.3 357.0 204e3 66.4 239e3 37608 33794 535e3 1.8 62.4
136.30/136.42 c s 136.3 357.0 203e3 66.6 237e3 37686 33751 535e3 0.4 62.3
136.40/136.60 c R 136.5 356.9 203e3 66.6 237e3 37730 33794 535e3 4.9 62.4
136.40/136.60 c
136.40/136.60 c seconds variables original learned agility
136.40/136.60 c level used conflicts limit MB
136.40/136.60 c
137.60/137.72 c R 137.6 357.4 203e3 66.7 237e3 38031 34077 535e3 1.0 62.6
138.20/138.32 c s 138.2 357.4 203e3 66.7 237e3 38142 34178 535e3 1.3 62.6
138.50/138.61 c R 138.5 357.1 203e3 66.7 237e3 38242 34275 535e3 1.5 62.6
139.50/139.63 c s 139.5 356.9 203e3 66.7 237e3 38510 34535 535e3 0.0 62.8
140.70/140.87 c s 140.8 357.0 203e3 66.7 237e3 38692 34699 535e3 0.3 62.9
140.89/141.04 c R 141.0 356.9 203e3 66.7 237e3 38705 34712 535e3 0.8 62.9
142.29/142.42 c s 142.3 356.6 203e3 66.7 237e3 38941 34943 535e3 2.9 63.1
143.19/143.35 c R 143.3 357.1 203e3 66.7 237e3 39131 35130 535e3 0.5 63.2
143.59/143.70 c s 143.6 357.0 203e3 66.8 237e3 39234 35230 535e3 1.1 63.3
143.59/143.78 c + 143.7 356.9 203e3 66.8 237e3 39273 35267 588e3 4.2 63.3
144.79/144.93 c R 144.8 356.7 203e3 66.8 237e3 39434 35426 588e3 2.2 63.4
145.39/145.58 c s 145.5 356.4 203e3 66.8 237e3 39632 35618 588e3 5.2 63.5
146.39/146.53 c R 146.4 356.4 202e3 66.8 237e3 39802 35781 588e3 2.4 63.7
147.20/147.40 c s 147.3 356.3 202e3 66.8 237e3 39866 35822 588e3 1.2 63.7
148.49/148.60 c s 148.5 356.1 202e3 66.8 237e3 40079 36024 588e3 0.6 63.8
149.09/149.20 c R 149.1 356.0 202e3 66.9 237e3 40179 36110 588e3 0.2 63.9
150.19/150.39 c R 150.3 356.8 202e3 66.9 237e3 40479 36403 588e3 0.4 64.1
151.10/151.22 c s 151.1 356.7 202e3 66.9 237e3 40697 36611 588e3 2.0 64.3
151.80/151.98 c R 151.9 356.5 202e3 66.9 237e3 40847 36754 588e3 0.3 64.4
152.80/152.90 c s 152.8 356.4 202e3 66.9 237e3 40924 36825 588e3 0.8 64.5
153.90/154.08 c s 154.0 356.5 202e3 66.9 237e3 41116 37008 588e3 0.2 64.6
155.19/155.32 c s 155.2 356.2 202e3 66.9 237e3 41196 37074 588e3 0.1 64.7
155.19/155.32 c
155.19/155.32 c seconds variables original learned agility
155.19/155.32 c level used conflicts limit MB
155.19/155.32 c
155.29/155.47 c R 155.4 356.0 202e3 66.9 237e3 41233 37109 588e3 3.3 64.7
156.29/156.40 c s 156.3 356.4 202e3 66.9 237e3 41476 37343 588e3 1.6 64.8
156.99/157.13 c R 157.0 356.5 202e3 66.9 237e3 41569 37431 588e3 0.6 64.9
158.39/158.54 c s 158.4 356.6 201e3 67.4 235e3 41699 37508 588e3 0.9 64.9
158.59/158.74 c R 158.6 356.4 201e3 67.4 235e3 41756 37561 588e3 0.6 64.9
159.78/159.90 c R 159.8 356.0 201e3 67.4 235e3 42057 37860 588e3 0.4 65.1
165.68/165.81 c s 165.7 356.8 201e3 67.4 235e3 42836 38627 588e3 0.5 66.2
165.78/165.95 c R 165.8 356.7 201e3 67.4 235e3 42936 38727 588e3 4.7 66.2
167.28/167.46 c R 167.4 356.4 201e3 67.4 235e3 43236 39018 588e3 1.5 66.5
168.48/168.60 c s 168.5 356.2 200e3 67.9 234e3 43336 38894 588e3 0.8 66.4
168.68/168.81 c R 168.7 356.0 200e3 67.9 234e3 43384 38940 588e3 1.9 66.4
169.48/169.68 c s 169.6 356.3 200e3 67.9 234e3 43444 38974 588e3 0.3 66.4
169.98/170.17 c R 170.1 356.1 200e3 67.9 234e3 43527 39057 588e3 1.7 66.5
171.58/171.74 c R 171.6 357.2 200e3 67.9 234e3 43827 39338 588e3 0.9 66.7
173.77/173.94 c s 173.8 358.2 200e3 68.0 234e3 44236 39739 588e3 0.8 67.0
174.17/174.38 c R 174.3 358.1 200e3 68.0 234e3 44338 39833 588e3 2.3 67.1
176.37/176.57 c R 176.5 357.8 200e3 68.0 234e3 44639 40119 588e3 0.2 67.4
177.17/177.34 c s 177.2 357.9 200e3 68.0 234e3 44691 40166 588e3 1.3 67.5
177.78/177.96 c R 177.9 357.9 200e3 68.0 234e3 44791 40264 588e3 0.5 67.6
178.78/178.98 c s 178.9 357.8 199e3 68.5 233e3 44845 40297 588e3 0.4 67.6
179.38/179.58 c R 179.5 357.6 199e3 68.5 233e3 44940 40383 588e3 0.2 67.7
180.28/180.48 c R 180.4 357.7 199e3 68.5 233e3 45241 40681 588e3 2.9 67.9
180.28/180.48 c
180.28/180.48 c seconds variables original learned agility
180.28/180.48 c level used conflicts limit MB
180.28/180.48 c
184.27/184.45 c s 184.3 356.7 198e3 68.7 232e3 45960 41238 588e3 0.6 68.3
185.57/185.70 c s 185.6 357.3 198e3 68.7 232e3 46061 41332 588e3 0.3 68.5
185.57/185.72 c R 185.6 357.3 198e3 68.7 232e3 46061 41332 588e3 0.0 68.5
188.07/188.27 c R 188.2 357.6 198e3 68.7 232e3 46362 41627 588e3 0.3 68.8
193.97/194.17 c R 194.1 356.8 198e3 68.7 232e3 47163 42420 588e3 0.2 70.0
194.87/195.01 c s 194.9 357.2 198e3 68.7 232e3 47207 42463 588e3 1.1 70.0
195.17/195.34 c R 195.2 357.4 198e3 68.7 232e3 47310 42566 588e3 0.5 70.1
197.17/197.33 c s 197.2 357.5 198e3 68.8 232e3 47464 42718 588e3 1.1 70.4
197.56/197.72 c R 197.6 357.3 198e3 68.8 232e3 47564 42817 588e3 1.7 70.4
199.26/199.46 c R 199.3 356.7 198e3 68.8 232e3 47864 43111 588e3 2.4 70.6
200.46/200.69 c s 200.6 356.5 198e3 69.0 231e3 48070 43223 588e3 0.5 70.7
200.76/200.95 c R 200.8 356.4 198e3 69.0 231e3 48128 43279 588e3 1.3 70.7
201.76/201.91 c s 201.8 356.1 198e3 69.0 231e3 48259 43409 588e3 0.7 70.9
202.96/203.14 c s 203.0 356.2 198e3 69.0 231e3 48468 43615 588e3 0.2 71.1
203.46/203.60 c R 203.5 356.1 198e3 69.0 231e3 48494 43641 588e3 0.7 71.1
204.15/204.31 c s 204.2 356.0 198e3 69.0 231e3 48592 43732 588e3 0.3 71.2
204.65/204.82 c R 204.7 355.9 198e3 69.0 231e3 48621 43761 588e3 1.0 71.3
206.75/206.91 c R 206.8 355.3 198e3 69.0 231e3 48922 44061 588e3 1.7 71.5
211.45/211.61 c s 211.5 354.6 197e3 69.1 231e3 49512 44599 588e3 0.6 71.9
212.16/212.35 c R 212.2 354.6 197e3 69.1 231e3 49578 44665 588e3 1.6 72.0
213.75/213.91 c R 213.8 354.6 197e3 69.1 231e3 49879 44962 588e3 0.3 72.3
214.15/214.33 c s 214.2 354.5 197e3 69.1 231e3 49992 45070 588e3 0.3 72.4
214.15/214.33 c
214.15/214.33 c seconds variables original learned agility
214.15/214.33 c level used conflicts limit MB
214.15/214.33 c
214.45/214.69 c R 214.6 354.4 197e3 69.2 231e3 50162 45224 588e3 3.5 72.5
215.55/215.74 c s 215.6 354.6 197e3 69.2 231e3 50263 45307 588e3 0.1 72.7
217.65/217.81 c R 217.7 357.3 197e3 69.2 231e3 50463 45505 588e3 0.9 73.0
222.15/222.39 c R 222.3 358.1 197e3 69.3 231e3 51264 46294 588e3 1.5 74.0
225.46/225.67 c s 225.5 359.6 197e3 69.3 231e3 51497 46523 588e3 0.5 74.5
226.65/226.81 c s 226.7 359.9 197e3 69.3 230e3 51633 46643 588e3 0.4 74.6
226.75/226.98 c R 226.8 359.8 197e3 69.3 230e3 51647 46657 588e3 0.3 74.6
228.45/228.62 c R 228.5 360.8 197e3 69.3 230e3 51948 46949 588e3 0.5 74.9
231.35/231.59 c s 231.5 360.6 197e3 69.3 230e3 52173 47128 588e3 1.1 75.3
232.45/232.60 c R 232.5 360.6 197e3 69.3 230e3 52264 47217 588e3 1.2 75.4
232.65/232.86 c s 232.7 360.6 197e3 69.3 230e3 52273 47222 588e3 0.3 75.4
234.65/234.86 c R 234.7 360.5 197e3 69.3 230e3 52374 47323 588e3 0.4 75.8
238.35/238.52 c R 238.4 361.2 197e3 69.4 230e3 52674 47614 588e3 0.1 76.3
239.65/239.87 c s 239.7 361.5 196e3 69.4 230e3 52847 47749 588e3 0.6 76.4
240.55/240.79 c R 240.7 361.5 196e3 69.4 230e3 52929 47827 588e3 0.6 76.5
240.75/240.94 c s 240.8 361.4 196e3 69.4 230e3 52934 47831 588e3 0.0 76.5
241.85/242.03 c R 241.9 361.2 196e3 69.4 230e3 53035 47932 588e3 0.0 76.6
242.54/242.77 c s 242.6 361.2 196e3 69.4 230e3 53087 47982 588e3 0.6 76.7
242.84/243.07 c R 242.9 361.0 196e3 69.4 230e3 53188 48082 588e3 1.4 76.8
246.94/247.14 c R 247.0 360.8 196e3 69.4 230e3 53489 48382 588e3 0.5 77.2
248.34/248.60 c s 248.5 360.6 196e3 69.4 230e3 53585 48461 588e3 0.9 77.3
249.54/249.78 c R 249.6 360.6 196e3 69.4 230e3 53684 48558 588e3 0.2 77.5
249.54/249.78 c
249.54/249.78 c seconds variables original learned agility
249.54/249.78 c level used conflicts limit MB
249.54/249.78 c
251.23/251.43 c s 251.3 360.4 196e3 69.4 230e3 53833 48703 588e3 0.5 77.7
252.33/252.59 c R 252.4 360.3 196e3 69.5 230e3 53933 48803 588e3 0.3 77.9
253.53/253.78 c R 253.6 359.9 196e3 69.5 230e3 54235 49100 588e3 4.1 78.1
255.13/255.38 c s 255.2 359.7 196e3 69.5 230e3 54408 49250 588e3 0.7 78.3
255.64/255.87 c R 255.7 359.6 196e3 69.5 230e3 54506 49348 588e3 2.1 78.3
256.43/256.61 c s 256.5 359.4 196e3 69.5 230e3 54638 49471 588e3 0.1 78.4
257.14/257.33 c R 257.2 359.3 196e3 69.5 230e3 54714 49547 588e3 0.3 78.6
260.73/260.91 c s 260.8 359.8 196e3 69.6 229e3 55011 49818 588e3 0.8 78.9
261.73/261.93 c R 261.8 359.6 196e3 69.6 229e3 55097 49904 588e3 3.0 79.0
262.83/263.01 c R 262.9 359.3 196e3 69.6 229e3 55402 50205 588e3 0.8 79.2
265.73/265.93 c R 265.8 358.6 196e3 69.6 229e3 56205 50997 588e3 1.1 79.7
265.83/266.10 c s 265.9 358.5 196e3 69.6 229e3 56242 51029 588e3 0.6 79.7
266.92/267.18 c R 267.0 358.4 196e3 69.6 229e3 56343 51126 588e3 0.6 79.8
269.82/270.00 c R 269.8 358.3 196e3 69.6 229e3 56645 51423 588e3 1.1 80.2
273.42/273.65 c s 273.5 357.8 196e3 69.6 229e3 57184 51925 588e3 1.8 80.6
273.73/273.96 c R 273.8 357.5 196e3 69.6 229e3 57285 52017 588e3 4.9 80.6
274.92/275.16 c s 275.0 357.3 196e3 69.6 229e3 57464 52194 588e3 1.1 80.9
276.43/276.61 c R 276.4 357.3 196e3 69.6 229e3 57586 52316 588e3 0.4 81.2
282.43/282.64 c s 282.5 356.9 196e3 69.6 229e3 58224 52924 588e3 1.1 82.0
283.12/283.40 c R 283.2 356.9 196e3 69.6 229e3 58327 53023 588e3 3.3 82.3
285.22/285.49 c s 285.3 357.3 196e3 69.6 229e3 58517 53197 588e3 0.5 82.5
286.12/286.30 c R 286.1 356.8 196e3 69.6 229e3 58617 53272 588e3 0.4 82.6
286.12/286.30 c
286.12/286.30 c seconds variables original learned agility
286.12/286.30 c level used conflicts limit MB
286.12/286.30 c
287.61/287.88 c s 287.7 356.6 196e3 69.6 229e3 58809 53459 588e3 0.6 82.8
288.92/289.13 c R 289.0 356.5 196e3 69.6 229e3 58909 53558 588e3 0.1 83.0
289.62/289.82 c + 289.6 356.5 196e3 69.6 229e3 58995 53643 647e3 0.4 83.2
290.22/290.44 c s 290.3 356.5 195e3 69.7 229e3 59052 53618 647e3 0.5 83.2
290.42/290.64 c R 290.5 356.5 195e3 69.7 229e3 59110 53675 647e3 2.3 83.2
293.62/293.90 c R 293.7 356.2 195e3 69.7 229e3 59411 53974 647e3 0.1 83.7
294.81/295.01 c s 294.8 356.2 195e3 69.7 229e3 59531 54092 647e3 0.7 83.9
295.81/296.07 c R 295.9 356.4 195e3 69.7 229e3 59631 54187 647e3 0.2 84.0
296.61/296.82 c s 296.6 356.3 194e3 70.2 227e3 59650 54190 647e3 0.3 84.0
297.51/297.74 c R 297.6 356.3 194e3 70.2 227e3 59741 54276 647e3 1.3 84.1
301.31/301.52 c R 301.3 356.3 194e3 70.2 227e3 60044 54574 647e3 0.4 84.8
302.81/303.05 c s 302.9 356.4 194e3 70.3 227e3 60132 54624 647e3 0.2 84.9
304.01/304.27 c s 304.1 356.4 193e3 70.3 227e3 60219 54708 647e3 0.1 85.0
305.31/305.57 c R 305.4 356.3 193e3 70.3 227e3 60307 54796 647e3 1.3 85.3
309.01/309.21 c R 309.0 356.3 193e3 70.3 227e3 60610 55099 647e3 0.4 85.8
312.01/312.26 c s 312.1 356.0 193e3 70.3 227e3 60818 55252 647e3 0.7 86.1
313.10/313.37 c R 313.2 355.8 193e3 70.3 227e3 60916 55350 647e3 0.4 86.2
314.00/314.25 c R 314.1 355.5 193e3 70.3 227e3 61220 55638 647e3 0.6 86.4
317.21/317.47 c R 317.3 355.1 193e3 70.3 227e3 62028 56430 647e3 0.0 87.1
318.61/318.81 c s 318.6 354.9 193e3 70.3 226e3 62312 56702 647e3 3.7 87.3
319.61/319.87 c R 319.7 354.9 193e3 70.3 226e3 62411 56800 647e3 0.1 87.4
322.61/322.82 c R 322.6 354.9 193e3 70.3 226e3 62711 57097 647e3 0.4 87.8
322.61/322.82 c
322.61/322.82 c seconds variables original learned agility
322.61/322.82 c level used conflicts limit MB
322.61/322.82 c
322.81/323.02 c s 322.8 354.8 193e3 70.3 226e3 62719 57100 647e3 1.2 87.8
324.80/325.08 c s 324.9 354.6 193e3 70.4 226e3 62848 57193 647e3 1.3 88.1
326.30/326.51 c s 326.3 354.5 193e3 70.4 226e3 62944 57280 647e3 0.1 88.2
326.41/326.69 c R 326.5 354.5 193e3 70.4 226e3 62956 57292 647e3 0.6 88.3
329.80/330.03 c R 329.8 354.3 193e3 70.4 226e3 63256 57588 647e3 0.3 88.7
330.91/331.14 c s 331.0 354.3 193e3 70.5 226e3 63343 57634 647e3 2.1 88.8
331.30/331.53 c R 331.3 354.3 193e3 70.5 226e3 63410 57696 647e3 0.3 88.8
332.70/332.97 c s 332.8 354.0 193e3 70.5 226e3 63580 57861 647e3 0.4 88.9
333.00/333.22 c R 333.0 353.7 193e3 70.5 226e3 63681 57957 647e3 2.4 89.0
334.90/335.13 c R 334.9 353.4 193e3 70.5 226e3 63981 58251 647e3 0.4 89.2
338.99/339.23 c s 339.0 353.0 193e3 70.5 226e3 64303 58545 647e3 1.8 89.6
340.19/340.49 c R 340.3 352.9 193e3 70.5 226e3 64397 58639 647e3 0.2 89.8
342.99/343.24 c R 343.0 353.0 193e3 70.5 226e3 64701 58939 647e3 1.2 90.3
344.49/344.74 c s 344.5 353.0 193e3 70.5 226e3 64805 59026 647e3 0.7 90.4
345.09/345.33 c R 345.1 352.9 193e3 70.5 226e3 64901 59122 647e3 0.4 90.5
348.50/348.78 c R 348.6 352.7 193e3 70.5 226e3 65203 59421 647e3 0.6 90.8
350.60/350.88 c s 350.7 352.5 192e3 70.6 225e3 65321 59519 647e3 0.4 91.0
351.99/352.23 c R 352.0 352.4 192e3 70.6 225e3 65419 59617 647e3 0.5 91.1
352.29/352.56 c s 352.4 352.3 192e3 70.6 225e3 65430 59623 647e3 3.3 91.1
353.39/353.68 c R 353.5 352.1 192e3 70.6 225e3 65532 59725 647e3 2.1 91.2
357.19/357.49 c R 357.3 351.9 192e3 70.6 225e3 65832 60024 647e3 1.0 91.6
359.79/360.04 c s 359.8 351.6 192e3 70.7 224e3 66062 60145 647e3 0.2 91.8
359.79/360.04 c
359.79/360.04 c seconds variables original learned agility
359.79/360.04 c level used conflicts limit MB
359.79/360.04 c
360.89/361.14 c R 360.9 351.5 192e3 70.7 224e3 66134 60217 647e3 1.2 91.9
362.19/362.42 c s 362.2 351.4 192e3 70.8 224e3 66199 60276 647e3 1.1 91.9
363.59/363.87 c R 363.7 351.3 192e3 70.8 224e3 66299 60375 647e3 0.4 92.1
364.49/364.73 c s 364.5 351.2 192e3 70.8 224e3 66341 60068 647e3 2.2 92.0
366.49/366.72 c s 366.5 351.1 191e3 70.8 224e3 66482 60140 647e3 0.6 92.2
366.88/367.16 c R 367.0 351.0 191e3 70.8 224e3 66510 60168 647e3 0.3 92.2
369.08/369.33 c s 369.1 350.8 191e3 70.8 224e3 66684 60338 647e3 0.6 92.4
370.28/370.60 c R 370.4 350.7 191e3 70.8 224e3 66784 60436 647e3 2.0 92.5
371.49/371.73 c s 371.5 350.7 191e3 70.8 224e3 66834 60464 647e3 0.7 92.5
372.59/372.85 c R 372.7 350.6 191e3 70.8 224e3 66931 60561 647e3 0.9 92.6
373.58/373.86 c s 373.7 350.5 191e3 70.8 224e3 66996 60623 647e3 2.2 92.7
374.89/375.14 c R 374.9 350.4 191e3 70.8 224e3 67097 60724 647e3 0.7 92.8
378.57/378.89 c R 378.7 350.1 191e3 70.8 224e3 67400 61023 647e3 0.7 93.1
380.77/381.00 c s 380.8 350.0 191e3 70.9 223e3 67542 61151 647e3 1.0 93.3
381.87/382.17 c R 382.0 350.0 191e3 70.9 223e3 67635 61242 647e3 0.3 93.5
385.37/385.65 c R 385.4 349.6 191e3 70.9 223e3 67938 61511 647e3 0.1 93.8
386.67/386.94 c s 386.7 349.5 191e3 70.9 223e3 68048 61595 647e3 0.5 93.9
387.37/387.68 c R 387.5 349.3 191e3 71.0 223e3 68167 61707 647e3 0.1 94.0
387.87/388.14 c s 387.9 349.2 191e3 71.0 223e3 68185 61691 647e3 0.4 94.0
388.87/389.20 c R 389.0 349.1 191e3 71.0 223e3 68274 61779 647e3 0.3 94.1
393.16/393.47 c R 393.3 348.6 191e3 71.0 223e3 68580 62063 647e3 0.2 94.4
404.37/404.62 c R 404.4 347.4 191e3 71.0 223e3 69384 62861 647e3 0.2 95.2
404.37/404.62 c
404.37/404.62 c seconds variables original learned agility
404.37/404.62 c level used conflicts limit MB
404.37/404.62 c
415.57/415.83 c s 415.6 346.1 191e3 71.0 223e3 70316 63761 647e3 2.5 96.4
416.26/416.51 c R 416.3 346.1 191e3 71.0 223e3 70416 63861 647e3 2.0 96.5
420.26/420.52 c R 420.3 346.0 191e3 71.0 223e3 70717 64161 647e3 0.2 97.1
427.45/427.71 c s 427.5 345.5 190e3 71.1 222e3 71348 64757 647e3 1.0 97.5
428.65/428.96 c R 428.7 345.4 190e3 71.1 222e3 71439 64848 647e3 0.1 97.6
430.04/430.31 c s 430.1 345.3 190e3 71.1 222e3 71545 64939 647e3 0.8 97.6
431.14/431.43 c s 431.2 345.2 190e3 71.1 222e3 71623 65015 647e3 0.8 97.7
431.54/431.89 c R 431.7 345.1 190e3 71.1 222e3 71650 65041 647e3 0.2 97.7
436.04/436.34 c R 436.1 344.9 190e3 71.1 222e3 71950 65341 647e3 0.4 97.9
446.54/446.87 c R 446.6 344.4 190e3 71.1 222e3 72751 66136 647e3 1.1 98.9
455.74/456.02 c s 455.8 344.0 190e3 71.2 222e3 73431 66786 647e3 2.2 99.8
457.14/457.46 c R 457.2 343.9 190e3 71.2 222e3 73537 66892 647e3 1.1 99.9
457.84/458.13 c s 457.9 343.8 190e3 71.2 222e3 73572 66925 647e3 2.2 99.9
459.24/459.52 c R 459.3 343.6 190e3 71.2 222e3 73676 67029 647e3 0.6 100.0
460.84/461.19 c s 460.9 343.5 190e3 71.2 222e3 73751 67103 647e3 0.6 100.0
462.34/462.63 c R 462.4 343.4 190e3 71.2 222e3 73851 67202 647e3 0.2 100.1
463.04/463.31 c s 463.1 343.3 190e3 71.2 222e3 73889 67238 647e3 0.9 100.1
463.64/463.97 c R 463.7 343.3 190e3 71.2 222e3 73991 67335 647e3 3.8 100.2
464.04/464.34 c R 464.1 343.3 190e3 71.2 222e3 74157 67494 647e3 3.0 100.3
464.24/464.58 c s 464.3 343.2 190e3 71.2 222e3 74170 67506 647e3 1.1 100.3
465.64/465.94 c s 465.7 343.0 190e3 71.2 222e3 74263 67598 647e3 0.3 100.4
466.54/466.81 c R 466.6 342.9 190e3 71.2 222e3 74330 67665 647e3 0.4 100.5
466.54/466.81 c
466.54/466.81 c seconds variables original learned agility
466.54/466.81 c level used conflicts limit MB
466.54/466.81 c
468.03/468.36 c s 468.1 342.8 190e3 71.2 222e3 74470 67703 647e3 1.8 100.6
468.23/468.56 c R 468.3 342.8 190e3 71.2 222e3 74489 67722 647e3 0.3 100.6
469.23/469.56 c s 469.3 342.6 189e3 71.4 221e3 74629 67854 647e3 1.0 100.7
469.23/469.57 c R 469.3 342.6 189e3 71.4 221e3 74629 67854 647e3 0.1 100.7
473.33/473.64 c R 473.4 342.7 189e3 71.4 221e3 74930 68154 647e3 0.2 101.2
474.12/474.43 c s 474.2 342.6 189e3 71.4 221e3 74983 68205 647e3 1.0 101.2
475.42/475.71 c R 475.4 342.5 189e3 71.4 221e3 75083 68303 647e3 0.5 101.3
477.32/477.61 c s 477.3 342.2 189e3 71.4 221e3 75300 68515 647e3 1.1 101.4
477.42/477.75 c R 477.5 342.1 189e3 71.4 221e3 75400 68614 647e3 2.5 101.5
478.32/478.60 c R 478.3 341.9 189e3 71.4 221e3 75701 68911 647e3 0.7 101.8
480.52/480.85 c s 480.6 341.9 189e3 71.4 221e3 75847 69054 647e3 0.6 102.0
481.72/482.09 c R 481.8 341.8 189e3 71.4 221e3 75947 69154 647e3 0.9 102.1
484.23/484.55 c s 484.3 341.8 189e3 71.4 221e3 76124 69324 647e3 0.9 102.4
485.23/485.52 c R 485.3 341.9 189e3 71.4 221e3 76224 69424 647e3 0.5 102.5
487.43/487.78 c s 487.5 341.8 189e3 71.4 221e3 76331 69525 647e3 0.7 102.7
488.53/488.82 c R 488.6 341.8 189e3 71.4 221e3 76432 69622 647e3 0.1 102.8
492.22/492.60 c R 492.3 341.6 189e3 71.4 221e3 76732 69918 647e3 0.4 103.2
501.02/501.37 c s 501.1 341.5 189e3 71.4 221e3 77452 70635 647e3 0.4 104.4
502.32/502.63 c R 502.4 341.4 189e3 71.4 221e3 77552 70735 647e3 0.3 104.5
506.72/507.02 c R 506.8 341.1 189e3 71.4 221e3 77854 71037 647e3 2.1 104.8
515.31/515.61 c R 515.3 342.4 189e3 71.4 221e3 78660 71825 647e3 0.3 106.4
516.71/517.06 c s 516.8 342.4 189e3 71.4 221e3 78722 71886 647e3 0.9 106.5
516.71/517.06 c
516.71/517.06 c seconds variables original learned agility
516.71/517.06 c level used conflicts limit MB
516.71/517.06 c
518.21/518.52 c R 518.2 342.3 189e3 71.4 221e3 78823 71985 647e3 0.1 106.7
521.21/521.52 c s 521.2 342.4 189e3 71.4 221e3 79115 72276 647e3 0.5 107.2
522.21/522.58 c R 522.3 342.4 189e3 71.4 221e3 79217 72378 647e3 0.3 107.3
523.21/523.58 c s 523.3 342.3 189e3 71.4 221e3 79288 72444 647e3 0.9 107.4
524.10/524.43 c R 524.1 342.2 189e3 71.4 221e3 79386 72542 647e3 0.2 107.5
526.61/526.97 c R 526.7 342.1 189e3 71.4 221e3 79692 72843 647e3 1.1 107.9
535.90/536.28 c R 536.0 341.5 189e3 71.4 221e3 80493 73642 647e3 0.1 108.8
555.99/556.34 c s 556.1 340.5 189e3 71.5 220e3 81955 75087 647e3 0.7 110.2
557.49/557.88 c R 557.6 340.5 189e3 71.5 220e3 82053 75185 647e3 0.1 110.3
560.48/560.85 c R 560.5 340.4 189e3 71.5 220e3 82355 75486 647e3 1.0 110.7
570.09/570.49 c R 570.2 339.8 189e3 71.5 220e3 83160 76289 647e3 1.4 111.5
591.18/591.53 c R 591.2 338.6 189e3 71.5 220e3 85172 78282 647e3 0.7 113.7
597.18/597.53 c s 597.2 338.3 189e3 71.5 220e3 85613 78719 647e3 1.4 114.3
598.58/598.92 c s 598.6 338.1 188e3 71.5 220e3 85721 78815 647e3 0.6 114.4
599.88/600.23 c s 599.9 338.1 188e3 71.5 220e3 85804 78896 647e3 0.1 114.6
600.98/601.31 c s 601.0 338.2 188e3 71.5 220e3 85870 78961 647e3 0.0 114.7
601.78/602.13 c R 601.8 338.1 188e3 71.5 220e3 85933 79024 647e3 0.0 114.8
605.37/605.77 c R 605.4 338.3 188e3 71.5 220e3 86234 79325 647e3 0.6 115.3
613.57/613.99 c s 613.7 338.1 188e3 71.6 220e3 86868 79954 647e3 0.9 116.2
614.76/615.12 c R 614.8 338.1 188e3 71.6 220e3 86968 80054 647e3 0.9 116.3
618.46/618.81 c R 618.5 338.0 188e3 71.6 220e3 87269 80355 647e3 0.2 116.7
625.66/626.02 c s 625.7 337.8 188e3 71.6 220e3 87722 80803 647e3 0.2 117.3
625.66/626.02 c
625.66/626.02 c seconds variables original learned agility
625.66/626.02 c level used conflicts limit MB
625.66/626.02 c
626.96/627.33 c s 627.0 337.7 188e3 71.6 220e3 87807 80882 647e3 0.4 117.4
628.16/628.51 c R 628.2 337.7 188e3 71.6 220e3 87900 80975 647e3 0.6 117.5
632.26/632.61 c R 632.3 337.5 188e3 71.6 220e3 88203 81272 647e3 0.9 117.7
634.66/635.06 c s 634.7 337.3 188e3 71.6 220e3 88354 81421 647e3 0.9 117.9
634.86/635.28 c + 634.9 337.3 188e3 71.6 220e3 88370 81437 712e3 0.3 117.9
635.96/636.36 c R 636.0 337.3 188e3 71.6 220e3 88456 81523 712e3 0.4 118.0
639.86/640.29 c R 640.0 337.2 188e3 71.6 220e3 88756 81822 712e3 0.4 118.4
649.94/650.37 c R 650.0 336.7 188e3 71.6 220e3 89557 82621 712e3 0.0 119.2
663.25/663.65 c s 663.3 336.1 188e3 71.6 220e3 90426 83461 712e3 0.8 120.0
664.55/664.92 c s 664.6 336.0 188e3 71.6 220e3 90498 83521 712e3 0.3 120.1
665.25/665.61 c R 665.3 336.0 188e3 71.6 220e3 90529 83552 712e3 0.4 120.1
669.74/670.18 c R 669.8 335.9 188e3 71.6 220e3 90830 83852 712e3 2.2 120.4
672.44/672.88 c s 672.5 335.7 188e3 71.6 220e3 90979 83993 712e3 0.4 120.7
673.85/674.23 c R 673.9 335.7 188e3 71.6 220e3 91080 84094 712e3 1.9 120.8
678.44/678.83 c s 678.5 335.5 188e3 71.6 220e3 91347 84355 712e3 0.4 121.1
679.84/680.28 c s 679.9 335.5 188e3 71.6 220e3 91416 84420 712e3 0.4 121.2
681.34/681.73 c R 681.4 335.5 188e3 71.6 220e3 91516 84520 712e3 0.1 121.4
683.13/683.58 c s 683.2 335.3 188e3 71.6 220e3 91663 84663 712e3 0.8 121.6
684.24/684.61 c R 684.3 335.2 188e3 71.6 220e3 91764 84763 712e3 0.5 121.7
687.63/688.01 c R 687.7 335.0 188e3 71.6 220e3 92066 85065 712e3 1.5 122.0
695.22/695.67 c s 695.3 334.6 188e3 71.6 220e3 92700 85695 712e3 1.0 122.6
696.42/696.83 c R 696.5 334.5 188e3 71.6 220e3 92800 85795 712e3 0.2 122.8
696.42/696.83 c
696.42/696.83 c seconds variables original learned agility
696.42/696.83 c level used conflicts limit MB
696.42/696.83 c
698.82/699.24 c s 698.9 334.4 188e3 71.6 220e3 92974 85963 712e3 0.2 122.9
700.22/700.65 c R 700.3 334.3 188e3 71.6 220e3 93074 86063 712e3 0.4 123.0
704.43/704.83 c R 704.5 334.1 188e3 71.6 220e3 93376 86365 712e3 0.3 123.2
705.93/706.34 c s 706.0 334.0 188e3 71.8 219e3 93446 86425 712e3 1.9 123.3
707.02/707.46 c R 707.1 333.9 188e3 71.8 219e3 93546 86525 712e3 0.4 123.4
711.42/711.87 c R 711.5 333.8 188e3 71.8 219e3 93852 86831 712e3 0.2 123.7
712.92/713.36 c s 713.0 333.7 187e3 71.9 218e3 93913 86887 712e3 0.5 123.7
714.22/714.63 c R 714.3 333.6 187e3 71.9 218e3 94013 86987 712e3 0.5 123.8
719.62/720.02 c R 719.7 333.5 187e3 71.9 218e3 94313 87287 712e3 0.3 124.1
727.42/727.81 c s 727.4 333.2 187e3 71.9 218e3 94799 87769 712e3 0.2 124.6
728.61/729.04 c R 728.7 333.1 187e3 71.9 218e3 94900 87870 712e3 0.5 124.7
733.11/733.55 c R 733.2 332.9 187e3 71.9 218e3 95201 88171 712e3 2.0 124.9
741.01/741.45 c s 741.1 332.6 187e3 72.0 218e3 95677 88644 712e3 0.7 125.4
741.70/742.17 c R 741.8 332.5 187e3 72.0 218e3 95777 88744 712e3 0.3 125.4
742.30/742.73 c s 742.3 332.5 187e3 72.0 218e3 95822 88787 712e3 1.1 125.5
743.90/744.32 c R 743.9 332.5 187e3 72.0 218e3 95924 88889 712e3 0.4 125.7
747.90/748.35 c R 748.0 332.3 187e3 72.0 218e3 96230 89195 712e3 0.5 125.9
749.60/750.07 c s 749.7 332.3 187e3 72.0 218e3 96306 89269 712e3 0.9 126.0
750.70/751.14 c R 750.8 332.2 187e3 72.0 218e3 96407 89370 712e3 0.2 126.1
755.20/755.62 c R 755.2 332.0 187e3 72.0 218e3 96707 89668 712e3 0.2 126.4
762.80/763.25 c R 762.9 331.5 187e3 72.0 218e3 97508 90463 712e3 0.9 127.2
767.70/768.11 c s 767.7 331.5 187e3 72.0 218e3 97822 90767 712e3 0.7 127.9
767.70/768.11 c
767.70/768.11 c seconds variables original learned agility
767.70/768.11 c level used conflicts limit MB
767.70/768.11 c
769.20/769.61 c R 769.2 331.4 187e3 72.0 218e3 97923 90867 712e3 0.4 128.0
772.69/773.20 c R 772.8 331.2 187e3 72.0 218e3 98225 91168 712e3 0.5 128.3
783.68/784.12 c R 783.7 330.9 187e3 72.0 218e3 99026 91967 712e3 0.5 129.0
804.78/805.22 c s 804.8 329.7 187e3 72.0 218e3 100e3 93892 712e3 1.2 131.1
805.88/806.32 c R 805.9 330.1 187e3 72.0 218e3 101e3 93989 712e3 0.1 131.2
809.27/809.72 c R 809.3 330.0 187e3 72.0 218e3 101e3 94290 712e3 0.5 131.6
812.77/813.22 c s 812.8 329.9 186e3 72.2 217e3 101e3 94402 712e3 0.3 131.7
812.87/813.37 c R 813.0 329.9 186e3 72.2 217e3 101e3 94412 712e3 0.5 131.7
816.67/817.15 c R 816.7 329.7 186e3 72.2 217e3 101e3 94717 712e3 0.7 132.0
823.28/823.73 c s 823.3 329.5 186e3 72.3 217e3 102e3 95059 712e3 0.6 132.3
824.58/825.04 c R 824.6 329.4 186e3 72.3 217e3 102e3 95155 712e3 0.5 132.3
824.98/825.42 c s 825.0 329.4 186e3 72.3 217e3 102e3 95162 712e3 3.6 132.3
826.58/827.10 c R 826.7 329.3 186e3 72.3 217e3 102e3 95263 712e3 0.3 132.4
830.67/831.14 c R 830.7 329.2 186e3 72.3 217e3 102e3 95564 712e3 0.6 132.7
837.46/837.96 c s 837.5 328.8 186e3 72.3 217e3 103e3 96061 712e3 1.2 133.2
837.86/838.32 c R 837.9 329.1 186e3 72.3 217e3 103e3 96150 712e3 0.2 133.2
842.26/842.78 c R 842.4 328.9 186e3 72.3 217e3 103e3 96451 712e3 0.2 133.4
853.17/853.62 c R 853.2 328.6 186e3 72.3 217e3 104e3 97253 712e3 1.7 134.1
868.16/868.60 c s 868.2 328.0 186e3 72.3 217e3 105e3 98242 712e3 0.4 134.9
869.56/870.02 c R 869.6 327.9 186e3 72.3 217e3 105e3 98337 712e3 0.4 135.0
874.55/875.06 c R 874.6 327.8 186e3 72.3 217e3 106e3 98637 712e3 0.2 135.3
886.44/886.91 c R 886.5 327.4 186e3 72.3 217e3 106e3 99436 712e3 0.2 135.8
886.44/886.91 c
886.44/886.91 c seconds variables original learned agility
886.44/886.91 c level used conflicts limit MB
886.44/886.91 c
901.84/902.31 c s 901.9 326.9 185e3 72.8 216e3 107e3 99601 712e3 0.6 136.1
902.24/902.70 c R 902.3 326.9 185e3 72.8 216e3 107e3 99625 712e3 0.2 136.1
906.34/906.81 c R 906.4 326.7 185e3 72.8 216e3 108e3 99928 712e3 0.2 136.3
917.03/917.59 c R 917.1 326.4 185e3 72.8 216e3 109e3 100e3 712e3 0.3 136.9
925.73/926.21 c s 925.8 326.2 184e3 72.9 214e3 109e3 101e3 712e3 0.8 137.1
926.92/927.43 c s 927.0 326.1 184e3 72.9 214e3 109e3 101e3 712e3 0.9 137.2
927.42/927.99 c R 927.5 326.1 184e3 72.9 214e3 109e3 101e3 712e3 1.3 137.2
932.52/933.08 c R 932.6 326.0 184e3 72.9 214e3 109e3 101e3 712e3 0.1 137.4
946.53/947.06 c R 946.6 325.7 184e3 73.0 214e3 110e3 102e3 712e3 2.0 137.8
976.90/977.48 c s 977.0 324.4 184e3 73.0 214e3 112e3 104e3 712e3 0.4 139.6
978.60/979.11 c R 978.6 324.3 184e3 73.0 214e3 112e3 104e3 712e3 0.3 139.7
982.60/983.14 c R 982.7 324.1 184e3 73.0 214e3 113e3 104e3 712e3 0.3 139.9
987.70/988.26 c s 987.8 323.7 184e3 73.0 214e3 113e3 105e3 712e3 4.0 140.2
989.11/989.60 c R 989.1 323.6 184e3 73.0 214e3 113e3 105e3 712e3 0.2 140.4
989.51/990.09 c s 989.6 323.5 184e3 73.0 214e3 113e3 105e3 712e3 0.0 140.4
993.11/993.61 c R 993.1 323.3 184e3 73.0 214e3 114e3 105e3 712e3 0.2 140.7
993.21/993.76 c s 993.3 323.3 184e3 73.0 214e3 114e3 105e3 712e3 1.6 140.7
995.20/995.71 c R 995.2 323.2 184e3 73.0 214e3 114e3 105e3 712e3 0.2 141.1
999.30/999.87 c R 999.4 323.4 184e3 73.0 214e3 114e3 106e3 712e3 0.3 141.7
1009.99/1010.50 c R 101e1 322.9 184e3 73.0 214e3 115e3 106e3 712e3 0.2 142.3
1011.89/1012.40 c s 101e1 322.7 183e3 73.5 211e3 115e3 106e3 712e3 1.1 142.4
1012.69/1013.20 c R 101e1 322.6 183e3 73.5 211e3 115e3 107e3 712e3 0.5 142.4
1012.69/1013.20 c
1012.69/1013.20 c seconds variables original learned agility
1012.69/1013.20 c level used conflicts limit MB
1012.69/1013.20 c
1014.38/1014.98 c s 101e1 322.5 182e3 73.5 211e3 115e3 107e3 712e3 0.5 142.5
1015.38/1015.91 c R 102e1 322.5 182e3 73.5 211e3 115e3 107e3 712e3 0.6 142.5
1018.88/1019.45 c R 102e1 322.4 182e3 73.5 211e3 116e3 107e3 712e3 0.4 142.8
1029.98/1030.54 c R 103e1 322.0 182e3 73.5 211e3 116e3 108e3 712e3 0.0 143.5
1044.88/1045.45 c s 104e1 321.5 182e3 73.5 211e3 117e3 109e3 712e3 0.7 144.6
1045.88/1046.45 c R 105e1 321.4 182e3 73.5 211e3 118e3 109e3 712e3 1.8 144.6
1049.28/1049.83 c R 105e1 321.2 182e3 73.5 211e3 118e3 109e3 712e3 1.3 144.8
1058.78/1059.31 c R 106e1 320.8 182e3 73.5 211e3 119e3 110e3 712e3 0.1 145.5
1080.56/1081.14 c R 108e1 319.9 182e3 73.5 211e3 121e3 112e3 712e3 1.0 147.1
1129.15/1129.78 c s 113e1 318.2 182e3 73.5 211e3 125e3 116e3 712e3 0.3 150.8
1130.64/1131.27 c R 113e1 318.1 182e3 73.5 211e3 125e3 116e3 712e3 0.2 150.9
1134.74/1135.31 c R 113e1 317.9 182e3 73.5 211e3 125e3 116e3 712e3 1.8 151.1
1142.33/1142.99 c R 114e1 317.4 182e3 73.5 211e3 126e3 117e3 712e3 1.7 151.9
1169.84/1170.47 c s 117e1 316.5 182e3 73.5 211e3 128e3 119e3 712e3 0.9 153.4
1171.33/1171.98 c R 117e1 316.4 182e3 73.5 211e3 128e3 119e3 712e3 0.0 153.5
1175.63/1176.28 c R 118e1 316.4 182e3 73.5 211e3 128e3 120e3 712e3 0.0 153.7
1185.92/1186.55 c R 119e1 315.9 182e3 73.5 211e3 129e3 120e3 712e3 0.2 154.4
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1580737-1238921646/watcher-1580737-1238921646 -o /tmp/evaluation-result-1580737-1238921646/solver-1580737-1238921646 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/picosat HOME/instance-1580737-1238921646.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/80 25839
/proc/meminfo: memFree=1705952/2055912 swapFree=4170592/4192956
[pid=25839] ppid=25837 vsize=19804 CPUtime=0
/proc/25839/stat : 25839 (picosat) R 25837 25839 25585 0 -1 4194304 768 0 0 0 0 0 0 0 18 0 1 0 1164828702 20279296 753 1992294400 134512640 135137933 4294956240 18446744073709551615 134532287 0 0 4096 0 0 0 0 17 0 0 0
/proc/25839/statm: 4951 754 53 152 0 4797 0
[startup+0.0434329 s]
/proc/loadavg: 1.00 1.00 1.00 3/80 25839
/proc/meminfo: memFree=1705952/2055912 swapFree=4170592/4192956
[pid=25839] ppid=25837 vsize=21596 CPUtime=0.04
/proc/25839/stat : 25839 (picosat) R 25837 25839 25585 0 -1 4194304 4938 0 0 0 2 2 0 0 18 0 1 0 1164828702 22114304 4923 1992294400 134512640 135137933 4294956240 18446744073709551615 134532201 0 0 4096 0 0 0 0 17 0 0 0
/proc/25839/statm: 5399 4929 53 152 0 5245 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 21596
[startup+0.102439 s]
/proc/loadavg: 1.00 1.00 1.00 3/80 25839
/proc/meminfo: memFree=1705952/2055912 swapFree=4170592/4192956
[pid=25839] ppid=25837 vsize=23192 CPUtime=0.09
/proc/25839/stat : 25839 (picosat) R 25837 25839 25585 0 -1 4194304 5496 0 0 0 7 2 0 0 18 0 1 0 1164828702 23748608 5481 1992294400 134512640 135137933 4294956240 18446744073709551615 134668310 0 0 4096 0 0 0 0 17 0 0 0
/proc/25839/statm: 5798 5481 56 152 0 5644 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23192
[startup+0.301456 s]
/proc/loadavg: 1.00 1.00 1.00 3/80 25839
/proc/meminfo: memFree=1705952/2055912 swapFree=4170592/4192956
[pid=25839] ppid=25837 vsize=27812 CPUtime=0.29
/proc/25839/stat : 25839 (picosat) R 25837 25839 25585 0 -1 4194304 6666 0 0 0 27 2 0 0 19 0 1 0 1164828702 28479488 6651 1992294400 134512640 135137933 4294956240 18446744073709551615 134668310 0 0 4096 0 0 0 0 17 0 0 0
/proc/25839/statm: 6953 6652 56 152 0 6799 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27812
[startup+0.702501 s]
/proc/loadavg: 1.00 1.00 1.00 3/80 25839
/proc/meminfo: memFree=1705952/2055912 swapFree=4170592/4192956
[pid=25839] ppid=25837 vsize=36776 CPUtime=0.69
/proc/25839/stat : 25839 (picosat) R 25837 25839 25585 0 -1 4194304 8887 0 0 0 65 4 0 0 24 0 1 0 1164828702 37658624 8872 1992294400 134512640 135137933 4294956240 18446744073709551615 134689438 0 0 4096 0 0 0 0 17 0 0 0
/proc/25839/statm: 9194 8872 56 152 0 9040 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36776
[startup+1.50159 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 25840
/proc/meminfo: memFree=1659352/2055912 swapFree=4170592/4192956
[pid=25839] ppid=25837 vsize=52476 CPUtime=1.49
/proc/25839/stat : 25839 (picosat) R 25837 25839 25585 0 -1 4194304 12603 0 0 0 143 6 0 0 25 0 1 0 1164828702 53735424 12588 1992294400 134512640 135137933 4294956240 18446744073709551615 134528992 0 0 4096 0 0 0 0 17 0 0 0
/proc/25839/statm: 13119 12588 61 152 0 12965 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 52476
[startup+3.10175 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 25840
/proc/meminfo: memFree=1655704/2055912 swapFree=4170592/4192956
[pid=25839] ppid=25837 vsize=53248 CPUtime=3.09
/proc/25839/stat : 25839 (picosat) R 25837 25839 25585 0 -1 4194304 12756 0 0 0 303 6 0 0 25 0 1 0 1164828702 54525952 12741 1992294400 134512640 135137933 4294956240 18446744073709551615 134548661 0 0 4096 0 0 0 0 17 0 0 0
/proc/25839/statm: 13312 12741 61 152 0 13158 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 53248
[startup+6.30108 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 25840
/proc/meminfo: memFree=1655064/2055912 swapFree=4170592/4192956
[pid=25839] ppid=25837 vsize=53760 CPUtime=6.29
/proc/25839/stat : 25839 (picosat) R 25837 25839 25585 0 -1 4194304 12805 0 0 0 623 6 0 0 25 0 1 0 1164828702 55050240 12790 1992294400 134512640 135137933 4294956240 18446744073709551615 134548661 0 0 4096 0 0 0 0 17 0 0 0
/proc/25839/statm: 13440 12790 69 152 0 13286 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 53760
[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 25840
/proc/meminfo: memFree=1654296/2055912 swapFree=4170592/4192956
[pid=25839] ppid=25837 vsize=54916 CPUtime=12.68
/proc/25839/stat : 25839 (picosat) R 25837 25839 25585 0 -1 4194304 12986 0 0 0 1262 6 0 0 25 0 1 0 1164828702 56233984 12971 1992294400 134512640 135137933 4294956240 18446744073709551615 134522725 0 0 4096 0 0 0 0 17 0 0 0
/proc/25839/statm: 13729 12971 69 152 0 13575 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 54916
[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 25840
/proc/meminfo: memFree=1653208/2055912 swapFree=4170592/4192956
[pid=25839] ppid=25837 vsize=56228 CPUtime=25.48
/proc/25839/stat : 25839 (picosat) R 25837 25839 25585 0 -1 4194304 13289 0 0 0 2541 7 0 0 25 0 1 0 1164828702 57577472 13274 1992294400 134512640 135137933 4294956240 18446744073709551615 134553651 0 0 4096 0 0 0 0 17 0 0 0
/proc/25839/statm: 14057 13274 69 152 0 13903 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 56228
[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 25840
/proc/meminfo: memFree=1649944/2055912 swapFree=4170592/4192956
[pid=25839] ppid=25837 vsize=59396 CPUtime=51.06
/proc/25839/stat : 25839 (picosat) R 25837 25839 25585 0 -1 4194304 14128 0 0 0 5098 8 0 0 25 0 1 0 1164828702 60821504 14113 1992294400 134512640 135137933 4294956240 18446744073709551615 134548801 0 0 4096 0 0 0 0 17 0 0 0
/proc/25839/statm: 14849 14113 69 152 0 14695 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 59396
[startup+102.307 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 25840
/proc/meminfo: memFree=1643032/2055912 swapFree=4170592/4192956
[pid=25839] ppid=25837 vsize=66376 CPUtime=102.24
/proc/25839/stat : 25839 (picosat) R 25837 25839 25585 0 -1 4194304 15756 0 0 0 10214 10 0 0 25 0 1 0 1164828702 67969024 15741 1992294400 134512640 135137933 4294956240 18446744073709551615 134554616 0 0 4096 0 0 0 0 17 0 0 0
/proc/25839/statm: 16594 15741 69 152 0 16440 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 66376
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 25840
/proc/meminfo: memFree=1634776/2055912 swapFree=4170592/4192956
[pid=25839] ppid=25837 vsize=74560 CPUtime=162.18
/proc/25839/stat : 25839 (picosat) R 25837 25839 25585 0 -1 4194304 17830 0 0 0 16206 12 0 0 25 0 1 0 1164828702 76349440 17815 1992294400 134512640 135137933 4294956240 18446744073709551615 134548661 0 0 4096 0 0 0 0 17 0 0 0
/proc/25839/statm: 18640 17815 69 152 0 18486 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 74560
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 25840
/proc/meminfo: memFree=1626008/2055912 swapFree=4170592/4192956
[pid=25839] ppid=25837 vsize=83184 CPUtime=222.15
/proc/25839/stat : 25839 (picosat) R 25837 25839 25585 0 -1 4194304 20016 0 0 0 22201 14 0 0 25 0 1 0 1164828702 85180416 20001 1992294400 134512640 135137933 4294956240 18446744073709551615 134548656 0 0 4096 0 0 0 0 17 0 0 0
/proc/25839/statm: 20796 20001 69 152 0 20642 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 83184
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 25840
/proc/meminfo: memFree=1617624/2055912 swapFree=4170592/4192956
[pid=25839] ppid=25837 vsize=91512 CPUtime=282.12
/proc/25839/stat : 25839 (picosat) R 25837 25839 25585 0 -1 4194304 22095 0 0 0 28195 17 0 0 25 0 1 0 1164828702 93708288 22080 1992294400 134512640 135137933 4294956240 18446744073709551615 134527844 0 0 4096 0 0 0 0 17 0 0 0
/proc/25839/statm: 22878 22080 69 152 0 22724 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 91512
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 25840
/proc/meminfo: memFree=1609176/2055912 swapFree=4170592/4192956
[pid=25839] ppid=25837 vsize=99984 CPUtime=342.09
/proc/25839/stat : 25839 (picosat) R 25837 25839 25585 0 -1 4194304 24184 0 0 0 34189 20 0 0 25 0 1 0 1164828702 102383616 24169 1992294400 134512640 135137933 4294956240 18446744073709551615 134552174 0 0 4096 0 0 0 0 17 0 0 0
/proc/25839/statm: 24996 24169 69 152 0 24842 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 99984
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 25840
/proc/meminfo: memFree=1603864/2055912 swapFree=4170592/4192956
[pid=25839] ppid=25837 vsize=105008 CPUtime=402.07
/proc/25839/stat : 25839 (picosat) R 25837 25839 25585 0 -1 4194304 25473 0 0 0 40185 22 0 0 25 0 1 0 1164828702 107528192 25458 1992294400 134512640 135137933 4294956240 18446744073709551615 134548606 0 0 4096 0 0 0 0 17 0 0 0
/proc/25839/statm: 26252 25458 69 152 0 26098 0
Current children cumulated CPU time (s) 402.07
Current children cumulated vsize (KiB) 105008
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 25846
/proc/meminfo: memFree=1598616/2055912 swapFree=4170592/4192956
[pid=25839] ppid=25837 vsize=110156 CPUtime=462.04
/proc/25839/stat : 25839 (picosat) R 25837 25839 25585 0 -1 4194304 26754 0 0 0 46180 24 0 0 25 0 1 0 1164828702 112799744 26739 1992294400 134512640 135137933 4294956240 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 0 0 0
/proc/25839/statm: 27539 26739 69 152 0 27385 0
Current children cumulated CPU time (s) 462.04
Current children cumulated vsize (KiB) 110156
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 25846
/proc/meminfo: memFree=1591128/2055912 swapFree=4170592/4192956
[pid=25839] ppid=25837 vsize=117560 CPUtime=522
/proc/25839/stat : 25839 (picosat) R 25837 25839 25585 0 -1 4194304 28618 0 0 0 52174 26 0 0 25 0 1 0 1164828702 120381440 28603 1992294400 134512640 135137933 4294956240 18446744073709551615 134548659 0 0 4096 0 0 0 0 17 0 0 0
/proc/25839/statm: 29390 28603 69 152 0 29236 0
Current children cumulated CPU time (s) 522
Current children cumulated vsize (KiB) 117560
[startup+582.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 25846
/proc/meminfo: memFree=1585176/2055912 swapFree=4170592/4192956
[pid=25839] ppid=25837 vsize=123372 CPUtime=581.98
/proc/25839/stat : 25839 (picosat) R 25837 25839 25585 0 -1 4194304 30066 0 0 0 58170 28 0 0 25 0 1 0 1164828702 126332928 30051 1992294400 134512640 135137933 4294956240 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 0 0 0
/proc/25839/statm: 30843 30051 69 152 0 30689 0
Current children cumulated CPU time (s) 581.98
Current children cumulated vsize (KiB) 123372
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 25846
/proc/meminfo: memFree=1579160/2055912 swapFree=4170592/4192956
[pid=25839] ppid=25837 vsize=129312 CPUtime=641.96
/proc/25839/stat : 25839 (picosat) R 25837 25839 25585 0 -1 4194304 31544 0 0 0 64166 30 0 0 25 0 1 0 1164828702 132415488 31529 1992294400 134512640 135137933 4294956240 18446744073709551615 134548661 0 0 4096 0 0 0 0 17 0 0 0
/proc/25839/statm: 32328 31529 69 152 0 32174 0
Current children cumulated CPU time (s) 641.96
Current children cumulated vsize (KiB) 129312
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 25846
/proc/meminfo: memFree=1574360/2055912 swapFree=4170592/4192956
[pid=25839] ppid=25837 vsize=133800 CPUtime=701.92
/proc/25839/stat : 25839 (picosat) R 25837 25839 25585 0 -1 4194304 32701 0 0 0 70161 31 0 0 25 0 1 0 1164828702 137011200 32686 1992294400 134512640 135137933 4294956240 18446744073709551615 134527871 0 0 4096 0 0 0 0 17 0 0 0
/proc/25839/statm: 33450 32686 69 152 0 33296 0
Current children cumulated CPU time (s) 701.92
Current children cumulated vsize (KiB) 133800
[startup+762.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 25846
/proc/meminfo: memFree=1570264/2055912 swapFree=4170592/4192956
[pid=25839] ppid=25837 vsize=137892 CPUtime=761.91
/proc/25839/stat : 25839 (picosat) R 25837 25839 25585 0 -1 4194304 33708 0 0 0 76158 33 0 0 25 0 1 0 1164828702 141201408 33693 1992294400 134512640 135137933 4294956240 18446744073709551615 134569763 0 0 4096 0 0 0 0 17 0 0 0
/proc/25839/statm: 34473 33693 69 152 0 34319 0
Current children cumulated CPU time (s) 761.91
Current children cumulated vsize (KiB) 137892
[startup+822.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 25846
/proc/meminfo: memFree=1564696/2055912 swapFree=4170592/4192956
[pid=25839] ppid=25837 vsize=143308 CPUtime=821.88
/proc/25839/stat : 25839 (picosat) R 25837 25839 25585 0 -1 4194304 35077 0 0 0 82154 34 0 0 25 0 1 0 1164828702 146747392 35062 1992294400 134512640 135137933 4294956240 18446744073709551615 134527844 0 0 4096 0 0 0 0 17 0 0 0
/proc/25839/statm: 35827 35062 69 152 0 35673 0
Current children cumulated CPU time (s) 821.88
Current children cumulated vsize (KiB) 143308
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 25846
/proc/meminfo: memFree=1561240/2055912 swapFree=4170592/4192956
[pid=25839] ppid=25837 vsize=146740 CPUtime=881.84
/proc/25839/stat : 25839 (picosat) R 25837 25839 25585 0 -1 4194304 35935 0 0 0 88149 35 0 0 25 0 1 0 1164828702 150261760 35920 1992294400 134512640 135137933 4294956240 18446744073709551615 134549147 0 0 4096 0 0 0 0 17 0 0 0
/proc/25839/statm: 36685 35920 69 152 0 36531 0
Current children cumulated CPU time (s) 881.84
Current children cumulated vsize (KiB) 146740
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 25846
/proc/meminfo: memFree=1558936/2055912 swapFree=4170592/4192956
[pid=25839] ppid=25837 vsize=148984 CPUtime=941.82
/proc/25839/stat : 25839 (picosat) R 25837 25839 25585 0 -1 4194304 36495 0 0 0 94145 37 0 0 25 0 1 0 1164828702 152559616 36480 1992294400 134512640 135137933 4294956240 18446744073709551615 134527739 0 0 4096 0 0 0 0 17 0 0 0
/proc/25839/statm: 37246 36480 69 152 0 37092 0
Current children cumulated CPU time (s) 941.82
Current children cumulated vsize (KiB) 148984
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 25846
/proc/meminfo: memFree=1554648/2055912 swapFree=4170592/4192956
[pid=25839] ppid=25837 vsize=153212 CPUtime=1001.8
/proc/25839/stat : 25839 (picosat) R 25837 25839 25585 0 -1 4194304 37549 0 0 0 100142 38 0 0 25 0 1 0 1164828702 156889088 37534 1992294400 134512640 135137933 4294956240 18446744073709551615 134548643 0 0 4096 0 0 0 0 17 0 0 0
/proc/25839/statm: 38303 37534 69 152 0 38149 0
Current children cumulated CPU time (s) 1001.8
Current children cumulated vsize (KiB) 153212
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 25846
/proc/meminfo: memFree=1550616/2055912 swapFree=4170592/4192956
[pid=25839] ppid=25837 vsize=157172 CPUtime=1061.77
/proc/25839/stat : 25839 (picosat) R 25837 25839 25585 0 -1 4194304 38566 0 0 0 106138 39 0 0 25 0 1 0 1164828702 160944128 38551 1992294400 134512640 135137933 4294956240 18446744073709551615 134547446 0 0 4096 0 0 0 0 17 0 0 0
/proc/25839/statm: 39293 38551 69 152 0 39139 0
Current children cumulated CPU time (s) 1061.77
Current children cumulated vsize (KiB) 157172
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 25846
/proc/meminfo: memFree=1545816/2055912 swapFree=4170592/4192956
[pid=25839] ppid=25837 vsize=161924 CPUtime=1121.75
/proc/25839/stat : 25839 (picosat) R 25837 25839 25585 0 -1 4194304 39745 0 0 0 112134 41 0 0 25 0 1 0 1164828702 165810176 39730 1992294400 134512640 135137933 4294956240 18446744073709551615 134548647 0 0 4096 0 0 0 0 17 0 0 0
/proc/25839/statm: 40481 39730 69 152 0 40327 0
Current children cumulated CPU time (s) 1121.75
Current children cumulated vsize (KiB) 161924
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 25846
/proc/meminfo: memFree=1541784/2055912 swapFree=4170592/4192956
[pid=25839] ppid=25837 vsize=165884 CPUtime=1181.73
/proc/25839/stat : 25839 (picosat) R 25837 25839 25585 0 -1 4194304 40748 0 0 0 118131 42 0 0 25 0 1 0 1164828702 169865216 40733 1992294400 134512640 135137933 4294956240 18446744073709551615 134522698 0 0 4096 0 0 0 0 17 0 0 0
/proc/25839/statm: 41471 40733 69 152 0 41317 0
Current children cumulated CPU time (s) 1181.73
Current children cumulated vsize (KiB) 165884
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 25846
/proc/meminfo: memFree=1539800/2055912 swapFree=4170592/4192956
[pid=25839] ppid=25837 vsize=167732 CPUtime=1200.02
/proc/25839/stat : 25839 (picosat) R 25837 25839 25585 0 -1 4194304 41206 0 0 0 119960 42 0 0 25 0 1 0 1164828702 171757568 41191 1992294400 134512640 135137933 4294956240 18446744073709551615 134548608 0 0 4096 0 0 0 0 17 0 0 0
/proc/25839/statm: 41933 41191 69 152 0 41779 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 167732
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): 1200.63
CPU time (s): 1200.05
CPU user time (s): 1199.6
CPU system time (s): 0.449931
CPU usage (%): 99.9516
Max. virtual memory (cumulated for all children) (KiB): 167732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.6
system time used= 0.449931
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41206
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= 5282
runsolver used 1.50777 second user time and 4.01139 second system time
The end
Begin job on node78 at 2009-04-05 10:54:08
IDJOB=1580737
IDBENCH=71023
IDSOLVER=506
FILE ID=node78/1580737-1238921646
PBS_JOBID= 9101394
Free space on /tmp= 126824 MiB
SOLVER NAME= picosat 913
BENCH NAME= SAT09/APPLICATIONS/diagnosis/ACG-20-5p1.cnf
COMMAND LINE= HOME/picosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1580737-1238921646/watcher-1580737-1238921646 -o /tmp/evaluation-result-1580737-1238921646/solver-1580737-1238921646 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/picosat HOME/instance-1580737-1238921646.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 8eb175d312e8be3bb4695a79b8f45bdc
RANDOM SEED=1298488784
node78.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: 2055912 kB
MemFree: 1706368 kB
Buffers: 19524 kB
Cached: 243108 kB
SwapCached: 7668 kB
Active: 79288 kB
Inactive: 193644 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055912 kB
LowFree: 1706368 kB
SwapTotal: 4192956 kB
SwapFree: 4170592 kB
Dirty: 26920 kB
Writeback: 0 kB
Mapped: 15984 kB
Slab: 60796 kB
Committed_AS: 3046896 kB
PageTables: 2568 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 126824 MiB
End job on node78 at 2009-04-05 11:14:11