Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
toysat 2012-06-01 | ? (TO) | 1800.09 | 1800.41 |
Name | /OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/ 10orplus/normalized-evolution-dev.cudf.paranoid.opb |
MD5SUM | 936dd9c91ca1d73fea84b29056b5486e |
Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 197900 |
Best CPU time to get the best result obtained on this benchmark | 1130.86 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 19789 |
Total number of constraints | 96508 |
Number of constraints which are clauses | 94939 |
Number of constraints which are cardinality constraints (but not clauses) | 1569 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 2962 |
Number of terms in the objective function | 7258 |
Biggest coefficient in the objective function | 4300 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 12732298 |
Number of bits of the sum of numbers in the objective function | 24 |
Biggest number in a constraint | 4300 |
Number of bits of the biggest number in a constraint | 13 |
Biggest sum of numbers in a constraint | 12732298 |
Number of bits of the biggest sum of numbers | 24 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
8.19/8.23 c 2012-06-02T14:41:10+0200 8.19/8.23 c arch = x86_64 8.19/8.23 c os = linux 8.19/8.23 c compiler = ghc 7.4 8.19/8.23 c packages: 8.19/8.23 c OptDir-0.0.1 8.19/8.23 c array-0.4.0.0 8.19/8.23 c base-4.5.0.0 8.19/8.23 c bytestring-0.9.2.1 8.19/8.23 c containers-0.4.2.1 8.19/8.23 c deepseq-1.3.0.0 8.19/8.23 c mtl-2.1.1 8.19/8.23 c old_locale-1.0.0.4 8.19/8.23 c parse_dimacs-1.2 8.19/8.23 c parsec-3.1.2 8.19/8.23 c queue-0.1.2 8.19/8.23 c stm-2.3 8.19/8.23 c time-1.4 8.19/8.23 c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3724670-1338640870.opb"] 8.19/8.23 c #vars 19789 8.19/8.23 c #constraints 96508 8.19/8.23 c Solving starts ... 9.19/9.29 c solving time = 0.975s 9.19/9.29 c #decision = 75182 9.19/9.29 c #conflict = 59 9.19/9.29 c #restart = 0 9.19/9.29 o 232394 9.29/9.30 c Solving starts ... 9.48/9.50 c solving time = 0.180s 9.48/9.50 c #decision = 85019 9.48/9.50 c #conflict = 61 9.48/9.50 c #restart = 0 9.48/9.50 o 232391 9.48/9.51 c Solving starts ... 9.90/9.92 c solving time = 0.392s 9.90/9.92 c #decision = 92794 9.90/9.92 c #conflict = 63 9.90/9.92 c #restart = 0 9.90/9.92 o 232388 9.90/9.93 c Solving starts ... 10.39/10.44 c solving time = 0.492s 10.39/10.44 c #decision = 101811 10.39/10.44 c #conflict = 65 10.39/10.44 c #restart = 0 10.39/10.44 o 232386 10.49/10.52 c Solving starts ... 11.00/11.01 c solving time = 0.477s 11.00/11.01 c #decision = 109466 11.00/11.01 c #conflict = 66 11.00/11.01 c #restart = 0 11.00/11.01 o 232384 11.00/11.02 c Solving starts ... 12.79/12.82 c solving time = 1.781s 12.79/12.82 c #decision = 123279 12.79/12.82 c #conflict = 74 12.79/12.82 c #restart = 0 12.79/12.82 o 232383 12.79/12.83 c Solving starts ... 13.48/13.58 c solving time = 0.739s 13.48/13.58 c #decision = 129046 13.48/13.58 c #conflict = 75 13.48/13.58 c #restart = 0 13.48/13.59 o 232382 13.58/13.60 c Solving starts ... 16.39/16.41 c solving time = 2.787s 16.39/16.41 c #decision = 135753 16.39/16.41 c #conflict = 86 16.39/16.41 c #restart = 0 16.39/16.41 o 232381 16.39/16.42 c Solving starts ... 17.68/17.78 c solving time = 1.349s 17.68/17.78 c #decision = 139385 17.68/17.78 c #conflict = 87 17.68/17.78 c #restart = 0 17.68/17.78 o 232380 17.78/17.80 c Solving starts ... 19.18/19.22 c solving time = 1.406s 19.18/19.22 c #decision = 142962 19.18/19.22 c #conflict = 88 19.18/19.22 c #restart = 0 19.18/19.22 o 232379 19.18/19.23 c Solving starts ... 26.77/26.82 c solving time = 7.572s 26.77/26.82 c #decision = 153798 26.77/26.82 c #conflict = 134 26.77/26.82 c #restart = 0 26.77/26.82 o 232378 26.77/26.84 c Solving starts ... 28.17/28.25 c solving time = 1.398s 28.17/28.25 c #decision = 156808 28.17/28.25 c #conflict = 140 28.17/28.25 c #restart = 0 28.17/28.25 o 232377 28.17/28.26 c Solving starts ... 29.07/29.13 c solving time = 0.854s 29.07/29.13 c #decision = 159776 29.07/29.13 c #conflict = 145 29.07/29.13 c #restart = 0 29.07/29.13 o 232376 29.07/29.14 c Solving starts ... 29.78/29.86 c solving time = 0.708s 29.78/29.86 c #decision = 162740 29.78/29.86 c #conflict = 146 29.78/29.86 c #restart = 0 29.78/29.86 o 232375 29.78/29.88 c Solving starts ... 30.57/30.67 c solving time = 0.778s 30.57/30.67 c #decision = 165700 30.57/30.67 c #conflict = 147 30.57/30.67 c #restart = 0 30.57/30.67 o 232374 30.68/30.75 c Solving starts ... 31.58/31.63 c solving time = 0.866s 31.58/31.63 c #decision = 168657 31.58/31.63 c #conflict = 148 31.58/31.63 c #restart = 0 31.58/31.63 o 232373 31.58/31.65 c Solving starts ... 32.57/32.60 c solving time = 0.944s 32.57/32.60 c #decision = 171615 32.57/32.60 c #conflict = 149 32.57/32.60 c #restart = 0 32.57/32.60 o 232372 32.57/32.62 c Solving starts ... 33.68/33.71 c solving time = 1.077s 33.68/33.71 c #decision = 174573 33.68/33.71 c #conflict = 150 33.68/33.71 c #restart = 0 33.68/33.71 o 232371 33.68/33.72 c Solving starts ... 34.67/34.70 c solving time = 0.969s 34.67/34.70 c #decision = 177531 34.67/34.70 c #conflict = 151 34.67/34.70 c #restart = 0 34.67/34.70 o 232370 34.67/34.71 c Solving starts ... 35.87/35.94 c solving time = 1.215s 35.87/35.94 c #decision = 180487 35.87/35.94 c #conflict = 155 35.87/35.94 c #restart = 0 35.87/35.94 o 232369 35.87/35.96 c Solving starts ... 36.97/37.05 c solving time = 1.083s 36.97/37.05 c #decision = 183442 36.97/37.05 c #conflict = 156 36.97/37.05 c #restart = 0 36.97/37.05 o 232368 37.07/37.14 c Solving starts ... 38.38/38.41 c solving time = 1.255s 38.38/38.41 c #decision = 186400 38.38/38.41 c #conflict = 160 38.38/38.41 c #restart = 0 38.38/38.41 o 232367 38.38/38.42 c Solving starts ... 39.67/39.72 c solving time = 1.282s 39.67/39.72 c #decision = 189355 39.67/39.72 c #conflict = 161 39.67/39.72 c #restart = 0 39.67/39.72 o 232366 39.67/39.73 c Solving starts ... 40.97/41.03 c solving time = 1.289s 40.97/41.03 c #decision = 192313 40.97/41.03 c #conflict = 164 40.97/41.03 c #restart = 0 40.97/41.04 o 232365 40.97/41.05 c Solving starts ... 42.37/42.41 c solving time = 1.346s 42.37/42.41 c #decision = 195267 42.37/42.41 c #conflict = 165 42.37/42.41 c #restart = 0 42.37/42.41 o 232364 42.37/42.42 c Solving starts ... 43.77/43.82 c solving time = 1.387s 43.77/43.82 c #decision = 198221 43.77/43.82 c #conflict = 168 43.77/43.82 c #restart = 0 43.77/43.82 o 232363 43.77/43.83 c Solving starts ... 45.17/45.27 c solving time = 1.422s 45.17/45.27 c #decision = 201174 45.17/45.27 c #conflict = 169 45.17/45.27 c #restart = 0 45.17/45.27 o 232362 45.17/45.28 c Solving starts ... 46.67/46.79 c solving time = 1.494s 46.67/46.79 c #decision = 204131 46.67/46.79 c #conflict = 173 46.67/46.79 c #restart = 0 46.67/46.79 o 232361 46.77/46.80 c Solving starts ... 48.28/48.32 c solving time = 1.511s 48.28/48.32 c #decision = 207084 48.28/48.32 c #conflict = 174 48.28/48.32 c #restart = 0 48.28/48.32 o 232360 48.28/48.34 c Solving starts ... 49.87/49.93 c solving time = 1.578s 49.87/49.93 c #decision = 210039 49.87/49.93 c #conflict = 178 49.87/49.93 c #restart = 0 49.87/49.93 o 232359 49.97/50.02 c Solving starts ... 80.77/80.83 c solving time = 30.790s 80.77/80.83 c #decision = 223172 80.77/80.83 c #conflict = 344 80.77/80.83 c #restart = 1 80.77/80.83 o 228112 80.87/80.93 c Solving starts ... 83.36/83.43 c solving time = 2.490s 83.36/83.43 c #decision = 226084 83.36/83.43 c #conflict = 345 83.36/83.43 c #restart = 1 83.36/83.43 o 228111 83.36/83.44 c Solving starts ... 85.97/86.05 c solving time = 2.590s 85.97/86.05 c #decision = 229002 85.97/86.05 c #conflict = 346 85.97/86.05 c #restart = 1 85.97/86.05 o 228110 85.97/86.06 c Solving starts ... 88.76/88.80 c solving time = 2.726s 88.76/88.80 c #decision = 234178 88.76/88.80 c #conflict = 349 88.76/88.80 c #restart = 1 88.76/88.80 o 228108 88.76/88.81 c Solving starts ... 91.57/91.61 c solving time = 2.782s 91.57/91.61 c #decision = 237113 91.57/91.61 c #conflict = 350 91.57/91.61 c #restart = 1 91.57/91.61 o 228107 91.57/91.62 c Solving starts ... 94.36/94.46 c solving time = 2.825s 94.36/94.46 c #decision = 240042 94.36/94.46 c #conflict = 351 94.36/94.46 c #restart = 1 94.36/94.46 o 228106 94.36/94.47 c Solving starts ... 97.26/97.35 c solving time = 2.862s 97.26/97.35 c #decision = 245216 97.26/97.35 c #conflict = 355 97.26/97.35 c #restart = 1 97.26/97.35 o 228104 97.26/97.36 c Solving starts ... 100.16/100.25 c solving time = 2.871s 100.16/100.25 c #decision = 248142 100.16/100.25 c #conflict = 356 100.16/100.25 c #restart = 1 100.16/100.25 o 228103 100.26/100.35 c Solving starts ... 103.16/103.23 c solving time = 2.868s 103.16/103.23 c #decision = 251068 103.16/103.23 c #conflict = 357 103.16/103.23 c #restart = 1 103.16/103.23 o 228102 103.26/103.33 c Solving starts ... 106.16/106.21 c solving time = 2.865s 106.16/106.21 c #decision = 253992 106.16/106.21 c #conflict = 358 106.16/106.21 c #restart = 1 106.16/106.21 o 228101 106.16/106.22 c Solving starts ... 109.16/109.25 c solving time = 3.012s 109.16/109.25 c #decision = 256913 109.16/109.25 c #conflict = 359 109.16/109.25 c #restart = 1 109.16/109.25 o 228100 109.16/109.26 c Solving starts ... 112.26/112.36 c solving time = 3.081s 112.26/112.36 c #decision = 262077 112.26/112.36 c #conflict = 360 112.26/112.36 c #restart = 1 112.26/112.36 o 228098 112.26/112.37 c Solving starts ... 115.46/115.52 c solving time = 3.140s 115.46/115.52 c #decision = 265006 115.46/115.52 c #conflict = 361 115.46/115.52 c #restart = 1 115.46/115.52 o 228097 115.46/115.54 c Solving starts ... 119.86/119.91 c solving time = 4.356s 119.86/119.91 c #decision = 268064 119.86/119.91 c #conflict = 364 119.86/119.91 c #restart = 1 119.86/119.91 o 228096 119.86/119.92 c Solving starts ... 122.26/122.38 c solving time = 2.450s 122.26/122.38 c #decision = 271034 122.26/122.38 c #conflict = 364 122.26/122.38 c #restart = 1 122.26/122.38 o 228095 122.36/122.40 c Solving starts ... 126.16/126.27 c solving time = 3.861s 126.16/126.27 c #decision = 274080 126.16/126.27 c #conflict = 382 126.16/126.27 c #restart = 1 126.16/126.27 o 228094 126.16/126.28 c Solving starts ... 132.36/132.45 c solving time = 6.146s 132.36/132.45 c #decision = 277164 132.36/132.45 c #conflict = 403 132.36/132.45 c #restart = 1 132.36/132.45 o 228093 132.36/132.46 c Solving starts ... 135.05/135.17 c solving time = 2.698s 135.05/135.17 c #decision = 280120 135.05/135.17 c #conflict = 404 135.05/135.17 c #restart = 1 135.05/135.17 o 228092 135.05/135.18 c Solving starts ... 139.35/139.41 c solving time = 4.218s 139.35/139.41 c #decision = 283106 139.35/139.41 c #conflict = 422 139.35/139.41 c #restart = 1 139.35/139.41 o 228091 139.35/139.43 c Solving starts ... 144.06/144.12 c solving time = 4.680s 144.06/144.12 c #decision = 286075 144.06/144.12 c #conflict = 430 144.06/144.12 c #restart = 1 144.06/144.12 o 228090 144.06/144.13 c Solving starts ... 147.45/147.56 c solving time = 3.409s 147.45/147.56 c #decision = 289009 147.45/147.56 c #conflict = 431 147.45/147.56 c #restart = 1 147.45/147.56 o 228089 147.45/147.57 c Solving starts ... 150.75/150.82 c solving time = 3.238s 150.75/150.82 c #decision = 291920 150.75/150.82 c #conflict = 432 150.75/150.82 c #restart = 1 150.75/150.82 o 228088 150.75/150.83 c Solving starts ... 154.05/154.11 c solving time = 3.261s 154.05/154.11 c #decision = 294833 154.05/154.11 c #conflict = 433 154.05/154.11 c #restart = 1 154.05/154.11 o 228087 154.05/154.12 c Solving starts ... 157.35/157.48 c solving time = 3.346s 157.35/157.48 c #decision = 297744 157.35/157.48 c #conflict = 434 157.35/157.48 c #restart = 1 157.35/157.48 o 228086 157.45/157.50 c Solving starts ... 160.75/160.84 c solving time = 3.331s 160.75/160.84 c #decision = 300657 160.75/160.84 c #conflict = 435 160.75/160.84 c #restart = 1 160.75/160.84 o 228085 160.75/160.85 c Solving starts ... 164.15/164.27 c solving time = 3.402s 164.15/164.27 c #decision = 303567 164.15/164.27 c #conflict = 436 164.15/164.27 c #restart = 1 164.15/164.27 o 228084 164.15/164.28 c Solving starts ... 167.65/167.71 c solving time = 3.411s 167.65/167.71 c #decision = 306477 167.65/167.71 c #conflict = 437 167.65/167.71 c #restart = 1 167.65/167.71 o 228083 167.65/167.72 c Solving starts ... 171.15/171.26 c solving time = 3.519s 171.15/171.26 c #decision = 309388 171.15/171.26 c #conflict = 438 171.15/171.26 c #restart = 1 171.15/171.26 o 228082 171.15/171.27 c Solving starts ... 174.64/174.78 c solving time = 3.497s 174.64/174.78 c #decision = 312298 174.64/174.78 c #conflict = 439 174.64/174.78 c #restart = 1 174.64/174.78 o 228081 174.64/174.80 c Solving starts ... 178.25/178.39 c solving time = 3.575s 178.25/178.39 c #decision = 315207 178.25/178.39 c #conflict = 440 178.25/178.39 c #restart = 1 178.25/178.39 o 228080 178.35/178.40 c Solving starts ... 181.84/181.98 c solving time = 3.569s 181.84/181.98 c #decision = 318114 181.84/181.98 c #conflict = 441 181.84/181.98 c #restart = 1 181.84/181.98 o 228079 181.84/181.99 c Solving starts ... 185.55/185.66 c solving time = 3.653s 185.55/185.66 c #decision = 321021 185.55/185.66 c #conflict = 442 185.55/185.66 c #restart = 1 185.55/185.66 o 228078 185.55/185.68 c Solving starts ... 204.95/205.07 c solving time = 19.374s 204.95/205.07 c #decision = 324933 204.95/205.07 c #conflict = 501 204.95/205.07 c #restart = 1 204.95/205.07 o 228077 205.04/205.18 c Solving starts ... 208.44/208.59 c solving time = 3.403s 208.44/208.59 c #decision = 327893 208.44/208.59 c #conflict = 502 208.44/208.59 c #restart = 1 208.44/208.59 o 228076 208.54/208.60 c Solving starts ... 212.25/212.31 c solving time = 3.686s 212.25/212.31 c #decision = 330834 212.25/212.31 c #conflict = 503 212.25/212.31 c #restart = 1 212.25/212.31 o 228075 212.25/212.32 c Solving starts ... 216.04/216.16 c solving time = 3.826s 216.04/216.16 c #decision = 333769 216.04/216.16 c #conflict = 504 216.04/216.16 c #restart = 1 216.04/216.16 o 228074 216.04/216.17 c Solving starts ... 219.84/219.96 c solving time = 3.772s 219.84/219.96 c #decision = 336697 219.84/219.96 c #conflict = 505 219.84/219.96 c #restart = 1 219.84/219.96 o 228073 219.84/219.97 c Solving starts ... 223.74/223.84 c solving time = 3.849s 223.74/223.84 c #decision = 341871 223.74/223.84 c #conflict = 506 223.74/223.84 c #restart = 1 223.74/223.84 o 228069 223.74/223.85 c Solving starts ... 227.54/227.64 c solving time = 3.775s 227.54/227.64 c #decision = 344795 227.54/227.64 c #conflict = 507 227.54/227.64 c #restart = 1 227.54/227.64 o 228068 227.54/227.65 c Solving starts ... 231.44/231.52 c solving time = 3.855s 231.44/231.52 c #decision = 347719 231.44/231.52 c #conflict = 508 231.44/231.52 c #restart = 1 231.44/231.52 o 228067 231.44/231.54 c Solving starts ... 235.25/235.39 c solving time = 3.839s 235.25/235.39 c #decision = 350639 235.25/235.39 c #conflict = 509 235.25/235.39 c #restart = 1 235.25/235.39 o 228066 235.35/235.40 c Solving starts ... 239.24/239.32 c solving time = 3.907s 239.24/239.32 c #decision = 353553 239.24/239.32 c #conflict = 510 239.24/239.32 c #restart = 1 239.24/239.32 o 228065 239.24/239.34 c Solving starts ... 243.13/243.24 c solving time = 3.887s 243.13/243.24 c #decision = 356466 243.13/243.24 c #conflict = 511 243.13/243.24 c #restart = 1 243.13/243.24 o 228064 243.13/243.25 c Solving starts ... 247.24/247.32 c solving time = 4.060s 247.24/247.32 c #decision = 359380 247.24/247.33 c #conflict = 513 247.24/247.33 c #restart = 1 247.24/247.33 o 228063 247.24/247.34 c Solving starts ... 251.14/251.29 c solving time = 3.938s 251.14/251.29 c #decision = 362291 251.14/251.29 c #conflict = 514 251.14/251.29 c #restart = 1 251.14/251.29 o 228062 251.24/251.30 c Solving starts ... 255.23/255.31 c solving time = 3.989s 255.23/255.31 c #decision = 365197 255.23/255.31 c #conflict = 515 255.23/255.31 c #restart = 1 255.23/255.31 o 228061 255.23/255.32 c Solving starts ... 267.43/267.54 c solving time = 12.201s 267.43/267.54 c #decision = 368192 267.43/267.54 c #conflict = 540 267.43/267.54 c #restart = 1 267.43/267.54 o 228060 267.43/267.55 c Solving starts ... 271.54/271.60 c solving time = 4.038s 271.54/271.60 c #decision = 373354 271.54/271.60 c #conflict = 541 271.54/271.60 c #restart = 1 271.54/271.60 o 228058 271.54/271.62 c Solving starts ... 313.73/313.83 c solving time = 42.187s 313.73/313.83 c #decision = 379920 313.73/313.83 c #conflict = 629 313.73/313.83 c #restart = 1 313.73/313.83 o 223779 313.73/313.84 c Solving starts ... 318.22/318.36 c solving time = 4.504s 318.22/318.36 c #decision = 382841 318.22/318.36 c #conflict = 630 318.22/318.36 c #restart = 1 318.22/318.36 o 223778 318.22/318.37 c Solving starts ... 322.83/322.98 c solving time = 4.595s 322.83/322.98 c #decision = 385767 322.83/322.98 c #conflict = 631 322.83/322.98 c #restart = 1 322.83/322.98 o 223777 322.83/322.99 c Solving starts ... 327.53/327.62 c solving time = 4.614s 327.53/327.62 c #decision = 388690 327.53/327.62 c #conflict = 632 327.53/327.62 c #restart = 1 327.53/327.62 o 223776 327.63/327.74 c Solving starts ... 332.22/332.30 c solving time = 4.544s 332.22/332.30 c #decision = 391606 332.22/332.30 c #conflict = 633 332.22/332.30 c #restart = 1 332.22/332.30 o 223775 332.22/332.31 c Solving starts ... 336.82/336.98 c solving time = 4.651s 336.82/336.98 c #decision = 394517 336.82/336.98 c #conflict = 634 336.82/336.98 c #restart = 1 336.82/336.98 o 223774 336.82/336.99 c Solving starts ... 341.52/341.68 c solving time = 4.672s 341.52/341.68 c #decision = 397430 341.52/341.68 c #conflict = 635 341.52/341.68 c #restart = 1 341.52/341.68 o 223773 341.52/341.69 c Solving starts ... 346.32/346.43 c solving time = 4.723s 346.32/346.43 c #decision = 400339 346.32/346.43 c #conflict = 636 346.32/346.43 c #restart = 1 346.32/346.43 o 223772 346.32/346.44 c Solving starts ... 351.11/351.23 c solving time = 4.769s 351.11/351.23 c #decision = 403251 351.11/351.23 c #conflict = 637 351.11/351.23 c #restart = 1 351.11/351.23 o 223771 351.11/351.24 c Solving starts ... 355.92/356.07 c solving time = 4.809s 355.92/356.07 c #decision = 406160 355.92/356.07 c #conflict = 638 355.92/356.07 c #restart = 1 355.92/356.07 o 223770 355.92/356.08 c Solving starts ... 360.82/360.97 c solving time = 4.876s 360.82/360.97 c #decision = 409072 360.82/360.97 c #conflict = 639 360.82/360.97 c #restart = 1 360.82/360.97 o 223769 360.82/360.98 c Solving starts ... 365.82/365.97 c solving time = 4.968s 365.82/365.97 c #decision = 411980 365.82/365.97 c #conflict = 640 365.82/365.97 c #restart = 1 365.82/365.97 o 223768 365.82/365.98 c Solving starts ... 370.72/370.83 c solving time = 4.838s 370.72/370.83 c #decision = 414891 370.72/370.83 c #conflict = 641 370.72/370.83 c #restart = 1 370.72/370.83 o 223767 370.72/370.85 c Solving starts ... 375.61/375.74 c solving time = 4.876s 375.61/375.74 c #decision = 417798 375.61/375.74 c #conflict = 642 375.61/375.74 c #restart = 1 375.61/375.74 o 223766 375.61/375.75 c Solving starts ... 381.42/381.53 c solving time = 5.765s 381.42/381.53 c #decision = 423013 381.42/381.53 c #conflict = 643 381.42/381.53 c #restart = 1 381.42/381.53 o 223764 381.42/381.55 c Solving starts ... 386.22/386.33 c solving time = 4.773s 386.22/386.33 c #decision = 425966 386.22/386.33 c #conflict = 647 386.22/386.33 c #restart = 1 386.22/386.33 o 223763 386.22/386.34 c Solving starts ... 390.91/391.05 c solving time = 4.691s 390.91/391.05 c #decision = 428914 390.91/391.05 c #conflict = 651 390.91/391.05 c #restart = 1 390.91/391.05 o 223762 390.91/391.06 c Solving starts ... 403.41/403.53 c solving time = 12.451s 403.41/403.53 c #decision = 431945 403.41/403.53 c #conflict = 673 403.41/403.53 c #restart = 1 403.41/403.53 o 223761 403.52/403.66 c Solving starts ... 408.11/408.20 c solving time = 4.529s 408.11/408.20 c #decision = 434862 408.11/408.20 c #conflict = 674 408.11/408.20 c #restart = 1 408.11/408.20 o 223760 408.11/408.22 c Solving starts ... 412.71/412.83 c solving time = 4.595s 412.71/412.83 c #decision = 437778 412.71/412.83 c #conflict = 675 412.71/412.83 c #restart = 1 412.71/412.83 o 223759 412.71/412.84 c Solving starts ... 418.71/418.87 c solving time = 6.013s 418.71/418.87 c #decision = 440707 418.71/418.87 c #conflict = 678 418.71/418.87 c #restart = 1 418.71/418.87 o 223758 418.71/418.88 c Solving starts ... 423.81/423.94 c solving time = 5.047s 423.81/423.94 c #decision = 443619 423.81/423.94 c #conflict = 679 423.81/423.94 c #restart = 1 423.81/423.94 o 223757 423.81/423.96 c Solving starts ... 560.49/560.66 c solving time = 136.663s 560.49/560.66 c #decision = 447474 560.49/560.66 c #conflict = 936 560.49/560.66 c #restart = 3 560.49/560.66 o 223756 560.49/560.67 c Solving starts ... 567.08/567.23 c solving time = 6.546s 567.08/567.23 c #decision = 450413 567.08/567.23 c #conflict = 942 567.08/567.23 c #restart = 3 567.08/567.23 o 223755 567.08/567.24 c Solving starts ... 572.28/572.41 c solving time = 5.154s 572.28/572.41 c #decision = 453336 572.28/572.41 c #conflict = 943 572.28/572.41 c #restart = 3 572.28/572.41 o 223754 572.28/572.42 c Solving starts ... 577.48/577.69 c solving time = 5.252s 577.48/577.69 c #decision = 456260 577.48/577.69 c #conflict = 944 577.48/577.69 c #restart = 3 577.48/577.69 o 223753 577.58/577.71 c Solving starts ... 582.68/582.82 c solving time = 5.102s 582.68/582.82 c #decision = 459183 582.68/582.82 c #conflict = 945 582.68/582.82 c #restart = 3 582.68/582.83 o 223752 582.68/582.84 c Solving starts ... 587.78/587.94 c solving time = 5.089s 587.78/587.94 c #decision = 462104 587.78/587.94 c #conflict = 946 587.78/587.94 c #restart = 3 587.78/587.94 o 223751 587.78/587.95 c Solving starts ... 606.68/606.85 c solving time = 18.883s 606.68/606.85 c #decision = 465116 606.68/606.85 c #conflict = 954 606.68/606.85 c #restart = 3 606.68/606.85 o 223750 606.68/606.87 c Solving starts ... 618.88/619.09 c solving time = 12.203s 618.88/619.09 c #decision = 468067 618.88/619.09 c #conflict = 965 618.88/619.09 c #restart = 3 618.88/619.09 o 223749 618.98/619.10 c Solving starts ... 693.36/693.54 c solving time = 74.416s 693.36/693.54 c #decision = 471475 693.36/693.54 c #conflict = 1076 693.36/693.54 c #restart = 4 693.36/693.54 o 223748 693.36/693.55 c Solving starts ... 805.15/805.34 c solving time = 111.756s 805.15/805.34 c #decision = 499291 805.15/805.34 c #conflict = 1193 805.15/805.34 c #restart = 5 805.15/805.34 o 219557 805.25/805.49 c Solving starts ... 813.75/813.94 c solving time = 8.439s 813.75/813.94 c #decision = 502194 813.75/813.94 c #conflict = 1194 813.75/813.94 c #restart = 5 813.75/813.94 o 219556 813.75/813.96 c Solving starts ... 823.05/823.29 c solving time = 9.319s 823.05/823.29 c #decision = 505109 823.05/823.29 c #conflict = 1195 823.05/823.29 c #restart = 5 823.05/823.29 o 219555 823.15/823.31 c Solving starts ... 833.44/833.62 c solving time = 10.296s 833.44/833.62 c #decision = 508048 833.44/833.62 c #conflict = 1197 833.44/833.62 c #restart = 5 833.44/833.62 o 219554 833.44/833.63 c Solving starts ... 845.44/845.61 c solving time = 11.956s 845.44/845.61 c #decision = 522320 845.44/845.61 c #conflict = 1215 845.44/845.61 c #restart = 5 845.44/845.61 o 219553 845.44/845.62 c Solving starts ... 854.73/854.91 c solving time = 9.268s 854.73/854.91 c #decision = 525239 854.73/854.91 c #conflict = 1216 854.73/854.91 c #restart = 5 854.73/854.91 o 219552 854.73/854.92 c Solving starts ... 864.34/864.54 c solving time = 9.600s 864.34/864.54 c #decision = 528156 864.34/864.54 c #conflict = 1217 864.34/864.54 c #restart = 5 864.34/864.54 o 219551 864.34/864.55 c Solving starts ... 873.83/874.07 c solving time = 9.504s 873.83/874.07 c #decision = 531074 873.83/874.07 c #conflict = 1218 873.83/874.07 c #restart = 5 873.83/874.07 o 219550 873.83/874.08 c Solving starts ... 883.54/883.79 c solving time = 9.691s 883.54/883.79 c #decision = 533990 883.54/883.79 c #conflict = 1219 883.54/883.79 c #restart = 5 883.54/883.79 o 219549 883.64/883.80 c Solving starts ... 893.13/893.37 c solving time = 9.549s 893.13/893.37 c #decision = 536905 893.13/893.37 c #conflict = 1220 893.13/893.37 c #restart = 5 893.13/893.37 o 219548 893.13/893.38 c Solving starts ... 903.03/903.24 c solving time = 9.842s 903.03/903.24 c #decision = 539822 903.03/903.24 c #conflict = 1221 903.03/903.24 c #restart = 5 903.03/903.24 o 219547 903.03/903.25 c Solving starts ... 912.63/912.84 c solving time = 9.565s 912.63/912.84 c #decision = 542744 912.63/912.84 c #conflict = 1222 912.63/912.84 c #restart = 5 912.63/912.84 o 219546 912.63/912.85 c Solving starts ... 927.93/928.17 c solving time = 15.297s 927.93/928.17 c #decision = 545668 927.93/928.17 c #conflict = 1227 927.93/928.17 c #restart = 5 927.93/928.17 o 219545 927.93/928.18 c Solving starts ... 938.04/938.28 c solving time = 10.081s 938.04/938.28 c #decision = 548596 938.04/938.28 c #conflict = 1230 938.04/938.28 c #restart = 5 938.04/938.28 o 219544 938.04/938.29 c Solving starts ... 954.92/955.11 c solving time = 16.800s 954.92/955.11 c #decision = 551521 954.92/955.11 c #conflict = 1236 954.92/955.11 c #restart = 5 954.92/955.11 o 219543 954.92/955.12 c Solving starts ... 964.82/965.01 c solving time = 9.873s 964.82/965.01 c #decision = 554444 964.82/965.01 c #conflict = 1237 964.82/965.01 c #restart = 5 964.82/965.01 o 219542 964.82/965.03 c Solving starts ... 979.01/979.24 c solving time = 14.190s 979.01/979.24 c #decision = 557371 979.01/979.24 c #conflict = 1241 979.01/979.24 c #restart = 5 979.01/979.24 o 219541 979.01/979.25 c Solving starts ... 988.81/989.04 c solving time = 9.773s 988.81/989.04 c #decision = 560287 988.81/989.04 c #conflict = 1242 988.81/989.04 c #restart = 5 988.81/989.04 o 219540 988.81/989.05 c Solving starts ... 998.91/999.15 c solving time = 9.929s 998.91/999.15 c #decision = 565476 998.91/999.15 c #conflict = 1243 998.91/999.15 c #restart = 5 998.91/999.15 o 219536 998.91/999.17 c Solving starts ... 1014.11/1014.33 c solving time = 15.141s 1014.11/1014.33 c #decision = 568391 1014.11/1014.33 c #conflict = 1248 1014.11/1014.33 c #restart = 5 1014.11/1014.33 o 219535 1014.11/1014.34 c Solving starts ... 1024.10/1024.30 c solving time = 9.946s 1024.10/1024.30 c #decision = 571306 1024.10/1024.30 c #conflict = 1250 1024.10/1024.30 c #restart = 5 1024.10/1024.30 o 219534 1024.10/1024.32 c Solving starts ... 1039.90/1040.11 c solving time = 15.781s 1039.90/1040.11 c #decision = 574234 1039.90/1040.11 c #conflict = 1256 1039.90/1040.11 c #restart = 5 1039.90/1040.12 o 219533 1039.90/1040.13 c Solving starts ... 1049.80/1050.00 c solving time = 9.859s 1049.80/1050.00 c #decision = 577147 1049.80/1050.00 c #conflict = 1257 1049.80/1050.00 c #restart = 5 1049.80/1050.00 o 219532 1049.80/1050.02 c Solving starts ... 1059.70/1059.98 c solving time = 9.945s 1059.70/1059.98 c #decision = 580058 1059.70/1059.98 c #conflict = 1258 1059.70/1059.98 c #restart = 5 1059.70/1059.98 o 219531 1059.70/1059.99 c Solving starts ... 1069.80/1070.01 c solving time = 9.995s 1069.80/1070.01 c #decision = 582970 1069.80/1070.01 c #conflict = 1259 1069.80/1070.01 c #restart = 5 1069.80/1070.01 o 219530 1069.80/1070.02 c Solving starts ... 1080.00/1080.24 c solving time = 10.207s 1080.00/1080.24 c #decision = 585884 1080.00/1080.24 c #conflict = 1260 1080.00/1080.24 c #restart = 5 1080.00/1080.24 o 219529 1080.00/1080.26 c Solving starts ... 1092.29/1092.50 c solving time = 12.226s 1092.29/1092.50 c #decision = 591108 1092.29/1092.50 c #conflict = 1262 1092.29/1092.50 c #restart = 5 1092.29/1092.50 o 219481 1092.29/1092.51 c Solving starts ... 1099.60/1099.80 c solving time = 7.272s 1099.60/1099.80 c #decision = 596296 1099.60/1099.80 c #conflict = 1265 1099.60/1099.80 c #restart = 5 1099.60/1099.80 o 219478 1099.60/1099.82 c Solving starts ... 1108.61/1108.89 c solving time = 9.059s 1108.61/1108.89 c #decision = 599225 1108.61/1108.89 c #conflict = 1270 1108.61/1108.89 c #restart = 5 1108.61/1108.89 o 219477 1108.70/1108.91 c Solving starts ... 1116.00/1116.22 c solving time = 7.298s 1116.00/1116.22 c #decision = 602149 1116.00/1116.22 c #conflict = 1271 1116.00/1116.22 c #restart = 5 1116.00/1116.22 o 219476 1116.00/1116.23 c Solving starts ... 1123.39/1123.60 c solving time = 7.348s 1123.39/1123.60 c #decision = 605077 1123.39/1123.60 c #conflict = 1274 1123.39/1123.60 c #restart = 5 1123.39/1123.60 o 219475 1123.39/1123.61 c Solving starts ... 1133.19/1133.46 c solving time = 9.830s 1133.19/1133.46 c #decision = 608005 1133.19/1133.46 c #conflict = 1279 1133.19/1133.46 c #restart = 5 1133.19/1133.46 o 219474 1133.19/1133.47 c Solving starts ... 1140.59/1140.89 c solving time = 7.405s 1140.59/1140.89 c #decision = 610928 1140.59/1140.89 c #conflict = 1280 1140.59/1140.89 c #restart = 5 1140.59/1140.89 o 219473 1140.69/1140.91 c Solving starts ... 1151.69/1151.93 c solving time = 11.010s 1151.69/1151.93 c #decision = 613897 1151.69/1151.93 c #conflict = 1284 1151.69/1151.93 c #restart = 5 1151.69/1151.93 o 219472 1151.69/1151.95 c Solving starts ... 1175.08/1175.33 c solving time = 23.361s 1175.08/1175.33 c #decision = 619245 1175.08/1175.33 c #conflict = 1301 1175.08/1175.33 c #restart = 5 1175.08/1175.33 o 219470 1175.08/1175.34 c Solving starts ... 1182.19/1182.47 c solving time = 7.117s 1182.19/1182.47 c #decision = 622166 1182.19/1182.47 c #conflict = 1302 1182.19/1182.47 c #restart = 5 1182.19/1182.47 o 219469 1182.19/1182.49 c Solving starts ... 1189.19/1189.44 c solving time = 6.938s 1189.19/1189.44 c #decision = 625088 1189.19/1189.44 c #conflict = 1303 1189.19/1189.44 c #restart = 5 1189.19/1189.44 o 219468 1189.19/1189.45 c Solving starts ... 1196.38/1196.67 c solving time = 7.203s 1196.38/1196.67 c #decision = 628006 1196.38/1196.67 c #conflict = 1304 1196.38/1196.67 c #restart = 5 1196.38/1196.67 o 219467 1196.38/1196.69 c Solving starts ... 1205.38/1205.63 c solving time = 8.924s 1205.38/1205.63 c #decision = 630927 1205.38/1205.63 c #conflict = 1309 1205.38/1205.63 c #restart = 5 1205.38/1205.63 o 219466 1205.38/1205.64 c Solving starts ... 1257.57/1257.82 c solving time = 52.161s 1257.57/1257.82 c #decision = 634306 1257.57/1257.82 c #conflict = 1378 1257.57/1257.82 c #restart = 5 1257.57/1257.82 o 219465 1257.57/1257.84 c Solving starts ... 1264.77/1265.05 c solving time = 7.202s 1264.77/1265.05 c #decision = 637289 1264.77/1265.05 c #conflict = 1383 1264.77/1265.05 c #restart = 5 1264.77/1265.05 o 219464 1264.77/1265.07 c Solving starts ... 1271.27/1271.58 c solving time = 6.495s 1271.27/1271.58 c #decision = 640262 1271.27/1271.58 c #conflict = 1384 1271.27/1271.58 c #restart = 5 1271.27/1271.58 o 219463 1271.27/1271.59 c Solving starts ... 1278.87/1279.10 c solving time = 7.497s 1278.87/1279.10 c #decision = 643219 1278.87/1279.10 c #conflict = 1389 1278.87/1279.10 c #restart = 5 1278.87/1279.10 o 219462 1278.87/1279.12 c Solving starts ... 1287.07/1287.35 c solving time = 8.220s 1287.07/1287.35 c #decision = 646175 1287.07/1287.35 c #conflict = 1395 1287.07/1287.35 c #restart = 5 1287.07/1287.35 o 219461 1287.07/1287.36 c Solving starts ... 1303.07/1303.31 c solving time = 15.926s 1303.07/1303.31 c #decision = 649255 1303.07/1303.31 c #conflict = 1410 1303.07/1303.31 c #restart = 5 1303.07/1303.31 o 219460 1303.07/1303.32 c Solving starts ... 1312.47/1312.73 c solving time = 9.397s 1312.47/1312.73 c #decision = 652231 1312.47/1312.73 c #conflict = 1414 1312.47/1312.73 c #restart = 5 1312.47/1312.73 o 219459 1312.47/1312.75 c Solving starts ... 1320.37/1320.63 c solving time = 7.872s 1320.37/1320.63 c #decision = 655193 1320.37/1320.63 c #conflict = 1421 1320.37/1320.63 c #restart = 5 1320.37/1320.64 o 219458 1320.37/1320.65 c Solving starts ... 1327.37/1327.64 c solving time = 6.977s 1327.37/1327.64 c #decision = 658135 1327.37/1327.64 c #conflict = 1422 1327.37/1327.64 c #restart = 5 1327.37/1327.64 o 219457 1327.37/1327.65 c Solving starts ... 1336.45/1336.72 c solving time = 9.051s 1336.45/1336.72 c #decision = 661084 1336.45/1336.72 c #conflict = 1429 1336.45/1336.72 c #restart = 5 1336.45/1336.72 o 219456 1336.45/1336.73 c Solving starts ... 1343.36/1343.69 c solving time = 6.935s 1343.36/1343.69 c #decision = 664011 1343.36/1343.69 c #conflict = 1430 1343.36/1343.69 c #restart = 5 1343.36/1343.69 o 219455 1343.45/1343.70 c Solving starts ... 1351.66/1351.94 c solving time = 8.224s 1351.66/1351.94 c #decision = 666945 1351.66/1351.94 c #conflict = 1434 1351.66/1351.94 c #restart = 5 1351.66/1351.94 o 219454 1351.66/1351.95 c Solving starts ... 1358.65/1358.92 c solving time = 6.953s 1358.65/1358.92 c #decision = 669871 1358.65/1358.92 c #conflict = 1435 1358.65/1358.92 c #restart = 5 1358.65/1358.92 o 219453 1358.85/1359.10 c Solving starts ... 1366.75/1367.03 c solving time = 7.916s 1366.75/1367.03 c #decision = 672805 1366.75/1367.03 c #conflict = 1439 1366.75/1367.03 c #restart = 5 1366.75/1367.03 o 219452 1366.75/1367.04 c Solving starts ... 1373.85/1374.19 c solving time = 7.130s 1373.85/1374.19 c #decision = 675728 1373.85/1374.19 c #conflict = 1440 1373.85/1374.19 c #restart = 5 1373.85/1374.19 o 219451 1373.95/1374.20 c Solving starts ... 1381.85/1382.16 c solving time = 7.939s 1381.85/1382.16 c #decision = 678661 1381.85/1382.16 c #conflict = 1444 1381.85/1382.16 c #restart = 5 1381.85/1382.16 o 219450 1381.85/1382.17 c Solving starts ... 1389.06/1389.34 c solving time = 7.149s 1389.06/1389.34 c #decision = 681584 1389.06/1389.34 c #conflict = 1445 1389.06/1389.34 c #restart = 5 1389.06/1389.34 o 219449 1389.06/1389.35 c Solving starts ... 1397.24/1397.51 c solving time = 8.142s 1397.24/1397.51 c #decision = 686775 1397.24/1397.51 c #conflict = 1449 1397.24/1397.51 c #restart = 5 1397.24/1397.51 o 219447 1397.24/1397.52 c Solving starts ...
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3724670-1338640870/watcher-3724670-1338640870 -o /tmp/evaluation-result-3724670-1338640870/solver-3724670-1338640870 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724670-1338640870.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.04 2.01 2.00 3/176 30370 /proc/meminfo: memFree=29140432/32873648 swapFree=7116/7116 [pid=30370] ppid=30368 vsize=6224 CPUtime=0 cores=0,2,4,6 /proc/30370/stat : 30370 (toysat) R 30368 30370 28704 0 -1 4202496 823 0 0 0 0 0 0 0 20 0 1 0 330212451 6373376 743 33554432000 4194304 8989770 140735117599360 140734424950552 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30370/statm: 1556 743 424 1171 0 333 0 [startup+0.0764569 s] /proc/loadavg: 2.04 2.01 2.00 3/176 30370 /proc/meminfo: memFree=29140432/32873648 swapFree=7116/7116 [pid=30370] ppid=30368 vsize=10320 CPUtime=0.07 cores=0,2,4,6 /proc/30370/stat : 30370 (toysat) R 30368 30370 28704 0 -1 4202496 1858 0 0 0 7 0 0 0 20 0 1 0 330212451 10567680 1778 33554432000 4194304 8989770 140735117599360 140734424950552 7082112 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30370/statm: 2580 1778 431 1171 0 1357 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 10320 [startup+0.100178 s] /proc/loadavg: 2.04 2.01 2.00 3/176 30370 /proc/meminfo: memFree=29140432/32873648 swapFree=7116/7116 [pid=30370] ppid=30368 vsize=12368 CPUtime=0.09 cores=0,2,4,6 /proc/30370/stat : 30370 (toysat) R 30368 30370 28704 0 -1 4202496 2370 0 0 0 9 0 0 0 20 0 1 0 330212451 12664832 2290 33554432000 4194304 8989770 140735117599360 140734424950552 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30370/statm: 3092 2290 431 1171 0 1869 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12368 [startup+0.300156 s] /proc/loadavg: 2.04 2.01 2.00 3/176 30370 /proc/meminfo: memFree=29140432/32873648 swapFree=7116/7116 [pid=30370] ppid=30368 vsize=25680 CPUtime=0.29 cores=0,2,4,6 /proc/30370/stat : 30370 (toysat) R 30368 30370 28704 0 -1 4202496 5463 0 0 0 28 1 0 0 20 0 1 0 330212451 26296320 5383 33554432000 4194304 8989770 140735117599360 140735117598624 4209325 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30370/statm: 6420 5388 431 1171 0 5197 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 25680 [startup+0.70015 s] /proc/loadavg: 2.04 2.01 2.00 3/176 30370 /proc/meminfo: memFree=29140432/32873648 swapFree=7116/7116 [pid=30370] ppid=30368 vsize=46160 CPUtime=0.69 cores=0,2,4,6 /proc/30370/stat : 30370 (toysat) R 30368 30370 28704 0 -1 4202496 10818 0 0 0 66 3 0 0 20 0 1 0 330212451 47267840 10738 33554432000 4194304 8989770 140735117599360 140735117598624 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30370/statm: 11540 10738 431 1171 0 10317 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 46160 [startup+1.50016 s] /proc/loadavg: 2.03 2.01 2.00 3/177 30371 /proc/meminfo: memFree=29083624/32873648 swapFree=7116/7116 [pid=30370] ppid=30368 vsize=109648 CPUtime=1.49 cores=0,2,4,6 /proc/30370/stat : 30370 (toysat) R 30368 30370 28704 0 -1 4202496 26690 0 0 0 143 6 0 0 20 0 1 0 330212451 112279552 26610 33554432000 4194304 8989770 140735117599360 140735117598624 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30370/statm: 27412 26610 431 1171 0 26189 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 109648 [startup+3.1001 s] /proc/loadavg: 2.03 2.01 2.00 3/177 30371 /proc/meminfo: memFree=29006496/32873648 swapFree=7116/7116 [pid=30370] ppid=30368 vsize=138320 CPUtime=3.09 cores=0,2,4,6 /proc/30370/stat : 30370 (toysat) R 30368 30370 28704 0 -1 4202496 33880 0 0 0 301 8 0 0 20 0 1 0 330212451 141639680 33800 33554432000 4194304 8989770 140735117599360 140735117598856 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30370/statm: 34580 33800 447 1171 0 33357 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 138320 [startup+6.30023 s] /proc/loadavg: 2.03 2.01 2.00 3/177 30371 /proc/meminfo: memFree=29006628/32873648 swapFree=7116/7116 [pid=30370] ppid=30368 vsize=138320 CPUtime=6.29 cores=0,2,4,6 /proc/30370/stat : 30370 (toysat) R 30368 30370 28704 0 -1 4202496 33880 0 0 0 620 9 0 0 20 0 1 0 330212451 141639680 33800 33554432000 4194304 8989770 140735117599360 140735117598856 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30370/statm: 34580 33800 447 1171 0 33357 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 138320 [startup+12.7002 s] /proc/loadavg: 2.03 2.01 2.00 3/177 30371 /proc/meminfo: memFree=29006656/32873648 swapFree=7116/7116 [pid=30370] ppid=30368 vsize=138320 CPUtime=12.69 cores=0,2,4,6 /proc/30370/stat : 30370 (toysat) R 30368 30370 28704 0 -1 4202496 33906 0 0 0 1259 10 0 0 20 0 1 0 330212451 141639680 33826 33554432000 4194304 8989770 140735117599360 140735117598624 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30370/statm: 34580 33826 473 1171 0 33357 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 138320 [startup+25.5002 s] /proc/loadavg: 2.02 2.01 2.00 3/177 30371 /proc/meminfo: memFree=29000332/32873648 swapFree=7116/7116 [pid=30370] ppid=30368 vsize=145488 CPUtime=25.48 cores=0,2,4,6 /proc/30370/stat : 30370 (toysat) R 30368 30370 28704 0 -1 4202496 35705 0 0 0 2533 15 0 0 20 0 1 0 330212451 148979712 35618 33554432000 4194304 8989770 140735117599360 140735117598856 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30370/statm: 36372 35618 473 1171 0 35149 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 145488 [startup+51.1003 s] /proc/loadavg: 2.01 2.01 2.00 3/177 30371 /proc/meminfo: memFree=28961188/32873648 swapFree=7116/7116 [pid=30370] ppid=30368 vsize=185424 CPUtime=51.07 cores=0,2,4,6 /proc/30370/stat : 30370 (toysat) R 30368 30370 28704 0 -1 4202496 45561 0 0 0 5079 28 0 0 20 0 1 0 330212451 189874176 45465 33554432000 4194304 8989770 140735117599360 140735117598856 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30370/statm: 46356 45465 473 1171 0 45133 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 185424 [startup+102.307 s] /proc/loadavg: 2.06 2.02 2.00 3/177 30371 /proc/meminfo: memFree=28938912/32873648 swapFree=7116/7116 [pid=30370] ppid=30368 vsize=206928 CPUtime=102.27 cores=0,2,4,6 /proc/30370/stat : 30370 (toysat) R 30368 30370 28704 0 -1 4202496 50920 0 0 0 10173 54 0 0 20 0 1 0 330212451 211894272 50818 33554432000 4194304 8989770 140735117599360 140735117598856 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30370/statm: 51732 50818 473 1171 0 50509 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 206928 [startup+162.3 s] /proc/loadavg: 2.02 2.01 2.00 3/177 30371 /proc/meminfo: memFree=28899592/32873648 swapFree=7116/7116 [pid=30370] ppid=30368 vsize=245840 CPUtime=162.25 cores=0,2,4,6 /proc/30370/stat : 30370 (toysat) R 30368 30370 28704 0 -1 4202496 60816 0 0 0 16142 83 0 0 20 0 1 0 330212451 251740160 60706 33554432000 4194304 8989770 140735117599360 140735117598856 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30370/statm: 61460 60706 473 1171 0 60237 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 245840 [startup+222.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 30372 /proc/meminfo: memFree=28873180/32873648 swapFree=7116/7116 [pid=30370] ppid=30368 vsize=272464 CPUtime=222.24 cores=0,2,4,6 /proc/30370/stat : 30370 (toysat) R 30368 30370 28704 0 -1 4202496 67472 0 0 0 22108 116 0 0 20 0 1 0 330212451 279003136 67362 33554432000 4194304 8989770 140735117599360 140735117598856 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30370/statm: 68116 67362 473 1171 0 66893 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 272464 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 30372 /proc/meminfo: memFree=28846520/32873648 swapFree=7116/7116 [pid=30370] ppid=30368 vsize=299088 CPUtime=282.23 cores=0,2,4,6 /proc/30370/stat : 30370 (toysat) R 30368 30370 28704 0 -1 4202496 74128 0 0 0 28076 147 0 0 20 0 1 0 330212451 306266112 74018 33554432000 4194304 8989770 140735117599360 140735117598856 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30370/statm: 74772 74018 473 1171 0 73549 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 299088 [startup+342.3 s] /proc/loadavg: 2.06 2.01 2.00 3/177 30372 /proc/meminfo: memFree=28832384/32873648 swapFree=7116/7116 [pid=30370] ppid=30368 vsize=313424 CPUtime=342.22 cores=0,2,4,6 /proc/30370/stat : 30370 (toysat) R 30368 30370 28704 0 -1 4202496 77712 0 0 0 34043 179 0 0 20 0 1 0 330212451 320946176 77602 33554432000 4194304 8989770 140735117599360 140735117598856 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30370/statm: 78356 77602 473 1171 0 77133 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 313424 [startup+402.3 s] /proc/loadavg: 2.02 2.01 2.00 3/177 30372 /proc/meminfo: memFree=28810564/32873648 swapFree=7116/7116 [pid=30370] ppid=30368 vsize=334928 CPUtime=402.22 cores=0,2,4,6 /proc/30370/stat : 30370 (toysat) R 30368 30370 28704 0 -1 4202496 83088 0 0 0 40007 215 0 0 20 0 1 0 330212451 342966272 82978 33554432000 4194304 8989770 140735117599360 140735117598856 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30370/statm: 83732 82978 473 1171 0 82509 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 334928 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 30372 /proc/meminfo: memFree=28796084/32873648 swapFree=7116/7116 [pid=30370] ppid=30368 vsize=349264 CPUtime=462.2 cores=0,2,4,6 /proc/30370/stat : 30370 (toysat) R 30368 30370 28704 0 -1 4202496 86672 0 0 0 45971 249 0 0 20 0 1 0 330212451 357646336 86562 33554432000 4194304 8989770 140735117599360 140735117598856 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30370/statm: 87316 86562 473 1171 0 86093 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 349264 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 30373 /proc/meminfo: memFree=28791968/32873648 swapFree=7116/7116 [pid=30370] ppid=30368 vsize=353360 CPUtime=522.19 cores=0,2,4,6 /proc/30370/stat : 30370 (toysat) R 30368 30370 28704 0 -1 4202496 87699 0 0 0 51936 283 0 0 20 0 1 0 330212451 361840640 87586 33554432000 4194304 8989770 140735117599360 140735117598464 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30370/statm: 88340 87586 473 1171 0 87117 0 Current children cumulated CPU time (s) 522.19 Current children cumulated vsize (KiB) 353360 [startup+582.3 s] /proc/loadavg: 2.06 2.01 2.00 3/178 30376 /proc/meminfo: memFree=28788352/32873648 swapFree=7116/7116 [pid=30370] ppid=30368 vsize=357456 CPUtime=582.18 cores=0,2,4,6 /proc/30370/stat : 30370 (toysat) R 30368 30370 28704 0 -1 4202496 88723 0 0 0 57906 312 0 0 20 0 1 0 330212451 366034944 88610 33554432000 4194304 8989770 140735117599360 140735117598624 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30370/statm: 89364 88610 473 1171 0 88141 0 Current children cumulated CPU time (s) 582.18 Current children cumulated vsize (KiB) 357456 [startup+642.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.06 2.02 2.00 3/177 30377 /proc/meminfo: memFree=28663124/32873648 swapFree=7116/7116 [pid=30370] ppid=30368 vsize=378960 CPUtime=822.14 cores=0,2,4,6 /proc/30370/stat : 30370 (toysat) R 30368 30370 28704 0 -1 4202496 94099 0 0 0 81771 443 0 0 20 0 1 0 330212451 388055040 93986 33554432000 4194304 8989770 140735117599360 140735117598624 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30370/statm: 94740 93986 473 1171 0 93517 0 Current children cumulated CPU time (s) 822.14 Current children cumulated vsize (KiB) 378960 [startup+882.3 s] /proc/loadavg: 2.02 2.01 2.00 3/177 30377 /proc/meminfo: memFree=28645888/32873648 swapFree=7116/7116 [pid=30370] ppid=30368 vsize=391248 CPUtime=882.13 cores=0,2,4,6 /proc/30370/stat : 30370 (toysat) R 30368 30370 28704 0 -1 4202496 97171 0 0 0 87737 476 0 0 20 0 1 0 330212451 400637952 97058 33554432000 4194304 8989770 140735117599360 140735117598624 4209206 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30370/statm: 97812 97058 473 1171 0 96589 0 Current children cumulated CPU time (s) 882.13 Current children cumulated vsize (KiB) 391248 [startup+942.3 s] /proc/loadavg: 2.01 2.00 2.00 3/177 30377 /proc/meminfo: memFree=28631380/32873648 swapFree=7116/7116 [pid=30370] ppid=30368 vsize=405584 CPUtime=942.12 cores=0,2,4,6 /proc/30370/stat : 30370 (toysat) R 30368 30370 28704 0 -1 4202496 100755 0 0 0 93707 505 0 0 20 0 1 0 330212451 415318016 100642 33554432000 4194304 8989770 140735117599360 140735117598856 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30370/statm: 101396 100642 473 1171 0 100173 0 Current children cumulated CPU time (s) 942.12 Current children cumulated vsize (KiB) 405584 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 30377 /proc/meminfo: memFree=28619480/32873648 swapFree=7116/7116 [pid=30370] ppid=30368 vsize=416848 CPUtime=1002.11 cores=0,2,4,6 /proc/30370/stat : 30370 (toysat) R 30368 30370 28704 0 -1 4202496 103577 0 0 0 99677 534 0 0 20 0 1 0 330212451 426852352 103458 33554432000 4194304 8989770 140735117599360 140735117598856 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30370/statm: 104212 103458 473 1171 0 102989 0 Current children cumulated CPU time (s) 1002.11 Current children cumulated vsize (KiB) 416848 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 30377 /proc/meminfo: memFree=28609684/32873648 swapFree=7116/7116 [pid=30370] ppid=30368 vsize=427088 CPUtime=1062.1 cores=0,2,4,6 /proc/30370/stat : 30370 (toysat) R 30368 30370 28704 0 -1 4202496 106137 0 0 0 105646 564 0 0 20 0 1 0 330212451 437338112 106018 33554432000 4194304 8989770 140735117599360 140735117598856 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30370/statm: 106772 106018 473 1171 0 105549 0 Current children cumulated CPU time (s) 1062.1 Current children cumulated vsize (KiB) 427088 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 30378 /proc/meminfo: memFree=28595176/32873648 swapFree=7116/7116 [pid=30370] ppid=30368 vsize=439376 CPUtime=1122.1 cores=0,2,4,6 /proc/30370/stat : 30370 (toysat) R 30368 30370 28704 0 -1 4202496 109209 0 0 0 111611 599 0 0 20 0 1 0 330212451 449921024 109090 33554432000 4194304 8989770 140735117599360 140735117598856 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30370/statm: 109844 109090 473 1171 0 108621 0 Current children cumulated CPU time (s) 1122.1 Current children cumulated vsize (KiB) 439376 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 30381 /proc/meminfo: memFree=28583888/32873648 swapFree=7116/7116 [pid=30370] ppid=30368 vsize=452688 CPUtime=1182.08 cores=0,2,4,6 /proc/30370/stat : 30370 (toysat) R 30368 30370 28704 0 -1 4202496 112537 0 0 0 117574 634 0 0 20 0 1 0 330212451 463552512 112418 33554432000 4194304 8989770 140735117599360 140735117597312 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30370/statm: 113172 112418 473 1171 0 111949 0 Current children cumulated CPU time (s) 1182.08 Current children cumulated vsize (KiB) 452688 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 30403 /proc/meminfo: memFree=28573352/32873648 swapFree=7116/7116 [pid=30370] ppid=30368 vsize=460880 CPUtime=1242.07 cores=0,2,4,6 /proc/30370/stat : 30370 (toysat) R 30368 30370 28704 0 -1 4202496 114585 0 0 0 123538 669 0 0 20 0 1 0 330212451 471941120 114466 33554432000 4194304 8989770 140735117599360 140735117598856 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30370/statm: 115220 114466 473 1171 0 113997 0 Current children cumulated CPU time (s) 1242.07 Current children cumulated vsize (KiB) 460880 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 30403 /proc/meminfo: memFree=28568276/32873648 swapFree=7116/7116 [pid=30370] ppid=30368 vsize=466000 CPUtime=1302.07 cores=0,2,4,6 /proc/30370/stat : 30370 (toysat) R 30368 30370 28704 0 -1 4202496 115865 0 0 0 129505 702 0 0 20 0 1 0 330212451 477184000 115746 33554432000 4194304 8989770 140735117599360 140735117598856 4447400 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30370/statm: 116500 115746 473 1171 0 115277 0 Current children cumulated CPU time (s) 1302.07 Current children cumulated vsize (KiB) 466000 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 30403 /proc/meminfo: memFree=28547568/32873648 swapFree=7116/7116 [pid=30370] ppid=30368 vsize=486480 CPUtime=1362.06 cores=0,2,4,6 /proc/30370/stat : 30370 (toysat) R 30368 30370 28704 0 -1 4202496 120985 0 0 0 135468 738 0 0 20 0 1 0 330212451 498155520 120866 33554432000 4194304 8989770 140735117599360 140735117598856 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30370/statm: 121620 120866 473 1171 0 120397 0 Current children cumulated CPU time (s) 1362.06 Current children cumulated vsize (KiB) 486480 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/177 30404 /proc/meminfo: memFree=28533184/32873648 swapFree=7116/7116 [pid=30370] ppid=30368 vsize=500816 CPUtime=1422.05 cores=0,2,4,6 /proc/30370/stat : 30370 (toysat) R 30368 30370 28704 0 -1 4202496 124569 0 0 0 141437 768 0 0 20 0 1 0 330212451 512835584 124450 33554432000 4194304 8989770 140735117599360 140735117598856 4445320 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30370/statm: 125204 124450 473 1171 0 123981 0 Current children cumulated CPU time (s) 1422.05 Current children cumulated vsize (KiB) 500816 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 30404 /proc/meminfo: memFree=28533140/32873648 swapFree=7116/7116 [pid=30370] ppid=30368 vsize=500816 CPUtime=1482.03 cores=0,2,4,6 /proc/30370/stat : 30370 (toysat) R 30368 30370 28704 0 -1 4202496 124575 0 0 0 147404 799 0 0 20 0 1 0 330212451 512835584 124450 33554432000 4194304 8989770 140735117599360 140735117598856 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30370/statm: 125204 124450 473 1171 0 123981 0 Current children cumulated CPU time (s) 1482.03 Current children cumulated vsize (KiB) 500816 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 30519 /proc/meminfo: memFree=27732016/32873648 swapFree=7116/7116 [pid=30370] ppid=30368 vsize=503888 CPUtime=1542.01 cores=0,2,4,6 /proc/30370/stat : 30370 (toysat) R 30368 30370 28704 0 -1 4202496 125363 0 0 0 153367 834 0 0 20 0 1 0 330212451 515981312 125218 33554432000 4194304 8989770 140735117599360 140735117598856 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30370/statm: 125972 125218 473 1171 0 124749 0 Current children cumulated CPU time (s) 1542.01 Current children cumulated vsize (KiB) 503888 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 30519 /proc/meminfo: memFree=27140212/32873648 swapFree=7116/7116 [pid=30370] ppid=30368 vsize=503888 CPUtime=1602 cores=0,2,4,6 /proc/30370/stat : 30370 (toysat) R 30368 30370 28704 0 -1 4202496 125363 0 0 0 159330 870 0 0 20 0 1 0 330212451 515981312 125218 33554432000 4194304 8989770 140735117599360 140735117598856 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30370/statm: 125972 125218 473 1171 0 124749 0 Current children cumulated CPU time (s) 1602 Current children cumulated vsize (KiB) 503888 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 30519 /proc/meminfo: memFree=27140336/32873648 swapFree=7116/7116 [pid=30370] ppid=30368 vsize=503888 CPUtime=1661.99 cores=0,2,4,6 /proc/30370/stat : 30370 (toysat) R 30368 30370 28704 0 -1 4202496 125363 0 0 0 165298 901 0 0 20 0 1 0 330212451 515981312 125218 33554432000 4194304 8989770 140735117599360 140735117598856 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30370/statm: 125972 125218 473 1171 0 124749 0 Current children cumulated CPU time (s) 1661.99 Current children cumulated vsize (KiB) 503888 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 30520 /proc/meminfo: memFree=27140216/32873648 swapFree=7116/7116 [pid=30370] ppid=30368 vsize=503888 CPUtime=1721.98 cores=0,2,4,6 /proc/30370/stat : 30370 (toysat) R 30368 30370 28704 0 -1 4202496 125363 0 0 0 171260 938 0 0 20 0 1 0 330212451 515981312 125218 33554432000 4194304 8989770 140735117599360 140735117598856 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30370/statm: 125972 125218 473 1171 0 124749 0 Current children cumulated CPU time (s) 1721.98 Current children cumulated vsize (KiB) 503888 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 30523 /proc/meminfo: memFree=27140188/32873648 swapFree=7116/7116 [pid=30370] ppid=30368 vsize=503888 CPUtime=1781.97 cores=0,2,4,6 /proc/30370/stat : 30370 (toysat) R 30368 30370 28704 0 -1 4202496 125363 0 0 0 177224 973 0 0 20 0 1 0 330212451 515981312 125218 33554432000 4194304 8989770 140735117599360 140735117598856 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30370/statm: 125972 125218 473 1171 0 124749 0 Current children cumulated CPU time (s) 1781.97 Current children cumulated vsize (KiB) 503888 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.00 2.00 2.00 3/177 30523 /proc/meminfo: memFree=27140568/32873648 swapFree=7116/7116 [pid=30370] ppid=30368 vsize=503888 CPUtime=1800.07 cores=0,2,4,6 /proc/30370/stat : 30370 (toysat) R 30368 30370 28704 0 -1 4202496 125363 0 0 0 179024 983 0 0 20 0 1 0 330212451 515981312 125218 33554432000 4194304 8989770 140735117599360 140735117598856 4445124 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30370/statm: 125972 125218 473 1171 0 124749 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 503888 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): 1800.41 CPU time (s): 1800.09 CPU user time (s): 1790.25 CPU system time (s): 9.8395 CPU usage (%): 99.9821 Max. virtual memory (cumulated for all children) (KiB): 503888 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.25 system time used= 9.8395 maximum resident set size= 500872 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 125363 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= 68 involuntary context switches= 1973 runsolver used 3.32249 second user time and 9.1816 second system time The end
Begin job on node123 at 2012-06-02 14:41:10 IDJOB=3724670 IDBENCH=72232 IDSOLVER=2308 FILE ID=node123/3724670-1338640870 RUNJOBID= node123-1338631508-28720 PBS_JOBID= 14636457 Free space on /tmp= 71304 MiB SOLVER NAME= toysat 2012-06-01 BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-evolution-dev.cudf.paranoid.opb COMMAND LINE= HOME/toysat +RTS -K1G -RTS --pb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3724670-1338640870/watcher-3724670-1338640870 -o /tmp/evaluation-result-3724670-1338640870/solver-3724670-1338640870 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724670-1338640870.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 936dd9c91ca1d73fea84b29056b5486e RANDOM SEED=967587950 node123.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.217 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.217 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.217 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.217 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.217 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.217 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.217 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.217 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 29141332 kB Buffers: 471136 kB Cached: 2151556 kB SwapCached: 2272 kB Active: 1013208 kB Inactive: 1833564 kB Active(anon): 218908 kB Inactive(anon): 5520 kB Active(file): 794300 kB Inactive(file): 1828044 kB Unevictable: 7116 kB Mlocked: 7116 kB SwapTotal: 67108856 kB SwapFree: 67100312 kB Dirty: 10872 kB Writeback: 0 kB AnonPages: 227036 kB Mapped: 12072 kB Shmem: 0 kB Slab: 747396 kB SReclaimable: 191792 kB SUnreclaim: 555604 kB KernelStack: 1472 kB PageTables: 4500 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 339704 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 212992 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71252 MiB End job on node123 at 2012-06-02 15:11:12