| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| scop order+glucose-syrup (2018-07-07) | SAT | 1295.77 | 164.383 |
| Name | GracefulGraph/ GracefulGraph-K04-P04_c18.xml |
| MD5SUM | bba9b3428f0c8228a4e28ff2342631fb |
| 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 | 32.09 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 92 |
| Number of constraints | 38 |
| Number of domains | 2 |
| Minimum domain size | 36 |
| Maximum domain size | 37 |
| Distribution of domain sizes | [{"size":36,"count":36},{"size":37,"count":16}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 6 |
| Distribution of variable degrees | [{"degree":0,"count":40},{"degree":2,"count":36},{"degree":5,"count":8},{"degree":6,"count":8}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 36 |
| Distribution of constraint arities | [{"arity":3,"count":36},{"arity":16,"count":1},{"arity":36,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 36 |
| Distribution of constraint types | [{"type":"intension","count":36},{"type":"allDifferent","count":2}] |
| Optimization problem | NO |
| Type of objective |
0.66/0.53 0.66/0.53 scop order+glucose-syrup (2018-07-07) 0.66/0.53 0.66/0.55 c BEGIN-Prog: Thu Jul 26 22:21:11 CEST 2018 0.66/0.55 c PID: 6200 0.66/0.55 c IP: 172.20.3.136 0.66/0.55 c HOST: node136.alineos.net 0.66/0.56 c (0,0) Parsing Begin 1.20/0.88 c (0,0) Parsing End 1.20/0.89 c (0,0) CSP: 52 int (0 aux), 0 bool (0 aux), 38 ctr, max domain size 37 1.20/0.89 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB) 1.20/0.89 c (0,0) Constraint Name Generate Begin 1.20/0.90 c (0,0) Ctr:HOME/instance-4296977-1532636471.xml,AllDifferent:Dist:Eq:IntVar 1.20/0.90 c (0,0) Constraint Name Generate End 1.20/0.90 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB) 1.20/0.90 c (0,0) CSP to CSPinCNF Begin 1.41/1.00 c (0,0) translated 4 (10%) constraints 1.57/1.02 c (0,0) translated 8 (20%) constraints 1.57/1.03 c (0,0) translated 12 (30%) constraints 1.57/1.04 c (0,0) translated 16 (40%) constraints 1.57/1.05 c (0,0) translated 19 (50%) constraints 1.57/1.06 c (0,0) translated 23 (60%) constraints 1.57/1.07 c (0,0) translated 27 (70%) constraints 1.57/1.08 c (0,0) translated 31 (80%) constraints 1.57/1.08 c (0,0) translated 35 (90%) constraints 1.80/1.14 c (0,0) translated 38 (100%) constraints 2.35/1.33 c (0,0) STATISTICS1:HOME/instance-4296977-1532636471.xml,AllDifferent:Dist:Eq:IntVar,52,862,1332,37,36,3,1332:144;37:120;36:630,37:560;36:1476,36:2;16:2;2:786;1:72,3:144;2:750;1:104, 2.35/1.33 c (0,0) =========================================== 2.35/1.33 c (0,0) Order 2.35/1.33 c (0,0) =========================================== 2.35/1.35 c (0,0) translated 87 (10%) constraints 2.35/1.36 c (0,0) translated 173 (20%) constraints 2.35/1.37 c (0,0) translated 259 (30%) constraints 2.35/1.38 c (0,0) translated 345 (40%) constraints 2.35/1.39 c (0,0) translated 431 (50%) constraints 2.64/1.40 c (0,0) translated 518 (60%) constraints 2.64/1.41 c (0,0) translated 604 (70%) constraints 2.64/1.42 c (0,0) translated 690 (80%) constraints 2.64/1.42 c (0,0) translated 776 (90%) constraints 2.64/1.43 c (0,0) translated 862 (100%) constraints 2.64/1.44 c (0,0) CSP to CSPinCNF End 2.64/1.44 c (0,0) CSP: 52 int (0 aux), 0 bool (0 aux), 862 ctr, max domain size 37 2.64/1.44 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB) 2.64/1.44 c (0,0) CSPinCNF Propagation Begin 2.64/1.46 c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed 2.64/1.46 c (0,0) CSPinCNF Propagation End 2.64/1.47 c (0,0) CSP: 52 int (0 aux), 0 bool (0 aux), 862 ctr, max domain size 37 2.64/1.47 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB) 2.64/1.47 c (0,0) Simplify CSPinCNF Begin 3.00/1.59 c (1,1) Simplify CSPinCNF End 3.00/1.59 c (1,1) CSP: 52 int (0 aux), 1572 bool (1572 aux), 2434 ctr, max domain size 37 3.00/1.59 c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB) 3.00/1.59 c (1,1) Calculate Precise Domain Begin 3.00/1.59 c (1,1) 0 values are removed by re-calculation 3.00/1.59 c (1,1) Calculate Precise Domain End 3.00/1.59 c (1,1) CSP: 52 int (0 aux), 1572 bool (1572 aux), 2434 ctr, max domain size 37 3.00/1.59 c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB) 3.00/1.59 c (1,1) CSPinCNF to SatSolver Begin 4.95/2.06 c (1,1) 244 (10 %) CSP clauses are encoded (3408 SAT variables, 99299 SAT clauses) 5.34/2.11 c (1,1) 487 (20 %) CSP clauses are encoded (3408 SAT variables, 105374 SAT clauses) 5.34/2.14 c (1,1) 731 (30 %) CSP clauses are encoded (3408 SAT variables, 111289 SAT clauses) 5.34/2.18 c (1,1) 974 (40 %) CSP clauses are encoded (3408 SAT variables, 117202 SAT clauses) 5.56/2.21 c (1,1) 1217 (50 %) CSP clauses are encoded (3408 SAT variables, 123115 SAT clauses) 5.56/2.25 c (1,1) 1461 (60 %) CSP clauses are encoded (3408 SAT variables, 129064 SAT clauses) 5.56/2.28 c (1,1) 1704 (70 %) CSP clauses are encoded (3408 SAT variables, 134977 SAT clauses) 5.79/2.32 c (1,1) 1948 (80 %) CSP clauses are encoded (3408 SAT variables, 140891 SAT clauses) 5.79/2.34 c (1,1) 2191 (90 %) CSP clauses are encoded (3408 SAT variables, 146804 SAT clauses) 5.79/2.35 c (1,1) 2434 (100 %) CSP clauses are encoded (3408 SAT variables, 152717 SAT clauses) 5.79/2.35 c (1,1) CSPinCNF to SatSolver End 5.79/2.35 c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 5.79/2.39 c (1,1) STATISTICS2:HOME/instance-4296977-1532636471.xml,AllDifferent:Dist:Eq:IntVar,1624,2434,1332,37,36,3,1332:144;37:240;36:1260,37:800;36:2736;2:3144,36:2;16:2;2:2358;1:72,3:144;2:1500;1:3248, 5.79/2.39 c (1,1) SatSolver.solve Begin 5.79/2.39 c (1,1) 3408 bool, 152718 clause 5.79/2.39 c (1,1) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4296977-1532636471.xml-scop-6200.cnf HOME/instance-4296977-1532636471.xml-scop-6200.cnf.out 76.57/11.55 c (11,0) c 76.57/11.55 c (11,0) c This is glucose-syrup 4.1 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 76.57/11.55 c (11,0) c 76.57/11.55 c (11,0) c WARNING: for repeatability, setting FPU to use double precision 76.57/11.55 c (11,0) c 8 solvers engines and 1 companion as a blackboard created. 76.57/11.55 c (11,0) c ========================================[ Problem Statistics ]=========================================== 76.57/11.55 c (11,0) c | | 76.57/11.55 c (11,0) c | Number of variables: 3408 | 76.57/11.55 c (11,0) c | Number of clauses: 152718 | 76.57/11.55 c (11,0) c | Parse time: 0.05 s | 76.57/11.55 c (11,0) c | | 76.57/11.55 c (11,0) c | Eliminated clauses: 0.01 Mb | 76.57/11.55 c (11,0) c | Simplification time: 0.22 s | 76.57/11.55 c (11,0) c | | 76.57/11.55 c (11,0) c | Generating clones | 76.57/11.55 c (11,0) c | all clones generated. Memory = 101.07Mb. | 76.57/11.55 c (11,0) c ========================================================================================================| 76.57/11.55 c (11,0) c 76.57/11.55 c (11,0) c |-------------------------------------------------------------------------------------------------------| 76.57/11.55 c (11,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 76.57/11.55 c (11,0) c |-------------------------------------------------------------------------------------------------------| 76.57/11.55 c (11,0) c | 0 | 35 | 46802 | 34412 | 100222 | 18231 | 4875 | 34939 | 83 | 0.000 | 76.57/11.55 c (11,0) c | 1 | 30 | 45134 | 33493 | 98973 | 17302 | 4731 | 20652 | 90 | 0.000 | 76.57/11.55 c (11,0) c | 2 | 58 | 45284 | 32907 | 103031 | 16717 | 4457 | 35160 | 136 | 0.000 | 76.57/11.55 c (11,0) c | 3 | 44 | 44918 | 32309 | 107051 | 16118 | 3933 | 31540 | 121 | 0.000 | 76.57/11.55 c (11,0) c | 4 | 50 | 48762 | 35870 | 101436 | 19686 | 4993 | 34987 | 157 | 0.000 | 76.57/11.55 c (11,0) c | 5 | 43 | 48125 | 34993 | 102231 | 18805 | 4923 | 31224 | 89 | 0.000 | 76.57/11.55 c (11,0) c | 6 | 45 | 46427 | 34507 | 97348 | 18323 | 4933 | 34858 | 121 | 0.000 | 76.57/11.55 c (11,0) c | 7 | 29 | 56671 | 43397 | 93253 | 17316 | 7247 | 21546 | 113 | 0.000 | 76.57/11.55 c (11,0) c 76.57/11.56 c (11,0) c synthesis 281890 conflicts 79971171 propagations 7290 conflicts/sec 2068192 propagations/sec 76.57/11.56 c (11,0) c Total Memory so far : 700.32Mb 76.57/11.56 c (11,0) c 76.57/11.56 c (11,0) c |-------------------------------------------------------------------------------------------------------| 76.57/11.56 c (11,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 76.57/11.56 c (11,0) c |-------------------------------------------------------------------------------------------------------| 76.57/11.56 c (11,0) c | 0 | 71 | 81932 | 60147 | 121404 | 21610 | 7972 | 53370 | 270 | 0.000 | 76.57/11.56 c (11,0) c | 1 | 58 | 73315 | 54110 | 120409 | 15581 | 7405 | 53561 | 298 | 0.000 | 76.57/11.56 c (11,0) c | 2 | 99 | 77997 | 57403 | 120364 | 18869 | 7552 | 54768 | 316 | 0.000 | 76.57/11.56 c (11,0) c | 3 | 65 | 75455 | 55324 | 119499 | 16787 | 7075 | 55440 | 304 | 0.000 | 76.57/11.56 c (11,0) c | 4 | 121 | 79705 | 57388 | 124730 | 18855 | 7351 | 54565 | 421 | 0.000 | 76.57/11.56 c (11,0) c | 5 | 96 | 80261 | 58076 | 125123 | 19546 | 7561 | 54878 | 297 | 0.001 | 76.57/11.56 c (11,0) c | 6 | 101 | 77415 | 56584 | 122214 | 18044 | 7599 | 54820 | 312 | 0.000 | 76.57/11.56 c (11,0) c | 7 | 66 | 89784 | 67191 | 118524 | 28657 | 10009 | 48075 | 337 | 0.000 | 76.57/11.56 c (11,0) c 172.28/23.55 c (23,0) c synthesis 466227 conflicts 135232597 propagations 6612 conflicts/sec 1917858 propagations/sec 172.28/23.55 c (23,0) c Total Memory so far : 677.87Mb 172.28/23.55 c (23,0) c 172.28/23.55 c (23,0) c |-------------------------------------------------------------------------------------------------------| 172.28/23.55 c (23,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 172.28/23.55 c (23,0) c |-------------------------------------------------------------------------------------------------------| 172.28/23.55 c (23,0) c | 0 | 142 | 112494 | 81441 | 130421 | 27880 | 10357 | 71746 | 518 | 0.000 | 172.28/23.55 c (23,0) c | 1 | 84 | 102211 | 75864 | 127689 | 22303 | 10186 | 71820 | 538 | 0.000 | 172.28/23.55 c (23,0) c | 2 | 213 | 108593 | 78034 | 130451 | 24473 | 9685 | 72362 | 580 | 0.000 | 172.28/23.55 c (23,0) c | 3 | 92 | 107729 | 78626 | 131780 | 25069 | 10073 | 66281 | 665 | 0.000 | 172.28/23.55 c (23,0) c | 4 | 199 | 112362 | 80159 | 134431 | 26599 | 10001 | 70792 | 675 | 0.000 | 172.28/23.55 c (23,0) c | 5 | 146 | 109533 | 78732 | 133823 | 25168 | 9923 | 72208 | 536 | 0.000 | 172.28/23.55 c (23,0) c | 6 | 138 | 104923 | 76616 | 130905 | 23050 | 9810 | 72297 | 561 | 0.000 | 172.28/23.55 c (23,0) c | 7 | 130 | 118504 | 86781 | 128942 | 33217 | 12231 | 69936 | 564 | 0.000 | 172.28/23.55 c (23,0) c 172.28/23.55 c (23,0) c synthesis 636253 conflicts 187363469 propagations 6215 conflicts/sec 1830142 propagations/sec 172.28/23.55 c (23,0) c Total Memory so far : 677.87Mb 172.28/23.55 c (23,0) c 172.28/23.55 c (23,0) c |-------------------------------------------------------------------------------------------------------| 172.28/23.55 c (23,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 172.28/23.55 c (23,0) c |-------------------------------------------------------------------------------------------------------| 172.28/23.55 c (23,0) c | 0 | 214 | 138632 | 99081 | 134901 | 27901 | 12283 | 85777 | 820 | 0.000 | 172.28/23.55 c (23,0) c | 1 | 132 | 128753 | 95170 | 132016 | 24000 | 12252 | 85924 | 833 | 0.000 | 172.28/23.55 c (23,0) c | 2 | 331 | 137428 | 97062 | 134859 | 25883 | 11921 | 86615 | 943 | 0.000 | 172.28/23.55 c (23,0) c | 3 | 150 | 134248 | 97066 | 137055 | 25897 | 12048 | 86149 | 960 | 0.000 | 172.28/23.55 c (23,0) c | 4 | 229 | 134993 | 96389 | 137818 | 25218 | 11924 | 86436 | 896 | 0.000 | 172.28/23.55 c (23,0) c | 5 | 191 | 134617 | 96308 | 137871 | 25135 | 12036 | 86470 | 775 | 0.000 | 172.28/23.55 c (23,0) c | 6 | 233 | 132943 | 94979 | 137257 | 23808 | 11943 | 86592 | 871 | 0.000 | 172.28/23.55 c (23,0) c | 7 | 214 | 144710 | 103721 | 134009 | 32546 | 14136 | 84395 | 918 | 0.000 | 172.28/23.55 c (23,0) c 172.28/23.55 c (23,0) c synthesis 779776 conflicts 234179667 propagations 5809 conflicts/sec 1744590 propagations/sec 172.28/23.55 c (23,0) c Total Memory so far : 677.87Mb 172.28/23.55 c (23,0) c 172.28/23.55 c (23,0) c Try to adapt solver strategies 172.28/23.55 c (23,0) c 172.28/23.55 c (23,0) c Nothing extreme in this problem, continue with glucose default strategies. 172.28/23.55 c (23,0) c 172.28/23.55 c (23,0) c 172.28/23.55 c (23,0) c Try to adapt solver strategies 172.28/23.55 c (23,0) c 172.28/23.55 c (23,0) c Nothing extreme in this problem, continue with glucose default strategies. 172.28/23.55 c (23,0) c 172.28/23.55 c (23,0) c 172.28/23.55 c (23,0) c Try to adapt solver strategies 172.28/23.55 c (23,0) c 172.28/23.55 c (23,0) c Nothing extreme in this problem, continue with glucose default strategies. 172.28/23.55 c (23,0) c 172.28/23.55 c (23,0) c 172.28/23.55 c (23,0) c Try to adapt solver strategies 172.28/23.55 c (23,0) c 172.28/23.55 c (23,0) c Nothing extreme in this problem, continue with glucose default strategies. 172.28/23.55 c (23,0) c 172.28/23.57 c (23,0) c 172.28/23.57 c (23,0) c |-------------------------------------------------------------------------------------------------------| 172.28/23.57 c (23,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 172.28/23.57 c (23,0) c |-------------------------------------------------------------------------------------------------------| 172.28/23.57 c (23,0) c | 0 | 278 | 164841 | 117565 | 138570 | 26178 | 14024 | 98806 | 1124 | 0.000 | 172.28/23.57 c (23,0) c | 1 | 156 | 154688 | 113539 | 137061 | 22168 | 14300 | 98260 | 1163 | 0.000 | 172.28/23.57 c (23,0) c | 2 | 423 | 161594 | 112789 | 139485 | 21408 | 13365 | 99941 | 1252 | 0.000 | 172.28/23.57 c (23,0) c | 3 | 184 | 161179 | 116322 | 140532 | 24955 | 13978 | 99280 | 1212 | 0.000 | 291.93/38.55 c (38,0) c | 4 | 322 | 154790 | 108982 | 140042 | 37810 | 13276 | 100021 | 1144 | 0.000 | 291.93/38.55 c (38,0) c | 5 | 227 | 161581 | 115141 | 140385 | 23769 | 14628 | 98548 | 1115 | 0.000 | 291.93/38.55 c (38,0) c | 6 | 305 | 158816 | 111600 | 140648 | 20228 | 14072 | 98107 | 1198 | 0.000 | 291.93/38.55 c (38,0) c | 7 | 341 | 169152 | 119462 | 137075 | 28084 | 15681 | 94577 | 1187 | 0.000 | 291.93/38.55 c (38,0) c 291.93/38.55 c (38,0) c synthesis 915400 conflicts 278287988 propagations 5510 conflicts/sec 1675144 propagations/sec 291.93/38.55 c (38,0) c Total Memory so far : 677.87Mb 291.93/38.55 c (38,0) c 291.93/38.55 c (38,0) c |-------------------------------------------------------------------------------------------------------| 291.93/38.55 c (38,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 291.93/38.55 c (38,0) c |-------------------------------------------------------------------------------------------------------| 291.93/38.55 c (38,0) c | 0 | 344 | 203569 | 144752 | 141312 | 30573 | 17110 | 118493 | 1574 | 0.000 | 291.93/38.55 c (38,0) c | 1 | 231 | 185928 | 134976 | 140745 | 43605 | 17038 | 115927 | 1637 | 0.000 | 291.93/38.55 c (38,0) c | 2 | 478 | 195020 | 136710 | 142909 | 45329 | 16625 | 119004 | 1665 | 0.001 | 291.93/38.55 c (38,0) c | 3 | 202 | 194682 | 140764 | 142817 | 26594 | 16258 | 119293 | 1567 | 0.000 | 291.93/38.55 c (38,0) c | 4 | 391 | 188166 | 132421 | 142167 | 41045 | 16161 | 119099 | 1634 | 0.000 | 291.93/38.55 c (38,0) c | 5 | 331 | 191799 | 134509 | 142514 | 43137 | 16757 | 118565 | 1603 | 0.000 | 291.93/38.55 c (38,0) c | 6 | 319 | 195091 | 140162 | 142458 | 25985 | 17469 | 117268 | 1576 | 0.000 | 291.93/38.55 c (38,0) c | 7 | 387 | 201051 | 141883 | 139202 | 27707 | 18213 | 117061 | 1663 | 0.000 | 291.93/38.55 c (38,0) c 291.93/38.55 c (38,0) c synthesis 1106178 conflicts 338020504 propagations 5371 conflicts/sec 1641143 propagations/sec 291.93/38.55 c (38,0) c Total Memory so far : 677.87Mb 291.93/38.55 c (38,0) c 291.93/38.55 c (38,0) c |-------------------------------------------------------------------------------------------------------| 291.93/38.55 c (38,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 291.93/38.55 c (38,0) c |-------------------------------------------------------------------------------------------------------| 291.93/38.55 c (38,0) c | 0 | 428 | 231483 | 162830 | 142951 | 48651 | 19277 | 136382 | 2014 | 0.000 | 291.93/38.55 c (38,0) c | 1 | 250 | 213757 | 156643 | 141468 | 42472 | 19156 | 137123 | 1907 | 0.000 | 291.93/38.55 c (38,0) c | 2 | 556 | 226453 | 157721 | 144623 | 43538 | 19476 | 136887 | 2109 | 0.000 | 291.93/38.55 c (38,0) c | 3 | 260 | 228749 | 165002 | 144445 | 25423 | 19000 | 136589 | 2165 | 0.000 | 291.93/38.55 c (38,0) c | 4 | 441 | 221443 | 156132 | 143912 | 41949 | 18717 | 136787 | 2128 | 0.000 | 291.93/38.55 c (38,0) c | 5 | 345 | 226664 | 161274 | 144039 | 47101 | 19873 | 135545 | 1980 | 0.000 | 291.93/38.55 c (38,0) c | 6 | 335 | 224231 | 160816 | 144481 | 46639 | 20102 | 136004 | 1993 | 0.000 | 291.93/38.55 c (38,0) c | 7 | 481 | 232615 | 163017 | 141908 | 48841 | 20791 | 133534 | 2130 | 0.000 | 291.93/38.55 c (38,0) c 291.93/38.55 c (38,0) c synthesis 1283435 conflicts 394233846 propagations 5221 conflicts/sec 1603644 propagations/sec 291.93/38.55 c (38,0) c Total Memory so far : 677.87Mb 291.93/38.55 c (38,0) c 291.93/38.55 c (38,0) c |-------------------------------------------------------------------------------------------------------| 291.93/38.55 c (38,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 291.93/38.55 c (38,0) c |-------------------------------------------------------------------------------------------------------| 291.93/38.55 c (38,0) c | 0 | 489 | 264054 | 185153 | 145009 | 45575 | 21744 | 154402 | 2614 | 0.000 | 291.93/38.55 c (38,0) c | 1 | 267 | 241923 | 178374 | 142894 | 38802 | 21836 | 156767 | 2272 | 0.000 | 291.93/38.55 c (38,0) c | 2 | 582 | 254833 | 178893 | 145851 | 39313 | 21402 | 157398 | 2512 | 0.000 | 291.93/38.55 c (38,0) c | 3 | 305 | 263088 | 188556 | 145462 | 48977 | 21960 | 156654 | 2823 | 0.000 | 291.93/38.55 c (38,0) c | 4 | 456 | 251626 | 179300 | 144838 | 39722 | 21161 | 155306 | 2487 | 0.000 | 387.65/50.55 c (50,0) c | 5 | 354 | 267291 | 192415 | 144685 | 52833 | 23988 | 154496 | 2367 | 0.000 | 387.65/50.55 c (50,0) c | 6 | 356 | 253985 | 183490 | 145377 | 43906 | 23039 | 154995 | 2389 | 0.000 | 387.65/50.55 c (50,0) c | 7 | 490 | 267855 | 188861 | 143440 | 49295 | 23687 | 141361 | 2642 | 0.000 | 387.65/50.55 c (50,0) c 387.65/50.55 c (50,0) c synthesis 1475042 conflicts 452602245 propagations 5163 conflicts/sec 1584202 propagations/sec 387.65/50.55 c (50,0) c Total Memory so far : 677.87Mb 387.65/50.55 c (50,0) c 387.65/50.55 c (50,0) c |-------------------------------------------------------------------------------------------------------| 387.65/50.55 c (50,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 387.65/50.55 c (50,0) c |-------------------------------------------------------------------------------------------------------| 387.65/50.55 c (50,0) c | 0 | 529 | 290755 | 204570 | 145819 | 36993 | 23890 | 169810 | 3126 | 0.000 | 387.65/50.55 c (50,0) c | 1 | 311 | 263559 | 193445 | 143924 | 53873 | 23650 | 169814 | 2609 | 0.000 | 387.65/50.55 c (50,0) c | 2 | 627 | 276266 | 194138 | 146167 | 54558 | 22756 | 170759 | 2947 | 0.000 | 387.65/50.55 c (50,0) c | 3 | 355 | 285327 | 204359 | 145856 | 36776 | 23518 | 170234 | 3171 | 0.000 | 387.65/50.55 c (50,0) c | 4 | 479 | 273598 | 195753 | 145532 | 28174 | 22933 | 170083 | 2795 | 0.000 | 387.65/50.55 c (50,0) c | 5 | 394 | 291318 | 209661 | 145425 | 42081 | 25688 | 168018 | 2726 | 0.000 | 387.65/50.55 c (50,0) c | 6 | 364 | 282877 | 205715 | 146107 | 38143 | 26022 | 166267 | 2777 | 0.000 | 387.65/50.55 c (50,0) c | 7 | 542 | 291232 | 205801 | 144940 | 38228 | 25334 | 168196 | 3060 | 0.001 | 387.65/50.55 c (50,0) c 387.65/50.55 c (50,0) c synthesis 1613442 conflicts 496558346 propagations 5081 conflicts/sec 1563653 propagations/sec 387.65/50.55 c (50,0) c Total Memory so far : 677.87Mb 387.65/50.55 c (50,0) c 387.65/50.55 c (50,0) c |-------------------------------------------------------------------------------------------------------| 387.65/50.55 c (50,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 387.65/50.55 c (50,0) c |-------------------------------------------------------------------------------------------------------| 387.65/50.55 c (50,0) c | 0 | 566 | 314791 | 221937 | 146704 | 54361 | 25806 | 184913 | 3564 | 0.000 | 387.65/50.55 c (50,0) c | 1 | 358 | 285261 | 207958 | 145207 | 40379 | 25503 | 185298 | 3041 | 0.000 | 387.65/50.55 c (50,0) c | 2 | 684 | 299420 | 209176 | 146676 | 41590 | 24530 | 184414 | 3428 | 0.000 | 387.65/50.55 c (50,0) c | 3 | 367 | 317197 | 228798 | 146553 | 61215 | 26784 | 183821 | 3622 | 0.000 | 387.65/50.55 c (50,0) c | 4 | 498 | 299792 | 215990 | 146204 | 48411 | 25175 | 183722 | 3164 | 0.000 | 387.65/50.55 c (50,0) c | 5 | 437 | 314610 | 225844 | 146164 | 58264 | 27201 | 183586 | 3187 | 0.000 | 387.65/50.55 c (50,0) c | 6 | 384 | 306617 | 223009 | 146530 | 55437 | 27752 | 183081 | 3280 | 0.000 | 387.65/50.55 c (50,0) c | 7 | 556 | 322718 | 230213 | 145604 | 32031 | 28092 | 182596 | 3438 | 0.000 | 387.65/50.55 c (50,0) c 387.65/50.55 c (50,0) c synthesis 1762925 conflicts 541405773 propagations 5045 conflicts/sec 1549293 propagations/sec 387.65/50.55 c (50,0) c Total Memory so far : 677.87Mb 387.65/50.55 c (50,0) c 387.65/50.55 c (50,0) c |-------------------------------------------------------------------------------------------------------| 387.65/50.55 c (50,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 387.65/50.55 c (50,0) c |-------------------------------------------------------------------------------------------------------| 387.65/50.55 c (50,0) c | 0 | 574 | 338326 | 240700 | 147296 | 42525 | 27807 | 193609 | 3952 | 0.000 | 387.65/50.55 c (50,0) c | 1 | 367 | 309446 | 226949 | 146181 | 59370 | 27799 | 196902 | 3461 | 0.000 | 387.65/50.55 c (50,0) c | 2 | 773 | 319585 | 221648 | 147059 | 54062 | 25886 | 198966 | 3937 | 0.000 | 387.65/50.55 c (50,0) c | 3 | 394 | 340932 | 246059 | 147005 | 47876 | 28710 | 196053 | 4065 | 0.000 | 387.65/50.55 c (50,0) c | 4 | 524 | 320726 | 231796 | 146451 | 33612 | 26915 | 195150 | 3501 | 0.000 | 387.65/50.55 c (50,0) c | 5 | 469 | 337582 | 242108 | 146811 | 43930 | 28516 | 195869 | 3661 | 0.000 | 483.38/62.55 c (62,0) c | 6 | 399 | 329474 | 238870 | 146879 | 40698 | 29459 | 194829 | 3734 | 0.000 | 483.38/62.55 c (62,0) c | 7 | 578 | 346332 | 247543 | 146154 | 49361 | 29789 | 191899 | 3822 | 0.000 | 483.38/62.55 c (62,0) c 483.38/62.55 c (62,0) c synthesis 1895674 conflicts 583873136 propagations 4971 conflicts/sec 1531048 propagations/sec 483.38/62.55 c (62,0) c Total Memory so far : 677.87Mb 483.38/62.55 c (62,0) c 483.38/62.55 c (62,0) c |-------------------------------------------------------------------------------------------------------| 483.38/62.55 c (62,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 483.38/62.55 c (62,0) c |-------------------------------------------------------------------------------------------------------| 483.38/62.55 c (62,0) c | 0 | 623 | 359484 | 255482 | 147577 | 57307 | 29372 | 208758 | 4440 | 0.000 | 483.38/62.55 c (62,0) c | 1 | 415 | 333198 | 243151 | 146933 | 44969 | 29341 | 208704 | 3886 | 0.000 | 483.38/62.55 c (62,0) c | 2 | 858 | 340538 | 234668 | 147401 | 36484 | 27255 | 210917 | 4375 | 0.000 | 483.38/62.55 c (62,0) c | 3 | 447 | 361848 | 260396 | 147456 | 62214 | 30217 | 207810 | 4557 | 0.000 | 483.38/62.55 c (62,0) c | 4 | 527 | 341499 | 247582 | 146739 | 49398 | 28881 | 202821 | 3794 | 0.000 | 483.38/62.55 c (62,0) c | 5 | 495 | 361461 | 259448 | 147313 | 61271 | 30162 | 207821 | 4073 | 0.000 | 483.38/62.55 c (62,0) c | 6 | 404 | 351130 | 255498 | 147079 | 57326 | 31223 | 200225 | 4036 | 0.000 | 483.38/62.55 c (62,0) c | 7 | 612 | 368040 | 262810 | 146682 | 64628 | 31747 | 206393 | 4250 | 0.000 | 483.38/62.55 c (62,0) c 483.38/62.55 c (62,0) c synthesis 2019035 conflicts 623406926 propagations 4886 conflicts/sec 1508545 propagations/sec 483.38/62.55 c (62,0) c Total Memory so far : 678.02Mb 483.38/62.55 c (62,0) c 483.38/62.55 c (62,0) c |-------------------------------------------------------------------------------------------------------| 483.38/62.55 c (62,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 483.38/62.55 c (62,0) c |-------------------------------------------------------------------------------------------------------| 483.38/62.55 c (62,0) c | 0 | 660 | 380077 | 270214 | 147972 | 38840 | 30752 | 222020 | 4819 | 0.000 | 483.38/62.55 c (62,0) c | 1 | 442 | 353992 | 257802 | 147378 | 59620 | 31218 | 221586 | 4414 | 0.000 | 483.38/62.55 c (62,0) c | 2 | 896 | 361147 | 249433 | 147750 | 51249 | 28987 | 216853 | 4730 | 0.000 | 483.38/62.55 c (62,0) c | 3 | 492 | 383461 | 274901 | 147744 | 43523 | 31733 | 220809 | 4955 | 0.000 | 483.38/62.55 c (62,0) c | 4 | 534 | 365439 | 265479 | 147081 | 34102 | 31346 | 221386 | 4213 | 0.000 | 483.38/62.55 c (62,0) c | 5 | 527 | 389795 | 280366 | 147794 | 48989 | 33048 | 219651 | 4481 | 0.000 | 483.38/62.55 c (62,0) c | 6 | 409 | 370654 | 270692 | 147211 | 39310 | 32658 | 219274 | 4341 | 0.000 | 483.38/62.55 c (62,0) c | 7 | 617 | 389807 | 280247 | 146977 | 48861 | 33211 | 219628 | 4576 | 0.000 | 483.38/62.55 c (62,0) c 483.38/62.55 c (62,0) c synthesis 2149134 conflicts 664401401 propagations 4828 conflicts/sec 1492551 propagations/sec 483.38/62.55 c (62,0) c Total Memory so far : 679.90Mb 483.38/62.55 c (62,0) c 483.38/62.55 c (62,0) c |-------------------------------------------------------------------------------------------------------| 483.38/62.55 c (62,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 483.38/62.55 c (62,0) c |-------------------------------------------------------------------------------------------------------| 483.38/62.55 c (62,0) c | 0 | 665 | 403195 | 287067 | 148127 | 55693 | 32533 | 231240 | 5222 | 0.000 | 483.38/62.55 c (62,0) c | 1 | 479 | 373743 | 271923 | 147814 | 40532 | 32390 | 232574 | 4826 | 0.000 | 483.38/62.55 c (62,0) c | 2 | 948 | 381571 | 263549 | 147960 | 65365 | 30712 | 233613 | 5175 | 0.000 | 483.38/62.55 c (62,0) c | 3 | 515 | 404970 | 290274 | 147996 | 58896 | 33234 | 228870 | 5386 | 0.000 | 483.38/62.55 c (62,0) c | 4 | 562 | 386994 | 280600 | 147498 | 49223 | 32830 | 229259 | 4596 | 0.000 | 483.38/62.55 c (62,0) c | 5 | 567 | 408661 | 293517 | 148055 | 62140 | 34530 | 230395 | 4835 | 0.000 | 483.38/62.55 c (62,0) c | 6 | 420 | 392313 | 286757 | 147378 | 55375 | 34232 | 230710 | 4697 | 0.000 | 595.04/76.55 c (76,0) c | 7 | 650 | 409749 | 294887 | 147338 | 63501 | 34516 | 230437 | 5065 | 0.000 | 595.04/76.55 c (76,0) c 595.04/76.55 c (76,0) c synthesis 2268575 conflicts 703324386 propagations 4756 conflicts/sec 1474374 propagations/sec 595.04/76.55 c (76,0) c Total Memory so far : 681.78Mb 595.04/76.55 c (76,0) c 595.04/76.55 c (76,0) c |-------------------------------------------------------------------------------------------------------| 595.04/76.55 c (76,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 595.04/76.55 c (76,0) c |-------------------------------------------------------------------------------------------------------| 595.04/76.55 c (76,0) c | 0 | 672 | 431298 | 308721 | 148252 | 41549 | 35095 | 242195 | 5651 | 0.000 | 595.04/76.55 c (76,0) c | 1 | 491 | 395231 | 287378 | 148117 | 55987 | 33879 | 241150 | 5232 | 0.000 | 595.04/76.55 c (76,0) c | 2 | 969 | 405370 | 280946 | 148242 | 49574 | 32297 | 245333 | 5573 | 0.000 | 595.04/76.55 c (76,0) c | 3 | 573 | 428133 | 305798 | 148180 | 38611 | 34709 | 243407 | 5815 | 0.000 | 595.04/76.55 c (76,0) c | 4 | 574 | 408214 | 296109 | 147770 | 64732 | 34527 | 242747 | 5048 | 0.000 | 595.04/76.55 c (76,0) c | 5 | 609 | 428092 | 306878 | 148256 | 39700 | 36023 | 242061 | 5225 | 0.000 | 595.04/76.55 c (76,0) c | 6 | 438 | 413226 | 301575 | 147719 | 70193 | 35726 | 241862 | 5195 | 0.000 | 595.04/76.55 c (76,0) c | 7 | 676 | 430151 | 309772 | 147505 | 42586 | 35878 | 241736 | 5560 | 0.000 | 595.04/76.55 c (76,0) c 595.04/76.55 c (76,0) c synthesis 2397177 conflicts 743844185 propagations 4711 conflicts/sec 1461671 propagations/sec 595.04/76.55 c (76,0) c Total Memory so far : 683.94Mb 595.04/76.55 c (76,0) c 595.04/76.55 c (76,0) c |-------------------------------------------------------------------------------------------------------| 595.04/76.55 c (76,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 595.04/76.55 c (76,0) c |-------------------------------------------------------------------------------------------------------| 595.04/76.55 c (76,0) c | 0 | 714 | 458601 | 327814 | 148483 | 60642 | 36958 | 255202 | 6186 | 0.000 | 595.04/76.55 c (76,0) c | 1 | 532 | 421276 | 305273 | 148396 | 38085 | 35444 | 256631 | 5727 | 0.000 | 595.04/76.55 c (76,0) c | 2 | 995 | 428672 | 297482 | 148520 | 66110 | 33822 | 254186 | 6073 | 0.000 | 595.04/76.55 c (76,0) c | 3 | 601 | 455124 | 324896 | 148446 | 57709 | 36498 | 255299 | 6485 | 0.000 | 595.04/76.55 c (76,0) c | 4 | 583 | 438610 | 319168 | 148226 | 51988 | 36580 | 255417 | 5735 | 0.000 | 595.04/76.55 c (76,0) c | 5 | 653 | 451900 | 323834 | 148375 | 56656 | 37367 | 249592 | 5677 | 0.000 | 595.04/76.55 c (76,0) c | 6 | 504 | 441993 | 320975 | 147967 | 53786 | 37965 | 254206 | 5818 | 0.000 | 595.04/76.55 c (76,0) c | 7 | 795 | 457041 | 326327 | 147688 | 59141 | 37539 | 254568 | 6123 | 0.000 | 595.04/76.55 c (76,0) c 595.04/76.55 c (76,0) c synthesis 2545769 conflicts 792463957 propagations 4639 conflicts/sec 1444060 propagations/sec 595.04/76.55 c (76,0) c Total Memory so far : 686.05Mb 595.04/76.55 c (76,0) c 595.04/76.55 c (76,0) c |-------------------------------------------------------------------------------------------------------| 595.04/76.55 c (76,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 595.04/76.55 c (76,0) c |-------------------------------------------------------------------------------------------------------| 595.04/76.55 c (76,0) c | 0 | 748 | 483802 | 345863 | 148655 | 40282 | 38700 | 267994 | 6752 | 0.000 | 595.04/76.55 c (76,0) c | 1 | 625 | 449394 | 324308 | 148680 | 57121 | 37505 | 269382 | 6337 | 0.000 | 595.04/76.55 c (76,0) c | 2 | 1040 | 451874 | 313717 | 148782 | 46552 | 35475 | 270642 | 6524 | 0.000 | 595.04/76.55 c (76,0) c | 3 | 640 | 482621 | 343702 | 148619 | 76515 | 38402 | 268023 | 7117 | 0.000 | 595.04/76.55 c (76,0) c | 4 | 604 | 462454 | 337146 | 148386 | 69966 | 38327 | 267052 | 6270 | 0.000 | 595.04/76.55 c (76,0) c | 5 | 653 | 471744 | 339482 | 148425 | 72304 | 38445 | 249592 | 6031 | 0.000 | 595.04/76.55 c (76,0) c | 6 | 517 | 466035 | 338933 | 148275 | 71744 | 39940 | 266549 | 6217 | 0.000 | 595.04/76.55 c (76,0) c | 7 | 822 | 483878 | 345707 | 147925 | 40125 | 40107 | 266788 | 6752 | 0.000 | 595.04/76.55 c (76,0) c 698.75/89.55 c (89,0) c synthesis 2688859 conflicts 838630993 propagations 4568 conflicts/sec 1424699 propagations/sec 698.75/89.55 c (89,0) c Total Memory so far : 688.09Mb 698.75/89.55 c (89,0) c 698.75/89.55 c (89,0) c |-------------------------------------------------------------------------------------------------------| 698.75/89.55 c (89,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 698.75/89.55 c (89,0) c |-------------------------------------------------------------------------------------------------------| 698.75/89.55 c (89,0) c | 0 | 776 | 509653 | 364372 | 148820 | 58791 | 40466 | 278032 | 7413 | 0.000 | 698.75/89.55 c (89,0) c | 1 | 676 | 473128 | 341347 | 148888 | 74160 | 39008 | 281627 | 6857 | 0.000 | 698.75/89.55 c (89,0) c | 2 | 1053 | 474130 | 329911 | 149008 | 62746 | 37207 | 276141 | 6997 | 0.000 | 698.75/89.55 c (89,0) c | 3 | 644 | 511521 | 365669 | 148760 | 60087 | 40394 | 280621 | 7553 | 0.000 | 698.75/89.55 c (89,0) c | 4 | 620 | 485578 | 354653 | 148519 | 49078 | 39993 | 278479 | 6821 | 0.000 | 698.75/89.55 c (89,0) c | 5 | 663 | 494272 | 355966 | 148481 | 50395 | 40130 | 276416 | 6503 | 0.000 | 698.75/89.55 c (89,0) c | 6 | 545 | 491641 | 357001 | 148446 | 51414 | 41779 | 279294 | 6811 | 0.000 | 698.75/89.55 c (89,0) c | 7 | 865 | 510968 | 365166 | 148210 | 59584 | 42121 | 276783 | 7323 | 0.000 | 698.75/89.55 c (89,0) c 698.75/89.55 c (89,0) c synthesis 2834086 conflicts 886093774 propagations 4509 conflicts/sec 1409869 propagations/sec 698.75/89.55 c (89,0) c Total Memory so far : 689.81Mb 698.75/89.55 c (89,0) c 698.75/89.55 c (89,0) c |-------------------------------------------------------------------------------------------------------| 698.75/89.55 c (89,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 698.75/89.55 c (89,0) c |-------------------------------------------------------------------------------------------------------| 698.75/89.55 c (89,0) c | 0 | 783 | 528920 | 377917 | 148862 | 72336 | 42110 | 291601 | 7842 | 0.000 | 698.75/89.55 c (89,0) c | 1 | 704 | 494188 | 356560 | 148968 | 50969 | 40655 | 291192 | 7245 | 0.000 | 698.75/89.55 c (89,0) c | 2 | 1053 | 489911 | 341883 | 149111 | 74718 | 38244 | 276141 | 7345 | 0.000 | 698.75/89.55 c (89,0) c | 3 | 656 | 530756 | 380183 | 148848 | 74601 | 41749 | 290129 | 7962 | 0.000 | 698.75/89.55 c (89,0) c | 4 | 650 | 507422 | 370245 | 148660 | 64671 | 41568 | 292098 | 7245 | 0.000 | 698.75/89.55 c (89,0) c | 5 | 705 | 512086 | 367928 | 148582 | 62357 | 41213 | 291986 | 6893 | 0.001 | 698.75/89.55 c (89,0) c | 6 | 562 | 518158 | 376550 | 148646 | 70963 | 44248 | 289035 | 7361 | 0.000 | 698.75/89.55 c (89,0) c | 7 | 886 | 532045 | 380647 | 148260 | 75065 | 43946 | 289759 | 7892 | 0.000 | 698.75/89.55 c (89,0) c 698.75/89.55 c (89,0) c synthesis 2951913 conflicts 923722124 propagations 4470 conflicts/sec 1398744 propagations/sec 698.75/89.55 c (89,0) c Total Memory so far : 691.57Mb 698.75/89.55 c (89,0) c 698.75/89.55 c (89,0) c |-------------------------------------------------------------------------------------------------------| 698.75/89.55 c (89,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 698.75/89.55 c (89,0) c |-------------------------------------------------------------------------------------------------------| 698.75/89.55 c (89,0) c | 0 | 813 | 545984 | 389612 | 148960 | 43035 | 43177 | 301655 | 8262 | 0.000 | 698.75/89.55 c (89,0) c | 1 | 714 | 513149 | 371032 | 149062 | 65441 | 41920 | 299888 | 7593 | 0.000 | 698.75/89.55 c (89,0) c | 2 | 1076 | 507199 | 354352 | 149244 | 48782 | 39484 | 305154 | 7815 | 0.000 | 698.75/89.55 c (89,0) c | 3 | 662 | 551422 | 395871 | 148956 | 49294 | 43253 | 300191 | 8325 | 0.000 | 698.75/89.55 c (89,0) c | 4 | 678 | 526749 | 383787 | 148783 | 78213 | 43219 | 299927 | 7796 | 0.000 | 698.75/89.55 c (89,0) c | 5 | 745 | 530289 | 380214 | 148699 | 74643 | 42509 | 302320 | 7284 | 0.000 | 698.75/89.55 c (89,0) c | 6 | 567 | 538954 | 392295 | 148764 | 45706 | 46014 | 297796 | 7791 | 0.000 | 698.75/89.55 c (89,0) c | 7 | 920 | 550198 | 394391 | 148353 | 47807 | 45290 | 299468 | 8221 | 0.000 | 698.75/89.55 c (89,0) c 698.75/89.55 c (89,0) c synthesis 3061554 conflicts 959265652 propagations 4422 conflicts/sec 1385631 propagations/sec 826.38/105.56 c (105,0) c Total Memory so far : 692.93Mb 826.38/105.56 c (105,0) c 826.38/105.56 c (105,0) c |-------------------------------------------------------------------------------------------------------| 826.38/105.56 c (105,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 826.38/105.56 c (105,0) c |-------------------------------------------------------------------------------------------------------| 826.38/105.56 c (105,0) c | 0 | 840 | 565562 | 403606 | 149056 | 57029 | 44323 | 311376 | 8664 | 0.000 | 826.38/105.56 c (105,0) c | 1 | 742 | 532469 | 384585 | 149131 | 78994 | 43297 | 309354 | 8101 | 0.000 | 826.38/105.56 c (105,0) c | 2 | 1106 | 524799 | 366781 | 149380 | 61211 | 40834 | 314862 | 8242 | 0.000 | 826.38/105.56 c (105,0) c | 3 | 671 | 575097 | 413234 | 149090 | 66657 | 45030 | 307702 | 8689 | 0.000 | 826.38/105.56 c (105,0) c | 4 | 715 | 546927 | 398167 | 148935 | 51588 | 44872 | 310745 | 8234 | 0.000 | 826.38/105.56 c (105,0) c | 5 | 799 | 545500 | 390080 | 148783 | 43501 | 43396 | 312211 | 7708 | 0.000 | 826.38/105.56 c (105,0) c | 6 | 577 | 558318 | 407528 | 148820 | 60939 | 47152 | 308544 | 8139 | 0.000 | 826.38/105.56 c (105,0) c | 7 | 951 | 572177 | 409900 | 148610 | 63316 | 46811 | 306623 | 8738 | 0.000 | 826.38/105.56 c (105,0) c 826.38/105.56 c (105,0) c synthesis 3173881 conflicts 996544015 propagations 4383 conflicts/sec 1376104 propagations/sec 826.38/105.56 c (105,0) c Total Memory so far : 694.32Mb 826.38/105.56 c (105,0) c 826.38/105.56 c (105,0) c |-------------------------------------------------------------------------------------------------------| 826.38/105.56 c (105,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 826.38/105.56 c (105,0) c |-------------------------------------------------------------------------------------------------------| 826.38/105.56 c (105,0) c | 0 | 862 | 585890 | 419008 | 149136 | 72431 | 45683 | 322596 | 9130 | 0.000 | 826.38/105.56 c (105,0) c | 1 | 771 | 556201 | 401741 | 149187 | 55161 | 45155 | 323568 | 8550 | 0.000 | 826.38/105.56 c (105,0) c | 2 | 1134 | 550812 | 386306 | 149475 | 80736 | 44016 | 323152 | 8842 | 0.000 | 826.38/105.56 c (105,0) c | 3 | 684 | 591966 | 426157 | 149172 | 79580 | 46188 | 322642 | 8980 | 0.000 | 826.38/105.56 c (105,0) c | 4 | 741 | 568429 | 413393 | 149095 | 66814 | 46855 | 319438 | 8734 | 0.000 | 826.38/105.56 c (105,0) c | 5 | 853 | 563792 | 402304 | 148910 | 55725 | 44508 | 323449 | 8112 | 0.000 | 826.38/105.56 c (105,0) c | 6 | 601 | 579920 | 422053 | 149071 | 75464 | 48374 | 319328 | 8594 | 0.000 | 826.38/105.56 c (105,0) c | 7 | 1005 | 592155 | 423681 | 148771 | 77097 | 48283 | 320719 | 9172 | 0.000 | 826.38/105.56 c (105,0) c 826.38/105.56 c (105,0) c synthesis 3294644 conflicts 1033697724 propagations 4358 conflicts/sec 1367187 propagations/sec 826.38/105.56 c (105,0) c Total Memory so far : 696.00Mb 826.38/105.56 c (105,0) c 826.38/105.56 c (105,0) c |-------------------------------------------------------------------------------------------------------| 826.38/105.56 c (105,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 826.38/105.56 c (105,0) c |-------------------------------------------------------------------------------------------------------| 826.38/105.56 c (105,0) c | 0 | 874 | 602144 | 431212 | 149231 | 84635 | 46613 | 332105 | 9437 | 0.000 | 826.38/105.56 c (105,0) c | 1 | 782 | 574632 | 415333 | 149285 | 68753 | 46311 | 329468 | 8964 | 0.000 | 826.38/105.56 c (105,0) c | 2 | 1164 | 572737 | 402168 | 149596 | 55590 | 45539 | 333226 | 9370 | 0.000 | 826.38/105.56 c (105,0) c | 3 | 692 | 613173 | 442379 | 149268 | 52206 | 47752 | 330534 | 9345 | 0.000 | 826.38/105.56 c (105,0) c | 4 | 758 | 587236 | 426946 | 149277 | 80366 | 48362 | 329780 | 9198 | 0.000 | 827.17/105.68 c (105,0) c | 5 | 866 | 582391 | 416259 | 148986 | 69680 | 45709 | 332663 | 8547 | 0.000 | 827.17/105.68 c (105,0) c | 6 | 607 | 595271 | 433223 | 149193 | 86634 | 49235 | 328602 | 8938 | 0.000 | 827.17/105.68 c (105,0) c | 7 | 1055 | 607687 | 433801 | 148839 | 43620 | 49255 | 329334 | 9526 | 0.000 | 827.17/105.68 c (105,0) c 827.17/105.68 c (105,0) c synthesis 3401321 conflicts 1068452909 propagations 4317 conflicts/sec 1356002 propagations/sec 827.17/105.68 c (105,0) c Total Memory so far : 697.36Mb 827.17/105.68 c (105,0) c 946.03/120.55 c (120,0) c |-------------------------------------------------------------------------------------------------------| 946.03/120.55 c (120,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 946.03/120.55 c (120,0) c |-------------------------------------------------------------------------------------------------------| 946.03/120.55 c (120,0) c | 0 | 894 | 623562 | 447630 | 149357 | 57451 | 48386 | 341475 | 9901 | 0.000 | 946.03/120.55 c (120,0) c | 1 | 800 | 592396 | 427910 | 149335 | 81330 | 47851 | 342439 | 9443 | 0.000 | 946.03/120.55 c (120,0) c | 2 | 1205 | 591279 | 414902 | 149662 | 68324 | 46764 | 342174 | 9841 | 0.000 | 946.03/120.55 c (120,0) c | 3 | 736 | 634916 | 457123 | 149348 | 66950 | 49666 | 340782 | 9940 | 0.000 | 946.03/120.55 c (120,0) c | 4 | 777 | 605325 | 440328 | 149387 | 50148 | 49750 | 340815 | 9611 | 0.000 | 946.03/120.55 c (120,0) c | 5 | 923 | 601102 | 428780 | 149094 | 82201 | 46854 | 343496 | 9066 | 0.000 | 946.03/120.55 c (120,0) c | 6 | 616 | 616299 | 449052 | 149308 | 58871 | 50685 | 334253 | 9426 | 0.000 | 946.03/120.55 c (120,0) c | 7 | 1086 | 628294 | 448570 | 148974 | 58389 | 50617 | 338062 | 9932 | 0.000 | 946.03/120.55 c (120,0) c 946.03/120.55 c (120,0) c synthesis 3514296 conflicts 1103674932 propagations 4287 conflicts/sec 1346207 propagations/sec 946.03/120.55 c (120,0) c Total Memory so far : 698.99Mb 946.03/120.55 c (120,0) c 946.03/120.55 c (120,0) c |-------------------------------------------------------------------------------------------------------| 946.03/120.55 c (120,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 946.03/120.55 c (120,0) c |-------------------------------------------------------------------------------------------------------| 946.03/120.55 c (120,0) c | 0 | 916 | 648123 | 466346 | 149474 | 76167 | 50366 | 351756 | 10388 | 0.000 | 946.03/120.55 c (120,0) c | 1 | 854 | 613536 | 441513 | 149471 | 51338 | 49269 | 355479 | 9902 | 0.000 | 946.03/120.55 c (120,0) c | 2 | 1217 | 616335 | 433655 | 149733 | 87077 | 48596 | 356166 | 10349 | 0.000 | 946.03/120.55 c (120,0) c | 3 | 745 | 662864 | 477233 | 149391 | 87060 | 52360 | 348852 | 10728 | 0.000 | 946.03/120.55 c (120,0) c | 4 | 808 | 626944 | 455597 | 149487 | 65417 | 51073 | 353880 | 10143 | 0.000 | 946.03/120.55 c (120,0) c | 5 | 952 | 628730 | 448695 | 149260 | 58517 | 48922 | 354352 | 9740 | 0.000 | 946.03/120.55 c (120,0) c | 6 | 640 | 639675 | 465437 | 149339 | 75256 | 52369 | 352614 | 9947 | 0.000 | 946.03/120.55 c (120,0) c | 7 | 1092 | 653522 | 468062 | 149067 | 77881 | 52107 | 351680 | 10394 | 0.000 | 946.03/120.55 c (120,0) c 946.03/120.55 c (120,0) c synthesis 3656538 conflicts 1149299823 propagations 4253 conflicts/sec 1336866 propagations/sec 946.03/120.55 c (120,0) c Total Memory so far : 700.73Mb 946.03/120.55 c (120,0) c 946.03/120.55 c (120,0) c |-------------------------------------------------------------------------------------------------------| 946.03/120.55 c (120,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 946.03/120.55 c (120,0) c |-------------------------------------------------------------------------------------------------------| 946.03/120.55 c (120,0) c | 0 | 931 | 672271 | 483846 | 149600 | 47469 | 52426 | 365430 | 10721 | 0.000 | 946.03/120.55 c (120,0) c | 1 | 900 | 637215 | 458188 | 149574 | 68013 | 51103 | 366756 | 10443 | 0.000 | 946.03/120.55 c (120,0) c | 2 | 1252 | 638663 | 449535 | 149801 | 59357 | 49770 | 368173 | 10804 | 0.000 | 946.03/120.55 c (120,0) c | 3 | 815 | 684901 | 491716 | 149458 | 55338 | 53913 | 363264 | 11216 | 0.000 | 946.03/120.55 c (120,0) c | 4 | 834 | 646017 | 469336 | 149572 | 79156 | 52508 | 358258 | 10568 | 0.000 | 946.03/120.55 c (120,0) c | 5 | 978 | 654193 | 466461 | 149367 | 76283 | 50682 | 365321 | 10410 | 0.000 | 946.03/120.55 c (120,0) c | 6 | 687 | 658599 | 478103 | 149433 | 87922 | 53556 | 364085 | 10369 | 0.000 | 946.03/120.55 c (120,0) c | 7 | 1119 | 678610 | 486356 | 149167 | 49974 | 54048 | 362768 | 11020 | 0.000 | 946.03/120.55 c (120,0) c 946.03/120.55 c (120,0) c synthesis 3783541 conflicts 1192238194 propagations 4206 conflicts/sec 1325342 propagations/sec 946.03/120.55 c (120,0) c Total Memory so far : 702.95Mb 946.03/120.55 c (120,0) c 946.03/120.55 c (120,0) c |-------------------------------------------------------------------------------------------------------| 1041.75/132.55 c (132,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 1041.75/132.55 c (132,0) c |-------------------------------------------------------------------------------------------------------| 1041.75/132.55 c (132,0) c | 0 | 960 | 696847 | 502260 | 149661 | 65883 | 54241 | 378508 | 11264 | 0.000 | 1041.75/132.55 c (132,0) c | 1 | 938 | 661862 | 475583 | 149631 | 85408 | 53250 | 379190 | 10920 | 0.000 | 1041.75/132.55 c (132,0) c | 2 | 1296 | 663257 | 466342 | 149857 | 76164 | 51518 | 381672 | 11343 | 0.000 | 1041.75/132.55 c (132,0) c | 3 | 861 | 713122 | 511828 | 149512 | 75450 | 55756 | 377242 | 11831 | 0.000 | 1041.75/132.55 c (132,0) c | 4 | 857 | 668213 | 485404 | 149667 | 49023 | 54181 | 378640 | 11039 | 0.000 | 1042.54/132.61 c (132,0) c | 5 | 1004 | 677618 | 483474 | 149470 | 47093 | 52258 | 378246 | 11021 | 0.000 | 1042.54/132.61 c (132,0) c | 6 | 715 | 686809 | 498191 | 149548 | 61817 | 55804 | 376752 | 10913 | 0.000 | 1042.54/132.61 c (132,0) c | 7 | 1150 | 706964 | 506976 | 149250 | 70594 | 56280 | 376756 | 11474 | 0.000 | 1042.54/132.61 c (132,0) c 1042.54/132.61 c (132,0) c synthesis 3930058 conflicts 1235786739 propagations 4183 conflicts/sec 1315447 propagations/sec 1042.54/132.61 c (132,0) c Total Memory so far : 704.72Mb 1042.54/132.61 c (132,0) c 1042.54/132.61 c (132,0) c |-------------------------------------------------------------------------------------------------------| 1042.54/132.61 c (132,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 1042.54/132.61 c (132,0) c |-------------------------------------------------------------------------------------------------------| 1042.54/132.61 c (132,0) c | 0 | 991 | 714701 | 514700 | 149748 | 78323 | 55428 | 388331 | 11737 | 0.000 | 1042.54/132.61 c (132,0) c | 1 | 974 | 677402 | 485802 | 149676 | 49425 | 54335 | 389473 | 11285 | 0.000 | 1042.54/132.61 c (132,0) c | 2 | 1351 | 680709 | 477676 | 149873 | 87498 | 52718 | 391116 | 11754 | 0.000 | 1042.54/132.61 c (132,0) c | 3 | 876 | 733997 | 527793 | 149559 | 91415 | 57499 | 386143 | 12232 | 0.000 | 1042.54/132.61 c (132,0) c | 4 | 864 | 688278 | 500971 | 149768 | 64590 | 55477 | 387502 | 11424 | 0.000 | 1042.54/132.61 c (132,0) c | 5 | 1005 | 699390 | 500314 | 149507 | 63932 | 53664 | 381224 | 11525 | 0.000 | 1042.54/132.61 c (132,0) c | 6 | 755 | 704663 | 510859 | 149676 | 74485 | 56862 | 386859 | 11392 | 0.000 | 1042.54/132.61 c (132,0) c | 7 | 1153 | 729199 | 522897 | 149306 | 86515 | 57881 | 382405 | 11836 | 0.000 | 1042.54/132.61 c (132,0) c 1042.54/132.61 c (132,0) c synthesis 4041012 conflicts 1271545586 propagations 4160 conflicts/sec 1309068 propagations/sec 1042.54/132.61 c (132,0) c Total Memory so far : 706.07Mb 1042.54/132.61 c (132,0) c 1042.54/132.61 c (132,0) c |-------------------------------------------------------------------------------------------------------| 1042.54/132.61 c (132,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 1042.54/132.61 c (132,0) c |-------------------------------------------------------------------------------------------------------| 1042.54/132.61 c (132,0) c | 0 | 1016 | 728718 | 524561 | 149805 | 88184 | 56282 | 393718 | 12088 | 0.000 | 1042.54/132.61 c (132,0) c | 1 | 1038 | 690218 | 493941 | 149698 | 57565 | 54989 | 397758 | 11487 | 0.000 | 1042.54/132.61 c (132,0) c | 2 | 1377 | 701052 | 492891 | 149920 | 56518 | 54372 | 396296 | 12166 | 0.000 | 1042.54/132.61 c (132,0) c | 3 | 916 | 750382 | 538948 | 149624 | 53762 | 58711 | 394136 | 12703 | 0.000 | 1042.54/132.61 c (132,0) c | 4 | 869 | 706605 | 514379 | 149792 | 77998 | 56843 | 392913 | 11717 | 0.000 | 1042.54/132.61 c (132,0) c | 5 | 1008 | 717863 | 514885 | 149559 | 78504 | 54929 | 394033 | 11821 | 0.000 | 1042.54/132.61 c (132,0) c | 6 | 768 | 719738 | 521677 | 149831 | 85303 | 57831 | 393354 | 11866 | 0.000 | 1042.54/132.61 c (132,0) c | 7 | 1185 | 746980 | 535101 | 149362 | 49923 | 59057 | 393952 | 12194 | 0.000 | 1042.54/132.61 c (132,0) c 1042.54/132.61 c (132,0) c synthesis 4136383 conflicts 1304185479 propagations 4123 conflicts/sec 1299976 propagations/sec 1042.54/132.61 c (132,0) c Total Memory so far : 707.51Mb 1042.54/132.61 c (132,0) c 1042.54/132.61 c (132,0) c |-------------------------------------------------------------------------------------------------------| 1042.54/132.61 c (132,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 1137.47/144.55 c (144,0) c |-------------------------------------------------------------------------------------------------------| 1137.47/144.55 c (144,0) c | 0 | 1050 | 747007 | 537050 | 149872 | 51869 | 57531 | 404558 | 12486 | 0.000 | 1137.47/144.55 c (144,0) c | 1 | 1063 | 708330 | 506749 | 149738 | 70373 | 56379 | 406541 | 11902 | 0.000 | 1137.47/144.55 c (144,0) c | 2 | 1397 | 719297 | 506776 | 150004 | 70403 | 55546 | 407401 | 12548 | 0.000 | 1137.47/144.55 c (144,0) c | 3 | 935 | 769791 | 553443 | 149739 | 68257 | 60188 | 400992 | 13214 | 0.000 | 1137.47/144.55 c (144,0) c | 4 | 875 | 721953 | 525810 | 149809 | 89429 | 57839 | 397882 | 11998 | 0.000 | 1137.47/144.55 c (144,0) c | 5 | 1009 | 735346 | 529082 | 149567 | 92701 | 56324 | 405773 | 12139 | 0.000 | 1137.47/144.55 c (144,0) c | 6 | 785 | 735426 | 533100 | 149943 | 96726 | 58938 | 402754 | 12368 | 0.000 | 1137.47/144.55 c (144,0) c | 7 | 1218 | 765923 | 548837 | 149437 | 63659 | 60218 | 401371 | 12592 | 0.000 | 1137.47/144.55 c (144,0) c 1137.47/144.55 c (144,0) c synthesis 4240848 conflicts 1337369055 propagations 4097 conflicts/sec 1291982 propagations/sec 1137.47/144.55 c (144,0) c Total Memory so far : 708.88Mb 1137.47/144.55 c (144,0) c 1137.47/144.55 c (144,0) c |-------------------------------------------------------------------------------------------------------| 1137.47/144.55 c (144,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 1137.47/144.55 c (144,0) c |-------------------------------------------------------------------------------------------------------| 1137.47/144.55 c (144,0) c | 0 | 1069 | 765666 | 550617 | 149951 | 65436 | 58698 | 415622 | 12887 | 0.000 | 1137.47/144.55 c (144,0) c | 1 | 1079 | 729233 | 522227 | 149776 | 85851 | 57548 | 416976 | 12343 | 0.000 | 1137.47/144.55 c (144,0) c | 2 | 1472 | 734882 | 517193 | 150052 | 80820 | 56274 | 418593 | 12832 | 0.000 | 1137.47/144.55 c (144,0) c | 3 | 947 | 788893 | 567778 | 149839 | 82592 | 61580 | 412052 | 13612 | 0.000 | 1137.47/144.55 c (144,0) c | 4 | 877 | 746692 | 544951 | 149830 | 59769 | 60043 | 412622 | 12546 | 0.001 | 1137.47/144.55 c (144,0) c | 5 | 1010 | 760384 | 548256 | 149579 | 63077 | 58511 | 407868 | 12546 | 0.000 | 1137.47/144.55 c (144,0) c | 6 | 823 | 755596 | 547422 | 149990 | 62244 | 60651 | 409193 | 12963 | 0.000 | 1137.47/144.55 c (144,0) c | 7 | 1225 | 786391 | 564326 | 149473 | 79148 | 61862 | 407653 | 12945 | 0.000 | 1137.47/144.55 c (144,0) c 1137.47/144.55 c (144,0) c synthesis 4362771 conflicts 1374648732 propagations 4089 conflicts/sec 1288304 propagations/sec 1137.47/144.55 c (144,0) c Total Memory so far : 710.16Mb 1137.47/144.55 c (144,0) c 1137.47/144.55 c (144,0) c |-------------------------------------------------------------------------------------------------------| 1137.47/144.55 c (144,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 1137.47/144.55 c (144,0) c |-------------------------------------------------------------------------------------------------------| 1137.47/144.55 c (144,0) c | 0 | 1088 | 783442 | 563608 | 150014 | 78427 | 59663 | 426218 | 13278 | 0.000 | 1137.47/144.55 c (144,0) c | 1 | 1091 | 744954 | 534352 | 149792 | 49174 | 58304 | 426866 | 12711 | 0.000 | 1137.47/144.55 c (144,0) c | 2 | 1492 | 753527 | 529978 | 150103 | 93605 | 57851 | 427128 | 13315 | 0.000 | 1137.47/144.55 c (144,0) c | 3 | 955 | 803399 | 579195 | 149871 | 94009 | 62468 | 423304 | 13946 | 0.000 | 1137.47/144.55 c (144,0) c | 4 | 880 | 769288 | 561650 | 149851 | 76468 | 61682 | 420611 | 13004 | 0.000 | 1137.47/144.55 c (144,0) c | 5 | 1014 | 787979 | 569051 | 149602 | 83872 | 61040 | 422856 | 12967 | 0.000 | 1137.47/144.55 c (144,0) c | 6 | 847 | 775216 | 562087 | 150015 | 76909 | 62046 | 423984 | 13517 | 0.000 | 1137.47/144.55 c (144,0) c | 7 | 1240 | 805552 | 578908 | 149515 | 93730 | 63215 | 422795 | 13351 | 0.000 | 1137.47/144.55 c (144,0) c 1137.47/144.55 c (144,0) c synthesis 4478829 conflicts 1410178719 propagations 4076 conflicts/sec 1283244 propagations/sec 1137.47/144.55 c (144,0) c Total Memory so far : 711.74Mb 1137.47/144.55 c (144,0) c 1137.47/144.55 c (144,0) c |-------------------------------------------------------------------------------------------------------| 1137.47/144.55 c (144,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 1137.47/144.55 c (144,0) c |-------------------------------------------------------------------------------------------------------| 1249.14/158.55 c (158,0) c | 0 | 1104 | 805169 | 579476 | 150032 | 94295 | 61443 | 430900 | 13895 | 0.000 | 1249.14/158.55 c (158,0) c | 1 | 1109 | 764062 | 548783 | 149824 | 63605 | 59485 | 438599 | 13179 | 0.000 | 1249.14/158.55 c (158,0) c | 2 | 1492 | 774478 | 546874 | 150118 | 61703 | 59333 | 427128 | 13688 | 0.000 | 1249.14/158.55 c (158,0) c | 3 | 962 | 824216 | 594846 | 149895 | 58260 | 64102 | 435429 | 14383 | 0.000 | 1249.14/158.55 c (158,0) c | 4 | 881 | 792217 | 579342 | 149884 | 94160 | 63867 | 431620 | 13519 | 0.000 | 1249.14/158.55 c (158,0) c | 5 | 1019 | 812569 | 589134 | 149643 | 52557 | 62838 | 437100 | 13244 | 0.000 | 1249.14/158.55 c (158,0) c | 6 | 856 | 798452 | 578921 | 150041 | 93743 | 64054 | 434353 | 14069 | 0.001 | 1249.14/158.55 c (158,0) c | 7 | 1256 | 826691 | 595089 | 149557 | 58511 | 64821 | 434025 | 13795 | 0.000 | 1249.14/158.55 c (158,0) c 1249.14/158.55 c (158,0) c synthesis 4612465 conflicts 1449577348 propagations 4079 conflicts/sec 1281884 propagations/sec 1249.14/158.55 c (158,0) c Total Memory so far : 713.21Mb 1249.14/158.55 c (158,0) c 1249.14/158.55 c (158,0) c |-------------------------------------------------------------------------------------------------------| 1249.14/158.55 c (158,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 1249.14/158.55 c (158,0) c |-------------------------------------------------------------------------------------------------------| 1249.14/158.55 c (158,0) c | 0 | 1111 | 827588 | 596298 | 150070 | 59711 | 63246 | 445421 | 14410 | 0.000 | 1249.14/158.55 c (158,0) c | 1 | 1117 | 781093 | 561577 | 149867 | 76399 | 60892 | 449245 | 13562 | 0.000 | 1249.14/158.55 c (158,0) c | 2 | 1492 | 794110 | 562395 | 150126 | 77224 | 60644 | 427128 | 14064 | 0.000 | 1249.14/158.55 c (158,0) c | 3 | 1021 | 843278 | 607405 | 149929 | 70819 | 65535 | 445942 | 14862 | 0.000 | 1249.14/158.55 c (158,0) c | 4 | 891 | 817204 | 597771 | 149965 | 61191 | 65897 | 445441 | 13995 | 0.000 | 1249.14/158.55 c (158,0) c | 5 | 1041 | 832878 | 604325 | 149681 | 67748 | 64058 | 444567 | 13702 | 0.000 | 1249.14/158.55 c (158,0) c | 6 | 856 | 819311 | 593906 | 150092 | 57340 | 65199 | 434353 | 14569 | 0.001 | 1249.14/158.55 c (158,0) c | 7 | 1264 | 843341 | 607628 | 149571 | 71050 | 66019 | 441367 | 14097 | 0.000 | 1249.14/158.55 c (158,0) c 1249.14/158.55 c (158,0) c synthesis 4731305 conflicts 1486318190 propagations 4069 conflicts/sec 1278353 propagations/sec 1249.14/158.55 c (158,0) c Total Memory so far : 714.22Mb 1249.14/158.55 c (158,0) c 1249.14/158.55 c (158,0) c |-------------------------------------------------------------------------------------------------------| 1249.14/158.55 c (158,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 1249.14/158.55 c (158,0) c |-------------------------------------------------------------------------------------------------------| 1249.14/158.55 c (158,0) c | 0 | 1118 | 857165 | 619529 | 150091 | 82942 | 65992 | 458635 | 14999 | 0.000 | 1249.14/158.55 c (158,0) c | 1 | 1138 | 801855 | 576409 | 149904 | 91231 | 62229 | 462434 | 14178 | 0.000 | 1249.14/158.55 c (158,0) c | 2 | 1492 | 819181 | 583043 | 150142 | 97872 | 62360 | 427128 | 14385 | 0.000 | 1249.14/158.55 c (158,0) c | 3 | 1053 | 862721 | 620892 | 149973 | 84306 | 66842 | 455157 | 15308 | 0.000 | 1249.14/158.55 c (158,0) c | 4 | 904 | 849332 | 623075 | 150006 | 86495 | 68246 | 449235 | 14483 | 0.000 | 1249.14/158.55 c (158,0) c | 5 | 1051 | 854808 | 620550 | 149717 | 83973 | 65421 | 459346 | 14299 | 0.000 | 1249.14/158.55 c (158,0) c | 6 | 872 | 844742 | 612194 | 150125 | 75628 | 66537 | 456583 | 15109 | 0.000 | 1249.14/158.55 c (158,0) c | 7 | 1274 | 861598 | 621122 | 149597 | 84544 | 67201 | 456905 | 14433 | 0.000 | 1249.14/158.55 c (158,0) c 1249.14/158.55 c (158,0) c synthesis 4876814 conflicts 1531410035 propagations 4055 conflicts/sec 1273439 propagations/sec 1249.14/158.55 c (158,0) c Total Memory so far : 716.11Mb 1249.14/158.55 c (158,0) c 1249.14/158.55 c (158,0) c |-------------------------------------------------------------------------------------------------------| 1249.14/158.55 c (158,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 1249.14/158.55 c (158,0) c |-------------------------------------------------------------------------------------------------------| 1295.40/164.33 c (163,0) c | 0 | 1127 | 875391 | 633249 | 150117 | 96662 | 67249 | 469292 | 15396 | 0.000 | 1295.40/164.33 c (163,0) c | 1 | 1165 | 819604 | 589156 | 149952 | 52568 | 63377 | 473039 | 14703 | 0.000 | 1295.40/164.33 c (163,0) c | 2 | 1516 | 843265 | 600790 | 150208 | 64224 | 64154 | 471845 | 14903 | 0.000 | 1295.40/164.33 c (163,0) c | 3 | 1065 | 882776 | 635865 | 150001 | 99279 | 68398 | 467424 | 15686 | 0.000 | 1295.40/164.33 c (163,0) c | 4 | 907 | 877460 | 645201 | 150018 | 54628 | 69975 | 465593 | 14904 | 0.000 | 1295.40/164.33 c (163,0) c | 5 | 1069 | 878403 | 637689 | 149787 | 101112 | 67205 | 468994 | 14858 | 0.000 | 1295.40/164.33 c (163,0) c | 6 | 893 | 871184 | 632271 | 150189 | 95705 | 68092 | 468168 | 15663 | 0.000 | 1295.40/164.33 c (163,0) c | 7 | 1298 | 881399 | 635903 | 149648 | 99325 | 68519 | 467154 | 14911 | 0.000 | 1295.40/164.33 c (163,0) c 1295.40/164.33 c (163,0) c synthesis 5010126 conflicts 1572978269 propagations 4033 conflicts/sec 1266061 propagations/sec 1295.40/164.33 c (163,0) c Total Memory so far : 717.89Mb 1295.40/164.33 c (163,0) c 1295.40/164.33 c (163,0) c |-------------------------------------------------------------------------------------------------------| 1295.40/164.33 c (163,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 1295.40/164.33 c (163,0) c |-------------------------------------------------------------------------------------------------------| 1295.40/164.33 c (163,0) c | 0 | 1171 | 893869 | 645735 | 150176 | 55151 | 68333 | 480721 | 15856 | 0.000 | 1295.40/164.33 c (163,0) c | 1 | 1186 | 841564 | 604754 | 150023 | 68166 | 64861 | 480958 | 15208 | 0.000 | 1295.40/164.33 c (163,0) c | 2 | 1524 | 861503 | 614683 | 150235 | 78117 | 65660 | 482358 | 15417 | 0.000 | 1295.40/164.33 c (163,0) c | 3 | 1079 | 909472 | 656567 | 150062 | 65994 | 70322 | 476607 | 16179 | 0.000 | 1295.40/164.33 c (163,0) c | 4 | 907 | 903683 | 664960 | 150030 | 74387 | 71432 | 465593 | 15304 | 0.000 | 1295.40/164.33 c (163,0) c | 5 | 1077 | 904984 | 657574 | 149855 | 66994 | 69307 | 479675 | 15467 | 0.000 | 1295.40/164.33 c (163,0) c | 6 | 917 | 894454 | 649807 | 150239 | 59235 | 69442 | 478989 | 16219 | 0.000 | 1295.40/164.33 c (163,0) c | 7 | 1309 | 903106 | 652342 | 149670 | 61759 | 70080 | 479307 | 15365 | 0.000 | 1295.40/164.33 c (163,0) c 1295.40/164.33 c (163,0) c synthesis 5146422 conflicts 1616977816 propagations 4013 conflicts/sec 1261013 propagations/sec 1295.40/164.33 c (163,0) c Total Memory so far : 719.39Mb 1295.40/164.33 c (163,0) c last restart ## conflicts : 532 31 1295.40/164.33 c (163,0) c Thread 2 is 100% pure glucose! First thread to finish! (SAT answer). 1295.40/164.33 c (163,0) c Total Memory so far : 719.52Mb 1295.40/164.33 c (163,0) c 1295.40/164.33 c (163,0) c real time : 161.92 s 1295.40/164.33 c (163,0) c cpu time : 1288.46 s 1295.40/164.33 c (163,0) c 1295.40/164.33 c (163,0) c 1295.40/164.33 c (163,0) c 1295.40/164.33 c (163,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 1295.40/164.33 c (163,0) c 1295.40/164.33 c (163,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1295.40/164.33 c (163,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 1295.40/164.33 c (163,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1295.40/164.33 c (163,0) c | Conflicts | 5167190 | 647835 | 606944 | 616883 | 659844 | 667954 | 660145 | 652806 | 654779 | 1295.40/164.33 c (163,0) c | Decisions | 7141288 | 896923 | 845087 | 864371 | 913395 | 907672 | 908528 | 898596 | 906716 | 1295.40/164.33 c (163,0) c | Propagations | 1623867493 | 202600507 | 193777594 | 197985026 | 205839639 | 207673018 | 207442355 | 202627653 | 205921701 | 1295.40/164.33 c (163,0) c | Avg_Trail | | 1739 | 1723 | 1724 | 1764 | 1777 | 1784 | 1760 | 1749 | 1295.40/164.33 c (163,0) c | Avg_DL | | 25 | 26 | 25 | 25 | 25 | 25 | 26 | 25 | 1295.40/164.33 c (163,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1295.40/164.33 c (163,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1295.40/164.33 c (163,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1295.40/164.33 c (163,0) c | Exported | 551380 | 68550 | 65068 | 65861 | 70589 | 71658 | 69548 | 69746 | 70360 | 1295.40/164.33 c (163,0) c | Imported | 3839325 | 482066 | 486250 | 485319 | 480634 | 465593 | 479675 | 478989 | 480799 | 1295.40/164.33 c (163,0) c | Good | 315 | 33 | 36 | 41 | 43 | 38 | 40 | 41 | 43 | 1295.40/164.33 c (163,0) c | Purge | 3839010 | 482033 | 486214 | 485278 | 480591 | 465555 | 479635 | 478948 | 480756 | 1295.40/164.33 c (163,0) c | Promoted | 125592 | 15934 | 15263 | 15476 | 16244 | 15376 | 15538 | 16301 | 15460 | 1295.40/164.33 c (163,0) c | Remove_Imp | 2884369 | 371159 | 369439 | 329110 | 360740 | 357244 | 365222 | 368022 | 363433 | 1295.40/164.33 c (163,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1295.40/164.33 c (163,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1295.40/164.33 c (163,0) c | Unaries | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1295.40/164.33 c (163,0) c | Binaries | | 12 | 9 | 4 | 2 | 7 | 5 | 4 | 2 | 1295.40/164.33 c (163,0) c | Glues | | 1723 | 1793 | 1818 | 1730 | 1690 | 1565 | 1734 | 1568 | 1295.40/164.33 c (163,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1295.40/164.33 c (163,0) c | Orig_Seen | 98 % | 150182 | 150025 | 150245 | 150069 | 150032 | 149860 | 150242 | 149671 | 1295.40/164.33 c (163,0) c | Diff Orig seen| | - 63 | - 220 | X | - 176 | - 213 | - 385 | - 3 | - 574 | 1295.40/164.33 c (163,0) c | Hamming | 32 % | 1214 | 1070 | X | 1089 | 1059 | 990 | 1136 | 1107 | 1295.40/164.33 c (163,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1295.40/164.33 c (163,0) 1295.40/164.33 c (163,0) s SATISFIABLE 1295.40/164.34 c (163,1) SatSolver.solve End 1295.40/164.34 c (163,1) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB) 1295.40/164.34 c (163,1) Show results Begin 1295.40/164.36 c (163,1) ce[0][0][1] = 19 1295.40/164.36 c (163,1) ce[0][0][2] = 9 1295.40/164.36 c (163,1) ce[0][0][3] = 6 1295.40/164.36 c (163,1) ce[0][1][2] = 28 1295.40/164.36 c (163,1) ce[0][1][3] = 13 1295.40/164.36 c (163,1) ce[0][2][3] = 15 1295.40/164.36 c (163,1) ce[1][0][1] = 30 1295.40/164.36 c (163,1) ce[1][0][2] = 10 1295.40/164.36 c (163,1) ce[1][0][3] = 14 1295.40/164.36 c (163,1) ce[1][1][2] = 20 1295.40/164.36 c (163,1) ce[1][1][3] = 16 1295.40/164.36 c (163,1) ce[1][2][3] = 4 1295.40/164.36 c (163,1) ce[2][0][1] = 35 1295.40/164.36 c (163,1) ce[2][0][2] = 1 1295.40/164.36 c (163,1) ce[2][0][3] = 12 1295.40/164.36 c (163,1) ce[2][1][2] = 34 1295.40/164.36 c (163,1) ce[2][1][3] = 23 1295.40/164.36 c (163,1) ce[2][2][3] = 11 1295.40/164.36 c (163,1) ce[3][0][1] = 26 1295.40/164.36 c (163,1) ce[3][0][2] = 3 1295.40/164.36 c (163,1) ce[3][0][3] = 21 1295.40/164.36 c (163,1) ce[3][1][2] = 29 1295.40/164.36 c (163,1) ce[3][1][3] = 5 1295.40/164.36 c (163,1) ce[3][2][3] = 24 1295.40/164.36 c (163,1) cie[0][0] = 18 1295.40/164.36 c (163,1) cie[0][1] = 31 1295.40/164.36 c (163,1) cie[0][2] = 17 1295.40/164.36 c (163,1) cie[0][3] = 2 1295.40/164.36 c (163,1) cie[1][0] = 33 1295.40/164.36 c (163,1) cie[1][1] = 32 1295.40/164.36 c (163,1) cie[1][2] = 22 1295.40/164.36 c (163,1) cie[1][3] = 7 1295.40/164.36 c (163,1) cie[2][0] = 25 1295.40/164.36 c (163,1) cie[2][1] = 36 1295.40/164.36 c (163,1) cie[2][2] = 27 1295.40/164.36 c (163,1) cie[2][3] = 8 1295.40/164.36 c (163,1) cn[0][0] = 16 1295.40/164.36 c (163,1) cn[0][1] = 35 1295.40/164.36 c (163,1) cn[0][2] = 7 1295.40/164.36 c (163,1) cn[0][3] = 22 1295.40/164.36 c (163,1) cn[1][0] = 34 1295.40/164.36 c (163,1) cn[1][1] = 4 1295.40/164.36 c (163,1) cn[1][2] = 24 1295.40/164.36 c (163,1) cn[1][3] = 20 1295.40/164.36 c (163,1) cn[2][0] = 1 1295.40/164.36 c (163,1) cn[2][1] = 36 1295.40/164.36 c (163,1) cn[2][2] = 2 1295.40/164.36 c (163,1) cn[2][3] = 13 1295.40/164.36 c (163,1) cn[3][0] = 26 1295.40/164.36 c (163,1) cn[3][1] = 0 1295.40/164.36 c (163,1) cn[3][2] = 29 1295.40/164.36 c (163,1) cn[3][3] = 5 1295.40/164.36 s SATISFIABLE 1295.40/164.36 v <instantiation> 1295.40/164.36 v <list>cn[0][0] cn[0][1] cn[0][2] cn[0][3] cn[1][0] cn[1][1] cn[1][2] cn[1][3] cn[2][0] cn[2][1] cn[2][2] cn[2][3] cn[3][0] cn[3][1] cn[3][2] cn[3][3] ce[0][0][1] ce[0][0][2] ce[0][0][3] ce[0][1][2] ce[0][1][3] ce[0][2][3] ce[1][0][1] ce[1][0][2] ce[1][0][3] ce[1][1][2] ce[1][1][3] ce[1][2][3] ce[2][0][1] ce[2][0][2] ce[2][0][3] ce[2][1][2] ce[2][1][3] ce[2][2][3] ce[3][0][1] ce[3][0][2] ce[3][0][3] ce[3][1][2] ce[3][1][3] ce[3][2][3] cie[0][0] cie[0][1] cie[0][2] cie[0][3] cie[1][0] cie[1][1] cie[1][2] cie[1][3] cie[2][0] cie[2][1] cie[2][2] cie[2][3]</list> 1295.40/164.36 v <values>16 35 7 22 34 4 24 20 1 36 2 13 26 0 29 5 19 9 6 28 13 15 30 10 14 20 16 4 35 1 12 34 23 11 26 3 21 29 5 24 18 31 17 2 33 32 22 7 25 36 27 8</values> 1295.40/164.36 v </instantiation> 1295.40/164.36 c (163,1) Show results End 1295.40/164.36 c (163,1) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB) 1295.40/164.36 c (163,1) 0,0,0,0,1,1,1,163,163,STOP-AFTER(ALL) 1295.40/164.36 c END-Prog: Thu Jul 26 22:23:55 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 (8017 MiB free)
memory of node 1: 16384 MiB (12717 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296977-1532636471/watcher-4296977-1532636471 -o /tmp/evaluation-result-4296977-1532636471/solver-4296977-1532636471 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1532633886-5907 --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-4296977-1532636471.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=6200, runsolver pid=6197
Current StackSize limit: 8192 KiB
[startup+0.100137 s]*
/proc/loadavg: 8.21 8.70 8.70 2/199 6220
/proc/meminfo: memFree=21139912/32770624 swapFree=67108860/67108860
[pid=6200] ppid=6197 vsize=27312552 memory=106444 CPUtime=0.1 cores=0-7
/proc/6200/stat : 6200 (java) S 6197 6200 5880 0 -1 1077944320 6633 0 0 0 8 2 0 0 20 0 20 0 81210260 27968053248 26611 33554432000 4194304 4196468 140737425392784 140737425375328 139686258482935 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
/proc/6200/statm: 6828138 26611 2768 1 0 6790598 0
[pid=6200/tid=6202] ppid=6197 vsize=27312552 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/6200/task/6202/stat : 6202 (java) R 6197 6200 5880 0 -1 4202560 4699 0 0 0 7 2 0 0 20 0 20 0 81210260 27968053248 26611 33554432000 4194304 4196468 140737425392784 139686230278816 139686242563422 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6203] ppid=6197 vsize=27312552 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/6200/task/6203/stat : 6203 (java) S 6197 6200 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81210262 27968053248 26611 33554432000 4194304 4196468 140737425392784 139686262725776 139686258493141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6204] ppid=6197 vsize=27312552 memory=140206299461248 CPUtime=0 cores=0-7
/proc/6200/task/6204/stat : 6204 (java) S 6197 6200 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81210262 27968053248 26611 33554432000 4194304 4196468 140737425392784 139685681015824 139686258493141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6205] ppid=6197 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6200/task/6205/stat : 6205 (java) S 6197 6200 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81210262 27968053248 26611 33554432000 4194304 4196468 140737425392784 139685679963024 139686258493141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6206] ppid=6197 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6200/task/6206/stat : 6206 (java) S 6197 6200 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81210262 27968053248 26611 33554432000 4194304 4196468 140737425392784 139685678910224 139686258493141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6207] ppid=6197 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6200/task/6207/stat : 6207 (java) S 6197 6200 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81210262 27968053248 26611 33554432000 4194304 4196468 140737425392784 139685677857424 139686258493141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6208] ppid=6197 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/6200/task/6208/stat : 6208 (java) S 6197 6200 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81210262 27968053248 26611 33554432000 4194304 4196468 140737425392784 139685676804624 139686258493141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6209] ppid=6197 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6200/task/6209/stat : 6209 (java) S 6197 6200 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81210262 27968053248 26611 33554432000 4194304 4196468 140737425392784 139685675751824 139686258493141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6210] ppid=6197 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6200/task/6210/stat : 6210 (java) S 6197 6200 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81210262 27968053248 26611 33554432000 4194304 4196468 140737425392784 139685674699024 139686258493141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6211] ppid=6197 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6200/task/6211/stat : 6211 (java) S 6197 6200 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81210264 27968053248 26611 33554432000 4194304 4196468 140737425392784 139684512578416 139686258494082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6212] ppid=6197 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6200/task/6212/stat : 6212 (java) S 6197 6200 5880 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 81210264 27968053248 26611 33554432000 4194304 4196468 140737425392784 139684147619360 139686258493141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6213] ppid=6197 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6200/task/6213/stat : 6213 (java) S 6197 6200 5880 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81210265 27968053248 26611 33554432000 4194304 4196468 140737425392784 139684013397360 139686258493141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6214] ppid=6197 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6200/task/6214/stat : 6214 (java) S 6197 6200 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81210267 27968053248 26611 33554432000 4194304 4196468 140737425392784 139683638892880 139686258501531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6215] ppid=6197 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6200/task/6215/stat : 6215 (java) S 6197 6200 5880 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 81210267 27968053248 26611 33554432000 4194304 4196468 140737425392784 139684511525232 139686258494082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6216] ppid=6197 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6200/task/6216/stat : 6216 (java) S 6197 6200 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81210267 27968053248 26611 33554432000 4194304 4196468 140737425392784 139684510472432 139686258494082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6217] ppid=6197 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6200/task/6217/stat : 6217 (java) S 6197 6200 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81210267 27968053248 26611 33554432000 4194304 4196468 140737425392784 139684509419632 139686258494082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6218] ppid=6197 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6200/task/6218/stat : 6218 (java) S 6197 6200 5880 0 -1 1077944384 266 0 0 0 0 0 0 0 20 0 20 0 81210267 27968053248 26611 33554432000 4194304 4196468 140737425392784 139684508366832 139686258494082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6219] ppid=6197 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6200/task/6219/stat : 6219 (java) S 6197 6200 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81210267 27968053248 26611 33554432000 4194304 4196468 140737425392784 139683140988000 139686258493141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6220] ppid=6197 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/6200/task/6220/stat : 6220 (java) S 6197 6200 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81210267 27968053248 26611 33554432000 4194304 4196468 140737425392784 139684507315248 139686258494082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 106444 KiB
[startup+0.209777 s]*
/proc/loadavg: 8.21 8.70 8.70 2/199 6220
/proc/meminfo: memFree=21123248/32770624 swapFree=67108860/67108860
[pid=6200] ppid=6197 vsize=27312552 memory=120848 CPUtime=0.24 cores=0-7
/proc/6200/stat : 6200 (java) S 6197 6200 5880 0 -1 1077944320 10465 0 0 0 21 3 0 0 20 0 20 0 81210260 27968053248 30212 33554432000 4194304 4196468 140737425392784 140737425375328 139686258482935 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
/proc/6200/statm: 6828138 30212 2877 1 0 6790598 0
[pid=6200/tid=6202] ppid=6197 vsize=27312552 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/6200/task/6202/stat : 6202 (java) R 6197 6200 5880 0 -1 4202560 8280 0 0 0 17 2 0 0 20 0 20 0 81210260 27968053248 30212 33554432000 4194304 4196468 140737425392784 139686230272640 139686240067399 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6203] ppid=6197 vsize=27312552 memory=10823 CPUtime=0 cores=0-7
/proc/6200/task/6203/stat : 6203 (java) S 6197 6200 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81210262 27968053248 30212 33554432000 4194304 4196468 140737425392784 139686262725776 139686258493141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6204] ppid=6197 vsize=27312552 memory=140206299467591 CPUtime=0 cores=0-7
/proc/6200/task/6204/stat : 6204 (java) S 6197 6200 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81210262 27968053248 30212 33554432000 4194304 4196468 140737425392784 139685681015824 139686258493141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6205] ppid=6197 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/6200/task/6205/stat : 6205 (java) S 6197 6200 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81210262 27968053248 30212 33554432000 4194304 4196468 140737425392784 139685679963024 139686258493141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6206] ppid=6197 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6200/task/6206/stat : 6206 (java) S 6197 6200 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81210262 27968053248 30212 33554432000 4194304 4196468 140737425392784 139685678910224 139686258493141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6207] ppid=6197 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6200/task/6207/stat : 6207 (java) S 6197 6200 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81210262 27968053248 30212 33554432000 4194304 4196468 140737425392784 139685677857424 139686258493141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6208] ppid=6197 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/6200/task/6208/stat : 6208 (java) S 6197 6200 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81210262 27968053248 30212 33554432000 4194304 4196468 140737425392784 139685676804624 139686258493141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6209] ppid=6197 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6200/task/6209/stat : 6209 (java) S 6197 6200 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81210262 27968053248 30212 33554432000 4194304 4196468 140737425392784 139685675751824 139686258493141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6210] ppid=6197 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6200/task/6210/stat : 6210 (java) S 6197 6200 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81210262 27968053248 30212 33554432000 4194304 4196468 140737425392784 139685674699024 139686258493141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6211] ppid=6197 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6200/task/6211/stat : 6211 (java) S 6197 6200 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81210264 27968053248 30212 33554432000 4194304 4196468 140737425392784 139684512578416 139686258494082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6212] ppid=6197 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6200/task/6212/stat : 6212 (java) S 6197 6200 5880 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 81210264 27968053248 30212 33554432000 4194304 4196468 140737425392784 139684147619360 139686258493141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6213] ppid=6197 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6200/task/6213/stat : 6213 (java) S 6197 6200 5880 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81210265 27968053248 30212 33554432000 4194304 4196468 140737425392784 139684013397360 139686258493141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6214] ppid=6197 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6200/task/6214/stat : 6214 (java) S 6197 6200 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81210267 27968053248 30212 33554432000 4194304 4196468 140737425392784 139683638892880 139686258501531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6215] ppid=6197 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6200/task/6215/stat : 6215 (java) S 6197 6200 5880 0 -1 1077944384 341 0 0 0 0 0 0 0 20 0 20 0 81210267 27968053248 30212 33554432000 4194304 4196468 140737425392784 139684511525232 139686258494082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6216] ppid=6197 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6200/task/6216/stat : 6216 (java) R 6197 6200 5880 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 20 0 81210267 27968053248 30212 33554432000 4194304 4196468 140737425392784 139684510472432 139686258494082 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6217] ppid=6197 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6200/task/6217/stat : 6217 (java) S 6197 6200 5880 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 81210267 27968053248 30212 33554432000 4194304 4196468 140737425392784 139684509419632 139686258494082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6218] ppid=6197 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7
/proc/6200/task/6218/stat : 6218 (java) S 6197 6200 5880 0 -1 1077944384 330 0 0 0 2 0 0 0 20 0 20 0 81210267 27968053248 30212 33554432000 4194304 4196468 140737425392784 139684508366832 139686258494082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6219] ppid=6197 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6200/task/6219/stat : 6219 (java) S 6197 6200 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81210267 27968053248 30212 33554432000 4194304 4196468 140737425392784 139683140988000 139686258493141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6220] ppid=6197 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/6200/task/6220/stat : 6220 (java) S 6197 6200 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81210267 27968053248 30212 33554432000 4194304 4196468 140737425392784 139684507315248 139686258494082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 120848 KiB
[startup+0.309395 s]*
/proc/loadavg: 8.21 8.70 8.70 2/199 6220
/proc/meminfo: memFree=21120208/32770624 swapFree=67108860/67108860
[pid=6200] ppid=6197 vsize=27312552 memory=124880 CPUtime=0.42 cores=0-7
/proc/6200/stat : 6200 (java) S 6197 6200 5880 0 -1 1077944320 11112 0 0 0 38 4 0 0 20 0 20 0 81210260 27968053248 31220 33554432000 4194304 4196468 140737425392784 140737425375328 139686258482935 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
/proc/6200/statm: 6828138 31220 3001 1 0 6790598 0
[pid=6200/tid=6202] ppid=6197 vsize=27312552 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/6200/task/6202/stat : 6202 (java) R 6197 6200 5880 0 -1 4202560 8655 0 0 0 26 3 0 0 20 0 20 0 81210260 27968053248 31220 33554432000 4194304 4196468 140737425392784 139686230287088 139686242563422 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6203] ppid=6197 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6200/task/6203/stat : 6203 (java) S 6197 6200 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81210262 27968053248 31220 33554432000 4194304 4196468 140737425392784 139686262725776 139686258493141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6204] ppid=6197 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6200/task/6204/stat : 6204 (java) S 6197 6200 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81210262 27968053248 31220 33554432000 4194304 4196468 140737425392784 139685681015824 139686258493141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6205] ppid=6197 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6200/task/6205/stat : 6205 (java) S 6197 6200 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81210262 27968053248 31220 33554432000 4194304 4196468 140737425392784 139685679963024 139686258493141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6206] ppid=6197 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6200/task/6206/stat : 6206 (java) S 6197 6200 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81210262 27968053248 31220 33554432000 4194304 4196468 140737425392784 139685678910224 139686258493141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6207] ppid=6197 vsize=27312552 memory=2244 CPUtime=0 cores=0-7
/proc/6200/task/6207/stat : 6207 (java) S 6197 6200 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81210262 27968053248 31220 33554432000 4194304 4196468 140737425392784 139685677857424 139686258493141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6208] ppid=6197 vsize=27312552 memory=140206187574191 CPUtime=0 cores=0-7
/proc/6200/task/6208/stat : 6208 (java) S 6197 6200 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81210262 27968053248 31220 33554432000 4194304 4196468 140737425392784 139685676804624 139686258493141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6209] ppid=6197 vsize=27312552 memory=140206187576496 CPUtime=0 cores=0-7
/proc/6200/task/6209/stat : 6209 (java) S 6197 6200 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81210262 27968053248 31220 33554432000 4194304 4196468 140737425392784 139685675751824 139686258493141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6210] ppid=6197 vsize=27312552 memory=140206187578800 CPUtime=0 cores=0-7
/proc/6200/task/6210/stat : 6210 (java) S 6197 6200 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81210262 27968053248 31220 33554432000 4194304 4196468 140737425392784 139685674699024 139686258493141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6211] ppid=6197 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6200/task/6211/stat : 6211 (java) S 6197 6200 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81210264 27968053248 31220 33554432000 4194304 4196468 140737425392784 139684512578416 139686258494082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6212] ppid=6197 vsize=27312552 memory=280412375164560 CPUtime=0 cores=0-7
/proc/6200/task/6212/stat : 6212 (java) S 6197 6200 5880 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 81210264 27968053248 31220 33554432000 4194304 4196468 140737425392784 139684147619360 139686258493141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6213] ppid=6197 vsize=27312552 memory=280412375171472 CPUtime=0 cores=0-7
/proc/6200/task/6213/stat : 6213 (java) S 6197 6200 5880 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81210265 27968053248 31220 33554432000 4194304 4196468 140737425392784 139684013397360 139686258493141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6214] ppid=6197 vsize=27312552 memory=280412375112720 CPUtime=0 cores=0-7
/proc/6200/task/6214/stat : 6214 (java) S 6197 6200 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81210267 27968053248 31220 33554432000 4194304 4196468 140737425392784 139683638892880 139686258501531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6215] ppid=6197 vsize=27312552 memory=280412375185296 CPUtime=0.01 cores=0-7
/proc/6200/task/6215/stat : 6215 (java) S 6197 6200 5880 0 -1 1077944384 440 0 0 0 1 0 0 0 20 0 20 0 81210267 27968053248 31220 33554432000 4194304 4196468 140737425392784 139684511525232 139686258494082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6216] ppid=6197 vsize=27312552 memory=280412375192208 CPUtime=0.01 cores=0-7
/proc/6200/task/6216/stat : 6216 (java) S 6197 6200 5880 0 -1 1077944384 156 0 0 0 1 0 0 0 20 0 20 0 81210267 27968053248 31220 33554432000 4194304 4196468 140737425392784 139684510472432 139686258494082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6217] ppid=6197 vsize=27312552 memory=280412375189904 CPUtime=0.01 cores=0-7
/proc/6200/task/6217/stat : 6217 (java) S 6197 6200 5880 0 -1 1077944384 68 0 0 0 1 0 0 0 20 0 20 0 81210267 27968053248 31220 33554432000 4194304 4196468 140737425392784 139684509419632 139686258494082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6218] ppid=6197 vsize=27312552 memory=280412375206512 CPUtime=0.07 cores=0-7
/proc/6200/task/6218/stat : 6218 (java) S 6197 6200 5880 0 -1 1077944384 429 0 0 0 7 0 0 0 20 0 20 0 81210267 27968053248 31220 33554432000 4194304 4196468 140737425392784 139684508366832 139686258494082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6219] ppid=6197 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6200/task/6219/stat : 6219 (java) S 6197 6200 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81210267 27968053248 31220 33554432000 4194304 4196468 140737425392784 139683140988000 139686258493141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6220] ppid=6197 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/6200/task/6220/stat : 6220 (java) S 6197 6200 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81210267 27968053248 31220 33554432000 4194304 4196468 140737425392784 139684507315248 139686258494082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 124880 KiB
[startup+0.700795 s]
/proc/loadavg: 8.21 8.70 8.70 2/199 6220
/proc/meminfo: memFree=21096148/32770624 swapFree=67108860/67108860
[pid=6200] ppid=6197 vsize=27320948 memory=162712 CPUtime=0.99 cores=0-7
/proc/6200/stat : 6200 (java) S 6197 6200 5880 0 -1 1077944320 18279 0 0 0 93 6 0 0 20 0 20 0 81210260 27976650752 40678 33554432000 4194304 4196468 140737425392784 140737425375328 139686258482935 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
/proc/6200/statm: 6830237 40678 3131 1 0 6791622 0
[pid=6200/tid=6202] ppid=6197 vsize=27320948 memory=0 CPUtime=0.67 cores=0-7
/proc/6200/task/6202/stat : 6202 (java) R 6197 6200 5880 0 -1 4202560 15280 0 0 0 63 4 0 0 20 0 20 0 81210260 27976650752 40678 33554432000 4194304 4196468 140737425392784 139686230303280 139686242563422 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6203] ppid=6197 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/6200/task/6203/stat : 6203 (java) S 6197 6200 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81210262 27976650752 40678 33554432000 4194304 4196468 140737425392784 139686262725776 139686258493141 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6204] ppid=6197 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/6200/task/6204/stat : 6204 (java) S 6197 6200 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81210262 27976650752 40678 33554432000 4194304 4196468 140737425392784 139685681015824 139686258493141 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6205] ppid=6197 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/6200/task/6205/stat : 6205 (java) S 6197 6200 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81210262 27976650752 40678 33554432000 4194304 4196468 140737425392784 139685679963024 139686258493141 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6206] ppid=6197 vsize=27320948 memory=1948 CPUtime=0 cores=0-7
/proc/6200/task/6206/stat : 6206 (java) S 6197 6200 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81210262 27976650752 40678 33554432000 4194304 4196468 140737425392784 139685678910224 139686258493141 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6207] ppid=6197 vsize=27320948 memory=1200 CPUtime=0 cores=0-7
/proc/6200/task/6207/stat : 6207 (java) S 6197 6200 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81210262 27976650752 40678 33554432000 4194304 4196468 140737425392784 139685677857424 139686258493141 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6208] ppid=6197 vsize=27320948 memory=8548 CPUtime=0 cores=0-7
/proc/6200/task/6208/stat : 6208 (java) S 6197 6200 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81210262 27976650752 40678 33554432000 4194304 4196468 140737425392784 139685676804624 139686258493141 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6209] ppid=6197 vsize=27320948 memory=800 CPUtime=0 cores=0-7
/proc/6200/task/6209/stat : 6209 (java) S 6197 6200 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81210262 27976650752 40678 33554432000 4194304 4196468 140737425392784 139685675751824 139686258493141 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6210] ppid=6197 vsize=27320948 memory=15876 CPUtime=0 cores=0-7
/proc/6200/task/6210/stat : 6210 (java) S 6197 6200 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81210262 27976650752 40678 33554432000 4194304 4196468 140737425392784 139685674699024 139686258493141 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6211] ppid=6197 vsize=27320948 memory=16436 CPUtime=0 cores=0-7
/proc/6200/task/6211/stat : 6211 (java) S 6197 6200 5880 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 81210264 27976650752 40678 33554432000 4194304 4196468 140737425392784 139684512578416 139686258494082 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
################
# More data... #
################
[pid=6200/tid=6224] ppid=6197 vsize=27982760 memory=4124 CPUtime=0.01 cores=0-7
/proc/6200/task/6224/stat : 6224 (java) S 6197 6200 5880 0 -1 4202560 727 0 0 0 1 0 0 0 20 0 24 0 81210501 28654346240 144958 33554432000 4194304 4196468 140737425392784 139682469887728 139686258504861 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6225] ppid=6197 vsize=27982760 memory=2200 CPUtime=0 cores=0-7
/proc/6200/task/6225/stat : 6225 (java) S 6197 6200 5880 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 81210501 28654346240 144958 33554432000 4194304 4196468 140737425392784 139682738322864 139686258504861 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6226] ppid=6197 vsize=27982760 memory=7528 CPUtime=0 cores=0-7
/proc/6200/task/6226/stat : 6226 (java) S 6197 6200 5880 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 81210503 28654346240 144958 33554432000 4194304 4196468 140737425392784 139682201459744 139686258493141 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
Current children cumulated CPU time: 1293.08 s
Current children cumulated vsize: 28719548 KiB
Current children cumulated memory: 1095012 KiB
[startup+164.202 s]
/proc/loadavg: 8.50 8.52 8.62 9/212 6234
/proc/meminfo: memFree=20150968/32770624 swapFree=67108860/67108860
[pid=6200] ppid=6197 vsize=27982760 memory=579832 CPUtime=6.41 cores=0-7
/proc/6200/stat : 6200 (java) S 6197 6200 5880 0 -1 1077944320 27219 0 0 0 621 20 0 0 20 0 24 0 81210260 28654346240 144958 33554432000 4194304 4196468 140737425392784 140737425375328 139686258482935 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
/proc/6200/statm: 6995690 144958 3227 1 0 6956546 0
[pid=6221] ppid=6200 vsize=736788 memory=515180 CPUtime=1288.19 cores=0-7
/proc/6221/stat : 6221 (glucose-syrup) S 6200 6200 5880 0 -1 1077944320 308867 0 0 0 128743 76 0 0 20 0 9 0 81210501 754470912 128795 33554432000 4194304 4373367 140728449447136 140728449445680 140458214451842 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6470912 6472264 31383552 140728449455025 140728449455276 140728449455276 140728449458119 0
/proc/6221/statm: 184197 128795 384 44 0 179885 0
[pid=6221/tid=6227] ppid=6200 vsize=736788 memory=15535236834396114 CPUtime=161.43 cores=0-7
/proc/6221/task/6227/stat : 6227 (glucose-syrup) R 6200 6200 5880 0 -1 4202560 33997 0 0 0 16134 9 0 0 20 0 9 0 81210531 754470912 128795 33554432000 4194304 4373367 140728449447136 140458182315376 4271619 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 31383552 140728449455025 140728449455276 140728449455276 140728449458119 0
[pid=6221/tid=6228] ppid=6200 vsize=736788 memory=2200 CPUtime=158.55 cores=0-7
/proc/6221/task/6228/stat : 6228 (glucose-syrup) R 6200 6200 5880 0 -1 4202560 36494 0 0 0 15847 8 0 0 20 0 9 0 81210531 754470912 128795 33554432000 4194304 4373367 140728449447136 140458173922672 4271882 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 31383552 140728449455025 140728449455276 140728449455276 140728449458119 0
[pid=6221/tid=6229] ppid=6200 vsize=736788 memory=7528 CPUtime=161.41 cores=0-7
/proc/6221/task/6229/stat : 6229 (glucose-syrup) R 6200 6200 5880 0 -1 4202560 36847 0 0 0 16131 10 0 0 20 0 9 0 81210531 754470912 128795 33554432000 4194304 4373367 140728449447136 140458165529968 4271808 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 31383552 140728449455025 140728449455276 140728449455276 140728449458119 0
[pid=6221/tid=6230] ppid=6200 vsize=736788 memory=840 CPUtime=161.44 cores=0-7
/proc/6221/task/6230/stat : 6230 (glucose-syrup) R 6200 6200 5880 0 -1 4202560 38661 0 0 0 16137 7 0 0 20 0 9 0 81210531 754470912 128795 33554432000 4194304 4373367 140728449447136 140458157137264 4290880 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 31383552 140728449455025 140728449455276 140728449455276 140728449458119 0
[pid=6221/tid=6231] ppid=6200 vsize=736788 memory=1800 CPUtime=161.44 cores=0-7
/proc/6221/task/6231/stat : 6231 (glucose-syrup) R 6200 6200 5880 0 -1 4202560 33585 0 0 0 16135 9 0 0 20 0 9 0 81210531 754470912 128795 33554432000 4194304 4373367 140728449447136 140458148744336 4259510 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 31383552 140728449455025 140728449455276 140728449455276 140728449458119 0
[pid=6221/tid=6232] ppid=6200 vsize=736788 memory=579832 CPUtime=161.07 cores=0-7
/proc/6221/task/6232/stat : 6232 (glucose-syrup) R 6200 6200 5880 0 -1 4202560 40777 0 0 0 16099 8 0 0 20 0 9 0 81210531 754470912 128795 33554432000 4194304 4373367 140728449447136 140458140351856 4258958 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 31383552 140728449455025 140728449455276 140728449455276 140728449458119 0
[pid=6221/tid=6233] ppid=6200 vsize=736788 memory=457408 CPUtime=161.44 cores=0-7
/proc/6221/task/6233/stat : 6233 (glucose-syrup) R 6200 6200 5880 0 -1 4202560 35472 0 0 0 16133 11 0 0 20 0 9 0 81210531 754470912 128795 33554432000 4194304 4373367 140728449447136 140458131959152 4271828 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 31383552 140728449455025 140728449455276 140728449455276 140728449458119 0
[pid=6221/tid=6234] ppid=6200 vsize=736788 memory=4104 CPUtime=161.03 cores=0-7
/proc/6221/task/6234/stat : 6234 (glucose-syrup) R 6200 6200 5880 0 -1 4202560 37251 0 0 0 16095 8 0 0 20 0 9 0 81210531 754470912 128795 33554432000 4194304 4373367 140728449447136 140458123566448 4259489 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 31383552 140728449455025 140728449455276 140728449455276 140728449458119 0
[pid=6200/tid=6202] ppid=6197 vsize=27982760 memory=1412 CPUtime=2.42 cores=0-7
/proc/6200/task/6202/stat : 6202 (java) S 6197 6200 5880 0 -1 1077944384 17248 0 0 0 229 13 0 0 20 0 24 0 81210260 28654346240 144958 33554432000 4194304 4196468 140737425392784 139686230322176 139686258493141 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6203] ppid=6197 vsize=27982760 memory=3716 CPUtime=0 cores=0-7
/proc/6200/task/6203/stat : 6203 (java) S 6197 6200 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 81210262 28654346240 144958 33554432000 4194304 4196468 140737425392784 139686262725776 139686258493141 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6204] ppid=6197 vsize=27982760 memory=579832 CPUtime=0 cores=0-7
/proc/6200/task/6204/stat : 6204 (java) S 6197 6200 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81210262 28654346240 144958 33554432000 4194304 4196468 140737425392784 139685681015824 139686258493141 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6205] ppid=6197 vsize=27982760 memory=280412375897536 CPUtime=0 cores=0-7
/proc/6200/task/6205/stat : 6205 (java) S 6197 6200 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 81210262 28654346240 144958 33554432000 4194304 4196468 140737425392784 139685679963024 139686258493141 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6206] ppid=6197 vsize=27982760 memory=4104 CPUtime=0 cores=0-7
/proc/6200/task/6206/stat : 6206 (java) S 6197 6200 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 81210262 28654346240 144958 33554432000 4194304 4196468 140737425392784 139685678910224 139686258493141 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6207] ppid=6197 vsize=27982760 memory=1412 CPUtime=0 cores=0-7
/proc/6200/task/6207/stat : 6207 (java) S 6197 6200 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 81210262 28654346240 144958 33554432000 4194304 4196468 140737425392784 139685677857424 139686258493141 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6208] ppid=6197 vsize=27982760 memory=3764 CPUtime=0 cores=0-7
/proc/6200/task/6208/stat : 6208 (java) S 6197 6200 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 81210262 28654346240 144958 33554432000 4194304 4196468 140737425392784 139685676804624 139686258493141 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6209] ppid=6197 vsize=27982760 memory=579832 CPUtime=0 cores=0-7
/proc/6200/task/6209/stat : 6209 (java) S 6197 6200 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 81210262 28654346240 144958 33554432000 4194304 4196468 140737425392784 139685675751824 139686258493141 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6210] ppid=6197 vsize=27982760 memory=458268 CPUtime=0 cores=0-7
/proc/6200/task/6210/stat : 6210 (java) S 6197 6200 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 81210262 28654346240 144958 33554432000 4194304 4196468 140737425392784 139685674699024 139686258493141 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6211] ppid=6197 vsize=27982760 memory=8039887049847963810 CPUtime=0 cores=0-7
/proc/6200/task/6211/stat : 6211 (java) S 6197 6200 5880 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 24 0 81210264 28654346240 144958 33554432000 4194304 4196468 140737425392784 139684512578416 139686258494082 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 23 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6212] ppid=6197 vsize=27982760 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/6200/task/6212/stat : 6212 (java) S 6197 6200 5880 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 81210264 28654346240 144958 33554432000 4194304 4196468 140737425392784 139684147619360 139686258493141 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6213] ppid=6197 vsize=27982760 memory=579748 CPUtime=0 cores=0-7
/proc/6200/task/6213/stat : 6213 (java) S 6197 6200 5880 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 81210265 28654346240 144958 33554432000 4194304 4196468 140737425392784 139684013397360 139686258493141 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6214] ppid=6197 vsize=27982760 memory=454564 CPUtime=0 cores=0-7
/proc/6200/task/6214/stat : 6214 (java) S 6197 6200 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81210267 28654346240 144958 33554432000 4194304 4196468 140737425392784 139683638892880 139686258501531 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6215] ppid=6197 vsize=27982760 memory=4008 CPUtime=0.84 cores=0-7
/proc/6200/task/6215/stat : 6215 (java) S 6197 6200 5880 0 -1 1077944384 1031 0 0 0 83 1 0 0 20 0 24 0 81210267 28654346240 144958 33554432000 4194304 4196468 140737425392784 139684511525232 139686258494082 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6216] ppid=6197 vsize=27982760 memory=1796 CPUtime=0.95 cores=0-7
/proc/6200/task/6216/stat : 6216 (java) S 6197 6200 5880 0 -1 1077944384 946 0 0 0 95 0 0 0 20 0 24 0 81210267 28654346240 144958 33554432000 4194304 4196468 140737425392784 139684510472432 139686258494082 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6217] ppid=6197 vsize=27982760 memory=8039887049847963810 CPUtime=1.12 cores=0-7
/proc/6200/task/6217/stat : 6217 (java) S 6197 6200 5880 0 -1 1077944384 2529 0 0 0 111 1 0 0 20 0 24 0 81210267 28654346240 144958 33554432000 4194304 4196468 140737425392784 139684509419632 139686258494082 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6218] ppid=6197 vsize=27982760 memory=956 CPUtime=0.91 cores=0-7
/proc/6200/task/6218/stat : 6218 (java) S 6197 6200 5880 0 -1 1077944384 3299 0 0 0 90 1 0 0 20 0 24 0 81210267 28654346240 144958 33554432000 4194304 4196468 140737425392784 139684508366832 139686258494082 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6219] ppid=6197 vsize=27982760 memory=1236 CPUtime=0 cores=0-7
/proc/6200/task/6219/stat : 6219 (java) S 6197 6200 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 81210267 28654346240 144958 33554432000 4194304 4196468 140737425392784 139683140988000 139686258493141 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6220] ppid=6197 vsize=27982760 memory=2340 CPUtime=0.09 cores=0-7
/proc/6200/task/6220/stat : 6220 (java) S 6197 6200 5880 0 -1 1077944384 13 0 0 0 0 9 0 0 20 0 24 0 81210267 28654346240 144958 33554432000 4194304 4196468 140737425392784 139684507315248 139686258494082 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 21 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6222] ppid=6197 vsize=27982760 memory=1576 CPUtime=0 cores=0-7
/proc/6200/task/6222/stat : 6222 (java) S 6197 6200 5880 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 81210501 28654346240 144958 33554432000 4194304 4196468 140737425392784 139684886132288 139686258507545 0 4 0 25189583 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6224] ppid=6197 vsize=27982760 memory=0 CPUtime=0.01 cores=0-7
/proc/6200/task/6224/stat : 6224 (java) S 6197 6200 5880 0 -1 4202560 727 0 0 0 1 0 0 0 20 0 24 0 81210501 28654346240 144958 33554432000 4194304 4196468 140737425392784 139682469887728 139686258504861 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6225] ppid=6197 vsize=27982760 memory=7523918939208969317 CPUtime=0 cores=0-7
/proc/6200/task/6225/stat : 6225 (java) S 6197 6200 5880 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 81210501 28654346240 144958 33554432000 4194304 4196468 140737425392784 139682738322864 139686258504861 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6226] ppid=6197 vsize=27982760 memory=7523918939208969317 CPUtime=0 cores=0-7
/proc/6200/task/6226/stat : 6226 (java) S 6197 6200 5880 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 81210503 28654346240 144958 33554432000 4194304 4196468 140737425392784 139682201459744 139686258493141 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
Current children cumulated CPU time: 1294.6 s
Current children cumulated vsize: 28719548 KiB
Current children cumulated memory: 1095012 KiB
[startup+164.302 s]
/proc/loadavg: 8.50 8.52 8.62 9/212 6234
/proc/meminfo: memFree=20150968/32770624 swapFree=67108860/67108860
[pid=6200] ppid=6197 vsize=27982760 memory=579832 CPUtime=6.41 cores=0-7
/proc/6200/stat : 6200 (java) S 6197 6200 5880 0 -1 1077944320 27219 0 0 0 621 20 0 0 20 0 24 0 81210260 28654346240 144958 33554432000 4194304 4196468 140737425392784 140737425375328 139686258482935 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
/proc/6200/statm: 6995690 144958 3227 1 0 6956546 0
[pid=6221] ppid=6200 vsize=736788 memory=515180 CPUtime=1288.99 cores=0-7
/proc/6221/stat : 6221 (glucose-syrup) S 6200 6200 5880 0 -1 1077944320 308870 0 0 0 128823 76 0 0 20 0 9 0 81210501 754470912 128795 33554432000 4194304 4373367 140728449447136 140728449445680 140458214451842 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6470912 6472264 31383552 140728449455025 140728449455276 140728449455276 140728449458119 0
/proc/6221/statm: 184197 128795 384 44 0 179885 0
[pid=6221/tid=6227] ppid=6200 vsize=736788 memory=512944 CPUtime=161.53 cores=0-7
/proc/6221/task/6227/stat : 6227 (glucose-syrup) R 6200 6200 5880 0 -1 4202560 33997 0 0 0 16144 9 0 0 20 0 9 0 81210531 754470912 128795 33554432000 4194304 4373367 140728449447136 140458182315376 4258958 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 31383552 140728449455025 140728449455276 140728449455276 140728449458119 0
[pid=6221/tid=6228] ppid=6200 vsize=736788 memory=515180 CPUtime=158.65 cores=0-7
/proc/6221/task/6228/stat : 6228 (glucose-syrup) R 6200 6200 5880 0 -1 4202560 36494 0 0 0 15857 8 0 0 20 0 9 0 81210531 754470912 128795 33554432000 4194304 4373367 140728449447136 140458173922576 4272319 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 31383552 140728449455025 140728449455276 140728449455276 140728449458119 0
[pid=6221/tid=6229] ppid=6200 vsize=736788 memory=515180 CPUtime=161.51 cores=0-7
/proc/6221/task/6229/stat : 6229 (glucose-syrup) R 6200 6200 5880 0 -1 4202560 36849 0 0 0 16141 10 0 0 20 0 9 0 81210531 754470912 128795 33554432000 4194304 4373367 140728449447136 140458165529968 4271828 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 31383552 140728449455025 140728449455276 140728449455276 140728449458119 0
[pid=6221/tid=6230] ppid=6200 vsize=736788 memory=579832 CPUtime=161.54 cores=0-7
/proc/6221/task/6230/stat : 6230 (glucose-syrup) R 6200 6200 5880 0 -1 4202560 38661 0 0 0 16147 7 0 0 20 0 9 0 81210531 754470912 128795 33554432000 4194304 4373367 140728449447136 140458157137168 4271882 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 31383552 140728449455025 140728449455276 140728449455276 140728449458119 0
[pid=6221/tid=6231] ppid=6200 vsize=736788 memory=1796 CPUtime=161.54 cores=0-7
/proc/6221/task/6231/stat : 6231 (glucose-syrup) R 6200 6200 5880 0 -1 4202560 33586 0 0 0 16145 9 0 0 20 0 9 0 81210531 754470912 128795 33554432000 4194304 4373367 140728449447136 140458148744336 4271828 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 31383552 140728449455025 140728449455276 140728449455276 140728449458119 0
[pid=6221/tid=6232] ppid=6200 vsize=736788 memory=280412375435840 CPUtime=161.17 cores=0-7
/proc/6221/task/6232/stat : 6232 (glucose-syrup) R 6200 6200 5880 0 -1 4202560 40777 0 0 0 16109 8 0 0 20 0 9 0 81210531 754470912 128795 33554432000 4194304 4373367 140728449447136 140458140351856 4272316 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 31383552 140728449455025 140728449455276 140728449455276 140728449458119 0
[pid=6221/tid=6233] ppid=6200 vsize=736788 memory=4639939496134862184 CPUtime=161.54 cores=0-7
/proc/6221/task/6233/stat : 6233 (glucose-syrup) R 6200 6200 5880 0 -1 4202560 35472 0 0 0 16143 11 0 0 20 0 9 0 81210531 754470912 128795 33554432000 4194304 4373367 140728449447136 140458131959152 4258908 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 31383552 140728449455025 140728449455276 140728449455276 140728449458119 0
[pid=6221/tid=6234] ppid=6200 vsize=736788 memory=4639939496134862184 CPUtime=161.13 cores=0-7
/proc/6221/task/6234/stat : 6234 (glucose-syrup) R 6200 6200 5880 0 -1 4202560 37251 0 0 0 16105 8 0 0 20 0 9 0 81210531 754470912 128795 33554432000 4194304 4373367 140728449447136 140458123566448 4271597 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 31383552 140728449455025 140728449455276 140728449455276 140728449458119 0
[pid=6200/tid=6202] ppid=6197 vsize=27982760 memory=579744 CPUtime=2.42 cores=0-7
/proc/6200/task/6202/stat : 6202 (java) S 6197 6200 5880 0 -1 1077944384 17248 0 0 0 229 13 0 0 20 0 24 0 81210260 28654346240 144958 33554432000 4194304 4196468 140737425392784 139686230322176 139686258493141 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6203] ppid=6197 vsize=27982760 memory=447936 CPUtime=0 cores=0-7
/proc/6200/task/6203/stat : 6203 (java) S 6197 6200 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 81210262 28654346240 144958 33554432000 4194304 4196468 140737425392784 139686262725776 139686258493141 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6204] ppid=6197 vsize=27982760 memory=280412375934224 CPUtime=0 cores=0-7
/proc/6200/task/6204/stat : 6204 (java) S 6197 6200 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81210262 28654346240 144958 33554432000 4194304 4196468 140737425392784 139685681015824 139686258493141 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6205] ppid=6197 vsize=27982760 memory=6655300316396806240 CPUtime=0 cores=0-7
/proc/6200/task/6205/stat : 6205 (java) S 6197 6200 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 81210262 28654346240 144958 33554432000 4194304 4196468 140737425392784 139685679963024 139686258493141 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6206] ppid=6197 vsize=27982760 memory=579832 CPUtime=0 cores=0-7
/proc/6200/task/6206/stat : 6206 (java) S 6197 6200 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 81210262 28654346240 144958 33554432000 4194304 4196468 140737425392784 139685678910224 139686258493141 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6207] ppid=6197 vsize=27982760 memory=460848 CPUtime=0 cores=0-7
/proc/6200/task/6207/stat : 6207 (java) S 6197 6200 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 81210262 28654346240 144958 33554432000 4194304 4196468 140737425392784 139685677857424 139686258493141 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6208] ppid=6197 vsize=27982760 memory=1412 CPUtime=0 cores=0-7
/proc/6200/task/6208/stat : 6208 (java) S 6197 6200 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 81210262 28654346240 144958 33554432000 4194304 4196468 140737425392784 139685676804624 139686258493141 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6209] ppid=6197 vsize=27982760 memory=3688 CPUtime=0 cores=0-7
/proc/6200/task/6209/stat : 6209 (java) S 6197 6200 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 81210262 28654346240 144958 33554432000 4194304 4196468 140737425392784 139685675751824 139686258493141 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6210] ppid=6197 vsize=27982760 memory=579748 CPUtime=0 cores=0-7
/proc/6200/task/6210/stat : 6210 (java) S 6197 6200 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 81210262 28654346240 144958 33554432000 4194304 4196468 140737425392784 139685674699024 139686258493141 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6211] ppid=6197 vsize=27982760 memory=515180 CPUtime=0 cores=0-7
/proc/6200/task/6211/stat : 6211 (java) S 6197 6200 5880 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 24 0 81210264 28654346240 144958 33554432000 4194304 4196468 140737425392784 139684512578416 139686258494082 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 23 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6212] ppid=6197 vsize=27982760 memory=4140 CPUtime=0 cores=0-7
/proc/6200/task/6212/stat : 6212 (java) S 6197 6200 5880 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 81210264 28654346240 144958 33554432000 4194304 4196468 140737425392784 139684147619360 139686258493141 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6213] ppid=6197 vsize=27982760 memory=24052 CPUtime=0 cores=0-7
/proc/6200/task/6213/stat : 6213 (java) S 6197 6200 5880 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 81210265 28654346240 144958 33554432000 4194304 4196468 140737425392784 139684013397360 139686258493141 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6214] ppid=6197 vsize=27982760 memory=0 CPUtime=0 cores=0-7
/proc/6200/task/6214/stat : 6214 (java) S 6197 6200 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81210267 28654346240 144958 33554432000 4194304 4196468 140737425392784 139683638892880 139686258501531 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6215] ppid=6197 vsize=27982760 memory=288285571665910947 CPUtime=0.84 cores=0-7
/proc/6200/task/6215/stat : 6215 (java) S 6197 6200 5880 0 -1 1077944384 1031 0 0 0 83 1 0 0 20 0 24 0 81210267 28654346240 144958 33554432000 4194304 4196468 140737425392784 139684511525232 139686258494082 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6216] ppid=6197 vsize=27982760 memory=7679927811743456362 CPUtime=0.95 cores=0-7
/proc/6200/task/6216/stat : 6216 (java) S 6197 6200 5880 0 -1 1077944384 946 0 0 0 95 0 0 0 20 0 24 0 81210267 28654346240 144958 33554432000 4194304 4196468 140737425392784 139684510472432 139686258494082 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6217] ppid=6197 vsize=27982760 memory=4140 CPUtime=1.12 cores=0-7
/proc/6200/task/6217/stat : 6217 (java) S 6197 6200 5880 0 -1 1077944384 2529 0 0 0 111 1 0 0 20 0 24 0 81210267 28654346240 144958 33554432000 4194304 4196468 140737425392784 139684509419632 139686258494082 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6218] ppid=6197 vsize=27982760 memory=24052 CPUtime=0.91 cores=0-7
/proc/6200/task/6218/stat : 6218 (java) S 6197 6200 5880 0 -1 1077944384 3299 0 0 0 90 1 0 0 20 0 24 0 81210267 28654346240 144958 33554432000 4194304 4196468 140737425392784 139684508366832 139686258494082 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6219] ppid=6197 vsize=27982760 memory=2436 CPUtime=0 cores=0-7
/proc/6200/task/6219/stat : 6219 (java) S 6197 6200 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 81210267 28654346240 144958 33554432000 4194304 4196468 140737425392784 139683140988000 139686258493141 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6220] ppid=6197 vsize=27982760 memory=512944 CPUtime=0.09 cores=0-7
/proc/6200/task/6220/stat : 6220 (java) S 6197 6200 5880 0 -1 1077944384 13 0 0 0 0 9 0 0 20 0 24 0 81210267 28654346240 144958 33554432000 4194304 4196468 140737425392784 139684507315248 139686258494082 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 21 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6222] ppid=6197 vsize=27982760 memory=579832 CPUtime=0 cores=0-7
/proc/6200/task/6222/stat : 6222 (java) S 6197 6200 5880 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 81210501 28654346240 144958 33554432000 4194304 4196468 140737425392784 139684886132288 139686258507545 0 4 0 25189583 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6224] ppid=6197 vsize=27982760 memory=479292 CPUtime=0.01 cores=0-7
/proc/6200/task/6224/stat : 6224 (java) S 6197 6200 5880 0 -1 4202560 727 0 0 0 1 0 0 0 20 0 24 0 81210501 28654346240 144958 33554432000 4194304 4196468 140737425392784 139682469887728 139686258504861 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6225] ppid=6197 vsize=27982760 memory=579832 CPUtime=0 cores=0-7
/proc/6200/task/6225/stat : 6225 (java) S 6197 6200 5880 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 81210501 28654346240 144958 33554432000 4194304 4196468 140737425392784 139682738322864 139686258504861 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
[pid=6200/tid=6226] ppid=6197 vsize=27982760 memory=4140 CPUtime=0 cores=0-7
/proc/6200/task/6226/stat : 6226 (java) S 6197 6200 5880 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 81210503 28654346240 144958 33554432000 4194304 4196468 140737425392784 139682201459744 139686258493141 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13570048 140737425400793 140737425401093 140737425401093 140737425403855 0
Current children cumulated CPU time: 1295.4 s
Current children cumulated vsize: 28719548 KiB
Current children cumulated memory: 1095012 KiB
Child status: 0
Real time (s): 164.383
CPU time (s): 1295.77
CPU user time (s): 1294.77
CPU system time (s): 0.994385
CPU usage (%): 788.264
Max. virtual memory (cumulated for all children) (KiB): 28748224
Max. memory (cumulated for all children) (KiB): 1095012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1294.77
system time used= 0.994385
maximum resident set size= 584972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 336269
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11947
involuntary context switches= 13483
# summary of solver processes directly reported to runsolver:
# pid: 6200
# total CPU time (s): 1295.77
# total CPU user time (s): 1294.77
# total CPU system time (s): 0.994385
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.62604 second user time and 2.10824 second system time
The end
Begin job on node136 at 2018-07-26 22:21:11 IDJOB=4296977 IDBENCH=141167 IDSOLVER=2758 FILE ID=node136/4296977-1532636471 RUNJOBID= node136-1532633886-5907 PBS_JOBID= 21022181 Free space on /tmp= 55796 MiB SOLVER NAME= scop order+glucose-syrup (2018-07-07) BENCH NAME= XCSP18/GracefulGraph/GracefulGraph-K04-P04_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-4296977-1532636471/watcher-4296977-1532636471 -o /tmp/evaluation-result-4296977-1532636471/solver-4296977-1532636471 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1532633886-5907 --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-4296977-1532636471.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= bba9b3428f0c8228a4e28ff2342631fb RANDOM SEED=1015561152 node136.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.50 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.50 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.50 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.50 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: 21233804 kB MemAvailable: 31930584 kB Buffers: 236512 kB Cached: 10686108 kB SwapCached: 0 kB Active: 2791972 kB Inactive: 8183128 kB Active(anon): 3984 kB Inactive(anon): 76668 kB Active(file): 2787988 kB Inactive(file): 8106460 kB Unevictable: 7336 kB Mlocked: 7336 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8352 kB Writeback: 0 kB AnonPages: 75848 kB Mapped: 41012 kB Shmem: 25228 kB Slab: 258056 kB SReclaimable: 230792 kB SUnreclaim: 27264 kB KernelStack: 3536 kB PageTables: 5172 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324552 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 22528 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 55788 MiB End job on node136 at 2018-07-26 22:23:55