| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco 2.O parallel | SAT | 16.562 | 2.63215 |
| Name | Subisomorphism/Subisomorphism-m1-si6-m4D/ Subisomorphism-si6-m4Dr2-m1296-05.xml |
| MD5SUM | 3130b580259b5cb9fe6f555a4358f6cc |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 0.886751 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 777 |
| Number of constraints | 2559 |
| Number of domains | 1 |
| Minimum domain size | 1296 |
| Maximum domain size | 1296 |
| Distribution of domain sizes | [{"size":1296,"count":777}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 12 |
| Distribution of variable degrees | [{"degree":2,"count":29},{"degree":3,"count":78},{"degree":4,"count":92},{"degree":6,"count":92},{"degree":7,"count":115},{"degree":8,"count":149},{"degree":9,"count":139},{"degree":10,"count":60},{"degree":11,"count":21},{"degree":12,"count":2}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 777 |
| Distribution of constraint arities | [{"arity":1,"count":578},{"arity":2,"count":1980},{"arity":777,"count":1}] |
| Number of extensional constraints | 2558 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":2558},{"type":"allDifferent","count":1}] |
| Optimization problem | NO |
| Type of objective |
9.75/1.61 c root propagations : 723236 9.75/1.61 c restarts enabled, print stats at every restarts 9.75/1.61 c 9.75/1.61 c 9.75/1.61 c 9.75/1.61 c This is cosoco 2.00 -- 9.75/1.61 c 9.75/1.61 c command line: cosoco -model -nbcores=8 HOME/instance-4398069-1568605527.xml 9.75/1.61 c ========================================[ Problem Statistics ]=========================================== 9.75/1.61 c | 9.75/1.61 c | Parse time : 0.15 s 9.75/1.61 c | 9.75/1.61 c | Variables: 777 9.75/1.61 c | Domain Sizes: 1296..1296 9.75/1.61 c | 9.75/1.61 c | Constraints: 2559 9.75/1.61 c | Arity: 1..777 -- Unary: 578 -- Binary: 1980 9.75/1.61 c | 9.75/1.61 c | Types: 9.75/1.61 c | All Different: 1 9.75/1.61 c | Extension: 1980 (nb tuples: 7718..7718) -- (shared: 20400) 9.75/1.61 c | Unary: 578 9.75/1.61 c | 9.75/1.61 c ========================================================================================================= 9.75/1.61 c Parallel mode: Portfolio 9.75/1.61 c [pFactory][Group N°0] created (threads:8). 9.75/1.61 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 9.75/1.61 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 9.75/1.61 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 9.75/1.61 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 9.75/1.61 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 9.75/1.61 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 9.75/1.61 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 9.75/1.61 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 9.75/1.61 c [pFactory][Group N°0] concurrent mode: enabled. 9.75/1.61 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 9.75/1.61 c [pFactory][Group N°0] task 7 launched on thread 6. 9.75/1.61 c [pFactory][Group N°0] task 6 launched on thread 0. 9.75/1.61 c [pFactory][Group N°0] task 5 launched on thread 1. 9.75/1.61 c [pFactory][Group N°0] task 4 launched on thread 2. 9.75/1.61 c [pFactory][Group N°0] task 3 launched on thread 5. 9.75/1.61 c [pFactory][Group N°0] task 2 launched on thread 3. 9.75/1.61 c [pFactory][Group N°0] task 1 launched on thread 7. 9.75/1.61 c [pFactory][Group N°0] task 0 launched on thread 4. 9.75/1.61 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 9.75/1.63 c root propagations : 723236 9.75/1.63 c restarts enabled, print stats at every restarts 9.75/1.63 c 9.75/1.63 c 9.75/1.63 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 9.75/1.67 c root propagations : 723236 9.75/1.67 c restarts enabled, print stats at every restarts 9.75/1.67 c 9.75/1.67 c 9.75/1.67 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 9.75/1.68 c root propagations : 723236 9.75/1.68 c restarts enabled, print stats at every restarts 9.75/1.68 c 9.75/1.68 c 9.75/1.68 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 10.31/1.79 c root propagations : 723236 10.31/1.79 c restarts enabled, print stats at every restarts 10.31/1.79 c 10.31/1.79 c 10.31/1.79 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 10.88/1.80 c root propagations : 723236 10.88/1.80 c restarts enabled, print stats at every restarts 10.88/1.80 c 10.88/1.80 c 10.88/1.80 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 10.88/1.82 c 0 1 7980 723237 777 0 0 0 0 10.88/1.83 c 0 2 7980 723238 777 0 0 0 0 10.88/1.83 c 0 3 7980 723239 777 0 0 0 0 10.88/1.83 c root propagations : 723236 10.88/1.83 c restarts enabled, print stats at every restarts 10.88/1.83 c 10.88/1.83 c 10.88/1.83 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 10.88/1.85 c 0 1 7980 723237 777 0 0 0 0 10.88/1.85 c 0 2 7980 723238 777 0 0 0 0 10.88/1.89 c 0 1 7980 723237 777 0 0 0 0 10.88/1.89 c root propagations : 723236 10.88/1.89 c restarts enabled, print stats at every restarts 10.88/1.89 c 10.88/1.89 c 10.88/1.89 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 11.49/1.92 c 0 5 11353 857918 777 0 0 0 0 11.49/1.92 c 0 2 7988 723239 777 0 0 0 0 11.49/1.97 c 0 6 11396 857998 777 0 0 0 0 12.17/2.01 c 0 1 7980 723237 777 0 0 0 0 12.17/2.03 c 0 1 7980 723237 777 0 0 0 0 12.17/2.03 c 0 4 11527 1006171 777 0 0 0 0 12.17/2.03 c 0 2 8023 723319 777 0 0 0 0 12.17/2.03 c 0 2 8023 723317 777 0 0 0 0 12.17/2.03 c 0 5 11540 1006174 777 0 0 0 0 12.17/2.03 c 0 1 7980 723237 777 0 0 0 0 12.17/2.03 c 0 2 8026 723320 777 0 0 0 0 12.17/2.04 c 0 8 14769 992600 777 0 0 0 0 12.17/2.05 c 0 9 14785 992606 777 0 0 0 0 12.17/2.05 c 0 1 7988 723238 777 0 0 0 0 12.17/2.06 c 0 2 8045 723340 777 0 0 0 0 12.17/2.07 c 0 1 8023 723316 777 0 0 0 0 12.94/2.11 c 0 11 18164 1127210 777 0 0 0 0 12.94/2.12 c 0 7 15008 1289026 777 0 0 0 0 12.94/2.12 c 0 12 18230 1127296 777 0 0 0 0 12.94/2.12 c 0 4 11573 803106 777 0 0 0 0 12.94/2.19 c 0 14 21604 1261852 777 0 0 0 0 12.94/2.20 c 0 4 11614 840739 777 0 0 0 0 13.64/2.20 c 0 5 14801 856804 777 0 0 0 0 13.64/2.21 c 0 6 14812 856807 777 0 0 0 0 13.64/2.21 c 0 7 14812 856808 777 0 0 0 0 13.64/2.21 c 0 8 14812 856809 777 0 0 0 0 13.64/2.21 c 0 9 14812 856810 777 0 0 0 0 13.64/2.21 c 0 10 14812 856811 777 0 0 0 0 13.64/2.21 c 0 11 14812 856812 777 0 0 0 0 13.64/2.21 c 0 12 14812 856813 777 0 0 0 0 13.64/2.21 c 0 13 14812 856814 777 0 0 0 0 13.64/2.21 c 0 14 14812 856815 777 0 0 0 0 13.64/2.21 c 0 15 14812 856816 777 0 0 0 0 13.64/2.21 c 0 16 14812 856817 777 0 0 0 0 13.64/2.21 c 0 17 14812 856818 777 0 0 0 0 13.64/2.21 c 0 18 14812 856819 777 0 0 0 0 13.64/2.21 c 0 19 14812 856820 777 0 0 0 0 13.64/2.21 c 0 20 14812 856821 777 0 0 0 0 13.64/2.21 c 0 21 14812 856822 777 0 0 0 0 13.64/2.21 c 0 22 14812 856823 777 0 0 0 0 13.64/2.21 c 0 23 14812 856824 777 0 0 0 0 13.64/2.21 c 0 24 14812 856825 777 0 0 0 0 13.64/2.21 c 0 25 14812 856826 777 0 0 0 0 13.64/2.21 c 0 26 14812 856827 777 0 0 0 0 13.64/2.21 c 0 27 14812 856828 777 0 0 0 0 13.64/2.21 c 0 28 14812 856829 777 0 0 0 0 13.64/2.21 c 0 29 14812 856830 777 0 0 0 0 13.64/2.21 c 0 30 14812 856831 777 0 0 0 0 13.64/2.21 c 0 31 14812 856832 777 0 0 0 0 13.64/2.21 c 0 32 14812 856833 777 0 0 0 0 13.64/2.21 c 0 33 14812 856834 777 0 0 0 0 13.64/2.21 c 0 34 14812 856835 777 0 0 0 0 13.64/2.21 c 0 35 14812 856836 777 0 0 0 0 13.64/2.21 c 0 36 14812 856837 777 0 0 0 0 13.64/2.21 c 0 37 14812 856838 777 0 0 0 0 13.64/2.21 c 0 38 14812 856839 777 0 0 0 0 13.64/2.21 c 0 39 14812 856840 777 0 0 0 0 13.64/2.21 c 0 40 14812 856841 777 0 0 0 0 13.64/2.21 c 0 41 14812 856842 777 0 0 0 0 13.64/2.21 c 0 42 14812 856843 777 0 0 0 0 13.64/2.21 c 0 43 14812 856844 777 0 0 0 0 13.64/2.21 c 0 44 14812 856845 777 0 0 0 0 13.64/2.21 c 0 45 14812 856846 777 0 0 0 0 13.64/2.21 c 0 46 14812 856847 777 0 0 0 0 13.64/2.21 c 0 47 14812 856848 777 0 0 0 0 13.64/2.21 c 0 48 14812 856849 777 0 0 0 0 13.64/2.21 c 0 49 14812 856850 777 0 0 0 0 13.64/2.21 c 0 50 14812 856851 777 0 0 0 0 13.64/2.21 c 0 51 14812 856852 777 0 0 0 0 13.64/2.21 c 0 52 14812 856853 777 0 0 0 0 13.64/2.21 c 0 53 14812 856854 777 0 0 0 0 13.64/2.21 c 0 54 14812 856855 777 0 0 0 0 13.64/2.21 c 0 55 14812 856856 777 0 0 0 0 13.64/2.21 c 0 56 14812 856857 777 0 0 0 0 13.64/2.21 c 0 57 14812 856858 777 0 0 0 0 13.64/2.21 c 0 58 14812 856859 777 0 0 0 0 13.64/2.21 c 0 59 14812 856860 777 0 0 0 0 13.64/2.21 c 0 60 14812 856861 777 0 0 0 0 13.64/2.21 c 0 61 14812 856862 777 0 0 0 0 13.64/2.21 c 0 62 14812 856863 777 0 0 0 0 13.64/2.21 c 0 63 14812 856864 777 0 0 0 0 13.64/2.21 c 0 64 14812 856865 777 0 0 0 0 13.64/2.21 c 0 65 14812 856866 777 0 0 0 0 13.64/2.21 c 0 66 14812 856867 777 0 0 0 0 13.64/2.21 c 0 67 14812 856868 777 0 0 0 0 13.64/2.21 c 0 68 14812 856869 777 0 0 0 0 13.64/2.21 c 0 69 14812 856870 777 0 0 0 0 13.64/2.21 c 0 70 14812 856871 777 0 0 0 0 13.64/2.21 c 0 71 14812 856872 777 0 0 0 0 13.64/2.21 c 0 72 14812 856873 777 0 0 0 0 13.64/2.21 c 0 73 14812 856874 777 0 0 0 0 13.64/2.21 c 0 74 14812 856875 777 0 0 0 0 13.64/2.21 c 0 75 14812 856876 777 0 0 0 0 13.64/2.21 c 0 76 14812 856877 777 0 0 0 0 13.64/2.21 c 0 77 14812 856878 777 0 0 0 0 13.64/2.21 c 0 78 14812 856879 777 0 0 0 0 13.64/2.21 c 0 79 14812 856880 777 0 0 0 0 13.64/2.21 c 0 80 14816 856882 777 0 0 0 0 13.64/2.21 c 0 81 14816 856883 777 0 0 0 0 13.64/2.21 c 0 82 14816 856884 777 0 0 0 0 13.64/2.21 c 0 83 14816 856885 777 0 0 0 0 13.64/2.21 c 0 84 14816 856886 777 0 0 0 0 13.64/2.22 c 0 85 14816 856887 777 0 0 0 0 13.64/2.22 c 0 86 14816 856888 777 0 0 0 0 13.64/2.22 c 0 87 14816 856889 777 0 0 0 0 13.64/2.22 c 0 88 14816 856890 777 0 0 0 0 13.64/2.22 c 0 89 14816 856891 777 0 0 0 0 13.64/2.22 c 0 90 14816 856892 777 0 0 0 0 13.64/2.22 c 0 91 14816 856893 777 0 0 0 0 13.64/2.22 c 0 92 14816 856894 777 0 0 0 0 13.64/2.22 c 0 93 14816 856895 777 0 0 0 0 13.64/2.22 c 0 94 14816 856896 777 0 0 0 0 13.64/2.22 c 0 95 14816 856897 777 0 0 0 0 13.64/2.22 c 0 96 14816 856898 777 0 0 0 0 13.64/2.22 c 0 97 14816 856899 777 0 0 0 0 13.64/2.22 c 0 98 14816 856900 777 0 0 0 0 13.64/2.22 c 0 99 14816 856901 777 0 0 0 0 13.64/2.22 c 0 100 14816 856902 777 0 0 0 0 13.64/2.22 c 0 101 14816 856903 777 0 0 0 0 13.64/2.22 c 0 102 14816 856904 777 0 0 0 0 13.64/2.22 c 0 103 14816 856905 777 0 0 0 0 13.64/2.22 c 0 104 14816 856906 777 0 0 0 0 13.64/2.22 c 0 105 14816 856907 777 0 0 0 0 13.64/2.22 c 0 106 14816 856908 777 0 0 0 0 13.64/2.22 c 0 107 14816 856909 777 0 0 0 0 13.64/2.22 c 0 108 14816 856910 777 0 0 0 0 13.64/2.22 c 0 109 14816 856911 777 0 0 0 0 13.64/2.22 c 0 110 14816 856912 777 0 0 0 0 13.64/2.22 c 0 111 14816 856913 777 0 0 0 0 13.64/2.22 c 0 112 14816 856914 777 0 0 0 0 13.64/2.22 c 0 113 14816 856915 777 0 0 0 0 13.64/2.22 c 0 114 14816 856916 777 0 0 0 0 13.64/2.22 c 0 115 14816 856917 777 0 0 0 0 13.64/2.22 c 0 116 14816 856918 777 0 0 0 0 13.64/2.22 c 0 117 14816 856919 777 0 0 0 0 13.64/2.22 c 0 118 14816 856920 777 0 0 0 0 13.64/2.22 c 0 119 14816 856921 777 0 0 0 0 13.64/2.22 c 0 120 14816 856922 777 0 0 0 0 13.64/2.22 c 0 121 14816 856923 777 0 0 0 0 13.64/2.22 c 0 122 14816 856924 777 0 0 0 0 13.64/2.22 c 0 123 14816 856925 777 0 0 0 0 13.64/2.22 c 0 124 14816 856926 777 0 0 0 0 13.64/2.22 c 0 125 14816 856927 777 0 0 0 0 13.64/2.22 c 0 126 14816 856928 777 0 0 0 0 13.64/2.22 c 0 127 14816 856929 777 0 0 0 0 13.64/2.22 c 0 128 14816 856930 777 0 0 0 0 13.64/2.22 c 0 129 14816 856931 777 0 0 0 0 13.64/2.22 c 0 130 14816 856932 777 0 0 0 0 13.64/2.22 c 0 131 14816 856933 777 0 0 0 0 13.64/2.22 c 0 132 14816 856934 777 0 0 0 0 13.64/2.22 c 0 133 14816 856935 777 0 0 0 0 13.64/2.22 c 0 134 14816 856936 777 0 0 0 0 13.64/2.22 c 0 135 14816 856937 777 0 0 0 0 13.64/2.22 c 0 136 14816 856938 777 0 0 0 0 13.64/2.22 c 0 137 14816 856939 777 0 0 0 0 13.64/2.22 c 0 138 14816 856940 777 0 0 0 0 13.64/2.22 c 0 139 14816 856941 777 0 0 0 0 13.64/2.22 c 0 140 14816 856942 777 0 0 0 0 13.64/2.22 c 0 141 14816 856943 777 0 0 0 0 13.64/2.22 c 0 142 14816 856944 777 0 0 0 0 13.64/2.22 c 0 143 14816 856945 777 0 0 0 0 13.64/2.25 c 0 15 24228 1315460 777 0 0 0 0 13.64/2.26 c 0 145 18096 883331 777 0 0 0 0 13.64/2.26 c 0 5 14200 894417 777 0 0 0 0 15.94/2.50 c 0 16 27433 1544616 777 0 0 0 0 15.94/2.53 c 0 6 17289 1123572 777 0 0 0 0 15.94/2.54 c 0 146 21170 1112485 777 0 0 0 0 15.94/2.56 c 0 7 17289 1123573 777 0 0 0 0 15.94/2.56 c First solution is found 15.94/2.58 c [pFactory][Group N°0] concurent mode: thread 2 has won with the task 4. 15.94/2.58 c [pFactory][Group N°0] Thread N°0 is joined. 15.94/2.58 c [pFactory][Group N°0] Thread N°1 is joined. 15.94/2.58 c [pFactory][Group N°0] Thread N°2 is joined. 15.94/2.58 c [pFactory][Group N°0] Thread N°3 is joined. 15.94/2.58 c [pFactory][Group N°0] Thread N°4 is joined. 15.94/2.58 c [pFactory][Group N°0] Thread N°5 is joined. 15.94/2.58 c [pFactory][Group N°0] Thread N°6 is joined. 15.94/2.58 c [pFactory][Group N°0] Thread N°7 is joined. 15.94/2.58 c [pFactory][Group N°0] Return Code of the winner:1 (Thread N°2) 15.94/2.58 s SATISFIABLE 15.94/2.58 c restarts : 5 15.94/2.58 c conflicts : 2 (0 /sec) 15.94/2.58 c decisions : 10 (1 /sec) 15.94/2.58 c propagations : 1572620 (101964 /sec) 15.94/2.58 c root propagations : 723236 15.94/2.58 c filter calls : 21850 (1417 /sec) 15.94/2.58 c useless filter calls : 14073 (64 %) 15.94/2.58 c Memory used : 884.93 MB 15.94/2.58 c CPU time : 15.4234 s 15.94/2.58 c real time : 2.5776 s 15.94/2.58 15.94/2.58 c solution 1 15.94/2.58 15.94/2.58 v <instantiation type='solution'> 15.94/2.58 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] </list> 15.94/2.58 v <values>0 437 498 586 621 1192 1273 73 411 680 1238 1242 1275 1 26 921 923 1043 149 795 907 1081 885 1214 346 363 399 774 1259 217 877 879 1139 184 285 780 1277 1280 788 831 1054 144 167 229 422 429 878 1039 1137 138 1286 1108 23 175 195 1030 1131 1104 1181 1209 86 1055 1119 127 954 171 12 203 624 673 1171 876 958 803 271 442 283 102 514 575 645 995 1271 227 779 111 123 128 450 1082 1096 1103 490 1050 1101 1151 689 838 1140 663 105 588 714 1060 1226 472 556 446 1070 508 532 860 952 1117 1217 1288 1294 20 773 919 1021 1211 109 1005 947 67 256 270 293 981 13 654 737 1110 258 476 599 745 84 169 761 72 134 826 110 370 765 821 18 440 1264 640 771 864 174 501 980 1179 339 926 962 51 151 387 417 615 693 855 1263 644 1283 78 1064 92 1018 1245 405 433 718 335 631 662 160 844 574 1025 859 1231 55 629 1088 918 207 284 769 1197 965 478 994 1193 698 1200 1160 872 321 814 224 495 676 1016 1125 1199 313 802 1213 1221 635 819 1112 1230 10 449 917 1266 9 76 710 839 1100 1136 46 517 148 1062 789 932 45 135 533 579 627 843 1035 291 1253 24 983 240 724 801 757 758 1182 255 316 915 849 1052 538 928 848 1163 6 225 251 484 630 794 1026 944 158 543 1269 136 269 1173 487 515 656 699 943 1047 1287 65 545 817 1206 326 345 414 115 793 1044 1295 146 1153 1168 1202 197 289 1235 1281 113 194 464 1205 1257 300 334 647 298 704 890 132 1007 1236 43 832 880 379 946 1154 130 201 447 439 703 116 1133 4 423 833 1159 63 852 1086 1122 679 1241 687 883 1097 827 964 351 497 955 220 11 58 297 402 506 743 380 68 1169 357 413 1185 1187 861 145 330 373 874 886 1118 835 1115 2 249 854 1073 1144 1282 36 54 587 611 898 91 266 963 1024 1191 993 1243 296 374 1170 762 1212 117 894 371 804 1048 1075 259 460 659 868 394 377 386 807 929 56 999 165 276 242 190 892 1071 1079 1022 1227 1254 253 1158 100 1069 1162 1218 38 15 104 519 925 41 1274 930 372 499 547 1063 1256 216 502 791 364 366 798 348 542 664 738 871 927 228 1284 1031 302 1102 1177 39 185 383 384 603 272 273 564 526 486 796 311 192 996 108 120 196 396 1056 107 177 613 1040 1165 329 340 461 521 548 48 28 622 787 1201 465 792 1143 905 660 42 1037 520 896 226 1041 8 252 661 945 1015 1109 161 578 937 1027 244 400 1252 453 646 1183 93 350 688 720 551 751 825 448 75 80 205 361 643 683 34 264 908 1265 90 309 511 85 1094 1267 395 157 33 1268 524 888 978 665 1250 557 857 352 418 614 1010 1057 1190 607 25 782 1178 740 653 97 369 404 455 1123 279 595 475 903 1114 152 424 967 560 428 589 1045 1006 432 166 869 1157 554 856 528 1019 281 684 867 1083 1164 583 286 441 1194 27 294 1184 858 204 210 507 193 222 715 31 112 1068 191 566 975 468 1126 1208 88 176 670 1020 1237 430 493 491 133 315 1196 657 739 959 50 356 616 682 960 1084 1246 1262 597 902 250 568 215 642 778 717 1072 875 1180 77 899 419 623 985 139 488 957 208 280 1261 953 822 458 1111 71 170 496 544 742 1276 459 610 977 1175 767 1061 407 425 1233 1002 847 314 625 620 834 936 1138 382 709 972 40 155 759 66 648 806 639 1174 427 889 254 694 1249 1232 444 1105 949 651 1053 569 900 914 1186 94 655 913 1087 137 156 594 669 887 199 1003 1046 287 367 549 846 940 1270 1290 262 1076 325 378 5 1176 69 70 391 431 550 895 1017 596 360 172 221 290 706 733 1279 140 288 881 481 1091 337 420 641 1036 1198 755 421 489 1121 658 1033 612 891 7 753 707 </values> 15.94/2.58 v </instantiation> 15.94/2.58
OK
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14678 MiB free)
memory of node 1: 16384 MiB (15695 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398069-1568605527/watcher-4398069-1568605527 -o /tmp/evaluation-result-4398069-1568605527/solver-4398069-1568605527 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1568598290-13264 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398069-1568605527.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=14943, runsolver pid=14940
Current StackSize limit: 8192 KiB
[startup+0.100162 s]*
/proc/loadavg: 1.00 1.63 4.12 2/193 14944
/proc/meminfo: memFree=31026744/32770624 swapFree=66952652/67108860
[pid=14943] ppid=14940 vsize=114720 memory=91072 CPUtime=0.1 cores=0-7
/proc/14943/stat : 14943 (cosoco) R 14940 14943 13237 0 -1 4202496 22925 0 0 0 8 2 0 0 20 0 1 0 436821596 117473280 22702 33554432000 4194304 6211092 140736972808016 140736972804552 139638105611070 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 35299328 140736972813329 140736972813421 140736972813421 140736972816334 0
/proc/14943/statm: 28680 22768 822 493 0 21985 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 114720 KiB
Current children cumulated memory: 91072 KiB
[startup+0.209567 s]*
/proc/loadavg: 1.00 1.63 4.12 2/193 14944
/proc/meminfo: memFree=30848556/32770624 swapFree=66952652/67108860
[pid=14943] ppid=14940 vsize=299880 memory=276120 CPUtime=0.21 cores=0-7
/proc/14943/stat : 14943 (cosoco) R 14940 14943 13237 0 -1 4202496 69270 0 0 0 14 7 0 0 20 0 1 0 436821596 307077120 69030 33554432000 4194304 6211092 140736972808016 140736972803208 139638105615333 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 35299328 140736972813329 140736972813421 140736972813421 140736972816334 0
/proc/14943/statm: 74970 69030 825 493 0 68275 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 299880 KiB
Current children cumulated memory: 276120 KiB
[startup+0.309789 s]*
/proc/loadavg: 1.00 1.63 4.12 3/201 14952
/proc/meminfo: memFree=30775648/32770624 swapFree=66952652/67108860
[pid=14943] ppid=14940 vsize=938948 memory=332844 CPUtime=0.77 cores=0-7
/proc/14943/stat : 14943 (cosoco) S 14940 14943 13237 0 -1 1077944320 83790 0 0 0 68 9 0 0 20 0 9 0 436821596 961482752 83211 33554432000 4194304 6211092 140736972808016 140736972806272 139638121656055 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 35299328 140736972813329 140736972813421 140736972813421 140736972816334 0
/proc/14943/statm: 234737 83211 870 493 0 228042 0
[pid=14943/tid=14945] ppid=14940 vsize=938948 memory=8317482817917895235 CPUtime=0.06 cores=0-7
/proc/14943/task/14945/stat : 14945 (cosoco) D 14940 14943 13237 0 -1 4202560 247 0 0 0 6 0 0 0 20 0 9 0 436821620 961482752 83211 33554432000 4194304 6211092 140736972808016 139638098512856 139638106091095 0 0 4096 8405026 18446744071582151463 0 0 -1 2 0 0 0 0 0 8312316 8317760 35299328 140736972813329 140736972813421 140736972813421 140736972816334 0
[pid=14943/tid=14946] ppid=14940 vsize=938948 memory=0 CPUtime=0.06 cores=0-7
/proc/14943/task/14946/stat : 14946 (cosoco) D 14940 14943 13237 0 -1 4202560 242 0 0 0 6 0 0 0 20 0 9 0 436821620 961482752 83211 33554432000 4194304 6211092 140736972808016 139638090120152 139638106091095 0 0 4096 8405026 18446744071582151463 0 0 -1 1 0 0 0 0 0 8312316 8317760 35299328 140736972813329 140736972813421 140736972813421 140736972816334 0
[pid=14943/tid=14947] ppid=14940 vsize=938948 memory=0 CPUtime=0.06 cores=0-7
/proc/14943/task/14947/stat : 14947 (cosoco) R 14940 14943 13237 0 -1 4202560 249 0 0 0 6 0 0 0 20 0 9 0 436821620 961482752 83211 33554432000 4194304 6211092 140736972808016 139638081727448 139638106091095 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 35299328 140736972813329 140736972813421 140736972813421 140736972816334 0
[pid=14943/tid=14948] ppid=14940 vsize=938948 memory=6944656592455097440 CPUtime=0.06 cores=0-7
/proc/14943/task/14948/stat : 14948 (cosoco) D 14940 14943 13237 0 -1 4202560 312 0 0 0 6 0 0 0 20 0 9 0 436821620 961482752 83211 33554432000 4194304 6211092 140736972808016 139638073334648 139638105611070 0 0 4096 8405026 18446744071582151416 0 0 -1 1 0 0 0 0 0 8312316 8317760 35299328 140736972813329 140736972813421 140736972813421 140736972816334 0
[pid=14943/tid=14949] ppid=14940 vsize=938948 memory=0 CPUtime=0.06 cores=0-7
/proc/14943/task/14949/stat : 14949 (cosoco) D 14940 14943 13237 0 -1 4202560 301 0 0 0 6 0 0 0 20 0 9 0 436821620 961482752 83211 33554432000 4194304 6211092 140736972808016 139638064941944 139638106091095 0 0 4096 8405026 18446744071582151463 0 0 -1 3 0 0 0 0 0 8312316 8317760 35299328 140736972813329 140736972813421 140736972813421 140736972816334 0
[pid=14943/tid=14950] ppid=14940 vsize=938948 memory=0 CPUtime=0.06 cores=0-7
/proc/14943/task/14950/stat : 14950 (cosoco) R 14940 14943 13237 0 -1 4202560 247 0 0 0 6 0 0 0 20 0 9 0 436821620 961482752 83211 33554432000 4194304 6211092 140736972808016 139638056549336 139638105611070 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 35299328 140736972813329 140736972813421 140736972813421 140736972816334 0
[pid=14943/tid=14951] ppid=14940 vsize=938948 memory=0 CPUtime=0.06 cores=0-7
/proc/14943/task/14951/stat : 14951 (cosoco) R 14940 14943 13237 0 -1 4202560 322 0 0 0 6 0 0 0 20 0 9 0 436821620 961482752 83211 33554432000 4194304 6211092 140736972808016 139638048156632 139638105615333 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 35299328 140736972813329 140736972813421 140736972813421 140736972816334 0
[pid=14943/tid=14952] ppid=14940 vsize=938948 memory=0 CPUtime=0.06 cores=0-7
/proc/14943/task/14952/stat : 14952 (cosoco) R 14940 14943 13237 0 -1 4202560 248 0 0 0 6 0 0 0 20 0 9 0 436821620 961482752 83211 33554432000 4194304 6211092 140736972808016 139638039763928 139638105611070 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 35299328 140736972813329 140736972813421 140736972813421 140736972816334 0
Current children cumulated CPU time: 0.77 s
Current children cumulated vsize: 938948 KiB
Current children cumulated memory: 332844 KiB
[startup+0.701183 s]
/proc/loadavg: 1.00 1.63 4.12 4/201 14952
/proc/meminfo: memFree=30732704/32770624 swapFree=66952652/67108860
[pid=14943] ppid=14940 vsize=938948 memory=416532 CPUtime=3.76 cores=0-7
/proc/14943/stat : 14943 (cosoco) S 14940 14943 13237 0 -1 1077944320 104622 0 0 0 358 18 0 0 20 0 9 0 436821596 961482752 104133 33554432000 4194304 6211092 140736972808016 140736972806272 139638121656055 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 35299328 140736972813329 140736972813421 140736972813421 140736972816334 0
/proc/14943/statm: 234737 104133 870 493 0 228042 0
[pid=14943/tid=14945] ppid=14940 vsize=938948 memory=2828 CPUtime=0.44 cores=0-7
/proc/14943/task/14945/stat : 14945 (cosoco) D 14940 14943 13237 0 -1 4202560 2798 0 0 0 43 1 0 0 20 0 9 0 436821620 961482752 104133 33554432000 4194304 6211092 140736972808016 139638098512856 139638106091095 0 0 4096 8405026 18446744071582151463 0 0 -1 2 0 0 0 0 0 8312316 8317760 35299328 140736972813329 140736972813421 140736972813421 140736972816334 0
[pid=14943/tid=14946] ppid=14940 vsize=938948 memory=780 CPUtime=0.42 cores=0-7
/proc/14943/task/14946/stat : 14946 (cosoco) R 14940 14943 13237 0 -1 4202560 2613 0 0 0 42 0 0 0 20 0 9 0 436821620 961482752 104133 33554432000 4194304 6211092 140736972808016 139638090120152 139638105611070 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 35299328 140736972813329 140736972813421 140736972813421 140736972816334 0
[pid=14943/tid=14947] ppid=14940 vsize=938948 memory=620 CPUtime=0.44 cores=0-7
/proc/14943/task/14947/stat : 14947 (cosoco) D 14940 14943 13237 0 -1 4202560 2878 0 0 0 43 1 0 0 20 0 9 0 436821620 961482752 104133 33554432000 4194304 6211092 140736972808016 139638081727448 139638106091095 0 0 4096 8405026 18446744071582151463 0 0 -1 4 0 0 0 0 0 8312316 8317760 35299328 140736972813329 140736972813421 140736972813421 140736972816334 0
[pid=14943/tid=14948] ppid=14940 vsize=938948 memory=1496 CPUtime=0.43 cores=0-7
/proc/14943/task/14948/stat : 14948 (cosoco) D 14940 14943 13237 0 -1 4202560 3160 0 0 0 42 1 0 0 20 0 9 0 436821620 961482752 104133 33554432000 4194304 6211092 140736972808016 139638073334744 139638105615333 0 0 4096 8405026 18446744071582151416 0 0 -1 3 0 0 0 0 0 8312316 8317760 35299328 140736972813329 140736972813421 140736972813421 140736972816334 0
[pid=14943/tid=14949] ppid=14940 vsize=938948 memory=1016 CPUtime=0.43 cores=0-7
/proc/14943/task/14949/stat : 14949 (cosoco) D 14940 14943 13237 0 -1 4202560 2949 0 0 0 42 1 0 0 20 0 9 0 436821620 961482752 104133 33554432000 4194304 6211092 140736972808016 139638064941944 139638106091095 0 0 4096 8405026 18446744071582151463 0 0 -1 5 0 0 0 0 0 8312316 8317760 35299328 140736972813329 140736972813421 140736972813421 140736972816334 0
[pid=14943/tid=14950] ppid=14940 vsize=938948 memory=140519912347263 CPUtime=0.44 cores=0-7
/proc/14943/task/14950/stat : 14950 (cosoco) D 14940 14943 13237 0 -1 4202560 2795 0 0 0 43 1 0 0 20 0 9 0 436821620 961482752 104133 33554432000 4194304 6211092 140736972808016 139638056549336 139638106091095 0 0 4096 8405026 18446744071582151463 0 0 -1 6 0 0 0 0 0 8312316 8317760 35299328 140736972813329 140736972813421 140736972813421 140736972816334 0
[pid=14943/tid=14951] ppid=14940 vsize=938948 memory=4634274592177799264 CPUtime=0.43 cores=0-7
/proc/14943/task/14951/stat : 14951 (cosoco) D 14940 14943 13237 0 -1 4202560 3055 0 0 0 42 1 0 0 20 0 9 0 436821620 961482752 104133 33554432000 4194304 6211092 140736972808016 139638048156536 139638106091095 0 0 4096 8405026 18446744071582151463 0 0 -1 1 0 0 0 0 0 8312316 8317760 35299328 140736972813329 140736972813421 140736972813421 140736972816334 0
[pid=14943/tid=14952] ppid=14940 vsize=938948 memory=7881696724453321575 CPUtime=0.44 cores=0-7
/proc/14943/task/14952/stat : 14952 (cosoco) D 14940 14943 13237 0 -1 4202560 2727 0 0 0 43 1 0 0 20 0 9 0 436821620 961482752 104133 33554432000 4194304 6211092 140736972808016 139638039763928 139638106091095 0 0 4096 8405026 18446744071582151463 0 0 -1 0 0 0 0 0 0 8312316 8317760 35299328 140736972813329 140736972813421 140736972813421 140736972816334 0
Current children cumulated CPU time: 3.76 s
Current children cumulated vsize: 938948 KiB
Current children cumulated memory: 416532 KiB
[startup+1.50182 s]
/proc/loadavg: 1.00 1.63 4.12 8/201 14952
/proc/meminfo: memFree=30639132/32770624 swapFree=66952652/67108860
[pid=14943] ppid=14940 vsize=938948 memory=543528 CPUtime=8.94 cores=0-7
/proc/14943/stat : 14943 (cosoco) S 14940 14943 13237 0 -1 1077944320 163416 0 0 0 848 46 0 0 20 0 9 0 436821596 961482752 135882 33554432000 4194304 6211092 140736972808016 140736972806272 139638121656055 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 35299328 140736972813329 140736972813421 140736972813421 140736972816334 0
/proc/14943/statm: 234737 135882 870 493 0 228042 0
[pid=14943/tid=14945] ppid=14940 vsize=938948 memory=1764 CPUtime=1.07 cores=0-7
/proc/14943/task/14945/stat : 14945 (cosoco) D 14940 14943 13237 0 -1 4202560 9284 0 0 0 103 4 0 0 20 0 9 0 436821620 961482752 135882 33554432000 4194304 6211092 140736972808016 139638098512856 139638105611070 0 0 4096 8405026 18446744071582151416 0 0 -1 6 0 0 0 0 0 8312316 8317760 35299328 140736972813329 140736972813421 140736972813421 140736972816334 0
[pid=14943/tid=14946] ppid=14940 vsize=938948 memory=111632 CPUtime=1.07 cores=0-7
/proc/14943/task/14946/stat : 14946 (cosoco) D 14940 14943 13237 0 -1 4202560 9280 0 0 0 102 5 0 0 20 0 9 0 436821620 961482752 135882 33554432000 4194304 6211092 140736972808016 139638090120152 5397368 0 0 4096 8405026 18446744071582151416 0 0 -1 0 0 0 0 0 0 8312316 8317760 35299328 140736972813329 140736972813421 140736972813421 140736972816334 0
[pid=14943/tid=14947] ppid=14940 vsize=938948 memory=2241 CPUtime=1.08 cores=0-7
/proc/14943/task/14947/stat : 14947 (cosoco) D 14940 14943 13237 0 -1 4202560 10262 0 0 0 101 7 0 0 20 0 9 0 436821620 961482752 135882 33554432000 4194304 6211092 140736972808016 139638081727448 5389819 0 0 4096 8405026 18446744071582151416 0 0 -1 4 0 0 0 0 0 8312316 8317760 35299328 140736972813329 140736972813421 140736972813421 140736972816334 0
[pid=14943/tid=14948] ppid=14940 vsize=938948 memory=281030984890336 CPUtime=1.09 cores=0-7
/proc/14943/task/14948/stat : 14948 (cosoco) D 14940 14943 13237 0 -1 4202560 11188 0 0 0 106 3 0 0 20 0 9 0 436821620 961482752 135882 33554432000 4194304 6211092 140736972808016 139638073334744 5397368 0 0 4096 8405026 18446744071582151416 0 0 -1 5 0 0 0 0 0 8312316 8317760 35299328 140736972813329 140736972813421 140736972813421 140736972816334 0
[pid=14943/tid=14949] ppid=14940 vsize=938948 memory=3472468811719859776 CPUtime=1.09 cores=0-7
/proc/14943/task/14949/stat : 14949 (cosoco) D 14940 14943 13237 0 -1 4202560 11116 0 0 0 107 2 0 0 20 0 9 0 436821620 961482752 135882 33554432000 4194304 6211092 140736972808016 139638064942040 5017274 0 0 4096 8405026 18446744071582151416 0 0 -1 3 0 0 0 0 0 8312316 8317760 35299328 140736972813329 140736972813421 140736972813421 140736972816334 0
[pid=14943/tid=14950] ppid=14940 vsize=938948 memory=6944656592387989600 CPUtime=1.08 cores=0-7
/proc/14943/task/14950/stat : 14950 (cosoco) D 14940 14943 13237 0 -1 4202560 9914 0 0 0 101 7 0 0 20 0 9 0 436821620 961482752 135882 33554432000 4194304 6211092 140736972808016 139638056549336 5397368 0 0 4096 8405026 18446744071582151416 0 0 -1 2 0 0 0 0 0 8312316 8317760 35299328 140736972813329 140736972813421 140736972813421 140736972816334 0
[pid=14943/tid=14951] ppid=14940 vsize=938948 memory=0 CPUtime=1.09 cores=0-7
/proc/14943/task/14951/stat : 14951 (cosoco) D 14940 14943 13237 0 -1 4202560 9796 0 0 0 106 3 0 0 20 0 9 0 436821620 961482752 135882 33554432000 4194304 6211092 140736972808016 139638048156632 5397368 0 0 4096 8405026 18446744071582151416 0 0 -1 1 0 0 0 0 0 8312316 8317760 35299328 140736972813329 140736972813421 140736972813421 140736972816334 0
[pid=14943/tid=14952] ppid=14940 vsize=938948 memory=0 CPUtime=1.07 cores=0-7
/proc/14943/task/14952/stat : 14952 (cosoco) R 14940 14943 13237 0 -1 4202560 10929 0 0 0 104 3 0 0 20 0 9 0 436821620 961482752 135882 33554432000 4194304 6211092 140736972808016 139638039763928 139638106091095 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 35299328 140736972813329 140736972813421 140736972813421 140736972816334 0
Current children cumulated CPU time: 8.94 s
Current children cumulated vsize: 938948 KiB
Current children cumulated memory: 543528 KiB
[startup+2.63209 s]
# the end of solver process 14943 was just reported to runsolver
# cumulated CPU time of all completed processes: user=15.4234 s, system=1.13865 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60355 s]
/proc/loadavg: 1.00 1.63 4.12 8/201 14952
/proc/meminfo: memFree=30639132/32770624 swapFree=66952652/67108860
[pid=14943] ppid=14940 vsize=938948 memory=549996 CPUtime=9.75 cores=0-7
/proc/14943/stat : 14943 (cosoco) S 14940 14943 13237 0 -1 1077944320 172172 0 0 0 924 51 0 0 20 0 9 0 436821596 961482752 137499 33554432000 4194304 6211092 140736972808016 140736972806272 139638121656055 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 35299328 140736972813329 140736972813421 140736972813421 140736972816334 0
/proc/14943/statm: 234737 137499 870 493 0 228042 0
[pid=14943/tid=14945] ppid=14940 vsize=938948 memory=0 CPUtime=1.16 cores=0-7
/proc/14943/task/14945/stat : 14945 (cosoco) R 14940 14943 13237 0 -1 4202560 9982 0 0 0 112 4 0 0 20 0 9 0 436821620 961482752 137499 33554432000 4194304 6211092 140736972808016 139638098512856 5017664 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 35299328 140736972813329 140736972813421 140736972813421 140736972816334 0
[pid=14943/tid=14946] ppid=14940 vsize=938948 memory=0 CPUtime=1.17 cores=0-7
/proc/14943/task/14946/stat : 14946 (cosoco) D 14940 14943 13237 0 -1 4202560 9953 0 0 0 112 5 0 0 20 0 9 0 436821620 961482752 137499 33554432000 4194304 6211092 140736972808016 139638090120152 139638105611070 0 0 4096 8405026 18446744071582151416 0 0 -1 0 0 0 0 0 0 8312316 8317760 35299328 140736972813329 140736972813421 140736972813421 140736972816334 0
[pid=14943/tid=14947] ppid=14940 vsize=938948 memory=0 CPUtime=1.18 cores=0-7
/proc/14943/task/14947/stat : 14947 (cosoco) D 14940 14943 13237 0 -1 4202560 11844 0 0 0 110 8 0 0 20 0 9 0 436821620 961482752 137499 33554432000 4194304 6211092 140736972808016 139638081727448 5017274 0 0 4096 8405026 18446744071582151416 0 0 -1 4 0 0 0 0 0 8312316 8317760 35299328 140736972813329 140736972813421 140736972813421 140736972816334 0
[pid=14943/tid=14948] ppid=14940 vsize=938948 memory=4881 CPUtime=1.19 cores=0-7
/proc/14943/task/14948/stat : 14948 (cosoco) D 14940 14943 13237 0 -1 4202560 12375 0 0 0 116 3 0 0 20 0 9 0 436821620 961482752 137499 33554432000 4194304 6211092 140736972808016 139638073334648 139638105611070 0 0 4096 8405026 18446744071582151416 0 0 -1 5 0 0 0 0 0 8312316 8317760 35299328 140736972813329 140736972813421 140736972813421 140736972816334 0
[pid=14943/tid=14949] ppid=14940 vsize=938948 memory=1947205 CPUtime=1.2 cores=0-7
/proc/14943/task/14949/stat : 14949 (cosoco) D 14940 14943 13237 0 -1 4202560 12423 0 0 0 117 3 0 0 20 0 9 0 436821620 961482752 137499 33554432000 4194304 6211092 140736972808016 139638064942040 5397368 0 0 4096 8405026 18446744071582151416 0 0 -1 3 0 0 0 0 0 8312316 8317760 35299328 140736972813329 140736972813421 140736972813421 140736972816334 0
[pid=14943/tid=14950] ppid=14940 vsize=938948 memory=1953458 CPUtime=1.17 cores=0-7
/proc/14943/task/14950/stat : 14950 (cosoco) D 14940 14943 13237 0 -1 4202560 11413 0 0 0 109 8 0 0 20 0 9 0 436821620 961482752 137499 33554432000 4194304 6211092 140736972808016 139638056549336 5397368 0 0 4096 8405026 18446744071582151416 0 0 -1 2 0 0 0 0 0 8312316 8317760 35299328 140736972813329 140736972813421 140736972813421 140736972816334 0
[pid=14943/tid=14951] ppid=14940 vsize=938948 memory=0 CPUtime=1.19 cores=0-7
/proc/14943/task/14951/stat : 14951 (cosoco) R 14940 14943 13237 0 -1 4202560 10354 0 0 0 116 3 0 0 20 0 9 0 436821620 961482752 137499 33554432000 4194304 6211092 140736972808016 139638048156632 5017600 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 35299328 140736972813329 140736972813421 140736972813421 140736972816334 0
[pid=14943/tid=14952] ppid=14940 vsize=938948 memory=0 CPUtime=1.17 cores=0-7
/proc/14943/task/14952/stat : 14952 (cosoco) R 14940 14943 13237 0 -1 4202560 12181 0 0 0 114 3 0 0 20 0 9 0 436821620 961482752 137499 33554432000 4194304 6211092 140736972808016 139638039763928 139638106091095 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 35299328 140736972813329 140736972813421 140736972813421 140736972816334 0
Current children cumulated CPU time: 9.75 s
Current children cumulated vsize: 938948 KiB
Current children cumulated memory: 549996 KiB
[startup+2.40102 s]
/proc/loadavg: 1.00 1.63 4.12 5/201 14952
/proc/meminfo: memFree=29999312/32770624 swapFree=66952652/67108860
[pid=14943] ppid=14940 vsize=1463268 memory=1114252 CPUtime=15.23 cores=0-7
/proc/14943/stat : 14943 (cosoco) S 14940 14943 13237 0 -1 1077944320 281682 0 0 0 1425 98 0 0 20 0 9 0 436821596 1498386432 278563 33554432000 4194304 6211092 140736972808016 140736972806272 139638121656055 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 35299328 140736972813329 140736972813421 140736972813421 140736972816334 0
/proc/14943/statm: 365817 278563 876 493 0 359122 0
[pid=14943/tid=14945] ppid=14940 vsize=1463268 memory=-7384870274524016012 CPUtime=1.85 cores=0-7
/proc/14943/task/14945/stat : 14945 (cosoco) D 14940 14943 13237 0 -1 4202560 27841 0 0 0 171 14 0 0 20 0 9 0 436821620 1498386432 278563 33554432000 4194304 6211092 140736972808016 139638098513088 139638105615333 0 0 4096 8405026 18446744071582151416 0 0 -1 6 0 0 0 0 0 8312316 8317760 35299328 140736972813329 140736972813421 140736972813421 140736972816334 0
[pid=14943/tid=14946] ppid=14940 vsize=1463268 memory=-6079413513306267537 CPUtime=1.81 cores=0-7
/proc/14943/task/14946/stat : 14946 (cosoco) R 14940 14943 13237 0 -1 4202560 19540 0 0 0 168 13 0 0 20 0 9 0 436821620 1498386432 278563 33554432000 4194304 6211092 140736972808016 139638090120416 5079440 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 35299328 140736972813329 140736972813421 140736972813421 140736972816334 0
[pid=14943/tid=14947] ppid=14940 vsize=1463268 memory=0 CPUtime=1.85 cores=0-7
/proc/14943/task/14947/stat : 14947 (cosoco) D 14940 14943 13237 0 -1 4202560 29860 0 0 0 168 17 0 0 20 0 9 0 436821620 1498386432 278563 33554432000 4194304 6211092 140736972808016 139638081727456 139638105615333 0 0 4096 8405026 18446744071582151416 0 0 -1 0 0 0 0 0 0 8312316 8317760 35299328 140736972813329 140736972813421 140736972813421 140736972816334 0
[pid=14943/tid=14948] ppid=14940 vsize=1463268 memory=3539890000222237490 CPUtime=1.89 cores=0-7
/proc/14943/task/14948/stat : 14948 (cosoco) R 14940 14943 13237 0 -1 4202560 28998 0 0 0 183 6 0 0 20 0 9 0 436821620 1498386432 278563 33554432000 4194304 6211092 140736972808016 139638073334992 139638105615333 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 35299328 140736972813329 140736972813421 140736972813421 140736972816334 0
[pid=14943/tid=14949] ppid=14940 vsize=1463268 memory=3617009664189871872 CPUtime=1.9 cores=0-7
/proc/14943/task/14949/stat : 14949 (cosoco) D 14940 14943 13237 0 -1 4202560 20783 0 0 0 184 6 0 0 20 0 9 0 436821620 1498386432 278563 33554432000 4194304 6211092 140736972808016 139638064942048 139638105615333 0 0 4096 8405026 18446744071582151416 0 0 -1 3 0 0 0 0 0 8312316 8317760 35299328 140736972813329 140736972813421 140736972813421 140736972816334 0
[pid=14943/tid=14950] ppid=14940 vsize=1463268 memory=3472468810911743451 CPUtime=1.85 cores=0-7
/proc/14943/task/14950/stat : 14950 (cosoco) R 14940 14943 13237 0 -1 4202560 19458 0 0 0 170 15 0 0 20 0 9 0 436821620 1498386432 278563 33554432000 4194304 6211092 140736972808016 139638056549600 5389823 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 35299328 140736972813329 140736972813421 140736972813421 140736972816334 0
[pid=14943/tid=14951] ppid=14940 vsize=1463268 memory=1947165 CPUtime=1.9 cores=0-7
/proc/14943/task/14951/stat : 14951 (cosoco) D 14940 14943 13237 0 -1 4202560 25252 0 0 0 184 6 0 0 20 0 9 0 436821620 1498386432 278563 33554432000 4194304 6211092 140736972808016 139638048156504 139638106091095 0 0 4096 8405026 18446744071582151463 0 0 -1 1 0 0 0 0 0 8312316 8317760 35299328 140736972813329 140736972813421 140736972813421 140736972816334 0
[pid=14943/tid=14952] ppid=14940 vsize=1463268 memory=1948351 CPUtime=1.87 cores=0-7
/proc/14943/task/14952/stat : 14952 (cosoco) D 14940 14943 13237 0 -1 4202560 28304 0 0 0 178 9 0 0 20 0 9 0 436821620 1498386432 278563 33554432000 4194304 6211092 140736972808016 139638039764288 139638105615333 0 0 4096 8405026 18446744071582151416 0 0 -1 5 0 0 0 0 0 8312316 8317760 35299328 140736972813329 140736972813421 140736972813421 140736972816334 0
Current children cumulated CPU time: 15.23 s
Current children cumulated vsize: 1463268 KiB
Current children cumulated memory: 1114252 KiB
[startup+2.6006 s]*
/proc/loadavg: 1.40 1.70 4.13 2/192 14952
/proc/meminfo: memFree=30546312/32770624 swapFree=66952652/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 2.63215
CPU time (s): 16.562
CPU user time (s): 15.4234
CPU system time (s): 1.13865
CPU usage (%): 629.221
Max. virtual memory (cumulated for all children) (KiB): 1463268
Max. memory (cumulated for all children) (KiB): 1116628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.4234
system time used= 1.13865
maximum resident set size= 1136364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 307062
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= 36994
involuntary context switches= 45
# summary of solver processes directly reported to runsolver:
# pid: 14943
# total CPU time (s): 16.562
# total CPU user time (s): 15.4234
# total CPU system time (s): 1.13865
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.044393 second user time and 0.057569 second system time
The end
Begin job on node127 at 2019-09-16 05:44:47 IDJOB=4398069 IDBENCH=130846 IDSOLVER=2851 FILE ID=node127/4398069-1568605527 RUNJOBID= node127-1568598290-13264 PBS_JOBID= 21703425 Free space on /tmp= 61312 MiB SOLVER NAME= cosoco 2.O parallel BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si6-m4D/Subisomorphism-si6-m4Dr2-m1296-05.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398069-1568605527/watcher-4398069-1568605527 -o /tmp/evaluation-result-4398069-1568605527/solver-4398069-1568605527 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1568598290-13264 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398069-1568605527.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 3130b580259b5cb9fe6f555a4358f6cc RANDOM SEED=384032839 node127.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.55 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm 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 : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm 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: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31102720 kB MemAvailable: 31832356 kB Buffers: 45048 kB Cached: 970804 kB SwapCached: 51316 kB Active: 391356 kB Inactive: 679204 kB Active(anon): 13496 kB Inactive(anon): 90388 kB Active(file): 377860 kB Inactive(file): 588816 kB Unevictable: 110920 kB Mlocked: 110920 kB SwapTotal: 67108860 kB SwapFree: 66952652 kB Dirty: 2752 kB Writeback: 0 kB AnonPages: 115264 kB Mapped: 45640 kB Shmem: 40556 kB Slab: 187532 kB SReclaimable: 157592 kB SUnreclaim: 29940 kB KernelStack: 3424 kB PageTables: 5576 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506804 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 138624 kB DirectMap2M: 33406976 kB Free space on /tmp at the end= 61308 MiB End job on node127 at 2019-09-16 05:44:50