| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| scop order+glucose-syrup (2018-07-07) | SAT | 1622.4 | 207.852 |
| Name | Frb/ frb-50-23-1-mgd_c18.xml |
| MD5SUM | 89c27d49b20a714b89297264b4c82bd7 |
| 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 | 818.264 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 50 |
| Number of constraints | 430 |
| Number of domains | 1 |
| Minimum domain size | 23 |
| Maximum domain size | 23 |
| Distribution of domain sizes | [{"size":23,"count":50}] |
| Minimum variable degree | 11 |
| Maximum variable degree | 24 |
| Distribution of variable degrees | [{"degree":11,"count":2},{"degree":12,"count":1},{"degree":13,"count":6},{"degree":14,"count":1},{"degree":15,"count":7},{"degree":16,"count":2},{"degree":17,"count":8},{"degree":18,"count":5},{"degree":19,"count":7},{"degree":20,"count":4},{"degree":21,"count":1},{"degree":22,"count":3},{"degree":23,"count":1},{"degree":24,"count":2}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 2 |
| Distribution of constraint arities | [{"arity":2,"count":430}] |
| Number of extensional constraints | 430 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":430}] |
| Optimization problem | NO |
| Type of objective |
0.66/0.52 0.66/0.53 scop order+glucose-syrup (2018-07-07) 0.66/0.53 0.66/0.55 c BEGIN-Prog: Fri Jul 27 10:06:04 CEST 2018 0.66/0.55 c PID: 12047 0.66/0.55 c IP: 172.20.3.133 0.66/0.55 c HOST: node133.alineos.net 0.66/0.56 c (0,0) Parsing Begin 2.98/1.20 c (0,0) Parsing End 2.98/1.20 c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 430 ctr, max domain size 23 2.98/1.20 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB) 2.98/1.21 c (0,0) Constraint Name Generate Begin 2.98/1.21 c (0,0) Ctr:HOME/instance-4297049-1532678763.xml,ExtensionConflict:ExtensionSupport:IntVar 2.98/1.21 c (0,0) Constraint Name Generate End 2.98/1.21 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 2.98/1.22 c (0,0) CSP to CSPinCNF Begin 6.27/2.11 c (1,1) translated 43 (10%) constraints 7.04/2.39 c (1,1) translated 86 (20%) constraints 8.26/2.69 c (2,2) translated 129 (30%) constraints 9.46/2.96 c (2,2) translated 172 (40%) constraints 10.30/3.20 c (2,2) translated 215 (50%) constraints 11.48/3.44 c (2,2) translated 258 (60%) constraints 12.29/3.66 c (3,3) translated 301 (70%) constraints 13.07/3.99 c (3,3) translated 344 (80%) constraints 13.73/4.16 c (3,3) translated 387 (90%) constraints 14.12/4.32 c (3,3) translated 430 (100%) constraints 14.78/4.59 c (4,3) STATISTICS1:HOME/instance-4297049-1532678763.xml,ExtensionConflict:ExtensionSupport:IntVar,303,48307,-1,23,24,1,,23:181737;2:3361,24:11;4:40613;3:7027;2:656,1:185098;0:11, 14.78/4.59 c (4,3) =========================================== 14.78/4.59 c (4,3) Order 14.78/4.59 c (4,3) =========================================== 15.28/4.76 c (4,4) translated 4831 (10%) constraints 15.58/4.85 c (4,4) translated 9662 (20%) constraints 15.89/4.94 c (4,4) translated 14493 (30%) constraints 16.02/5.03 c (4,4) translated 19323 (40%) constraints 16.11/5.12 c (4,4) translated 24154 (50%) constraints 16.23/5.20 c (4,4) translated 28985 (60%) constraints 16.23/5.29 c (4,4) translated 33815 (70%) constraints 16.34/5.37 c (4,4) translated 38646 (80%) constraints 16.43/5.46 c (4,4) translated 43477 (90%) constraints 16.54/5.55 c (5,4) translated 48307 (100%) constraints 16.54/5.55 c (5,4) CSP to CSPinCNF End 16.54/5.55 c (5,4) CSP: 50 int (0 aux), 253 bool (253 aux), 48307 ctr, max domain size 23 16.54/5.55 c (5,4) Heap : 2140 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB) 16.54/5.55 c (5,4) CSPinCNF Propagation Begin 17.24/5.89 c (5,5) 0 values, 4701 unsatisfiable literals, and 0 valid clauses are removed 17.24/5.89 c (5,5) CSPinCNF Propagation End 17.24/5.89 c (5,5) CSP: 50 int (0 aux), 253 bool (253 aux), 48307 ctr, max domain size 23 17.24/5.89 c (5,5) Heap : 2365 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB) 17.24/5.89 c (5,5) Simplify CSPinCNF Begin 17.67/6.03 c (5,5) Simplify CSPinCNF End 17.67/6.03 c (5,5) CSP: 50 int (0 aux), 253 bool (253 aux), 48307 ctr, max domain size 23 17.67/6.03 c (5,5) Heap : 2365 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB) 17.67/6.03 c (5,5) Calculate Precise Domain Begin 17.67/6.03 c (5,5) 0 values are removed by re-calculation 17.67/6.03 c (5,5) Calculate Precise Domain End 17.67/6.03 c (5,5) CSP: 50 int (0 aux), 253 bool (253 aux), 48307 ctr, max domain size 23 17.67/6.03 c (5,5) Heap : 2365 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB) 17.67/6.03 c (5,5) CSPinCNF to SatSolver Begin 17.89/6.17 c (5,5) 4831 (10 %) CSP clauses are encoded (1353 SAT variables, 5880 SAT clauses) 18.23/6.22 c (5,5) 9662 (20 %) CSP clauses are encoded (1353 SAT variables, 10711 SAT clauses) 18.23/6.26 c (5,5) 14493 (30 %) CSP clauses are encoded (1353 SAT variables, 15542 SAT clauses) 18.23/6.29 c (5,5) 19323 (40 %) CSP clauses are encoded (1353 SAT variables, 20372 SAT clauses) 18.43/6.33 c (5,5) 24154 (50 %) CSP clauses are encoded (1353 SAT variables, 25203 SAT clauses) 18.43/6.37 c (5,5) 28985 (60 %) CSP clauses are encoded (1353 SAT variables, 30034 SAT clauses) 18.54/6.40 c (5,5) 33815 (70 %) CSP clauses are encoded (1353 SAT variables, 34864 SAT clauses) 18.54/6.44 c (5,5) 38646 (80 %) CSP clauses are encoded (1353 SAT variables, 39695 SAT clauses) 18.54/6.47 c (5,5) 43477 (90 %) CSP clauses are encoded (1353 SAT variables, 44526 SAT clauses) 18.65/6.51 c (5,5) 48307 (100 %) CSP clauses are encoded (1353 SAT variables, 49356 SAT clauses) 18.65/6.51 c (5,5) CSPinCNF to SatSolver End 18.65/6.51 c (5,5) Heap : 2703 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB) 19.06/6.71 c (6,6) STATISTICS2:HOME/instance-4297049-1532678763.xml,ExtensionConflict:ExtensionSupport:IntVar,303,48307,-1,23,23,1,,23:177047;2:3361,23:11;4:36284;3:10995;2:1017,1:180408, 19.06/6.71 c (6,6) SatSolver.solve Begin 19.06/6.71 c (6,6) 1353 bool, 49357 clause 19.06/6.71 c (6,6) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4297049-1532678763.xml-scop-12047.cnf HOME/instance-4297049-1532678763.xml-scop-12047.cnf.out 94.87/16.36 c (15,0) c 94.87/16.36 c (15,0) c This is glucose-syrup 4.1 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 94.87/16.36 c (15,0) c 94.87/16.36 c (15,0) c WARNING: for repeatability, setting FPU to use double precision 94.87/16.36 c (15,0) c 8 solvers engines and 1 companion as a blackboard created. 94.87/16.36 c (15,0) c ========================================[ Problem Statistics ]=========================================== 94.87/16.36 c (15,0) c | | 94.87/16.36 c (15,0) c | Number of variables: 1353 | 94.87/16.36 c (15,0) c | Number of clauses: 49357 | 94.87/16.36 c (15,0) c | Parse time: 0.02 s | 94.87/16.36 c (15,0) c | | 94.87/16.36 c (15,0) c | Simplification time: 0.05 s | 94.87/16.36 c (15,0) c | | 94.87/16.36 c (15,0) c | Generating clones | 94.87/16.36 c (15,0) c | all clones generated. Memory = 46.83Mb. | 94.87/16.36 c (15,0) c ========================================================================================================| 94.87/16.36 c (15,0) c 94.87/16.36 c (15,0) c |-------------------------------------------------------------------------------------------------------| 94.87/16.36 c (15,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 94.87/16.36 c (15,0) c |-------------------------------------------------------------------------------------------------------| 94.87/16.36 c (15,0) c | 0 | 16 | 82422 | 63030 | 35902 | 24492 | 11446 | 72901 | 1524 | 0.002 | 94.87/16.36 c (15,0) c | 1 | 53 | 85348 | 65056 | 38119 | 26518 | 11351 | 78427 | 1579 | 0.000 | 94.87/16.36 c (15,0) c | 2 | 34 | 85854 | 65802 | 38627 | 27270 | 11654 | 78289 | 1052 | 0.000 | 94.87/16.36 c (15,0) c | 3 | 79 | 85821 | 64492 | 38647 | 25959 | 11316 | 77867 | 1322 | 0.000 | 94.87/16.37 c (15,0) c | 4 | 44 | 82094 | 62390 | 37442 | 23851 | 11098 | 75904 | 1041 | 0.000 | 94.87/16.37 c (15,0) c | 5 | 53 | 87394 | 66439 | 39643 | 27899 | 11589 | 78678 | 1312 | 0.001 | 94.87/16.37 c (15,0) c | 6 | 30 | 86909 | 66007 | 37908 | 27474 | 11884 | 65158 | 1307 | 0.001 | 94.87/16.37 c (15,0) c | 7 | 50 | 85318 | 64617 | 39355 | 26078 | 11020 | 71463 | 1280 | 0.001 | 94.87/16.37 c (15,0) c 94.87/16.37 c (15,0) c synthesis 517834 conflicts 85742110 propagations 14383 conflicts/sec 2381582 propagations/sec 94.87/16.37 c (15,0) c Total Memory so far : 625.50Mb 94.87/16.37 c (15,0) c 94.87/16.37 c (15,0) c Try to adapt solver strategies 94.87/16.37 c (15,0) c 94.87/16.37 c (15,0) c Nothing extreme in this problem, continue with glucose default strategies. 94.87/16.37 c (15,0) c 94.87/16.37 c (15,0) c 94.87/16.37 c (15,0) c Try to adapt solver strategies 94.87/16.37 c (15,0) c 94.87/16.37 c (15,0) c Nothing extreme in this problem, continue with glucose default strategies. 94.87/16.37 c (15,0) c 94.87/16.37 c (15,0) c 94.87/16.37 c (15,0) c Try to adapt solver strategies 94.87/16.37 c (15,0) c 94.87/16.37 c (15,0) c Nothing extreme in this problem, continue with glucose default strategies. 94.87/16.37 c (15,0) c 94.87/16.37 c (15,0) c 94.87/16.37 c (15,0) c Try to adapt solver strategies 94.87/16.37 c (15,0) c 94.87/16.37 c (15,0) c Nothing extreme in this problem, continue with glucose default strategies. 94.87/16.37 c (15,0) c 94.87/16.37 c (15,0) c 94.87/16.37 c (15,0) c |-------------------------------------------------------------------------------------------------------| 94.87/16.37 c (15,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 94.87/16.37 c (15,0) c |-------------------------------------------------------------------------------------------------------| 94.87/16.37 c (15,0) c | 0 | 133 | 147661 | 112340 | 41329 | 20964 | 17551 | 128504 | 3541 | 0.000 | 94.87/16.37 c (15,0) c | 1 | 72 | 144784 | 113101 | 40653 | 21727 | 18160 | 125403 | 2730 | 0.003 | 94.87/16.37 c (15,0) c | 2 | 49 | 154153 | 118681 | 42469 | 27306 | 18807 | 127826 | 3049 | 0.002 | 94.87/16.37 c (15,0) c | 3 | 121 | 160619 | 121694 | 43475 | 30311 | 19773 | 122539 | 3395 | 0.002 | 94.87/16.37 c (15,0) c | 4 | 75 | 139281 | 107269 | 40475 | 36093 | 16998 | 126222 | 2927 | 0.001 | 214.52/31.36 c (30,0) c | 5 | 101 | 155902 | 120315 | 41773 | 28938 | 18435 | 127579 | 2838 | 0.001 | 214.52/31.36 c (30,0) c | 6 | 111 | 154622 | 116926 | 42362 | 25546 | 18387 | 128215 | 3336 | 0.001 | 214.52/31.36 c (30,0) c | 7 | 65 | 154661 | 118871 | 42680 | 27498 | 18537 | 128078 | 2982 | 0.001 | 214.52/31.36 c (30,0) c 214.52/31.36 c (30,0) c synthesis 929198 conflicts 155518388 propagations 12258 conflicts/sec 2051657 propagations/sec 214.52/31.36 c (30,0) c Total Memory so far : 632.75Mb 214.52/31.36 c (30,0) c 214.52/31.36 c (30,0) c |-------------------------------------------------------------------------------------------------------| 214.52/31.36 c (30,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 214.52/31.36 c (30,0) c |-------------------------------------------------------------------------------------------------------| 214.52/31.36 c (30,0) c | 0 | 174 | 209548 | 160625 | 43227 | 46447 | 24162 | 169106 | 5396 | 0.000 | 214.52/31.36 c (30,0) c | 1 | 93 | 201029 | 157971 | 42589 | 43787 | 24252 | 169796 | 4618 | 0.003 | 214.52/31.36 c (30,0) c | 2 | 75 | 218585 | 169059 | 43986 | 29486 | 25501 | 167918 | 4760 | 0.000 | 214.52/31.36 c (30,0) c | 3 | 148 | 215329 | 164568 | 44185 | 50387 | 25541 | 165899 | 4883 | 0.001 | 214.52/31.36 c (30,0) c | 4 | 135 | 195805 | 150979 | 42683 | 36789 | 22220 | 172168 | 4842 | 0.001 | 214.52/31.36 c (30,0) c | 5 | 113 | 212712 | 165000 | 43400 | 50827 | 24169 | 160300 | 4631 | 0.001 | 214.52/31.36 c (30,0) c | 6 | 208 | 221183 | 166535 | 44229 | 26946 | 24746 | 168259 | 5223 | 0.001 | 214.52/31.36 c (30,0) c | 7 | 122 | 213129 | 164434 | 43535 | 50259 | 23802 | 169706 | 4651 | 0.001 | 214.52/31.37 c (30,0) c 214.52/31.37 c (30,0) c synthesis 1299172 conflicts 217817826 propagations 11237 conflicts/sec 1883980 propagations/sec 214.52/31.37 c (30,0) c Total Memory so far : 639.26Mb 214.52/31.37 c (30,0) c 214.52/31.37 c (30,0) c |-------------------------------------------------------------------------------------------------------| 214.52/31.37 c (30,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 214.52/31.37 c (30,0) c |-------------------------------------------------------------------------------------------------------| 214.52/31.37 c (30,0) c | 0 | 203 | 269831 | 208096 | 43940 | 40514 | 30242 | 212471 | 6823 | 0.001 | 214.52/31.37 c (30,0) c | 1 | 111 | 253963 | 200030 | 44119 | 32444 | 30292 | 211298 | 6428 | 0.001 | 214.52/31.37 c (30,0) c | 2 | 121 | 277463 | 215204 | 45062 | 47620 | 31551 | 211075 | 6712 | 0.000 | 214.52/31.37 c (30,0) c | 3 | 169 | 270300 | 207766 | 45021 | 40189 | 31257 | 212326 | 6665 | 0.001 | 214.52/31.37 c (30,0) c | 4 | 172 | 250435 | 193514 | 44563 | 53918 | 28787 | 205247 | 7097 | 0.003 | 214.52/31.37 c (30,0) c | 5 | 169 | 276069 | 213546 | 45036 | 45971 | 30174 | 213631 | 7330 | 0.000 | 214.52/31.37 c (30,0) c | 6 | 236 | 277197 | 211161 | 45162 | 43571 | 31414 | 212487 | 7164 | 0.001 | 214.52/31.37 c (30,0) c | 7 | 156 | 267827 | 207872 | 44021 | 40296 | 30187 | 213223 | 6008 | 0.001 | 214.52/31.37 c (30,0) c 214.52/31.37 c (30,0) c synthesis 1657189 conflicts 277433632 propagations 10661 conflicts/sec 1784861 propagations/sec 214.52/31.37 c (30,0) c Total Memory so far : 644.70Mb 214.52/31.37 c (30,0) c 214.52/31.37 c (30,0) c |-------------------------------------------------------------------------------------------------------| 214.52/31.37 c (30,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 214.52/31.37 c (30,0) c |-------------------------------------------------------------------------------------------------------| 214.52/31.37 c (30,0) c | 0 | 270 | 327467 | 252833 | 45299 | 54647 | 35824 | 244548 | 8768 | 0.000 | 214.52/31.37 c (30,0) c | 1 | 118 | 300198 | 237775 | 44510 | 39586 | 34046 | 242626 | 7816 | 0.000 | 214.52/31.37 c (30,0) c | 2 | 139 | 329185 | 256262 | 45747 | 58076 | 37292 | 242189 | 8505 | 0.002 | 214.52/31.37 c (30,0) c | 3 | 234 | 323017 | 248696 | 45790 | 50516 | 35949 | 239669 | 8213 | 0.000 | 214.52/31.37 c (30,0) c | 4 | 219 | 293775 | 228305 | 44889 | 60715 | 32030 | 243579 | 8453 | 0.003 | 318.24/44.36 c (43,0) c | 5 | 212 | 327131 | 253799 | 45615 | 55618 | 34319 | 245810 | 8515 | 0.000 | 318.24/44.36 c (43,0) c | 6 | 261 | 332208 | 254299 | 45697 | 56114 | 36788 | 240459 | 9051 | 0.000 | 318.24/44.36 c (43,0) c | 7 | 212 | 315559 | 245875 | 44249 | 47697 | 34278 | 240309 | 7128 | 0.001 | 318.24/44.36 c (43,0) c 318.24/44.36 c (43,0) c synthesis 1977844 conflicts 331250134 propagations 10127 conflicts/sec 1696093 propagations/sec 318.24/44.36 c (43,0) c Total Memory so far : 649.46Mb 318.24/44.36 c (43,0) c 318.24/44.36 c (43,0) c |-------------------------------------------------------------------------------------------------------| 318.24/44.36 c (43,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 318.24/44.36 c (43,0) c |-------------------------------------------------------------------------------------------------------| 318.24/44.36 c (43,0) c | 0 | 301 | 370118 | 286167 | 45891 | 54781 | 39903 | 265364 | 10777 | 0.000 | 318.24/44.36 c (43,0) c | 1 | 135 | 339080 | 268637 | 45254 | 37250 | 37428 | 270759 | 9595 | 0.001 | 318.24/44.36 c (43,0) c | 2 | 153 | 369710 | 287867 | 46278 | 56479 | 40825 | 263391 | 10287 | 0.001 | 318.24/44.36 c (43,0) c | 3 | 267 | 362939 | 280266 | 46077 | 48888 | 39655 | 268712 | 9325 | 0.001 | 318.24/44.36 c (43,0) c | 4 | 227 | 326225 | 254864 | 45139 | 56676 | 35241 | 272525 | 9232 | 0.000 | 318.24/44.36 c (43,0) c | 5 | 273 | 367206 | 285436 | 45895 | 54062 | 37426 | 270042 | 9542 | 0.000 | 318.24/44.36 c (43,0) c | 6 | 290 | 373306 | 286639 | 46015 | 55257 | 40223 | 265818 | 9903 | 0.001 | 318.24/44.36 c (43,0) c | 7 | 232 | 351662 | 275053 | 44380 | 43670 | 37900 | 269838 | 8081 | 0.001 | 318.24/44.36 c (43,0) c 318.24/44.36 c (43,0) c synthesis 2224929 conflicts 372509406 propagations 9793 conflicts/sec 1639627 propagations/sec 318.24/44.37 c (43,0) c Total Memory so far : 652.42Mb 318.24/44.37 c (43,0) c 318.24/44.37 c (43,0) c |-------------------------------------------------------------------------------------------------------| 318.24/44.37 c (43,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 318.24/44.37 c (43,0) c |-------------------------------------------------------------------------------------------------------| 318.24/44.37 c (43,0) c | 0 | 314 | 407538 | 316375 | 46200 | 49185 | 43914 | 288329 | 12649 | 0.003 | 318.24/44.37 c (43,0) c | 1 | 157 | 380631 | 300571 | 46166 | 69184 | 40788 | 293461 | 11274 | 0.001 | 318.24/44.37 c (43,0) c | 2 | 212 | 408116 | 317370 | 46564 | 50183 | 43392 | 290475 | 11682 | 0.000 | 318.24/44.37 c (43,0) c | 3 | 291 | 404021 | 312734 | 46419 | 45558 | 43551 | 290129 | 10609 | 0.002 | 318.24/44.37 c (43,0) c | 4 | 248 | 359164 | 281960 | 45313 | 50576 | 38257 | 296559 | 10084 | 0.001 | 318.24/44.37 c (43,0) c | 5 | 294 | 402677 | 313880 | 46116 | 46698 | 40652 | 294160 | 10853 | 0.002 | 318.24/44.37 c (43,0) c | 6 | 306 | 413054 | 318029 | 46318 | 50843 | 43711 | 291428 | 10919 | 0.001 | 318.24/44.37 c (43,0) c | 7 | 244 | 384313 | 301600 | 44507 | 70217 | 40997 | 292595 | 8898 | 0.001 | 318.24/44.37 c (43,0) c 318.24/44.37 c (43,0) c synthesis 2462520 conflicts 412333136 propagations 9504 conflicts/sec 1591467 propagations/sec 318.24/44.37 c (43,0) c Total Memory so far : 655.95Mb 318.24/44.37 c (43,0) c 318.24/44.37 c (43,0) c |-------------------------------------------------------------------------------------------------------| 318.24/44.37 c (43,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 318.24/44.37 c (43,0) c |-------------------------------------------------------------------------------------------------------| 318.24/44.37 c (43,0) c | 0 | 333 | 445431 | 348023 | 46337 | 42436 | 47693 | 315273 | 13922 | 0.003 | 318.24/44.37 c (43,0) c | 1 | 184 | 428462 | 338314 | 46742 | 71134 | 44238 | 318926 | 13014 | 0.002 | 318.24/44.37 c (43,0) c | 2 | 223 | 450564 | 351853 | 46702 | 46271 | 46786 | 310708 | 12837 | 0.002 | 318.24/44.37 c (43,0) c | 3 | 307 | 450736 | 349804 | 46780 | 44220 | 47846 | 313798 | 12389 | 0.000 | 318.24/44.37 c (43,0) c | 4 | 273 | 388715 | 306150 | 45609 | 38965 | 41099 | 315327 | 10918 | 0.000 | 318.24/44.37 c (43,0) c | 5 | 346 | 447693 | 349316 | 46263 | 43732 | 44506 | 319797 | 12362 | 0.002 | 437.89/59.37 c (58,0) c | 6 | 346 | 459649 | 354582 | 46543 | 49005 | 47426 | 316354 | 12415 | 0.001 | 437.89/59.37 c (58,0) c | 7 | 253 | 426564 | 336198 | 44652 | 69019 | 44994 | 309524 | 9885 | 0.001 | 437.89/59.37 c (58,0) c 437.89/59.37 c (58,0) c synthesis 2734240 conflicts 458203467 propagations 9147 conflicts/sec 1532830 propagations/sec 437.89/59.37 c (58,0) c Total Memory so far : 659.55Mb 437.89/59.37 c (58,0) c 437.89/59.37 c (58,0) c |-------------------------------------------------------------------------------------------------------| 437.89/59.37 c (58,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 437.89/59.37 c (58,0) c |-------------------------------------------------------------------------------------------------------| 437.89/59.37 c (58,0) c | 0 | 378 | 486949 | 381844 | 46518 | 76258 | 51159 | 341909 | 15335 | 0.003 | 437.89/59.37 c (58,0) c | 1 | 225 | 475155 | 375233 | 47019 | 69655 | 48206 | 345383 | 14330 | 0.001 | 437.89/59.37 c (58,0) c | 2 | 254 | 493304 | 385703 | 46832 | 80121 | 50897 | 342404 | 14409 | 0.002 | 437.89/59.37 c (58,0) c | 3 | 323 | 493354 | 383860 | 46925 | 78276 | 51447 | 335301 | 13995 | 0.001 | 437.89/59.37 c (58,0) c | 4 | 317 | 425490 | 336187 | 45769 | 69002 | 44379 | 347587 | 12033 | 0.003 | 437.89/59.37 c (58,0) c | 5 | 372 | 492073 | 384709 | 46417 | 79126 | 48367 | 344388 | 13790 | 0.002 | 437.89/59.37 c (58,0) c | 6 | 352 | 501828 | 388442 | 46706 | 41871 | 51175 | 324359 | 13676 | 0.000 | 437.89/59.37 c (58,0) c | 7 | 264 | 466924 | 369385 | 44742 | 63810 | 48188 | 340568 | 10819 | 0.001 | 437.89/59.37 c (58,0) c 437.89/59.37 c (58,0) c synthesis 3005365 conflicts 504396055 propagations 8871 conflicts/sec 1488830 propagations/sec 437.89/59.37 c (58,0) c Total Memory so far : 663.22Mb 437.89/59.37 c (58,0) c 437.89/59.37 c (58,0) c |-------------------------------------------------------------------------------------------------------| 437.89/59.38 c (58,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 437.89/59.38 c (58,0) c |-------------------------------------------------------------------------------------------------------| 437.89/59.38 c (58,0) c | 0 | 392 | 525938 | 413353 | 46646 | 66767 | 54946 | 366806 | 16987 | 0.003 | 437.89/59.38 c (58,0) c | 1 | 323 | 518623 | 409133 | 47212 | 62556 | 51740 | 370362 | 15216 | 0.001 | 437.89/59.38 c (58,0) c | 2 | 301 | 534149 | 418001 | 46980 | 71418 | 54854 | 358366 | 16177 | 0.000 | 437.89/59.38 c (58,0) c | 3 | 324 | 524735 | 409150 | 47137 | 62560 | 55655 | 343853 | 15236 | 0.002 | 437.89/59.38 c (58,0) c | 4 | 351 | 463288 | 366486 | 46076 | 60898 | 47811 | 374319 | 13288 | 0.000 | 437.89/59.38 c (58,0) c | 5 | 432 | 534618 | 418097 | 46510 | 71511 | 51432 | 369945 | 15154 | 0.001 | 437.89/59.38 c (58,0) c | 6 | 356 | 534517 | 414638 | 46857 | 68066 | 54225 | 362039 | 14866 | 0.000 | 437.89/59.38 c (58,0) c | 7 | 274 | 503151 | 399288 | 44823 | 52712 | 51524 | 370465 | 11595 | 0.001 | 437.89/59.38 c (58,0) c 437.89/59.38 c (58,0) c synthesis 3248147 conflicts 545706343 propagations 8578 conflicts/sec 1441224 propagations/sec 437.89/59.38 c (58,0) c Total Memory so far : 665.77Mb 437.89/59.38 c (58,0) c 437.89/59.38 c (58,0) c |-------------------------------------------------------------------------------------------------------| 437.89/59.38 c (58,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 437.89/59.38 c (58,0) c |-------------------------------------------------------------------------------------------------------| 437.89/59.38 c (58,0) c | 0 | 406 | 554624 | 437208 | 46704 | 47021 | 57842 | 390182 | 17861 | 0.003 | 437.89/59.38 c (58,0) c | 1 | 355 | 562672 | 443844 | 47398 | 53667 | 56046 | 388765 | 16501 | 0.000 | 437.89/59.38 c (58,0) c | 2 | 303 | 567642 | 445808 | 47099 | 55627 | 58286 | 368655 | 17194 | 0.000 | 437.89/59.38 c (58,0) c | 3 | 326 | 561438 | 438250 | 47296 | 48059 | 60544 | 389106 | 16814 | 0.004 | 437.89/59.38 c (58,0) c | 4 | 370 | 506245 | 400083 | 46529 | 53499 | 51773 | 397781 | 14837 | 0.002 | 437.89/59.38 c (58,0) c | 5 | 480 | 574277 | 449760 | 46592 | 59577 | 53998 | 394604 | 16224 | 0.002 | 437.89/59.38 c (58,0) c | 6 | 356 | 551216 | 428483 | 46920 | 81912 | 56074 | 362039 | 15413 | 0.000 | 541.57/72.36 c (71,0) c | 7 | 319 | 546785 | 433800 | 44941 | 87224 | 55139 | 389222 | 12849 | 0.003 | 541.57/72.36 c (71,0) c 541.57/72.36 c (71,0) c synthesis 3477237 conflicts 583747373 propagations 8308 conflicts/sec 1394739 propagations/sec 541.57/72.36 c (71,0) c Total Memory so far : 668.95Mb 541.57/72.36 c (71,0) c 541.57/72.36 c (71,0) c |-------------------------------------------------------------------------------------------------------| 541.57/72.36 c (71,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 541.57/72.36 c (71,0) c |-------------------------------------------------------------------------------------------------------| 541.57/72.36 c (71,0) c | 0 | 409 | 586190 | 463952 | 46753 | 73765 | 60431 | 415168 | 18663 | 0.003 | 541.57/72.36 c (71,0) c | 1 | 370 | 604862 | 477611 | 47490 | 87434 | 60260 | 408809 | 17723 | 0.000 | 541.57/72.36 c (71,0) c | 2 | 365 | 605021 | 474953 | 47282 | 84772 | 60735 | 417271 | 18956 | 0.003 | 541.57/72.36 c (71,0) c | 3 | 328 | 601273 | 470801 | 47377 | 80610 | 64238 | 389380 | 17851 | 0.002 | 541.57/72.36 c (71,0) c | 4 | 375 | 547457 | 433082 | 46779 | 86498 | 56966 | 419082 | 16607 | 0.003 | 541.57/72.36 c (71,0) c | 5 | 499 | 619606 | 485597 | 47003 | 49216 | 58018 | 419988 | 17886 | 0.001 | 541.57/72.36 c (71,0) c | 6 | 356 | 573081 | 446876 | 46982 | 56696 | 58294 | 362039 | 15959 | 0.000 | 541.57/72.36 c (71,0) c | 7 | 335 | 589073 | 467874 | 45065 | 77693 | 59064 | 418651 | 13771 | 0.001 | 541.57/72.36 c (71,0) c 541.57/72.36 c (71,0) c synthesis 3720746 conflicts 624902769 propagations 8118 conflicts/sec 1363409 propagations/sec 541.57/72.36 c (71,0) c Total Memory so far : 672.25Mb 541.57/72.36 c (71,0) c 541.57/72.36 c (71,0) c |-------------------------------------------------------------------------------------------------------| 541.57/72.36 c (71,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 541.57/72.36 c (71,0) c |-------------------------------------------------------------------------------------------------------| 541.57/72.36 c (71,0) c | 0 | 410 | 610154 | 484679 | 46772 | 48293 | 60733 | 417909 | 19137 | 0.003 | 541.57/72.37 c (71,0) c | 1 | 382 | 640084 | 506045 | 47525 | 69672 | 60845 | 420112 | 18544 | 0.000 | 541.57/72.37 c (71,0) c | 2 | 451 | 636700 | 500030 | 47356 | 63653 | 61083 | 420549 | 20196 | 0.003 | 541.57/72.37 c (71,0) c | 3 | 333 | 630068 | 494086 | 47455 | 57697 | 64547 | 416517 | 18626 | 0.000 | 541.57/72.37 c (71,0) c | 4 | 397 | 575580 | 456098 | 46819 | 65915 | 57353 | 424035 | 17400 | 0.000 | 541.57/72.37 c (71,0) c | 5 | 510 | 656734 | 515248 | 47335 | 78867 | 58753 | 421672 | 19445 | 0.002 | 541.57/72.37 c (71,0) c | 6 | 359 | 601132 | 469525 | 47178 | 79345 | 58738 | 420895 | 16962 | 0.000 | 541.57/72.37 c (71,0) c | 7 | 386 | 619687 | 492139 | 45142 | 55754 | 59587 | 419131 | 14502 | 0.001 | 541.57/72.37 c (71,0) c 541.57/72.37 c (71,0) c synthesis 3917850 conflicts 658752885 propagations 7992 conflicts/sec 1343744 propagations/sec 541.57/72.37 c (71,0) c Total Memory so far : 673.96Mb 541.57/72.37 c (71,0) c 541.57/72.37 c (71,0) c |-------------------------------------------------------------------------------------------------------| 541.57/72.37 c (71,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 541.57/72.37 c (71,0) c |-------------------------------------------------------------------------------------------------------| 541.57/72.37 c (71,0) c | 0 | 410 | 635458 | 506638 | 46802 | 70252 | 62683 | 417909 | 19625 | 0.003 | 541.57/72.37 c (71,0) c | 1 | 401 | 670632 | 530783 | 47582 | 94410 | 63602 | 430670 | 19195 | 0.001 | 541.57/72.37 c (71,0) c | 2 | 505 | 662887 | 521366 | 47433 | 84989 | 62354 | 434209 | 20969 | 0.000 | 541.57/72.37 c (71,0) c | 3 | 364 | 654486 | 513108 | 47546 | 76719 | 65667 | 432157 | 19520 | 0.000 | 541.57/72.37 c (71,0) c | 4 | 419 | 598987 | 475171 | 46877 | 84987 | 58846 | 438401 | 18015 | 0.003 | 541.57/72.37 c (71,0) c | 5 | 518 | 691617 | 542786 | 47533 | 57611 | 62213 | 434718 | 20766 | 0.001 | 541.57/72.37 c (71,0) c | 6 | 360 | 625022 | 489004 | 47264 | 52619 | 60812 | 423612 | 17734 | 0.000 | 541.57/72.37 c (71,0) c | 7 | 394 | 650736 | 517720 | 45348 | 81336 | 62113 | 433537 | 15211 | 0.001 | 541.57/72.37 c (71,0) c 653.26/86.36 c (85,0) c synthesis 4096577 conflicts 689503664 propagations 7846 conflicts/sec 1320604 propagations/sec 653.26/86.36 c (85,0) c Total Memory so far : 676.69Mb 653.26/86.36 c (85,0) c 653.26/86.36 c (85,0) c |-------------------------------------------------------------------------------------------------------| 653.26/86.36 c (85,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 653.26/86.36 c (85,0) c |-------------------------------------------------------------------------------------------------------| 653.26/86.36 c (85,0) c | 0 | 418 | 661834 | 528625 | 46832 | 92239 | 64595 | 441930 | 20604 | 0.000 | 653.26/86.36 c (85,0) c | 1 | 451 | 704926 | 557642 | 47634 | 72462 | 65719 | 449595 | 19914 | 0.001 | 653.26/86.36 c (85,0) c | 2 | 516 | 691376 | 544088 | 47524 | 58906 | 64633 | 445422 | 21926 | 0.001 | 653.26/86.36 c (85,0) c | 3 | 391 | 684058 | 536156 | 47624 | 50967 | 67207 | 448269 | 20541 | 0.002 | 653.26/86.36 c (85,0) c | 4 | 438 | 620524 | 492828 | 46903 | 56449 | 60091 | 453295 | 18490 | 0.003 | 653.26/86.36 c (85,0) c | 5 | 524 | 727881 | 571558 | 47734 | 86383 | 65815 | 449212 | 21977 | 0.001 | 653.26/86.36 c (85,0) c | 6 | 361 | 654519 | 512975 | 47405 | 76590 | 62953 | 446102 | 18680 | 0.001 | 653.26/86.36 c (85,0) c | 7 | 398 | 680815 | 541512 | 46040 | 56332 | 65456 | 448716 | 16728 | 0.000 | 653.26/86.36 c (85,0) c 653.26/86.37 c (85,0) c synthesis 4285386 conflicts 721091536 propagations 7736 conflicts/sec 1301655 propagations/sec 653.26/86.37 c (85,0) c Total Memory so far : 678.98Mb 653.26/86.37 c (85,0) c 653.26/86.37 c (85,0) c |-------------------------------------------------------------------------------------------------------| 653.26/86.37 c (85,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 653.26/86.37 c (85,0) c |-------------------------------------------------------------------------------------------------------| 653.26/86.37 c (85,0) c | 0 | 434 | 698092 | 558702 | 46934 | 73518 | 67096 | 469922 | 21809 | 0.003 | 653.26/86.37 c (85,0) c | 1 | 484 | 743144 | 588000 | 47696 | 102820 | 68291 | 471224 | 20705 | 0.000 | 653.26/86.37 c (85,0) c | 2 | 523 | 728729 | 574392 | 47613 | 89210 | 67937 | 468292 | 23357 | 0.001 | 653.26/86.37 c (85,0) c | 3 | 441 | 720150 | 564294 | 47705 | 79105 | 69485 | 469732 | 21809 | 0.001 | 653.26/86.37 c (85,0) c | 4 | 445 | 647637 | 515105 | 46931 | 78725 | 62036 | 476764 | 19387 | 0.001 | 653.26/86.37 c (85,0) c | 5 | 533 | 767748 | 603612 | 47833 | 67034 | 69030 | 470931 | 23213 | 0.001 | 653.26/86.37 c (85,0) c | 6 | 362 | 698105 | 547541 | 47659 | 62364 | 66779 | 454389 | 20124 | 0.000 | 653.26/86.37 c (85,0) c | 7 | 404 | 720967 | 573171 | 46697 | 87992 | 69317 | 468300 | 18615 | 0.000 | 653.26/86.37 c (85,0) c 653.26/86.37 c (85,0) c synthesis 4524818 conflicts 761377221 propagations 7620 conflicts/sec 1282150 propagations/sec 653.26/86.37 c (85,0) c Total Memory so far : 681.27Mb 653.26/86.37 c (85,0) c 653.26/86.37 c (85,0) c |-------------------------------------------------------------------------------------------------------| 653.26/86.37 c (85,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 653.26/86.37 c (85,0) c |-------------------------------------------------------------------------------------------------------| 653.26/86.37 c (85,0) c | 0 | 490 | 730845 | 585358 | 47011 | 100174 | 68935 | 489199 | 22646 | 0.003 | 653.26/86.37 c (85,0) c | 1 | 493 | 785027 | 620711 | 47926 | 84133 | 72614 | 484646 | 22184 | 0.003 | 653.26/86.37 c (85,0) c | 2 | 537 | 761734 | 601247 | 47672 | 64659 | 70552 | 484380 | 24403 | 0.000 | 653.26/86.37 c (85,0) c | 3 | 501 | 756320 | 592333 | 47788 | 55747 | 71989 | 488481 | 22799 | 0.003 | 653.26/86.37 c (85,0) c | 4 | 451 | 672684 | 535935 | 46971 | 50754 | 63806 | 491496 | 20275 | 0.003 | 653.26/86.37 c (85,0) c | 5 | 539 | 803080 | 632685 | 47881 | 96107 | 70946 | 482136 | 24238 | 0.000 | 653.26/86.37 c (85,0) c | 6 | 373 | 740336 | 580878 | 47852 | 95700 | 70036 | 490597 | 21550 | 0.002 | 653.26/86.37 c (85,0) c | 7 | 418 | 758829 | 602787 | 47006 | 66203 | 72302 | 483874 | 20629 | 0.000 | 653.26/86.37 c (85,0) c 653.26/86.37 c (85,0) c synthesis 4751934 conflicts 799847093 propagations 7499 conflicts/sec 1262183 propagations/sec 796.84/104.36 c (103,0) c Total Memory so far : 684.29Mb 796.84/104.36 c (103,0) c 796.84/104.36 c (103,0) c |-------------------------------------------------------------------------------------------------------| 796.84/104.36 c (103,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 796.84/104.36 c (103,0) c |-------------------------------------------------------------------------------------------------------| 796.84/104.36 c (103,0) c | 0 | 504 | 764691 | 613492 | 47108 | 76907 | 71260 | 514143 | 23646 | 0.003 | 796.84/104.36 c (103,0) c | 1 | 506 | 827555 | 654026 | 48061 | 63450 | 76872 | 507853 | 23832 | 0.001 | 796.84/104.36 c (103,0) c | 2 | 542 | 792581 | 626573 | 47701 | 89985 | 72965 | 507634 | 25214 | 0.002 | 796.84/104.36 c (103,0) c | 3 | 506 | 797058 | 625452 | 47900 | 88866 | 76875 | 506369 | 24017 | 0.003 | 796.84/104.36 c (103,0) c | 4 | 460 | 702480 | 560765 | 47032 | 75584 | 65818 | 512650 | 21115 | 0.001 | 796.84/104.36 c (103,0) c | 5 | 544 | 839178 | 661794 | 47941 | 71214 | 73932 | 506660 | 25519 | 0.002 | 796.84/104.36 c (103,0) c | 6 | 376 | 780638 | 612763 | 47965 | 76187 | 73341 | 511228 | 23278 | 0.000 | 796.84/104.36 c (103,0) c | 7 | 420 | 797062 | 633812 | 47174 | 97228 | 74757 | 498016 | 22017 | 0.000 | 796.84/104.36 c (103,0) c 796.84/104.36 c (103,0) c synthesis 4988678 conflicts 839670507 propagations 7406 conflicts/sec 1246613 propagations/sec 796.84/104.36 c (103,0) c Total Memory so far : 686.69Mb 796.84/104.36 c (103,0) c 796.84/104.36 c (103,0) c |-------------------------------------------------------------------------------------------------------| 796.84/104.36 c (103,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 796.84/104.36 c (103,0) c |-------------------------------------------------------------------------------------------------------| 796.84/104.36 c (103,0) c | 0 | 532 | 795195 | 638649 | 47132 | 102064 | 73048 | 530118 | 24447 | 0.003 | 796.84/104.36 c (103,0) c | 1 | 515 | 856561 | 677094 | 48114 | 86518 | 79020 | 522674 | 25242 | 0.001 | 796.84/104.36 c (103,0) c | 2 | 556 | 824867 | 652430 | 47724 | 61840 | 75366 | 527238 | 26239 | 0.000 | 796.84/104.36 c (103,0) c | 3 | 535 | 830023 | 651594 | 47945 | 61005 | 79828 | 524447 | 25348 | 0.000 | 796.84/104.36 c (103,0) c | 4 | 475 | 721608 | 577002 | 47044 | 91820 | 67086 | 537659 | 21617 | 0.003 | 796.84/104.36 c (103,0) c | 5 | 550 | 875288 | 690930 | 48021 | 100350 | 77016 | 527830 | 26897 | 0.001 | 796.84/104.36 c (103,0) c | 6 | 378 | 813994 | 639834 | 48027 | 103258 | 75887 | 529005 | 24114 | 0.001 | 796.84/104.36 c (103,0) c | 7 | 420 | 832804 | 662864 | 47299 | 72281 | 77689 | 498016 | 23932 | 0.000 | 796.84/104.36 c (103,0) c 796.84/104.36 c (103,0) c synthesis 5190397 conflicts 873550728 propagations 7275 conflicts/sec 1224457 propagations/sec 796.84/104.37 c (103,0) c Total Memory so far : 689.73Mb 796.84/104.37 c (103,0) c 796.84/104.37 c (103,0) c |-------------------------------------------------------------------------------------------------------| 796.84/104.37 c (103,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 796.84/104.37 c (103,0) c |-------------------------------------------------------------------------------------------------------| 796.84/104.37 c (103,0) c | 0 | 537 | 819173 | 658848 | 47170 | 68263 | 74849 | 540635 | 25088 | 0.003 | 796.84/104.37 c (103,0) c | 1 | 524 | 871778 | 689160 | 48128 | 98584 | 80105 | 531570 | 25876 | 0.000 | 796.84/104.37 c (103,0) c | 2 | 567 | 852067 | 674445 | 47758 | 83855 | 77577 | 539153 | 27059 | 0.000 | 796.84/104.37 c (103,0) c | 3 | 569 | 856429 | 672262 | 48006 | 81672 | 81516 | 534890 | 26883 | 0.003 | 796.84/104.37 c (103,0) c | 4 | 484 | 740617 | 592976 | 47052 | 56391 | 68007 | 549505 | 22211 | 0.003 | 796.84/104.37 c (103,0) c | 5 | 579 | 904191 | 713772 | 48063 | 66594 | 79115 | 537621 | 27768 | 0.001 | 796.84/104.37 c (103,0) c | 6 | 382 | 841746 | 662183 | 48103 | 71601 | 77572 | 535837 | 24989 | 0.000 | 796.84/104.37 c (103,0) c | 7 | 444 | 860385 | 684210 | 47449 | 93627 | 79270 | 537367 | 25308 | 0.002 | 796.84/104.37 c (103,0) c 796.84/104.37 c (103,0) c synthesis 5347856 conflicts 900077972 propagations 7175 conflicts/sec 1207643 propagations/sec 796.84/104.37 c (103,0) c Total Memory so far : 691.00Mb 796.84/104.37 c (103,0) c 908.51/118.36 c (117,0) c |-------------------------------------------------------------------------------------------------------| 908.51/118.36 c (117,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 908.51/118.36 c (117,0) c |-------------------------------------------------------------------------------------------------------| 908.51/118.36 c (117,0) c | 0 | 578 | 842554 | 677687 | 47226 | 87102 | 76324 | 550676 | 25786 | 0.001 | 908.51/118.36 c (117,0) c | 1 | 529 | 886855 | 701282 | 48154 | 110705 | 81177 | 548644 | 26454 | 0.000 | 908.51/118.36 c (117,0) c | 2 | 583 | 875757 | 693569 | 47779 | 102979 | 79367 | 549091 | 27813 | 0.002 | 908.51/118.36 c (117,0) c | 3 | 573 | 876343 | 688452 | 48025 | 97862 | 83038 | 545164 | 27958 | 0.002 | 908.51/118.36 c (117,0) c | 4 | 512 | 760211 | 609265 | 47070 | 72680 | 68889 | 561870 | 22704 | 0.001 | 908.51/118.36 c (117,0) c | 5 | 584 | 932732 | 736815 | 48108 | 89637 | 81711 | 546966 | 28715 | 0.000 | 908.51/118.36 c (117,0) c | 6 | 383 | 866480 | 681853 | 48145 | 91271 | 79473 | 545781 | 26553 | 0.001 | 908.51/118.36 c (117,0) c | 7 | 445 | 883128 | 702782 | 47537 | 112199 | 80831 | 546213 | 26653 | 0.001 | 908.51/118.36 c (117,0) c 908.51/118.36 c (117,0) c synthesis 5491705 conflicts 924681612 propagations 7066 conflicts/sec 1189740 propagations/sec 908.51/118.36 c (117,0) c Total Memory so far : 692.95Mb 908.51/118.36 c (117,0) c 908.51/118.36 c (117,0) c |-------------------------------------------------------------------------------------------------------| 908.51/118.36 c (117,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 908.51/118.36 c (117,0) c |-------------------------------------------------------------------------------------------------------| 908.51/118.36 c (117,0) c | 0 | 587 | 864564 | 696001 | 47259 | 105416 | 77863 | 564867 | 26442 | 0.002 | 908.51/118.36 c (117,0) c | 1 | 544 | 914497 | 723272 | 48207 | 76096 | 83116 | 558463 | 27291 | 0.001 | 908.51/118.36 c (117,0) c | 2 | 597 | 899949 | 713177 | 47796 | 65988 | 81063 | 563190 | 28400 | 0.001 | 908.51/118.36 c (117,0) c | 3 | 573 | 898726 | 706789 | 48046 | 59601 | 84961 | 545164 | 28714 | 0.002 | 908.51/118.36 c (117,0) c | 4 | 539 | 778315 | 624397 | 47079 | 87812 | 69697 | 570159 | 23271 | 0.003 | 908.51/118.36 c (117,0) c | 5 | 587 | 960491 | 759579 | 48165 | 112401 | 84181 | 553904 | 29398 | 0.002 | 908.51/118.36 c (117,0) c | 6 | 398 | 891697 | 702133 | 48186 | 111551 | 80968 | 560930 | 28352 | 0.001 | 908.51/118.36 c (117,0) c | 7 | 457 | 912951 | 726594 | 47578 | 79412 | 82442 | 561587 | 27687 | 0.002 | 908.51/118.36 c (117,0) c 908.51/118.36 c (117,0) c synthesis 5651943 conflicts 951829306 propagations 6986 conflicts/sec 1176415 propagations/sec 908.51/118.36 c (117,0) c Total Memory so far : 694.59Mb 908.51/118.36 c (117,0) c 908.51/118.36 c (117,0) c |-------------------------------------------------------------------------------------------------------| 908.51/118.36 c (117,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 908.51/118.36 c (117,0) c |-------------------------------------------------------------------------------------------------------| 908.51/118.36 c (117,0) c | 0 | 599 | 895880 | 721787 | 47366 | 74602 | 79821 | 575793 | 27593 | 0.001 | 908.51/118.36 c (117,0) c | 1 | 565 | 948922 | 750751 | 48259 | 103575 | 85355 | 576209 | 28509 | 0.002 | 908.51/118.36 c (117,0) c | 2 | 606 | 930995 | 738844 | 47809 | 91655 | 83695 | 577624 | 29224 | 0.002 | 908.51/118.36 c (117,0) c | 3 | 574 | 921959 | 726170 | 48060 | 78982 | 86886 | 567848 | 29373 | 0.002 | 908.51/118.36 c (117,0) c | 4 | 546 | 801349 | 643592 | 47097 | 107007 | 71320 | 589087 | 24374 | 0.003 | 908.51/118.36 c (117,0) c | 5 | 614 | 996049 | 788011 | 48244 | 81631 | 86902 | 574438 | 30293 | 0.001 | 908.51/118.36 c (117,0) c | 6 | 400 | 925564 | 730304 | 48230 | 83122 | 83530 | 572542 | 30096 | 0.003 | 908.51/118.36 c (117,0) c | 7 | 472 | 941254 | 749765 | 47638 | 102583 | 84081 | 577091 | 29388 | 0.003 | 908.51/118.36 c (117,0) c 908.51/118.36 c (117,0) c synthesis 5849224 conflicts 985326092 propagations 6890 conflicts/sec 1160573 propagations/sec 908.51/118.36 c (117,0) c Total Memory so far : 696.05Mb 908.51/118.36 c (117,0) c 908.51/118.36 c (117,0) c |-------------------------------------------------------------------------------------------------------| 1020.19/132.36 c (131,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 1020.19/132.36 c (131,0) c |-------------------------------------------------------------------------------------------------------| 1020.19/132.36 c (131,0) c | 0 | 610 | 931773 | 750678 | 47558 | 103493 | 82641 | 589976 | 29757 | 0.002 | 1020.19/132.36 c (131,0) c | 1 | 570 | 984262 | 778607 | 48335 | 72228 | 88148 | 582949 | 29945 | 0.001 | 1020.19/132.36 c (131,0) c | 2 | 610 | 957558 | 760781 | 47820 | 113592 | 86089 | 582741 | 29969 | 0.000 | 1020.19/132.36 c (131,0) c | 3 | 574 | 943930 | 744474 | 48075 | 97286 | 88827 | 567848 | 29950 | 0.002 | 1020.19/132.36 c (131,0) c | 4 | 579 | 833945 | 669838 | 47142 | 79255 | 73946 | 605881 | 25424 | 0.002 | 1020.19/132.36 c (131,0) c | 5 | 636 | 1026963 | 813026 | 48269 | 106646 | 89159 | 590346 | 31274 | 0.002 | 1020.19/132.36 c (131,0) c | 6 | 401 | 953120 | 753083 | 48255 | 105901 | 86010 | 578906 | 31649 | 0.004 | 1020.19/132.36 c (131,0) c | 7 | 475 | 967931 | 771870 | 47704 | 65492 | 85895 | 591888 | 31116 | 0.003 | 1020.19/132.36 c (131,0) c 1020.19/132.36 c (131,0) c synthesis 6042357 conflicts 1017770076 propagations 6798 conflicts/sec 1145119 propagations/sec 1020.19/132.36 c (131,0) c Total Memory so far : 698.42Mb 1020.19/132.36 c (131,0) c 1020.19/132.36 c (131,0) c |-------------------------------------------------------------------------------------------------------| 1020.19/132.36 c (131,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 1020.19/132.36 c (131,0) c |-------------------------------------------------------------------------------------------------------| 1020.19/132.36 c (131,0) c | 0 | 625 | 968890 | 779777 | 47699 | 73396 | 85356 | 613651 | 31650 | 0.003 | 1020.19/132.36 c (131,0) c | 1 | 572 | 1021649 | 808350 | 48379 | 101971 | 92045 | 596910 | 30892 | 0.001 | 1020.19/132.36 c (131,0) c | 2 | 615 | 988038 | 786126 | 47839 | 79740 | 88653 | 610933 | 30637 | 0.002 | 1020.19/132.36 c (131,0) c | 3 | 582 | 970304 | 766172 | 48087 | 59787 | 90727 | 605797 | 31832 | 0.003 | 1020.19/132.36 c (131,0) c | 4 | 581 | 861209 | 692573 | 47190 | 101989 | 76838 | 617391 | 26239 | 0.003 | 1020.19/132.36 c (131,0) c | 5 | 637 | 1062154 | 841315 | 48303 | 73135 | 92992 | 593722 | 32471 | 0.001 | 1020.19/132.36 c (131,0) c | 6 | 410 | 982207 | 777140 | 48271 | 70762 | 88336 | 614608 | 33107 | 0.003 | 1020.19/132.36 c (131,0) c | 7 | 479 | 998873 | 797938 | 47768 | 91560 | 88032 | 599056 | 32421 | 0.001 | 1020.19/132.36 c (131,0) c 1020.19/132.36 c (131,0) c synthesis 6249391 conflicts 1052228650 propagations 6730 conflicts/sec 1133074 propagations/sec 1020.19/132.36 c (131,0) c Total Memory so far : 700.71Mb 1020.19/132.36 c (131,0) c 1020.19/132.36 c (131,0) c |-------------------------------------------------------------------------------------------------------| 1020.19/132.36 c (131,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 1020.19/132.36 c (131,0) c |-------------------------------------------------------------------------------------------------------| 1020.19/132.36 c (131,0) c | 0 | 631 | 1005017 | 808745 | 47766 | 102364 | 88203 | 624782 | 33051 | 0.000 | 1020.19/132.36 c (131,0) c | 1 | 580 | 1054119 | 834414 | 48411 | 66235 | 94947 | 623608 | 31880 | 0.002 | 1020.19/132.36 c (131,0) c | 2 | 623 | 1018077 | 810369 | 47865 | 103983 | 91273 | 631726 | 31483 | 0.000 | 1020.19/132.36 c (131,0) c | 3 | 618 | 1003220 | 792536 | 48127 | 86151 | 92720 | 628155 | 33463 | 0.002 | 1020.19/132.36 c (131,0) c | 4 | 592 | 890100 | 716743 | 47208 | 69555 | 79285 | 639614 | 27229 | 0.003 | 1020.19/132.36 c (131,0) c | 5 | 646 | 1095265 | 868263 | 48335 | 100083 | 95878 | 626638 | 33524 | 0.000 | 1020.19/132.36 c (131,0) c | 6 | 419 | 1012186 | 802006 | 48285 | 95628 | 90292 | 631329 | 34337 | 0.003 | 1020.19/132.36 c (131,0) c | 7 | 488 | 1031021 | 823951 | 47876 | 117573 | 90402 | 626067 | 33821 | 0.000 | 1020.19/132.36 c (131,0) c 1020.19/132.36 c (131,0) c synthesis 6457029 conflicts 1087307018 propagations 6667 conflicts/sec 1122644 propagations/sec 1020.19/132.36 c (131,0) c Total Memory so far : 702.63Mb 1020.19/132.36 c (131,0) c 1020.19/132.36 c (131,0) c |-------------------------------------------------------------------------------------------------------| 1020.19/132.36 c (131,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 1123.89/145.36 c (144,0) c |-------------------------------------------------------------------------------------------------------| 1123.89/145.36 c (144,0) c | 0 | 631 | 1026488 | 826554 | 47806 | 120173 | 90133 | 624782 | 33626 | 0.000 | 1123.89/145.36 c (144,0) c | 1 | 591 | 1081323 | 856163 | 48439 | 87984 | 97004 | 639965 | 32848 | 0.001 | 1123.89/145.36 c (144,0) c | 2 | 637 | 1037947 | 826394 | 47879 | 120008 | 92672 | 642865 | 32248 | 0.001 | 1123.89/145.36 c (144,0) c | 3 | 643 | 1027564 | 812057 | 48154 | 105672 | 94175 | 642865 | 34328 | 0.003 | 1123.89/145.36 c (144,0) c | 4 | 593 | 914005 | 736967 | 47226 | 89779 | 81198 | 650835 | 27896 | 0.003 | 1123.89/145.36 c (144,0) c | 5 | 664 | 1120093 | 888489 | 48347 | 120309 | 97345 | 639296 | 34162 | 0.000 | 1124.74/145.47 c (144,0) c | 6 | 427 | 1034468 | 820340 | 48304 | 113962 | 92072 | 644804 | 35419 | 0.003 | 1124.74/145.47 c (144,0) c | 7 | 495 | 1061305 | 848534 | 47929 | 80350 | 92510 | 643018 | 35051 | 0.001 | 1124.74/145.47 c (144,0) c 1124.74/145.47 c (144,0) c synthesis 6615498 conflicts 1113923224 propagations 6613 conflicts/sec 1113456 propagations/sec 1124.74/145.47 c (144,0) c Total Memory so far : 704.44Mb 1124.74/145.47 c (144,0) c 1124.74/145.47 c (144,0) c |-------------------------------------------------------------------------------------------------------| 1124.74/145.47 c (144,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 1124.74/145.47 c (144,0) c |-------------------------------------------------------------------------------------------------------| 1124.74/145.47 c (144,0) c | 0 | 635 | 1051238 | 846772 | 47825 | 78596 | 91919 | 657809 | 34457 | 0.000 | 1124.74/145.47 c (144,0) c | 1 | 613 | 1107045 | 876306 | 48448 | 108127 | 98534 | 650851 | 34557 | 0.001 | 1124.74/145.47 c (144,0) c | 2 | 645 | 1064182 | 847635 | 47886 | 79451 | 94565 | 652815 | 33182 | 0.002 | 1124.74/145.47 c (144,0) c | 3 | 650 | 1049978 | 830000 | 48179 | 123615 | 95699 | 651208 | 35599 | 0.002 | 1124.74/145.47 c (144,0) c | 4 | 603 | 931902 | 751948 | 47238 | 104760 | 82383 | 666468 | 28500 | 0.003 | 1124.74/145.47 c (144,0) c | 5 | 674 | 1142625 | 906839 | 48353 | 74259 | 99059 | 648601 | 34688 | 0.000 | 1124.74/145.47 c (144,0) c | 6 | 434 | 1056729 | 838793 | 48314 | 70612 | 93629 | 652898 | 36212 | 0.003 | 1124.74/145.47 c (144,0) c | 7 | 508 | 1087162 | 869447 | 47980 | 101263 | 93962 | 653119 | 36134 | 0.002 | 1124.74/145.47 c (144,0) c 1124.74/145.47 c (144,0) c synthesis 6767741 conflicts 1139261934 propagations 6556 conflicts/sec 1103600 propagations/sec 1124.74/145.47 c (144,0) c Total Memory so far : 705.82Mb 1124.74/145.47 c (144,0) c 1124.74/145.47 c (144,0) c |-------------------------------------------------------------------------------------------------------| 1124.74/145.47 c (144,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 1124.74/145.47 c (144,0) c |-------------------------------------------------------------------------------------------------------| 1124.74/145.47 c (144,0) c | 0 | 640 | 1075205 | 865564 | 47887 | 97388 | 93739 | 667055 | 35677 | 0.002 | 1124.74/145.47 c (144,0) c | 1 | 639 | 1130392 | 894853 | 48454 | 126674 | 99917 | 662077 | 36020 | 0.001 | 1124.74/145.47 c (144,0) c | 2 | 648 | 1085815 | 865084 | 47911 | 96900 | 96375 | 665535 | 33942 | 0.002 | 1124.74/145.47 c (144,0) c | 3 | 710 | 1076812 | 850640 | 48200 | 82452 | 97208 | 665040 | 36663 | 0.001 | 1124.74/145.47 c (144,0) c | 4 | 617 | 949575 | 766673 | 47254 | 60285 | 83563 | 675863 | 28998 | 0.003 | 1124.74/145.47 c (144,0) c | 5 | 681 | 1169039 | 928232 | 48367 | 95652 | 101008 | 654850 | 35492 | 0.002 | 1124.74/145.47 c (144,0) c | 6 | 441 | 1080048 | 858202 | 48331 | 90022 | 95306 | 666939 | 36788 | 0.001 | 1124.74/145.47 c (144,0) c | 7 | 518 | 1110437 | 888273 | 48016 | 120088 | 95226 | 665525 | 37375 | 0.000 | 1124.74/145.47 c (144,0) c 1124.74/145.47 c (144,0) c synthesis 6917522 conflicts 1164413252 propagations 6500 conflicts/sec 1094153 propagations/sec 1124.74/145.47 c (144,0) c Total Memory so far : 707.52Mb 1124.74/145.47 c (144,0) c 1124.74/145.47 c (144,0) c |-------------------------------------------------------------------------------------------------------| 1124.74/145.47 c (144,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 1124.74/145.47 c (144,0) c |-------------------------------------------------------------------------------------------------------| 1243.54/160.36 c (159,0) c | 0 | 656 | 1108827 | 892311 | 47956 | 124135 | 96018 | 681829 | 37141 | 0.001 | 1243.54/160.36 c (159,0) c | 1 | 762 | 1162283 | 919021 | 48495 | 86443 | 101263 | 676098 | 37251 | 0.002 | 1243.54/160.36 c (159,0) c | 2 | 655 | 1110470 | 885249 | 47917 | 117065 | 97940 | 674478 | 34989 | 0.002 | 1243.54/160.36 c (159,0) c | 3 | 719 | 1108692 | 876187 | 48222 | 107999 | 99535 | 678204 | 37867 | 0.002 | 1243.54/160.36 c (159,0) c | 4 | 630 | 978774 | 791041 | 47283 | 84653 | 85753 | 691710 | 29719 | 0.003 | 1243.54/160.36 c (159,0) c | 5 | 696 | 1196724 | 950862 | 48375 | 118282 | 103101 | 674101 | 36493 | 0.002 | 1243.54/160.36 c (159,0) c | 6 | 446 | 1105236 | 879037 | 48353 | 110857 | 97306 | 678195 | 37716 | 0.003 | 1243.54/160.36 c (159,0) c | 7 | 520 | 1139663 | 912376 | 48040 | 79791 | 96960 | 678314 | 38719 | 0.002 | 1243.54/160.36 c (159,0) c 1243.54/160.36 c (159,0) c synthesis 7106086 conflicts 1196206824 propagations 6436 conflicts/sec 1083440 propagations/sec 1243.54/160.36 c (159,0) c Total Memory so far : 709.02Mb 1243.54/160.36 c (159,0) c 1243.54/160.36 c (159,0) c |-------------------------------------------------------------------------------------------------------| 1243.54/160.36 c (159,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 1243.54/160.36 c (159,0) c |-------------------------------------------------------------------------------------------------------| 1243.54/160.36 c (159,0) c | 0 | 676 | 1142325 | 919128 | 47989 | 86551 | 98076 | 695067 | 38579 | 0.000 | 1243.54/160.36 c (159,0) c | 1 | 800 | 1191034 | 941667 | 48515 | 109089 | 102805 | 690368 | 38476 | 0.001 | 1243.54/160.36 c (159,0) c | 2 | 657 | 1137097 | 907379 | 47923 | 74802 | 99702 | 690003 | 35860 | 0.002 | 1243.54/160.36 c (159,0) c | 3 | 725 | 1134735 | 897931 | 48243 | 65342 | 101312 | 691522 | 39128 | 0.003 | 1243.54/160.36 c (159,0) c | 4 | 635 | 999960 | 808868 | 47312 | 102480 | 87137 | 699864 | 30353 | 0.003 | 1243.54/160.36 c (159,0) c | 5 | 696 | 1223201 | 972544 | 48383 | 72962 | 105672 | 674101 | 37499 | 0.002 | 1243.54/160.36 c (159,0) c | 6 | 455 | 1133365 | 901971 | 48366 | 69390 | 99040 | 694284 | 38662 | 0.003 | 1243.54/160.36 c (159,0) c | 7 | 522 | 1171268 | 937775 | 48116 | 105190 | 100047 | 692399 | 39987 | 0.002 | 1243.54/160.36 c (159,0) c 1243.54/160.36 c (159,0) c synthesis 7287263 conflicts 1226696304 propagations 6370 conflicts/sec 1072343 propagations/sec 1243.54/160.36 c (159,0) c Total Memory so far : 711.08Mb 1243.54/160.36 c (159,0) c 1243.54/160.36 c (159,0) c |-------------------------------------------------------------------------------------------------------| 1243.54/160.36 c (159,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 1243.54/160.36 c (159,0) c |-------------------------------------------------------------------------------------------------------| 1243.54/160.36 c (159,0) c | 0 | 690 | 1172961 | 943551 | 48043 | 110974 | 100128 | 704069 | 40005 | 0.002 | 1243.54/160.36 c (159,0) c | 1 | 829 | 1219663 | 964232 | 48536 | 131654 | 104311 | 704534 | 39743 | 0.002 | 1243.54/160.36 c (159,0) c | 2 | 661 | 1163404 | 929624 | 47934 | 97047 | 101746 | 703152 | 36504 | 0.002 | 1243.54/160.36 c (159,0) c | 3 | 729 | 1164261 | 922692 | 48265 | 90103 | 103597 | 705580 | 40427 | 0.003 | 1243.54/160.36 c (159,0) c | 4 | 652 | 1021437 | 827000 | 47318 | 120612 | 88372 | 721076 | 30988 | 0.003 | 1243.54/160.36 c (159,0) c | 5 | 708 | 1253937 | 997566 | 48408 | 97984 | 107936 | 699537 | 38368 | 0.002 | 1243.54/160.36 c (159,0) c | 6 | 466 | 1161602 | 925747 | 48380 | 93165 | 101375 | 700886 | 39339 | 0.002 | 1243.54/160.36 c (159,0) c | 7 | 525 | 1204430 | 964063 | 48165 | 131478 | 102835 | 706121 | 41190 | 0.001 | 1243.54/160.36 c (159,0) c 1243.54/160.36 c (159,0) c synthesis 7474475 conflicts 1258003093 propagations 6314 conflicts/sec 1062668 propagations/sec 1243.54/160.36 c (159,0) c Total Memory so far : 713.00Mb 1243.54/160.36 c (159,0) c 1243.54/160.36 c (159,0) c |-------------------------------------------------------------------------------------------------------| 1243.54/160.36 c (159,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 1243.54/160.36 c (159,0) c |-------------------------------------------------------------------------------------------------------| 1243.54/160.36 c (159,0) c | 0 | 694 | 1200701 | 965931 | 48082 | 133354 | 102353 | 725351 | 41113 | 0.002 | 1347.24/173.37 c (172,0) c | 1 | 906 | 1249547 | 987595 | 48549 | 88014 | 106112 | 721980 | 40697 | 0.002 | 1347.24/173.37 c (172,0) c | 2 | 663 | 1189474 | 951243 | 47967 | 118666 | 104567 | 722841 | 38555 | 0.003 | 1347.24/173.37 c (172,0) c | 3 | 734 | 1193124 | 946682 | 48279 | 114093 | 106238 | 720172 | 41678 | 0.000 | 1347.24/173.37 c (172,0) c | 4 | 668 | 1047483 | 848913 | 47334 | 80723 | 89893 | 736682 | 31784 | 0.002 | 1347.24/173.37 c (172,0) c | 5 | 716 | 1279956 | 1018941 | 48427 | 119359 | 110079 | 716389 | 39119 | 0.000 | 1347.24/173.37 c (172,0) c | 6 | 473 | 1186242 | 946614 | 48393 | 114033 | 103378 | 717916 | 39929 | 0.004 | 1347.24/173.37 c (172,0) c | 7 | 540 | 1236658 | 989721 | 48203 | 90136 | 105611 | 717473 | 42479 | 0.001 | 1347.24/173.37 c (172,0) c 1347.24/173.37 c (172,0) c synthesis 7655641 conflicts 1288978492 propagations 6256 conflicts/sec 1053355 propagations/sec 1347.24/173.37 c (172,0) c Total Memory so far : 714.67Mb 1347.24/173.37 c (172,0) c 1347.24/173.37 c (172,0) c |-------------------------------------------------------------------------------------------------------| 1347.24/173.37 c (172,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 1347.24/173.37 c (172,0) c |-------------------------------------------------------------------------------------------------------| 1347.24/173.37 c (172,0) c | 0 | 701 | 1230613 | 990703 | 48100 | 91129 | 104403 | 734298 | 41985 | 0.001 | 1347.24/173.37 c (172,0) c | 1 | 950 | 1278086 | 1010104 | 48572 | 110523 | 108146 | 735723 | 41804 | 0.000 | 1347.24/173.37 c (172,0) c | 2 | 663 | 1217243 | 974154 | 47981 | 74571 | 107055 | 722841 | 40323 | 0.003 | 1347.24/173.37 c (172,0) c | 3 | 743 | 1216812 | 966600 | 48297 | 67012 | 108401 | 735761 | 42621 | 0.004 | 1347.24/173.37 c (172,0) c | 4 | 687 | 1072838 | 869975 | 47351 | 101785 | 91435 | 752132 | 32563 | 0.004 | 1347.24/173.37 c (172,0) c | 5 | 723 | 1304445 | 1038801 | 48435 | 69622 | 111744 | 731696 | 40148 | 0.002 | 1347.24/173.37 c (172,0) c | 6 | 477 | 1210500 | 966600 | 48417 | 67024 | 105436 | 735284 | 40996 | 0.001 | 1347.24/173.37 c (172,0) c | 7 | 548 | 1266057 | 1013514 | 48217 | 113929 | 108098 | 736524 | 43280 | 0.000 | 1347.24/173.37 c (172,0) c 1347.24/173.37 c (172,0) c synthesis 7830451 conflicts 1318764455 propagations 6197 conflicts/sec 1043721 propagations/sec 1347.24/173.37 c (172,0) c Total Memory so far : 745.95Mb 1347.24/173.37 c (172,0) c 1347.24/173.37 c (172,0) c |-------------------------------------------------------------------------------------------------------| 1347.24/173.37 c (172,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 1347.24/173.37 c (172,0) c |-------------------------------------------------------------------------------------------------------| 1347.24/173.37 c (172,0) c | 0 | 709 | 1252690 | 1009009 | 48116 | 109435 | 105999 | 748800 | 42453 | 0.001 | 1347.24/173.37 c (172,0) c | 1 | 1001 | 1301581 | 1028628 | 48585 | 129047 | 109857 | 747235 | 42478 | 0.000 | 1347.24/173.37 c (172,0) c | 2 | 666 | 1240279 | 993179 | 48018 | 93596 | 108706 | 744317 | 41569 | 0.004 | 1347.24/173.37 c (172,0) c | 3 | 752 | 1240546 | 986426 | 48318 | 86838 | 109858 | 746675 | 43610 | 0.004 | 1347.24/173.37 c (172,0) c | 4 | 699 | 1092859 | 886930 | 47371 | 118740 | 92684 | 761250 | 33156 | 0.004 | 1347.24/173.37 c (172,0) c | 5 | 737 | 1328717 | 1058550 | 48447 | 89370 | 113411 | 738302 | 40804 | 0.000 | 1347.24/173.37 c (172,0) c | 6 | 482 | 1236899 | 987719 | 48447 | 88143 | 106886 | 747455 | 42003 | 0.001 | 1347.24/173.37 c (172,0) c | 7 | 551 | 1289563 | 1032498 | 48226 | 132913 | 109937 | 743393 | 43939 | 0.001 | 1347.24/173.37 c (172,0) c 1347.24/173.37 c (172,0) c synthesis 7982941 conflicts 1344508504 propagations 6162 conflicts/sec 1037894 propagations/sec 1347.24/173.37 c (172,0) c Total Memory so far : 717.63Mb 1347.24/173.37 c (172,0) c 1347.24/173.37 c (172,0) c |-------------------------------------------------------------------------------------------------------| 1347.24/173.37 c (172,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 1347.24/173.37 c (172,0) c |-------------------------------------------------------------------------------------------------------| 1347.24/173.37 c (172,0) c | 0 | 713 | 1273912 | 1026319 | 48141 | 126745 | 107469 | 760902 | 43038 | 0.000 | 1466.90/188.36 c (187,0) c | 1 | 1012 | 1324430 | 1047323 | 48594 | 78148 | 111273 | 757808 | 43100 | 0.000 | 1466.90/188.36 c (187,0) c | 2 | 679 | 1260543 | 1010151 | 48044 | 110568 | 109798 | 758761 | 42472 | 0.004 | 1466.90/188.36 c (187,0) c | 3 | 758 | 1262821 | 1004207 | 48339 | 104619 | 111542 | 755618 | 44538 | 0.001 | 1466.90/188.36 c (187,0) c | 4 | 699 | 1112639 | 904051 | 47387 | 71468 | 94380 | 761250 | 33643 | 0.004 | 1466.90/188.36 c (187,0) c | 5 | 756 | 1351066 | 1076624 | 48457 | 107445 | 114787 | 754020 | 41345 | 0.002 | 1466.90/188.36 c (187,0) c | 6 | 512 | 1257920 | 1004202 | 48472 | 104626 | 107860 | 760696 | 42788 | 0.000 | 1466.90/188.37 c (187,0) c | 7 | 590 | 1317492 | 1054692 | 48269 | 85506 | 112037 | 754735 | 44735 | 0.002 | 1466.90/188.37 c (187,0) c 1466.90/188.37 c (187,0) c synthesis 8127569 conflicts 1368927189 propagations 6123 conflicts/sec 1031372 propagations/sec 1466.90/188.37 c (187,0) c Total Memory so far : 718.73Mb 1466.90/188.37 c (187,0) c 1466.90/188.37 c (187,0) c |-------------------------------------------------------------------------------------------------------| 1466.90/188.37 c (187,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 1466.90/188.37 c (187,0) c |-------------------------------------------------------------------------------------------------------| 1466.90/188.37 c (187,0) c | 0 | 746 | 1305249 | 1050605 | 48184 | 81421 | 109433 | 773734 | 44386 | 0.002 | 1466.90/188.37 c (187,0) c | 1 | 1072 | 1352942 | 1069924 | 48600 | 100749 | 112816 | 769622 | 43709 | 0.002 | 1466.90/188.37 c (187,0) c | 2 | 681 | 1282105 | 1028350 | 48055 | 128767 | 111424 | 768608 | 43490 | 0.002 | 1466.90/188.37 c (187,0) c | 3 | 761 | 1288642 | 1024887 | 48363 | 125299 | 113517 | 767544 | 45502 | 0.003 | 1466.90/188.37 c (187,0) c | 4 | 699 | 1140449 | 927789 | 47414 | 95206 | 96973 | 761250 | 34097 | 0.004 | 1466.90/188.37 c (187,0) c | 5 | 763 | 1377507 | 1098791 | 48461 | 129612 | 116397 | 764273 | 41834 | 0.000 | 1466.90/188.37 c (187,0) c | 6 | 542 | 1285767 | 1025914 | 48495 | 126338 | 109222 | 774953 | 43966 | 0.001 | 1466.90/188.37 c (187,0) c | 7 | 596 | 1345841 | 1077832 | 48321 | 108645 | 114479 | 769156 | 45812 | 0.000 | 1466.90/188.37 c (187,0) c 1466.90/188.37 c (187,0) c synthesis 8304092 conflicts 1398644227 propagations 6074 conflicts/sec 1023035 propagations/sec 1466.90/188.37 c (187,0) c Total Memory so far : 720.37Mb 1466.90/188.37 c (187,0) c 1466.90/188.37 c (187,0) c |-------------------------------------------------------------------------------------------------------| 1466.90/188.37 c (187,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 1466.90/188.37 c (187,0) c |-------------------------------------------------------------------------------------------------------| 1466.90/188.37 c (187,0) c | 0 | 765 | 1334536 | 1074155 | 48215 | 104971 | 111264 | 786621 | 45302 | 0.001 | 1466.90/188.37 c (187,0) c | 1 | 1080 | 1377013 | 1089678 | 48609 | 120503 | 114363 | 780113 | 44228 | 0.002 | 1466.90/188.37 c (187,0) c | 2 | 683 | 1305030 | 1047574 | 48076 | 78392 | 113095 | 781197 | 44435 | 0.004 | 1466.90/188.37 c (187,0) c | 3 | 804 | 1317554 | 1047301 | 48379 | 78119 | 115228 | 782832 | 46340 | 0.001 | 1466.90/188.37 c (187,0) c | 4 | 706 | 1162649 | 946570 | 47426 | 113987 | 98451 | 795235 | 34721 | 0.004 | 1466.90/188.37 c (187,0) c | 5 | 791 | 1402297 | 1119061 | 48463 | 77684 | 117703 | 780213 | 42286 | 0.002 | 1466.90/188.37 c (187,0) c | 6 | 561 | 1317587 | 1050914 | 48511 | 81731 | 111250 | 783523 | 45322 | 0.001 | 1466.90/188.37 c (187,0) c | 7 | 604 | 1372406 | 1099136 | 48355 | 129950 | 116720 | 779955 | 46893 | 0.000 | 1466.90/188.37 c (187,0) c 1466.90/188.37 c (187,0) c synthesis 8474389 conflicts 1427537603 propagations 6023 conflicts/sec 1014593 propagations/sec 1466.90/188.37 c (187,0) c Total Memory so far : 721.88Mb 1466.90/188.37 c (187,0) c 1466.90/188.37 c (187,0) c |-------------------------------------------------------------------------------------------------------| 1466.90/188.37 c (187,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 1466.90/188.37 c (187,0) c |-------------------------------------------------------------------------------------------------------| 1466.90/188.37 c (187,0) c | 0 | 794 | 1360392 | 1094897 | 48238 | 125713 | 112844 | 800690 | 46172 | 0.000 | 1466.90/188.37 c (187,0) c | 1 | 1083 | 1402516 | 1110807 | 48619 | 141632 | 116665 | 785002 | 45038 | 0.002 | 1578.58/202.36 c (201,0) c | 2 | 687 | 1331840 | 1070573 | 48089 | 101391 | 114641 | 799584 | 45194 | 0.001 | 1578.58/202.36 c (201,0) c | 3 | 835 | 1348035 | 1071228 | 48396 | 102046 | 117128 | 797159 | 47392 | 0.002 | 1578.58/202.36 c (201,0) c | 4 | 734 | 1183880 | 964137 | 47435 | 131554 | 99787 | 811976 | 35414 | 0.004 | 1578.58/202.36 c (201,0) c | 5 | 803 | 1432814 | 1144386 | 48468 | 103009 | 120082 | 788083 | 43128 | 0.002 | 1578.58/202.36 c (201,0) c | 6 | 568 | 1348181 | 1075746 | 48530 | 106562 | 114021 | 799115 | 46213 | 0.000 | 1578.58/202.36 c (201,0) c | 7 | 607 | 1401237 | 1122617 | 48367 | 81244 | 119292 | 783527 | 47856 | 0.002 | 1578.58/202.36 c (201,0) c 1578.58/202.36 c (201,0) c synthesis 8654391 conflicts 1457546336 propagations 5981 conflicts/sec 1007379 propagations/sec 1578.58/202.36 c (201,0) c Total Memory so far : 723.05Mb 1578.58/202.36 c (201,0) c 1578.58/202.36 c (201,0) c |-------------------------------------------------------------------------------------------------------| 1578.58/202.36 c (201,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 1578.58/202.36 c (201,0) c |-------------------------------------------------------------------------------------------------------| 1578.58/202.36 c (201,0) c | 0 | 798 | 1385060 | 1115404 | 48260 | 74024 | 114553 | 803018 | 46694 | 0.002 | 1578.58/202.36 c (201,0) c | 1 | 1095 | 1433102 | 1135386 | 48638 | 94009 | 119080 | 809793 | 45977 | 0.001 | 1578.58/202.36 c (201,0) c | 2 | 690 | 1356152 | 1090955 | 48099 | 121773 | 116272 | 812812 | 46013 | 0.004 | 1578.58/202.36 c (201,0) c | 3 | 882 | 1375531 | 1093259 | 48407 | 124077 | 118633 | 809896 | 48010 | 0.001 | 1578.58/202.36 c (201,0) c | 4 | 737 | 1206922 | 983812 | 47450 | 84228 | 100879 | 827236 | 36036 | 0.004 | 1578.58/202.36 c (201,0) c | 5 | 806 | 1457968 | 1165331 | 48475 | 123954 | 122166 | 800015 | 43914 | 0.000 | 1578.58/202.36 c (201,0) c | 6 | 585 | 1374221 | 1096689 | 48541 | 127506 | 115893 | 812719 | 47043 | 0.000 | 1578.58/202.36 c (201,0) c | 7 | 616 | 1431278 | 1147416 | 48374 | 106043 | 121896 | 803387 | 48858 | 0.002 | 1578.58/202.36 c (201,0) c 1578.58/202.36 c (201,0) c synthesis 8828252 conflicts 1486822418 propagations 5938 conflicts/sec 1000068 propagations/sec 1578.58/202.36 c (201,0) c Total Memory so far : 724.70Mb 1578.58/202.36 c (201,0) c 1578.58/202.36 c (201,0) c |-------------------------------------------------------------------------------------------------------| 1578.58/202.36 c (201,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 1578.58/202.36 c (201,0) c |-------------------------------------------------------------------------------------------------------| 1578.58/202.36 c (201,0) c | 0 | 825 | 1414860 | 1139325 | 48284 | 97945 | 116424 | 825131 | 47417 | 0.003 | 1578.58/202.36 c (201,0) c | 1 | 1101 | 1460860 | 1157915 | 48643 | 116538 | 121127 | 819360 | 46884 | 0.000 | 1578.58/202.36 c (201,0) c | 2 | 690 | 1380558 | 1111418 | 48137 | 142236 | 117933 | 812812 | 46829 | 0.004 | 1578.58/202.36 c (201,0) c | 3 | 919 | 1398624 | 1112012 | 48412 | 142830 | 119778 | 821290 | 48561 | 0.001 | 1578.58/202.36 c (201,0) c | 4 | 744 | 1228423 | 1002123 | 47470 | 102538 | 101620 | 837828 | 36728 | 0.004 | 1578.58/202.36 c (201,0) c | 5 | 817 | 1480245 | 1183848 | 48477 | 142471 | 123890 | 818032 | 44623 | 0.002 | 1578.58/202.36 c (201,0) c | 6 | 646 | 1401798 | 1118075 | 48572 | 76693 | 117439 | 823954 | 48167 | 0.001 | 1578.58/202.36 c (201,0) c | 7 | 626 | 1455965 | 1167982 | 48379 | 126609 | 123803 | 818210 | 49466 | 0.002 | 1578.58/202.36 c (201,0) c 1578.58/202.36 c (201,0) c synthesis 8992699 conflicts 1514901789 propagations 5891 conflicts/sec 992341 propagations/sec 1578.58/202.36 c (201,0) c Total Memory so far : 725.98Mb 1578.58/202.36 c (201,0) c 1578.58/202.36 c (201,0) c |-------------------------------------------------------------------------------------------------------| 1578.58/202.36 c (201,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 1578.58/202.36 c (201,0) c |-------------------------------------------------------------------------------------------------------| 1578.58/202.36 c (201,0) c | 0 | 837 | 1434018 | 1155168 | 48300 | 113788 | 117643 | 835039 | 48478 | 0.004 | 1578.58/202.36 c (201,0) c | 1 | 1102 | 1479539 | 1173700 | 48645 | 132323 | 123248 | 820961 | 47758 | 0.001 | 1578.58/202.36 c (201,0) c | 2 | 694 | 1400989 | 1128644 | 48154 | 87261 | 119148 | 834139 | 47567 | 0.004 | 1621.65/207.77 c (207,0) c | 3 | 969 | 1421720 | 1130222 | 48433 | 88846 | 121201 | 832162 | 49087 | 0.001 | 1621.65/207.77 c (207,0) c | 4 | 746 | 1247091 | 1017397 | 47558 | 117813 | 102468 | 850235 | 37534 | 0.001 | 1621.65/207.77 c (207,0) c | 5 | 828 | 1501611 | 1201390 | 48482 | 85208 | 125218 | 827939 | 45185 | 0.000 | 1621.65/207.77 c (207,0) c | 6 | 655 | 1427176 | 1138774 | 48577 | 97392 | 118911 | 831483 | 48925 | 0.001 | 1621.65/207.77 c (207,0) c | 7 | 631 | 1475658 | 1184159 | 48382 | 142785 | 125568 | 826989 | 50007 | 0.002 | 1621.65/207.77 c (207,0) c 1621.65/207.77 c (207,0) c synthesis 9129456 conflicts 1537672970 propagations 5858 conflicts/sec 986645 propagations/sec 1621.65/207.77 c (207,0) c Total Memory so far : 727.68Mb 1621.65/207.77 c (207,0) c 1621.65/207.77 c (207,0) c |-------------------------------------------------------------------------------------------------------| 1621.65/207.77 c (207,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 1621.65/207.77 c (207,0) c |-------------------------------------------------------------------------------------------------------| 1621.65/207.77 c (207,0) c | 0 | 846 | 1452833 | 1170836 | 48303 | 129456 | 118836 | 842798 | 49343 | 0.004 | 1621.65/207.77 c (207,0) c | 1 | 1102 | 1497241 | 1188458 | 48657 | 147081 | 125191 | 820961 | 48400 | 0.001 | 1621.65/207.77 c (207,0) c | 2 | 695 | 1422565 | 1146588 | 48182 | 105205 | 120817 | 843888 | 48228 | 0.004 | 1621.65/207.77 c (207,0) c | 3 | 1049 | 1445186 | 1148289 | 48442 | 106913 | 122659 | 841996 | 49554 | 0.000 | 1621.65/207.77 c (207,0) c | 4 | 753 | 1270103 | 1035781 | 47672 | 136197 | 103588 | 861684 | 38912 | 0.000 | 1621.65/207.77 c (207,0) c | 5 | 834 | 1523457 | 1219512 | 48496 | 103329 | 126773 | 836180 | 45660 | 0.000 | 1621.65/207.77 c (207,0) c | 6 | 671 | 1451499 | 1158204 | 48596 | 116822 | 120594 | 844188 | 49694 | 0.002 | 1621.65/207.77 c (207,0) c | 7 | 633 | 1495915 | 1200704 | 48395 | 84533 | 127214 | 837362 | 50787 | 0.002 | 1621.65/207.77 c (207,0) c 1621.65/207.77 c (207,0) c synthesis 9268373 conflicts 1560835507 propagations 5828 conflicts/sec 981432 propagations/sec 1621.65/207.77 c (207,0) c Total Memory so far : 728.61Mb 1621.65/207.77 c (207,0) c last restart ## conflicts : 1959 25 1621.65/207.77 c (207,0) c Thread 2 is 100% pure glucose! First thread to finish! (SAT answer). 1621.65/207.77 c (207,0) c Total Memory so far : 728.75Mb 1621.65/207.77 c (207,0) c 1621.65/207.77 c (207,0) c real time : 201.042 s 1621.65/207.77 c (207,0) c cpu time : 1601.64 s 1621.65/207.77 c (207,0) c 1621.65/207.77 c (207,0) c 1621.65/207.77 c (207,0) c 1621.65/207.77 c (207,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 1621.65/207.77 c (207,0) c 1621.65/207.77 c (207,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1621.65/207.77 c (207,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 1621.65/207.77 c (207,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1621.65/207.77 c (207,0) c | Conflicts | 9316065 | 1176146 | 1194493 | 1151951 | 1154264 | 1042150 | 1225440 | 1163979 | 1207642 | 1621.65/207.77 c (207,0) c | Decisions | 11616973 | 1458991 | 1504525 | 1429025 | 1452742 | 1278146 | 1530727 | 1458421 | 1504396 | 1621.65/207.77 c (207,0) c | Propagations | 1568768692 | 198265306 | 198950709 | 193719071 | 194506882 | 177744551 | 204894760 | 195992165 | 204695248 | 1621.65/207.77 c (207,0) c | Avg_Trail | | 676 | 683 | 681 | 687 | 683 | 685 | 683 | 683 | 1621.65/207.77 c (207,0) c | Avg_DL | | 14 | 15 | 15 | 15 | 14 | 15 | 15 | 15 | 1621.65/207.77 c (207,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1621.65/207.77 c (207,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1621.65/207.77 c (207,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1621.65/207.77 c (207,0) c | Exported | 970100 | 119287 | 125983 | 121322 | 123168 | 104017 | 127246 | 121125 | 127952 | 1621.65/207.77 c (207,0) c | Imported | 6748810 | 842798 | 820961 | 847131 | 846510 | 865382 | 841995 | 844188 | 839845 | 1621.65/207.77 c (207,0) c | Good | 637 | 78 | 79 | 82 | 78 | 79 | 80 | 79 | 82 | 1621.65/207.77 c (207,0) c | Purge | 6748173 | 842720 | 820882 | 847049 | 846432 | 865303 | 841915 | 844109 | 839763 | 1621.65/207.77 c (207,0) c | Promoted | 382580 | 49539 | 48595 | 48456 | 49709 | 39399 | 45828 | 49937 | 51117 | 1621.65/207.77 c (207,0) c | Remove_Imp | 5421411 | 658215 | 671022 | 667978 | 676493 | 721222 | 671760 | 677739 | 676982 | 1621.65/207.77 c (207,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1621.65/207.77 c (207,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1621.65/207.77 c (207,0) c | Unaries | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1621.65/207.77 c (207,0) c | Binaries | | 13 | 12 | 9 | 13 | 12 | 12 | 13 | 9 | 1621.65/207.77 c (207,0) c | Glues | | 1019 | 1128 | 985 | 1068 | 851 | 1006 | 1203 | 1126 | 1621.65/207.77 c (207,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1621.65/207.77 c (207,0) c | Orig_Seen | 97 % | 48309 | 48659 | 48185 | 48443 | 47695 | 48496 | 48599 | 48400 | 1621.65/207.77 c (207,0) c | Diff Orig seen| | 124 | 474 | X | 258 | - 490 | 311 | 414 | 215 | 1621.65/207.77 c (207,0) c | Hamming | 30 % | 400 | 447 | X | 424 | 409 | 412 | 358 | 469 | 1621.65/207.77 c (207,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1621.65/207.77 c (207,0) 1621.65/207.77 c (207,0) s SATISFIABLE 19.47/207.80 c (207,6) SatSolver.solve End 19.47/207.80 c (207,6) Heap : 3379 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB) 19.47/207.80 c (207,6) Show results Begin 19.47/207.81 c (207,6) x[0] = 6 19.47/207.81 c (207,6) x[1] = 5 19.47/207.81 c (207,6) x[2] = 2 19.47/207.81 c (207,6) x[3] = 13 19.47/207.81 c (207,6) x[4] = 20 19.47/207.81 c (207,6) x[5] = 4 19.47/207.81 c (207,6) x[6] = 10 19.47/207.81 c (207,6) x[7] = 21 19.47/207.81 c (207,6) x[8] = 2 19.47/207.81 c (207,6) x[9] = 9 19.47/207.81 c (207,6) x[10] = 12 19.47/207.81 c (207,6) x[11] = 2 19.47/207.81 c (207,6) x[12] = 9 19.47/207.81 c (207,6) x[13] = 14 19.47/207.81 c (207,6) x[14] = 0 19.47/207.81 c (207,6) x[15] = 1 19.47/207.81 c (207,6) x[16] = 1 19.47/207.81 c (207,6) x[17] = 19 19.47/207.81 c (207,6) x[18] = 14 19.47/207.81 c (207,6) x[19] = 13 19.47/207.81 c (207,6) x[20] = 20 19.47/207.81 c (207,6) x[21] = 14 19.47/207.81 c (207,6) x[22] = 8 19.47/207.81 c (207,6) x[23] = 7 19.47/207.81 c (207,6) x[24] = 4 19.47/207.81 c (207,6) x[25] = 13 19.47/207.81 c (207,6) x[26] = 8 19.47/207.81 c (207,6) x[27] = 9 19.47/207.81 c (207,6) x[28] = 8 19.47/207.81 c (207,6) x[29] = 9 19.47/207.81 c (207,6) x[30] = 22 19.47/207.81 c (207,6) x[31] = 14 19.47/207.81 c (207,6) x[32] = 17 19.47/207.81 c (207,6) x[33] = 7 19.47/207.81 c (207,6) x[34] = 19 19.47/207.81 c (207,6) x[35] = 5 19.47/207.81 c (207,6) x[36] = 22 19.47/207.81 c (207,6) x[37] = 5 19.47/207.81 c (207,6) x[38] = 14 19.47/207.81 c (207,6) x[39] = 21 19.47/207.81 c (207,6) x[40] = 8 19.47/207.81 c (207,6) x[41] = 8 19.47/207.81 c (207,6) x[42] = 22 19.47/207.81 c (207,6) x[43] = 9 19.47/207.81 c (207,6) x[44] = 2 19.47/207.81 c (207,6) x[45] = 4 19.47/207.81 c (207,6) x[46] = 19 19.47/207.81 c (207,6) x[47] = 22 19.47/207.81 c (207,6) x[48] = 13 19.47/207.81 c (207,6) x[49] = 17 19.47/207.81 s SATISFIABLE 19.47/207.81 v <instantiation> 19.47/207.81 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]</list> 19.47/207.81 v <values>6 5 2 13 20 4 10 21 2 9 12 2 9 14 0 1 1 19 14 13 20 14 8 7 4 13 8 9 8 9 22 14 17 7 19 5 22 5 14 21 8 8 22 9 2 4 19 22 13 17</values> 19.47/207.81 v </instantiation> 19.47/207.81 c (207,6) Show results End 19.47/207.81 c (207,6) Heap : 3379 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB) 19.47/207.81 c (207,6) 0,0,5,5,5,5,5,207,207,STOP-AFTER(ALL) 19.47/207.81 c END-Prog: Fri Jul 27 10:09:31 CEST 2018
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 (13195 MiB free)
memory of node 1: 16384 MiB (13719 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297049-1532678763/watcher-4297049-1532678763 -o /tmp/evaluation-result-4297049-1532678763/solver-4297049-1532678763 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1532673690-11357 --watchdog 2580 java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -order -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297049-1532678763.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
Current StackSize limit: 8192 KiB
solver pid=12047, runsolver pid=12044
[startup+0.100132 s]*
/proc/loadavg: 8.56 8.78 8.86 2/203 12067
/proc/meminfo: memFree=27463640/32770624 swapFree=67108856/67108860
[pid=12047] ppid=12044 vsize=27312552 memory=110008 CPUtime=0.11 cores=0-7
/proc/12047/stat : 12047 (java) S 12044 12047 11330 0 -1 1077944320 6529 0 0 0 9 2 0 0 20 0 20 0 85439465 27968053248 27502 33554432000 4194304 4196468 140731388250416 140731388232960 140121148792567 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
/proc/12047/statm: 6828138 27502 2753 1 0 6790598 0
[pid=12047/tid=12049] ppid=12044 vsize=27312552 memory=7680496022642925723 CPUtime=0.09 cores=0-7
/proc/12047/task/12049/stat : 12049 (java) R 12044 12047 11330 0 -1 4202560 4641 0 0 0 7 2 0 0 20 0 20 0 85439465 27968053248 27502 33554432000 4194304 4196468 140731388250416 140121120588448 140121131979376 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12050] ppid=12044 vsize=27312552 memory=732370848448814053 CPUtime=0 cores=0-7
/proc/12047/task/12050/stat : 12050 (java) S 12044 12047 11330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85439468 27968053248 27502 33554432000 4194304 4196468 140731388250416 140121153034512 140121148802773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12051] ppid=12044 vsize=27312552 memory=140710111360640 CPUtime=0 cores=0-7
/proc/12047/task/12051/stat : 12051 (java) S 12044 12047 11330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85439468 27968053248 27502 33554432000 4194304 4196468 140731388250416 140120967190928 140121148802773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12052] ppid=12044 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12052/stat : 12052 (java) S 12044 12047 11330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85439468 27968053248 27502 33554432000 4194304 4196468 140731388250416 140120966138384 140121148802773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12053] ppid=12044 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12053/stat : 12053 (java) S 12044 12047 11330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85439468 27968053248 27502 33554432000 4194304 4196468 140731388250416 140120965085840 140121148802773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12054] ppid=12044 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12054/stat : 12054 (java) S 12044 12047 11330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85439468 27968053248 27502 33554432000 4194304 4196468 140731388250416 140120964033296 140121148802773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12055] ppid=12044 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/12047/task/12055/stat : 12055 (java) S 12044 12047 11330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85439468 27968053248 27502 33554432000 4194304 4196468 140731388250416 140120962980752 140121148802773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12056] ppid=12044 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12056/stat : 12056 (java) S 12044 12047 11330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85439468 27968053248 27502 33554432000 4194304 4196468 140731388250416 140120961928208 140121148802773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12057] ppid=12044 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12057/stat : 12057 (java) S 12044 12047 11330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85439468 27968053248 27502 33554432000 4194304 4196468 140731388250416 140120960875664 140121148802773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12058] ppid=12044 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12058/stat : 12058 (java) S 12044 12047 11330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85439469 27968053248 27502 33554432000 4194304 4196468 140731388250416 140119267809264 140121148803714 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12059] ppid=12044 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12059/stat : 12059 (java) S 12044 12047 11330 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 85439470 27968053248 27568 33554432000 4194304 4196468 140731388250416 140119080166304 140121148802773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12060] ppid=12044 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12060/stat : 12060 (java) S 12044 12047 11330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85439470 27968053248 27568 33554432000 4194304 4196468 140731388250416 140118811730928 140121148802773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12061] ppid=12044 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12061/stat : 12061 (java) S 12044 12047 11330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85439472 27968053248 27568 33554432000 4194304 4196468 140731388250416 140118437222608 140121148811163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12062] ppid=12044 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12062/stat : 12062 (java) S 12044 12047 11330 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 85439472 27968053248 27568 33554432000 4194304 4196468 140731388250416 140119266757104 140121148803714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12063] ppid=12044 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12063/stat : 12063 (java) S 12044 12047 11330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85439472 27968053248 27568 33554432000 4194304 4196468 140731388250416 140119265704560 140121148803714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12064] ppid=12044 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12064/stat : 12064 (java) S 12044 12047 11330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85439472 27968053248 27568 33554432000 4194304 4196468 140731388250416 140119264652016 140121148803714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12065] ppid=12044 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12065/stat : 12065 (java) S 12044 12047 11330 0 -1 1077944384 234 0 0 0 0 0 0 0 20 0 20 0 85439472 27968053248 27568 33554432000 4194304 4196468 140731388250416 140119263599472 140121148803714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12066] ppid=12044 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12066/stat : 12066 (java) S 12044 12047 11330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85439473 27968053248 27568 33554432000 4194304 4196468 140731388250416 140117939316960 140121148802773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12067] ppid=12044 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/12047/task/12067/stat : 12067 (java) S 12044 12047 11330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85439473 27968053248 27568 33554432000 4194304 4196468 140731388250416 140119262546352 140121148803714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 110008 KiB
[startup+0.210491 s]*
/proc/loadavg: 8.56 8.78 8.86 2/203 12067
/proc/meminfo: memFree=27447640/32770624 swapFree=67108856/67108860
[pid=12047] ppid=12044 vsize=27312552 memory=124136 CPUtime=0.25 cores=0-7
/proc/12047/stat : 12047 (java) S 12044 12047 11330 0 -1 1077944320 10319 0 0 0 22 3 0 0 20 0 20 0 85439465 27968053248 31034 33554432000 4194304 4196468 140731388250416 140731388232960 140121148792567 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
/proc/12047/statm: 6828138 31034 2851 1 0 6790598 0
[pid=12047/tid=12049] ppid=12044 vsize=27312552 memory=32758254098972862 CPUtime=0.2 cores=0-7
/proc/12047/task/12049/stat : 12049 (java) R 12044 12047 11330 0 -1 4202560 8215 0 0 0 17 3 0 0 20 0 20 0 85439465 27968053248 31034 33554432000 4194304 4196468 140731388250416 140121120621088 140121148804502 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12050] ppid=12044 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12050/stat : 12050 (java) S 12044 12047 11330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85439468 27968053248 31034 33554432000 4194304 4196468 140731388250416 140121153034512 140121148802773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12051] ppid=12044 vsize=27312552 memory=140710111372254 CPUtime=0 cores=0-7
/proc/12047/task/12051/stat : 12051 (java) S 12044 12047 11330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85439468 27968053248 31034 33554432000 4194304 4196468 140731388250416 140120967190928 140121148802773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12052] ppid=12044 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12052/stat : 12052 (java) S 12044 12047 11330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85439468 27968053248 31034 33554432000 4194304 4196468 140731388250416 140120966138384 140121148802773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12053] ppid=12044 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12053/stat : 12053 (java) S 12044 12047 11330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85439468 27968053248 31034 33554432000 4194304 4196468 140731388250416 140120965085840 140121148802773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12054] ppid=12044 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12054/stat : 12054 (java) S 12044 12047 11330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85439468 27968053248 31034 33554432000 4194304 4196468 140731388250416 140120964033296 140121148802773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12055] ppid=12044 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/12047/task/12055/stat : 12055 (java) S 12044 12047 11330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85439468 27968053248 31034 33554432000 4194304 4196468 140731388250416 140120962980752 140121148802773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12056] ppid=12044 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12056/stat : 12056 (java) S 12044 12047 11330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85439468 27968053248 31034 33554432000 4194304 4196468 140731388250416 140120961928208 140121148802773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12057] ppid=12044 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12057/stat : 12057 (java) S 12044 12047 11330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85439468 27968053248 31034 33554432000 4194304 4196468 140731388250416 140120960875664 140121148802773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12058] ppid=12044 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12058/stat : 12058 (java) S 12044 12047 11330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85439469 27968053248 31034 33554432000 4194304 4196468 140731388250416 140119267809264 140121148803714 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12059] ppid=12044 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12059/stat : 12059 (java) S 12044 12047 11330 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 85439470 27968053248 31034 33554432000 4194304 4196468 140731388250416 140119080166304 140121148802773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12060] ppid=12044 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12060/stat : 12060 (java) S 12044 12047 11330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85439470 27968053248 31034 33554432000 4194304 4196468 140731388250416 140118811730928 140121148802773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12061] ppid=12044 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12061/stat : 12061 (java) S 12044 12047 11330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85439472 27968053248 31034 33554432000 4194304 4196468 140731388250416 140118437222608 140121148811163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12062] ppid=12044 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12062/stat : 12062 (java) S 12044 12047 11330 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 20 0 85439472 27968053248 31034 33554432000 4194304 4196468 140731388250416 140119266757104 140121148803714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12063] ppid=12044 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12063/stat : 12063 (java) S 12044 12047 11330 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 85439472 27968053248 31034 33554432000 4194304 4196468 140731388250416 140119265704560 140121148803714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12064] ppid=12044 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12064/stat : 12064 (java) S 12044 12047 11330 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 85439472 27968053248 31034 33554432000 4194304 4196468 140731388250416 140119264652016 140121148803714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12065] ppid=12044 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7
/proc/12047/task/12065/stat : 12065 (java) S 12044 12047 11330 0 -1 1077944384 277 0 0 0 2 0 0 0 20 0 20 0 85439472 27968053248 31034 33554432000 4194304 4196468 140731388250416 140119263599472 140121148803714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12066] ppid=12044 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12066/stat : 12066 (java) S 12044 12047 11330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85439473 27968053248 31034 33554432000 4194304 4196468 140731388250416 140117939316960 140121148802773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12067] ppid=12044 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/12047/task/12067/stat : 12067 (java) S 12044 12047 11330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85439473 27968053248 31034 33554432000 4194304 4196468 140731388250416 140119262546352 140121148803714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 124136 KiB
[startup+0.310428 s]*
/proc/loadavg: 8.56 8.78 8.86 2/203 12067
/proc/meminfo: memFree=27444600/32770624 swapFree=67108856/67108860
[pid=12047] ppid=12044 vsize=27312552 memory=128148 CPUtime=0.42 cores=0-7
/proc/12047/stat : 12047 (java) S 12044 12047 11330 0 -1 1077944320 10851 0 0 0 38 4 0 0 20 0 20 0 85439465 27968053248 32037 33554432000 4194304 4196468 140731388250416 140731388232960 140121148792567 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
/proc/12047/statm: 6828138 32037 3017 1 0 6790598 0
[pid=12047/tid=12049] ppid=12044 vsize=27312552 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/12047/task/12049/stat : 12049 (java) R 12044 12047 11330 0 -1 4202560 8582 0 0 0 26 3 0 0 20 0 20 0 85439465 27968053248 32037 33554432000 4194304 4196468 140731388250416 140121120596720 140121130357070 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12050] ppid=12044 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12050/stat : 12050 (java) S 12044 12047 11330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85439468 27968053248 32037 33554432000 4194304 4196468 140731388250416 140121153034512 140121148802773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12051] ppid=12044 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12051/stat : 12051 (java) S 12044 12047 11330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85439468 27968053248 32037 33554432000 4194304 4196468 140731388250416 140120967190928 140121148802773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12052] ppid=12044 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12052/stat : 12052 (java) S 12044 12047 11330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85439468 27968053248 32037 33554432000 4194304 4196468 140731388250416 140120966138384 140121148802773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12053] ppid=12044 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12053/stat : 12053 (java) S 12044 12047 11330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85439468 27968053248 32037 33554432000 4194304 4196468 140731388250416 140120965085840 140121148802773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12054] ppid=12044 vsize=27312552 memory=2244 CPUtime=0 cores=0-7
/proc/12047/task/12054/stat : 12054 (java) S 12044 12047 11330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85439468 27968053248 32037 33554432000 4194304 4196468 140731388250416 140120964033296 140121148802773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12055] ppid=12044 vsize=27312552 memory=140709973816239 CPUtime=0 cores=0-7
/proc/12047/task/12055/stat : 12055 (java) S 12044 12047 11330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85439468 27968053248 32037 33554432000 4194304 4196468 140731388250416 140120962980752 140121148802773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12056] ppid=12044 vsize=27312552 memory=140709973818544 CPUtime=0 cores=0-7
/proc/12047/task/12056/stat : 12056 (java) S 12044 12047 11330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85439468 27968053248 32037 33554432000 4194304 4196468 140731388250416 140120961928208 140121148802773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12057] ppid=12044 vsize=27312552 memory=140709973820848 CPUtime=0 cores=0-7
/proc/12047/task/12057/stat : 12057 (java) S 12044 12047 11330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85439468 27968053248 32037 33554432000 4194304 4196468 140731388250416 140120960875664 140121148802773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12058] ppid=12044 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12058/stat : 12058 (java) S 12044 12047 11330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85439469 27968053248 32037 33554432000 4194304 4196468 140731388250416 140119267809264 140121148803714 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12059] ppid=12044 vsize=27312552 memory=281419947648656 CPUtime=0 cores=0-7
/proc/12047/task/12059/stat : 12059 (java) S 12044 12047 11330 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 85439470 27968053248 32037 33554432000 4194304 4196468 140731388250416 140119080166304 140121148802773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12060] ppid=12044 vsize=27312552 memory=281419947655568 CPUtime=0 cores=0-7
/proc/12047/task/12060/stat : 12060 (java) S 12044 12047 11330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85439470 27968053248 32037 33554432000 4194304 4196468 140731388250416 140118811730928 140121148802773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12061] ppid=12044 vsize=27312552 memory=281419947596848 CPUtime=0 cores=0-7
/proc/12047/task/12061/stat : 12061 (java) S 12044 12047 11330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85439472 27968053248 32037 33554432000 4194304 4196468 140731388250416 140118437222608 140121148811163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12062] ppid=12044 vsize=27312552 memory=281419947669392 CPUtime=0.01 cores=0-7
/proc/12047/task/12062/stat : 12062 (java) S 12044 12047 11330 0 -1 1077944384 411 0 0 0 1 0 0 0 20 0 20 0 85439472 27968053248 32037 33554432000 4194304 4196468 140731388250416 140119266757104 140121148803714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12063] ppid=12044 vsize=27312552 memory=281419947676304 CPUtime=0 cores=0-7
/proc/12047/task/12063/stat : 12063 (java) S 12044 12047 11330 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 20 0 85439472 27968053248 32037 33554432000 4194304 4196468 140731388250416 140119265704560 140121148803714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12064] ppid=12044 vsize=27312552 memory=281419947674000 CPUtime=0.01 cores=0-7
/proc/12047/task/12064/stat : 12064 (java) S 12044 12047 11330 0 -1 1077944384 83 0 0 0 1 0 0 0 20 0 20 0 85439472 27968053248 32037 33554432000 4194304 4196468 140731388250416 140119264652016 140121148803714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12065] ppid=12044 vsize=27312552 memory=281419947690560 CPUtime=0.07 cores=0-7
/proc/12047/task/12065/stat : 12065 (java) S 12044 12047 11330 0 -1 1077944384 298 0 0 0 7 0 0 0 20 0 20 0 85439472 27968053248 32037 33554432000 4194304 4196468 140731388250416 140119263599472 140121148803714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12066] ppid=12044 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12066/stat : 12066 (java) S 12044 12047 11330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85439473 27968053248 32037 33554432000 4194304 4196468 140731388250416 140117939316960 140121148802773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12067] ppid=12044 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/12047/task/12067/stat : 12067 (java) S 12044 12047 11330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85439473 27968053248 32037 33554432000 4194304 4196468 140731388250416 140119262546352 140121148803714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 128148 KiB
[startup+0.702776 s]
/proc/loadavg: 8.56 8.78 8.86 2/203 12067
/proc/meminfo: memFree=27419920/32770624 swapFree=67108856/67108860
[pid=12047] ppid=12044 vsize=27318824 memory=167200 CPUtime=1.04 cores=0-7
/proc/12047/stat : 12047 (java) S 12044 12047 11330 0 -1 1077944320 17824 0 0 0 97 7 0 0 20 0 20 0 85439465 27974475776 41800 33554432000 4194304 4196468 140731388250416 140731388232960 140121148792567 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
/proc/12047/statm: 6829706 41800 3153 1 0 6791110 0
[pid=12047/tid=12049] ppid=12044 vsize=27318824 memory=7230638415856429655 CPUtime=0.67 cores=0-7
/proc/12047/task/12049/stat : 12049 (java) R 12044 12047 11330 0 -1 4202560 14974 0 0 0 62 5 0 0 20 0 20 0 85439465 27974475776 41800 33554432000 4194304 4196468 140731388250416 140121120620752 140121148814493 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12050] ppid=12044 vsize=27318824 memory=51823075417668 CPUtime=0 cores=0-7
/proc/12047/task/12050/stat : 12050 (java) S 12044 12047 11330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85439468 27974475776 41800 33554432000 4194304 4196468 140731388250416 140121153034512 140121148802773 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12051] ppid=12044 vsize=27318824 memory=140709973830472 CPUtime=0 cores=0-7
/proc/12047/task/12051/stat : 12051 (java) S 12044 12047 11330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85439468 27974475776 41800 33554432000 4194304 4196468 140731388250416 140120967190928 140121148802773 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12052] ppid=12044 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12052/stat : 12052 (java) S 12044 12047 11330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85439468 27974475776 41800 33554432000 4194304 4196468 140731388250416 140120966138384 140121148802773 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12053] ppid=12044 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12053/stat : 12053 (java) S 12044 12047 11330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85439468 27974475776 41800 33554432000 4194304 4196468 140731388250416 140120965085840 140121148802773 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12054] ppid=12044 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12054/stat : 12054 (java) S 12044 12047 11330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85439468 27974475776 41800 33554432000 4194304 4196468 140731388250416 140120964033296 140121148802773 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12055] ppid=12044 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12055/stat : 12055 (java) S 12044 12047 11330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85439468 27974475776 41800 33554432000 4194304 4196468 140731388250416 140120962980752 140121148802773 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12056] ppid=12044 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12056/stat : 12056 (java) S 12044 12047 11330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85439468 27974475776 41800 33554432000 4194304 4196468 140731388250416 140120961928208 140121148802773 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12057] ppid=12044 vsize=27318824 memory=1804 CPUtime=0 cores=0-7
/proc/12047/task/12057/stat : 12057 (java) S 12044 12047 11330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85439468 27974475776 41800 33554432000 4194304 4196468 140731388250416 140120960875664 140121148802773 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12058] ppid=12044 vsize=27318824 memory=796 CPUtime=0 cores=0-7
/proc/12047/task/12058/stat : 12058 (java) S 12044 12047 11330 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 85439469 27974475776 41800 33554432000 4194304 4196468 140731388250416 140119267809264 140121148803714 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
################
# More data... #
################
/proc/12047/task/12059/stat : 12059 (java) S 12044 12047 11330 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 85439470 28656443392 718853 33554432000 4194304 4196468 140731388250416 140119080166304 140121148802773 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12060] ppid=12044 vsize=27984808 memory=1244 CPUtime=0 cores=0-7
/proc/12047/task/12060/stat : 12060 (java) S 12044 12047 11330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85439470 28656443392 718853 33554432000 4194304 4196468 140731388250416 140118811730928 140121148802773 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12061] ppid=12044 vsize=27984808 memory=310428 CPUtime=0 cores=0-7
/proc/12047/task/12061/stat : 12061 (java) S 12044 12047 11330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85439472 28656443392 718853 33554432000 4194304 4196468 140731388250416 140118437222608 140121148811163 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12062] ppid=12044 vsize=27984808 memory=281419949533248 CPUtime=4.14 cores=0-7
/proc/12047/task/12062/stat : 12062 (java) S 12044 12047 11330 0 -1 1077944384 5752 0 0 0 413 1 0 0 20 0 24 0 85439472 28656443392 718853 33554432000 4194304 4196468 140731388250416 140119266757104 140121148803714 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12063] ppid=12044 vsize=27984808 memory=6944656575208382560 CPUtime=3.56 cores=0-7
/proc/12047/task/12063/stat : 12063 (java) S 12044 12047 11330 0 -1 1077944384 4822 0 0 0 355 1 0 0 20 0 24 0 85439472 28656443392 718853 33554432000 4194304 4196468 140731388250416 140119265704560 140121148803714 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 15 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12064] ppid=12044 vsize=27984808 memory=7522532459254397776 CPUtime=3.67 cores=0-7
/proc/12047/task/12064/stat : 12064 (java) S 12044 12047 11330 0 -1 1077944384 3942 0 0 0 366 1 0 0 20 0 24 0 85439472 28656443392 718853 33554432000 4194304 4196468 140731388250416 140119264652016 140121148803714 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12065] ppid=12044 vsize=27984808 memory=6370453167753150049 CPUtime=1.3 cores=0-7
/proc/12047/task/12065/stat : 12065 (java) S 12044 12047 11330 0 -1 1077944384 3641 0 0 0 128 2 0 0 20 0 24 0 85439472 28656443392 718853 33554432000 4194304 4196468 140731388250416 140119263599472 140121148803714 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12066] ppid=12044 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12066/stat : 12066 (java) S 12044 12047 11330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 85439473 28656443392 718853 33554432000 4194304 4196468 140731388250416 140117939316960 140121148802773 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12067] ppid=12044 vsize=27984808 memory=7451880023966378085 CPUtime=0.1 cores=0-7
/proc/12047/task/12067/stat : 12067 (java) S 12044 12047 11330 0 -1 1077944384 15 0 0 0 0 10 0 0 20 0 24 0 85439473 28656443392 718853 33554432000 4194304 4196468 140731388250416 140119262546352 140121148803714 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12069] ppid=12044 vsize=27984808 memory=3761408603592340434 CPUtime=0 cores=0-7
/proc/12047/task/12069/stat : 12069 (java) S 12044 12047 11330 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 85440139 28656443392 718853 33554432000 4194304 4196468 140731388250416 140120959497408 140121148817177 0 4 0 25189583 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12071] ppid=12044 vsize=27984808 memory=281419948502488 CPUtime=0.02 cores=0-7
/proc/12047/task/12071/stat : 12071 (java) S 12044 12047 11330 0 -1 4202560 51 0 0 0 2 0 0 0 20 0 24 0 85440139 28656443392 718853 33554432000 4194304 4196468 140731388250416 140117268217808 140121148814493 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12072] ppid=12044 vsize=27984808 memory=1704 CPUtime=0 cores=0-7
/proc/12047/task/12072/stat : 12072 (java) S 12044 12047 11330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 85440139 28656443392 718853 33554432000 4194304 4196468 140731388250416 140116999782192 140121148814493 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12073] ppid=12044 vsize=27984808 memory=11860 CPUtime=0 cores=0-7
/proc/12047/task/12073/stat : 12073 (java) S 12044 12047 11330 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 24 0 85440141 28656443392 718853 33554432000 4194304 4196468 140731388250416 140117536661152 140121148802773 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
Current children cumulated CPU time: 1617.65 s
Current children cumulated vsize: 28730900 KiB
Current children cumulated memory: 3460480 KiB
[startup+207.601 s]
/proc/loadavg: 8.69 8.64 8.77 9/216 12081
/proc/meminfo: memFree=24109480/32770624 swapFree=67108856/67108860
[pid=12047] ppid=12044 vsize=27984808 memory=2875412 CPUtime=19.44 cores=0-7
/proc/12047/stat : 12047 (java) S 12044 12047 11330 0 -1 1077944320 38825 0 0 0 1889 55 0 0 20 0 24 0 85439465 28656443392 718853 33554432000 4194304 4196468 140731388250416 140731388232960 140121148792567 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
/proc/12047/statm: 6996202 718853 3231 1 0 6957058 0
[pid=12068] ppid=12047 vsize=746232 memory=596424 CPUtime=1601.41 cores=0-7
/proc/12068/stat : 12068 (glucose-syrup) S 12047 12047 11330 0 -1 1077944320 320933 0 0 0 160024 117 0 0 20 0 9 0 85440138 764141568 149106 33554432000 4194304 4373367 140720854794288 140720854792832 139834644437634 0 4 0 8388610 18446744073709551615 0 0 17 3 0 0 0 0 0 6470912 6472264 20537344 140720854799279 140720854799532 140720854799532 140720854802375 0
/proc/12068/statm: 186558 149106 381 44 0 182246 0
[pid=12068/tid=12074] ppid=12047 vsize=746232 memory=1244 CPUtime=200.64 cores=0-7
/proc/12068/task/12074/stat : 12074 (glucose-syrup) R 12047 12047 11330 0 -1 4202560 39764 0 0 0 20051 13 0 0 20 0 9 0 85440147 764141568 149106 33554432000 4194304 4373367 140720854794288 139834623056728 4272344 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 20537344 140720854799279 140720854799532 140720854799532 140720854802375 0
[pid=12068/tid=12075] ppid=12047 vsize=746232 memory=2268 CPUtime=198.95 cores=0-7
/proc/12068/task/12075/stat : 12075 (glucose-syrup) R 12047 12047 11330 0 -1 4202560 35909 0 0 0 19879 16 0 0 20 0 9 0 85440147 764141568 149106 33554432000 4194304 4373367 140720854794288 139834614664336 4271958 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 20537344 140720854799279 140720854799532 140720854799532 140720854802375 0
[pid=12068/tid=12076] ppid=12047 vsize=746232 memory=1804 CPUtime=200.64 cores=0-7
/proc/12068/task/12076/stat : 12076 (glucose-syrup) R 12047 12047 11330 0 -1 4202560 46253 0 0 0 20049 15 0 0 20 0 9 0 85440147 764141568 149106 33554432000 4194304 4373367 140720854794288 139834606271760 4271914 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 20537344 140720854799279 140720854799532 140720854799532 140720854802375 0
[pid=12068/tid=12077] ppid=12047 vsize=746232 memory=796 CPUtime=198.04 cores=0-7
/proc/12068/task/12077/stat : 12077 (glucose-syrup) R 12047 12047 11330 0 -1 4202560 38011 0 0 0 19791 13 0 0 20 0 9 0 85440147 764141568 149106 33554432000 4194304 4373367 140720854794288 139834597879152 4272045 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 20537344 140720854799279 140720854799532 140720854799532 140720854802375 0
[pid=12068/tid=12078] ppid=12047 vsize=746232 memory=1704 CPUtime=200.75 cores=0-7
/proc/12068/task/12078/stat : 12078 (glucose-syrup) R 12047 12047 11330 0 -1 4202560 40747 0 0 0 20062 13 0 0 20 0 9 0 85440147 764141568 149106 33554432000 4194304 4373367 140720854794288 139834589486448 4271897 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 20537344 140720854799279 140720854799532 140720854799532 140720854802375 0
[pid=12068/tid=12079] ppid=12047 vsize=746232 memory=-5155627998865157509 CPUtime=200.74 cores=0-7
/proc/12068/task/12079/stat : 12079 (glucose-syrup) R 12047 12047 11330 0 -1 4202560 36701 0 0 0 20057 17 0 0 20 0 9 0 85440147 764141568 149106 33554432000 4194304 4373367 140720854794288 139834581093744 4271593 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 20537344 140720854799279 140720854799532 140720854799532 140720854802375 0
[pid=12068/tid=12080] ppid=12047 vsize=746232 memory=4136 CPUtime=200.71 cores=0-7
/proc/12068/task/12080/stat : 12080 (glucose-syrup) R 12047 12047 11330 0 -1 4202560 38936 0 0 0 20058 13 0 0 20 0 9 0 85440147 764141568 149106 33554432000 4194304 4373367 140720854794288 139834572701040 4257654 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 20537344 140720854799279 140720854799532 140720854799532 140720854802375 0
[pid=12068/tid=12081] ppid=12047 vsize=746232 memory=4100 CPUtime=200.75 cores=0-7
/proc/12068/task/12081/stat : 12081 (glucose-syrup) R 12047 12047 11330 0 -1 4202560 38190 0 0 0 20063 12 0 0 20 0 9 0 85440147 764141568 149106 33554432000 4194304 4373367 140720854794288 139834564308336 4291605 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 20537344 140720854799279 140720854799532 140720854799532 140720854802375 0
[pid=12047/tid=12049] ppid=12044 vsize=27984808 memory=1412 CPUtime=6.59 cores=0-7
/proc/12047/task/12049/stat : 12049 (java) S 12044 12047 11330 0 -1 1077944384 19195 0 0 0 613 46 0 0 20 0 24 0 85439465 28656443392 718853 33554432000 4194304 4196468 140731388250416 140121120631808 140121148802773 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12050] ppid=12044 vsize=27984808 memory=3836 CPUtime=0 cores=0-7
/proc/12047/task/12050/stat : 12050 (java) S 12044 12047 11330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 85439468 28656443392 718853 33554432000 4194304 4196468 140731388250416 140121153034512 140121148802773 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12051] ppid=12044 vsize=27984808 memory=2875412 CPUtime=0 cores=0-7
/proc/12047/task/12051/stat : 12051 (java) S 12044 12047 11330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 85439468 28656443392 718853 33554432000 4194304 4196468 140731388250416 140120967190928 140121148802773 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12052] ppid=12044 vsize=27984808 memory=582824 CPUtime=0 cores=0-7
/proc/12047/task/12052/stat : 12052 (java) S 12044 12047 11330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85439468 28656443392 718853 33554432000 4194304 4196468 140731388250416 140120966138384 140121148802773 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12053] ppid=12044 vsize=27984808 memory=836 CPUtime=0 cores=0-7
/proc/12047/task/12053/stat : 12053 (java) S 12044 12047 11330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 85439468 28656443392 718853 33554432000 4194304 4196468 140731388250416 140120965085840 140121148802773 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12054] ppid=12044 vsize=27984808 memory=1796 CPUtime=0 cores=0-7
/proc/12047/task/12054/stat : 12054 (java) S 12044 12047 11330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 85439468 28656443392 718853 33554432000 4194304 4196468 140731388250416 140120964033296 140121148802773 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12055] ppid=12044 vsize=27984808 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/12047/task/12055/stat : 12055 (java) S 12044 12047 11330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 85439468 28656443392 718853 33554432000 4194304 4196468 140731388250416 140120962980752 140121148802773 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12056] ppid=12044 vsize=27984808 memory=431544 CPUtime=0 cores=0-7
/proc/12047/task/12056/stat : 12056 (java) S 12044 12047 11330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85439468 28656443392 718853 33554432000 4194304 4196468 140731388250416 140120961928208 140121148802773 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12057] ppid=12044 vsize=27984808 memory=2875412 CPUtime=0 cores=0-7
/proc/12047/task/12057/stat : 12057 (java) S 12044 12047 11330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 85439468 28656443392 718853 33554432000 4194304 4196468 140731388250416 140120960875664 140121148802773 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12058] ppid=12044 vsize=27984808 memory=455164 CPUtime=0 cores=0-7
/proc/12047/task/12058/stat : 12058 (java) S 12044 12047 11330 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 24 0 85439469 28656443392 718853 33554432000 4194304 4196468 140731388250416 140119267809264 140121148803714 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12059] ppid=12044 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/12047/task/12059/stat : 12059 (java) S 12044 12047 11330 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 85439470 28656443392 718853 33554432000 4194304 4196468 140731388250416 140119080166304 140121148802773 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12060] ppid=12044 vsize=27984808 memory=1012 CPUtime=0 cores=0-7
/proc/12047/task/12060/stat : 12060 (java) S 12044 12047 11330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85439470 28656443392 718853 33554432000 4194304 4196468 140731388250416 140118811730928 140121148802773 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12061] ppid=12044 vsize=27984808 memory=1948 CPUtime=0 cores=0-7
/proc/12047/task/12061/stat : 12061 (java) S 12044 12047 11330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85439472 28656443392 718853 33554432000 4194304 4196468 140731388250416 140118437222608 140121148811163 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12062] ppid=12044 vsize=27984808 memory=1188 CPUtime=4.14 cores=0-7
/proc/12047/task/12062/stat : 12062 (java) S 12044 12047 11330 0 -1 1077944384 5752 0 0 0 413 1 0 0 20 0 24 0 85439472 28656443392 718853 33554432000 4194304 4196468 140731388250416 140119266757104 140121148803714 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12063] ppid=12044 vsize=27984808 memory=8436 CPUtime=3.56 cores=0-7
/proc/12047/task/12063/stat : 12063 (java) S 12044 12047 11330 0 -1 1077944384 4822 0 0 0 355 1 0 0 20 0 24 0 85439472 28656443392 718853 33554432000 4194304 4196468 140731388250416 140119265704560 140121148803714 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 15 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12064] ppid=12044 vsize=27984808 memory=15252 CPUtime=3.67 cores=0-7
/proc/12047/task/12064/stat : 12064 (java) S 12044 12047 11330 0 -1 1077944384 3943 0 0 0 366 1 0 0 20 0 24 0 85439472 28656443392 718853 33554432000 4194304 4196468 140731388250416 140119264652016 140121148803714 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12065] ppid=12044 vsize=27984808 memory=-7003737579269690708 CPUtime=1.3 cores=0-7
/proc/12047/task/12065/stat : 12065 (java) S 12044 12047 11330 0 -1 1077944384 3641 0 0 0 128 2 0 0 20 0 24 0 85439472 28656443392 718853 33554432000 4194304 4196468 140731388250416 140119263599472 140121148803714 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12066] ppid=12044 vsize=27984808 memory=576612 CPUtime=0 cores=0-7
/proc/12047/task/12066/stat : 12066 (java) S 12044 12047 11330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 85439473 28656443392 718853 33554432000 4194304 4196468 140731388250416 140117939316960 140121148802773 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12067] ppid=12044 vsize=27984808 memory=1244 CPUtime=0.1 cores=0-7
/proc/12047/task/12067/stat : 12067 (java) S 12044 12047 11330 0 -1 1077944384 15 0 0 0 0 10 0 0 20 0 24 0 85439473 28656443392 718853 33554432000 4194304 4196468 140731388250416 140119262546352 140121148803714 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12069] ppid=12044 vsize=27984808 memory=2268 CPUtime=0 cores=0-7
/proc/12047/task/12069/stat : 12069 (java) S 12044 12047 11330 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 85440139 28656443392 718853 33554432000 4194304 4196468 140731388250416 140120959497408 140121148817177 0 4 0 25189583 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12071] ppid=12044 vsize=27984808 memory=1804 CPUtime=0.02 cores=0-7
/proc/12047/task/12071/stat : 12071 (java) S 12044 12047 11330 0 -1 4202560 51 0 0 0 2 0 0 0 20 0 24 0 85440139 28656443392 718853 33554432000 4194304 4196468 140731388250416 140117268217808 140121148814493 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12072] ppid=12044 vsize=27984808 memory=796 CPUtime=0 cores=0-7
/proc/12047/task/12072/stat : 12072 (java) S 12044 12047 11330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 85440139 28656443392 718853 33554432000 4194304 4196468 140731388250416 140116999782192 140121148814493 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12073] ppid=12044 vsize=27984808 memory=1704 CPUtime=0 cores=0-7
/proc/12047/task/12073/stat : 12073 (java) S 12044 12047 11330 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 24 0 85440141 28656443392 718853 33554432000 4194304 4196468 140731388250416 140117536661152 140121148802773 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
Current children cumulated CPU time: 1620.85 s
Current children cumulated vsize: 28731040 KiB
Current children cumulated memory: 3471836 KiB
[startup+207.802 s]
/proc/loadavg: 8.69 8.64 8.77 9/216 12081
/proc/meminfo: memFree=24109480/32770624 swapFree=67108856/67108860
[pid=12047] ppid=12044 vsize=27984808 memory=2875412 CPUtime=19.47 cores=0-7
/proc/12047/stat : 12047 (java) S 12044 12047 11330 0 -1 1077944320 38866 0 0 0 1892 55 0 0 20 0 24 0 85439465 28656443392 718853 33554432000 4194304 4196468 140731388250416 140731388232960 140121148792567 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
/proc/12047/statm: 6996202 718853 3231 1 0 6957058 0
[pid=12047/tid=12049] ppid=12044 vsize=27984808 memory=916 CPUtime=6.59 cores=0-7
/proc/12047/task/12049/stat : 12049 (java) S 12044 12047 11330 0 -1 1077944384 19195 0 0 0 613 46 0 0 20 0 24 0 85439465 28656443392 718853 33554432000 4194304 4196468 140731388250416 140121120631808 140121148802773 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12050] ppid=12044 vsize=27984808 memory=4136 CPUtime=0 cores=0-7
/proc/12047/task/12050/stat : 12050 (java) S 12044 12047 11330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 85439468 28656443392 718853 33554432000 4194304 4196468 140731388250416 140121153034512 140121148802773 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12051] ppid=12044 vsize=27984808 memory=4100 CPUtime=0 cores=0-7
/proc/12047/task/12051/stat : 12051 (java) S 12044 12047 11330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 85439468 28656443392 718853 33554432000 4194304 4196468 140731388250416 140120967190928 140121148802773 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12052] ppid=12044 vsize=27984808 memory=11860 CPUtime=0 cores=0-7
/proc/12047/task/12052/stat : 12052 (java) S 12044 12047 11330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85439468 28656443392 718853 33554432000 4194304 4196468 140731388250416 140120966138384 140121148802773 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12053] ppid=12044 vsize=27984808 memory=5772 CPUtime=0 cores=0-7
/proc/12047/task/12053/stat : 12053 (java) S 12044 12047 11330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 85439468 28656443392 718853 33554432000 4194304 4196468 140731388250416 140120965085840 140121148802773 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12054] ppid=12044 vsize=27984808 memory=4616 CPUtime=0 cores=0-7
/proc/12047/task/12054/stat : 12054 (java) S 12044 12047 11330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 85439468 28656443392 718853 33554432000 4194304 4196468 140731388250416 140120964033296 140121148802773 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12055] ppid=12044 vsize=27984808 memory=1388 CPUtime=0 cores=0-7
/proc/12047/task/12055/stat : 12055 (java) S 12044 12047 11330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 85439468 28656443392 718853 33554432000 4194304 4196468 140731388250416 140120962980752 140121148802773 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12056] ppid=12044 vsize=27984808 memory=1232 CPUtime=0 cores=0-7
/proc/12047/task/12056/stat : 12056 (java) S 12044 12047 11330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85439468 28656443392 718853 33554432000 4194304 4196468 140731388250416 140120961928208 140121148802773 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12057] ppid=12044 vsize=27984808 memory=1012 CPUtime=0 cores=0-7
/proc/12047/task/12057/stat : 12057 (java) S 12044 12047 11330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 85439468 28656443392 718853 33554432000 4194304 4196468 140731388250416 140120960875664 140121148802773 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12058] ppid=12044 vsize=27984808 memory=1948 CPUtime=0 cores=0-7
/proc/12047/task/12058/stat : 12058 (java) S 12044 12047 11330 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 24 0 85439469 28656443392 718853 33554432000 4194304 4196468 140731388250416 140119267809264 140121148803714 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12059] ppid=12044 vsize=27984808 memory=1188 CPUtime=0 cores=0-7
/proc/12047/task/12059/stat : 12059 (java) S 12044 12047 11330 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 85439470 28656443392 718853 33554432000 4194304 4196468 140731388250416 140119080166304 140121148802773 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12060] ppid=12044 vsize=27984808 memory=8436 CPUtime=0 cores=0-7
/proc/12047/task/12060/stat : 12060 (java) S 12044 12047 11330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85439470 28656443392 718853 33554432000 4194304 4196468 140731388250416 140118811730928 140121148802773 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12061] ppid=12044 vsize=27984808 memory=15252 CPUtime=0 cores=0-7
/proc/12047/task/12061/stat : 12061 (java) S 12044 12047 11330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85439472 28656443392 718853 33554432000 4194304 4196468 140731388250416 140118437222608 140121148811163 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12062] ppid=12044 vsize=27984808 memory=16244 CPUtime=4.14 cores=0-7
/proc/12047/task/12062/stat : 12062 (java) S 12044 12047 11330 0 -1 1077944384 5752 0 0 0 413 1 0 0 20 0 24 0 85439472 28656443392 718853 33554432000 4194304 4196468 140731388250416 140119266757104 140121148803714 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12063] ppid=12044 vsize=27984808 memory=4048 CPUtime=3.56 cores=0-7
/proc/12047/task/12063/stat : 12063 (java) S 12044 12047 11330 0 -1 1077944384 4822 0 0 0 355 1 0 0 20 0 24 0 85439472 28656443392 718853 33554432000 4194304 4196468 140731388250416 140119265704560 140121148803714 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 15 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12064] ppid=12044 vsize=27984808 memory=1236 CPUtime=3.67 cores=0-7
/proc/12047/task/12064/stat : 12064 (java) S 12044 12047 11330 0 -1 1077944384 3950 0 0 0 366 1 0 0 20 0 24 0 85439472 28656443392 718853 33554432000 4194304 4196468 140731388250416 140119264652016 140121148803714 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12065] ppid=12044 vsize=27984808 memory=14692 CPUtime=1.31 cores=0-7
/proc/12047/task/12065/stat : 12065 (java) S 12044 12047 11330 0 -1 1077944384 3648 0 0 0 129 2 0 0 20 0 24 0 85439472 28656443392 718853 33554432000 4194304 4196468 140731388250416 140119263599472 140121148803714 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12066] ppid=12044 vsize=27984808 memory=1780 CPUtime=0 cores=0-7
/proc/12047/task/12066/stat : 12066 (java) S 12044 12047 11330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 85439473 28656443392 718853 33554432000 4194304 4196468 140731388250416 140117939316960 140121148802773 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12067] ppid=12044 vsize=27984808 memory=644 CPUtime=0.1 cores=0-7
/proc/12047/task/12067/stat : 12067 (java) S 12044 12047 11330 0 -1 1077944384 15 0 0 0 0 10 0 0 20 0 24 0 85439473 28656443392 718853 33554432000 4194304 4196468 140731388250416 140119262546352 140121148803714 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12069] ppid=12044 vsize=27984808 memory=956 CPUtime=0 cores=0-7
/proc/12047/task/12069/stat : 12069 (java) S 12044 12047 11330 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 85440139 28656443392 718853 33554432000 4194304 4196468 140731388250416 140120959497408 140121148817177 0 4 0 25189583 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12071] ppid=12044 vsize=27984808 memory=2320 CPUtime=0.03 cores=0-7
/proc/12047/task/12071/stat : 12071 (java) S 12044 12047 11330 0 -1 4202560 78 0 0 0 3 0 0 0 20 0 24 0 85440139 28656443392 718853 33554432000 4194304 4196468 140731388250416 140117268217808 140121148814493 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12072] ppid=12044 vsize=27984808 memory=1572 CPUtime=0 cores=0-7
/proc/12047/task/12072/stat : 12072 (java) S 12044 12047 11330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 85440139 28656443392 718853 33554432000 4194304 4196468 140731388250416 140116999782192 140121148814493 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
[pid=12047/tid=12073] ppid=12044 vsize=27984808 memory=928 CPUtime=0 cores=0-7
/proc/12047/task/12073/stat : 12073 (java) S 12044 12047 11330 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 24 0 85440141 28656443392 718853 33554432000 4194304 4196468 140731388250416 140117536661152 140121148802773 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140731388253145 140731388253445 140731388253445 140731388256207 0
Current children cumulated CPU time: 19.47 s
Current children cumulated vsize: 27984808 KiB
Current children cumulated memory: 2875412 KiB
Child status: 0
Real time (s): 207.852
CPU time (s): 1622.4
CPU user time (s): 1620.63
CPU system time (s): 1.7703
CPU usage (%): 780.555
Max. virtual memory (cumulated for all children) (KiB): 28748660
Max. memory (cumulated for all children) (KiB): 3471836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1620.63
system time used= 1.77029
maximum resident set size= 2876344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 359951
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26589
involuntary context switches= 19061
# summary of solver processes directly reported to runsolver:
# pid: 12047
# total CPU time (s): 1622.4
# total CPU user time (s): 1620.63
# total CPU system time (s): 1.7703
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.8962 second user time and 2.80076 second system time
The end
Begin job on node133 at 2018-07-27 10:06:03 IDJOB=4297049 IDBENCH=141589 IDSOLVER=2758 FILE ID=node133/4297049-1532678763 RUNJOBID= node133-1532673690-11357 PBS_JOBID= 21022248 Free space on /tmp= 48252 MiB SOLVER NAME= scop order+glucose-syrup (2018-07-07) BENCH NAME= XCSP18/Frb/frb-50-23-1-mgd_c18.xml COMMAND LINE= java -Xms22g -Xmx22g -Xss128m -jar DIR/scop.jar -order -solver DIR/glucose-syrup -solverOption -model:-nthreads=NBCORE:-maxmemory=10000 -tmp TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297049-1532678763/watcher-4297049-1532678763 -o /tmp/evaluation-result-4297049-1532678763/solver-4297049-1532678763 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1532673690-11357 --watchdog 2580 java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -order -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297049-1532678763.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 89c27d49b20a714b89297264b4c82bd7 RANDOM SEED=1586570870 node133.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.24 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.24 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.24 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.24 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: 27560952 kB MemAvailable: 31949388 kB Buffers: 144760 kB Cached: 4491604 kB SwapCached: 0 kB Active: 2098232 kB Inactive: 2591684 kB Active(anon): 4192 kB Inactive(anon): 76796 kB Active(file): 2094040 kB Inactive(file): 2514888 kB Unevictable: 7100 kB Mlocked: 7100 kB SwapTotal: 67108860 kB SwapFree: 67108856 kB Dirty: 8704 kB Writeback: 0 kB AnonPages: 114688 kB Mapped: 38184 kB Shmem: 25244 kB Slab: 217988 kB SReclaimable: 190688 kB SUnreclaim: 27300 kB KernelStack: 3984 kB PageTables: 5032 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 325020 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 61440 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 48244 MiB End job on node133 at 2018-07-27 10:09:31