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/9orless/normalized-kmines.cudf.paranoid.opb |
MD5SUM | 00e81a5d5f984ac7ca6960890dac40f5 |
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 | 141778 |
Best CPU time to get the best result obtained on this benchmark | 333.523 |
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 | 19768 |
Total number of constraints | 96403 |
Number of constraints which are clauses | 94838 |
Number of constraints which are cardinality constraints (but not clauses) | 1565 |
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 | 7253 |
Biggest coefficient in the objective function | 4295 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 12717493 |
Number of bits of the sum of numbers in the objective function | 24 |
Biggest number in a constraint | 4295 |
Number of bits of the biggest number in a constraint | 13 |
Biggest sum of numbers in a constraint | 12717493 |
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.29/8.32 c 2012-05-27T19:38:00+0200 8.29/8.32 c arch = x86_64 8.29/8.32 c os = linux 8.29/8.32 c compiler = ghc 7.4 8.29/8.32 c packages: 8.29/8.32 c OptDir-0.0.1 8.29/8.32 c array-0.4.0.0 8.29/8.32 c base-4.5.0.0 8.29/8.32 c bytestring-0.9.2.1 8.29/8.32 c containers-0.4.2.1 8.29/8.32 c deepseq-1.3.0.0 8.29/8.32 c mtl-2.1.1 8.29/8.32 c old_locale-1.0.0.4 8.29/8.32 c parse_dimacs-1.2 8.29/8.32 c parsec-3.1.2 8.29/8.32 c queue-0.1.2 8.29/8.32 c stm-2.3 8.29/8.32 c time-1.4 8.29/8.32 c command line = ["--pb","HOME/instance-3706304-1338140280.opb"] 8.29/8.32 c #vars 19768 8.29/8.32 c #constraints 96403 8.29/8.32 c Solving starts ... 8.99/9.07 c solving time = 0.734s 8.99/9.07 c #decision = 57473 8.99/9.07 c #conflict = 50 8.99/9.07 c #restart = 0 8.99/9.07 o 176242 8.99/9.08 c Solving starts ... 9.39/9.44 c solving time = 0.346s 9.39/9.44 c #decision = 70040 9.39/9.44 c #conflict = 62 9.39/9.44 c #restart = 0 9.39/9.44 o 176239 9.39/9.45 c Solving starts ... 9.79/9.83 c solving time = 0.365s 9.79/9.83 c #decision = 76843 9.79/9.83 c #conflict = 63 9.79/9.83 c #restart = 0 9.79/9.83 o 176238 9.79/9.85 c Solving starts ... 10.18/10.27 c solving time = 0.407s 10.18/10.27 c #decision = 84593 10.18/10.27 c #conflict = 64 10.18/10.27 c #restart = 0 10.18/10.27 o 176236 10.18/10.28 c Solving starts ... 10.69/10.76 c solving time = 0.461s 10.69/10.76 c #decision = 92277 10.69/10.76 c #conflict = 65 10.69/10.76 c #restart = 0 10.69/10.76 o 176234 10.69/10.77 c Solving starts ... 11.39/11.40 c solving time = 0.611s 11.39/11.40 c #decision = 101686 11.39/11.40 c #conflict = 68 11.39/11.40 c #restart = 0 11.39/11.40 o 176232 11.39/11.47 c Solving starts ... 12.39/12.45 c solving time = 0.964s 12.39/12.45 c #decision = 109884 12.39/12.45 c #conflict = 71 12.39/12.45 c #restart = 0 12.39/12.45 o 176231 12.39/12.47 c Solving starts ... 13.09/13.11 c solving time = 0.629s 13.09/13.11 c #decision = 115649 13.09/13.11 c #conflict = 72 13.09/13.11 c #restart = 0 13.09/13.11 o 176230 13.09/13.12 c Solving starts ... 14.98/15.01 c solving time = 1.870s 14.98/15.01 c #decision = 123293 14.98/15.01 c #conflict = 81 14.98/15.01 c #restart = 0 14.98/15.01 o 176229 14.98/15.02 c Solving starts ... 15.40/15.48 c solving time = 0.448s 15.40/15.48 c #decision = 127907 15.40/15.48 c #conflict = 81 15.40/15.48 c #restart = 0 15.40/15.48 o 176228 15.49/15.50 c Solving starts ... 16.29/16.38 c solving time = 0.865s 16.29/16.38 c #decision = 132683 16.29/16.38 c #conflict = 82 16.29/16.38 c #restart = 0 16.29/16.38 o 176227 16.29/16.39 c Solving starts ... 22.19/22.25 c solving time = 5.848s 22.19/22.25 c #decision = 138156 22.19/22.25 c #conflict = 102 22.19/22.25 c #restart = 0 22.19/22.25 o 176226 22.19/22.27 c Solving starts ... 38.58/38.61 c solving time = 16.324s 38.58/38.61 c #decision = 141148 38.58/38.61 c #conflict = 134 38.58/38.61 c #restart = 0 38.58/38.61 o 176225 38.58/38.62 c Solving starts ... 39.98/40.07 c solving time = 1.440s 39.98/40.07 c #decision = 144078 39.98/40.07 c #conflict = 135 39.98/40.07 c #restart = 0 39.98/40.07 o 176224 39.98/40.08 c Solving starts ... 41.49/41.59 c solving time = 1.493s 41.49/41.59 c #decision = 147004 41.49/41.59 c #conflict = 136 41.49/41.59 c #restart = 0 41.49/41.59 o 176223 41.59/41.67 c Solving starts ... 44.48/44.50 c solving time = 2.812s 44.48/44.50 c #decision = 149929 44.48/44.50 c #conflict = 139 44.48/44.50 c #restart = 0 44.48/44.50 o 176222 44.48/44.51 c Solving starts ... 46.88/46.94 c solving time = 2.414s 46.88/46.94 c #decision = 152855 46.88/46.94 c #conflict = 142 46.88/46.94 c #restart = 0 46.88/46.94 o 176221 46.88/46.95 c Solving starts ... 54.38/54.47 c solving time = 7.502s 54.38/54.47 c #decision = 155787 54.38/54.47 c #conflict = 153 54.38/54.47 c #restart = 0 54.38/54.47 o 176220 54.38/54.48 c Solving starts ... 61.28/61.30 c solving time = 6.800s 61.28/61.30 c #decision = 158716 61.28/61.30 c #conflict = 162 61.28/61.30 c #restart = 0 61.28/61.30 o 176219 61.28/61.31 c Solving starts ... 93.18/93.22 c solving time = 31.889s 93.18/93.22 c #decision = 173677 93.18/93.22 c #conflict = 277 93.18/93.22 c #restart = 1 93.18/93.22 o 171951 93.18/93.23 c Solving starts ... 94.27/94.39 c solving time = 1.145s 94.27/94.39 c #decision = 176617 94.27/94.39 c #conflict = 278 94.27/94.39 c #restart = 1 94.27/94.39 o 171950 94.37/94.40 c Solving starts ... 97.37/97.43 c solving time = 3.009s 97.37/97.43 c #decision = 181806 97.37/97.43 c #conflict = 281 97.37/97.43 c #restart = 1 97.37/97.43 o 171947 97.37/97.44 c Solving starts ... 99.47/99.50 c solving time = 2.046s 99.47/99.50 c #decision = 184741 99.47/99.50 c #conflict = 282 99.47/99.50 c #restart = 1 99.47/99.50 o 171946 99.47/99.51 c Solving starts ... 101.67/101.70 c solving time = 2.175s 101.67/101.70 c #decision = 187674 101.67/101.70 c #conflict = 283 101.67/101.70 c #restart = 1 101.67/101.70 o 171945 101.67/101.71 c Solving starts ... 103.77/103.85 c solving time = 2.128s 103.77/103.85 c #decision = 190605 103.77/103.85 c #conflict = 284 103.77/103.85 c #restart = 1 103.77/103.85 o 171944 103.77/103.86 c Solving starts ... 105.97/106.07 c solving time = 2.188s 105.97/106.07 c #decision = 193532 105.97/106.07 c #conflict = 285 105.97/106.07 c #restart = 1 105.97/106.07 o 171943 106.07/106.16 c Solving starts ... 108.27/108.39 c solving time = 2.214s 108.27/108.39 c #decision = 196460 108.27/108.39 c #conflict = 286 108.27/108.39 c #restart = 1 108.27/108.39 o 171942 108.37/108.40 c Solving starts ... 114.77/114.82 c solving time = 6.407s 114.77/114.82 c #decision = 199646 114.77/114.82 c #conflict = 305 114.77/114.82 c #restart = 1 114.77/114.82 o 171941 114.77/114.83 c Solving starts ... 116.36/116.47 c solving time = 1.622s 116.36/116.47 c #decision = 202644 116.36/116.47 c #conflict = 310 116.36/116.47 c #restart = 1 116.36/116.47 o 171940 116.36/116.48 c Solving starts ... 120.46/120.57 c solving time = 4.068s 120.46/120.57 c #decision = 205838 120.46/120.57 c #conflict = 331 120.46/120.57 c #restart = 1 120.46/120.57 o 171939 120.46/120.58 c Solving starts ... 122.46/122.52 c solving time = 1.928s 122.46/122.52 c #decision = 208832 122.46/122.52 c #conflict = 342 122.46/122.52 c #restart = 1 122.46/122.52 o 171938 122.46/122.53 c Solving starts ... 124.16/124.29 c solving time = 1.740s 124.16/124.29 c #decision = 211811 124.16/124.29 c #conflict = 345 124.16/124.29 c #restart = 1 124.16/124.29 o 171937 124.16/124.30 c Solving starts ... 127.56/127.68 c solving time = 3.371s 127.56/127.68 c #decision = 214854 127.56/127.68 c #conflict = 368 127.56/127.68 c #restart = 1 127.56/127.68 o 171936 127.56/127.69 c Solving starts ... 129.46/129.54 c solving time = 1.829s 129.46/129.54 c #decision = 217833 129.46/129.54 c #conflict = 378 129.46/129.54 c #restart = 1 129.46/129.54 o 171935 129.46/129.55 c Solving starts ... 131.56/131.68 c solving time = 2.121s 131.56/131.68 c #decision = 220815 131.56/131.68 c #conflict = 389 131.56/131.68 c #restart = 1 131.56/131.68 o 171934 131.56/131.69 c Solving starts ... 133.46/133.52 c solving time = 1.816s 133.46/133.52 c #decision = 223783 133.46/133.52 c #conflict = 391 133.46/133.52 c #restart = 1 133.46/133.52 o 171933 133.46/133.53 c Solving starts ... 135.26/135.36 c solving time = 1.811s 135.26/135.36 c #decision = 226749 135.26/135.36 c #conflict = 396 135.26/135.36 c #restart = 1 135.26/135.36 o 171932 135.26/135.37 c Solving starts ... 137.46/137.59 c solving time = 2.211s 137.46/137.59 c #decision = 229722 137.46/137.59 c #conflict = 408 137.46/137.59 c #restart = 1 137.46/137.59 o 171931 137.55/137.60 c Solving starts ... 139.46/139.57 c solving time = 1.952s 139.46/139.57 c #decision = 232689 139.46/139.57 c #conflict = 411 139.46/139.57 c #restart = 1 139.46/139.57 o 171930 139.46/139.58 c Solving starts ... 141.86/141.97 c solving time = 2.370s 141.86/141.97 c #decision = 235672 141.86/141.97 c #conflict = 426 141.86/141.97 c #restart = 1 141.86/141.97 o 171929 141.86/141.98 c Solving starts ... 143.85/143.90 c solving time = 1.910s 143.85/143.90 c #decision = 238638 143.85/143.90 c #conflict = 428 143.85/143.90 c #restart = 1 143.85/143.90 o 171928 143.85/143.91 c Solving starts ... 146.27/146.34 c solving time = 2.411s 146.27/146.34 c #decision = 241627 146.27/146.34 c #conflict = 442 146.27/146.34 c #restart = 1 146.27/146.34 o 171927 146.27/146.35 c Solving starts ... 148.26/148.31 c solving time = 1.946s 148.26/148.31 c #decision = 244593 148.26/148.31 c #conflict = 444 148.26/148.31 c #restart = 1 148.26/148.31 o 171926 148.37/148.41 c Solving starts ... 150.45/150.56 c solving time = 2.140s 150.45/150.56 c #decision = 247569 150.45/150.56 c #conflict = 451 150.45/150.56 c #restart = 1 150.45/150.56 o 171925 150.45/150.57 c Solving starts ... 160.76/160.89 c solving time = 10.305s 160.76/160.89 c #decision = 250968 160.76/160.89 c #conflict = 503 160.76/160.89 c #restart = 1 160.76/160.89 o 171924 160.86/160.99 c Solving starts ... 163.05/163.10 c solving time = 2.098s 163.05/163.10 c #decision = 253888 163.05/163.10 c #conflict = 506 163.05/163.10 c #restart = 1 163.05/163.10 o 171923 163.05/163.11 c Solving starts ... 167.05/167.19 c solving time = 4.058s 167.05/167.19 c #decision = 260390 167.05/167.19 c #conflict = 533 167.05/167.19 c #restart = 1 167.05/167.19 o 171922 167.05/167.20 c Solving starts ... 169.45/169.55 c solving time = 2.342s 169.45/169.55 c #decision = 263399 169.45/169.55 c #conflict = 539 169.45/169.55 c #restart = 1 169.45/169.55 o 171921 169.45/169.56 c Solving starts ... 171.95/172.00 c solving time = 2.423s 171.95/172.00 c #decision = 266394 171.95/172.00 c #conflict = 547 171.95/172.00 c #restart = 1 171.95/172.00 o 171920 171.95/172.01 c Solving starts ... 174.04/174.16 c solving time = 2.137s 174.04/174.16 c #decision = 269377 174.04/174.16 c #conflict = 549 174.04/174.16 c #restart = 1 174.04/174.16 o 171919 174.04/174.18 c Solving starts ... 176.44/176.54 c solving time = 2.346s 176.44/176.54 c #decision = 272362 176.44/176.54 c #conflict = 554 176.44/176.54 c #restart = 1 176.44/176.54 o 171918 176.44/176.55 c Solving starts ... 178.84/178.98 c solving time = 2.418s 178.84/178.98 c #decision = 275349 178.84/178.98 c #conflict = 560 178.84/178.98 c #restart = 1 178.84/178.98 o 171917 178.84/178.99 c Solving starts ... 184.84/184.97 c solving time = 5.963s 184.84/184.97 c #decision = 278304 184.84/184.97 c #conflict = 568 184.84/184.97 c #restart = 1 184.84/184.97 o 171916 184.84/184.98 c Solving starts ... 188.24/188.37 c solving time = 3.372s 188.24/188.37 c #decision = 281250 188.24/188.37 c #conflict = 571 188.24/188.37 c #restart = 1 188.24/188.37 o 171915 188.24/188.38 c Solving starts ... 192.84/192.91 c solving time = 4.512s 192.84/192.91 c #decision = 284205 192.84/192.91 c #conflict = 577 192.84/192.91 c #restart = 1 192.84/192.91 o 171914 192.84/192.92 c Solving starts ... 197.24/197.35 c solving time = 4.412s 197.24/197.35 c #decision = 287147 197.24/197.35 c #conflict = 582 197.24/197.35 c #restart = 1 197.24/197.35 o 171913 197.24/197.36 c Solving starts ... 201.83/201.94 c solving time = 4.566s 201.83/201.94 c #decision = 290089 201.83/201.94 c #conflict = 587 201.83/201.94 c #restart = 1 201.83/201.94 o 171912 201.83/201.95 c Solving starts ... 207.84/207.98 c solving time = 6.017s 207.84/207.98 c #decision = 293034 207.84/207.98 c #conflict = 595 207.84/207.98 c #restart = 1 207.84/207.98 o 171911 207.84/207.99 c Solving starts ... 211.34/211.40 c solving time = 3.395s 211.34/211.40 c #decision = 295965 211.34/211.40 c #conflict = 598 211.34/211.40 c #restart = 1 211.34/211.40 o 171910 211.34/211.42 c Solving starts ... 225.23/225.33 c solving time = 13.899s 225.23/225.33 c #decision = 299158 225.23/225.33 c #conflict = 648 225.23/225.33 c #restart = 1 225.23/225.33 o 171909 225.23/225.34 c Solving starts ... 227.73/227.85 c solving time = 2.497s 227.73/227.85 c #decision = 302103 227.73/227.85 c #conflict = 649 227.73/227.85 c #restart = 1 227.73/227.85 o 171908 227.73/227.86 c Solving starts ... 230.14/230.27 c solving time = 2.395s 230.14/230.27 c #decision = 305048 230.14/230.27 c #conflict = 650 230.14/230.27 c #restart = 1 230.14/230.27 o 171907 230.14/230.28 c Solving starts ... 233.54/233.65 c solving time = 3.350s 233.54/233.65 c #decision = 308009 233.54/233.65 c #conflict = 658 233.54/233.65 c #restart = 1 233.54/233.65 o 171906 233.54/233.66 c Solving starts ... 243.43/243.56 c solving time = 9.881s 243.43/243.56 c #decision = 310977 243.43/243.56 c #conflict = 678 243.43/243.56 c #restart = 1 243.43/243.56 o 171905 243.43/243.57 c Solving starts ... 246.53/246.62 c solving time = 3.035s 246.53/246.62 c #decision = 313910 246.53/246.62 c #conflict = 679 246.53/246.62 c #restart = 1 246.53/246.62 o 171904 246.53/246.63 c Solving starts ... 251.03/251.16 c solving time = 4.522s 251.03/251.16 c #decision = 316843 251.03/251.16 c #conflict = 684 251.03/251.16 c #restart = 1 251.03/251.16 o 171903 251.03/251.18 c Solving starts ... 326.82/326.95 c solving time = 75.748s 326.82/326.95 c #decision = 327777 326.82/326.95 c #conflict = 924 326.82/326.95 c #restart = 2 326.82/326.95 o 167672 326.82/326.96 c Solving starts ... 331.32/331.48 c solving time = 4.501s 331.32/331.48 c #decision = 330761 331.32/331.48 c #conflict = 934 331.32/331.48 c #restart = 2 331.32/331.48 o 167671 331.32/331.49 c Solving starts ... 335.91/336.01 c solving time = 4.506s 335.91/336.01 c #decision = 333754 335.91/336.01 c #conflict = 938 335.91/336.01 c #restart = 2 335.91/336.01 o 167670 335.91/336.03 c Solving starts ... 340.83/340.96 c solving time = 4.922s 340.83/340.96 c #decision = 336739 340.83/340.96 c #conflict = 941 340.83/340.96 c #restart = 2 340.83/340.96 o 167669 340.83/340.97 c Solving starts ... 346.02/346.19 c solving time = 5.196s 346.02/346.19 c #decision = 339718 346.02/346.19 c #conflict = 945 346.02/346.19 c #restart = 2 346.02/346.19 o 167668 346.12/346.20 c Solving starts ... 351.21/351.31 c solving time = 5.099s 351.21/351.31 c #decision = 342690 351.21/351.31 c #conflict = 948 351.21/351.31 c #restart = 2 351.21/351.31 o 167667 351.21/351.32 c Solving starts ... 357.51/357.67 c solving time = 6.325s 357.51/357.67 c #decision = 347966 357.51/357.67 c #conflict = 954 357.51/357.67 c #restart = 2 357.51/357.67 o 167665 357.51/357.68 c Solving starts ... 364.62/364.76 c solving time = 7.070s 364.62/364.76 c #decision = 351089 364.62/364.76 c #conflict = 972 364.62/364.76 c #restart = 2 364.62/364.76 o 167664 364.62/364.77 c Solving starts ... 375.51/375.69 c solving time = 10.905s 375.51/375.69 c #decision = 354327 375.51/375.69 c #conflict = 993 375.51/375.69 c #restart = 2 375.51/375.69 o 167663 375.61/375.71 c Solving starts ... 379.81/379.98 c solving time = 4.257s 379.81/379.98 c #decision = 357315 379.81/379.98 c #conflict = 998 379.81/379.98 c #restart = 2 379.81/379.98 o 167662 379.81/379.99 c Solving starts ... 384.82/384.95 c solving time = 4.942s 384.82/384.95 c #decision = 360316 384.82/384.95 c #conflict = 1014 384.82/384.95 c #restart = 2 384.82/384.95 o 167661 384.82/384.96 c Solving starts ... 388.91/389.01 c solving time = 4.035s 388.91/389.01 c #decision = 363303 388.91/389.01 c #conflict = 1017 388.91/389.01 c #restart = 2 388.91/389.01 o 167660 388.91/389.02 c Solving starts ... 393.51/393.61 c solving time = 4.574s 393.51/393.61 c #decision = 366295 393.51/393.61 c #conflict = 1027 393.51/393.61 c #restart = 2 393.51/393.61 o 167659 393.51/393.62 c Solving starts ... 397.61/397.72 c solving time = 4.083s 397.61/397.72 c #decision = 369276 397.61/397.72 c #conflict = 1030 397.61/397.72 c #restart = 2 397.61/397.72 o 167658 397.61/397.73 c Solving starts ... 406.11/406.25 c solving time = 8.500s 406.11/406.25 c #decision = 372388 406.11/406.25 c #conflict = 1055 406.11/406.25 c #restart = 2 406.11/406.25 o 167657 406.11/406.26 c Solving starts ... 410.31/410.49 c solving time = 4.216s 410.31/410.49 c #decision = 375373 410.31/410.49 c #conflict = 1058 410.31/410.49 c #restart = 2 410.31/410.49 o 167656 410.41/410.50 c Solving starts ... 416.71/416.85 c solving time = 6.328s 416.71/416.85 c #decision = 378394 416.71/416.85 c #conflict = 1082 416.71/416.85 c #restart = 2 416.71/416.85 o 167655 416.71/416.86 c Solving starts ... 421.11/421.28 c solving time = 4.404s 421.11/421.28 c #decision = 381377 421.11/421.28 c #conflict = 1085 421.11/421.28 c #restart = 2 421.11/421.28 o 167654 421.11/421.29 c Solving starts ... 436.40/436.60 c solving time = 15.292s 436.40/436.60 c #decision = 384678 436.40/436.60 c #conflict = 1104 436.40/436.60 c #restart = 2 436.40/436.60 o 167653 436.50/436.61 c Solving starts ... 441.01/441.18 c solving time = 4.558s 441.01/441.18 c #decision = 387654 441.01/441.18 c #conflict = 1109 441.01/441.18 c #restart = 2 441.01/441.18 o 167652 441.01/441.19 c Solving starts ... 446.31/446.50 c solving time = 5.289s 446.31/446.50 c #decision = 390639 446.31/446.50 c #conflict = 1122 446.31/446.50 c #restart = 2 446.31/446.50 o 167651 446.41/446.51 c Solving starts ... 451.30/451.40 c solving time = 4.877s 451.30/451.40 c #decision = 393626 451.30/451.40 c #conflict = 1133 451.30/451.40 c #restart = 2 451.30/451.40 o 167650 451.30/451.42 c Solving starts ... 456.40/456.55 c solving time = 5.119s 456.40/456.55 c #decision = 396605 456.40/456.55 c #conflict = 1143 456.40/456.55 c #restart = 2 456.40/456.55 o 167649 456.40/456.56 c Solving starts ... 461.10/461.25 c solving time = 4.678s 461.10/461.25 c #decision = 399585 461.10/461.25 c #conflict = 1150 461.10/461.25 c #restart = 2 461.10/461.25 o 167648 461.10/461.27 c Solving starts ... 465.70/465.83 c solving time = 4.550s 465.70/465.83 c #decision = 402559 465.70/465.83 c #conflict = 1153 465.70/465.83 c #restart = 2 465.70/465.83 o 167647 465.70/465.84 c Solving starts ... 470.40/470.54 c solving time = 4.678s 470.40/470.54 c #decision = 405531 470.40/470.54 c #conflict = 1158 470.40/470.54 c #restart = 2 470.40/470.54 o 167646 470.40/470.55 c Solving starts ... 478.49/478.60 c solving time = 8.031s 478.49/478.60 c #decision = 408546 478.49/478.60 c #conflict = 1183 478.49/478.60 c #restart = 2 478.49/478.60 o 167645 478.49/478.61 c Solving starts ... 483.19/483.39 c solving time = 4.765s 483.19/483.39 c #decision = 413751 483.19/483.39 c #conflict = 1189 483.19/483.39 c #restart = 2 483.19/483.39 o 167643 483.29/483.40 c Solving starts ... 490.79/490.97 c solving time = 7.555s 490.79/490.97 c #decision = 416754 490.79/490.97 c #conflict = 1220 490.79/490.97 c #restart = 2 490.79/490.97 o 167642 490.79/490.98 c Solving starts ... 498.49/498.61 c solving time = 7.605s 498.49/498.61 c #decision = 419751 498.49/498.61 c #conflict = 1250 498.49/498.61 c #restart = 2 498.49/498.61 o 167641 498.49/498.62 c Solving starts ... 503.28/503.48 c solving time = 4.841s 503.28/503.48 c #decision = 422712 503.28/503.48 c #conflict = 1253 503.28/503.48 c #restart = 2 503.28/503.48 o 167640 503.28/503.49 c Solving starts ... 509.68/509.89 c solving time = 6.386s 509.68/509.89 c #decision = 425689 509.68/509.89 c #conflict = 1270 509.68/509.89 c #restart = 2 509.68/509.89 o 167639 509.78/509.90 c Solving starts ... 514.78/514.98 c solving time = 5.068s 514.78/514.98 c #decision = 428649 514.78/514.98 c #conflict = 1275 514.78/514.98 c #restart = 2 514.78/514.98 o 167638 514.78/514.99 c Solving starts ... 519.88/520.05 c solving time = 5.041s 519.88/520.05 c #decision = 431605 519.88/520.05 c #conflict = 1280 519.88/520.05 c #restart = 2 519.88/520.06 o 167637 519.88/520.07 c Solving starts ... 525.08/525.21 c solving time = 5.130s 525.08/525.21 c #decision = 434564 525.08/525.21 c #conflict = 1285 525.08/525.21 c #restart = 2 525.08/525.21 o 167636 525.08/525.22 c Solving starts ... 530.09/530.28 c solving time = 5.040s 530.09/530.28 c #decision = 437522 530.09/530.28 c #conflict = 1290 530.09/530.28 c #restart = 2 530.09/530.28 o 167635 530.09/530.29 c Solving starts ... 535.28/535.44 c solving time = 5.136s 535.28/535.44 c #decision = 440479 535.28/535.44 c #conflict = 1295 535.28/535.44 c #restart = 2 535.28/535.44 o 167634 535.28/535.45 c Solving starts ... 540.57/540.71 c solving time = 5.241s 540.57/540.71 c #decision = 443440 540.57/540.71 c #conflict = 1300 540.57/540.71 c #restart = 2 540.57/540.71 o 167633 540.57/540.72 c Solving starts ... 545.38/545.57 c solving time = 4.833s 545.38/545.57 c #decision = 446405 545.38/545.57 c #conflict = 1305 545.38/545.57 c #restart = 2 545.38/545.57 o 167632 545.38/545.58 c Solving starts ... 550.58/550.70 c solving time = 5.097s 550.58/550.70 c #decision = 449365 550.58/550.70 c #conflict = 1310 550.58/550.70 c #restart = 2 550.58/550.70 o 167631 550.58/550.71 c Solving starts ... 555.48/555.65 c solving time = 4.931s 555.48/555.65 c #decision = 452322 555.48/555.65 c #conflict = 1317 555.48/555.65 c #restart = 2 555.48/555.66 o 167630 555.48/555.67 c Solving starts ... 560.67/560.82 c solving time = 5.136s 560.67/560.82 c #decision = 455273 560.67/560.82 c #conflict = 1322 560.67/560.82 c #restart = 2 560.67/560.82 o 167629 560.67/560.83 c Solving starts ... 566.08/566.27 c solving time = 5.423s 566.08/566.27 c #decision = 458232 566.08/566.27 c #conflict = 1329 566.08/566.27 c #restart = 2 566.08/566.27 o 167628 566.08/566.28 c Solving starts ... 570.87/571.05 c solving time = 4.756s 570.87/571.05 c #decision = 461181 570.87/571.05 c #conflict = 1332 570.87/571.05 c #restart = 2 570.87/571.05 o 167627 570.87/571.06 c Solving starts ... 596.47/596.67 c solving time = 25.591s 596.47/596.67 c #decision = 466051 596.47/596.67 c #conflict = 1392 596.47/596.67 c #restart = 2 596.47/596.67 o 167626 596.47/596.69 c Solving starts ... 602.16/602.39 c solving time = 5.686s 602.16/602.39 c #decision = 469018 602.16/602.39 c #conflict = 1395 602.16/602.39 c #restart = 2 602.16/602.39 o 167625 602.26/602.40 c Solving starts ... 608.37/608.58 c solving time = 6.163s 608.37/608.58 c #decision = 471980 608.37/608.58 c #conflict = 1400 608.37/608.58 c #restart = 2 608.37/608.58 o 167624 608.37/608.59 c Solving starts ... 614.77/614.93 c solving time = 6.325s 614.77/614.93 c #decision = 474928 614.77/614.93 c #conflict = 1405 614.77/614.93 c #restart = 2 614.77/614.93 o 167623 614.77/614.94 c Solving starts ... 620.87/621.09 c solving time = 6.137s 620.87/621.09 c #decision = 477878 620.87/621.09 c #conflict = 1410 620.87/621.09 c #restart = 2 620.87/621.09 o 167622 620.97/621.11 c Solving starts ... 627.16/627.33 c solving time = 6.211s 627.16/627.33 c #decision = 480825 627.16/627.33 c #conflict = 1415 627.16/627.33 c #restart = 2 627.16/627.33 o 167621 627.16/627.34 c Solving starts ... 633.56/633.75 c solving time = 6.388s 633.56/633.75 c #decision = 483774 633.56/633.75 c #conflict = 1420 633.56/633.75 c #restart = 2 633.56/633.75 o 167620 633.56/633.76 c Solving starts ... 639.76/639.97 c solving time = 6.190s 639.76/639.97 c #decision = 486721 639.76/639.97 c #conflict = 1425 639.76/639.97 c #restart = 2 639.76/639.97 o 167619 639.76/639.98 c Solving starts ... 646.06/646.29 c solving time = 6.291s 646.06/646.29 c #decision = 491925 646.06/646.29 c #conflict = 1433 646.06/646.29 c #restart = 2 646.06/646.29 o 167615 646.27/646.43 c Solving starts ... 667.16/667.35 c solving time = 20.901s 667.16/667.35 c #decision = 495076 667.16/667.35 c #conflict = 1487 667.16/667.35 c #restart = 2 667.16/667.35 o 167614 667.16/667.36 c Solving starts ... 672.15/672.34 c solving time = 4.964s 672.15/672.34 c #decision = 498043 672.15/672.34 c #conflict = 1490 672.15/672.34 c #restart = 2 672.15/672.34 o 167613 672.15/672.36 c Solving starts ... 677.75/677.90 c solving time = 5.531s 677.75/677.90 c #decision = 501002 677.75/677.90 c #conflict = 1495 677.75/677.90 c #restart = 2 677.75/677.90 o 167612 677.75/677.91 c Solving starts ... 683.46/683.67 c solving time = 5.742s 683.46/683.67 c #decision = 503954 683.46/683.67 c #conflict = 1500 683.46/683.67 c #restart = 2 683.46/683.67 o 167611 683.46/683.68 c Solving starts ... 689.06/689.23 c solving time = 5.535s 689.06/689.23 c #decision = 506901 689.06/689.23 c #conflict = 1505 689.06/689.23 c #restart = 2 689.06/689.23 o 167610 689.06/689.25 c Solving starts ... 694.66/694.82 c solving time = 5.563s 694.66/694.82 c #decision = 509850 694.66/694.82 c #conflict = 1510 694.66/694.82 c #restart = 2 694.66/694.82 o 167609 694.76/694.97 c Solving starts ... 700.35/700.51 c solving time = 5.519s 700.35/700.51 c #decision = 512796 700.35/700.51 c #conflict = 1515 700.35/700.51 c #restart = 2 700.35/700.51 o 167608 700.35/700.52 c Solving starts ... 705.86/706.08 c solving time = 5.539s 705.86/706.08 c #decision = 515744 705.86/706.08 c #conflict = 1520 705.86/706.08 c #restart = 2 705.86/706.08 o 167607 705.86/706.09 c Solving starts ... 949.61/949.87 c solving time = 243.727s 949.61/949.87 c #decision = 524603 949.61/949.87 c #conflict = 2047 949.61/949.87 c #restart = 5 949.61/949.87 o 163368 949.61/949.88 c Solving starts ... 956.11/956.33 c solving time = 6.435s 956.11/956.33 c #decision = 529001 956.11/956.33 c #conflict = 2047 956.11/956.33 c #restart = 5 956.11/956.33 o 163367 956.11/956.35 c Solving starts ... 963.21/963.44 c solving time = 7.078s 963.21/963.44 c #decision = 534685 963.21/963.44 c #conflict = 2048 963.21/963.44 c #restart = 5 963.21/963.44 o 163365 963.21/963.45 c Solving starts ... 969.92/970.14 c solving time = 6.669s 969.92/970.14 c #decision = 537611 969.92/970.14 c #conflict = 2048 969.92/970.14 c #restart = 5 969.92/970.14 o 163364 969.92/970.15 c Solving starts ... 976.81/977.01 c solving time = 6.839s 976.81/977.01 c #decision = 542788 976.81/977.01 c #conflict = 2049 976.81/977.01 c #restart = 5 976.81/977.01 o 163362 976.91/977.16 c Solving starts ... 984.80/985.04 c solving time = 7.856s 984.80/985.04 c #decision = 545724 984.80/985.04 c #conflict = 2053 984.80/985.04 c #restart = 5 984.80/985.04 o 163361 984.80/985.05 c Solving starts ... 991.20/991.43 c solving time = 6.368s 991.20/991.43 c #decision = 548652 991.20/991.43 c #conflict = 2053 991.20/991.43 c #restart = 5 991.20/991.43 o 163360 991.20/991.44 c Solving starts ... 998.40/998.61 c solving time = 7.152s 998.40/998.61 c #decision = 551576 998.40/998.61 c #conflict = 2054 998.40/998.61 c #restart = 5 998.40/998.61 o 163359 998.40/998.62 c Solving starts ... 1005.80/1006.02 c solving time = 7.382s 1005.80/1006.02 c #decision = 554510 1005.80/1006.02 c #conflict = 2055 1005.80/1006.02 c #restart = 5 1005.80/1006.02 o 163358 1005.80/1006.04 c Solving starts ... 1018.10/1018.34 c solving time = 12.291s 1018.10/1018.34 c #decision = 557469 1018.10/1018.34 c #conflict = 2064 1018.10/1018.34 c #restart = 5 1018.10/1018.34 o 163357 1018.10/1018.36 c Solving starts ... 1026.90/1027.14 c solving time = 8.766s 1026.90/1027.14 c #decision = 560398 1026.90/1027.14 c #conflict = 2067 1026.90/1027.14 c #restart = 5 1026.90/1027.14 o 163356 1026.90/1027.15 c Solving starts ... 1035.70/1035.99 c solving time = 8.828s 1035.70/1035.99 c #decision = 563325 1035.70/1035.99 c #conflict = 2070 1035.70/1035.99 c #restart = 5 1035.70/1035.99 o 163355 1035.80/1036.01 c Solving starts ... 1044.60/1044.85 c solving time = 8.828s 1044.60/1044.85 c #decision = 566255 1044.60/1044.85 c #conflict = 2073 1044.60/1044.85 c #restart = 5 1044.60/1044.85 o 163354 1044.60/1044.86 c Solving starts ... 1056.69/1056.98 c solving time = 12.100s 1056.69/1056.98 c #decision = 569191 1056.69/1056.98 c #conflict = 2081 1056.69/1056.98 c #restart = 5 1056.69/1056.98 o 163353 1056.69/1056.99 c Solving starts ... 1065.60/1065.80 c solving time = 8.796s 1065.60/1065.80 c #decision = 572119 1065.60/1065.80 c #conflict = 2084 1065.60/1065.80 c #restart = 5 1065.60/1065.80 o 163352 1065.60/1065.82 c Solving starts ... 1074.50/1074.74 c solving time = 8.911s 1074.50/1074.74 c #decision = 575044 1074.50/1074.74 c #conflict = 2087 1074.50/1074.74 c #restart = 5 1074.50/1074.74 o 163351 1074.50/1074.75 c Solving starts ... 1083.39/1083.62 c solving time = 8.845s 1083.39/1083.62 c #decision = 577970 1083.39/1083.62 c #conflict = 2090 1083.39/1083.62 c #restart = 5 1083.39/1083.62 o 163350 1083.39/1083.63 c Solving starts ... 1115.29/1115.56 c solving time = 31.919s 1115.29/1115.56 c #decision = 581509 1115.29/1115.56 c #conflict = 2140 1115.29/1115.56 c #restart = 5 1115.29/1115.57 o 163349 1115.29/1115.58 c Solving starts ... 1124.08/1124.35 c solving time = 8.761s 1124.08/1124.35 c #decision = 584518 1124.08/1124.35 c #conflict = 2156 1124.08/1124.35 c #restart = 5 1124.08/1124.35 o 163348 1124.08/1124.36 c Solving starts ... 1132.28/1132.50 c solving time = 8.124s 1132.28/1132.50 c #decision = 587522 1132.28/1132.50 c #conflict = 2173 1132.28/1132.50 c #restart = 5 1132.28/1132.50 o 163347 1132.28/1132.52 c Solving starts ... 1139.78/1140.00 c solving time = 7.470s 1139.78/1140.00 c #decision = 590502 1139.78/1140.00 c #conflict = 2181 1139.78/1140.00 c #restart = 5 1139.78/1140.00 o 163346 1139.78/1140.01 c Solving starts ... 1147.98/1148.22 c solving time = 8.190s 1147.98/1148.22 c #decision = 593498 1147.98/1148.22 c #conflict = 2198 1147.98/1148.22 c #restart = 5 1147.98/1148.22 o 163345 1147.98/1148.23 c Solving starts ... 1155.58/1155.81 c solving time = 7.562s 1155.58/1155.81 c #decision = 596474 1155.58/1155.81 c #conflict = 2206 1155.58/1155.81 c #restart = 5 1155.58/1155.81 o 163344 1155.58/1155.82 c Solving starts ... 1163.48/1163.71 c solving time = 7.874s 1163.48/1163.71 c #decision = 599452 1163.48/1163.71 c #conflict = 2218 1163.48/1163.71 c #restart = 5 1163.48/1163.71 o 163343 1163.48/1163.72 c Solving starts ... 1172.58/1172.81 c solving time = 9.069s 1172.58/1172.81 c #decision = 602439 1172.58/1172.81 c #conflict = 2234 1172.58/1172.81 c #restart = 5 1172.58/1172.81 o 163342 1172.58/1172.82 c Solving starts ... 1179.98/1180.27 c solving time = 7.435s 1179.98/1180.27 c #decision = 605409 1179.98/1180.27 c #conflict = 2242 1179.98/1180.27 c #restart = 5 1179.98/1180.27 o 163341 1179.98/1180.28 c Solving starts ... 1187.87/1188.19 c solving time = 7.890s 1187.87/1188.19 c #decision = 608380 1187.87/1188.19 c #conflict = 2254 1187.87/1188.19 c #restart = 5 1187.87/1188.19 o 163340 1188.07/1188.36 c Solving starts ... 1195.77/1196.01 c solving time = 7.638s 1195.77/1196.01 c #decision = 611346 1195.77/1196.01 c #conflict = 2267 1195.77/1196.01 c #restart = 5 1195.77/1196.01 o 163339 1195.77/1196.02 c Solving starts ... 1225.37/1225.64 c solving time = 29.593s 1225.37/1225.64 c #decision = 616791 1225.37/1225.64 c #conflict = 2334 1225.37/1225.64 c #restart = 5 1225.37/1225.64 o 163337 1225.37/1225.65 c Solving starts ... 1232.17/1232.42 c solving time = 6.756s 1232.17/1232.42 c #decision = 619738 1232.17/1232.42 c #conflict = 2337 1232.17/1232.42 c #restart = 5 1232.17/1232.42 o 163336 1232.17/1232.43 c Solving starts ... 1239.07/1239.38 c solving time = 6.933s 1239.07/1239.38 c #decision = 622684 1239.07/1239.38 c #conflict = 2342 1239.07/1239.38 c #restart = 5 1239.07/1239.38 o 163335 1239.07/1239.39 c Solving starts ... 1246.26/1246.54 c solving time = 7.134s 1246.26/1246.54 c #decision = 625614 1246.26/1246.54 c #conflict = 2347 1246.26/1246.54 c #restart = 5 1246.26/1246.54 o 163334 1246.26/1246.56 c Solving starts ... 1256.67/1256.99 c solving time = 10.418s 1256.67/1256.99 c #decision = 630886 1256.67/1256.99 c #conflict = 2373 1256.67/1256.99 c #restart = 5 1256.67/1256.99 o 163331 1256.76/1257.00 c Solving starts ... 1263.27/1263.52 c solving time = 6.504s 1263.27/1263.52 c #decision = 633826 1263.27/1263.52 c #conflict = 2374 1263.27/1263.52 c #restart = 5 1263.27/1263.52 o 163330 1263.27/1263.53 c Solving starts ... 1341.55/1341.87 c solving time = 78.308s 1341.55/1341.87 c #decision = 637300 1341.55/1341.87 c #conflict = 2503 1341.55/1341.87 c #restart = 6 1341.55/1341.87 o 163329 1341.55/1341.88 c Solving starts ... 1349.95/1350.27 c solving time = 8.368s 1349.95/1350.27 c #decision = 640225 1349.95/1350.27 c #conflict = 2508 1349.95/1350.27 c #restart = 6 1349.95/1350.27 o 163328 1349.95/1350.28 c Solving starts ... 1358.15/1358.49 c solving time = 8.194s 1358.15/1358.49 c #decision = 643155 1358.15/1358.49 c #conflict = 2512 1358.15/1358.49 c #restart = 6 1358.15/1358.49 o 163327 1358.15/1358.50 c Solving starts ... 1366.54/1366.86 c solving time = 8.347s 1366.54/1366.86 c #decision = 648352 1366.54/1366.86 c #conflict = 2517 1366.54/1366.86 c #restart = 6 1366.54/1366.87 o 163325 1366.54/1366.88 c Solving starts ... 1385.75/1386.07 c solving time = 19.172s 1385.75/1386.07 c #decision = 651343 1385.75/1386.07 c #conflict = 2552 1385.75/1386.07 c #restart = 6 1385.75/1386.07 o 163324 1385.75/1386.08 c Solving starts ... 1392.75/1393.07 c solving time = 6.978s 1392.75/1393.07 c #decision = 654275 1392.75/1393.07 c #conflict = 2553 1392.75/1393.07 c #restart = 6 1392.75/1393.07 o 163323 1392.75/1393.08 c Solving starts ... 1399.44/1399.77 c solving time = 6.671s 1399.44/1399.77 c #decision = 657200 1399.44/1399.77 c #conflict = 2554 1399.44/1399.77 c #restart = 6 1399.44/1399.77 o 163322 1399.44/1399.78 c Solving starts ... 1408.44/1408.72 c solving time = 8.917s 1408.44/1408.72 c #decision = 660130 1408.44/1408.72 c #conflict = 2559 1408.44/1408.72 c #restart = 6 1408.44/1408.72 o 163321 1408.44/1408.73 c Solving starts ... 1415.94/1416.22 c solving time = 7.474s 1415.94/1416.22 c #decision = 663053 1415.94/1416.22 c #conflict = 2562 1415.94/1416.22 c #restart = 6 1415.94/1416.22 o 163320 1415.94/1416.23 c Solving starts ... 1427.64/1427.98 c solving time = 11.735s 1427.64/1427.98 c #decision = 668257 1427.64/1427.98 c #conflict = 2572 1427.64/1427.98 c #restart = 6 1427.64/1427.98 o 163318 1427.73/1428.00 c Solving starts ... 1434.94/1435.21 c solving time = 7.201s 1434.94/1435.21 c #decision = 671190 1434.94/1435.21 c #conflict = 2574 1434.94/1435.21 c #restart = 6 1434.94/1435.21 o 163317 1434.94/1435.23 c Solving starts ... 1443.34/1443.61 c solving time = 8.368s 1443.34/1443.61 c #decision = 674122 1443.34/1443.61 c #conflict = 2579 1443.34/1443.61 c #restart = 6 1443.34/1443.61 o 163316 1443.34/1443.62 c Solving starts ... 1451.33/1451.69 c solving time = 8.050s 1451.33/1451.69 c #decision = 677058 1451.33/1451.69 c #conflict = 2583 1451.33/1451.69 c #restart = 6 1451.33/1451.69 o 163315 1451.43/1451.70 c Solving starts ... 1459.54/1459.89 c solving time = 8.177s 1459.54/1459.89 c #decision = 679991 1459.54/1459.89 c #conflict = 2588 1459.54/1459.89 c #restart = 6 1459.54/1459.89 o 163314 1459.64/1459.90 c Solving starts ... 1467.43/1467.75 c solving time = 7.828s 1467.43/1467.75 c #decision = 682925 1467.43/1467.75 c #conflict = 2592 1467.43/1467.75 c #restart = 6 1467.43/1467.75 o 163313 1467.43/1467.76 c Solving starts ... 1476.53/1476.84 c solving time = 9.061s 1476.53/1476.84 c #decision = 685865 1476.53/1476.84 c #conflict = 2600 1476.53/1476.84 c #restart = 6 1476.53/1476.84 o 163312 1476.53/1476.85 c Solving starts ... 1485.03/1485.33 c solving time = 8.458s 1485.03/1485.33 c #decision = 688803 1485.03/1485.33 c #conflict = 2608 1485.03/1485.33 c #restart = 6 1485.03/1485.33 o 163311 1485.03/1485.34 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-3706304-1338140280/watcher-3706304-1338140280 -o /tmp/evaluation-result-3706304-1338140280/solver-3706304-1338140280 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706304-1338140280.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.00 2.00 2.00 3/178 24222 /proc/meminfo: memFree=29820212/32873844 swapFree=7372/7372 [pid=24222] ppid=24220 vsize=7232 CPUtime=0 cores=0,2,4,6 /proc/24222/stat : 24222 (toysat) R 24220 24222 21797 0 -1 4202496 828 0 0 0 0 0 0 0 20 0 1 0 280152781 7405568 749 33554432000 4194304 8973514 140735976675152 140736249620952 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/24222/statm: 1808 749 411 1167 0 589 0 [startup+0.0217581 s] /proc/loadavg: 2.00 2.00 2.00 3/178 24222 /proc/meminfo: memFree=29820212/32873844 swapFree=7372/7372 [pid=24222] ppid=24220 vsize=8256 CPUtime=0.01 cores=0,2,4,6 /proc/24222/stat : 24222 (toysat) R 24220 24222 21797 0 -1 4202496 1078 0 0 0 1 0 0 0 20 0 1 0 280152781 8454144 999 33554432000 4194304 8973514 140735976675152 140736249620952 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/24222/statm: 2064 999 412 1167 0 845 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 8256 [startup+0.100278 s] /proc/loadavg: 2.00 2.00 2.00 3/178 24222 /proc/meminfo: memFree=29820212/32873844 swapFree=7372/7372 [pid=24222] ppid=24220 vsize=12352 CPUtime=0.09 cores=0,2,4,6 /proc/24222/stat : 24222 (toysat) R 24220 24222 21797 0 -1 4202496 2356 0 0 0 9 0 0 0 20 0 1 0 280152781 12648448 2277 33554432000 4194304 8973514 140735976675152 140736249620952 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/24222/statm: 3088 2277 418 1167 0 1869 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12352 [startup+0.300266 s] /proc/loadavg: 2.00 2.00 2.00 3/178 24222 /proc/meminfo: memFree=29820212/32873844 swapFree=7372/7372 [pid=24222] ppid=24220 vsize=24640 CPUtime=0.29 cores=0,2,4,6 /proc/24222/stat : 24222 (toysat) R 24220 24222 21797 0 -1 4202496 5188 0 0 0 28 1 0 0 20 0 1 0 280152781 25231360 5109 33554432000 4194304 8973514 140735976675152 140736249620952 4209325 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/24222/statm: 6160 5116 418 1167 0 4941 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24640 [startup+0.700267 s] /proc/loadavg: 2.00 2.00 2.00 3/178 24222 /proc/meminfo: memFree=29820212/32873844 swapFree=7372/7372 [pid=24222] ppid=24220 vsize=47168 CPUtime=0.69 cores=0,2,4,6 /proc/24222/stat : 24222 (toysat) R 24220 24222 21797 0 -1 4202496 11060 0 0 0 67 2 0 0 20 0 1 0 280152781 48300032 10981 33554432000 4194304 8973514 140735976675152 140736249620952 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/24222/statm: 11792 10981 418 1167 0 10573 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 47168 [startup+1.5003 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24223 /proc/meminfo: memFree=29762304/32873844 swapFree=7372/7372 [pid=24222] ppid=24220 vsize=110656 CPUtime=1.49 cores=0,2,4,6 /proc/24222/stat : 24222 (toysat) R 24220 24222 21797 0 -1 4202496 26932 0 0 0 144 5 0 0 20 0 1 0 280152781 113311744 26853 33554432000 4194304 8973514 140735976675152 140735976674648 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/24222/statm: 27664 26853 418 1167 0 26445 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 110656 [startup+3.1002 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24223 /proc/meminfo: memFree=29684300/32873844 swapFree=7372/7372 [pid=24222] ppid=24220 vsize=140352 CPUtime=3.09 cores=0,2,4,6 /proc/24222/stat : 24222 (toysat) R 24220 24222 21797 0 -1 4202496 34377 0 0 0 302 7 0 0 20 0 1 0 280152781 143720448 34298 33554432000 4194304 8973514 140735976675152 140735976674648 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/24222/statm: 35088 34298 433 1167 0 33869 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 140352 [startup+6.30024 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24223 /proc/meminfo: memFree=29683680/32873844 swapFree=7372/7372 [pid=24222] ppid=24220 vsize=140352 CPUtime=6.28 cores=0,2,4,6 /proc/24222/stat : 24222 (toysat) R 24220 24222 21797 0 -1 4202496 34377 0 0 0 621 7 0 0 20 0 1 0 280152781 143720448 34298 33554432000 4194304 8973514 140735976675152 140735976674416 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/24222/statm: 35088 34298 433 1167 0 33869 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 140352 [startup+12.7002 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24223 /proc/meminfo: memFree=29683564/32873844 swapFree=7372/7372 [pid=24222] ppid=24220 vsize=140352 CPUtime=12.69 cores=0,2,4,6 /proc/24222/stat : 24222 (toysat) R 24220 24222 21797 0 -1 4202496 34401 0 0 0 1259 10 0 0 20 0 1 0 280152781 143720448 34322 33554432000 4194304 8973514 140735976675152 140735976674648 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/24222/statm: 35088 34322 457 1167 0 33869 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 140352 [startup+25.5003 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24223 /proc/meminfo: memFree=29674884/32873844 swapFree=7372/7372 [pid=24222] ppid=24220 vsize=149568 CPUtime=25.49 cores=0,2,4,6 /proc/24222/stat : 24222 (toysat) R 24220 24222 21797 0 -1 4202496 36705 0 0 0 2535 14 0 0 20 0 1 0 280152781 153157632 36626 33554432000 4194304 8973514 140735976675152 140735976674648 4209272 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/24222/statm: 37392 36626 457 1167 0 36173 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 149568 [startup+51.1003 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24223 /proc/meminfo: memFree=29661984/32873844 swapFree=7372/7372 [pid=24222] ppid=24220 vsize=161856 CPUtime=51.08 cores=0,2,4,6 /proc/24222/stat : 24222 (toysat) R 24220 24222 21797 0 -1 4202496 39777 0 0 0 5085 23 0 0 20 0 1 0 280152781 165740544 39703 33554432000 4194304 8973514 140735976675152 140735976674648 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/24222/statm: 40464 39703 457 1167 0 39245 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 161856 [startup+102.307 s] /proc/loadavg: 2.04 2.01 2.00 3/179 24262 /proc/meminfo: memFree=29567228/32873844 swapFree=7372/7372 [pid=24222] ppid=24220 vsize=175168 CPUtime=102.28 cores=0,2,4,6 /proc/24222/stat : 24222 (toysat) R 24220 24222 21797 0 -1 4202496 43107 0 0 0 10187 41 0 0 20 0 1 0 280152781 179372032 43031 33554432000 4194304 8973514 140735976675152 140735976674648 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/24222/statm: 43792 43031 457 1167 0 42573 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 175168 [startup+162.3 s] /proc/loadavg: 2.01 2.01 2.00 3/180 24265 /proc/meminfo: memFree=29510456/32873844 swapFree=7372/7372 [pid=24222] ppid=24220 vsize=222272 CPUtime=162.26 cores=0,2,4,6 /proc/24222/stat : 24222 (toysat) R 24220 24222 21797 0 -1 4202496 54892 0 0 0 16153 73 0 0 20 0 1 0 280152781 227606528 54807 33554432000 4194304 8973514 140735976675152 140735976674648 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/24222/statm: 55568 54807 457 1167 0 54349 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 222272 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24265 /proc/meminfo: memFree=29458368/32873844 swapFree=7372/7372 [pid=24222] ppid=24220 vsize=257088 CPUtime=222.23 cores=0,2,4,6 /proc/24222/stat : 24222 (toysat) R 24220 24222 21797 0 -1 4202496 63611 0 0 0 22122 101 0 0 20 0 1 0 280152781 263258112 63511 33554432000 4194304 8973514 140735976675152 140735976674648 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/24222/statm: 64272 63511 457 1167 0 63053 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 257088 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24266 /proc/meminfo: memFree=29424420/32873844 swapFree=7372/7372 [pid=24222] ppid=24220 vsize=275520 CPUtime=282.23 cores=0,2,4,6 /proc/24222/stat : 24222 (toysat) R 24220 24222 21797 0 -1 4202496 68219 0 0 0 28090 133 0 0 20 0 1 0 280152781 282132480 68119 33554432000 4194304 8973514 140735976675152 140735976673024 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/24222/statm: 68880 68119 457 1167 0 67661 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 275520 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24266 /proc/meminfo: memFree=29399684/32873844 swapFree=7372/7372 [pid=24222] ppid=24220 vsize=282688 CPUtime=342.21 cores=0,2,4,6 /proc/24222/stat : 24222 (toysat) R 24220 24222 21797 0 -1 4202496 70011 0 0 0 34056 165 0 0 20 0 1 0 280152781 289472512 69911 33554432000 4194304 8973514 140735976675152 140735976674648 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/24222/statm: 70672 69911 457 1167 0 69453 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 282688 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24266 /proc/meminfo: memFree=29362732/32873844 swapFree=7372/7372 [pid=24222] ppid=24220 vsize=299072 CPUtime=402.21 cores=0,2,4,6 /proc/24222/stat : 24222 (toysat) R 24220 24222 21797 0 -1 4202496 74107 0 0 0 40022 199 0 0 20 0 1 0 280152781 306249728 74007 33554432000 4194304 8973514 140735976675152 140735976674648 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/24222/statm: 74768 74007 457 1167 0 73549 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 299072 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24266 /proc/meminfo: memFree=29338180/32873844 swapFree=7372/7372 [pid=24222] ppid=24220 vsize=323648 CPUtime=462.2 cores=0,2,4,6 /proc/24222/stat : 24222 (toysat) R 24220 24222 21797 0 -1 4202496 80251 0 0 0 45985 235 0 0 20 0 1 0 280152781 331415552 80151 33554432000 4194304 8973514 140735976675152 140735976674648 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/24222/statm: 80912 80151 457 1167 0 79693 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 323648 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24266 /proc/meminfo: memFree=29300272/32873844 swapFree=7372/7372 [pid=24222] ppid=24220 vsize=350272 CPUtime=522.18 cores=0,2,4,6 /proc/24222/stat : 24222 (toysat) R 24220 24222 21797 0 -1 4202496 86924 0 0 0 51947 271 0 0 20 0 1 0 280152781 358678528 86807 33554432000 4194304 8973514 140735976675152 140735976674648 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/24222/statm: 87568 86807 457 1167 0 86349 0 Current children cumulated CPU time (s) 522.18 Current children cumulated vsize (KiB) 350272 [startup+582.3 s] /proc/loadavg: 2.07 2.02 2.00 3/179 24267 /proc/meminfo: memFree=29257540/32873844 swapFree=7372/7372 [pid=24222] ppid=24220 vsize=373824 CPUtime=582.17 cores=0,2,4,6 /proc/24222/stat : 24222 (toysat) R 24220 24222 21797 0 -1 4202496 92812 0 0 0 57911 306 0 0 20 0 1 0 280152781 382795776 92695 33554432000 4194304 8973514 140735976675152 140735976674648 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/24222/statm: 93456 92695 457 1167 0 92237 0 Current children cumulated CPU time (s) 582.17 Current children cumulated vsize (KiB) 373824 [startup+642.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.04 2.01 2.00 3/179 24270 /proc/meminfo: memFree=29172140/32873844 swapFree=7372/7372 [pid=24222] ppid=24220 vsize=416832 CPUtime=822.13 cores=0,2,4,6 /proc/24222/stat : 24222 (toysat) R 24220 24222 21797 0 -1 4202496 103564 0 0 0 81766 447 0 0 20 0 1 0 280152781 426835968 103447 33554432000 4194304 8973514 140735976675152 140735976674648 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/24222/statm: 104208 103447 457 1167 0 102989 0 Current children cumulated CPU time (s) 822.13 Current children cumulated vsize (KiB) 416832 [startup+882.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 24271 /proc/meminfo: memFree=29160980/32873844 swapFree=7372/7372 [pid=24222] ppid=24220 vsize=416832 CPUtime=882.13 cores=0,2,4,6 /proc/24222/stat : 24222 (toysat) R 24220 24222 21797 0 -1 4202496 103564 0 0 0 87730 483 0 0 20 0 1 0 280152781 426835968 103447 33554432000 4194304 8973514 140735976675152 140735976674648 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/24222/statm: 104208 103447 457 1167 0 102989 0 Current children cumulated CPU time (s) 882.13 Current children cumulated vsize (KiB) 416832 [startup+942.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24271 /proc/meminfo: memFree=29153812/32873844 swapFree=7372/7372 [pid=24222] ppid=24220 vsize=416832 CPUtime=942.12 cores=0,2,4,6 /proc/24222/stat : 24222 (toysat) R 24220 24222 21797 0 -1 4202496 103567 0 0 0 93695 517 0 0 20 0 1 0 280152781 426835968 103447 33554432000 4194304 8973514 140735976675152 140735976674648 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/24222/statm: 104208 103447 457 1167 0 102989 0 Current children cumulated CPU time (s) 942.12 Current children cumulated vsize (KiB) 416832 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24271 /proc/meminfo: memFree=29133452/32873844 swapFree=7372/7372 [pid=24222] ppid=24220 vsize=429120 CPUtime=1002.1 cores=0,2,4,6 /proc/24222/stat : 24222 (toysat) R 24220 24222 21797 0 -1 4202496 106640 0 0 0 99660 550 0 0 20 0 1 0 280152781 439418880 106519 33554432000 4194304 8973514 140735976675152 140735976674648 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/24222/statm: 107280 106519 457 1167 0 106061 0 Current children cumulated CPU time (s) 1002.1 Current children cumulated vsize (KiB) 429120 [startup+1062.3 s] /proc/loadavg: 2.07 2.02 2.00 3/179 24271 /proc/meminfo: memFree=29108032/32873844 swapFree=7372/7372 [pid=24222] ppid=24220 vsize=447552 CPUtime=1062.09 cores=0,2,4,6 /proc/24222/stat : 24222 (toysat) R 24220 24222 21797 0 -1 4202496 111248 0 0 0 105627 582 0 0 20 0 1 0 280152781 458293248 111127 33554432000 4194304 8973514 140735976675152 140735976674648 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/24222/statm: 111888 111127 457 1167 0 110669 0 Current children cumulated CPU time (s) 1062.09 Current children cumulated vsize (KiB) 447552 [startup+1122.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 24271 /proc/meminfo: memFree=29097492/32873844 swapFree=7372/7372 [pid=24222] ppid=24220 vsize=456768 CPUtime=1122.09 cores=0,2,4,6 /proc/24222/stat : 24222 (toysat) R 24220 24222 21797 0 -1 4202496 113552 0 0 0 111594 615 0 0 20 0 1 0 280152781 467730432 113431 33554432000 4194304 8973514 140735976675152 140735976674648 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/24222/statm: 114192 113431 457 1167 0 112973 0 Current children cumulated CPU time (s) 1122.09 Current children cumulated vsize (KiB) 456768 [startup+1182.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 24272 /proc/meminfo: memFree=29075612/32873844 swapFree=7372/7372 [pid=24222] ppid=24220 vsize=468032 CPUtime=1182.08 cores=0,2,4,6 /proc/24222/stat : 24222 (toysat) R 24220 24222 21797 0 -1 4202496 116368 0 0 0 117560 648 0 0 20 0 1 0 280152781 479264768 116247 33554432000 4194304 8973514 140735976675152 140735976674648 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/24222/statm: 117008 116247 457 1167 0 115789 0 Current children cumulated CPU time (s) 1182.08 Current children cumulated vsize (KiB) 468032 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24272 /proc/meminfo: memFree=29053788/32873844 swapFree=7372/7372 [pid=24222] ppid=24220 vsize=477248 CPUtime=1242.06 cores=0,2,4,6 /proc/24222/stat : 24222 (toysat) R 24220 24222 21797 0 -1 4202496 118672 0 0 0 123522 684 0 0 20 0 1 0 280152781 488701952 118551 33554432000 4194304 8973514 140735976675152 140735976674648 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/24222/statm: 119312 118551 457 1167 0 118093 0 Current children cumulated CPU time (s) 1242.06 Current children cumulated vsize (KiB) 477248 [startup+1302.3 s] /proc/loadavg: 2.04 2.01 2.00 3/179 24272 /proc/meminfo: memFree=29029360/32873844 swapFree=7372/7372 [pid=24222] ppid=24220 vsize=487488 CPUtime=1302.06 cores=0,2,4,6 /proc/24222/stat : 24222 (toysat) R 24220 24222 21797 0 -1 4202496 121232 0 0 0 129484 722 0 0 20 0 1 0 280152781 499187712 121111 33554432000 4194304 8973514 140735976675152 140735976674648 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/24222/statm: 121872 121111 457 1167 0 120653 0 Current children cumulated CPU time (s) 1302.06 Current children cumulated vsize (KiB) 487488 [startup+1362.3 s] /proc/loadavg: 2.01 2.01 2.00 3/180 24275 /proc/meminfo: memFree=29002196/32873844 swapFree=7372/7372 [pid=24222] ppid=24220 vsize=500800 CPUtime=1362.05 cores=0,2,4,6 /proc/24222/stat : 24222 (toysat) R 24220 24222 21797 0 -1 4202496 124560 0 0 0 135453 752 0 0 20 0 1 0 280152781 512819200 124439 33554432000 4194304 8973514 140735976675152 140735976674648 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/24222/statm: 125200 124439 457 1167 0 123981 0 Current children cumulated CPU time (s) 1362.05 Current children cumulated vsize (KiB) 500800 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/180 24298 /proc/meminfo: memFree=28977332/32873844 swapFree=7372/7372 [pid=24222] ppid=24220 vsize=513088 CPUtime=1422.04 cores=0,2,4,6 /proc/24222/stat : 24222 (toysat) R 24220 24222 21797 0 -1 4202496 127632 0 0 0 141417 787 0 0 20 0 1 0 280152781 525402112 127511 33554432000 4194304 8973514 140735976675152 140735976674648 4434700 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/24222/statm: 128272 127511 457 1167 0 127053 0 Current children cumulated CPU time (s) 1422.04 Current children cumulated vsize (KiB) 513088 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24299 /proc/meminfo: memFree=28956784/32873844 swapFree=7372/7372 [pid=24222] ppid=24220 vsize=529472 CPUtime=1482.03 cores=0,2,4,6 /proc/24222/stat : 24222 (toysat) R 24220 24222 21797 0 -1 4202496 131732 0 0 0 147382 821 0 0 20 0 1 0 280152781 542179328 131607 33554432000 4194304 8973514 140735976675152 140735976674648 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/24222/statm: 132368 131607 457 1167 0 131149 0 Current children cumulated CPU time (s) 1482.03 Current children cumulated vsize (KiB) 529472 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24299 /proc/meminfo: memFree=28939592/32873844 swapFree=7372/7372 [pid=24222] ppid=24220 vsize=534592 CPUtime=1542.02 cores=0,2,4,6 /proc/24222/stat : 24222 (toysat) R 24220 24222 21797 0 -1 4202496 133015 0 0 0 153342 860 0 0 20 0 1 0 280152781 547422208 132888 33554432000 4194304 8973514 140735976675152 140735976674648 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/24222/statm: 133648 132888 457 1167 0 132429 0 Current children cumulated CPU time (s) 1542.02 Current children cumulated vsize (KiB) 534592 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24299 /proc/meminfo: memFree=28931408/32873844 swapFree=7372/7372 [pid=24222] ppid=24220 vsize=534592 CPUtime=1602.01 cores=0,2,4,6 /proc/24222/stat : 24222 (toysat) R 24220 24222 21797 0 -1 4202496 133015 0 0 0 159307 894 0 0 20 0 1 0 280152781 547422208 132888 33554432000 4194304 8973514 140735976675152 140735976674416 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/24222/statm: 133648 132888 457 1167 0 132429 0 Current children cumulated CPU time (s) 1602.01 Current children cumulated vsize (KiB) 534592 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24299 /proc/meminfo: memFree=28922232/32873844 swapFree=7372/7372 [pid=24222] ppid=24220 vsize=535616 CPUtime=1662 cores=0,2,4,6 /proc/24222/stat : 24222 (toysat) R 24220 24222 21797 0 -1 4202496 133271 0 0 0 165270 930 0 0 20 0 1 0 280152781 548470784 133144 33554432000 4194304 8973514 140735976675152 140735976674648 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/24222/statm: 133904 133144 457 1167 0 132685 0 Current children cumulated CPU time (s) 1662 Current children cumulated vsize (KiB) 535616 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24299 /proc/meminfo: memFree=28922328/32873844 swapFree=7372/7372 [pid=24222] ppid=24220 vsize=535616 CPUtime=1721.99 cores=0,2,4,6 /proc/24222/stat : 24222 (toysat) R 24220 24222 21797 0 -1 4202496 133271 0 0 0 171233 966 0 0 20 0 1 0 280152781 548470784 133144 33554432000 4194304 8973514 140735976675152 140735976674648 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/24222/statm: 133904 133144 457 1167 0 132685 0 Current children cumulated CPU time (s) 1721.99 Current children cumulated vsize (KiB) 535616 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24300 /proc/meminfo: memFree=28920036/32873844 swapFree=7372/7372 [pid=24222] ppid=24220 vsize=535616 CPUtime=1781.98 cores=0,2,4,6 /proc/24222/stat : 24222 (toysat) R 24220 24222 21797 0 -1 4202496 133271 0 0 0 177195 1003 0 0 20 0 1 0 280152781 548470784 133144 33554432000 4194304 8973514 140735976675152 140735976674648 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/24222/statm: 133904 133144 457 1167 0 132685 0 Current children cumulated CPU time (s) 1781.98 Current children cumulated vsize (KiB) 535616 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24300 /proc/meminfo: memFree=28918052/32873844 swapFree=7372/7372 [pid=24222] ppid=24220 vsize=535616 CPUtime=1800.08 cores=0,2,4,6 /proc/24222/stat : 24222 (toysat) R 24220 24222 21797 0 -1 4202496 133271 0 0 0 178995 1013 0 0 20 0 1 0 280152781 548470784 133144 33554432000 4194304 8973514 140735976675152 140735976673088 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/24222/statm: 133904 133144 457 1167 0 132685 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 535616 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): 1789.95 CPU system time (s): 10.1395 CPU usage (%): 99.9825 Max. virtual memory (cumulated for all children) (KiB): 535616 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1789.95 system time used= 10.1395 maximum resident set size= 532576 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 133271 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= 56 involuntary context switches= 1882 runsolver used 4.00039 second user time and 8.95464 second system time The end
Begin job on node133 at 2012-05-27 19:38:00 IDJOB=3706304 IDBENCH=72257 IDSOLVER=2285 FILE ID=node133/3706304-1338140280 RUNJOBID= node133-1338109544-21813 PBS_JOBID= 14624470 Free space on /tmp= 71720 MiB SOLVER NAME= toysat 2012-05-17 BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/9orless/normalized-kmines.cudf.paranoid.opb COMMAND LINE= HOME/toysat --pb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3706304-1338140280/watcher-3706304-1338140280 -o /tmp/evaluation-result-3706304-1338140280/solver-3706304-1338140280 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706304-1338140280.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 00e81a5d5f984ac7ca6960890dac40f5 RANDOM SEED=410498060 node133.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.540 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 : 5333.08 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.540 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.92 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.540 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 : 2666.540 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.540 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.540 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.90 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.540 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 : 2666.540 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: 29820484 kB Buffers: 359104 kB Cached: 1792892 kB SwapCached: 104 kB Active: 695992 kB Inactive: 1531752 kB Active(anon): 66488 kB Inactive(anon): 11368 kB Active(file): 629504 kB Inactive(file): 1520384 kB Unevictable: 7372 kB Mlocked: 7372 kB SwapTotal: 67108856 kB SwapFree: 67108752 kB Dirty: 10884 kB Writeback: 0 kB AnonPages: 82812 kB Mapped: 16204 kB Shmem: 212 kB Slab: 685844 kB SReclaimable: 128012 kB SUnreclaim: 557832 kB KernelStack: 1488 kB PageTables: 4148 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 189812 kB VmallocTotal: 34359738367 kB VmallocUsed: 346376 kB VmallocChunk: 34341987860 kB HardwareCorrupted: 0 kB AnonHugePages: 61440 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 node133 at 2012-05-27 20:08:02