Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
toysat 2012-05-17 | ? (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.39/8.41 c 2012-05-27T19:34:55+0200 8.39/8.41 c arch = x86_64 8.39/8.41 c os = linux 8.39/8.41 c compiler = ghc 7.4 8.39/8.41 c packages: 8.39/8.41 c OptDir-0.0.1 8.39/8.41 c array-0.4.0.0 8.39/8.41 c base-4.5.0.0 8.39/8.41 c bytestring-0.9.2.1 8.39/8.41 c containers-0.4.2.1 8.39/8.41 c deepseq-1.3.0.0 8.39/8.41 c mtl-2.1.1 8.39/8.41 c old_locale-1.0.0.4 8.39/8.41 c parse_dimacs-1.2 8.39/8.41 c parsec-3.1.2 8.39/8.41 c queue-0.1.2 8.39/8.41 c stm-2.3 8.39/8.41 c time-1.4 8.39/8.41 c command line = ["--pb","HOME/instance-3706297-1338140095.opb"] 8.39/8.41 c #vars 19789 8.39/8.41 c #constraints 96508 8.39/8.41 c Solving starts ... 9.69/9.72 c solving time = 1.287s 9.69/9.72 c #decision = 75182 9.69/9.72 c #conflict = 59 9.69/9.72 c #restart = 0 9.69/9.72 o 232394 9.69/9.73 c Solving starts ... 9.89/9.96 c solving time = 0.210s 9.89/9.96 c #decision = 85019 9.89/9.96 c #conflict = 61 9.89/9.96 c #restart = 0 9.89/9.96 o 232391 9.89/9.97 c Solving starts ... 10.38/10.43 c solving time = 0.438s 10.38/10.43 c #decision = 92794 10.38/10.43 c #conflict = 63 10.38/10.43 c #restart = 0 10.38/10.43 o 232388 10.38/10.44 c Solving starts ... 10.99/11.01 c solving time = 0.549s 10.99/11.01 c #decision = 101811 10.99/11.01 c #conflict = 65 10.99/11.01 c #restart = 0 10.99/11.01 o 232386 11.08/11.10 c Solving starts ... 11.58/11.65 c solving time = 0.531s 11.58/11.65 c #decision = 109466 11.58/11.65 c #conflict = 66 11.58/11.65 c #restart = 0 11.58/11.65 o 232384 11.58/11.66 c Solving starts ... 13.58/13.63 c solving time = 1.946s 13.58/13.63 c #decision = 123279 13.58/13.63 c #conflict = 74 13.58/13.63 c #restart = 0 13.58/13.63 o 232383 13.58/13.64 c Solving starts ... 14.38/14.47 c solving time = 0.807s 14.38/14.47 c #decision = 129046 14.38/14.47 c #conflict = 75 14.38/14.47 c #restart = 0 14.38/14.47 o 232382 14.38/14.48 c Solving starts ... 17.49/17.53 c solving time = 3.032s 17.49/17.53 c #decision = 135753 17.49/17.53 c #conflict = 86 17.49/17.53 c #restart = 0 17.49/17.53 o 232381 17.49/17.54 c Solving starts ... 18.99/19.03 c solving time = 1.470s 18.99/19.03 c #decision = 139385 18.99/19.03 c #conflict = 87 18.99/19.03 c #restart = 0 18.99/19.03 o 232380 18.99/19.04 c Solving starts ... 20.48/20.59 c solving time = 1.530s 20.48/20.59 c #decision = 142962 20.48/20.59 c #conflict = 88 20.48/20.59 c #restart = 0 20.48/20.59 o 232379 20.58/20.61 c Solving starts ... 28.78/28.89 c solving time = 8.265s 28.78/28.89 c #decision = 153798 28.78/28.89 c #conflict = 134 28.78/28.89 c #restart = 0 28.78/28.89 o 232378 28.88/28.90 c Solving starts ... 30.38/30.42 c solving time = 1.505s 30.38/30.42 c #decision = 156808 30.38/30.42 c #conflict = 140 30.38/30.42 c #restart = 0 30.38/30.42 o 232377 30.38/30.44 c Solving starts ... 31.28/31.38 c solving time = 0.931s 31.28/31.38 c #decision = 159776 31.28/31.38 c #conflict = 145 31.28/31.38 c #restart = 0 31.28/31.38 o 232376 31.38/31.40 c Solving starts ... 32.18/32.21 c solving time = 0.795s 32.18/32.21 c #decision = 162740 32.18/32.21 c #conflict = 146 32.18/32.21 c #restart = 0 32.18/32.21 o 232375 32.18/32.22 c Solving starts ... 33.18/33.21 c solving time = 0.970s 33.18/33.21 c #decision = 165700 33.18/33.21 c #conflict = 147 33.18/33.21 c #restart = 0 33.18/33.21 o 232374 33.18/33.22 c Solving starts ... 34.09/34.15 c solving time = 0.913s 34.09/34.15 c #decision = 168657 34.09/34.15 c #conflict = 148 34.09/34.15 c #restart = 0 34.09/34.15 o 232373 34.09/34.16 c Solving starts ... 35.08/35.19 c solving time = 1.017s 35.08/35.19 c #decision = 171615 35.08/35.19 c #conflict = 149 35.08/35.19 c #restart = 0 35.08/35.19 o 232372 35.28/35.30 c Solving starts ... 36.29/36.35 c solving time = 1.037s 36.29/36.35 c #decision = 174573 36.29/36.35 c #conflict = 150 36.29/36.35 c #restart = 0 36.29/36.35 o 232371 36.29/36.36 c Solving starts ... 37.38/37.47 c solving time = 1.090s 37.38/37.47 c #decision = 177531 37.38/37.47 c #conflict = 151 37.38/37.47 c #restart = 0 37.38/37.47 o 232370 37.38/37.48 c Solving starts ... 38.78/38.87 c solving time = 1.372s 38.78/38.87 c #decision = 180487 38.78/38.87 c #conflict = 155 38.78/38.87 c #restart = 0 38.78/38.87 o 232369 38.78/38.88 c Solving starts ... 40.18/40.21 c solving time = 1.310s 40.18/40.21 c #decision = 183442 40.18/40.21 c #conflict = 156 40.18/40.21 c #restart = 0 40.18/40.21 o 232368 40.18/40.22 c Solving starts ... 41.57/41.60 c solving time = 1.357s 41.57/41.60 c #decision = 186400 41.57/41.60 c #conflict = 160 41.57/41.60 c #restart = 0 41.57/41.60 o 232367 41.57/41.61 c Solving starts ... 42.97/43.03 c solving time = 1.409s 42.97/43.03 c #decision = 189355 42.97/43.03 c #conflict = 161 42.97/43.03 c #restart = 0 42.97/43.03 o 232366 42.97/43.04 c Solving starts ... 44.48/44.50 c solving time = 1.443s 44.48/44.50 c #decision = 192313 44.48/44.50 c #conflict = 164 44.48/44.50 c #restart = 0 44.48/44.50 o 232365 44.48/44.52 c Solving starts ... 45.98/46.05 c solving time = 1.519s 45.98/46.05 c #decision = 195267 45.98/46.05 c #conflict = 165 45.98/46.05 c #restart = 0 45.98/46.05 o 232364 45.98/46.06 c Solving starts ... 47.57/47.62 c solving time = 1.543s 47.57/47.62 c #decision = 198221 47.57/47.62 c #conflict = 168 47.57/47.62 c #restart = 0 47.57/47.62 o 232363 47.57/47.63 c Solving starts ... 49.18/49.24 c solving time = 1.594s 49.18/49.24 c #decision = 201174 49.18/49.24 c #conflict = 169 49.18/49.24 c #restart = 0 49.18/49.24 o 232362 49.18/49.26 c Solving starts ... 50.87/50.98 c solving time = 1.706s 50.87/50.98 c #decision = 204131 50.87/50.98 c #conflict = 173 50.87/50.98 c #restart = 0 50.87/50.98 o 232361 50.97/51.09 c Solving starts ... 52.58/52.70 c solving time = 1.596s 52.58/52.70 c #decision = 207084 52.58/52.70 c #conflict = 174 52.58/52.70 c #restart = 0 52.58/52.70 o 232360 52.69/52.71 c Solving starts ... 54.47/54.51 c solving time = 1.787s 54.47/54.51 c #decision = 210039 54.47/54.51 c #conflict = 178 54.47/54.51 c #restart = 0 54.47/54.51 o 232359 54.57/54.62 c Solving starts ... 88.97/89.04 c solving time = 34.396s 88.97/89.04 c #decision = 223172 88.97/89.04 c #conflict = 344 88.97/89.04 c #restart = 1 88.97/89.04 o 228112 88.97/89.05 c Solving starts ... 91.67/91.74 c solving time = 2.676s 91.67/91.74 c #decision = 226084 91.67/91.74 c #conflict = 345 91.67/91.74 c #restart = 1 91.67/91.74 o 228111 91.77/91.85 c Solving starts ... 94.58/94.65 c solving time = 2.778s 94.58/94.65 c #decision = 229002 94.58/94.65 c #conflict = 346 94.58/94.65 c #restart = 1 94.58/94.65 o 228110 94.58/94.66 c Solving starts ... 97.67/97.74 c solving time = 3.063s 97.67/97.74 c #decision = 234178 97.67/97.74 c #conflict = 349 97.67/97.74 c #restart = 1 97.67/97.74 o 228108 97.78/97.86 c Solving starts ... 100.77/100.87 c solving time = 2.997s 100.77/100.87 c #decision = 237113 100.77/100.87 c #conflict = 350 100.77/100.87 c #restart = 1 100.77/100.87 o 228107 100.77/100.88 c Solving starts ... 103.87/103.96 c solving time = 3.064s 103.87/103.96 c #decision = 240042 103.87/103.96 c #conflict = 351 103.87/103.96 c #restart = 1 103.87/103.96 o 228106 103.87/103.98 c Solving starts ... 107.06/107.14 c solving time = 3.146s 107.06/107.14 c #decision = 245216 107.06/107.14 c #conflict = 355 107.06/107.14 c #restart = 1 107.06/107.14 o 228104 107.06/107.15 c Solving starts ... 110.27/110.35 c solving time = 3.182s 110.27/110.35 c #decision = 248142 110.27/110.35 c #conflict = 356 110.27/110.35 c #restart = 1 110.27/110.35 o 228103 110.27/110.36 c Solving starts ... 113.56/113.61 c solving time = 3.226s 113.56/113.61 c #decision = 251068 113.56/113.61 c #conflict = 357 113.56/113.61 c #restart = 1 113.56/113.61 o 228102 113.56/113.62 c Solving starts ... 116.86/116.92 c solving time = 3.285s 116.86/116.92 c #decision = 253992 116.86/116.92 c #conflict = 358 116.86/116.92 c #restart = 1 116.86/116.92 o 228101 116.86/116.93 c Solving starts ... 120.06/120.17 c solving time = 3.221s 120.06/120.17 c #decision = 256913 120.06/120.17 c #conflict = 359 120.06/120.17 c #restart = 1 120.06/120.17 o 228100 120.16/120.28 c Solving starts ... 123.47/123.57 c solving time = 3.269s 123.47/123.57 c #decision = 262077 123.47/123.57 c #conflict = 360 123.47/123.57 c #restart = 1 123.47/123.57 o 228098 123.47/123.58 c Solving starts ... 126.96/127.07 c solving time = 3.464s 126.96/127.07 c #decision = 265006 126.96/127.07 c #conflict = 361 126.96/127.07 c #restart = 1 126.96/127.07 o 228097 126.96/127.08 c Solving starts ... 131.87/131.93 c solving time = 4.831s 131.87/131.93 c #decision = 268064 131.87/131.93 c #conflict = 364 131.87/131.93 c #restart = 1 131.87/131.93 o 228096 131.87/131.94 c Solving starts ... 134.55/134.69 c solving time = 2.736s 134.55/134.69 c #decision = 271034 134.55/134.69 c #conflict = 364 134.55/134.69 c #restart = 1 134.55/134.69 o 228095 134.65/134.70 c Solving starts ... 138.96/139.03 c solving time = 4.303s 138.96/139.03 c #decision = 274080 138.96/139.03 c #conflict = 382 138.96/139.03 c #restart = 1 138.96/139.03 o 228094 138.96/139.04 c Solving starts ... 145.75/145.86 c solving time = 6.808s 145.75/145.86 c #decision = 277164 145.75/145.86 c #conflict = 403 145.75/145.86 c #restart = 1 145.75/145.86 o 228093 145.75/145.88 c Solving starts ... 148.85/148.91 c solving time = 3.016s 148.85/148.91 c #decision = 280120 148.85/148.91 c #conflict = 404 148.85/148.91 c #restart = 1 148.85/148.91 o 228092 148.85/148.92 c Solving starts ... 153.55/153.64 c solving time = 4.703s 153.55/153.64 c #decision = 283106 153.55/153.64 c #conflict = 422 153.55/153.64 c #restart = 1 153.55/153.64 o 228091 153.65/153.76 c Solving starts ... 158.75/158.83 c solving time = 5.054s 158.75/158.83 c #decision = 286075 158.75/158.83 c #conflict = 430 158.75/158.83 c #restart = 1 158.75/158.83 o 228090 158.85/158.95 c Solving starts ... 162.55/162.65 c solving time = 3.685s 162.55/162.65 c #decision = 289009 162.55/162.65 c #conflict = 431 162.55/162.65 c #restart = 1 162.55/162.65 o 228089 162.55/162.67 c Solving starts ... 166.25/166.31 c solving time = 3.622s 166.25/166.31 c #decision = 291920 166.25/166.31 c #conflict = 432 166.25/166.31 c #restart = 1 166.25/166.31 o 228088 166.25/166.32 c Solving starts ... 169.84/169.96 c solving time = 3.622s 169.84/169.96 c #decision = 294833 169.84/169.96 c #conflict = 433 169.84/169.96 c #restart = 1 169.84/169.96 o 228087 169.84/169.97 c Solving starts ... 173.55/173.70 c solving time = 3.707s 173.55/173.70 c #decision = 297744 173.55/173.70 c #conflict = 434 173.55/173.70 c #restart = 1 173.55/173.70 o 228086 173.65/173.71 c Solving starts ... 177.35/177.46 c solving time = 3.736s 177.35/177.46 c #decision = 300657 177.35/177.46 c #conflict = 435 177.35/177.46 c #restart = 1 177.35/177.46 o 228085 177.35/177.47 c Solving starts ... 181.14/181.29 c solving time = 3.792s 181.14/181.29 c #decision = 303567 181.14/181.29 c #conflict = 436 181.14/181.29 c #restart = 1 181.14/181.29 o 228084 181.24/181.30 c Solving starts ... 185.04/185.12 c solving time = 3.802s 185.04/185.12 c #decision = 306477 185.04/185.12 c #conflict = 437 185.04/185.12 c #restart = 1 185.04/185.12 o 228083 185.04/185.13 c Solving starts ... 188.95/189.05 c solving time = 3.908s 188.95/189.05 c #decision = 309388 188.95/189.05 c #conflict = 438 188.95/189.05 c #restart = 1 188.95/189.05 o 228082 188.95/189.07 c Solving starts ... 192.84/192.97 c solving time = 3.887s 192.84/192.97 c #decision = 312298 192.84/192.97 c #conflict = 439 192.84/192.97 c #restart = 1 192.84/192.97 o 228081 192.84/192.98 c Solving starts ... 196.85/196.97 c solving time = 3.969s 196.85/196.97 c #decision = 315207 196.85/196.97 c #conflict = 440 196.85/196.97 c #restart = 1 196.85/196.97 o 228080 196.85/196.98 c Solving starts ... 200.84/200.99 c solving time = 3.988s 200.84/200.99 c #decision = 318114 200.84/200.99 c #conflict = 441 200.84/200.99 c #restart = 1 200.84/200.99 o 228079 200.94/201.00 c Solving starts ... 204.95/205.07 c solving time = 4.052s 204.95/205.07 c #decision = 321021 204.95/205.07 c #conflict = 442 204.95/205.07 c #restart = 1 204.95/205.07 o 228078 204.95/205.08 c Solving starts ... 226.64/226.70 c solving time = 21.596s 226.64/226.70 c #decision = 324933 226.64/226.70 c #conflict = 501 226.64/226.70 c #restart = 1 226.64/226.70 o 228077 226.64/226.71 c Solving starts ... 230.43/230.56 c solving time = 3.834s 230.43/230.56 c #decision = 327893 230.43/230.56 c #conflict = 502 230.43/230.56 c #restart = 1 230.43/230.56 o 228076 230.43/230.58 c Solving starts ... 234.64/234.73 c solving time = 4.141s 234.64/234.73 c #decision = 330834 234.64/234.73 c #conflict = 503 234.64/234.73 c #restart = 1 234.64/234.73 o 228075 234.64/234.75 c Solving starts ... 238.84/238.98 c solving time = 4.221s 238.84/238.98 c #decision = 333769 238.84/238.98 c #conflict = 504 238.84/238.98 c #restart = 1 238.84/238.99 o 228074 238.94/239.00 c Solving starts ... 243.14/243.25 c solving time = 4.237s 243.14/243.25 c #decision = 336697 243.14/243.25 c #conflict = 505 243.14/243.25 c #restart = 1 243.14/243.25 o 228073 243.14/243.27 c Solving starts ... 247.44/247.57 c solving time = 4.285s 247.44/247.57 c #decision = 341871 247.44/247.57 c #conflict = 506 247.44/247.57 c #restart = 1 247.44/247.57 o 228069 247.44/247.58 c Solving starts ... 251.74/251.84 c solving time = 4.242s 251.74/251.84 c #decision = 344795 251.74/251.84 c #conflict = 507 251.74/251.84 c #restart = 1 251.74/251.84 o 228068 251.74/251.85 c Solving starts ... 256.03/256.16 c solving time = 4.285s 256.03/256.16 c #decision = 347719 256.03/256.16 c #conflict = 508 256.03/256.16 c #restart = 1 256.03/256.16 o 228067 256.03/256.17 c Solving starts ... 260.43/260.50 c solving time = 4.313s 260.43/260.50 c #decision = 350639 260.43/260.50 c #conflict = 509 260.43/260.50 c #restart = 1 260.43/260.50 o 228066 260.43/260.51 c Solving starts ... 264.73/264.87 c solving time = 4.340s 264.73/264.87 c #decision = 353553 264.73/264.87 c #conflict = 510 264.73/264.87 c #restart = 1 264.73/264.87 o 228065 264.73/264.88 c Solving starts ... 269.23/269.32 c solving time = 4.423s 269.23/269.32 c #decision = 356466 269.23/269.32 c #conflict = 511 269.23/269.32 c #restart = 1 269.23/269.32 o 228064 269.23/269.33 c Solving starts ... 273.74/273.89 c solving time = 4.538s 273.74/273.89 c #decision = 359380 273.74/273.89 c #conflict = 513 273.74/273.89 c #restart = 1 273.74/273.89 o 228063 273.84/273.90 c Solving starts ... 278.24/278.37 c solving time = 4.444s 278.24/278.37 c #decision = 362291 278.24/278.37 c #conflict = 514 278.24/278.37 c #restart = 1 278.24/278.37 o 228062 278.24/278.38 c Solving starts ... 282.73/282.84 c solving time = 4.444s 282.73/282.84 c #decision = 365197 282.73/282.84 c #conflict = 515 282.73/282.84 c #restart = 1 282.73/282.84 o 228061 282.73/282.85 c Solving starts ... 296.42/296.51 c solving time = 13.642s 296.42/296.51 c #decision = 368192 296.42/296.51 c #conflict = 540 296.42/296.51 c #restart = 1 296.42/296.51 o 228060 296.42/296.52 c Solving starts ... 300.92/301.02 c solving time = 4.481s 300.92/301.02 c #decision = 373354 300.92/301.02 c #conflict = 541 300.92/301.02 c #restart = 1 300.92/301.02 o 228058 300.92/301.03 c Solving starts ... 347.82/347.94 c solving time = 46.883s 347.82/347.94 c #decision = 379920 347.82/347.94 c #conflict = 629 347.82/347.94 c #restart = 1 347.82/347.94 o 223779 347.82/347.95 c Solving starts ... 352.82/352.98 c solving time = 5.008s 352.82/352.98 c #decision = 382841 352.82/352.98 c #conflict = 630 352.82/352.98 c #restart = 1 352.82/352.98 o 223778 352.82/352.99 c Solving starts ... 358.02/358.16 c solving time = 5.152s 358.02/358.16 c #decision = 385767 358.02/358.16 c #conflict = 631 358.02/358.16 c #restart = 1 358.02/358.16 o 223777 358.02/358.18 c Solving starts ... 363.12/363.28 c solving time = 5.086s 363.12/363.28 c #decision = 388690 363.12/363.28 c #conflict = 632 363.12/363.28 c #restart = 1 363.12/363.28 o 223776 363.12/363.29 c Solving starts ... 368.22/368.37 c solving time = 5.060s 368.22/368.37 c #decision = 391606 368.22/368.37 c #conflict = 633 368.22/368.37 c #restart = 1 368.22/368.37 o 223775 368.22/368.38 c Solving starts ... 373.52/373.62 c solving time = 5.217s 373.52/373.62 c #decision = 394517 373.52/373.62 c #conflict = 634 373.52/373.62 c #restart = 1 373.52/373.62 o 223774 373.52/373.63 c Solving starts ... 378.72/378.84 c solving time = 5.189s 378.72/378.84 c #decision = 397430 378.72/378.84 c #conflict = 635 378.72/378.84 c #restart = 1 378.72/378.84 o 223773 378.72/378.85 c Solving starts ... 384.02/384.17 c solving time = 5.300s 384.02/384.17 c #decision = 400339 384.02/384.17 c #conflict = 636 384.02/384.17 c #restart = 1 384.02/384.17 o 223772 384.02/384.18 c Solving starts ... 389.42/389.50 c solving time = 5.301s 389.42/389.50 c #decision = 403251 389.42/389.50 c #conflict = 637 389.42/389.50 c #restart = 1 389.42/389.50 o 223771 389.52/389.65 c Solving starts ... 394.73/394.90 c solving time = 5.228s 394.73/394.90 c #decision = 406160 394.73/394.90 c #conflict = 638 394.73/394.90 c #restart = 1 394.73/394.90 o 223770 394.83/394.91 c Solving starts ... 400.11/400.28 c solving time = 5.350s 400.11/400.28 c #decision = 409072 400.11/400.28 c #conflict = 639 400.11/400.28 c #restart = 1 400.11/400.28 o 223769 400.11/400.29 c Solving starts ... 405.50/405.63 c solving time = 5.321s 405.50/405.63 c #decision = 411980 405.50/405.63 c #conflict = 640 405.50/405.63 c #restart = 1 405.50/405.63 o 223768 405.50/405.64 c Solving starts ... 410.91/411.09 c solving time = 5.429s 410.91/411.09 c #decision = 414891 410.91/411.09 c #conflict = 641 410.91/411.09 c #restart = 1 410.91/411.09 o 223767 411.01/411.10 c Solving starts ... 416.41/416.54 c solving time = 5.423s 416.41/416.54 c #decision = 417798 416.41/416.54 c #conflict = 642 416.41/416.54 c #restart = 1 416.41/416.54 o 223766 416.41/416.56 c Solving starts ... 423.01/423.16 c solving time = 6.577s 423.01/423.16 c #decision = 423013 423.01/423.16 c #conflict = 643 423.01/423.16 c #restart = 1 423.01/423.16 o 223764 423.01/423.17 c Solving starts ... 428.20/428.30 c solving time = 5.118s 428.20/428.30 c #decision = 425966 428.20/428.30 c #conflict = 647 428.20/428.30 c #restart = 1 428.20/428.31 o 223763 428.20/428.32 c Solving starts ... 433.40/433.57 c solving time = 5.240s 433.40/433.57 c #decision = 428914 433.40/433.57 c #conflict = 651 433.40/433.57 c #restart = 1 433.40/433.57 o 223762 433.40/433.59 c Solving starts ... 447.39/447.52 c solving time = 13.911s 447.39/447.52 c #decision = 431945 447.39/447.52 c #conflict = 673 447.39/447.52 c #restart = 1 447.39/447.52 o 223761 447.39/447.53 c Solving starts ... 452.50/452.60 c solving time = 5.049s 452.50/452.60 c #decision = 434862 452.50/452.60 c #conflict = 674 452.50/452.60 c #restart = 1 452.50/452.60 o 223760 452.50/452.61 c Solving starts ... 457.79/457.91 c solving time = 5.272s 457.79/457.91 c #decision = 437778 457.79/457.91 c #conflict = 675 457.79/457.91 c #restart = 1 457.79/457.91 o 223759 457.79/457.92 c Solving starts ... 464.19/464.37 c solving time = 6.436s 464.19/464.37 c #decision = 440707 464.19/464.37 c #conflict = 678 464.19/464.37 c #restart = 1 464.19/464.37 o 223758 464.19/464.38 c Solving starts ... 469.68/469.89 c solving time = 5.492s 469.68/469.89 c #decision = 443619 469.68/469.89 c #conflict = 679 469.68/469.89 c #restart = 1 469.68/469.89 o 223757 469.78/469.91 c Solving starts ... 619.96/620.13 c solving time = 150.185s 619.96/620.13 c #decision = 447474 619.96/620.13 c #conflict = 936 619.96/620.13 c #restart = 3 619.96/620.13 o 223756 619.96/620.14 c Solving starts ... 627.36/627.55 c solving time = 7.387s 627.36/627.55 c #decision = 450413 627.36/627.55 c #conflict = 942 627.36/627.55 c #restart = 3 627.36/627.55 o 223755 627.36/627.56 c Solving starts ... 632.96/633.19 c solving time = 5.610s 632.96/633.19 c #decision = 453336 632.96/633.19 c #conflict = 943 632.96/633.19 c #restart = 3 632.96/633.19 o 223754 633.06/633.21 c Solving starts ... 638.87/639.09 c solving time = 5.866s 638.87/639.09 c #decision = 456260 638.87/639.09 c #conflict = 944 638.87/639.09 c #restart = 3 638.87/639.09 o 223753 638.97/639.10 c Solving starts ... 644.66/644.81 c solving time = 5.690s 644.66/644.81 c #decision = 459183 644.66/644.81 c #conflict = 945 644.66/644.81 c #restart = 3 644.66/644.81 o 223752 644.66/644.82 c Solving starts ... 650.35/650.53 c solving time = 5.683s 650.35/650.53 c #decision = 462104 650.35/650.53 c #conflict = 946 650.35/650.53 c #restart = 3 650.35/650.53 o 223751 650.35/650.54 c Solving starts ... 671.46/671.60 c solving time = 21.041s 671.46/671.60 c #decision = 465116 671.46/671.60 c #conflict = 954 671.46/671.60 c #restart = 3 671.46/671.60 o 223750 671.46/671.61 c Solving starts ... 685.06/685.25 c solving time = 13.615s 685.06/685.25 c #decision = 468067 685.06/685.25 c #conflict = 965 685.06/685.25 c #restart = 3 685.06/685.25 o 223749 685.06/685.26 c Solving starts ... 767.24/767.40 c solving time = 82.108s 767.24/767.40 c #decision = 471475 767.24/767.40 c #conflict = 1076 767.24/767.40 c #restart = 4 767.24/767.40 o 223748 767.24/767.41 c Solving starts ... 890.12/890.38 c solving time = 122.924s 890.12/890.38 c #decision = 499291 890.12/890.38 c #conflict = 1193 890.12/890.38 c #restart = 5 890.12/890.38 o 219557 890.12/890.39 c Solving starts ... 899.52/899.72 c solving time = 9.305s 899.52/899.72 c #decision = 502194 899.52/899.72 c #conflict = 1194 899.52/899.72 c #restart = 5 899.52/899.72 o 219556 899.52/899.73 c Solving starts ... 909.81/910.03 c solving time = 10.280s 909.81/910.03 c #decision = 505109 909.81/910.03 c #conflict = 1195 909.81/910.03 c #restart = 5 909.81/910.03 o 219555 909.81/910.04 c Solving starts ... 921.42/921.60 c solving time = 11.534s 921.42/921.60 c #decision = 508048 921.42/921.60 c #conflict = 1197 921.42/921.60 c #restart = 5 921.42/921.60 o 219554 921.42/921.61 c Solving starts ... 934.30/934.53 c solving time = 12.889s 934.30/934.53 c #decision = 522320 934.30/934.53 c #conflict = 1215 934.30/934.53 c #restart = 5 934.30/934.53 o 219553 934.30/934.54 c Solving starts ... 944.72/944.95 c solving time = 10.390s 944.72/944.95 c #decision = 525239 944.72/944.95 c #conflict = 1216 944.72/944.95 c #restart = 5 944.72/944.95 o 219552 944.72/944.96 c Solving starts ... 955.00/955.21 c solving time = 10.227s 955.00/955.21 c #decision = 528156 955.00/955.21 c #conflict = 1217 955.00/955.21 c #restart = 5 955.00/955.21 o 219551 955.00/955.22 c Solving starts ... 965.70/965.91 c solving time = 10.667s 965.70/965.91 c #decision = 531074 965.70/965.91 c #conflict = 1218 965.70/965.91 c #restart = 5 965.70/965.91 o 219550 965.70/965.92 c Solving starts ... 976.00/976.27 c solving time = 10.325s 976.00/976.27 c #decision = 533990 976.00/976.27 c #conflict = 1219 976.00/976.27 c #restart = 5 976.00/976.27 o 219549 976.00/976.28 c Solving starts ... 986.80/987.02 c solving time = 10.717s 986.80/987.02 c #decision = 536905 986.80/987.02 c #conflict = 1220 986.80/987.02 c #restart = 5 986.80/987.02 o 219548 986.80/987.03 c Solving starts ... 997.30/997.56 c solving time = 10.506s 997.30/997.56 c #decision = 539822 997.30/997.56 c #conflict = 1221 997.30/997.56 c #restart = 5 997.30/997.56 o 219547 997.30/997.57 c Solving starts ... 1008.00/1008.22 c solving time = 10.623s 1008.00/1008.22 c #decision = 542744 1008.00/1008.22 c #conflict = 1222 1008.00/1008.22 c #restart = 5 1008.00/1008.22 o 219546 1008.00/1008.23 c Solving starts ... 1024.70/1024.92 c solving time = 16.663s 1024.70/1024.92 c #decision = 545668 1024.70/1024.92 c #conflict = 1227 1024.70/1024.92 c #restart = 5 1024.70/1024.92 o 219545 1024.70/1024.93 c Solving starts ... 1036.00/1036.26 c solving time = 11.309s 1036.00/1036.26 c #decision = 548596 1036.00/1036.26 c #conflict = 1230 1036.00/1036.26 c #restart = 5 1036.00/1036.26 o 219544 1036.00/1036.27 c Solving starts ... 1054.09/1054.33 c solving time = 18.040s 1054.09/1054.33 c #decision = 551521 1054.09/1054.33 c #conflict = 1236 1054.09/1054.33 c #restart = 5 1054.09/1054.33 o 219543 1054.09/1054.35 c Solving starts ... 1064.79/1065.00 c solving time = 10.635s 1064.79/1065.00 c #decision = 554444 1064.79/1065.00 c #conflict = 1237 1064.79/1065.00 c #restart = 5 1064.79/1065.00 o 219542 1064.79/1065.02 c Solving starts ... 1079.89/1080.16 c solving time = 15.118s 1079.89/1080.16 c #decision = 557371 1079.89/1080.16 c #conflict = 1241 1079.89/1080.16 c #restart = 5 1079.89/1080.16 o 219541 1079.89/1080.17 c Solving starts ... 1090.89/1091.20 c solving time = 11.006s 1090.89/1091.20 c #decision = 560287 1090.89/1091.20 c #conflict = 1242 1090.89/1091.20 c #restart = 5 1090.89/1091.20 o 219540 1090.99/1091.21 c Solving starts ... 1101.79/1102.02 c solving time = 10.793s 1101.79/1102.02 c #decision = 565476 1101.79/1102.02 c #conflict = 1243 1101.79/1102.02 c #restart = 5 1101.79/1102.02 o 219536 1101.79/1102.04 c Solving starts ... 1118.49/1118.71 c solving time = 16.646s 1118.49/1118.71 c #decision = 568391 1118.49/1118.71 c #conflict = 1248 1118.49/1118.71 c #restart = 5 1118.49/1118.71 o 219535 1118.49/1118.72 c Solving starts ... 1129.18/1129.49 c solving time = 10.751s 1129.18/1129.49 c #decision = 571306 1129.18/1129.49 c #conflict = 1250 1129.18/1129.49 c #restart = 5 1129.18/1129.49 o 219534 1129.28/1129.50 c Solving starts ... 1146.08/1146.33 c solving time = 16.802s 1146.08/1146.33 c #decision = 574234 1146.08/1146.33 c #conflict = 1256 1146.08/1146.33 c #restart = 5 1146.08/1146.33 o 219533 1146.08/1146.34 c Solving starts ... 1157.08/1157.32 c solving time = 10.953s 1157.08/1157.32 c #decision = 577147 1157.08/1157.32 c #conflict = 1257 1157.08/1157.32 c #restart = 5 1157.08/1157.32 o 219532 1157.08/1157.33 c Solving starts ... 1168.28/1168.52 c solving time = 11.170s 1168.28/1168.52 c #decision = 580058 1168.28/1168.52 c #conflict = 1258 1168.28/1168.52 c #restart = 5 1168.28/1168.52 o 219531 1168.28/1168.53 c Solving starts ... 1179.17/1179.44 c solving time = 10.886s 1179.17/1179.44 c #decision = 582970 1179.17/1179.44 c #conflict = 1259 1179.17/1179.44 c #restart = 5 1179.17/1179.44 o 219530 1179.17/1179.45 c Solving starts ... 1190.07/1190.37 c solving time = 10.891s 1190.07/1190.37 c #decision = 585884 1190.07/1190.37 c #conflict = 1260 1190.07/1190.37 c #restart = 5 1190.07/1190.37 o 219529 1190.07/1190.38 c Solving starts ... 1203.76/1204.01 c solving time = 13.615s 1203.76/1204.01 c #decision = 591108 1203.76/1204.01 c #conflict = 1262 1203.76/1204.01 c #restart = 5 1203.76/1204.02 o 219481 1203.76/1204.03 c Solving starts ... 1211.87/1212.13 c solving time = 8.074s 1211.87/1212.13 c #decision = 596296 1211.87/1212.13 c #conflict = 1265 1211.87/1212.13 c #restart = 5 1211.87/1212.13 o 219478 1211.87/1212.14 c Solving starts ... 1222.06/1222.30 c solving time = 10.142s 1222.06/1222.30 c #decision = 599225 1222.06/1222.30 c #conflict = 1270 1222.06/1222.30 c #restart = 5 1222.06/1222.30 o 219477 1222.06/1222.31 c Solving starts ... 1229.96/1230.22 c solving time = 7.888s 1229.96/1230.22 c #decision = 602149 1229.96/1230.22 c #conflict = 1271 1229.96/1230.22 c #restart = 5 1229.96/1230.22 o 219476 1229.96/1230.23 c Solving starts ... 1237.96/1238.24 c solving time = 7.988s 1237.96/1238.24 c #decision = 605077 1237.96/1238.24 c #conflict = 1274 1237.96/1238.24 c #restart = 5 1237.96/1238.24 o 219475 1237.96/1238.25 c Solving starts ... 1248.55/1248.85 c solving time = 10.579s 1248.55/1248.85 c #decision = 608005 1248.55/1248.85 c #conflict = 1279 1248.55/1248.85 c #restart = 5 1248.55/1248.85 o 219474 1248.55/1248.87 c Solving starts ... 1256.55/1256.88 c solving time = 7.998s 1256.55/1256.88 c #decision = 610928 1256.55/1256.88 c #conflict = 1280 1256.55/1256.88 c #restart = 5 1256.55/1256.89 o 219473 1256.66/1256.90 c Solving starts ... 1268.65/1268.99 c solving time = 12.076s 1268.65/1268.99 c #decision = 613897 1268.65/1268.99 c #conflict = 1284 1268.65/1268.99 c #restart = 5 1268.65/1268.99 o 219472 1268.75/1269.01 c Solving starts ... 1294.05/1294.34 c solving time = 25.310s 1294.05/1294.34 c #decision = 619245 1294.05/1294.34 c #conflict = 1301 1294.05/1294.34 c #restart = 5 1294.05/1294.34 o 219470 1294.05/1294.35 c Solving starts ... 1301.85/1302.12 c solving time = 7.752s 1301.85/1302.12 c #decision = 622166 1301.85/1302.12 c #conflict = 1302 1301.85/1302.12 c #restart = 5 1301.85/1302.12 o 219469 1301.85/1302.14 c Solving starts ... 1309.76/1310.02 c solving time = 7.861s 1309.76/1310.02 c #decision = 625088 1309.76/1310.02 c #conflict = 1303 1309.76/1310.02 c #restart = 5 1309.76/1310.02 o 219468 1309.76/1310.03 c Solving starts ... 1317.56/1317.87 c solving time = 7.817s 1317.56/1317.87 c #decision = 628006 1317.56/1317.87 c #conflict = 1304 1317.56/1317.87 c #restart = 5 1317.56/1317.87 o 219467 1317.56/1317.88 c Solving starts ... 1327.05/1327.37 c solving time = 9.467s 1327.05/1327.37 c #decision = 630927 1327.05/1327.37 c #conflict = 1309 1327.05/1327.37 c #restart = 5 1327.05/1327.37 o 219466 1327.05/1327.38 c Solving starts ... 1384.64/1384.94 c solving time = 57.532s 1384.64/1384.94 c #decision = 634306 1384.64/1384.94 c #conflict = 1378 1384.64/1384.94 c #restart = 5 1384.64/1384.94 o 219465 1384.64/1384.95 c Solving starts ... 1392.34/1392.64 c solving time = 7.671s 1392.34/1392.64 c #decision = 637289 1392.34/1392.64 c #conflict = 1383 1392.34/1392.64 c #restart = 5 1392.34/1392.64 o 219464 1392.34/1392.65 c Solving starts ... 1399.63/1399.91 c solving time = 7.236s 1399.63/1399.91 c #decision = 640262 1399.63/1399.91 c #conflict = 1384 1399.63/1399.91 c #restart = 5 1399.63/1399.91 o 219463 1399.63/1399.92 c Solving starts ... 1408.13/1408.47 c solving time = 8.532s 1408.13/1408.47 c #decision = 643219 1408.13/1408.47 c #conflict = 1389 1408.13/1408.47 c #restart = 5 1408.13/1408.47 o 219462 1408.13/1408.48 c Solving starts ... 1416.93/1417.27 c solving time = 8.772s 1416.93/1417.27 c #decision = 646175 1416.93/1417.27 c #conflict = 1395 1416.93/1417.27 c #restart = 5 1416.93/1417.27 o 219461 1416.93/1417.28 c Solving starts ... 1434.42/1434.75 c solving time = 17.447s 1434.42/1434.75 c #decision = 649255 1434.42/1434.75 c #conflict = 1410 1434.42/1434.75 c #restart = 5 1434.42/1434.75 o 219460 1434.42/1434.76 c Solving starts ... 1444.92/1445.28 c solving time = 10.491s 1444.92/1445.28 c #decision = 652231 1444.92/1445.28 c #conflict = 1414 1444.92/1445.28 c #restart = 5 1444.92/1445.28 o 219459 1444.92/1445.29 c Solving starts ... 1453.72/1454.05 c solving time = 8.745s 1453.72/1454.05 c #decision = 655193 1453.72/1454.05 c #conflict = 1421 1453.72/1454.05 c #restart = 5 1453.72/1454.05 o 219458 1453.72/1454.07 c Solving starts ... 1461.72/1462.02 c solving time = 7.938s 1461.72/1462.02 c #decision = 658135 1461.72/1462.02 c #conflict = 1422 1461.72/1462.02 c #restart = 5 1461.72/1462.02 o 219457 1461.72/1462.04 c Solving starts ... 1471.32/1471.62 c solving time = 9.568s 1471.32/1471.62 c #decision = 661084 1471.32/1471.62 c #conflict = 1429 1471.32/1471.62 c #restart = 5 1471.32/1471.62 o 219456 1471.32/1471.64 c Solving starts ... 1479.23/1479.57 c solving time = 7.912s 1479.23/1479.57 c #decision = 664011 1479.23/1479.57 c #conflict = 1430 1479.23/1479.57 c #restart = 5 1479.23/1479.57 o 219455 1479.23/1479.58 c Solving starts ... 1488.03/1488.35 c solving time = 8.745s 1488.03/1488.35 c #decision = 666945 1488.03/1488.35 c #conflict = 1434 1488.03/1488.35 c #restart = 5 1488.03/1488.35 o 219454 1488.03/1488.36 c Solving starts ... 1496.02/1496.32 c solving time = 7.939s 1496.02/1496.32 c #decision = 669871 1496.02/1496.32 c #conflict = 1435 1496.02/1496.32 c #restart = 5 1496.02/1496.32 o 219453 1496.02/1496.33 c Solving starts ... 1505.02/1505.31 c solving time = 8.960s 1505.02/1505.31 c #decision = 672805 1505.02/1505.31 c #conflict = 1439 1505.02/1505.31 c #restart = 5 1505.02/1505.31 o 219452 1505.02/1505.32 c Solving starts ... 1512.51/1512.86 c solving time = 7.520s 1512.51/1512.86 c #decision = 675728 1512.51/1512.86 c #conflict = 1440 1512.51/1512.86 c #restart = 5 1512.51/1512.86 o 219451 1512.51/1512.87 c Solving starts ... 1521.52/1521.84 c solving time = 8.944s 1521.52/1521.84 c #decision = 678661 1521.52/1521.84 c #conflict = 1444 1521.52/1521.84 c #restart = 5 1521.52/1521.84 o 219450 1521.52/1521.85 c Solving starts ... 1529.11/1529.42 c solving time = 7.556s 1529.11/1529.42 c #decision = 681584 1529.11/1529.42 c #conflict = 1445 1529.11/1529.42 c #restart = 5 1529.11/1529.42 o 219449 1529.11/1529.44 c Solving starts ... 1538.32/1538.65 c solving time = 9.190s 1538.32/1538.65 c #decision = 686775 1538.32/1538.65 c #conflict = 1449 1538.32/1538.65 c #restart = 5 1538.32/1538.65 o 219447 1538.32/1538.66 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-3706297-1338140095/watcher-3706297-1338140095 -o /tmp/evaluation-result-3706297-1338140095/solver-3706297-1338140095 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706297-1338140095.opb running on 4 cores: 1,3,5,7 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.02 2.01 2.00 3/176 22904 /proc/meminfo: memFree=27089352/32873844 swapFree=6088/6088 [pid=22904] ppid=22902 vsize=6208 CPUtime=0 cores=1,3,5,7 /proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 793 0 0 0 0 0 0 0 20 0 1 0 280138114 6356992 713 33554432000 4194304 8973514 140734348758560 140733431401656 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22904/statm: 1552 713 411 1167 0 333 0 [startup+0.0122221 s] /proc/loadavg: 2.02 2.01 2.00 3/176 22904 /proc/meminfo: memFree=27089352/32873844 swapFree=6088/6088 [pid=22904] ppid=22902 vsize=7232 CPUtime=0 cores=1,3,5,7 /proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 967 0 0 0 0 0 0 0 20 0 1 0 280138114 7405568 887 33554432000 4194304 8973514 140734348758560 140733431401656 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22904/statm: 1808 892 411 1167 0 589 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 7232 [startup+0.100262 s] /proc/loadavg: 2.02 2.01 2.00 3/176 22904 /proc/meminfo: memFree=27089352/32873844 swapFree=6088/6088 [pid=22904] ppid=22902 vsize=12352 CPUtime=0.09 cores=1,3,5,7 /proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 2356 0 0 0 9 0 0 0 20 0 1 0 280138114 12648448 2276 33554432000 4194304 8973514 140734348758560 140733431401656 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22904/statm: 3088 2276 418 1167 0 1869 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12352 [startup+0.300304 s] /proc/loadavg: 2.02 2.01 2.00 3/176 22904 /proc/meminfo: memFree=27089352/32873844 swapFree=6088/6088 [pid=22904] ppid=22902 vsize=25664 CPUtime=0.28 cores=1,3,5,7 /proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 5527 0 0 0 28 0 0 0 20 0 1 0 280138114 26279936 5447 33554432000 4194304 8973514 140734348758560 140733431401656 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22904/statm: 6416 5453 418 1167 0 5197 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 25664 [startup+0.700265 s] /proc/loadavg: 2.02 2.01 2.00 3/176 22904 /proc/meminfo: memFree=27089352/32873844 swapFree=6088/6088 [pid=22904] ppid=22902 vsize=47168 CPUtime=0.69 cores=1,3,5,7 /proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 11060 0 0 0 67 2 0 0 20 0 1 0 280138114 48300032 10980 33554432000 4194304 8973514 140734348758560 140734348757824 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22904/statm: 11792 10980 418 1167 0 10573 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 47168 [startup+1.50028 s] /proc/loadavg: 2.02 2.01 2.00 3/177 22905 /proc/meminfo: memFree=27032668/32873844 swapFree=6088/6088 [pid=22904] ppid=22902 vsize=109632 CPUtime=1.49 cores=1,3,5,7 /proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 26676 0 0 0 144 5 0 0 20 0 1 0 280138114 112263168 26596 33554432000 4194304 8973514 140734348758560 140734348757824 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22904/statm: 27408 26596 418 1167 0 26189 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 109632 [startup+3.10022 s] /proc/loadavg: 2.02 2.01 2.00 3/177 22905 /proc/meminfo: memFree=26955276/32873844 swapFree=6088/6088 [pid=22904] ppid=22902 vsize=138304 CPUtime=3.08 cores=1,3,5,7 /proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 33865 0 0 0 302 6 0 0 20 0 1 0 280138114 141623296 33785 33554432000 4194304 8973514 140734348758560 140734348758056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22904/statm: 34576 33785 433 1167 0 33357 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 138304 [startup+6.30023 s] /proc/loadavg: 2.02 2.01 2.00 3/177 22905 /proc/meminfo: memFree=26954160/32873844 swapFree=6088/6088 [pid=22904] ppid=22902 vsize=138304 CPUtime=6.29 cores=1,3,5,7 /proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 33865 0 0 0 621 8 0 0 20 0 1 0 280138114 141623296 33785 33554432000 4194304 8973514 140734348758560 140734348758056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22904/statm: 34576 33785 433 1167 0 33357 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 138304 [startup+12.7003 s] /proc/loadavg: 2.02 2.01 2.00 3/177 22905 /proc/meminfo: memFree=26954044/32873844 swapFree=6088/6088 [pid=22904] ppid=22902 vsize=138304 CPUtime=12.69 cores=1,3,5,7 /proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 33889 0 0 0 1259 10 0 0 20 0 1 0 280138114 141623296 33809 33554432000 4194304 8973514 140734348758560 140734348757824 4209272 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22904/statm: 34576 33809 457 1167 0 33357 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 138304 [startup+25.5003 s] /proc/loadavg: 2.01 2.01 2.00 3/177 22905 /proc/meminfo: memFree=26943604/32873844 swapFree=6088/6088 [pid=22904] ppid=22902 vsize=145472 CPUtime=25.48 cores=1,3,5,7 /proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 35687 0 0 0 2533 15 0 0 20 0 1 0 280138114 148963328 35601 33554432000 4194304 8973514 140734348758560 140734348758056 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22904/statm: 36368 35601 457 1167 0 35149 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 145472 [startup+51.1003 s] /proc/loadavg: 2.01 2.00 2.00 3/177 22905 /proc/meminfo: memFree=26905132/32873844 swapFree=6088/6088 [pid=22904] ppid=22902 vsize=180288 CPUtime=51.07 cores=1,3,5,7 /proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 44224 0 0 0 5080 27 0 0 20 0 1 0 280138114 184614912 44136 33554432000 4194304 8973514 140734348758560 140734348758056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22904/statm: 45072 44136 457 1167 0 43853 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 180288 [startup+102.307 s] /proc/loadavg: 2.11 2.03 2.01 3/177 22905 /proc/meminfo: memFree=26871572/32873844 swapFree=6088/6088 [pid=22904] ppid=22902 vsize=201792 CPUtime=102.27 cores=1,3,5,7 /proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 49771 0 0 0 10173 54 0 0 20 0 1 0 280138114 206635008 49681 33554432000 4194304 8973514 140734348758560 140734348758056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22904/statm: 50448 49681 457 1167 0 49229 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 201792 [startup+162.3 s] /proc/loadavg: 2.04 2.02 2.00 3/177 22905 /proc/meminfo: memFree=26839760/32873844 swapFree=6088/6088 [pid=22904] ppid=22902 vsize=231488 CPUtime=162.25 cores=1,3,5,7 /proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 57203 0 0 0 16139 86 0 0 20 0 1 0 280138114 237043712 57105 33554432000 4194304 8973514 140734348758560 140734348758056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22904/statm: 57872 57105 457 1167 0 56653 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 231488 [startup+222.3 s] /proc/loadavg: 2.01 2.02 2.00 3/177 22905 /proc/meminfo: memFree=26803056/32873844 swapFree=6088/6088 [pid=22904] ppid=22902 vsize=262208 CPUtime=222.24 cores=1,3,5,7 /proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 64884 0 0 0 22107 117 0 0 20 0 1 0 280138114 268500992 64786 33554432000 4194304 8973514 140734348758560 140734348757824 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22904/statm: 65552 64786 457 1167 0 64333 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 262208 [startup+282.3 s] /proc/loadavg: 2.06 2.03 2.00 3/177 22905 /proc/meminfo: memFree=26761916/32873844 swapFree=6088/6088 [pid=22904] ppid=22902 vsize=290880 CPUtime=282.23 cores=1,3,5,7 /proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 72052 0 0 0 28076 147 0 0 20 0 1 0 280138114 297861120 71954 33554432000 4194304 8973514 140734348758560 140734348758056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22904/statm: 72720 71954 457 1167 0 71501 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 290880 [startup+342.3 s] /proc/loadavg: 2.02 2.02 2.00 3/178 22909 /proc/meminfo: memFree=26739588/32873844 swapFree=6088/6088 [pid=22904] ppid=22902 vsize=299072 CPUtime=342.22 cores=1,3,5,7 /proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 74100 0 0 0 34045 177 0 0 20 0 1 0 280138114 306249728 74002 33554432000 4194304 8973514 140734348758560 140734348758056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22904/statm: 74768 74002 457 1167 0 73549 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 299072 [startup+402.3 s] /proc/loadavg: 2.10 2.04 2.01 3/177 22909 /proc/meminfo: memFree=26716208/32873844 swapFree=6088/6088 [pid=22904] ppid=22902 vsize=322624 CPUtime=402.21 cores=1,3,5,7 /proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 79993 0 0 0 40012 209 0 0 20 0 1 0 280138114 330366976 79890 33554432000 4194304 8973514 140734348758560 140734348758056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22904/statm: 80656 79890 457 1167 0 79437 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 322624 [startup+462.3 s] /proc/loadavg: 2.09 2.05 2.01 3/177 22909 /proc/meminfo: memFree=26697636/32873844 swapFree=6088/6088 [pid=22904] ppid=22902 vsize=341056 CPUtime=462.19 cores=1,3,5,7 /proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 84614 0 0 0 45975 244 0 0 20 0 1 0 280138114 349241344 84498 33554432000 4194304 8973514 140734348758560 140734348757824 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22904/statm: 85264 84498 457 1167 0 84045 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 341056 [startup+522.3 s] /proc/loadavg: 2.03 2.04 2.00 3/176 22909 /proc/meminfo: memFree=26687224/32873844 swapFree=6088/6088 [pid=22904] ppid=22902 vsize=349248 CPUtime=522.18 cores=1,3,5,7 /proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 86664 0 0 0 51938 280 0 0 20 0 1 0 280138114 357629952 86546 33554432000 4194304 8973514 140734348758560 140734348758056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22904/statm: 87312 86546 457 1167 0 86093 0 Current children cumulated CPU time (s) 522.18 Current children cumulated vsize (KiB) 349248 [startup+582.3 s] /proc/loadavg: 2.01 2.03 2.00 3/177 22910 /proc/meminfo: memFree=26678824/32873844 swapFree=6088/6088 [pid=22904] ppid=22902 vsize=352320 CPUtime=582.17 cores=1,3,5,7 /proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 87432 0 0 0 57903 314 0 0 20 0 1 0 280138114 360775680 87314 33554432000 4194304 8973514 140734348758560 140734348758056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22904/statm: 88080 87314 457 1167 0 86861 0 Current children cumulated CPU time (s) 582.17 Current children cumulated vsize (KiB) 352320 [startup+642.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 22911 /proc/meminfo: memFree=26654108/32873844 swapFree=6088/6088 [pid=22904] ppid=22902 vsize=373824 CPUtime=822.12 cores=1,3,5,7 /proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 92814 0 0 0 81781 431 0 0 20 0 1 0 280138114 382795776 92690 33554432000 4194304 8973514 140734348758560 140734348758056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22904/statm: 93456 92690 457 1167 0 92237 0 Current children cumulated CPU time (s) 822.12 Current children cumulated vsize (KiB) 373824 [startup+882.3 s] /proc/loadavg: 2.06 2.02 2.00 3/177 22911 /proc/meminfo: memFree=26654232/32873844 swapFree=6088/6088 [pid=22904] ppid=22902 vsize=373824 CPUtime=882.12 cores=1,3,5,7 /proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 92814 0 0 0 87747 465 0 0 20 0 1 0 280138114 382795776 92690 33554432000 4194304 8973514 140734348758560 140734348758056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22904/statm: 93456 92690 457 1167 0 92237 0 Current children cumulated CPU time (s) 882.12 Current children cumulated vsize (KiB) 373824 [startup+942.3 s] /proc/loadavg: 2.02 2.01 2.00 3/178 22915 /proc/meminfo: memFree=26642196/32873844 swapFree=6088/6088 [pid=22904] ppid=22902 vsize=385088 CPUtime=942.1 cores=1,3,5,7 /proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 95630 0 0 0 93711 499 0 0 20 0 1 0 280138114 394330112 95506 33554432000 4194304 8973514 140734348758560 140734348758056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22904/statm: 96272 95506 457 1167 0 95053 0 Current children cumulated CPU time (s) 942.1 Current children cumulated vsize (KiB) 385088 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 22915 /proc/meminfo: memFree=26628748/32873844 swapFree=6088/6088 [pid=22904] ppid=22902 vsize=398400 CPUtime=1002.1 cores=1,3,5,7 /proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 98958 0 0 0 99677 533 0 0 20 0 1 0 280138114 407961600 98834 33554432000 4194304 8973514 140734348758560 140734348758056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22904/statm: 99600 98834 457 1167 0 98381 0 Current children cumulated CPU time (s) 1002.1 Current children cumulated vsize (KiB) 398400 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 22915 /proc/meminfo: memFree=26619696/32873844 swapFree=6088/6088 [pid=22904] ppid=22902 vsize=407616 CPUtime=1062.09 cores=1,3,5,7 /proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 101262 0 0 0 105647 562 0 0 20 0 1 0 280138114 417398784 101138 33554432000 4194304 8973514 140734348758560 140734348758056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22904/statm: 101904 101138 457 1167 0 100685 0 Current children cumulated CPU time (s) 1062.09 Current children cumulated vsize (KiB) 407616 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 22915 /proc/meminfo: memFree=26607544/32873844 swapFree=6088/6088 [pid=22904] ppid=22902 vsize=419904 CPUtime=1122.08 cores=1,3,5,7 /proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 104334 0 0 0 111618 590 0 0 20 0 1 0 280138114 429981696 104210 33554432000 4194304 8973514 140734348758560 140734348758056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22904/statm: 104976 104210 457 1167 0 103757 0 Current children cumulated CPU time (s) 1122.08 Current children cumulated vsize (KiB) 419904 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 22915 /proc/meminfo: memFree=26597248/32873844 swapFree=6088/6088 [pid=22904] ppid=22902 vsize=430144 CPUtime=1182.08 cores=1,3,5,7 /proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 106894 0 0 0 117587 621 0 0 20 0 1 0 280138114 440467456 106770 33554432000 4194304 8973514 140734348758560 140734348758056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22904/statm: 107536 106770 457 1167 0 106317 0 Current children cumulated CPU time (s) 1182.08 Current children cumulated vsize (KiB) 430144 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 22916 /proc/meminfo: memFree=26586036/32873844 swapFree=6088/6088 [pid=22904] ppid=22902 vsize=441408 CPUtime=1242.06 cores=1,3,5,7 /proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 109715 0 0 0 123551 655 0 0 20 0 1 0 280138114 452001792 109586 33554432000 4194304 8973514 140734348758560 140734348758056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22904/statm: 110352 109586 457 1167 0 109133 0 Current children cumulated CPU time (s) 1242.06 Current children cumulated vsize (KiB) 441408 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 22916 /proc/meminfo: memFree=26576860/32873844 swapFree=6088/6088 [pid=22904] ppid=22902 vsize=450624 CPUtime=1302.05 cores=1,3,5,7 /proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 112019 0 0 0 129519 686 0 0 20 0 1 0 280138114 461438976 111890 33554432000 4194304 8973514 140734348758560 140734348758056 4434648 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22904/statm: 112656 111890 457 1167 0 111437 0 Current children cumulated CPU time (s) 1302.05 Current children cumulated vsize (KiB) 450624 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 22955 /proc/meminfo: memFree=26687128/32873844 swapFree=6088/6088 [pid=22904] ppid=22902 vsize=459840 CPUtime=1362.04 cores=1,3,5,7 /proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 114323 0 0 0 135485 719 0 0 20 0 1 0 280138114 470876160 114194 33554432000 4194304 8973514 140734348758560 140734348758056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22904/statm: 114960 114194 457 1167 0 113741 0 Current children cumulated CPU time (s) 1362.04 Current children cumulated vsize (KiB) 459840 [startup+1422.31 s] /proc/loadavg: 2.07 2.03 2.01 3/177 22955 /proc/meminfo: memFree=26685764/32873844 swapFree=6088/6088 [pid=22904] ppid=22902 vsize=459840 CPUtime=1422.03 cores=1,3,5,7 /proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 114323 0 0 0 141452 751 0 0 20 0 1 0 280138114 470876160 114194 33554432000 4194304 8973514 140734348758560 140734348758056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22904/statm: 114960 114194 457 1167 0 113741 0 Current children cumulated CPU time (s) 1422.03 Current children cumulated vsize (KiB) 459840 [startup+1482.3 s] /proc/loadavg: 2.02 2.02 2.00 3/177 22955 /proc/meminfo: memFree=26659352/32873844 swapFree=6088/6088 [pid=22904] ppid=22902 vsize=483392 CPUtime=1482.02 cores=1,3,5,7 /proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 120211 0 0 0 147417 785 0 0 20 0 1 0 280138114 494993408 120082 33554432000 4194304 8973514 140734348758560 140734348758056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22904/statm: 120848 120082 457 1167 0 119629 0 Current children cumulated CPU time (s) 1482.02 Current children cumulated vsize (KiB) 483392 [startup+1542.3 s] /proc/loadavg: 2.01 2.02 2.00 3/178 22959 /proc/meminfo: memFree=26640992/32873844 swapFree=6088/6088 [pid=22904] ppid=22902 vsize=500800 CPUtime=1542.01 cores=1,3,5,7 /proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 124563 0 0 0 153387 814 0 0 20 0 1 0 280138114 512819200 124434 33554432000 4194304 8973514 140734348758560 140734348758056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22904/statm: 125200 124434 457 1167 0 123981 0 Current children cumulated CPU time (s) 1542.01 Current children cumulated vsize (KiB) 500800 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.00 3/178 22982 /proc/meminfo: memFree=26638944/32873844 swapFree=6088/6088 [pid=22904] ppid=22902 vsize=500800 CPUtime=1602 cores=1,3,5,7 /proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 124563 0 0 0 159354 846 0 0 20 0 1 0 280138114 512819200 124434 33554432000 4194304 8973514 140734348758560 140734348758056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22904/statm: 125200 124434 457 1167 0 123981 0 Current children cumulated CPU time (s) 1602 Current children cumulated vsize (KiB) 500800 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 22982 /proc/meminfo: memFree=26634968/32873844 swapFree=6088/6088 [pid=22904] ppid=22902 vsize=503872 CPUtime=1661.98 cores=1,3,5,7 /proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 125339 0 0 0 165317 881 0 0 20 0 1 0 280138114 515964928 125202 33554432000 4194304 8973514 140734348758560 140734348757824 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22904/statm: 125968 125202 457 1167 0 124749 0 Current children cumulated CPU time (s) 1661.98 Current children cumulated vsize (KiB) 503872 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 22982 /proc/meminfo: memFree=26634064/32873844 swapFree=6088/6088 [pid=22904] ppid=22902 vsize=503872 CPUtime=1721.98 cores=1,3,5,7 /proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 125339 0 0 0 171284 914 0 0 20 0 1 0 280138114 515964928 125202 33554432000 4194304 8973514 140734348758560 140734348758056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22904/statm: 125968 125202 457 1167 0 124749 0 Current children cumulated CPU time (s) 1721.98 Current children cumulated vsize (KiB) 503872 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 22982 /proc/meminfo: memFree=26633568/32873844 swapFree=6088/6088 [pid=22904] ppid=22902 vsize=503872 CPUtime=1781.97 cores=1,3,5,7 /proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 125339 0 0 0 177248 949 0 0 20 0 1 0 280138114 515964928 125202 33554432000 4194304 8973514 140734348758560 140734348758056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22904/statm: 125968 125202 457 1167 0 124749 0 Current children cumulated CPU time (s) 1781.97 Current children cumulated vsize (KiB) 503872 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.00 2.00 2.00 3/177 22982 /proc/meminfo: memFree=26633940/32873844 swapFree=6088/6088 [pid=22904] ppid=22902 vsize=503872 CPUtime=1800.07 cores=1,3,5,7 /proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 125339 0 0 0 179048 959 0 0 20 0 1 0 280138114 515964928 125202 33554432000 4194304 8973514 140734348758560 140734348758056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22904/statm: 125968 125202 457 1167 0 124749 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 503872 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.49 CPU system time (s): 9.59954 CPU usage (%): 99.9821 Max. virtual memory (cumulated for all children) (KiB): 503872 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.49 system time used= 9.59954 maximum resident set size= 500808 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 125339 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= 60 involuntary context switches= 1860 runsolver used 3.35049 second user time and 9.80551 second system time The end
Begin job on node108 at 2012-05-27 19:34:55 IDJOB=3706297 IDBENCH=72232 IDSOLVER=2285 FILE ID=node108/3706297-1338140095 RUNJOBID= node108-1338123392-21574 PBS_JOBID= 14624499 Free space on /tmp= 71716 MiB SOLVER NAME= toysat 2012-05-17 BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-evolution-dev.cudf.paranoid.opb COMMAND LINE= HOME/toysat --pb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3706297-1338140095/watcher-3706297-1338140095 -o /tmp/evaluation-result-3706297-1338140095/solver-3706297-1338140095 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706297-1338140095.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 936dd9c91ca1d73fea84b29056b5486e RANDOM SEED=1527837938 node108.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 : 2666.273 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 : 5332.54 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 : 2666.273 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 : 2666.273 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.91 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 : 2666.273 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 : 2666.273 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 : 2666.273 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 : 5438.55 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 : 2666.273 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.90 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 : 2666.273 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: 32873844 kB MemFree: 27089360 kB Buffers: 312160 kB Cached: 4562956 kB SwapCached: 0 kB Active: 756536 kB Inactive: 4233672 kB Active(anon): 114124 kB Inactive(anon): 0 kB Active(file): 642412 kB Inactive(file): 4233672 kB Unevictable: 6088 kB Mlocked: 6088 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 10564 kB Writeback: 0 kB AnonPages: 117404 kB Mapped: 16228 kB Shmem: 200 kB Slab: 655820 kB SReclaimable: 97980 kB SUnreclaim: 557840 kB KernelStack: 1456 kB PageTables: 4088 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 222544 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 94208 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71708 MiB End job on node108 at 2012-05-27 20:04:56