Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | OPTIMUM | 604.2 | 604.293 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-11-10--soft-33-100-0.wbo |
| MD5SUM | aee3c086893c0832e26f8cc2ef39e632 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 0.361944 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 110 |
| Total number of constraints | 21 |
| Number of soft constraints | 19 |
| Number of constraints which are clauses | 11 |
| Number of constraints which are cardinality constraints (but not clauses) | 10 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 10 |
| Maximum length of a constraint | 11 |
| Top cost | 810 |
| Min constraint cost | 1 |
| Max constraint cost | 83 |
| Sum of constraints costs | 809 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 12 |
| Number of bits of the biggest sum of numbers | 4 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-19T15:10:22+0200 0.00/0.00 c version = 0.5.0 0.00/0.00 c githash = 1a49202 0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.00 c arch = x86_64 0.00/0.00 c os = linux 0.00/0.00 c compiler = ghc 7.10 0.00/0.00 c packages: 0.00/0.00 c OptDir-0.0.3 0.00/0.00 c array-0.5.1.0 0.00/0.00 c base-4.8.2.0 0.00/0.00 c bytestring-0.10.6.0 0.00/0.00 c bytestring-builder-0.10.6.0.0 0.00/0.00 c clock-0.7.2 0.00/0.00 c containers-0.5.6.2 0.00/0.00 c data-default-0.5.3 0.00/0.00 c data-default-class-0.0.1 0.00/0.00 c data-interval-1.2.0 0.00/0.00 c deepseq-1.4.1.1 0.00/0.00 c directory-1.2.2.0 0.00/0.00 c exceptions-0.8.2.1 0.00/0.00 c extended-reals-0.2.1.0 0.00/0.00 c filepath-1.4.0.0 0.00/0.00 c finite-field-0.8.0 0.00/0.00 c hashable-1.2.4.0 0.00/0.00 c heaps-0.3.3 0.00/0.00 c intern-0.9.1.4 0.00/0.00 c loop-0.3.0 0.00/0.00 c mtl-2.2.1 0.00/0.00 c multiset-0.3.2 0.00/0.00 c mwc-random-0.13.3.2 0.00/0.00 c parse_dimacs-1.3 0.00/0.00 c parsec-3.1.9 0.00/0.00 c prettyclass-1.0.0.0 0.00/0.00 c primes-0.2.1.0 0.00/0.00 c primitive-0.6.1.0 0.00/0.00 c process-1.2.3.0 0.00/0.00 c pseudo-boolean-0.1.3.0 0.00/0.01 c queue-0.1.2 0.00/0.01 c semigroups-0.18.1 0.00/0.01 c sign-0.4.3 0.00/0.01 c stm-2.4.4.1 0.00/0.01 c template-haskell-2.10.0.0 0.00/0.01 c temporary-1.2.0.4 0.00/0.01 c time-1.5.0.1 0.00/0.01 c transformers-0.4.2.0 0.00/0.01 c transformers-compat-0.5.1.4 0.00/0.01 c type-level-numbers-0.1.1.1 0.00/0.01 c unbounded-delays-0.1.0.9 0.00/0.01 c unordered-containers-0.2.6.0 0.00/0.01 c vector-0.11.0.0 0.00/0.01 c vector-space-0.10.3 0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--wbo","--search=bcd2","HOME/instance-4109186-1466341822.wbo"] 0.00/0.01 c use --random-gen="4143542779 1654643133 808571897 1739674474 1627709302 1955099527 3316691731 2413581752 4138720359 1494856697 1604990823 1299132091 2759445759 44929802 384974057 2602771686 1867936588 540431488 3982168764 209095720 260654194 2743147986 1323126616 1087810478 2148656946 2139788729 757190574 1317508244 1952731551 629707303 4140402999 152953529 837208157 3500769062 4184023350 3537336001 2695749966 3396142018 66968548 3218397565 1358963852 2523464295 823716396 877867690 149002884 535564454 2555133388 2255533172 3967793690 3464057442 367715863 2741941350 2184033064 2096822009 344009127 267308079 3498720780 2691874762 503039842 3478204864 4288905416 1908337866 1793239875 1446578883 3189691593 3822543429 4184724922 237432684 1696712819 831662072 1197873650 274258910 2865190755 924515946 161282809 1150780104 1247606903 65904758 2462455877 3679617091 517619731 2001034789 2601245616 257680680 2658919575 1283099829 3722284916 1057061312 2907428752 3272996617 1211648811 961904407 3664040113 4212587059 177848971 3990335971 1594399984 915130368 3703417911 3423194156 1107442380 2160178247 161304684 2231353648 2962620220 2520899574 1833772972 1926757190 2875961530 2461585490 1296735237 3320530426 1853211520 3001174479 2701971893 1109445537 2745871393 231422469 3268237826 4121759212 637569171 2070911120 2272937614 618981395 2656154996 1204745476 2683936497 658275933 1119182536 470499457 986431913 2784789411 646231597 686476292 560730541 2394337819 273346531 3282291502 4129426913 1649082547 2386087017 206738282 1135922849 138713355 1017716686 463281190 2788970433 1467439413 2207498946 1682935586 3430416211 4123020176 3505351233 4068844983 1165793476 2957345244 3649565894 94346781 1629602896 2265319135 1810854757 970600205 3958925562 2732128610 3816068486 3218533838 1515352880 1245848311 4019378674 3333432446 500105221 2555425556 2136061328 3607362868 608279765 3411318417 4182325888 2055356711 1663204073 2356074162 2226855764 2250803779 1516770824 448532347 1190478732 1186024920 2885734324 1889813780 2284817426 3327384730 223680003 947323936 1390806045 3865767009 88965232 4082886133 169705403 4005289230 1325484064 3712558531 639872094 2690780006 3058278989 178845743 3424009332 2760624987 1412880409 1258619003 1532729037 3136771062 1957660454 3296248510 3389906037 2274058468 2297164609 3282866194 820477678 3425030392 4209636850 4199360221 3606605313 3633882025 3650778484 3973776191 3900478855 2665412559 536098019 3736649136 2903267928 3560222416 2167974285 1781683859 965882509 4086079640 2597901247 2291622231 975350807 1385001685 1429564258 1969372788 2772607833 2292996546 2947091775 3717982684 504375526 3610249243 2331885293 1990498565 2675190096 2657231835 204289107 626533188 1264562032 3151532727 3114705385 289141218 255 362436" option to reproduce the execution 0.00/0.01 c #vars 110 0.00/0.01 c #constraints 21 0.00/0.01 c BCD2: Hardening is enabled. 0.00/0.01 c BCD2: BiasedSearch is enabled. 0.00/0.01 c Solving starts ... 0.00/0.01 c ============================[ Search Statistics ]============================ 0.00/0.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.01 c | | | | Limit GC | Var | Constra 0.00/0.01 c ============================================================================= 0.00/0.01 c 0.0s | 0 | 0 | 0 | 50 0 | 0 | 0 0.00/0.01 c 0.0s | 0 | 29 | 0 | 50 0 | 0 | 0 0.00/0.01 c #cpu_time = 0.000s 0.00/0.01 c #wall_clock_time = 0.000s 0.00/0.01 c #decision = 29 0.00/0.01 c #random_decision = 0 0.00/0.01 c #conflict = 0 0.00/0.01 c #restart = 0 0.00/0.01 o 379 0.00/0.01 c BCD2: updating upper bound: 809 -> 378 0.00/0.01 c BCD2: 0 <= obj <= 378 0.00/0.01 c BCD2: #cores=0, #unrelaxed=19, #relaxed=0, #hardened=0 0.00/0.01 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.01 c Solving starts ... 0.00/0.01 c ============================[ Search Statistics ]============================ 0.00/0.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.01 c | | | | Limit GC | Var | Constra 0.00/0.01 c ============================================================================= 0.00/0.01 c 0.0s | 0 | 0 | 0 | 50 0 | 0 | 0 0.00/0.03 c 0.0s | 1 | 142 | 100 | 50 0 | 0 | 0 0.00/0.05 c 0.0s | 2 | 465 | 250 | 56 2 | 0 | 0 0.00/0.09 c 0.1s | 3 | 816 | 475 | 62 6 | 0 | 0 0.09/0.16 c 0.1s | 4 | 1350 | 813 | 69 10 | 0 | 0 0.19/0.25 c 0.2s | 5 | 2062 | 1320 | 76 18 | 0 | 0 0.39/0.40 c 0.4s | 6 | 3087 | 2081 | 93 28 | 0 | 0 0.59/0.62 c 0.6s | 7 | 4555 | 3223 | 103 42 | 0 | 0 0.89/0.91 c 0.9s | 8 | 6706 | 4936 | 114 63 | 0 | 0 1.19/1.23 c 1.2s | 9 | 9819 | 7506 | 126 92 | 0 | 0 1.69/1.73 c 1.7s | 10 | 14470 | 11361 | 139 132 | 0 | 0 2.49/2.55 c 2.5s | 11 | 21939 | 17144 | 153 186 | 0 | 0 3.69/3.74 c 3.7s | 12 | 32568 | 25819 | 169 263 | 0 | 0 5.49/5.52 c 5.5s | 13 | 48667 | 38832 | 186 368 | 0 | 0 7.48/7.53 c 7.5s | 13 | 66773 | 53832 | 186 485 | 0 | 0 8.09/8.13 c 8.1s | 14 | 72148 | 58352 | 205 520 | 0 | 0 10.09/10.14 c 10.1s | 14 | 89888 | 73152 | 205 632 | 0 | 0 12.10/12.12 c 12.1s | 15 | 107126 | 87632 | 226 739 | 0 | 0 14.09/14.12 c 14.1s | 15 | 123406 | 101432 | 226 832 | 0 | 0 16.09/16.13 c 16.1s | 15 | 139432 | 115332 | 226 925 | 0 | 0 18.09/18.13 c 18.1s | 15 | 155315 | 128832 | 226 1017 | 0 | 0 18.49/18.51 c 18.5s | 16 | 158497 | 131552 | 249 1036 | 0 | 0 20.48/20.52 c 20.5s | 16 | 174833 | 145652 | 249 1123 | 0 | 0 22.48/22.53 c 22.5s | 16 | 190590 | 158652 | 249 1204 | 0 | 0 24.49/24.54 c 24.5s | 16 | 206442 | 172252 | 249 1295 | 0 | 0 26.50/26.54 c 26.5s | 16 | 222187 | 185252 | 249 1375 | 0 | 0 28.39/28.46 c 28.4s | 17 | 237041 | 197432 | 274 1450 | 0 | 0 30.39/30.47 c 30.5s | 17 | 253103 | 210532 | 274 1525 | 0 | 0 32.39/32.47 c 32.5s | 17 | 269331 | 223632 | 274 1600 | 0 | 0 34.39/34.48 c 34.5s | 17 | 283987 | 236232 | 274 1673 | 0 | 0 36.39/36.49 c 36.5s | 17 | 299349 | 249532 | 274 1751 | 0 | 0 38.38/38.50 c 38.5s | 17 | 314105 | 261932 | 274 1823 | 0 | 0 40.49/40.50 c 40.5s | 17 | 329888 | 274732 | 274 1896 | 0 | 0 42.49/42.51 c 42.5s | 17 | 346862 | 288332 | 274 1976 | 0 | 0 43.69/43.73 c 43.7s | 18 | 356190 | 296252 | 302 2020 | 0 | 0 45.69/45.75 c 45.7s | 18 | 372779 | 310352 | 302 2095 | 0 | 0 47.69/47.75 c 47.7s | 18 | 389089 | 324352 | 302 2171 | 0 | 0 49.69/49.75 c 49.7s | 18 | 404511 | 337752 | 302 2242 | 0 | 0 51.69/51.76 c 51.7s | 18 | 419602 | 350852 | 302 2312 | 0 | 0 53.68/53.77 c 53.8s | 18 | 435745 | 364752 | 302 2387 | 0 | 0 55.68/55.77 c 55.8s | 18 | 450885 | 377952 | 302 2459 | 0 | 0 57.68/57.78 c 57.8s | 18 | 467156 | 391852 | 302 2535 | 0 | 0 59.68/59.79 c 59.8s | 18 | 483425 | 405852 | 302 2611 | 0 | 0 61.68/61.79 c 61.8s | 18 | 498717 | 419352 | 302 2684 | 0 | 0 63.68/63.80 c 63.8s | 18 | 513966 | 432652 | 302 2756 | 0 | 0 65.38/65.49 c 65.5s | 19 | 527659 | 444482 | 333 2819 | 0 | 0 67.48/67.50 c 67.5s | 19 | 544073 | 458482 | 333 2889 | 0 | 0 69.48/69.51 c 69.5s | 19 | 559400 | 471682 | 333 2956 | 0 | 0 71.49/71.52 c 71.5s | 19 | 575049 | 485182 | 333 3024 | 0 | 0 73.48/73.52 c 73.5s | 19 | 590985 | 498682 | 333 3092 | 0 | 0 75.48/75.53 c 75.5s | 19 | 607136 | 512482 | 333 3162 | 0 | 0 77.48/77.54 c 77.5s | 19 | 622743 | 525882 | 333 3230 | 0 | 0 79.47/79.54 c 79.5s | 19 | 638727 | 539682 | 333 3300 | 0 | 0 81.48/81.54 c 81.5s | 19 | 654264 | 553082 | 333 3368 | 0 | 0 83.47/83.55 c 83.5s | 19 | 670094 | 566882 | 333 3436 | 0 | 0 85.47/85.56 c 85.5s | 19 | 685629 | 580582 | 333 3503 | 0 | 0 87.47/87.57 c 87.6s | 19 | 700704 | 593582 | 333 3567 | 0 | 0 89.47/89.58 c 89.6s | 19 | 715211 | 606082 | 333 3628 | 0 | 0 91.58/91.60 c 91.6s | 19 | 729604 | 618582 | 333 3689 | 0 | 0 93.49/93.60 c 93.6s | 19 | 743932 | 630882 | 333 3750 | 0 | 0 95.58/95.61 c 95.6s | 19 | 758241 | 643382 | 333 3811 | 0 | 0 97.58/97.63 c 97.6s | 19 | 772346 | 655682 | 333 3872 | 0 | 0 99.38/99.40 c 99.4s | 20 | 785087 | 666827 | 367 3925 | 0 | 0 101.38/101.42 c 101s | 20 | 800776 | 679327 | 367 3982 | 0 | 0 103.38/103.43 c 103s | 20 | 815390 | 691627 | 367 4038 | 0 | 0 105.37/105.43 c 105s | 20 | 829524 | 703527 | 367 4092 | 0 | 0 107.37/107.44 c 107s | 20 | 844191 | 716027 | 367 4149 | 0 | 0 109.37/109.45 c 109s | 20 | 859277 | 728527 | 367 4206 | 0 | 0 111.37/111.45 c 111s | 20 | 873177 | 740427 | 367 4261 | 0 | 0 113.37/113.46 c 113s | 20 | 887730 | 752727 | 367 4317 | 0 | 0 115.37/115.47 c 115s | 20 | 902804 | 765227 | 367 4375 | 0 | 0 117.38/117.48 c 117s | 20 | 916587 | 777127 | 367 4428 | 0 | 0 119.37/119.48 c 119s | 20 | 930511 | 789127 | 367 4483 | 0 | 0 121.47/121.50 c 121s | 20 | 944045 | 801027 | 367 4537 | 0 | 0 123.47/123.50 c 123s | 20 | 958274 | 813327 | 367 4592 | 0 | 0 125.48/125.52 c 125s | 20 | 973487 | 826227 | 367 4651 | 0 | 0 127.47/127.53 c 127s | 20 | 988768 | 838827 | 367 4708 | 0 | 0 129.47/129.55 c 129s | 20 | 1003996 | 851527 | 367 4767 | 0 | 0 131.47/131.55 c 131s | 20 | 1017649 | 863327 | 367 4821 | 0 | 0 133.47/133.55 c 133s | 20 | 1032632 | 876027 | 367 4879 | 0 | 0 135.47/135.56 c 135s | 20 | 1047259 | 888627 | 367 4936 | 0 | 0 137.47/137.56 c 137s | 20 | 1061494 | 900927 | 367 4991 | 0 | 0 139.47/139.57 c 139s | 20 | 1075897 | 913327 | 367 5048 | 0 | 0 141.47/141.58 c 141s | 20 | 1089663 | 925127 | 367 5102 | 0 | 0 143.47/143.59 c 143s | 20 | 1103475 | 936927 | 367 5157 | 0 | 0 145.47/145.60 c 145s | 20 | 1118069 | 949627 | 367 5216 | 0 | 0 147.57/147.61 c 147s | 20 | 1132549 | 962127 | 367 5275 | 0 | 0 149.58/149.61 c 149s | 20 | 1147135 | 974827 | 367 5334 | 0 | 0 151.57/151.61 c 151s | 20 | 1162345 | 987427 | 367 5391 | 0 | 0 153.57/153.60 c 153s | 21 | 1177081 | 1000345 | 404 5448 | 0 | 0 155.57/155.62 c 155s | 21 | 1191653 | 1012345 | 404 5498 | 0 | 0 157.57/157.63 c 157s | 21 | 1207113 | 1024645 | 404 5551 | 0 | 0 159.57/159.64 c 159s | 21 | 1221952 | 1037245 | 404 5604 | 0 | 0 161.56/161.64 c 161s | 21 | 1235802 | 1049245 | 404 5654 | 0 | 0 163.56/163.65 c 163s | 21 | 1250117 | 1061245 | 404 5704 | 0 | 0 165.56/165.66 c 165s | 21 | 1263915 | 1073145 | 404 5754 | 0 | 0 167.57/167.67 c 167s | 21 | 1277162 | 1084745 | 404 5802 | 0 | 0 169.57/169.69 c 169s | 21 | 1290909 | 1096545 | 404 5852 | 0 | 0 171.57/171.69 c 171s | 21 | 1303278 | 1107445 | 404 5897 | 0 | 0 173.56/173.70 c 173s | 21 | 1316603 | 1118945 | 404 5946 | 0 | 0 175.66/175.70 c 175s | 21 | 1330613 | 1130945 | 404 5996 | 0 | 0 177.66/177.72 c 177s | 21 | 1344311 | 1142945 | 404 6047 | 0 | 0 179.66/179.72 c 179s | 21 | 1358526 | 1155245 | 404 6099 | 0 | 0 181.66/181.73 c 181s | 21 | 1371856 | 1166945 | 404 6148 | 0 | 0 183.67/183.74 c 183s | 21 | 1386491 | 1179445 | 404 6201 | 0 | 0 185.66/185.75 c 185s | 21 | 1400741 | 1191745 | 404 6253 | 0 | 0 187.66/187.75 c 187s | 21 | 1414613 | 1203645 | 404 6302 | 0 | 0 189.66/189.76 c 189s | 21 | 1428790 | 1215945 | 404 6353 | 0 | 0 191.66/191.76 c 191s | 21 | 1442829 | 1228345 | 404 6405 | 0 | 0 193.66/193.78 c 193s | 21 | 1456585 | 1240545 | 404 6456 | 0 | 0 195.66/195.78 c 195s | 21 | 1471182 | 1253145 | 404 6509 | 0 | 0 197.66/197.78 c 197s | 21 | 1484516 | 1264645 | 404 6557 | 0 | 0 199.76/199.80 c 199s | 21 | 1497879 | 1276045 | 404 6605 | 0 | 0 201.76/201.81 c 201s | 21 | 1511251 | 1287645 | 404 6654 | 0 | 0 203.76/203.82 c 203s | 21 | 1524342 | 1298945 | 404 6701 | 0 | 0 205.77/205.82 c 205s | 21 | 1538145 | 1310745 | 404 6751 | 0 | 0 207.76/207.84 c 207s | 21 | 1551007 | 1321945 | 404 6798 | 0 | 0 209.76/209.85 c 209s | 21 | 1564013 | 1333245 | 404 6845 | 0 | 0 211.76/211.86 c 211s | 21 | 1577883 | 1345045 | 404 6895 | 0 | 0 213.76/213.87 c 213s | 21 | 1591299 | 1356745 | 404 6944 | 0 | 0 215.75/215.88 c 215s | 21 | 1604637 | 1368345 | 404 6993 | 0 | 0 217.76/217.88 c 217s | 21 | 1617267 | 1379245 | 404 7039 | 0 | 0 219.75/219.89 c 219s | 21 | 1630446 | 1390645 | 404 7087 | 0 | 0 221.76/221.89 c 221s | 21 | 1643006 | 1401745 | 404 7134 | 0 | 0 223.86/223.90 c 223s | 21 | 1657142 | 1413545 | 404 7183 | 0 | 0 225.86/225.91 c 225s | 21 | 1670623 | 1425145 | 404 7232 | 0 | 0 227.86/227.92 c 227s | 21 | 1684288 | 1437045 | 404 7282 | 0 | 0 229.87/229.92 c 229s | 21 | 1698680 | 1449545 | 404 7335 | 0 | 0 231.86/231.93 c 231s | 21 | 1712014 | 1461145 | 404 7384 | 0 | 0 233.86/233.94 c 233s | 21 | 1726062 | 1473245 | 404 7435 | 0 | 0 235.86/235.95 c 235s | 21 | 1739678 | 1484945 | 404 7484 | 0 | 0 237.86/237.96 c 237s | 21 | 1753044 | 1496545 | 445 7531 | 0 | 0 238.56/238.62 c 238s | 22 | 1757760 | 1500622 | 445 7547 | 0 | 0 240.55/240.63 c 240s | 22 | 1771402 | 1512422 | 445 7593 | 0 | 0 242.55/242.63 c 242s | 22 | 1784734 | 1523822 | 445 7637 | 0 | 0 244.55/244.64 c 244s | 22 | 1798137 | 1535122 | 445 7681 | 0 | 0 246.55/246.64 c 246s | 22 | 1811861 | 1546822 | 445 7726 | 0 | 0 248.56/248.65 c 248s | 22 | 1825130 | 1557922 | 445 7769 | 0 | 0 250.55/250.66 c 250s | 22 | 1839616 | 1569922 | 445 7816 | 0 | 0 252.55/252.68 c 252s | 22 | 1852999 | 1581622 | 445 7861 | 0 | 0 254.55/254.68 c 254s | 22 | 1866755 | 1593522 | 445 7907 | 0 | 0 256.55/256.69 c 256s | 22 | 1880524 | 1605222 | 445 7952 | 0 | 0 258.65/258.70 c 258s | 22 | 1894009 | 1616722 | 445 7997 | 0 | 0 260.65/260.71 c 260s | 22 | 1908446 | 1629022 | 445 8045 | 0 | 0 262.65/262.71 c 262s | 22 | 1922419 | 1641022 | 445 8091 | 0 | 0 264.64/264.72 c 264s | 22 | 1935885 | 1652722 | 445 8136 | 0 | 0 266.64/266.73 c 266s | 22 | 1949869 | 1664622 | 445 8182 | 0 | 0 268.64/268.74 c 268s | 22 | 1963255 | 1676022 | 445 8226 | 0 | 0 270.66/270.75 c 270s | 22 | 1975844 | 1687122 | 445 8269 | 0 | 0 272.65/272.75 c 272s | 22 | 1988278 | 1698222 | 445 8312 | 0 | 0 274.65/274.75 c 274s | 22 | 2000621 | 1708922 | 445 8354 | 0 | 0 276.65/276.76 c 276s | 22 | 2013423 | 1720222 | 445 8398 | 0 | 0 278.65/278.76 c 278s | 22 | 2025697 | 1731022 | 445 8440 | 0 | 0 280.65/280.77 c 280s | 22 | 2038940 | 1742322 | 445 8484 | 0 | 0 282.65/282.78 c 282s | 22 | 2052080 | 1753622 | 445 8528 | 0 | 0 284.64/284.78 c 284s | 22 | 2065357 | 1765322 | 445 8573 | 0 | 0 286.74/286.80 c 286s | 22 | 2079091 | 1777222 | 445 8619 | 0 | 0 288.74/288.80 c 288s | 22 | 2093042 | 1789322 | 445 8666 | 0 | 0 290.74/290.81 c 290s | 22 | 2107464 | 1801322 | 445 8713 | 0 | 0 292.74/292.81 c 292s | 22 | 2120747 | 1812922 | 445 8757 | 0 | 0 294.75/294.81 c 294s | 22 | 2134225 | 1824522 | 445 8802 | 0 | 0 296.74/296.82 c 296s | 22 | 2147951 | 1836322 | 445 8848 | 0 | 0 298.75/298.82 c 298s | 22 | 2162074 | 1848122 | 445 8893 | 0 | 0 300.75/300.82 c 300s | 22 | 2176284 | 1860022 | 445 8940 | 0 | 0 302.75/302.82 c 302s | 22 | 2190173 | 1872022 | 445 8987 | 0 | 0 304.75/304.83 c 304s | 22 | 2203580 | 1883522 | 445 9032 | 0 | 0 306.74/306.84 c 306s | 22 | 2217018 | 1895222 | 445 9078 | 0 | 0 308.74/308.86 c 308s | 22 | 2230575 | 1906822 | 445 9122 | 0 | 0 310.74/310.86 c 310s | 22 | 2243484 | 1918122 | 445 9166 | 0 | 0 312.74/312.87 c 312s | 22 | 2256481 | 1929322 | 445 9210 | 0 | 0 314.74/314.87 c 314s | 22 | 2270251 | 1941222 | 445 9256 | 0 | 0 316.75/316.88 c 316s | 22 | 2284016 | 1952922 | 445 9302 | 0 | 0 318.74/318.89 c 318s | 22 | 2298279 | 1964922 | 445 9349 | 0 | 0 320.74/320.89 c 320s | 22 | 2311755 | 1976522 | 445 9394 | 0 | 0 322.84/322.91 c 322s | 22 | 2324290 | 1987722 | 445 9437 | 0 | 0 324.84/324.91 c 324s | 22 | 2337427 | 1999122 | 445 9481 | 0 | 0 326.84/326.92 c 326s | 22 | 2350818 | 2010622 | 445 9526 | 0 | 0 328.84/328.92 c 328s | 22 | 2364638 | 2022422 | 445 9572 | 0 | 0 330.83/330.93 c 330s | 22 | 2378528 | 2033922 | 445 9617 | 0 | 0 332.83/332.94 c 332s | 22 | 2391871 | 2045622 | 445 9662 | 0 | 0 334.83/334.95 c 334s | 22 | 2405247 | 2057422 | 445 9707 | 0 | 0 336.84/336.97 c 336s | 22 | 2419116 | 2069622 | 445 9754 | 0 | 0 338.85/338.97 c 338s | 22 | 2432880 | 2081822 | 445 9801 | 0 | 0 340.84/340.98 c 340s | 22 | 2446453 | 2093822 | 445 9847 | 0 | 0 342.84/342.99 c 342s | 22 | 2460253 | 2106022 | 445 9894 | 0 | 0 344.94/345.00 c 344s | 22 | 2473185 | 2117422 | 445 9938 | 0 | 0 346.94/347.01 c 346s | 22 | 2486192 | 2129022 | 445 9982 | 0 | 0 348.94/349.01 c 348s | 22 | 2499431 | 2140722 | 445 10028 | 0 | 0 350.94/351.02 c 351s | 22 | 2512725 | 2152422 | 445 10073 | 0 | 0 352.93/353.04 c 353s | 22 | 2525863 | 2164022 | 445 10117 | 0 | 0 354.93/355.04 c 355s | 22 | 2539782 | 2176122 | 445 10164 | 0 | 0 356.93/357.06 c 357s | 22 | 2554508 | 2188222 | 445 10210 | 0 | 0 358.93/359.08 c 359s | 22 | 2567947 | 2199622 | 445 10254 | 0 | 0 360.93/361.08 c 361s | 22 | 2580884 | 2210422 | 445 10296 | 0 | 0 362.94/363.09 c 363s | 22 | 2594623 | 2221622 | 445 10340 | 0 | 0 365.03/365.11 c 365s | 22 | 2607817 | 2232722 | 445 10383 | 0 | 0 367.03/367.13 c 367s | 22 | 2621069 | 2244122 | 490 10423 | 0 | 0 368.23/368.35 c 368s | 23 | 2629134 | 2251038 | 490 10448 | 0 | 0 370.23/370.35 c 370s | 23 | 2643082 | 2262838 | 490 10489 | 0 | 0 372.24/372.37 c 372s | 23 | 2657401 | 2275238 | 490 10533 | 0 | 0 374.23/374.38 c 374s | 23 | 2670627 | 2286838 | 490 10575 | 0 | 0 376.24/376.39 c 376s | 23 | 2683972 | 2298338 | 490 10616 | 0 | 0 378.23/378.40 c 378s | 23 | 2697391 | 2310038 | 490 10658 | 0 | 0 380.33/380.41 c 380s | 23 | 2711352 | 2322338 | 490 10701 | 0 | 0 382.33/382.41 c 382s | 23 | 2724832 | 2334038 | 490 10743 | 0 | 0 384.33/384.42 c 384s | 23 | 2738706 | 2346338 | 490 10787 | 0 | 0 386.33/386.42 c 386s | 23 | 2752282 | 2358338 | 490 10830 | 0 | 0 388.34/388.42 c 388s | 23 | 2766066 | 2370438 | 490 10873 | 0 | 0 390.33/390.42 c 390s | 23 | 2779296 | 2382038 | 490 10914 | 0 | 0 392.33/392.43 c 392s | 23 | 2792479 | 2393438 | 490 10955 | 0 | 0 394.33/394.45 c 394s | 23 | 2805870 | 2405038 | 490 10996 | 0 | 0 396.33/396.46 c 396s | 23 | 2818859 | 2416538 | 490 11036 | 0 | 0 398.33/398.47 c 398s | 23 | 2832177 | 2428338 | 490 11078 | 0 | 0 400.33/400.47 c 400s | 23 | 2845278 | 2439838 | 490 11119 | 0 | 0 402.32/402.48 c 402s | 23 | 2858683 | 2451738 | 490 11162 | 0 | 0 404.32/404.48 c 404s | 23 | 2871917 | 2463538 | 490 11204 | 0 | 0 406.32/406.49 c 406s | 23 | 2885297 | 2475238 | 490 11246 | 0 | 0 408.32/408.49 c 408s | 23 | 2898848 | 2487238 | 490 11289 | 0 | 0 410.43/410.50 c 410s | 23 | 2912921 | 2498738 | 490 11330 | 0 | 0 412.44/412.51 c 412s | 23 | 2926194 | 2509938 | 490 11370 | 0 | 0 414.43/414.51 c 414s | 23 | 2939316 | 2521138 | 490 11410 | 0 | 0 416.43/416.52 c 416s | 23 | 2952793 | 2532338 | 490 11449 | 0 | 0 418.43/418.52 c 418s | 23 | 2965339 | 2543238 | 490 11488 | 0 | 0 420.43/420.53 c 420s | 23 | 2977653 | 2553938 | 490 11527 | 0 | 0 422.43/422.53 c 422s | 23 | 2990071 | 2564738 | 490 11565 | 0 | 0 424.43/424.55 c 424s | 23 | 3002881 | 2575838 | 490 11605 | 0 | 0 426.43/426.56 c 426s | 23 | 3015728 | 2586938 | 490 11645 | 0 | 0 428.43/428.56 c 428s | 23 | 3027752 | 2597438 | 490 11682 | 0 | 0 430.42/430.57 c 430s | 23 | 3040667 | 2608738 | 490 11723 | 0 | 0 432.42/432.57 c 432s | 23 | 3052705 | 2619438 | 490 11761 | 0 | 0 434.43/434.58 c 434s | 23 | 3064953 | 2630238 | 490 11799 | 0 | 0 436.42/436.58 c 436s | 23 | 3077369 | 2641138 | 490 11838 | 0 | 0 438.52/438.60 c 438s | 23 | 3090047 | 2652238 | 490 11878 | 0 | 0 440.52/440.61 c 440s | 23 | 3103270 | 2663838 | 490 11920 | 0 | 0 442.52/442.61 c 442s | 23 | 3116127 | 2675238 | 490 11961 | 0 | 0 444.52/444.62 c 444s | 23 | 3128963 | 2686438 | 490 12002 | 0 | 0 446.53/446.63 c 446s | 23 | 3141536 | 2697538 | 490 12041 | 0 | 0 448.52/448.65 c 448s | 23 | 3154429 | 2708938 | 490 12082 | 0 | 0 450.52/450.65 c 450s | 23 | 3167053 | 2720038 | 490 12122 | 0 | 0 452.52/452.66 c 452s | 23 | 3179481 | 2731138 | 490 12162 | 0 | 0 454.52/454.66 c 454s | 23 | 3192597 | 2742538 | 490 12203 | 0 | 0 456.52/456.66 c 456s | 23 | 3205301 | 2753738 | 490 12243 | 0 | 0 458.52/458.67 c 458s | 23 | 3217578 | 2764638 | 490 12282 | 0 | 0 460.51/460.67 c 460s | 23 | 3230065 | 2775438 | 490 12320 | 0 | 0 462.52/462.68 c 462s | 23 | 3243431 | 2787138 | 490 12362 | 0 | 0 464.52/464.68 c 464s | 23 | 3256991 | 2799038 | 490 12405 | 0 | 0 466.52/466.69 c 466s | 23 | 3270375 | 2810738 | 490 12447 | 0 | 0 468.63/468.71 c 468s | 23 | 3283251 | 2821838 | 490 12487 | 0 | 0 470.62/470.71 c 470s | 23 | 3295555 | 2832638 | 490 12526 | 0 | 0 472.62/472.72 c 472s | 23 | 3308732 | 2844038 | 490 12567 | 0 | 0 474.62/474.73 c 474s | 23 | 3321484 | 2855138 | 490 12606 | 0 | 0 476.62/476.73 c 476s | 23 | 3333669 | 2865938 | 490 12645 | 0 | 0 478.62/478.74 c 478s | 23 | 3347060 | 2877738 | 490 12687 | 0 | 0 480.62/480.74 c 480s | 23 | 3359756 | 2889038 | 490 12728 | 0 | 0 482.61/482.74 c 482s | 23 | 3372461 | 2900238 | 490 12768 | 0 | 0 484.61/484.75 c 484s | 23 | 3386163 | 2911938 | 490 12810 | 0 | 0 486.61/486.76 c 486s | 23 | 3399130 | 2923238 | 490 12851 | 0 | 0 488.61/488.77 c 488s | 23 | 3411697 | 2934338 | 490 12891 | 0 | 0 490.62/490.79 c 490s | 23 | 3424418 | 2945538 | 490 12931 | 0 | 0 492.62/492.80 c 492s | 23 | 3436874 | 2956538 | 490 12971 | 0 | 0 494.72/494.82 c 494s | 23 | 3448994 | 2967138 | 490 13010 | 0 | 0 496.72/496.82 c 496s | 23 | 3461839 | 2978538 | 490 13051 | 0 | 0 498.72/498.82 c 498s | 23 | 3475296 | 2990238 | 490 13093 | 0 | 0 500.71/500.84 c 500s | 23 | 3488176 | 3001538 | 490 13133 | 0 | 0 502.72/502.85 c 502s | 23 | 3500417 | 3012338 | 490 13172 | 0 | 0 504.71/504.86 c 504s | 23 | 3512671 | 3023038 | 490 13211 | 0 | 0 506.71/506.87 c 506s | 23 | 3525154 | 3033638 | 490 13249 | 0 | 0 508.71/508.88 c 508s | 23 | 3538261 | 3045038 | 490 13289 | 0 | 0 510.71/510.88 c 510s | 23 | 3551396 | 3056338 | 490 13330 | 0 | 0 512.71/512.89 c 512s | 23 | 3564575 | 3067838 | 490 13371 | 0 | 0 514.72/514.89 c 514s | 23 | 3577837 | 3079538 | 490 13413 | 0 | 0 516.81/516.91 c 516s | 23 | 3590892 | 3091038 | 490 13454 | 0 | 0 518.81/518.91 c 518s | 23 | 3603578 | 3102238 | 490 13495 | 0 | 0 520.81/520.92 c 520s | 23 | 3616381 | 3113538 | 490 13535 | 0 | 0 522.81/522.92 c 522s | 23 | 3629392 | 3124938 | 490 13576 | 0 | 0 524.81/524.94 c 524s | 23 | 3643143 | 3136738 | 490 13618 | 0 | 0 526.81/526.94 c 526s | 23 | 3656258 | 3148138 | 490 13659 | 0 | 0 528.81/528.95 c 528s | 23 | 3669686 | 3159738 | 490 13701 | 0 | 0 530.81/530.96 c 530s | 23 | 3681946 | 3170638 | 490 13740 | 0 | 0 532.81/532.98 c 532s | 23 | 3694188 | 3181438 | 490 13779 | 0 | 0 534.81/534.98 c 534s | 23 | 3706562 | 3192438 | 490 13819 | 0 | 0 536.82/536.99 c 536s | 23 | 3719930 | 3204238 | 490 13861 | 0 | 0 538.81/539.00 c 538s | 23 | 3732361 | 3215238 | 490 13901 | 0 | 0 540.91/541.01 c 540s | 23 | 3745470 | 3226338 | 490 13941 | 0 | 0 542.91/543.02 c 543s | 23 | 3758425 | 3237538 | 490 13980 | 0 | 0 544.91/545.03 c 545s | 23 | 3771427 | 3248938 | 490 14021 | 0 | 0 546.91/547.04 c 547s | 23 | 3784445 | 3260338 | 490 14062 | 0 | 0 548.91/549.05 c 549s | 23 | 3797469 | 3271938 | 490 14103 | 0 | 0 550.90/551.05 c 551s | 23 | 3810510 | 3283438 | 490 14145 | 0 | 0 552.90/553.07 c 553s | 23 | 3823317 | 3294738 | 490 14185 | 0 | 0 554.90/555.08 c 555s | 23 | 3836664 | 3306438 | 490 14227 | 0 | 0 556.90/557.09 c 557s | 23 | 3849311 | 3317538 | 490 14267 | 0 | 0 559.01/559.10 c 559s | 23 | 3861611 | 3328438 | 490 14306 | 0 | 0 561.01/561.11 c 561s | 23 | 3874011 | 3339238 | 490 14345 | 0 | 0 563.01/563.12 c 563s | 23 | 3886892 | 3350238 | 490 14384 | 0 | 0 565.01/565.13 c 565s | 23 | 3899668 | 3361338 | 539 14421 | 0 | 0 567.00/567.13 c 567s | 23 | 3913008 | 3372638 | 539 14459 | 0 | 0 567.70/567.82 c 567s | 24 | 3917612 | 3376662 | 539 14472 | 0 | 0 569.71/569.83 c 569s | 24 | 3930881 | 3387962 | 539 14509 | 0 | 0 571.70/571.84 c 571s | 24 | 3942974 | 3398562 | 539 14545 | 0 | 0 573.70/573.84 c 573s | 24 | 3955917 | 3409562 | 539 14581 | 0 | 0 575.70/575.84 c 575s | 24 | 3968912 | 3420862 | 539 14619 | 0 | 0 577.70/577.86 c 577s | 24 | 3981782 | 3432062 | 539 14657 | 0 | 0 579.71/579.88 c 579s | 24 | 3995147 | 3443562 | 539 14695 | 0 | 0 581.70/581.89 c 581s | 24 | 4009040 | 3455462 | 539 14735 | 0 | 0 583.80/583.90 c 583s | 24 | 4022874 | 3467462 | 539 14775 | 0 | 0 585.80/585.92 c 585s | 24 | 4036663 | 3479362 | 539 14815 | 0 | 0 587.80/587.94 c 587s | 24 | 4050487 | 3491262 | 539 14855 | 0 | 0 589.80/589.94 c 589s | 24 | 4064014 | 3502962 | 539 14894 | 0 | 0 591.81/591.94 c 591s | 24 | 4077415 | 3514462 | 539 14932 | 0 | 0 593.80/593.95 c 593s | 24 | 4090929 | 3525862 | 539 14970 | 0 | 0 595.80/595.96 c 595s | 24 | 4104002 | 3537262 | 539 15008 | 0 | 0 597.80/597.96 c 597s | 24 | 4117327 | 3548762 | 539 15046 | 0 | 0 599.80/599.98 c 599s | 24 | 4131660 | 3561162 | 539 15088 | 0 | 0 601.80/601.99 c 601s | 24 | 4145744 | 3573062 | 539 15128 | 0 | 0 603.91/604.01 c 603s | 24 | 4159110 | 3584662 | 539 15167 | 0 | 0 604.10/604.22 c 604s | 24 | 4160418 | 3585827 | 539 15171 | 0 | 0 604.10/604.22 c #cpu_time = 602.659s 604.10/604.22 c #wall_clock_time = 604.206s 604.10/604.22 c #decision = 4160418 604.10/604.22 c #random_decision = 15199 604.10/604.22 c #conflict = 3585827 604.10/604.22 c #restart = 24 604.10/604.22 c BCD2: found a new core of size 19: cost of the new core is >=1 604.10/604.22 c lower bound updated to 1 604.10/604.22 c BCD2: 1 <= obj <= 378 604.10/604.22 c BCD2: #cores=1, #unrelaxed=0, #relaxed=19, #hardened=0 604.10/604.22 c BCD2: #sat=1 #unsat=2 bias=2/3 604.10/604.22 c Solving starts ... 604.10/604.22 c ============================[ Search Statistics ]============================ 604.10/604.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 604.10/604.22 c | | | | Limit GC | Var | Constra 604.10/604.22 c ============================================================================= 604.10/604.22 c 0.0s | 0 | 0 | 0 | 539 0 | 0 | 0 604.10/604.22 c 0.0s | 0 | 73 | 0 | 539 0 | 0 | 0 604.10/604.22 c #cpu_time = 0.002s 604.10/604.22 c #wall_clock_time = 0.002s 604.10/604.22 c #decision = 73 604.10/604.22 c #random_decision = 0 604.10/604.22 c #conflict = 0 604.10/604.22 c #restart = 0 604.10/604.22 o 83 604.10/604.22 c BCD2: hardening fixes 2 literals 604.10/604.22 c BCD2: updating upper bound: 378 -> 82 604.10/604.22 c BCD2: 1 <= obj <= 82 604.10/604.22 c BCD2: #cores=1, #unrelaxed=0, #relaxed=17, #hardened=2 604.10/604.22 c BCD2: #sat=2 #unsat=2 bias=2/4 604.10/604.22 c Solving starts ... 604.10/604.22 c ============================[ Search Statistics ]============================ 604.10/604.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 604.10/604.22 c | | | | Limit GC | Var | Constra 604.10/604.22 c ============================================================================= 604.10/604.22 c 0.0s | 0 | 0 | 0 | 539 0 | 2 | 2 604.10/604.23 c 0.0s | 0 | 66 | 5 | 539 0 | 2 | 2 604.10/604.23 c #cpu_time = 0.002s 604.10/604.23 c #wall_clock_time = 0.002s 604.10/604.23 c #decision = 66 604.10/604.23 c #random_decision = 0 604.10/604.23 c #conflict = 5 604.10/604.23 c #restart = 0 604.10/604.23 o 7 604.10/604.23 c BCD2: refineUB: 6 -> 3 604.10/604.23 c BCD2: hardening fixes 15 literals 604.10/604.23 c BCD2: updating upper bound: 82 -> 3 604.10/604.23 c BCD2: 1 <= obj <= 3 604.10/604.23 c BCD2: #cores=1, #unrelaxed=0, #relaxed=2, #hardened=17 604.10/604.23 c BCD2: #sat=3 #unsat=2 bias=2/5 604.10/604.23 c Solving starts ... 604.10/604.23 c ============================[ Search Statistics ]============================ 604.10/604.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 604.10/604.23 c | | | | Limit GC | Var | Constra 604.10/604.23 c ============================================================================= 604.10/604.23 c 0.0s | 0 | 0 | 0 | 539 0 | 17 | 2 604.10/604.23 c 0.0s | 0 | 49 | 0 | 539 0 | 17 | 4 604.10/604.23 c #cpu_time = 0.001s 604.10/604.23 c #wall_clock_time = 0.001s 604.10/604.23 c #decision = 49 604.10/604.23 c #random_decision = 0 604.10/604.23 c #conflict = 0 604.10/604.23 c #restart = 0 604.10/604.23 o 1 604.10/604.23 s OPTIMUM FOUND 604.10/604.23 v -x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 604.10/604.23 v -x11 -x12 -x13 -x14 -x15 -x16 -x17 x18 -x19 -x20 604.10/604.23 v -x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30 604.10/604.23 v -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 604.10/604.23 v -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 604.10/604.23 v -x51 x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 604.10/604.23 v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 x69 -x70 604.10/604.23 v -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 604.10/604.23 v -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 604.10/604.23 v x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 604.10/604.23 v -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 604.10/604.23 c total CPU time = 602.683s 604.10/604.23 c total wall clock time = 604.230s
OK 1
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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-4109186-1466341822/watcher-4109186-1466341822 -o /tmp/evaluation-result-4109186-1466341822/solver-4109186-1466341822 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466341822-7743 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4109186-1466341822.wbo pid=7765 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: 0.17 0.16 0.14 3/176 7771 /proc/meminfo: memFree=30155236/32872528 swapFree=1431120/1543540 [pid=7771] ppid=7765 vsize=803396 CPUtime=0 cores=1,3,5,7 /proc/7771/stat : 7771 (toysat) R 7765 7771 7726 0 -1 4202496 3016 0 0 0 0 0 0 0 20 0 4 0 36230951 822677504 2865 33554432000 4194304 16246674 140733971486288 140733971485712 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7771/statm: 201361 2874 442 2943 0 198255 0 [pid=7771/tid=7773] ppid=7765 vsize=820804 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7773/stat : 7773 (toysat) S 7765 7771 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36230951 840503296 2933 33554432000 4194304 16246674 140733971486288 140041511742704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=7771/tid=7775] ppid=7765 vsize=825924 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7775/stat : 7775 (toysat) S 7765 7771 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36230951 845746176 2950 33554432000 4194304 16246674 140733971486288 140041501252848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=7771/tid=7776] ppid=7765 vsize=830020 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7776/stat : 7776 (toysat) S 7765 7771 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36230951 849940480 2969 33554432000 4194304 16246674 140733971486288 140041490779312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 [startup+0.100121 s] /proc/loadavg: 0.17 0.16 0.14 3/176 7771 /proc/meminfo: memFree=30155236/32872528 swapFree=1431120/1543540 [pid=7771] ppid=7765 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/7771/stat : 7771 (toysat) R 7765 7771 7726 0 -1 4202496 26674 0 0 0 6 3 0 0 20 0 4 0 36230951 1247350784 26509 33554432000 4194304 16246674 140733971486288 140733971485712 5601873 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7771/statm: 304529 26514 815 2943 0 301423 0 [pid=7771/tid=7773] ppid=7765 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7773/stat : 7773 (toysat) S 7765 7771 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36230951 1247350784 26520 33554432000 4194304 16246674 140733971486288 140041511742704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=7771/tid=7775] ppid=7765 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7775/stat : 7775 (toysat) S 7765 7771 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36230951 1247350784 26528 33554432000 4194304 16246674 140733971486288 140041501252848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=7771/tid=7776] ppid=7765 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7776/stat : 7776 (toysat) S 7765 7771 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36230951 1247350784 26536 33554432000 4194304 16246674 140733971486288 140041490779312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200457 s] /proc/loadavg: 0.17 0.16 0.14 3/176 7771 /proc/meminfo: memFree=30155236/32872528 swapFree=1431120/1543540 [pid=7771] ppid=7765 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/7771/stat : 7771 (toysat) R 7765 7771 7726 0 -1 4202496 53307 0 0 0 12 7 0 0 20 0 4 0 36230951 1247350784 53142 33554432000 4194304 16246674 140733971486288 140733971468160 12478070 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7771/statm: 304529 53150 815 2943 0 301423 0 [pid=7771/tid=7773] ppid=7765 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7773/stat : 7773 (toysat) S 7765 7771 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36230951 1247350784 53158 33554432000 4194304 16246674 140733971486288 140041511742704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=7771/tid=7775] ppid=7765 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7775/stat : 7775 (toysat) S 7765 7771 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36230951 1247350784 53168 33554432000 4194304 16246674 140733971486288 140041501252848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=7771/tid=7776] ppid=7765 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7776/stat : 7776 (toysat) S 7765 7771 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36230951 1247350784 53177 33554432000 4194304 16246674 140733971486288 140041490779312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300437 s] /proc/loadavg: 0.17 0.16 0.14 3/176 7771 /proc/meminfo: memFree=30155236/32872528 swapFree=1431120/1543540 [pid=7771] ppid=7765 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/7771/stat : 7771 (toysat) R 7765 7771 7726 0 -1 4202496 80408 0 0 0 19 10 0 0 20 0 4 0 36230951 1247350784 80244 33554432000 4194304 16246674 140733971486288 140733971468160 13954518 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7771/statm: 304529 80256 815 2943 0 301423 0 [pid=7771/tid=7773] ppid=7765 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7773/stat : 7773 (toysat) S 7765 7771 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36230951 1247350784 80265 33554432000 4194304 16246674 140733971486288 140041511742704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=7771/tid=7775] ppid=7765 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7775/stat : 7775 (toysat) S 7765 7771 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36230951 1247350784 80276 33554432000 4194304 16246674 140733971486288 140041501252848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=7771/tid=7776] ppid=7765 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7776/stat : 7776 (toysat) S 7765 7771 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36230951 1247350784 80284 33554432000 4194304 16246674 140733971486288 140041490779312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700358 s] /proc/loadavg: 0.17 0.16 0.14 3/176 7771 /proc/meminfo: memFree=30155236/32872528 swapFree=1431120/1543540 [pid=7771] ppid=7765 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/7771/stat : 7771 (toysat) R 7765 7771 7726 0 -1 4202496 192473 0 0 0 42 27 0 0 20 0 4 0 36230951 1247350784 192308 33554432000 4194304 16246674 140733971486288 140733971468160 5589389 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7771/statm: 304529 192324 815 2943 0 301423 0 [pid=7771/tid=7773] ppid=7765 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7773/stat : 7773 (toysat) S 7765 7771 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36230951 1247350784 192335 33554432000 4194304 16246674 140733971486288 140041511742704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=7771/tid=7775] ppid=7765 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7775/stat : 7775 (toysat) S 7765 7771 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36230951 1247350784 192346 33554432000 4194304 16246674 140733971486288 140041501252848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=7771/tid=7776] ppid=7765 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7776/stat : 7776 (toysat) S 7765 7771 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36230951 1247350784 192357 33554432000 4194304 16246674 140733971486288 140041490779312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50035 s] /proc/loadavg: 0.17 0.16 0.14 4/184 7779 /proc/meminfo: memFree=28192048/32872528 swapFree=1431120/1543540 [pid=7771] ppid=7765 vsize=1306180 CPUtime=1.49 cores=1,3,5,7 /proc/7771/stat : 7771 (toysat) R 7765 7771 7726 0 -1 4202496 267457 0 0 0 112 37 0 0 20 0 4 0 36230951 1337528320 267270 33554432000 4194304 16246674 140733971486288 140733971468160 13950192 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7771/statm: 326545 267270 875 2943 0 323439 0 [pid=7771/tid=7773] ppid=7765 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7773/stat : 7773 (toysat) S 7765 7771 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267270 33554432000 4194304 16246674 140733971486288 140041511742704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=7771/tid=7775] ppid=7765 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7775/stat : 7775 (toysat) S 7765 7771 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267270 33554432000 4194304 16246674 140733971486288 140041501252848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=7771/tid=7776] ppid=7765 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7776/stat : 7776 (toysat) S 7765 7771 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267270 33554432000 4194304 16246674 140733971486288 140041490779312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1306180 [startup+3.10036 s] /proc/loadavg: 0.17 0.16 0.14 4/184 7779 /proc/meminfo: memFree=28015844/32872528 swapFree=1431120/1543540 [pid=7771] ppid=7765 vsize=1306180 CPUtime=3.09 cores=1,3,5,7 /proc/7771/stat : 7771 (toysat) R 7765 7771 7726 0 -1 4202496 267511 0 0 0 272 37 0 0 20 0 4 0 36230951 1337528320 267324 33554432000 4194304 16246674 140733971486288 140733971468160 5722816 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7771/statm: 326545 267324 875 2943 0 323439 0 [pid=7771/tid=7773] ppid=7765 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7773/stat : 7773 (toysat) S 7765 7771 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267324 33554432000 4194304 16246674 140733971486288 140041511742704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=7771/tid=7775] ppid=7765 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7775/stat : 7775 (toysat) S 7765 7771 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267324 33554432000 4194304 16246674 140733971486288 140041501252848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=7771/tid=7776] ppid=7765 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7776/stat : 7776 (toysat) S 7765 7771 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267324 33554432000 4194304 16246674 140733971486288 140041490779312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.30037 s] /proc/loadavg: 0.40 0.21 0.16 4/184 7779 /proc/meminfo: memFree=28015268/32872528 swapFree=1431120/1543540 [pid=7771] ppid=7765 vsize=1306180 CPUtime=6.29 cores=1,3,5,7 /proc/7771/stat : 7771 (toysat) R 7765 7771 7726 0 -1 4202496 267511 0 0 0 590 39 0 0 20 0 4 0 36230951 1337528320 267324 33554432000 4194304 16246674 140733971486288 140733971468160 13950218 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7771/statm: 326545 267324 875 2943 0 323439 0 [pid=7771/tid=7773] ppid=7765 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7773/stat : 7773 (toysat) S 7765 7771 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267324 33554432000 4194304 16246674 140733971486288 140041511742704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=7771/tid=7775] ppid=7765 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7775/stat : 7775 (toysat) S 7765 7771 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267324 33554432000 4194304 16246674 140733971486288 140041501252848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=7771/tid=7776] ppid=7765 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7776/stat : 7776 (toysat) S 7765 7771 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267324 33554432000 4194304 16246674 140733971486288 140041490779312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1306180 [startup+12.7003 s] /proc/loadavg: 0.52 0.24 0.17 5/184 7779 /proc/meminfo: memFree=28014292/32872528 swapFree=1431120/1543540 [pid=7771] ppid=7765 vsize=1306180 CPUtime=12.69 cores=1,3,5,7 /proc/7771/stat : 7771 (toysat) R 7765 7771 7726 0 -1 4202496 267527 0 0 0 1229 40 0 0 20 0 4 0 36230951 1337528320 267340 33554432000 4194304 16246674 140733971486288 140733971468160 5523032 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7771/statm: 326545 267340 877 2943 0 323439 0 [pid=7771/tid=7773] ppid=7765 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7773/stat : 7773 (toysat) S 7765 7771 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267340 33554432000 4194304 16246674 140733971486288 140041511742704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=7771/tid=7775] ppid=7765 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7775/stat : 7775 (toysat) S 7765 7771 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267340 33554432000 4194304 16246674 140733971486288 140041501252848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=7771/tid=7776] ppid=7765 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7776/stat : 7776 (toysat) S 7765 7771 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267340 33554432000 4194304 16246674 140733971486288 140041490779312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1306180 [startup+25.5005 s] /proc/loadavg: 1.00 0.36 0.21 5/184 7779 /proc/meminfo: memFree=28015320/32872528 swapFree=1431120/1543540 [pid=7771] ppid=7765 vsize=1306180 CPUtime=25.49 cores=1,3,5,7 /proc/7771/stat : 7771 (toysat) R 7765 7771 7726 0 -1 4202496 267529 0 0 0 2508 41 0 0 20 0 4 0 36230951 1337528320 267342 33554432000 4194304 16246674 140733971486288 140733971468160 5519400 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7771/statm: 326545 267342 878 2943 0 323439 0 [pid=7771/tid=7773] ppid=7765 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7773/stat : 7773 (toysat) S 7765 7771 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267342 33554432000 4194304 16246674 140733971486288 140041511742704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=7771/tid=7775] ppid=7765 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7775/stat : 7775 (toysat) S 7765 7771 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267342 33554432000 4194304 16246674 140733971486288 140041501252848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=7771/tid=7776] ppid=7765 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7776/stat : 7776 (toysat) S 7765 7771 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267342 33554432000 4194304 16246674 140733971486288 140041490779312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1306180 [startup+51.1005 s] /proc/loadavg: 1.34 0.49 0.25 4/183 7780 /proc/meminfo: memFree=28013844/32872528 swapFree=1431120/1543540 [pid=7771] ppid=7765 vsize=1306180 CPUtime=51.08 cores=1,3,5,7 /proc/7771/stat : 7771 (toysat) R 7765 7771 7726 0 -1 4202496 267529 0 0 0 5066 42 0 0 20 0 4 0 36230951 1337528320 267342 33554432000 4194304 16246674 140733971486288 140733971469288 5545898 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7771/statm: 326545 267342 878 2943 0 323439 0 [pid=7771/tid=7773] ppid=7765 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7773/stat : 7773 (toysat) S 7765 7771 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267342 33554432000 4194304 16246674 140733971486288 140041511742704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=7771/tid=7775] ppid=7765 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7775/stat : 7775 (toysat) S 7765 7771 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267342 33554432000 4194304 16246674 140733971486288 140041501252848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=7771/tid=7776] ppid=7765 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7776/stat : 7776 (toysat) S 7765 7771 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267342 33554432000 4194304 16246674 140733971486288 140041490779312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1306180 [startup+102.3 s] /proc/loadavg: 1.88 0.77 0.36 5/183 7781 /proc/meminfo: memFree=28013060/32872528 swapFree=1431120/1543540 [pid=7771] ppid=7765 vsize=1306180 CPUtime=102.28 cores=1,3,5,7 /proc/7771/stat : 7771 (toysat) R 7765 7771 7726 0 -1 4202496 267535 0 0 0 10184 44 0 0 20 0 4 0 36230951 1337528320 267348 33554432000 4194304 16246674 140733971486288 140733971468160 15015658 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7771/statm: 326545 267348 878 2943 0 323439 0 [pid=7771/tid=7773] ppid=7765 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7773/stat : 7773 (toysat) S 7765 7771 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267348 33554432000 4194304 16246674 140733971486288 140041511742704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=7771/tid=7775] ppid=7765 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7775/stat : 7775 (toysat) S 7765 7771 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267348 33554432000 4194304 16246674 140733971486288 140041501252848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=7771/tid=7776] ppid=7765 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7776/stat : 7776 (toysat) S 7765 7771 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267348 33554432000 4194304 16246674 140733971486288 140041490779312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1306180 ################ # More data... # ################ /proc/7771/stat : 7771 (toysat) R 7765 7771 7726 0 -1 4202496 267631 0 0 0 40169 53 0 0 20 0 4 0 36230951 1337528320 267444 33554432000 4194304 16246674 140733971486288 140733971468160 6010356 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7771/statm: 326545 267444 879 2943 0 323439 0 [pid=7771/tid=7773] ppid=7765 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7773/stat : 7773 (toysat) S 7765 7771 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267444 33554432000 4194304 16246674 140733971486288 140041511742704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=7771/tid=7775] ppid=7765 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7775/stat : 7775 (toysat) S 7765 7771 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267444 33554432000 4194304 16246674 140733971486288 140041501252848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=7771/tid=7776] ppid=7765 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7776/stat : 7776 (toysat) S 7765 7771 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267444 33554432000 4194304 16246674 140733971486288 140041490779312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 1306180 [startup+462.3 s] /proc/loadavg: 2.12 1.75 0.93 5/183 7788 /proc/meminfo: memFree=28009976/32872528 swapFree=1431120/1543540 [pid=7771] ppid=7765 vsize=1306180 CPUtime=462.22 cores=1,3,5,7 /proc/7771/stat : 7771 (toysat) R 7765 7771 7726 0 -1 4202496 267631 0 0 0 46167 55 0 0 20 0 4 0 36230951 1337528320 267444 33554432000 4194304 16246674 140733971486288 140733971468160 5823455 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7771/statm: 326545 267444 879 2943 0 323439 0 [pid=7771/tid=7773] ppid=7765 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7773/stat : 7773 (toysat) S 7765 7771 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267444 33554432000 4194304 16246674 140733971486288 140041511742704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=7771/tid=7775] ppid=7765 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7775/stat : 7775 (toysat) S 7765 7771 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267444 33554432000 4194304 16246674 140733971486288 140041501252848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=7771/tid=7776] ppid=7765 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7776/stat : 7776 (toysat) S 7765 7771 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267444 33554432000 4194304 16246674 140733971486288 140041490779312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 462.22 Current children cumulated vsize (KiB) 1306180 [startup+522.3 s] /proc/loadavg: 2.18 1.84 1.01 4/183 7789 /proc/meminfo: memFree=28009740/32872528 swapFree=1431120/1543540 [pid=7771] ppid=7765 vsize=1306180 CPUtime=522.21 cores=1,3,5,7 /proc/7771/stat : 7771 (toysat) R 7765 7771 7726 0 -1 4202496 267631 0 0 0 52164 57 0 0 20 0 4 0 36230951 1337528320 267444 33554432000 4194304 16246674 140733971486288 140733971468160 5545724 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7771/statm: 326545 267444 879 2943 0 323439 0 [pid=7771/tid=7773] ppid=7765 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7773/stat : 7773 (toysat) S 7765 7771 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267444 33554432000 4194304 16246674 140733971486288 140041511742704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=7771/tid=7775] ppid=7765 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7775/stat : 7775 (toysat) S 7765 7771 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267444 33554432000 4194304 16246674 140733971486288 140041501252848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=7771/tid=7776] ppid=7765 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7776/stat : 7776 (toysat) S 7765 7771 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267444 33554432000 4194304 16246674 140733971486288 140041490779312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 522.21 Current children cumulated vsize (KiB) 1306180 [startup+582.3 s] /proc/loadavg: 2.16 1.89 1.08 5/184 7793 /proc/meminfo: memFree=28009472/32872528 swapFree=1431120/1543540 [pid=7771] ppid=7765 vsize=1306180 CPUtime=582.2 cores=1,3,5,7 /proc/7771/stat : 7771 (toysat) R 7765 7771 7726 0 -1 4202496 267632 0 0 0 58160 60 0 0 20 0 4 0 36230951 1337528320 267445 33554432000 4194304 16246674 140733971486288 140733971468160 5822432 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7771/statm: 326545 267445 880 2943 0 323439 0 [pid=7771/tid=7773] ppid=7765 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7773/stat : 7773 (toysat) S 7765 7771 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267445 33554432000 4194304 16246674 140733971486288 140041511742704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=7771/tid=7775] ppid=7765 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7775/stat : 7775 (toysat) S 7765 7771 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267445 33554432000 4194304 16246674 140733971486288 140041501252848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=7771/tid=7776] ppid=7765 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7776/stat : 7776 (toysat) S 7765 7771 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267445 33554432000 4194304 16246674 140733971486288 140041490779312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 582.2 Current children cumulated vsize (KiB) 1306180 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 7771 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+588.8 s] /proc/loadavg: 2.21 1.91 1.10 4/184 7793 /proc/meminfo: memFree=28009516/32872528 swapFree=1431120/1543540 [pid=7771] ppid=7765 vsize=1306180 CPUtime=588.7 cores=1,3,5,7 /proc/7771/stat : 7771 (toysat) R 7765 7771 7726 0 -1 4202496 267632 0 0 0 58810 60 0 0 20 0 4 0 36230951 1337528320 267445 33554432000 4194304 16246674 140733971486288 140733971468160 5546001 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7771/statm: 326545 267445 880 2943 0 323439 0 [pid=7771/tid=7773] ppid=7765 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7773/stat : 7773 (toysat) S 7765 7771 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267445 33554432000 4194304 16246674 140733971486288 140041511742704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=7771/tid=7775] ppid=7765 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7775/stat : 7775 (toysat) S 7765 7771 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267445 33554432000 4194304 16246674 140733971486288 140041501252848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=7771/tid=7776] ppid=7765 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7776/stat : 7776 (toysat) S 7765 7771 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267445 33554432000 4194304 16246674 140733971486288 140041490779312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 588.7 Current children cumulated vsize (KiB) 1306180 [startup+595.208 s] /proc/loadavg: 2.20 1.91 1.10 4/184 7793 /proc/meminfo: memFree=28009816/32872528 swapFree=1431120/1543540 [pid=7771] ppid=7765 vsize=1306180 CPUtime=595.11 cores=1,3,5,7 /proc/7771/stat : 7771 (toysat) R 7765 7771 7726 0 -1 4202496 267632 0 0 0 59451 60 0 0 20 0 4 0 36230951 1337528320 267445 33554432000 4194304 16246674 140733971486288 140733971468160 5822187 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7771/statm: 326545 267445 880 2943 0 323439 0 [pid=7771/tid=7773] ppid=7765 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7773/stat : 7773 (toysat) S 7765 7771 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267445 33554432000 4194304 16246674 140733971486288 140041511742704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=7771/tid=7775] ppid=7765 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7775/stat : 7775 (toysat) S 7765 7771 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267445 33554432000 4194304 16246674 140733971486288 140041501252848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=7771/tid=7776] ppid=7765 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7776/stat : 7776 (toysat) S 7765 7771 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267445 33554432000 4194304 16246674 140733971486288 140041490779312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 595.11 Current children cumulated vsize (KiB) 1306180 [startup+598.4 s] /proc/loadavg: 2.26 1.93 1.11 5/184 7793 /proc/meminfo: memFree=28009816/32872528 swapFree=1431120/1543540 [pid=7771] ppid=7765 vsize=1306180 CPUtime=598.31 cores=1,3,5,7 /proc/7771/stat : 7771 (toysat) R 7765 7771 7726 0 -1 4202496 267632 0 0 0 59771 60 0 0 20 0 4 0 36230951 1337528320 267445 33554432000 4194304 16246674 140733971486288 140733971468160 13943668 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7771/statm: 326545 267445 880 2943 0 323439 0 [pid=7771/tid=7773] ppid=7765 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7773/stat : 7773 (toysat) S 7765 7771 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267445 33554432000 4194304 16246674 140733971486288 140041511742704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=7771/tid=7775] ppid=7765 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7775/stat : 7775 (toysat) S 7765 7771 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267445 33554432000 4194304 16246674 140733971486288 140041501252848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=7771/tid=7776] ppid=7765 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7776/stat : 7776 (toysat) S 7765 7771 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267445 33554432000 4194304 16246674 140733971486288 140041490779312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 598.31 Current children cumulated vsize (KiB) 1306180 [startup+601.6 s] /proc/loadavg: 2.26 1.93 1.11 4/184 7794 /proc/meminfo: memFree=28009816/32872528 swapFree=1431120/1543540 [pid=7771] ppid=7765 vsize=1306180 CPUtime=601.5 cores=1,3,5,7 /proc/7771/stat : 7771 (toysat) R 7765 7771 7726 0 -1 4202496 267632 0 0 0 60090 60 0 0 20 0 4 0 36230951 1337528320 267445 33554432000 4194304 16246674 140733971486288 140733971469288 5823655 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7771/statm: 326545 267445 880 2943 0 323439 0 [pid=7771/tid=7773] ppid=7765 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7773/stat : 7773 (toysat) S 7765 7771 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267445 33554432000 4194304 16246674 140733971486288 140041511742704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=7771/tid=7775] ppid=7765 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7775/stat : 7775 (toysat) S 7765 7771 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267445 33554432000 4194304 16246674 140733971486288 140041501252848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=7771/tid=7776] ppid=7765 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7776/stat : 7776 (toysat) S 7765 7771 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267445 33554432000 4194304 16246674 140733971486288 140041490779312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 601.5 Current children cumulated vsize (KiB) 1306180 [startup+603.2 s] /proc/loadavg: 2.26 1.93 1.11 4/184 7794 /proc/meminfo: memFree=28009444/32872528 swapFree=1431120/1543540 [pid=7771] ppid=7765 vsize=1306180 CPUtime=603.1 cores=1,3,5,7 /proc/7771/stat : 7771 (toysat) R 7765 7771 7726 0 -1 4202496 267632 0 0 0 60250 60 0 0 20 0 4 0 36230951 1337528320 267445 33554432000 4194304 16246674 140733971486288 140733971468160 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7771/statm: 326545 267445 880 2943 0 323439 0 [pid=7771/tid=7773] ppid=7765 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7773/stat : 7773 (toysat) S 7765 7771 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267445 33554432000 4194304 16246674 140733971486288 140041511742704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=7771/tid=7775] ppid=7765 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7775/stat : 7775 (toysat) S 7765 7771 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267445 33554432000 4194304 16246674 140733971486288 140041501252848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=7771/tid=7776] ppid=7765 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7776/stat : 7776 (toysat) S 7765 7771 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267445 33554432000 4194304 16246674 140733971486288 140041490779312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 603.1 Current children cumulated vsize (KiB) 1306180 [startup+604.008 s] /proc/loadavg: 2.24 1.93 1.12 4/184 7794 /proc/meminfo: memFree=28009560/32872528 swapFree=1431120/1543540 [pid=7771] ppid=7765 vsize=1306180 CPUtime=603.91 cores=1,3,5,7 /proc/7771/stat : 7771 (toysat) R 7765 7771 7726 0 -1 4202496 267632 0 0 0 60331 60 0 0 20 0 4 0 36230951 1337528320 267445 33554432000 4194304 16246674 140733971486288 140733971468160 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7771/statm: 326545 267445 880 2943 0 323439 0 [pid=7771/tid=7773] ppid=7765 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7773/stat : 7773 (toysat) S 7765 7771 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267445 33554432000 4194304 16246674 140733971486288 140041511742704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=7771/tid=7775] ppid=7765 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7775/stat : 7775 (toysat) S 7765 7771 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267445 33554432000 4194304 16246674 140733971486288 140041501252848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=7771/tid=7776] ppid=7765 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7776/stat : 7776 (toysat) S 7765 7771 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267445 33554432000 4194304 16246674 140733971486288 140041490779312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 603.91 Current children cumulated vsize (KiB) 1306180 [startup+604.2 s] /proc/loadavg: 2.24 1.93 1.12 4/184 7794 /proc/meminfo: memFree=28009560/32872528 swapFree=1431120/1543540 [pid=7771] ppid=7765 vsize=1306180 CPUtime=604.1 cores=1,3,5,7 /proc/7771/stat : 7771 (toysat) R 7765 7771 7726 0 -1 4202496 267632 0 0 0 60350 60 0 0 20 0 4 0 36230951 1337528320 267445 33554432000 4194304 16246674 140733971486288 140733971468160 12483272 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7771/statm: 326545 267445 880 2943 0 323439 0 [pid=7771/tid=7773] ppid=7765 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7773/stat : 7773 (toysat) S 7765 7771 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267445 33554432000 4194304 16246674 140733971486288 140041511742704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=7771/tid=7775] ppid=7765 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7775/stat : 7775 (toysat) S 7765 7771 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267445 33554432000 4194304 16246674 140733971486288 140041501252848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=7771/tid=7776] ppid=7765 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7771/task/7776/stat : 7776 (toysat) S 7765 7771 7726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36230951 1337528320 267445 33554432000 4194304 16246674 140733971486288 140041490779312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 604.1 Current children cumulated vsize (KiB) 1306180 Child status: 0 Real time (s): 604.293 CPU time (s): 604.2 CPU user time (s): 603.535 CPU system time (s): 0.664898 CPU usage (%): 99.9846 Max. virtual memory (cumulated for all children) (KiB): 1306180 getrusage(RUSAGE_CHILDREN,...) data: user time used= 603.535 system time used= 0.664898 maximum resident set size= 1069828 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 267645 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= 19 involuntary context switches= 800 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.01069 second user time and 2.53961 second system time The end
Begin job on node116 at 2016-06-19 15:10:22 IDJOB=4109186 IDBENCH=78705 IDSOLVER=2553 FILE ID=node116/4109186-1466341822 RUNJOBID= node116-1466341822-7743 PBS_JOBID= 19922036 Free space on /tmp= 71696 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-11-10--soft-33-100-0.wbo COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4109186-1466341822/watcher-4109186-1466341822 -o /tmp/evaluation-result-4109186-1466341822/solver-4109186-1466341822 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466341822-7743 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4109186-1466341822.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= aee3c086893c0832e26f8cc2ef39e632 RANDOM SEED=1503355689 node116.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.781 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.56 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.781 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 : 5332.55 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.781 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 : 5332.55 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.781 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 : 5332.55 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.781 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 : 5332.55 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.781 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 : 5332.54 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.781 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 : 5332.55 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.781 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 : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30157324 kB Buffers: 139912 kB Cached: 279544 kB SwapCached: 2316 kB Active: 162972 kB Inactive: 259836 kB Active(anon): 1940 kB Inactive(anon): 3884 kB Active(file): 161032 kB Inactive(file): 255952 kB Unevictable: 1543540 kB Mlocked: 1431120 kB SwapTotal: 67108856 kB SwapFree: 67099856 kB Dirty: 32604 kB Writeback: 0 kB AnonPages: 1546488 kB Mapped: 8604 kB Shmem: 0 kB Slab: 615804 kB SReclaimable: 60316 kB SUnreclaim: 555488 kB KernelStack: 1368 kB PageTables: 6816 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1638832 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 112640 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71660 MiB End job on node116 at 2016-06-19 15:20:27