| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Fun-sCOP order+ManyGlucose (2019-09-22) | SAT | 1462.6 | 575.595 |
| Name | SuperSolutions/SuperSolutions-Taillard-js20/ SuperTaillard-js-20-20.xml |
| MD5SUM | bd4660d9f641dd45473fddd00af9a0d0 |
| 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 | 1437.98 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 800 |
| Number of constraints | 12940 |
| Number of domains | 96 |
| Minimum domain size | 1599 |
| Maximum domain size | 1697 |
| Distribution of domain sizes | [{"size":1599,"count":10},{"size":1600,"count":4},{"size":1601,"count":16},{"size":1602,"count":2},{"size":1603,"count":6},{"size":1604,"count":8},{"size":1605,"count":6},{"size":1606,"count":6},{"size":1607,"count":6},{"size":1608,"count":16},{"size":1609,"count":6},{"size":1610,"count":6},{"size":1611,"count":8},{"size":1612,"count":24},{"size":1613,"count":6},{"size":1614,"count":8},{"size":1616,"count":8},{"size":1617,"count":14},{"size":1618,"count":6},{"size":1619,"count":8},{"size":1620,"count":6},{"size":1621,"count":8},{"size":1622,"count":10},{"size":1623,"count":8},{"size":1624,"count":10},"...",{"size":1672,"count":14}, {"size":1673,"count":4}, {"size":1674,"count":8}, {"size":1675,"count":4}, {"size":1676,"count":6}, {"size":1677,"count":8}, {"size":1678,"count":10}, {"size":1679,"count":8}, {"size":1680,"count":10}, {"size":1681,"count":14}, {"size":1682,"count":10}, {"size":1683,"count":14}, {"size":1684,"count":2}, {"size":1685,"count":10}, {"size":1686,"count":10}, {"size":1687,"count":10}, {"size":1688,"count":2}, {"size":1689,"count":16}, {"size":1690,"count":8}, {"size":1691,"count":8}, {"size":1693,"count":8}, {"size":1694,"count":8}, {"size":1695,"count":14}, {"size":1696,"count":10}, {"size":1697,"count":8}] |
| Minimum variable degree | 21 |
| Maximum variable degree | 43 |
| Distribution of variable degrees | [{"degree":21,"count":40},{"degree":22,"count":360},{"degree":41,"count":40},{"degree":43,"count":360}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 2 |
| Distribution of constraint arities | [{"arity":2,"count":12940}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 12940 |
| Distribution of constraint types | [{"type":"intension","count":12940}] |
| Optimization problem | NO |
| Type of objective |
0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-24384-serial-file.bin HOME/instance-4405419-1569358639.xml 0.65/0.55 0.65/0.55 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 0.65/0.55 0.65/0.57 c BEGIN-Prog: Tue Sep 24 22:56:35 CEST 2019 0.65/0.57 c PID: 24387 0.65/0.57 c IP: 172.20.3.147 0.65/0.57 c HOST: node147.alineos.net 0.65/0.58 c (0,0) Parsing Begin 7.87/2.67 c (2,2) Parsing End 7.87/2.68 c (2,2) CSP: 800 int (0 aux), 0 bool (0 aux), 12940 ctr, max domain size 1697 7.87/2.68 c (2,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB) 7.87/2.68 c (2,2) Constraint Name Generate Begin 8.21/2.76 c (2,2) Ctr:HOME/instance-4405419-1569358639.xml,Add:Le:Ne:Num:Or:Var 8.21/2.76 c (2,2) Constraint Name Generate End 8.21/2.76 c (2,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB) 8.21/2.76 c (2,2) CSP to CSPinCNF Begin 8.93/3.09 c (2,2) translated 1294 (10%) constraints 9.29/3.18 c (2,2) translated 2588 (20%) constraints 9.65/3.27 c (2,2) translated 3882 (30%) constraints 10.05/3.34 c (2,2) translated 5176 (40%) constraints 10.45/3.41 c (2,2) translated 6470 (50%) constraints 10.45/3.47 c (2,2) translated 7764 (60%) constraints 10.76/3.52 c (2,2) translated 9058 (70%) constraints 10.76/3.56 c (3,2) translated 10352 (80%) constraints 10.95/3.61 c (3,2) translated 11646 (90%) constraints 10.95/3.66 c (3,2) translated 12940 (100%) constraints 10.95/3.66 c (3,2) =========================================== 10.95/3.66 c (3,2) Order 10.95/3.66 c (3,2) =========================================== 11.36/3.71 c (3,3) translated 1294 (10%) constraints 11.36/3.75 c (3,3) translated 2588 (20%) constraints 11.36/3.78 c (3,3) translated 3882 (30%) constraints 11.50/3.82 c (3,3) translated 5176 (40%) constraints 11.50/3.85 c (3,3) translated 6470 (50%) constraints 11.50/3.88 c (3,3) translated 7764 (60%) constraints 11.77/3.91 c (3,3) translated 9058 (70%) constraints 11.77/3.93 c (3,3) translated 10352 (80%) constraints 11.77/3.96 c (3,3) translated 11646 (90%) constraints 11.77/4.00 c (3,3) translated 12940 (100%) constraints 11.77/4.00 c (3,3) CSP to CSPinCNF End 11.77/4.00 c (3,3) CSP: 800 int (0 aux), 0 bool (0 aux), 12940 ctr, max domain size 1617 11.77/4.00 c (3,3) Heap : 1239 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 11.77/4.00 c (3,3) CSPinCNF Propagation Begin 12.43/4.14 c (3,3) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed 12.43/4.14 c (3,3) CSPinCNF Propagation End 12.43/4.14 c (3,3) CSP: 800 int (0 aux), 0 bool (0 aux), 12940 ctr, max domain size 1617 12.43/4.14 c (3,3) Heap : 1239 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 12.43/4.14 c (3,3) Simplify CSPinCNF Begin 14.16/4.64 c (4,3) Simplify CSPinCNF End 14.16/4.65 c (4,3) CSP: 800 int (0 aux), 23600 bool (23600 aux), 36540 ctr, max domain size 1617 14.16/4.65 c (4,3) Heap : 1351 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB) 14.16/4.65 c (4,3) Calculate Precise Domain Begin 14.16/4.66 c (4,3) 0 values are removed by re-calculation 14.16/4.66 c (4,3) Calculate Precise Domain End 14.16/4.66 c (4,3) CSP: 800 int (0 aux), 23600 bool (23600 aux), 36540 ctr, max domain size 1617 14.16/4.66 c (4,3) Heap : 1351 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB) 14.16/4.66 c (4,3) CSPinCNF to SatSolver Begin 26.92/14.47 c (13,13) 3654 (10 %) CSP clauses are encoded (0 SAT variables, 2973518 SAT clauses) 35.33/21.80 c (21,20) 7308 (20 %) CSP clauses are encoded (0 SAT variables, 4941898 SAT clauses) 43.67/29.65 c (29,28) 10962 (30 %) CSP clauses are encoded (0 SAT variables, 7074713 SAT clauses) 52.04/37.60 c (37,36) 14616 (40 %) CSP clauses are encoded (0 SAT variables, 9222319 SAT clauses) 60.02/45.30 c (44,43) 18270 (50 %) CSP clauses are encoded (0 SAT variables, 11187439 SAT clauses) 69.78/54.23 c (53,52) 21924 (60 %) CSP clauses are encoded (0 SAT variables, 13449031 SAT clauses) 78.33/62.76 c (62,60) 25578 (70 %) CSP clauses are encoded (0 SAT variables, 15745180 SAT clauses) 85.44/69.87 c (69,67) 29232 (80 %) CSP clauses are encoded (0 SAT variables, 17660651 SAT clauses) 93.36/77.77 c (77,75) 32886 (90 %) CSP clauses are encoded (0 SAT variables, 19793372 SAT clauses) 101.78/86.48 c (85,84) 36540 (100 %) CSP clauses are encoded (0 SAT variables, 22704007 SAT clauses) 101.78/86.48 c (85,84) CSPinCNF to SatSolver End 101.78/86.48 c (85,84) Heap : 1838 MiB used (max 22350 MiB), NonHeap : 28 MiB used (max 0 MiB) 101.78/86.48 c (85,84) 883594 bool, 22704641 clause 101.78/86.48 c (85,84) Export Begin 102.09/86.61 c (86,84) Export to HOME/scop-24384-serial-file.bin 102.09/86.61 c (86,84) Export End 102.09/86.61 c (86,84) Export File Size: 0.12 MB 102.09/86.61 c (86,84) 2,2,3,3,4,4,85,STOP-AFTER(DIMACS) 102.09/86.61 c END-Prog: Tue Sep 24 22:58:01 CEST 2019 102.09/86.66 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-24384-serial-file.bin 102.75/87.14 c (0,0) Read Serial File Begin 102.75/87.14 c (0,0) HOME/scop-24384-serial-file.bin 103.00/87.39 c (0,0) Read Serial File End 103.29/87.41 103.29/87.41 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 103.29/87.41 (Solving Process) 103.29/87.41 103.29/87.43 c BEGIN-Prog: Tue Sep 24 22:58:02 CEST 2019 103.29/87.43 c PID: 24414 103.29/87.43 c IP: 172.20.3.147 103.29/87.43 c HOST: node147.alineos.net 103.29/87.43 c (0,0) SatSolver.solve Begin 103.29/87.43 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405419-1569358639.xml-scop-24387.cnf 103.29/87.46 c (0,0) c 103.29/87.46 c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 103.29/87.46 c (0,0) c 103.29/87.46 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 103.29/87.46 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 103.29/87.46 c (0,0) c ========================================[ Problem Statistics ]=========================================== 103.29/87.46 c (0,0) c | | 112.55/96.54 c (9,0) c | Number of variables: 883594 | 112.55/96.54 c (9,0) c | Number of clauses: 22399147 | 112.55/96.54 c (9,0) c | Parse time: 8.31 s | 112.55/96.54 c (9,0) c | | 113.95/97.92 c (10,0) c | Too many clauses... No preprocessing | 113.95/97.92 c (10,0) c | Simplification time: 1.22 s | 113.95/97.92 c (10,0) c | | 113.95/97.92 c (10,0) c | One Solver is taking 2032.95Mb... Let's take 3 solvers for this run (max 40% of the maxmemory). | 113.95/97.92 c (10,0) c | Generating clones | 115.45/99.47 c (12,0) c | all clones generated. Memory = 4978.61Mb. | 115.45/99.47 c (12,0) c ========================================================================================================| 115.45/99.47 c (12,0) c 115.45/99.47 c (12,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 115.45/99.47 c (12,0) c 115.45/99.47 c (12,0) c |-----------------------|------------|------------|------------| 115.45/99.47 c (12,0) c | Threads | 0 | 1 | 2 | 115.45/99.47 c (12,0) c |-----------------------|------------|------------|------------| 115.45/99.47 c (12,0) c | randomizeFirstDescent | False | True | True | 115.45/99.47 c (12,0) c | adaptStrategeis | True | False | True | 115.45/99.47 c (12,0) c | forceUnsatOnNewDescent| True | True | False | 115.45/99.47 c (12,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 115.45/99.47 c (12,0) c | chanseokStrategy | False | False | False | 115.45/99.47 c (12,0) c | coLBDBound | 5 | 5 | 5 | 115.45/99.47 c (12,0) c | glureduce | True | True | True | 115.45/99.47 c (12,0) c | firstReduceDB | 2000 | 2000 | 2000 | 115.45/99.47 c (12,0) c | incReduceDB | 300 | 300 | 300 | 115.45/99.47 c (12,0) c | luby_restart | False | False | False | 115.45/99.47 c (12,0) c | luby_restart_factor | 100 | 100 | 100 | 115.45/99.47 c (12,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 115.45/99.47 c (12,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 115.45/99.47 c (12,0) c | randomize_on_restarts | False | False | False | 115.45/99.47 c (12,0) c | remove_satisfied | True | True | True | 115.45/99.47 c (12,0) c |-----------------------|------------|------------|------------| 199.41/128.66 c (41,0) c 199.41/128.66 c (41,0) c |------------------------------------------------------------------------------------------------------------------------| 199.41/128.66 c (41,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 199.41/128.66 c (41,0) c |------------------------------------------------------------------------------------------------------------------------| 199.41/128.66 c (41,0) c | 0 | 6 | 8977 | 2880 | 66686 | 1873 | 258 | 566 | 18 | 271 | 20 | 34.934 | 199.41/128.66 c (41,0) c | 1 | 10 | 10486 | 2200 | 57054 | 1185 | 312 | 524 | 8 | 291 | 20 | 34.934 | 199.41/128.66 c (41,0) c | 2 | 15 | 10158 | 2303 | 61922 | 1295 | 304 | 546 | 7 | 291 | 20 | 34.934 | 199.41/128.66 c (41,0) c 199.41/128.66 c (41,0) c synthesis 7383 conflicts 163698105 propagations 81 conflicts/sec 1790252 propagations/sec 199.41/128.66 c (41,0) c real: 41.2058 s, cpu: 91.4386 s, memory: 5374.81 Mb 280.23/157.66 c (70,0) c 280.23/157.66 c (70,0) c |------------------------------------------------------------------------------------------------------------------------| 280.23/157.66 c (70,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 280.23/157.66 c (70,0) c |------------------------------------------------------------------------------------------------------------------------| 280.23/157.66 c (70,0) c | 0 | 13 | 16687 | 5146 | 119170 | 4117 | 511 | 880 | 26 | 513 | 20 | 35.006 | 280.23/157.66 c (70,0) c | 1 | 26 | 19516 | 4330 | 110107 | 3299 | 537 | 905 | 20 | 533 | 20 | 35.006 | 280.23/157.66 c (70,0) c | 2 | 26 | 16173 | 4355 | 114409 | 3336 | 461 | 1016 | 19 | 532 | 20 | 35.016 | 280.23/157.66 c (70,0) c 280.23/157.66 c (70,0) c synthesis 13831 conflicts 323066252 propagations 81 conflicts/sec 1886026 propagations/sec 280.23/157.66 c (70,0) c real: 70.2058 s, cpu: 171.295 s, memory: 4142.53 Mb 360.93/186.66 c (99,0) c 360.93/186.66 c (99,0) c |------------------------------------------------------------------------------------------------------------------------| 360.93/186.66 c (99,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 360.93/186.66 c (99,0) c |------------------------------------------------------------------------------------------------------------------------| 360.93/186.66 c (99,0) c | 0 | 21 | 24046 | 7879 | 172500 | 4062 | 1127 | 1450 | 49 | 759 | 20 | 35.052 | 360.93/186.66 c (99,0) c | 1 | 38 | 27525 | 6633 | 160641 | 2824 | 1094 | 2003 | 55 | 775 | 20 | 35.061 | 360.93/186.66 c (99,0) c | 2 | 38 | 25848 | 6960 | 167337 | 3137 | 967 | 2154 | 48 | 779 | 20 | 35.061 | 360.93/186.66 c (99,0) c 360.93/186.66 c (99,0) c synthesis 21472 conflicts 498940118 propagations 85 conflicts/sec 1984227 propagations/sec 360.93/186.66 c (99,0) c real: 99.2058 s, cpu: 251.453 s, memory: 4142.66 Mb 442.94/215.66 c (128,0) c 442.94/215.66 c (128,0) c |------------------------------------------------------------------------------------------------------------------------| 442.94/215.66 c (128,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 442.94/215.66 c (128,0) c |------------------------------------------------------------------------------------------------------------------------| 442.94/215.66 c (128,0) c | 0 | 34 | 34192 | 10627 | 220255 | 6798 | 1770 | 2984 | 95 | 1003 | 20 | 35.102 | 442.94/215.66 c (128,0) c | 1 | 55 | 40191 | 9368 | 207082 | 5547 | 1753 | 3111 | 119 | 1023 | 20 | 35.103 | 442.94/215.66 c (128,0) c | 2 | 47 | 33292 | 9614 | 219253 | 5779 | 1505 | 3307 | 108 | 1023 | 20 | 35.100 | 442.94/215.66 c (128,0) c 442.94/215.66 c (128,0) c synthesis 29609 conflicts 679937700 propagations 89 conflicts/sec 2040848 propagations/sec 442.94/215.66 c (128,0) c real: 128.206 s, cpu: 333.164 s, memory: 4142.66 Mb 529.42/245.66 c (158,0) c 529.42/245.66 c (158,0) c |------------------------------------------------------------------------------------------------------------------------| 529.42/245.66 c (158,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 529.42/245.66 c (158,0) c |------------------------------------------------------------------------------------------------------------------------| 529.42/245.66 c (158,0) c | 0 | 48 | 42726 | 13436 | 272603 | 9599 | 2400 | 4235 | 149 | 1262 | 20 | 35.132 | 529.42/245.66 c (158,0) c | 1 | 76 | 50280 | 12088 | 255750 | 8259 | 2360 | 4454 | 197 | 1282 | 20 | 35.144 | 529.42/245.66 c (158,0) c | 2 | 63 | 41969 | 12411 | 267684 | 8566 | 2135 | 4665 | 192 | 1282 | 20 | 35.142 | 529.42/245.66 c (158,0) c 529.42/245.66 c (158,0) c synthesis 37935 conflicts 870813995 propagations 90 conflicts/sec 2077165 propagations/sec 529.42/245.66 c (158,0) c real: 158.206 s, cpu: 419.232 s, memory: 4142.66 Mb 613.71/275.66 c (188,0) c 613.71/275.66 c (188,0) c |------------------------------------------------------------------------------------------------------------------------| 613.71/275.66 c (188,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 613.71/275.66 c (188,0) c |------------------------------------------------------------------------------------------------------------------------| 613.71/275.66 c (188,0) c | 0 | 58 | 50842 | 16112 | 319052 | 7295 | 2942 | 5438 | 225 | 1513 | 20 | 35.172 | 613.71/275.66 c (188,0) c | 1 | 91 | 57988 | 14607 | 300310 | 5797 | 2913 | 5538 | 274 | 1529 | 20 | 35.172 | 613.71/275.66 c (188,0) c | 2 | 78 | 51135 | 14954 | 309688 | 6134 | 2704 | 5681 | 264 | 1531 | 20 | 35.174 | 613.71/275.66 c (188,0) c 613.71/275.66 c (188,0) c synthesis 45673 conflicts 1057918449 propagations 91 conflicts/sec 2102044 propagations/sec 613.71/275.66 c (188,0) c real: 188.206 s, cpu: 503.281 s, memory: 4142.79 Mb 697.71/304.66 c (217,0) c 697.71/304.66 c (217,0) c |------------------------------------------------------------------------------------------------------------------------| 697.71/304.66 c (217,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 697.71/304.66 c (217,0) c |------------------------------------------------------------------------------------------------------------------------| 697.71/304.66 c (217,0) c | 0 | 72 | 60775 | 18863 | 360401 | 10041 | 3638 | 6539 | 314 | 1766 | 20 | 35.198 | 697.71/304.66 c (217,0) c | 1 | 108 | 65673 | 17176 | 343663 | 8357 | 3371 | 6790 | 345 | 1780 | 20 | 35.198 | 697.71/304.66 c (217,0) c | 2 | 84 | 61159 | 17649 | 349231 | 8816 | 3385 | 6924 | 344 | 1786 | 20 | 35.204 | 697.71/304.66 c (217,0) c 697.71/304.66 c (217,0) c synthesis 53688 conflicts 1242257405 propagations 91 conflicts/sec 2116054 propagations/sec 697.71/304.66 c (217,0) c real: 217.206 s, cpu: 587.063 s, memory: 4142.79 Mb 777.47/333.66 c (246,0) c 777.47/333.66 c (246,0) c |------------------------------------------------------------------------------------------------------------------------| 777.47/333.66 c (246,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 777.47/333.66 c (246,0) c |------------------------------------------------------------------------------------------------------------------------| 777.47/333.66 c (246,0) c | 0 | 73 | 65095 | 21207 | 388843 | 12385 | 4151 | 6616 | 353 | 1997 | 20 | 35.200 | 777.47/333.66 c (246,0) c | 1 | 122 | 73594 | 19468 | 375233 | 10641 | 3822 | 7913 | 418 | 2017 | 20 | 35.220 | 777.47/333.66 c (246,0) c | 2 | 91 | 67267 | 20044 | 381263 | 11207 | 3908 | 7931 | 423 | 2017 | 20 | 35.220 | 777.47/333.66 c (246,0) c 777.47/333.66 c (246,0) c synthesis 60719 conflicts 1413337917 propagations 91 conflicts/sec 2120192 propagations/sec 777.47/333.66 c (246,0) c real: 246.206 s, cpu: 666.608 s, memory: 4142.79 Mb 860.69/362.66 c (275,0) c 860.69/362.66 c (275,0) c |------------------------------------------------------------------------------------------------------------------------| 860.69/362.66 c (275,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 860.69/362.66 c (275,0) c |------------------------------------------------------------------------------------------------------------------------| 860.69/362.66 c (275,0) c | 0 | 91 | 72263 | 23552 | 422789 | 14730 | 4678 | 8527 | 420 | 2249 | 20 | 35.227 | 860.69/362.66 c (275,0) c | 1 | 142 | 82920 | 21939 | 408689 | 13106 | 4274 | 9087 | 508 | 2266 | 20 | 35.230 | 860.69/362.66 c (275,0) c | 2 | 101 | 74117 | 22514 | 417497 | 13671 | 4465 | 8886 | 508 | 2268 | 20 | 35.230 | 860.69/362.66 c (275,0) c 860.69/362.66 c (275,0) c synthesis 68005 conflicts 1598679145 propagations 91 conflicts/sec 2132804 propagations/sec 860.69/362.66 c (275,0) c real: 275.206 s, cpu: 749.567 s, memory: 4142.79 Mb 944.84/392.66 c (305,0) c 944.84/392.66 c (305,0) c |------------------------------------------------------------------------------------------------------------------------| 944.84/392.66 c (305,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 944.84/392.66 c (305,0) c |------------------------------------------------------------------------------------------------------------------------| 944.84/392.66 c (305,0) c | 0 | 103 | 79591 | 25992 | 457448 | 9782 | 5090 | 9518 | 514 | 2506 | 20 | 35.242 | 944.84/392.66 c (305,0) c | 1 | 160 | 93058 | 24699 | 444316 | 8484 | 4806 | 9995 | 615 | 2526 | 20 | 35.246 | 944.84/392.66 c (305,0) c | 2 | 117 | 83195 | 25137 | 452585 | 8934 | 5039 | 9827 | 610 | 2526 | 20 | 35.242 | 944.84/392.66 c (305,0) c 944.84/392.66 c (305,0) c synthesis 75828 conflicts 1786555222 propagations 91 conflicts/sec 2143274 propagations/sec 944.84/392.66 c (305,0) c real: 305.206 s, cpu: 833.564 s, memory: 4142.79 Mb 1030.34/422.66 c (335,0) c 1030.34/422.66 c (335,0) c |------------------------------------------------------------------------------------------------------------------------| 1030.34/422.66 c (335,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1030.34/422.66 c (335,0) c |------------------------------------------------------------------------------------------------------------------------| 1030.34/422.66 c (335,0) c | 0 | 118 | 88974 | 28956 | 491367 | 12745 | 5683 | 10618 | 628 | 2769 | 20 | 35.255 | 1030.34/422.66 c (335,0) c | 1 | 175 | 101667 | 27191 | 476064 | 10972 | 5236 | 11110 | 709 | 2783 | 20 | 35.256 | 1030.34/422.66 c (335,0) c | 2 | 131 | 91858 | 27916 | 486410 | 11712 | 5577 | 10631 | 702 | 2788 | 20 | 35.255 | 1030.34/422.66 c (335,0) c 1030.34/422.66 c (335,0) c synthesis 84063 conflicts 1978908448 propagations 91 conflicts/sec 2153861 propagations/sec 1030.34/422.66 c (335,0) c real: 335.206 s, cpu: 918.773 s, memory: 4142.79 Mb 1113.76/451.66 c (364,0) c 1113.76/451.66 c (364,0) c |------------------------------------------------------------------------------------------------------------------------| 1113.76/451.66 c (364,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1113.76/451.66 c (364,0) c |------------------------------------------------------------------------------------------------------------------------| 1113.76/451.66 c (364,0) c | 0 | 128 | 98187 | 31639 | 523053 | 15423 | 6205 | 11606 | 758 | 3020 | 20 | 35.273 | 1113.76/451.66 c (364,0) c | 1 | 191 | 111382 | 29972 | 506528 | 13747 | 5774 | 12294 | 808 | 3040 | 20 | 35.273 | 1113.76/451.66 c (364,0) c | 2 | 138 | 99607 | 30658 | 516659 | 14446 | 6145 | 11840 | 788 | 3040 | 20 | 35.273 | 1113.76/451.66 c (364,0) c 1113.76/451.66 c (364,0) c synthesis 92269 conflicts 2171043458 propagations 92 conflicts/sec 2166600 propagations/sec 1113.76/451.66 c (364,0) c real: 364.206 s, cpu: 1002.05 s, memory: 4142.79 Mb 1199.33/480.66 c (393,0) c 1199.33/480.66 c (393,0) c |------------------------------------------------------------------------------------------------------------------------| 1199.33/480.66 c (393,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1199.33/480.66 c (393,0) c |------------------------------------------------------------------------------------------------------------------------| 1199.33/480.66 c (393,0) c | 0 | 134 | 110691 | 34799 | 553785 | 18583 | 7184 | 12761 | 845 | 3292 | 20 | 35.280 | 1199.33/480.66 c (393,0) c | 1 | 210 | 121868 | 32849 | 539865 | 16624 | 6330 | 13781 | 911 | 3305 | 20 | 35.280 | 1199.33/480.66 c (393,0) c | 2 | 153 | 110001 | 33532 | 547563 | 17316 | 6663 | 13438 | 910 | 3312 | 20 | 35.280 | 1199.33/480.66 c (393,0) c 1199.33/480.66 c (393,0) c synthesis 101180 conflicts 2370690405 propagations 93 conflicts/sec 2180368 propagations/sec 1199.33/480.66 c (393,0) c real: 393.206 s, cpu: 1087.29 s, memory: 4142.79 Mb 1280.52/509.66 c (422,0) c 1280.52/509.66 c (422,0) c |------------------------------------------------------------------------------------------------------------------------| 1280.52/509.66 c (422,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1280.52/509.66 c (422,0) c |------------------------------------------------------------------------------------------------------------------------| 1280.52/509.66 c (422,0) c | 0 | 145 | 118080 | 37446 | 580124 | 11361 | 7630 | 13788 | 938 | 3538 | 20 | 35.288 | 1280.52/509.66 c (422,0) c | 1 | 223 | 131269 | 35357 | 565095 | 19130 | 6810 | 14718 | 989 | 3558 | 20 | 35.288 | 1280.52/509.66 c (422,0) c | 2 | 162 | 119190 | 36213 | 574183 | 10101 | 7151 | 14351 | 1014 | 3558 | 20 | 35.296 | 1280.52/509.66 c (422,0) c 1280.52/509.66 c (422,0) c synthesis 109016 conflicts 2554364442 propagations 93 conflicts/sec 2186363 propagations/sec 1280.52/509.66 c (422,0) c real: 422.206 s, cpu: 1168.32 s, memory: 4142.79 Mb 1362.05/538.66 c (451,0) c 1362.05/538.66 c (451,0) c |------------------------------------------------------------------------------------------------------------------------| 1362.05/538.66 c (451,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1362.05/538.66 c (451,0) c |------------------------------------------------------------------------------------------------------------------------| 1362.05/538.66 c (451,0) c | 0 | 153 | 125871 | 40414 | 608378 | 14327 | 8101 | 14702 | 1091 | 3787 | 20 | 35.302 | 1362.05/538.66 c (451,0) c | 1 | 242 | 140116 | 37967 | 592022 | 11878 | 7339 | 15622 | 1099 | 3807 | 20 | 35.304 | 1362.05/538.66 c (451,0) c | 2 | 171 | 125985 | 38755 | 601403 | 12641 | 7588 | 15345 | 1126 | 3807 | 20 | 35.302 | 1362.05/538.66 c (451,0) c 1362.05/538.66 c (451,0) c synthesis 117136 conflicts 2734983353 propagations 94 conflicts/sec 2188723 propagations/sec 1362.05/538.66 c (451,0) c real: 451.206 s, cpu: 1249.58 s, memory: 4142.79 Mb 1443.98/567.66 c (480,0) c 1443.98/567.66 c (480,0) c |------------------------------------------------------------------------------------------------------------------------| 1443.98/567.66 c (480,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1443.98/567.68 c (480,0) c |------------------------------------------------------------------------------------------------------------------------| 1443.98/567.68 c (480,0) c | 0 | 166 | 133585 | 42914 | 631841 | 16825 | 8555 | 15591 | 1205 | 4032 | 20 | 35.309 | 1443.98/567.68 c (480,0) c | 1 | 262 | 148256 | 40550 | 616610 | 14458 | 7805 | 16412 | 1210 | 4046 | 20 | 35.309 | 1443.98/567.68 c (480,0) c | 2 | 187 | 136403 | 41125 | 625813 | 15006 | 8015 | 16295 | 1231 | 4050 | 20 | 35.309 | 1443.98/567.68 c (480,0) c 1443.98/567.68 c (480,0) c synthesis 124589 conflicts 2921258656 propagations 94 conflicts/sec 2194197 propagations/sec 1443.98/567.68 c (480,0) c real: 480.206 s, cpu: 1331.36 s, memory: 4142.79 Mb 1460.92/574.83 c (487,0) c 1460.92/574.83 c (487,0) c real time : 487.377 s 1460.92/574.83 c (487,0) c cpu time : 1348.08 s 1460.92/574.83 c (487,0) c 1460.92/574.83 c (487,0) c 1460.92/574.83 c (487,0) c 1460.92/574.83 c (487,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 1460.92/574.84 c (487,0) c 1460.92/574.84 c (487,0) c |---------------|-----------------|------------|------------|------------| 1460.92/574.84 c (487,0) c | Threads | Total | 0 | 1 | 2 | 1460.92/574.84 c (487,0) c |---------------|-----------------|------------|------------|------------| 1460.92/574.84 c (487,0) c | Conflicts | 126265 | 43507 | 41167 | 41591 | 1460.92/574.84 c (487,0) c | Decisions | 436852 | 135140 | 163826 | 137886 | 1460.92/574.84 c (487,0) c | Propagations | 2958335618 | 971550430 | 1008386386 | 978398802 | 1460.92/574.84 c (487,0) c | ReduceDBs | 15 | 5 | 5 | 5 | 1460.92/574.84 c (487,0) c | SimpDBs | 71 | 23 | 24 | 24 | 1460.92/574.84 c (487,0) c | Restarts | 620 | 169 | 263 | 188 | 1460.92/574.84 c (487,0) c | ForcedImports | 0 | 0 | 0 | 0 | 1460.92/574.84 c (487,0) c | PropBinClauses| 9037822726 | 3003647989 | 3027477920 | 3006696817 | 1460.92/574.84 c (487,0) c | PropPreBlocker| 55868720146 |18688427866 |18557701414 |18622590866 | 1460.92/574.84 c (487,0) c | PropNotBlocker| 5076613734 | 1650940532 | 1735702484 | 1689970718 | 1460.92/574.84 c (487,0) c | LitFullScans | 73795173494 |24596005285 |24597456450 |24601711759 | 1460.92/574.84 c (487,0) c | LitScanFracts | 13119823 | 4264548 | 4405655 | 4449620 | 1460.92/574.84 c (487,0) c | DecisionLevel0| 1007 | 264 | 410 | 333 | 1460.92/574.84 c (487,0) c | Periods | 12289 | 4096 | 4096 | 4097 | 1460.92/574.84 c (487,0) c | Margin | 60 | 20 | 20 | 20 | 1460.92/574.84 c (487,0) c | Avg_Trail | | 685688 | 682082 | 678614 | 1460.92/574.84 c (487,0) c | Avg_DL | | 61 | 60 | 61 | 1460.92/574.84 c (487,0) c | Avg_Res | | 0 | 0 | 0 | 1460.92/574.84 c (487,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 1460.92/574.84 c (487,0) c |---------------|-----------------|------------|------------|------------| 1460.92/574.84 c (487,0) c | Exported | 24736 | 8634 | 7977 | 8125 | 1460.92/574.84 c (487,0) c | Imported | 48802 | 15821 | 16541 | 16440 | 1460.92/574.84 c (487,0) c | Good | 1187 | 370 | 390 | 427 | 1460.92/574.84 c (487,0) c | Purge | 47615 | 15451 | 16151 | 16013 | 1460.92/574.84 c (487,0) c | Promoted | 3721 | 1224 | 1247 | 1250 | 1460.92/574.84 c (487,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 1460.92/574.84 c (487,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 1460.92/574.84 c (487,0) c |---------------|-----------------|------------|------------|------------| 1460.92/574.84 c (487,0) c | Unaries | | 95 | 147 | 145 | 1460.92/574.84 c (487,0) c | Binaries | | 221 | 213 | 172 | 1460.92/574.84 c (487,0) c | Glues | | 3906 | 4207 | 3715 | 1460.92/574.84 c (487,0) c |---------------|-----------------|------------|------------|------------| 1460.92/574.84 c (487,0) c | Orig_Seen | 4 % | 639259 | 620439 | 629523 | 1460.92/574.84 c (487,0) c | Diff Orig seen| | 18820 | X | 9084 | 1460.92/574.84 c (487,0) c | Hamming | 13 % | 107495 | X | 128224 | 1460.92/574.84 c (487,0) c |---------------|-----------------|------------|------------|------------| 1460.92/574.84 c (487,0) c | RunningTime | | 475.2 100%| 445.4 94%| 424.1 90%| 1460.92/574.84 c (487,0) c | WaitingTime | | 0.0 0%| 27.9 6%| 49.1 10%| 1460.92/574.84 c (487,0) c | ExchangingTime| | 0.0 0%| 0.0 0%| 0.0 0%| 1460.92/574.84 c (487,0) c | PeriodProcTime| | 0.1 0%| 0.0 0%| 0.0 0%| 1460.92/574.84 c (487,0) c | SolvingTime | | 475.3 | 473.3 | 473.3 | 1460.92/574.84 c (487,0) c | PropagationTim| | 451.3 95%| 444.8 94%| 444.3 94%| 1460.92/574.84 c (487,0) c | AnalysisTime | | 5.3 1%| 4.2 1%| 4.7 1%| 1460.92/574.84 c (487,0) c | ReductionTime | | 0.0 0%| 0.0 0%| 0.0 0%| 1460.92/574.84 c (487,0) c | SimplifyTime | | 8.8 2%| 15.2 3%| 14.8 3%| 1460.92/574.84 c (487,0) c | UsedRateTime | | 0.0 0%| 0.0 0%| 0.0 0%| 1460.92/574.84 c (487,0) c | OverlapRateTim| | 0.0 0%| 0.0 0%| 0.0 0%| 1460.92/574.84 c (487,0) c |---------------|-----------------|------------|------------|------------| 1460.92/574.84 c (487,0) c 1460.92/574.84 c (487,0) c 1460.92/574.84 c (487,0) c Threads : 3 1460.92/574.84 c (487,0) c Winner : 1 1460.92/574.84 c (487,0) c Conflicts_0 : 43507 1460.92/574.84 c (487,0) c Conflicts_1 : 41167 1460.92/574.84 c (487,0) c Conflicts_2 : 41591 1460.92/574.84 c (487,0) c Conflicts_total : 126265 1460.92/574.84 c (487,0) c Conflicts_winner : 41167 1460.92/574.84 c (487,0) c Decisions_0 : 135140 1460.92/574.84 c (487,0) c Decisions_1 : 163826 1460.92/574.84 c (487,0) c Decisions_2 : 137886 1460.92/574.84 c (487,0) c Decisions_total : 436852 1460.92/574.84 c (487,0) c Decisions_winner : 163826 1460.92/574.84 c (487,0) c Propagations_0 : 971550430 1460.92/574.84 c (487,0) c Propagations_1 : 1008386386 1460.92/574.84 c (487,0) c Propagations_2 : 978398802 1460.92/574.84 c (487,0) c Propagations_total : 2958335618 1460.92/574.84 c (487,0) c Propagations_winner : 1008386386 1460.92/574.84 c (487,0) c ReduceDBs_0 : 5 1460.92/574.84 c (487,0) c ReduceDBs_1 : 5 1460.92/574.84 c (487,0) c ReduceDBs_2 : 5 1460.92/574.84 c (487,0) c ReduceDBs_total : 15 1460.92/574.84 c (487,0) c ReduceDBs_winner : 5 1460.92/574.84 c (487,0) c SimpDBs_0 : 23 1460.92/574.84 c (487,0) c SimpDBs_1 : 24 1460.92/574.84 c (487,0) c SimpDBs_2 : 24 1460.92/574.84 c (487,0) c SimpDBs_total : 71 1460.92/574.84 c (487,0) c SimpDBs_winner : 24 1460.92/574.84 c (487,0) c Restarts_0 : 169 1460.92/574.84 c (487,0) c Restarts_1 : 263 1460.92/574.84 c (487,0) c Restarts_2 : 188 1460.92/574.84 c (487,0) c Restarts_total : 620 1460.92/574.84 c (487,0) c Restarts_winner : 263 1460.92/574.84 c (487,0) c ForcedImports_0 : 0 1460.92/574.84 c (487,0) c ForcedImports_1 : 0 1460.92/574.84 c (487,0) c ForcedImports_2 : 0 1460.92/574.84 c (487,0) c ForcedImports_total : 0 1460.92/574.84 c (487,0) c ForcedImports_winner : 0 1460.92/574.84 c (487,0) c PropsBinClauses_0 : 3003647989 1460.92/574.84 c (487,0) c PropsBinClauses_1 : 3027477920 1460.92/574.84 c (487,0) c PropsBinClauses_2 : 3006696817 1460.92/574.84 c (487,0) c PropsBinClauses_total : 9037822726 1460.92/574.84 c (487,0) c PropsBinClauses_winner : 3027477920 1460.92/574.84 c (487,0) c PropsPreBlocker_0 : 18688427866 1460.92/574.84 c (487,0) c PropsPreBlocker_1 : 18557701414 1460.92/574.84 c (487,0) c PropsPreBlocker_2 : 18622590866 1460.92/574.84 c (487,0) c PropsPreBlocker_total : 55868720146 1460.92/574.84 c (487,0) c PropsPreBlocker_winner : 18557701414 1460.92/574.84 c (487,0) c PropsNotBlocker_0 : 1650940532 1460.92/574.84 c (487,0) c PropsNotBlocker_1 : 1735702484 1460.92/574.84 c (487,0) c PropsNotBlocker_2 : 1689970718 1460.92/574.84 c (487,0) c PropsNotBlocker_total : 5076613734 1460.92/574.84 c (487,0) c PropsNotBlocker_winner : 1735702484 1460.92/574.84 c (487,0) c PropsLitFullScans_0 : 24596005285 1460.92/574.84 c (487,0) c PropsLitFullScans_1 : 24597456450 1460.92/574.84 c (487,0) c PropsLitFullScans_2 : 24601711759 1460.92/574.84 c (487,0) c PropsLitFullScans_total : 73795173494 1460.92/574.84 c (487,0) c PropsLitFullScans_winner : 24597456450 1460.92/574.84 c (487,0) c LitScanFractions_0 : 4264548 1460.92/574.84 c (487,0) c LitScanFractions_1 : 4405655 1460.92/574.84 c (487,0) c LitScanFractions_2 : 4449620 1460.92/574.84 c (487,0) c LitScanFractions_total : 13119823 1460.92/574.84 c (487,0) c LitScanFractions_winner : 4405655 1460.92/574.84 c (487,0) c DecisionLevel0_0 : 264 1460.92/574.84 c (487,0) c DecisionLevel0_1 : 410 1460.92/574.84 c (487,0) c DecisionLevel0_2 : 333 1460.92/574.84 c (487,0) c DecisionLevel0_total : 1007 1460.92/574.84 c (487,0) c DecisionLevel0_winner : 410 1460.92/574.84 c (487,0) c Periods_0 : 4096 1460.92/574.84 c (487,0) c Periods_1 : 4096 1460.92/574.84 c (487,0) c Periods_2 : 4097 1460.92/574.84 c (487,0) c Periods_total : 12289 1460.92/574.84 c (487,0) c Periods_winner : 4096 1460.92/574.84 c (487,0) c Margin_0 : 20 1460.92/574.84 c (487,0) c Margin_1 : 20 1460.92/574.84 c (487,0) c Margin_2 : 20 1460.92/574.84 c (487,0) c Margin_total : 60 1460.92/574.84 c (487,0) c Margin_winner : 20 1460.92/574.84 c (487,0) c Exported_0 : 8634 1460.92/574.84 c (487,0) c Exported_1 : 7977 1460.92/574.84 c (487,0) c Exported_2 : 8125 1460.92/574.84 c (487,0) c Exported_total : 24736 1460.92/574.84 c (487,0) c Exported_winner : 7977 1460.92/574.84 c (487,0) c Imported_0 : 15821 1460.92/574.84 c (487,0) c Imported_1 : 16541 1460.92/574.84 c (487,0) c Imported_2 : 16440 1460.92/574.84 c (487,0) c Imported_total : 48802 1460.92/574.84 c (487,0) c Imported_winner : 16541 1460.92/574.84 c (487,0) c Good_0 : 370 1460.92/574.84 c (487,0) c Good_1 : 390 1460.92/574.84 c (487,0) c Good_2 : 427 1460.92/574.84 c (487,0) c Good_total : 1187 1460.92/574.84 c (487,0) c Good_winner : 390 1460.92/574.84 c (487,0) c Purge_0 : 15451 1460.92/574.84 c (487,0) c Purge_1 : 16151 1460.92/574.84 c (487,0) c Purge_2 : 16013 1460.92/574.84 c (487,0) c Purge_total : 47615 1460.92/574.84 c (487,0) c Purge_winner : 16151 1460.92/574.84 c (487,0) c Promoted_0 : 1224 1460.92/574.84 c (487,0) c Promoted_1 : 1247 1460.92/574.84 c (487,0) c Promoted_2 : 1250 1460.92/574.84 c (487,0) c Promoted_total : 3721 1460.92/574.84 c (487,0) c Promoted_winner : 1247 1460.92/574.84 c (487,0) c Remove_Imp_0 : 0 1460.92/574.84 c (487,0) c Remove_Imp_1 : 0 1460.92/574.84 c (487,0) c Remove_Imp_2 : 0 1460.92/574.84 c (487,0) c Remove_Imp_total : 0 1460.92/574.84 c (487,0) c Remove_Imp_winner : 0 1460.92/574.84 c (487,0) c Blocked_Reuse_0 : 0 1460.92/574.84 c (487,0) c Blocked_Reuse_1 : 0 1460.92/574.84 c (487,0) c Blocked_Reuse_2 : 0 1460.92/574.84 c (487,0) c Blocked_Reuse_total : 0 1460.92/574.84 c (487,0) c Blocked_Reuse_winner : 0 1460.92/574.84 c (487,0) c Unaries_0 : 95 1460.92/574.84 c (487,0) c Unaries_1 : 147 1460.92/574.84 c (487,0) c Unaries_2 : 145 1460.92/574.84 c (487,0) c Unaries_total : 387 1460.92/574.84 c (487,0) c Unaries_winner : 147 1460.92/574.84 c (487,0) c Binaries_0 : 221 1460.92/574.84 c (487,0) c Binaries_1 : 213 1460.92/574.84 c (487,0) c Binaries_2 : 172 1460.92/574.84 c (487,0) c Binaries_total : 606 1460.92/574.84 c (487,0) c Binaries_winner : 213 1460.92/574.84 c (487,0) c Glues_0 : 3906 1460.92/574.84 c (487,0) c Glues_1 : 4207 1460.92/574.84 c (487,0) c Glues_2 : 3715 1460.92/574.84 c (487,0) c Glues_total : 11828 1460.92/574.84 c (487,0) c Glues_winner : 4207 1460.92/574.84 c (487,0) c RunningTime_0 : 475.223504 1460.92/574.84 c (487,0) c RunningTime_1 : 445.372107 1460.92/574.84 c (487,0) c RunningTime_2 : 424.140842 1460.92/574.84 c (487,0) c RunningTime_total : 1344.736453 1460.92/574.84 c (487,0) c RunningTime_winner : 445.372107 1460.92/574.84 c (487,0) c WaitingTime_0 : 0.001388 1460.92/574.84 c (487,0) c WaitingTime_1 : 27.884135 1460.92/574.84 c (487,0) c WaitingTime_2 : 49.130351 1460.92/574.84 c (487,0) c WaitingTime_total : 77.015873 1460.92/574.84 c (487,0) c WaitingTime_winner : 27.884135 1460.92/574.84 c (487,0) c ExchangingTime_0 : 0.039540 1460.92/574.84 c (487,0) c ExchangingTime_1 : 0.038723 1460.92/574.84 c (487,0) c ExchangingTime_2 : 0.039304 1460.92/574.84 c (487,0) c ExchangingTime_total : 0.117567 1460.92/574.84 c (487,0) c ExchangingTime_winner : 0.038723 1460.92/574.84 c (487,0) c PeriodProcTime_0 : 0.060546 1460.92/574.84 c (487,0) c PeriodProcTime_1 : 0.040931 1460.92/574.84 c (487,0) c PeriodProcTime_2 : 0.038698 1460.92/574.84 c (487,0) c PeriodProcTime_total : 0.140175 1460.92/574.84 c (487,0) c PeriodProcTime_winner : 0.040931 1460.92/574.84 c (487,0) c SolvingTime_0 : 475.324978 1460.92/574.84 c (487,0) c SolvingTime_1 : 473.335895 1460.92/574.84 c (487,0) c SolvingTime_2 : 473.349195 1460.92/574.84 c (487,0) c SolvingTime_total : 1422.010068 1460.92/574.84 c (487,0) c SolvingTime_winner : 473.335895 1460.92/574.84 c (487,0) c PropagationTime_0 : 451.349856 1460.92/574.84 c (487,0) c PropagationTime_1 : 444.825141 1460.92/574.84 c (487,0) c PropagationTime_2 : 444.347221 1460.92/574.84 c (487,0) c PropagationTime_total : 1340.522218 1460.92/574.84 c (487,0) c PropagationTime_winner : 444.825141 1460.92/574.84 c (487,0) c AnalysisTime_0 : 5.278020 1460.92/574.84 c (487,0) c AnalysisTime_1 : 4.169913 1460.92/574.84 c (487,0) c AnalysisTime_2 : 4.717582 1460.92/574.84 c (487,0) c AnalysisTime_total : 14.165516 1460.92/574.84 c (487,0) c AnalysisTime_winner : 4.169913 1460.92/574.84 c (487,0) c ReductionTime_0 : 0.011982 1460.92/574.84 c (487,0) c ReductionTime_1 : 0.011529 1460.92/574.84 c (487,0) c ReductionTime_2 : 0.011916 1460.92/574.84 c (487,0) c ReductionTime_total : 0.035427 1460.92/574.84 c (487,0) c ReductionTime_winner : 0.011529 1460.92/574.84 c (487,0) c SimplifyTime_0 : 8.813432 1460.92/574.84 c (487,0) c SimplifyTime_1 : 15.231816 1460.92/574.84 c (487,0) c SimplifyTime_2 : 14.810809 1460.92/574.84 c (487,0) c SimplifyTime_total : 38.856057 1460.92/574.84 c (487,0) c SimplifyTime_winner : 15.231816 1460.92/574.84 c (487,0) c UsedRateTime_0 : 0.000000 1460.92/574.84 c (487,0) c UsedRateTime_1 : 0.000000 1460.92/574.84 c (487,0) c UsedRateTime_2 : 0.000000 1460.92/574.84 c (487,0) c UsedRateTime_total : 0.000000 1460.92/574.84 c (487,0) c UsedRateTime_winner : 0.000000 1460.92/574.84 c (487,0) c OverlapRateTime_0 : 0.000000 1460.92/574.84 c (487,0) c OverlapRateTime_1 : 0.000000 1460.92/574.84 c (487,0) c OverlapRateTime_2 : 0.000000 1460.92/574.84 c (487,0) c OverlapRateTime_total : 0.000000 1460.92/574.84 c (487,0) c OverlapRateTime_winner : 0.000000 1460.92/574.84 c (487,0) c 1460.92/574.84 c (487,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 1460.92/574.84 c (487,0) c 1460.92/574.84 c (487,0) c |-----------------------|------------|------------|------------| 1460.92/574.84 c (487,0) c | Threads | 0 | 1 | 2 | 1460.92/574.84 c (487,0) c |-----------------------|------------|------------|------------| 1460.92/574.84 c (487,0) c | randomizeFirstDescent | False | True | True | 1460.92/574.84 c (487,0) c | adaptStrategeis | True | False | True | 1460.92/574.84 c (487,0) c | forceUnsatOnNewDescent| True | True | False | 1460.92/574.84 c (487,0) c | Initial random_seed | 2056653908 | 1215092873 | 583539021 | 1460.92/574.84 c (487,0) c | chanseokStrategy | False | False | False | 1460.92/574.84 c (487,0) c | coLBDBound | 5 | 5 | 5 | 1460.92/574.84 c (487,0) c | glureduce | True | True | True | 1460.92/574.84 c (487,0) c | firstReduceDB | 2000 | 2000 | 2000 | 1460.92/574.84 c (487,0) c | incReduceDB | 300 | 300 | 300 | 1460.92/574.84 c (487,0) c | luby_restart | False | False | False | 1460.92/574.84 c (487,0) c | luby_restart_factor | 100 | 100 | 100 | 1460.92/574.84 c (487,0) c | var_decay | 0.8800 | 0.8800 | 0.8800 | 1460.92/574.84 c (487,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 1460.92/574.84 c (487,0) c | randomize_on_restarts | False | False | False | 1460.92/574.84 c (487,0) c | remove_satisfied | True | True | True | 1460.92/574.84 c (487,0) c |-----------------------|------------|------------|------------| 1460.92/574.84 c (487,0) 1460.92/574.84 c (487,0) s SATISFIABLE 1461.99/575.30 c (488,0) SatSolver.solve End 1461.99/575.30 c (488,0) Heap : 273 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 1461.99/575.30 c (488,0) Show results Begin 1462.21/575.48 c (488,0) x0 = 20 1462.21/575.48 c (488,0) x1 = 19 1462.21/575.48 c (488,0) x10 = 365 1462.21/575.48 c (488,0) x100 = 708 1462.21/575.48 c (488,0) x101 = 707 1462.21/575.48 c (488,0) x102 = 933 1462.21/575.48 c (488,0) x103 = 932 1462.21/575.48 c (488,0) x104 = 1066 1462.21/575.48 c (488,0) x105 = 1065 1462.21/575.48 c (488,0) x106 = 1122 1462.21/575.48 c (488,0) x107 = 1121 1462.21/575.48 c (488,0) x108 = 1265 1462.21/575.48 c (488,0) x109 = 1266 1462.21/575.48 c (488,0) x11 = 366 1462.21/575.48 c (488,0) x110 = 1346 1462.21/575.48 c (488,0) x111 = 1345 1462.21/575.48 c (488,0) x112 = 1366 1462.21/575.48 c (488,0) x113 = 1367 1462.21/575.48 c (488,0) x114 = 1413 1462.21/575.48 c (488,0) x115 = 1414 1462.21/575.48 c (488,0) x116 = 1538 1462.21/575.48 c (488,0) x117 = 1537 1462.21/575.48 c (488,0) x118 = 1643 1462.21/575.48 c (488,0) x119 = 1642 1462.21/575.48 c (488,0) x12 = 436 1462.21/575.48 c (488,0) x120 = 0 1462.21/575.48 c (488,0) x121 = 1 1462.21/575.48 c (488,0) x122 = 53 1462.21/575.48 c (488,0) x123 = 52 1462.21/575.48 c (488,0) x124 = 105 1462.21/575.48 c (488,0) x125 = 104 1462.21/575.48 c (488,0) x126 = 172 1462.21/575.48 c (488,0) x127 = 173 1462.21/575.48 c (488,0) x128 = 198 1462.21/575.48 c (488,0) x129 = 199 1462.21/575.48 c (488,0) x13 = 435 1462.21/575.48 c (488,0) x130 = 262 1462.21/575.48 c (488,0) x131 = 263 1462.21/575.48 c (488,0) x132 = 389 1462.21/575.48 c (488,0) x133 = 390 1462.21/575.48 c (488,0) x134 = 461 1462.21/575.48 c (488,0) x135 = 462 1462.21/575.48 c (488,0) x136 = 483 1462.21/575.48 c (488,0) x137 = 482 1462.21/575.48 c (488,0) x138 = 504 1462.21/575.48 c (488,0) x139 = 505 1462.21/575.48 c (488,0) x14 = 480 1462.21/575.48 c (488,0) x140 = 625 1462.21/575.48 c (488,0) x141 = 626 1462.21/575.48 c (488,0) x142 = 633 1462.21/575.48 c (488,0) x143 = 634 1462.21/575.48 c (488,0) x144 = 725 1462.21/575.48 c (488,0) x145 = 724 1462.21/575.48 c (488,0) x146 = 734 1462.21/575.48 c (488,0) x147 = 733 1462.21/575.48 c (488,0) x148 = 919 1462.21/575.48 c (488,0) x149 = 920 1462.21/575.48 c (488,0) x15 = 479 1462.21/575.48 c (488,0) x150 = 1014 1462.21/575.48 c (488,0) x151 = 1015 1462.21/575.48 c (488,0) x152 = 1350 1462.21/575.48 c (488,0) x153 = 1351 1462.21/575.48 c (488,0) x154 = 1445 1462.21/575.48 c (488,0) x155 = 1444 1462.21/575.48 c (488,0) x156 = 1527 1462.21/575.48 c (488,0) x157 = 1526 1462.21/575.48 c (488,0) x158 = 1610 1462.21/575.48 c (488,0) x159 = 1609 1462.21/575.48 c (488,0) x16 = 641 1462.21/575.48 c (488,0) x160 = 0 1462.21/575.48 c (488,0) x161 = 1 1462.21/575.48 c (488,0) x162 = 30 1462.21/575.48 c (488,0) x163 = 29 1462.21/575.48 c (488,0) x164 = 107 1462.21/575.48 c (488,0) x165 = 106 1462.21/575.48 c (488,0) x166 = 196 1462.21/575.48 c (488,0) x167 = 197 1462.21/575.48 c (488,0) x168 = 262 1462.21/575.48 c (488,0) x169 = 263 1462.21/575.48 c (488,0) x17 = 642 1462.21/575.48 c (488,0) x170 = 383 1462.21/575.48 c (488,0) x171 = 384 1462.21/575.48 c (488,0) x172 = 459 1462.21/575.48 c (488,0) x173 = 460 1462.21/575.48 c (488,0) x174 = 478 1462.21/575.48 c (488,0) x175 = 477 1462.21/575.48 c (488,0) x176 = 493 1462.21/575.48 c (488,0) x177 = 494 1462.21/575.48 c (488,0) x178 = 589 1462.21/575.48 c (488,0) x179 = 588 1462.21/575.48 c (488,0) x18 = 771 1462.21/575.48 c (488,0) x180 = 601 1462.21/575.48 c (488,0) x181 = 602 1462.21/575.48 c (488,0) x182 = 626 1462.21/575.48 c (488,0) x183 = 627 1462.21/575.48 c (488,0) x184 = 636 1462.21/575.48 c (488,0) x185 = 635 1462.21/575.48 c (488,0) x186 = 649 1462.21/575.48 c (488,0) x187 = 648 1462.21/575.48 c (488,0) x188 = 700 1462.21/575.48 c (488,0) x189 = 699 1462.21/575.48 c (488,0) x19 = 770 1462.21/575.48 c (488,0) x190 = 735 1462.21/575.48 c (488,0) x191 = 734 1462.21/575.48 c (488,0) x192 = 770 1462.21/575.48 c (488,0) x193 = 771 1462.21/575.48 c (488,0) x194 = 874 1462.21/575.48 c (488,0) x195 = 875 1462.21/575.48 c (488,0) x196 = 1604 1462.21/575.48 c (488,0) x197 = 1605 1462.21/575.48 c (488,0) x198 = 1676 1462.21/575.48 c (488,0) x199 = 1675 1462.21/575.48 c (488,0) x2 = 191 1462.21/575.48 c (488,0) x20 = 809 1462.21/575.48 c (488,0) x200 = 0 1462.21/575.48 c (488,0) x201 = 1 1462.21/575.48 c (488,0) x202 = 36 1462.21/575.48 c (488,0) x203 = 35 1462.21/575.48 c (488,0) x204 = 94 1462.21/575.48 c (488,0) x205 = 95 1462.21/575.48 c (488,0) x206 = 185 1462.21/575.48 c (488,0) x207 = 184 1462.21/575.48 c (488,0) x208 = 259 1462.21/575.48 c (488,0) x209 = 260 1462.21/575.48 c (488,0) x21 = 808 1462.21/575.48 c (488,0) x210 = 327 1462.21/575.48 c (488,0) x211 = 326 1462.21/575.48 c (488,0) x212 = 460 1462.21/575.48 c (488,0) x213 = 459 1462.21/575.48 c (488,0) x214 = 532 1462.21/575.48 c (488,0) x215 = 533 1462.21/575.48 c (488,0) x216 = 555 1462.21/575.48 c (488,0) x217 = 556 1462.21/575.48 c (488,0) x218 = 564 1462.21/575.48 c (488,0) x219 = 798 1462.21/575.48 c (488,0) x22 = 824 1462.21/575.48 c (488,0) x220 = 865 1462.21/575.48 c (488,0) x221 = 771 1462.21/575.48 c (488,0) x222 = 878 1462.21/575.48 c (488,0) x223 = 879 1462.21/575.48 c (488,0) x224 = 972 1462.21/575.48 c (488,0) x225 = 971 1462.21/575.48 c (488,0) x226 = 1092 1462.21/575.48 c (488,0) x227 = 1091 1462.21/575.48 c (488,0) x228 = 1172 1462.21/575.48 c (488,0) x229 = 1173 1462.21/575.48 c (488,0) x23 = 825 1462.21/575.48 c (488,0) x230 = 1204 1462.21/575.48 c (488,0) x231 = 1311 1462.21/575.48 c (488,0) x232 = 1348 1462.21/575.48 c (488,0) x233 = 1349 1462.21/575.48 c (488,0) x234 = 1448 1462.21/575.48 c (488,0) x235 = 1449 1462.21/575.48 c (488,0) x236 = 1518 1462.21/575.48 c (488,0) x237 = 1517 1462.21/575.48 c (488,0) x238 = 1598 1462.21/575.48 c (488,0) x239 = 1599 1462.21/575.48 c (488,0) x24 = 913 1462.21/575.48 c (488,0) x240 = 0 1462.21/575.48 c (488,0) x241 = 1 1462.21/575.48 c (488,0) x242 = 104 1462.21/575.48 c (488,0) x243 = 105 1462.21/575.48 c (488,0) x244 = 168 1462.21/575.48 c (488,0) x245 = 167 1462.21/575.48 c (488,0) x246 = 183 1462.21/575.48 c (488,0) x247 = 184 1462.21/575.48 c (488,0) x248 = 377 1462.21/575.48 c (488,0) x249 = 378 1462.21/575.48 c (488,0) x25 = 888 1462.21/575.48 c (488,0) x250 = 379 1462.21/575.48 c (488,0) x251 = 378 1462.21/575.48 c (488,0) x252 = 531 1462.21/575.48 c (488,0) x253 = 532 1462.21/575.48 c (488,0) x254 = 602 1462.21/575.48 c (488,0) x255 = 601 1462.21/575.48 c (488,0) x256 = 709 1462.21/575.48 c (488,0) x257 = 708 1462.21/575.48 c (488,0) x258 = 784 1462.21/575.48 c (488,0) x259 = 783 1462.21/575.48 c (488,0) x26 = 927 1462.21/575.48 c (488,0) x260 = 861 1462.21/575.48 c (488,0) x261 = 860 1462.21/575.48 c (488,0) x262 = 1025 1462.21/575.48 c (488,0) x263 = 1026 1462.21/575.48 c (488,0) x264 = 1117 1462.21/575.48 c (488,0) x265 = 1116 1462.21/575.48 c (488,0) x266 = 1324 1462.21/575.48 c (488,0) x267 = 1323 1462.21/575.48 c (488,0) x268 = 1342 1462.21/575.48 c (488,0) x269 = 1343 1462.21/575.48 c (488,0) x27 = 928 1462.21/575.48 c (488,0) x270 = 1401 1462.21/575.48 c (488,0) x271 = 1400 1462.21/575.48 c (488,0) x272 = 1430 1462.21/575.48 c (488,0) x273 = 1431 1462.21/575.48 c (488,0) x274 = 1518 1462.21/575.48 c (488,0) x275 = 1517 1462.21/575.48 c (488,0) x276 = 1575 1462.21/575.48 c (488,0) x277 = 1576 1462.21/575.48 c (488,0) x278 = 1621 1462.21/575.48 c (488,0) x279 = 1620 1462.21/575.48 c (488,0) x28 = 957 1462.21/575.48 c (488,0) x280 = 0 1462.21/575.48 c (488,0) x281 = 1 1462.21/575.48 c (488,0) x282 = 20 1462.21/575.48 c (488,0) x283 = 19 1462.21/575.48 c (488,0) x284 = 84 1462.21/575.48 c (488,0) x285 = 85 1462.21/575.48 c (488,0) x286 = 179 1462.21/575.48 c (488,0) x287 = 178 1462.21/575.48 c (488,0) x288 = 220 1462.21/575.48 c (488,0) x289 = 221 1462.21/575.48 c (488,0) x29 = 958 1462.21/575.48 c (488,0) x290 = 316 1462.21/575.48 c (488,0) x291 = 315 1462.21/575.48 c (488,0) x292 = 421 1462.21/575.48 c (488,0) x293 = 422 1462.21/575.48 c (488,0) x294 = 494 1462.21/575.48 c (488,0) x295 = 493 1462.21/575.48 c (488,0) x296 = 524 1462.21/575.48 c (488,0) x297 = 525 1462.21/575.48 c (488,0) x298 = 527 1462.21/575.48 c (488,0) x299 = 526 1462.21/575.48 c (488,0) x3 = 190 1462.21/575.48 c (488,0) x30 = 994 1462.21/575.48 c (488,0) x300 = 587 1462.21/575.48 c (488,0) x301 = 588 1462.21/575.48 c (488,0) x302 = 666 1462.21/575.48 c (488,0) x303 = 667 1462.21/575.48 c (488,0) x304 = 959 1462.21/575.48 c (488,0) x305 = 958 1462.21/575.48 c (488,0) x306 = 974 1462.21/575.48 c (488,0) x307 = 975 1462.21/575.48 c (488,0) x308 = 1033 1462.21/575.48 c (488,0) x309 = 1034 1462.21/575.48 c (488,0) x31 = 995 1462.21/575.48 c (488,0) x310 = 1428 1462.21/575.48 c (488,0) x311 = 1429 1462.21/575.48 c (488,0) x312 = 1599 1462.21/575.48 c (488,0) x313 = 1598 1462.21/575.48 c (488,0) x314 = 1635 1462.21/575.48 c (488,0) x315 = 1634 1462.21/575.48 c (488,0) x316 = 1657 1462.21/575.48 c (488,0) x317 = 1658 1462.21/575.48 c (488,0) x318 = 1676 1462.21/575.48 c (488,0) x319 = 1677 1462.21/575.49 c (488,0) x32 = 1122 1462.21/575.49 c (488,0) x320 = 201 1462.21/575.49 c (488,0) x321 = 200 1462.21/575.49 c (488,0) x322 = 395 1462.21/575.49 c (488,0) x323 = 396 1462.21/575.49 c (488,0) x324 = 469 1462.21/575.49 c (488,0) x325 = 468 1462.21/575.49 c (488,0) x326 = 563 1462.21/575.49 c (488,0) x327 = 562 1462.21/575.49 c (488,0) x328 = 640 1462.21/575.49 c (488,0) x329 = 639 1462.21/575.49 c (488,0) x33 = 1123 1462.21/575.49 c (488,0) x330 = 699 1462.21/575.49 c (488,0) x331 = 700 1462.21/575.49 c (488,0) x332 = 780 1462.21/575.49 c (488,0) x333 = 781 1462.21/575.49 c (488,0) x334 = 873 1462.21/575.49 c (488,0) x335 = 872 1462.21/575.49 c (488,0) x336 = 877 1462.21/575.49 c (488,0) x337 = 878 1462.21/575.49 c (488,0) x338 = 986 1462.21/575.49 c (488,0) x339 = 985 1462.21/575.49 c (488,0) x34 = 1169 1462.21/575.49 c (488,0) x340 = 1063 1462.21/575.49 c (488,0) x341 = 1064 1462.21/575.49 c (488,0) x342 = 1136 1462.21/575.49 c (488,0) x343 = 1135 1462.21/575.49 c (488,0) x344 = 1228 1462.21/575.49 c (488,0) x345 = 1229 1462.21/575.49 c (488,0) x346 = 1303 1462.21/575.49 c (488,0) x347 = 1302 1462.21/575.49 c (488,0) x348 = 1399 1462.21/575.49 c (488,0) x349 = 1398 1462.21/575.49 c (488,0) x35 = 1168 1462.21/575.49 c (488,0) x350 = 1440 1462.21/575.49 c (488,0) x351 = 1441 1462.21/575.49 c (488,0) x352 = 1450 1462.21/575.49 c (488,0) x353 = 1451 1462.21/575.49 c (488,0) x354 = 1497 1462.21/575.49 c (488,0) x355 = 1498 1462.21/575.49 c (488,0) x356 = 1520 1462.21/575.49 c (488,0) x357 = 1519 1462.21/575.49 c (488,0) x358 = 1600 1462.21/575.49 c (488,0) x359 = 1599 1462.21/575.49 c (488,0) x36 = 1220 1462.21/575.49 c (488,0) x360 = 46 1462.21/575.49 c (488,0) x361 = 45 1462.21/575.49 c (488,0) x362 = 187 1462.21/575.49 c (488,0) x363 = 188 1462.21/575.49 c (488,0) x364 = 302 1462.21/575.49 c (488,0) x365 = 303 1462.21/575.49 c (488,0) x366 = 340 1462.21/575.49 c (488,0) x367 = 339 1462.21/575.49 c (488,0) x368 = 426 1462.21/575.49 c (488,0) x369 = 427 1462.21/575.49 c (488,0) x37 = 1221 1462.21/575.49 c (488,0) x370 = 443 1462.21/575.49 c (488,0) x371 = 442 1462.21/575.49 c (488,0) x372 = 467 1462.21/575.49 c (488,0) x373 = 468 1462.21/575.49 c (488,0) x374 = 531 1462.21/575.49 c (488,0) x375 = 530 1462.21/575.49 c (488,0) x376 = 614 1462.21/575.49 c (488,0) x377 = 613 1462.21/575.49 c (488,0) x378 = 704 1462.21/575.49 c (488,0) x379 = 705 1462.21/575.49 c (488,0) x38 = 1311 1462.21/575.49 c (488,0) x380 = 791 1462.21/575.49 c (488,0) x381 = 790 1462.21/575.49 c (488,0) x382 = 959 1462.21/575.49 c (488,0) x383 = 960 1462.21/575.49 c (488,0) x384 = 1058 1462.21/575.49 c (488,0) x385 = 1057 1462.21/575.49 c (488,0) x386 = 1156 1462.21/575.49 c (488,0) x387 = 1157 1462.21/575.49 c (488,0) x388 = 1205 1462.21/575.49 c (488,0) x389 = 1204 1462.21/575.49 c (488,0) x39 = 1310 1462.21/575.49 c (488,0) x390 = 1235 1462.21/575.49 c (488,0) x391 = 1236 1462.21/575.49 c (488,0) x392 = 1296 1462.21/575.49 c (488,0) x393 = 1295 1462.21/575.49 c (488,0) x394 = 1397 1462.21/575.49 c (488,0) x395 = 1398 1462.21/575.49 c (488,0) x396 = 1453 1462.21/575.49 c (488,0) x397 = 1454 1462.21/575.49 c (488,0) x398 = 1635 1462.21/575.49 c (488,0) x399 = 1634 1462.21/575.49 c (488,0) x4 = 232 1462.21/575.49 c (488,0) x40 = 304 1462.21/575.49 c (488,0) x400 = 0 1462.21/575.49 c (488,0) x401 = 1 1462.21/575.49 c (488,0) x402 = 8 1462.21/575.49 c (488,0) x403 = 7 1462.21/575.49 c (488,0) x404 = 104 1462.21/575.49 c (488,0) x405 = 105 1462.21/575.49 c (488,0) x406 = 184 1462.21/575.49 c (488,0) x407 = 183 1462.21/575.49 c (488,0) x408 = 254 1462.21/575.49 c (488,0) x409 = 255 1462.21/575.49 c (488,0) x41 = 305 1462.21/575.49 c (488,0) x410 = 352 1462.21/575.49 c (488,0) x411 = 353 1462.21/575.49 c (488,0) x412 = 446 1462.21/575.49 c (488,0) x413 = 447 1462.21/575.49 c (488,0) x414 = 541 1462.21/575.49 c (488,0) x415 = 540 1462.21/575.49 c (488,0) x416 = 637 1462.21/575.49 c (488,0) x417 = 638 1462.21/575.49 c (488,0) x418 = 812 1462.21/575.49 c (488,0) x419 = 813 1462.21/575.49 c (488,0) x42 = 530 1462.21/575.49 c (488,0) x420 = 874 1462.21/575.49 c (488,0) x421 = 875 1462.21/575.49 c (488,0) x422 = 1002 1462.21/575.49 c (488,0) x423 = 1003 1462.21/575.49 c (488,0) x424 = 1205 1462.21/575.49 c (488,0) x425 = 1204 1462.21/575.49 c (488,0) x426 = 1235 1462.21/575.49 c (488,0) x427 = 1234 1462.21/575.49 c (488,0) x428 = 1265 1462.21/575.49 c (488,0) x429 = 1264 1462.21/575.49 c (488,0) x43 = 531 1462.21/575.49 c (488,0) x430 = 1344 1462.21/575.49 c (488,0) x431 = 1345 1462.21/575.49 c (488,0) x432 = 1377 1462.21/575.49 c (488,0) x433 = 1376 1462.21/575.49 c (488,0) x434 = 1420 1462.21/575.49 c (488,0) x435 = 1421 1462.21/575.49 c (488,0) x436 = 1599 1462.21/575.49 c (488,0) x437 = 1600 1462.21/575.49 c (488,0) x438 = 1653 1462.21/575.49 c (488,0) x439 = 1652 1462.21/575.49 c (488,0) x44 = 688 1462.21/575.49 c (488,0) x440 = 87 1462.21/575.49 c (488,0) x441 = 86 1462.21/575.49 c (488,0) x442 = 108 1462.21/575.49 c (488,0) x443 = 107 1462.21/575.49 c (488,0) x444 = 189 1462.21/575.49 c (488,0) x445 = 190 1462.21/575.49 c (488,0) x446 = 288 1462.21/575.49 c (488,0) x447 = 289 1462.21/575.49 c (488,0) x448 = 397 1462.21/575.49 c (488,0) x449 = 396 1462.21/575.49 c (488,0) x45 = 689 1462.21/575.49 c (488,0) x450 = 504 1462.21/575.49 c (488,0) x451 = 459 1462.21/575.49 c (488,0) x452 = 569 1462.21/575.49 c (488,0) x453 = 570 1462.21/575.49 c (488,0) x454 = 614 1462.21/575.49 c (488,0) x455 = 613 1462.21/575.49 c (488,0) x456 = 652 1462.21/575.49 c (488,0) x457 = 651 1462.21/575.49 c (488,0) x458 = 794 1462.21/575.49 c (488,0) x459 = 793 1462.21/575.49 c (488,0) x46 = 784 1462.21/575.49 c (488,0) x460 = 857 1462.21/575.49 c (488,0) x461 = 856 1462.21/575.49 c (488,0) x462 = 899 1462.21/575.49 c (488,0) x463 = 900 1462.21/575.49 c (488,0) x464 = 994 1462.21/575.49 c (488,0) x465 = 993 1462.21/575.49 c (488,0) x466 = 1004 1462.21/575.49 c (488,0) x467 = 1003 1462.21/575.49 c (488,0) x468 = 1067 1462.21/575.49 c (488,0) x469 = 1066 1462.21/575.49 c (488,0) x47 = 783 1462.21/575.49 c (488,0) x470 = 1086 1462.21/575.49 c (488,0) x471 = 1087 1462.21/575.49 c (488,0) x472 = 1156 1462.21/575.49 c (488,0) x473 = 1155 1462.21/575.49 c (488,0) x474 = 1166 1462.21/575.49 c (488,0) x475 = 1165 1462.21/575.49 c (488,0) x476 = 1226 1462.21/575.49 c (488,0) x477 = 1306 1462.21/575.49 c (488,0) x478 = 1553 1462.21/575.49 c (488,0) x479 = 1554 1462.21/575.49 c (488,0) x48 = 862 1462.21/575.49 c (488,0) x480 = 0 1462.21/575.49 c (488,0) x481 = 1 1462.21/575.49 c (488,0) x482 = 66 1462.21/575.49 c (488,0) x483 = 67 1462.21/575.49 c (488,0) x484 = 140 1462.21/575.49 c (488,0) x485 = 139 1462.21/575.49 c (488,0) x486 = 190 1462.21/575.49 c (488,0) x487 = 191 1462.21/575.49 c (488,0) x488 = 301 1462.21/575.49 c (488,0) x489 = 300 1462.21/575.49 c (488,0) x49 = 863 1462.21/575.49 c (488,0) x490 = 395 1462.21/575.49 c (488,0) x491 = 396 1462.21/575.49 c (488,0) x492 = 591 1462.21/575.49 c (488,0) x493 = 590 1462.21/575.49 c (488,0) x494 = 689 1462.21/575.49 c (488,0) x495 = 688 1462.21/575.49 c (488,0) x496 = 732 1462.21/575.49 c (488,0) x497 = 731 1462.21/575.49 c (488,0) x498 = 768 1462.21/575.49 c (488,0) x499 = 769 1462.21/575.49 c (488,0) x5 = 231 1462.21/575.49 c (488,0) x50 = 936 1462.21/575.49 c (488,0) x500 = 841 1462.21/575.49 c (488,0) x501 = 840 1462.21/575.49 c (488,0) x502 = 925 1462.21/575.49 c (488,0) x503 = 926 1462.21/575.49 c (488,0) x504 = 959 1462.21/575.49 c (488,0) x505 = 958 1462.21/575.49 c (488,0) x506 = 1003 1462.21/575.49 c (488,0) x507 = 1004 1462.21/575.49 c (488,0) x508 = 1073 1462.21/575.49 c (488,0) x509 = 1072 1462.21/575.49 c (488,0) x51 = 937 1462.21/575.49 c (488,0) x510 = 1120 1462.21/575.49 c (488,0) x511 = 1121 1462.21/575.49 c (488,0) x512 = 1295 1462.21/575.49 c (488,0) x513 = 1296 1462.21/575.49 c (488,0) x514 = 1531 1462.21/575.49 c (488,0) x515 = 1532 1462.21/575.49 c (488,0) x516 = 1617 1462.21/575.49 c (488,0) x517 = 1618 1462.21/575.49 c (488,0) x518 = 1644 1462.21/575.49 c (488,0) x519 = 1645 1462.21/575.49 c (488,0) x52 = 949 1462.21/575.49 c (488,0) x520 = 84 1462.21/575.49 c (488,0) x521 = 85 1462.21/575.49 c (488,0) x522 = 152 1462.21/575.49 c (488,0) x523 = 151 1462.21/575.49 c (488,0) x524 = 198 1462.21/575.49 c (488,0) x525 = 199 1462.21/575.49 c (488,0) x526 = 208 1462.21/575.49 c (488,0) x527 = 207 1462.21/575.49 c (488,0) x528 = 422 1462.21/575.49 c (488,0) x529 = 423 1462.21/575.49 c (488,0) x53 = 948 1462.21/575.49 c (488,0) x530 = 504 1462.21/575.49 c (488,0) x531 = 503 1462.21/575.49 c (488,0) x532 = 634 1462.21/575.49 c (488,0) x533 = 633 1462.21/575.49 c (488,0) x534 = 641 1462.21/575.49 c (488,0) x535 = 642 1462.21/575.49 c (488,0) x536 = 644 1462.21/575.49 c (488,0) x537 = 643 1462.21/575.49 c (488,0) x538 = 749 1462.21/575.49 c (488,0) x539 = 750 1462.21/575.49 c (488,0) x54 = 973 1462.21/575.49 c (488,0) x540 = 766 1462.21/575.49 c (488,0) x541 = 767 1462.21/575.49 c (488,0) x542 = 784 1462.21/575.49 c (488,0) x543 = 783 1462.21/575.49 c (488,0) x544 = 865 1462.21/575.49 c (488,0) x545 = 866 1462.21/575.49 c (488,0) x546 = 965 1462.21/575.49 c (488,0) x547 = 966 1462.21/575.49 c (488,0) x548 = 1012 1462.21/575.49 c (488,0) x549 = 1011 1462.21/575.49 c (488,0) x55 = 969 1462.21/575.49 c (488,0) x550 = 1099 1462.21/575.49 c (488,0) x551 = 1098 1462.21/575.49 c (488,0) x552 = 1219 1462.21/575.49 c (488,0) x553 = 1218 1462.21/575.49 c (488,0) x554 = 1307 1462.21/575.49 c (488,0) x555 = 1308 1462.21/575.49 c (488,0) x556 = 1456 1462.21/575.49 c (488,0) x557 = 1457 1462.21/575.49 c (488,0) x558 = 1502 1462.21/575.49 c (488,0) x559 = 1501 1462.21/575.49 c (488,0) x56 = 989 1462.21/575.49 c (488,0) x560 = 98 1462.21/575.49 c (488,0) x561 = 97 1462.21/575.49 c (488,0) x562 = 114 1462.21/575.49 c (488,0) x563 = 115 1462.21/575.49 c (488,0) x564 = 177 1462.21/575.49 c (488,0) x565 = 206 1462.21/575.49 c (488,0) x566 = 223 1462.21/575.49 c (488,0) x567 = 224 1462.21/575.49 c (488,0) x568 = 261 1462.21/575.49 c (488,0) x569 = 262 1462.21/575.49 c (488,0) x57 = 990 1462.21/575.49 c (488,0) x570 = 312 1462.21/575.49 c (488,0) x571 = 311 1462.21/575.49 c (488,0) x572 = 383 1462.21/575.49 c (488,0) x573 = 382 1462.21/575.49 c (488,0) x574 = 459 1462.21/575.49 c (488,0) x575 = 458 1462.21/575.49 c (488,0) x576 = 555 1462.21/575.49 c (488,0) x577 = 556 1462.21/575.49 c (488,0) x578 = 631 1462.21/575.49 c (488,0) x579 = 630 1462.21/575.49 c (488,0) x58 = 1002 1462.21/575.49 c (488,0) x580 = 700 1462.21/575.49 c (488,0) x581 = 701 1462.21/575.49 c (488,0) x582 = 787 1462.21/575.49 c (488,0) x583 = 786 1462.21/575.49 c (488,0) x584 = 896 1462.21/575.49 c (488,0) x585 = 895 1462.21/575.49 c (488,0) x586 = 1105 1462.21/575.49 c (488,0) x587 = 1106 1462.21/575.49 c (488,0) x588 = 1121 1462.21/575.49 c (488,0) x589 = 1120 1462.21/575.49 c (488,0) x59 = 1001 1462.21/575.49 c (488,0) x590 = 1249 1462.21/575.49 c (488,0) x591 = 1250 1462.21/575.49 c (488,0) x592 = 1330 1462.21/575.49 c (488,0) x593 = 1331 1462.21/575.49 c (488,0) x594 = 1381 1462.21/575.49 c (488,0) x595 = 1380 1462.21/575.49 c (488,0) x596 = 1411 1462.21/575.49 c (488,0) x597 = 1410 1462.21/575.49 c (488,0) x598 = 1600 1462.21/575.49 c (488,0) x599 = 1599 1462.21/575.49 c (488,0) x6 = 267 1462.21/575.49 c (488,0) x60 = 1070 1462.21/575.49 c (488,0) x600 = 30 1462.21/575.49 c (488,0) x601 = 29 1462.21/575.49 c (488,0) x602 = 35 1462.21/575.49 c (488,0) x603 = 36 1462.21/575.49 c (488,0) x604 = 109 1462.21/575.49 c (488,0) x605 = 108 1462.21/575.49 c (488,0) x606 = 179 1462.21/575.49 c (488,0) x607 = 178 1462.21/575.49 c (488,0) x608 = 278 1462.21/575.49 c (488,0) x609 = 277 1462.21/575.49 c (488,0) x61 = 1071 1462.21/575.49 c (488,0) x610 = 307 1462.21/575.49 c (488,0) x611 = 308 1462.21/575.49 c (488,0) x612 = 348 1462.21/575.49 c (488,0) x613 = 822 1462.21/575.49 c (488,0) x614 = 878 1462.21/575.49 c (488,0) x615 = 612 1462.21/575.49 c (488,0) x616 = 968 1462.21/575.49 c (488,0) x617 = 969 1462.21/575.49 c (488,0) x618 = 1038 1462.21/575.49 c (488,0) x619 = 1039 1462.21/575.49 c (488,0) x62 = 1113 1462.21/575.49 c (488,0) x620 = 1070 1462.21/575.49 c (488,0) x621 = 1069 1462.21/575.49 c (488,0) x622 = 1075 1462.21/575.49 c (488,0) x623 = 1076 1462.21/575.49 c (488,0) x624 = 1099 1462.21/575.49 c (488,0) x625 = 1098 1462.21/575.49 c (488,0) x626 = 1163 1462.21/575.49 c (488,0) x627 = 1162 1462.21/575.49 c (488,0) x628 = 1175 1462.21/575.49 c (488,0) x629 = 1176 1462.21/575.49 c (488,0) x63 = 1112 1462.21/575.49 c (488,0) x630 = 1264 1462.21/575.49 c (488,0) x631 = 1263 1462.21/575.49 c (488,0) x632 = 1302 1462.21/575.49 c (488,0) x633 = 1303 1462.21/575.49 c (488,0) x634 = 1435 1462.21/575.49 c (488,0) x635 = 1436 1462.21/575.49 c (488,0) x636 = 1539 1462.21/575.49 c (488,0) x637 = 1538 1462.21/575.49 c (488,0) x638 = 1633 1462.21/575.49 c (488,0) x639 = 1632 1462.21/575.49 c (488,0) x64 = 1176 1462.21/575.49 c (488,0) x640 = 0 1462.21/575.49 c (488,0) x641 = 1 1462.21/575.49 c (488,0) x642 = 5 1462.21/575.49 c (488,0) x643 = 6 1462.21/575.49 c (488,0) x644 = 140 1462.21/575.49 c (488,0) x645 = 139 1462.21/575.49 c (488,0) x646 = 255 1462.21/575.49 c (488,0) x647 = 254 1462.21/575.49 c (488,0) x648 = 602 1462.21/575.49 c (488,0) x649 = 603 1462.21/575.49 c (488,0) x65 = 1177 1462.21/575.49 c (488,0) x650 = 685 1462.21/575.49 c (488,0) x651 = 684 1462.21/575.49 c (488,0) x652 = 707 1462.21/575.49 c (488,0) x653 = 706 1462.21/575.49 c (488,0) x654 = 760 1462.21/575.49 c (488,0) x655 = 759 1462.21/575.49 c (488,0) x656 = 761 1462.21/575.49 c (488,0) x657 = 762 1462.21/575.49 c (488,0) x658 = 794 1462.21/575.49 c (488,0) x659 = 793 1462.21/575.49 c (488,0) x66 = 1274 1462.21/575.49 c (488,0) x660 = 833 1462.21/575.49 c (488,0) x661 = 834 1462.21/575.49 c (488,0) x662 = 864 1462.21/575.49 c (488,0) x663 = 865 1462.21/575.49 c (488,0) x664 = 935 1462.21/575.49 c (488,0) x665 = 934 1462.21/575.49 c (488,0) x666 = 1036 1462.21/575.49 c (488,0) x667 = 1035 1462.21/575.49 c (488,0) x668 = 1057 1462.21/575.49 c (488,0) x669 = 1056 1462.21/575.49 c (488,0) x67 = 1275 1462.21/575.49 c (488,0) x670 = 1161 1462.21/575.49 c (488,0) x671 = 1160 1462.21/575.49 c (488,0) x672 = 1165 1462.21/575.49 c (488,0) x673 = 1164 1462.21/575.49 c (488,0) x674 = 1231 1462.21/575.49 c (488,0) x675 = 1232 1462.21/575.49 c (488,0) x676 = 1346 1462.21/575.49 c (488,0) x677 = 1347 1462.21/575.49 c (488,0) x678 = 1426 1462.21/575.49 c (488,0) x679 = 1425 1462.21/575.49 c (488,0) x68 = 1343 1462.21/575.49 c (488,0) x680 = 0 1462.21/575.49 c (488,0) x681 = 1 1462.21/575.49 c (488,0) x682 = 75 1462.21/575.49 c (488,0) x683 = 59 1462.21/575.49 c (488,0) x684 = 152 1462.21/575.49 c (488,0) x685 = 151 1462.21/575.49 c (488,0) x686 = 248 1462.21/575.49 c (488,0) x687 = 249 1462.21/575.49 c (488,0) x688 = 488 1462.21/575.49 c (488,0) x689 = 487 1462.21/575.49 c (488,0) x69 = 1342 1462.21/575.49 c (488,0) x690 = 541 1462.21/575.49 c (488,0) x691 = 540 1462.21/575.49 c (488,0) x692 = 566 1462.21/575.49 c (488,0) x693 = 645 1462.21/575.49 c (488,0) x694 = 733 1462.21/575.49 c (488,0) x695 = 734 1462.21/575.49 c (488,0) x696 = 764 1462.21/575.49 c (488,0) x697 = 763 1462.21/575.49 c (488,0) x698 = 921 1462.21/575.49 c (488,0) x699 = 922 1462.21/575.49 c (488,0) x7 = 266 1462.21/575.49 c (488,0) x70 = 1345 1462.21/575.49 c (488,0) x700 = 1125 1462.21/575.49 c (488,0) x701 = 1124 1462.21/575.49 c (488,0) x702 = 1151 1462.21/575.49 c (488,0) x703 = 1152 1462.21/575.49 c (488,0) x704 = 1227 1462.21/575.49 c (488,0) x705 = 1226 1462.21/575.49 c (488,0) x706 = 1312 1462.21/575.49 c (488,0) x707 = 1311 1462.21/575.49 c (488,0) x708 = 1328 1462.21/575.49 c (488,0) x709 = 1329 1462.21/575.49 c (488,0) x71 = 1344 1462.21/575.49 c (488,0) x710 = 1357 1462.21/575.49 c (488,0) x711 = 1358 1462.21/575.49 c (488,0) x712 = 1386 1462.21/575.49 c (488,0) x713 = 1387 1462.21/575.49 c (488,0) x714 = 1443 1462.21/575.49 c (488,0) x715 = 1442 1462.21/575.49 c (488,0) x716 = 1523 1462.21/575.49 c (488,0) x717 = 1524 1462.21/575.49 c (488,0) x718 = 1610 1462.21/575.49 c (488,0) x719 = 1609 1462.21/575.49 c (488,0) x72 = 1398 1462.21/575.49 c (488,0) x720 = 480 1462.21/575.49 c (488,0) x721 = 481 1462.21/575.49 c (488,0) x722 = 583 1462.21/575.49 c (488,0) x723 = 584 1462.21/575.49 c (488,0) x724 = 625 1462.21/575.49 c (488,0) x725 = 626 1462.21/575.49 c (488,0) x726 = 694 1462.21/575.49 c (488,0) x727 = 695 1462.21/575.49 c (488,0) x728 = 737 1462.21/575.49 c (488,0) x729 = 738 1462.21/575.49 c (488,0) x73 = 1397 1462.21/575.49 c (488,0) x730 = 792 1462.21/575.49 c (488,0) x731 = 793 1462.21/575.49 c (488,0) x732 = 897 1462.21/575.49 c (488,0) x733 = 898 1462.21/575.49 c (488,0) x734 = 945 1462.21/575.49 c (488,0) x735 = 949 1462.21/575.49 c (488,0) x736 = 975 1462.21/575.49 c (488,0) x737 = 974 1462.21/575.49 c (488,0) x738 = 1064 1462.21/575.49 c (488,0) x739 = 1063 1462.21/575.49 c (488,0) x74 = 1500 1462.21/575.49 c (488,0) x740 = 1170 1462.21/575.49 c (488,0) x741 = 1171 1462.21/575.49 c (488,0) x742 = 1226 1462.21/575.49 c (488,0) x743 = 1227 1462.21/575.49 c (488,0) x744 = 1325 1462.21/575.49 c (488,0) x745 = 1324 1462.21/575.49 c (488,0) x746 = 1394 1462.21/575.49 c (488,0) x747 = 1393 1462.21/575.49 c (488,0) x748 = 1493 1462.21/575.49 c (488,0) x749 = 1494 1462.21/575.49 c (488,0) x75 = 1499 1462.21/575.49 c (488,0) x750 = 1556 1462.21/575.49 c (488,0) x751 = 1555 1462.21/575.49 c (488,0) x752 = 1602 1462.21/575.49 c (488,0) x753 = 1603 1462.21/575.49 c (488,0) x754 = 1628 1462.21/575.49 c (488,0) x755 = 1627 1462.21/575.49 c (488,0) x756 = 1681 1462.21/575.49 c (488,0) x757 = 1682 1462.21/575.49 c (488,0) x758 = 1693 1462.21/575.49 c (488,0) x759 = 1692 1462.21/575.49 c (488,0) x76 = 1601 1462.21/575.49 c (488,0) x760 = 115 1462.21/575.49 c (488,0) x761 = 114 1462.21/575.49 c (488,0) x762 = 179 1462.21/575.49 c (488,0) x763 = 180 1462.21/575.49 c (488,0) x764 = 348 1462.21/575.49 c (488,0) x765 = 343 1462.21/575.49 c (488,0) x766 = 392 1462.21/575.49 c (488,0) x767 = 391 1462.21/575.49 c (488,0) x768 = 456 1462.21/575.49 c (488,0) x769 = 455 1462.21/575.49 c (488,0) x77 = 1602 1462.21/575.49 c (488,0) x770 = 543 1462.21/575.49 c (488,0) x771 = 544 1462.21/575.49 c (488,0) x772 = 625 1462.21/575.49 c (488,0) x773 = 624 1462.21/575.49 c (488,0) x774 = 703 1462.21/575.49 c (488,0) x775 = 702 1462.21/575.49 c (488,0) x776 = 830 1462.21/575.49 c (488,0) x777 = 831 1462.21/575.49 c (488,0) x778 = 896 1462.21/575.49 c (488,0) x779 = 895 1462.21/575.49 c (488,0) x78 = 1665 1462.21/575.49 c (488,0) x780 = 1051 1462.21/575.49 c (488,0) x781 = 1050 1462.21/575.49 c (488,0) x782 = 1129 1462.21/575.49 c (488,0) x783 = 1130 1462.21/575.49 c (488,0) x784 = 1197 1462.21/575.49 c (488,0) x785 = 1198 1462.21/575.49 c (488,0) x786 = 1208 1462.21/575.49 c (488,0) x787 = 1207 1462.21/575.49 c (488,0) x788 = 1299 1462.21/575.49 c (488,0) x789 = 1298 1462.21/575.49 c (488,0) x79 = 1664 1462.21/575.49 c (488,0) x790 = 1479 1462.21/575.49 c (488,0) x791 = 1480 1462.21/575.49 c (488,0) x792 = 1549 1462.21/575.49 c (488,0) x793 = 1550 1462.21/575.49 c (488,0) x794 = 1608 1462.21/575.49 c (488,0) x795 = 1609 1462.21/575.49 c (488,0) x796 = 1639 1462.21/575.49 c (488,0) x797 = 1640 1462.21/575.49 c (488,0) x798 = 1673 1462.21/575.49 c (488,0) x799 = 1672 1462.21/575.49 c (488,0) x8 = 329 1462.21/575.49 c (488,0) x80 = 0 1462.21/575.49 c (488,0) x81 = 1 1462.21/575.49 c (488,0) x82 = 107 1462.21/575.49 c (488,0) x83 = 108 1462.21/575.49 c (488,0) x84 = 161 1462.21/575.49 c (488,0) x85 = 160 1462.21/575.49 c (488,0) x86 = 296 1462.21/575.49 c (488,0) x87 = 297 1462.21/575.49 c (488,0) x88 = 341 1462.21/575.49 c (488,0) x89 = 342 1462.21/575.49 c (488,0) x9 = 330 1462.21/575.49 c (488,0) x90 = 419 1462.21/575.49 c (488,0) x91 = 418 1462.21/575.49 c (488,0) x92 = 446 1462.21/575.49 c (488,0) x93 = 447 1462.21/575.49 c (488,0) x94 = 494 1462.21/575.49 c (488,0) x95 = 495 1462.21/575.49 c (488,0) x96 = 600 1462.21/575.49 c (488,0) x97 = 601 1462.21/575.49 c (488,0) x98 = 686 1462.21/575.49 c (488,0) x99 = 687 1462.21/575.49 s SATISFIABLE 1462.21/575.50 v <instantiation> 1462.21/575.50 v <list>x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 x138 x139 x140 x141 x142 x143 x144 x145 x146 x147 x148 x149 x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 x177 x178 x179 x180 x181 x182 x183 x184 x185 x186 x187 x188 x189 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199 x200 x201 x202 x203 x204 x205 x206 x207 x208 x209 x210 x211 x212 x213 x214 x215 x216 x217 x218 x219 x220 x221 x222 x223 x224 x225 x226 x227 x228 x229 x230 x231 x232 x233 x234 x235 x236 x237 x238 x239 x240 x241 x242 x243 x244 x245 x246 x247 x248 x249 x250 x251 x252 x253 x254 x255 x256 x257 x258 x259 x260 x261 x262 x263 x264 x265 x266 x267 x268 x269 x270 x271 x272 x273 x274 x275 x276 x277 x278 x279 x280 x281 x282 x283 x284 x285 x286 x287 x288 x289 x290 x291 x292 x293 x294 x295 x296 x297 x298 x299 x300 x301 x302 x303 x304 x305 x306 x307 x308 x309 x310 x311 x312 x313 x314 x315 x316 x317 x318 x319 x320 x321 x322 x323 x324 x325 x326 x327 x328 x329 x330 x331 x332 x333 x334 x335 x336 x337 x338 x339 x340 x341 x342 x343 x344 x345 x346 x347 x348 x349 x350 x351 x352 x353 x354 x355 x356 x357 x358 x359 x360 x361 x362 x363 x364 x365 x366 x367 x368 x369 x370 x371 x372 x373 x374 x375 x376 x377 x378 x379 x380 x381 x382 x383 x384 x385 x386 x387 x388 x389 x390 x391 x392 x393 x394 x395 x396 x397 x398 x399 x400 x401 x402 x403 x404 x405 x406 x407 x408 x409 x410 x411 x412 x413 x414 x415 x416 x417 x418 x419 x420 x421 x422 x423 x424 x425 x426 x427 x428 x429 x430 x431 x432 x433 x434 x435 x436 x437 x438 x439 x440 x441 x442 x443 x444 x445 x446 x447 x448 x449 x450 x451 x452 x453 x454 x455 x456 x457 x458 x459 x460 x461 x462 x463 x464 x465 x466 x467 x468 x469 x470 x471 x472 x473 x474 x475 x476 x477 x478 x479 x480 x481 x482 x483 x484 x485 x486 x487 x488 x489 x490 x491 x492 x493 x494 x495 x496 x497 x498 x499 x500 x501 x502 x503 x504 x505 x506 x507 x508 x509 x510 x511 x512 x513 x514 x515 x516 x517 x518 x519 x520 x521 x522 x523 x524 x525 x526 x527 x528 x529 x530 x531 x532 x533 x534 x535 x536 x537 x538 x539 x540 x541 x542 x543 x544 x545 x546 x547 x548 x549 x550 x551 x552 x553 x554 x555 x556 x557 x558 x559 x560 x561 x562 x563 x564 x565 x566 x567 x568 x569 x570 x571 x572 x573 x574 x575 x576 x577 x578 x579 x580 x581 x582 x583 x584 x585 x586 x587 x588 x589 x590 x591 x592 x593 x594 x595 x596 x597 x598 x599 x600 x601 x602 x603 x604 x605 x606 x607 x608 x609 x610 x611 x612 x613 x614 x615 x616 x617 x618 x619 x620 x621 x622 x623 x624 x625 x626 x627 x628 x629 x630 x631 x632 x633 x634 x635 x636 x637 x638 x639 x640 x641 x642 x643 x644 x645 x646 x647 x648 x649 x650 x651 x652 x653 x654 x655 x656 x657 x658 x659 x660 x661 x662 x663 x664 x665 x666 x667 x668 x669 x670 x671 x672 x673 x674 x675 x676 x677 x678 x679 x680 x681 x682 x683 x684 x685 x686 x687 x688 x689 x690 x691 x692 x693 x694 x695 x696 x697 x698 x699 x700 x701 x702 x703 x704 x705 x706 x707 x708 x709 x710 x711 x712 x713 x714 x715 x716 x717 x718 x719 x720 x721 x722 x723 x724 x725 x726 x727 x728 x729 x730 x731 x732 x733 x734 x735 x736 x737 x738 x739 x740 x741 x742 x743 x744 x745 x746 x747 x748 x749 x750 x751 x752 x753 x754 x755 x756 x757 x758 x759 x760 x761 x762 x763 x764 x765 x766 x767 x768 x769 x770 x771 x772 x773 x774 x775 x776 x777 x778 x779 x780 x781 x782 x783 x784 x785 x786 x787 x788 x789 x790 x791 x792 x793 x794 x795 x796 x797 x798 x799</list> 1462.21/575.50 v <values>20 19 191 190 232 231 267 266 329 330 365 366 436 435 480 479 641 642 771 770 809 808 824 825 913 888 927 928 957 958 994 995 1122 1123 1169 1168 1220 1221 1311 1310 304 305 530 531 688 689 784 783 862 863 936 937 949 948 973 969 989 990 1002 1001 1070 1071 1113 1112 1176 1177 1274 1275 1343 1342 1345 1344 1398 1397 1500 1499 1601 1602 1665 1664 0 1 107 108 161 160 296 297 341 342 419 418 446 447 494 495 600 601 686 687 708 707 933 932 1066 1065 1122 1121 1265 1266 1346 1345 1366 1367 1413 1414 1538 1537 1643 1642 0 1 53 52 105 104 172 173 198 199 262 263 389 390 461 462 483 482 504 505 625 626 633 634 725 724 734 733 919 920 1014 1015 1350 1351 1445 1444 1527 1526 1610 1609 0 1 30 29 107 106 196 197 262 263 383 384 459 460 478 477 493 494 589 588 601 602 626 627 636 635 649 648 700 699 735 734 770 771 874 875 1604 1605 1676 1675 0 1 36 35 94 95 185 184 259 260 327 326 460 459 532 533 555 556 564 798 865 771 878 879 972 971 1092 1091 1172 1173 1204 1311 1348 1349 1448 1449 1518 1517 1598 1599 0 1 104 105 168 167 183 184 377 378 379 378 531 532 602 601 709 708 784 783 861 860 1025 1026 1117 1116 1324 1323 1342 1343 1401 1400 1430 1431 1518 1517 1575 1576 1621 1620 0 1 20 19 84 85 179 178 220 221 316 315 421 422 494 493 524 525 527 526 587 588 666 667 959 958 974 975 1033 1034 1428 1429 1599 1598 1635 1634 1657 1658 1676 1677 201 200 395 396 469 468 563 562 640 639 699 700 780 781 873 872 877 878 986 985 1063 1064 1136 1135 1228 1229 1303 1302 1399 1398 1440 1441 1450 1451 1497 1498 1520 1519 1600 1599 46 45 187 188 302 303 340 339 426 427 443 442 467 468 531 530 614 613 704 705 791 790 959 960 1058 1057 1156 1157 1205 1204 1235 1236 1296 1295 1397 1398 1453 1454 1635 1634 0 1 8 7 104 105 184 183 254 255 352 353 446 447 541 540 637 638 812 813 874 875 1002 1003 1205 1204 1235 1234 1265 1264 1344 1345 1377 1376 1420 1421 1599 1600 1653 1652 87 86 108 107 189 190 288 289 397 396 504 459 569 570 614 613 652 651 794 793 857 856 899 900 994 993 1004 1003 1067 1066 1086 1087 1156 1155 1166 1165 1226 1306 1553 1554 0 1 66 67 140 139 190 191 301 300 395 396 591 590 689 688 732 731 768 769 841 840 925 926 959 958 1003 1004 1073 1072 1120 1121 1295 1296 1531 1532 1617 1618 1644 1645 84 85 152 151 198 199 208 207 422 423 504 503 634 633 641 642 644 643 749 750 766 767 784 783 865 866 965 966 1012 1011 1099 1098 1219 1218 1307 1308 1456 1457 1502 1501 98 97 114 115 177 206 223 224 261 262 312 311 383 382 459 458 555 556 631 630 700 701 787 786 896 895 1105 1106 1121 1120 1249 1250 1330 1331 1381 1380 1411 1410 1600 1599 30 29 35 36 109 108 179 178 278 277 307 308 348 822 878 612 968 969 1038 1039 1070 1069 1075 1076 1099 1098 1163 1162 1175 1176 1264 1263 1302 1303 1435 1436 1539 1538 1633 1632 0 1 5 6 140 139 255 254 602 603 685 684 707 706 760 759 761 762 794 793 833 834 864 865 935 934 1036 1035 1057 1056 1161 1160 1165 1164 1231 1232 1346 1347 1426 1425 0 1 75 59 152 151 248 249 488 487 541 540 566 645 733 734 764 763 921 922 1125 1124 1151 1152 1227 1226 1312 1311 1328 1329 1357 1358 1386 1387 1443 1442 1523 1524 1610 1609 480 481 583 584 625 626 694 695 737 738 792 793 897 898 945 949 975 974 1064 1063 1170 1171 1226 1227 1325 1324 1394 1393 1493 1494 1556 1555 1602 1603 1628 1627 1681 1682 1693 1692 115 114 179 180 348 343 392 391 456 455 543 544 625 624 703 702 830 831 896 895 1051 1050 1129 1130 1197 1198 1208 1207 1299 1298 1479 1480 1549 1550 1608 1609 1639 1640 1673 1672</values> 1462.21/575.50 v </instantiation> 1462.21/575.50 c (488,0) Show results End 1462.21/575.50 c (488,0) Heap : 334 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB) 1462.21/575.50 c (488,0) 488,488,STOP-AFTER(ALL) 1462.21/575.50 c END-Prog: Tue Sep 24 23:06:10 CEST 2019
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 (13767 MiB free)
memory of node 1: 16384 MiB (10858 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405419-1569358639/watcher-4405419-1569358639 -o /var/tmp/evaluation-result-4405419-1569358639/solver-4405419-1569358639 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node147-1569358595-24367 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405419-1569358639.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=24384, runsolver pid=24381
Current StackSize limit: 8192 KiB
[startup+0.10015 s]*
/proc/loadavg: 8.19 8.26 8.21 2/211 24406
/proc/meminfo: memFree=25124616/32770624 swapFree=66935948/67108860
[pid=24384] ppid=24381 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24384/stat : 24384 (scop.sh) S 24381 24384 24340 0 -1 4202496 558 320 0 0 0 0 0 0 20 0 1 0 511777648 115843072 349 33554432000 4194304 5098028 140730896876192 140730896873448 140538350154364 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12124160 140730896884477 140730896884824 140730896884824 140730896887753 0
/proc/24384/statm: 28282 349 296 221 0 87 0
[pid=24387] ppid=24384 vsize=27314120 memory=104516 CPUtime=0.11 cores=0-7
/proc/24387/stat : 24387 (java) S 24384 24384 24340 0 -1 1077944320 6768 0 0 0 9 2 0 0 20 0 20 0 511777648 27969658880 26129 33554432000 4194304 4196468 140736289030672 140736289013216 139736867077879 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
/proc/24387/statm: 6828530 26129 2768 1 0 6790935 0
[pid=24387/tid=24388] ppid=24384 vsize=27314120 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/24387/task/24388/stat : 24388 (java) R 24384 24384 24340 0 -1 4202560 4857 0 0 0 7 1 0 0 20 0 20 0 511777649 27969658880 26129 33554432000 4194304 4196468 140736289030672 139736838904208 139736867099805 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
[pid=24387/tid=24389] ppid=24384 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/24387/task/24389/stat : 24389 (java) S 24384 24384 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511777651 27969658880 26129 33554432000 4194304 4196468 140736289030672 139736871320336 139736867088085 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
[pid=24387/tid=24390] ppid=24384 vsize=27314120 memory=140550557021824 CPUtime=0 cores=0-7
/proc/24387/task/24390/stat : 24390 (java) S 24384 24384 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511777651 27969658880 26129 33554432000 4194304 4196468 140736289030672 139736695962512 139736867088085 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
[pid=24387/tid=24391] ppid=24384 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24387/task/24391/stat : 24391 (java) S 24384 24384 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511777651 27969658880 26129 33554432000 4194304 4196468 140736289030672 139736287706128 139736867088085 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
[pid=24387/tid=24392] ppid=24384 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24387/task/24392/stat : 24392 (java) S 24384 24384 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511777651 27969658880 26129 33554432000 4194304 4196468 140736289030672 139736286653584 139736867088085 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
[pid=24387/tid=24393] ppid=24384 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24387/task/24393/stat : 24393 (java) S 24384 24384 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511777651 27969658880 26129 33554432000 4194304 4196468 140736289030672 139736285600016 139736867088085 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
[pid=24387/tid=24394] ppid=24384 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24387/task/24394/stat : 24394 (java) S 24384 24384 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511777651 27969658880 26129 33554432000 4194304 4196468 140736289030672 139736284547472 139736867088085 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
[pid=24387/tid=24395] ppid=24384 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24387/task/24395/stat : 24395 (java) S 24384 24384 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511777651 27969658880 26129 33554432000 4194304 4196468 140736289030672 139736283494928 139736867088085 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
[pid=24387/tid=24396] ppid=24384 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24387/task/24396/stat : 24396 (java) S 24384 24384 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511777651 27969658880 26129 33554432000 4194304 4196468 140736289030672 139736282442384 139736867088085 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
[pid=24387/tid=24397] ppid=24384 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24387/task/24397/stat : 24397 (java) S 24384 24384 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511777653 27969658880 26129 33554432000 4194304 4196468 140736289030672 139735858194928 139736867089026 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
[pid=24387/tid=24398] ppid=24384 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24387/task/24398/stat : 24398 (java) S 24384 24384 24340 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511777653 27969658880 26129 33554432000 4194304 4196468 140736289030672 139734747702688 139736867088085 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
[pid=24387/tid=24399] ppid=24384 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24387/task/24399/stat : 24399 (java) S 24384 24384 24340 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511777653 27969658880 26129 33554432000 4194304 4196468 140736289030672 139734613480944 139736867088085 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
[pid=24387/tid=24400] ppid=24384 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24387/task/24400/stat : 24400 (java) S 24384 24384 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511777656 27969658880 26129 33554432000 4194304 4196468 140736289030672 139734238976720 139736867096475 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
[pid=24387/tid=24401] ppid=24384 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24387/task/24401/stat : 24401 (java) S 24384 24384 24340 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 511777656 27969658880 26129 33554432000 4194304 4196468 140736289030672 139735857141744 139736867089026 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
[pid=24387/tid=24402] ppid=24384 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24387/task/24402/stat : 24402 (java) S 24384 24384 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511777656 27969658880 26129 33554432000 4194304 4196468 140736289030672 139735856089200 139736867089026 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
[pid=24387/tid=24403] ppid=24384 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24387/task/24403/stat : 24403 (java) S 24384 24384 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511777656 27969658880 26129 33554432000 4194304 4196468 140736289030672 139735855036656 139736867089026 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
[pid=24387/tid=24404] ppid=24384 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24387/task/24404/stat : 24404 (java) R 24384 24384 24340 0 -1 4202560 248 0 0 0 0 0 0 0 20 0 20 0 511777656 27969658880 26129 33554432000 4194304 4196468 140736289030672 139735853984112 139736867099226 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
[pid=24387/tid=24405] ppid=24384 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24387/task/24405/stat : 24405 (java) S 24384 24384 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511777656 27969658880 26129 33554432000 4194304 4196468 140736289030672 139733741071072 139736867088085 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
[pid=24387/tid=24406] ppid=24384 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24387/task/24406/stat : 24406 (java) S 24384 24384 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511777656 27969658880 26129 33554432000 4194304 4196468 140736289030672 139735852932016 139736867089026 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 105912 KiB
[startup+0.210223 s]*
/proc/loadavg: 8.19 8.26 8.21 4/211 24406
/proc/meminfo: memFree=25103096/32770624 swapFree=66935948/67108860
[pid=24384] ppid=24381 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24384/stat : 24384 (scop.sh) S 24381 24384 24340 0 -1 4202496 558 320 0 0 0 0 0 0 20 0 1 0 511777648 115843072 349 33554432000 4194304 5098028 140730896876192 140730896873448 140538350154364 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12124160 140730896884477 140730896884824 140730896884824 140730896887753 0
/proc/24384/statm: 28282 349 296 221 0 87 0
[pid=24387] ppid=24384 vsize=27314120 memory=124060 CPUtime=0.24 cores=0-7
/proc/24387/stat : 24387 (java) S 24384 24384 24340 0 -1 1077944320 12417 0 0 0 20 4 0 0 20 0 20 0 511777648 27969658880 31015 33554432000 4194304 4196468 140736289030672 140736289013216 139736867077879 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
/proc/24387/statm: 6828530 31015 2932 1 0 6790935 0
[pid=24387/tid=24388] ppid=24384 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/24387/task/24388/stat : 24388 (java) R 24384 24384 24340 0 -1 4202560 10092 0 0 0 16 3 0 0 20 0 20 0 511777649 27969658880 31015 33554432000 4194304 4196468 140736289030672 139736838892944 139736850264772 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
[pid=24387/tid=24389] ppid=24384 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/24387/task/24389/stat : 24389 (java) S 24384 24384 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511777651 27969658880 31015 33554432000 4194304 4196468 140736289030672 139736871320336 139736867088085 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
[pid=24387/tid=24390] ppid=24384 vsize=27314120 memory=140550560387009 CPUtime=0 cores=0-7
/proc/24387/task/24390/stat : 24390 (java) S 24384 24384 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511777651 27969658880 31015 33554432000 4194304 4196468 140736289030672 139736695962512 139736867088085 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
[pid=24387/tid=24391] ppid=24384 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24387/task/24391/stat : 24391 (java) S 24384 24384 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511777651 27969658880 31015 33554432000 4194304 4196468 140736289030672 139736287706128 139736867088085 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
[pid=24387/tid=24392] ppid=24384 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24387/task/24392/stat : 24392 (java) S 24384 24384 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511777651 27969658880 31015 33554432000 4194304 4196468 140736289030672 139736286653584 139736867088085 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
[pid=24387/tid=24393] ppid=24384 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24387/task/24393/stat : 24393 (java) S 24384 24384 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511777651 27969658880 31015 33554432000 4194304 4196468 140736289030672 139736285600016 139736867088085 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
[pid=24387/tid=24394] ppid=24384 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24387/task/24394/stat : 24394 (java) S 24384 24384 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511777651 27969658880 31015 33554432000 4194304 4196468 140736289030672 139736284547472 139736867088085 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
[pid=24387/tid=24395] ppid=24384 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24387/task/24395/stat : 24395 (java) S 24384 24384 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511777651 27969658880 31015 33554432000 4194304 4196468 140736289030672 139736283494928 139736867088085 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
[pid=24387/tid=24396] ppid=24384 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24387/task/24396/stat : 24396 (java) S 24384 24384 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511777651 27969658880 31015 33554432000 4194304 4196468 140736289030672 139736282442384 139736867088085 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
[pid=24387/tid=24397] ppid=24384 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24387/task/24397/stat : 24397 (java) S 24384 24384 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511777653 27969658880 31015 33554432000 4194304 4196468 140736289030672 139735858194928 139736867089026 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
[pid=24387/tid=24398] ppid=24384 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24387/task/24398/stat : 24398 (java) S 24384 24384 24340 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511777653 27969658880 31015 33554432000 4194304 4196468 140736289030672 139734747702688 139736867088085 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
[pid=24387/tid=24399] ppid=24384 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24387/task/24399/stat : 24399 (java) S 24384 24384 24340 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511777653 27969658880 31015 33554432000 4194304 4196468 140736289030672 139734613480944 139736867088085 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
[pid=24387/tid=24400] ppid=24384 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24387/task/24400/stat : 24400 (java) S 24384 24384 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511777656 27969658880 31015 33554432000 4194304 4196468 140736289030672 139734238976720 139736867096475 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
[pid=24387/tid=24401] ppid=24384 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24387/task/24401/stat : 24401 (java) S 24384 24384 24340 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 20 0 511777656 27969658880 31015 33554432000 4194304 4196468 140736289030672 139735857141744 139736867089026 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
[pid=24387/tid=24402] ppid=24384 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24387/task/24402/stat : 24402 (java) S 24384 24384 24340 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 511777656 27969658880 31015 33554432000 4194304 4196468 140736289030672 139735856089200 139736867089026 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
[pid=24387/tid=24403] ppid=24384 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24387/task/24403/stat : 24403 (java) S 24384 24384 24340 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 20 0 511777656 27969658880 31015 33554432000 4194304 4196468 140736289030672 139735855036656 139736867089026 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
[pid=24387/tid=24404] ppid=24384 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/24387/task/24404/stat : 24404 (java) S 24384 24384 24340 0 -1 1077944384 472 0 0 0 2 0 0 0 20 0 20 0 511777656 27969658880 31015 33554432000 4194304 4196468 140736289030672 139735853984112 139736867089026 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
[pid=24387/tid=24405] ppid=24384 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24387/task/24405/stat : 24405 (java) S 24384 24384 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511777656 27969658880 31015 33554432000 4194304 4196468 140736289030672 139733741071072 139736867088085 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
[pid=24387/tid=24406] ppid=24384 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24387/task/24406/stat : 24406 (java) S 24384 24384 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511777656 27969658880 31015 33554432000 4194304 4196468 140736289030672 139735852932016 139736867089026 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125456 KiB
[startup+0.309687 s]*
/proc/loadavg: 8.19 8.26 8.21 3/211 24406
/proc/meminfo: memFree=25099916/32770624 swapFree=66935948/67108860
[pid=24384] ppid=24381 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24384/stat : 24384 (scop.sh) S 24381 24384 24340 0 -1 4202496 558 320 0 0 0 0 0 0 20 0 1 0 511777648 115843072 349 33554432000 4194304 5098028 140730896876192 140730896873448 140538350154364 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12124160 140730896884477 140730896884824 140730896884824 140730896887753 0
/proc/24384/statm: 28282 349 296 221 0 87 0
[pid=24387] ppid=24384 vsize=27314120 memory=127628 CPUtime=0.42 cores=0-7
/proc/24387/stat : 24387 (java) S 24384 24384 24340 0 -1 1077944320 12836 0 0 0 38 4 0 0 20 0 20 0 511777648 27969658880 31907 33554432000 4194304 4196468 140736289030672 140736289013216 139736867077879 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
/proc/24387/statm: 6828530 31907 3016 1 0 6790935 0
[pid=24387/tid=24388] ppid=24384 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/24387/task/24388/stat : 24388 (java) R 24384 24384 24340 0 -1 4202560 10328 0 0 0 26 3 0 0 20 0 20 0 511777649 27969658880 31907 33554432000 4194304 4196468 140736289030672 139736838890224 139736847353266 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
[pid=24387/tid=24389] ppid=24384 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24387/task/24389/stat : 24389 (java) S 24384 24384 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511777651 27969658880 31907 33554432000 4194304 4196468 140736289030672 139736871320336 139736867088085 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
[pid=24387/tid=24390] ppid=24384 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24387/task/24390/stat : 24390 (java) S 24384 24384 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511777651 27969658880 31907 33554432000 4194304 4196468 140736289030672 139736695962512 139736867088085 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
[pid=24387/tid=24391] ppid=24384 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24387/task/24391/stat : 24391 (java) S 24384 24384 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511777651 27969658880 31907 33554432000 4194304 4196468 140736289030672 139736287706128 139736867088085 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
[pid=24387/tid=24392] ppid=24384 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24387/task/24392/stat : 24392 (java) S 24384 24384 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511777651 27969658880 31907 33554432000 4194304 4196468 140736289030672 139736286653584 139736867088085 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
[pid=24387/tid=24393] ppid=24384 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/24387/task/24393/stat : 24393 (java) S 24384 24384 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511777651 27969658880 31907 33554432000 4194304 4196468 140736289030672 139736285600016 139736867088085 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
[pid=24387/tid=24394] ppid=24384 vsize=27314120 memory=140550456046511 CPUtime=0 cores=0-7
/proc/24387/task/24394/stat : 24394 (java) S 24384 24384 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511777651 27969658880 31907 33554432000 4194304 4196468 140736289030672 139736284547472 139736867088085 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
[pid=24387/tid=24395] ppid=24384 vsize=27314120 memory=140550456048816 CPUtime=0 cores=0-7
/proc/24387/task/24395/stat : 24395 (java) S 24384 24384 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511777651 27969658880 31907 33554432000 4194304 4196468 140736289030672 139736283494928 139736867088085 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
[pid=24387/tid=24396] ppid=24384 vsize=27314120 memory=140550456051120 CPUtime=0 cores=0-7
/proc/24387/task/24396/stat : 24396 (java) S 24384 24384 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511777651 27969658880 31907 33554432000 4194304 4196468 140736289030672 139736282442384 139736867088085 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
[pid=24387/tid=24397] ppid=24384 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24387/task/24397/stat : 24397 (java) S 24384 24384 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511777653 27969658880 31907 33554432000 4194304 4196468 140736289030672 139735858194928 139736867089026 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
[pid=24387/tid=24398] ppid=24384 vsize=27314120 memory=281100912109200 CPUtime=0 cores=0-7
/proc/24387/task/24398/stat : 24398 (java) S 24384 24384 24340 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511777653 27969658880 31907 33554432000 4194304 4196468 140736289030672 139734747702688 139736867088085 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
[pid=24387/tid=24399] ppid=24384 vsize=27314120 memory=281100912116112 CPUtime=0 cores=0-7
/proc/24387/task/24399/stat : 24399 (java) S 24384 24384 24340 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511777653 27969658880 31907 33554432000 4194304 4196468 140736289030672 139734613480944 139736867088085 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
[pid=24387/tid=24400] ppid=24384 vsize=27314120 memory=281100912057392 CPUtime=0 cores=0-7
/proc/24387/task/24400/stat : 24400 (java) S 24384 24384 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511777656 27969658880 31907 33554432000 4194304 4196468 140736289030672 139734238976720 139736867096475 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
[pid=24387/tid=24401] ppid=24384 vsize=27314120 memory=281100912129936 CPUtime=0.01 cores=0-7
/proc/24387/task/24401/stat : 24401 (java) S 24384 24384 24340 0 -1 1077944384 370 0 0 0 1 0 0 0 20 0 20 0 511777656 27969658880 31907 33554432000 4194304 4196468 140736289030672 139735857141744 139736867089026 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
[pid=24387/tid=24402] ppid=24384 vsize=27314120 memory=281100912136848 CPUtime=0.01 cores=0-7
/proc/24387/task/24402/stat : 24402 (java) S 24384 24384 24340 0 -1 1077944384 123 0 0 0 1 0 0 0 20 0 20 0 511777656 27969658880 31907 33554432000 4194304 4196468 140736289030672 139735856089200 139736867089026 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
[pid=24387/tid=24403] ppid=24384 vsize=27314120 memory=281100912134544 CPUtime=0 cores=0-7
/proc/24387/task/24403/stat : 24403 (java) S 24384 24384 24340 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 20 0 511777656 27969658880 31907 33554432000 4194304 4196468 140736289030672 139735855036656 139736867089026 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
[pid=24387/tid=24404] ppid=24384 vsize=27314120 memory=281100912150704 CPUtime=0.07 cores=0-7
/proc/24387/task/24404/stat : 24404 (java) S 24384 24384 24340 0 -1 1077944384 510 0 0 0 7 0 0 0 20 0 20 0 511777656 27969658880 31907 33554432000 4194304 4196468 140736289030672 139735853984112 139736867089026 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
[pid=24387/tid=24405] ppid=24384 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24387/task/24405/stat : 24405 (java) S 24384 24384 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511777656 27969658880 31907 33554432000 4194304 4196468 140736289030672 139733741071072 139736867088085 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
[pid=24387/tid=24406] ppid=24384 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24387/task/24406/stat : 24406 (java) S 24384 24384 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511777656 27969658880 31907 33554432000 4194304 4196468 140736289030672 139735852932016 139736867089026 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129024 KiB
[startup+0.700914 s]
/proc/loadavg: 8.19 8.26 8.21 2/211 24406
/proc/meminfo: memFree=25078980/32770624 swapFree=66935948/67108860
[pid=24384] ppid=24381 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24384/stat : 24384 (scop.sh) S 24381 24384 24340 0 -1 4202496 558 320 0 0 0 0 0 0 20 0 1 0 511777648 115843072 349 33554432000 4194304 5098028 140730896876192 140730896873448 140538350154364 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12124160 140730896884477 140730896884824 140730896884824 140730896887753 0
/proc/24384/statm: 28282 349 296 221 0 87 0
[pid=24387] ppid=24384 vsize=27320392 memory=163348 CPUtime=0.99 cores=0-7
/proc/24387/stat : 24387 (java) S 24384 24384 24340 0 -1 1077944320 20476 0 0 0 92 7 0 0 20 0 20 0 511777648 27976081408 40837 33554432000 4194304 4196468 140736289030672 140736289013216 139736867077879 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
/proc/24387/statm: 6830098 40837 3178 1 0 6791447 0
[pid=24387/tid=24388] ppid=24384 vsize=27320392 memory=281100912508592 CPUtime=0.67 cores=0-7
/proc/24387/task/24388/stat : 24388 (java) R 24384 24384 24340 0 -1 4202560 17390 0 0 0 62 5 0 0 20 0 20 0 511777649 27976081408 40837 33554432000 4194304 4196468 140736289030672 139736838912688 139736368579297 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
[pid=24387/tid=24389] ppid=24384 vsize=27320392 memory=140550456255344 CPUtime=0 cores=0-7
/proc/24387/task/24389/stat : 24389 (java) S 24384 24384 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511777651 27976081408 40837 33554432000 4194304 4196468 140736289030672 139736871320336 139736867088085 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
[pid=24387/tid=24390] ppid=24384 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/24387/task/24390/stat : 24390 (java) S 24384 24384 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511777651 27976081408 40837 33554432000 4194304 4196468 140736289030672 139736695962512 139736867088085 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
[pid=24387/tid=24391] ppid=24384 vsize=27320392 memory=1128 CPUtime=0 cores=0-7
/proc/24387/task/24391/stat : 24391 (java) S 24384 24384 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511777651 27976081408 40837 33554432000 4194304 4196468 140736289030672 139736287706128 139736867088085 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34402304 140736289039047 140736289039494 140736289039494 140736289042383 0
################
# More data... #
################
[pid=24414/tid=24415] ppid=24384 vsize=8414124 memory=65376 CPUtime=0.8 cores=0-7
/proc/24414/task/24415/stat : 24415 (java) S 24384 24384 24340 0 -1 1077944384 17830 0 0 0 74 6 0 0 20 0 24 0 511786315 8616062976 68748 33554432000 4194304 4196468 140735592711872 140445835849632 140445864019669 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24416] ppid=24384 vsize=8414124 memory=8323957891355868046 CPUtime=0 cores=0-7
/proc/24414/task/24416/stat : 24416 (java) S 24384 24384 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511786317 8616062976 68748 33554432000 4194304 4196468 140735592711872 140445868251536 140445864019669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24417] ppid=24384 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/24414/task/24417/stat : 24417 (java) S 24384 24384 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511786317 8616062976 68748 33554432000 4194304 4196468 140735592711872 140445349161232 140445864019669 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24418] ppid=24384 vsize=8414124 memory=1368 CPUtime=0 cores=0-7
/proc/24414/task/24418/stat : 24418 (java) S 24384 24384 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511786317 8616062976 68748 33554432000 4194304 4196468 140735592711872 140445348108944 140445864019669 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24419] ppid=24384 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/24414/task/24419/stat : 24419 (java) S 24384 24384 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511786317 8616062976 68748 33554432000 4194304 4196468 140735592711872 140445347056144 140445864019669 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24420] ppid=24384 vsize=8414124 memory=3689864 CPUtime=0 cores=0-7
/proc/24414/task/24420/stat : 24420 (java) S 24384 24384 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511786317 8616062976 68748 33554432000 4194304 4196468 140735592711872 140445346003856 140445864019669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24421] ppid=24384 vsize=8414124 memory=1660 CPUtime=0 cores=0-7
/proc/24414/task/24421/stat : 24421 (java) S 24384 24384 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511786317 8616062976 68748 33554432000 4194304 4196468 140735592711872 140445344951056 140445864019669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24422] ppid=24384 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/24414/task/24422/stat : 24422 (java) S 24384 24384 24340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511786317 8616062976 68748 33554432000 4194304 4196468 140735592711872 140445343898768 140445864019669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24423] ppid=24384 vsize=8414124 memory=796 CPUtime=0 cores=0-7
/proc/24414/task/24423/stat : 24423 (java) S 24384 24384 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511786317 8616062976 68748 33554432000 4194304 4196468 140735592711872 140445342845968 140445864019669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24424] ppid=24384 vsize=8414124 memory=4100 CPUtime=0.01 cores=0-7
/proc/24414/task/24424/stat : 24424 (java) S 24384 24384 24340 0 -1 1077944384 9 0 0 0 0 1 0 0 20 0 24 0 511786318 8616062976 68748 33554432000 4194304 4196468 140735592711872 140444822382704 140445864020610 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24425] ppid=24384 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/24414/task/24425/stat : 24425 (java) S 24384 24384 24340 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511786319 8616062976 68748 33554432000 4194304 4196468 140735592711872 140444423938848 140445864019669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24426] ppid=24384 vsize=8414124 memory=123848 CPUtime=0 cores=0-7
/proc/24414/task/24426/stat : 24426 (java) S 24384 24384 24340 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 511786319 8616062976 68748 33554432000 4194304 4196468 140735592711872 140444289717360 140445864019669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24427] ppid=24384 vsize=8414124 memory=3689864 CPUtime=0 cores=0-7
/proc/24414/task/24427/stat : 24427 (java) S 24384 24384 24340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511786322 8616062976 68748 33554432000 4194304 4196468 140735592711872 140443954178128 140445864028059 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24428] ppid=24384 vsize=8414124 memory=4100 CPUtime=0.15 cores=0-7
/proc/24414/task/24428/stat : 24428 (java) S 24384 24384 24340 0 -1 1077944384 862 0 0 0 15 0 0 0 20 0 24 0 511786322 8616062976 68748 33554432000 4194304 4196468 140735592711872 140444821330544 140445864020610 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24429] ppid=24384 vsize=8414124 memory=1804 CPUtime=0.16 cores=0-7
/proc/24414/task/24429/stat : 24429 (java) R 24384 24384 24340 0 -1 4202560 534 0 0 0 16 0 0 0 20 0 24 0 511786322 8616062976 68748 33554432000 4194304 4196468 140735592711872 140444820277744 140445848929092 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24430] ppid=24384 vsize=8414124 memory=916 CPUtime=0.1 cores=0-7
/proc/24414/task/24430/stat : 24430 (java) S 24384 24384 24340 0 -1 1077944384 619 0 0 0 10 0 0 0 20 0 24 0 511786322 8616062976 68748 33554432000 4194304 4196468 140735592711872 140444819225456 140445864020610 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24431] ppid=24384 vsize=8414124 memory=35508 CPUtime=0.27 cores=0-7
/proc/24414/task/24431/stat : 24431 (java) S 24384 24384 24340 0 -1 1077944384 1317 0 0 0 27 0 0 0 20 0 24 0 511786322 8616062976 68748 33554432000 4194304 4196468 140735592711872 140444818172656 140445864020610 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24432] ppid=24384 vsize=8414124 memory=492 CPUtime=0 cores=0-7
/proc/24414/task/24432/stat : 24432 (java) S 24384 24384 24340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511786322 8616062976 68748 33554432000 4194304 4196468 140735592711872 140443417307488 140445864019669 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24433] ppid=24384 vsize=8414124 memory=1560 CPUtime=0.34 cores=0-7
/proc/24414/task/24433/stat : 24433 (java) S 24384 24384 24340 0 -1 1077944384 35 0 0 0 15 19 0 0 20 0 24 0 511786323 8616062976 68748 33554432000 4194304 4196468 140735592711872 140444817119536 140445864020610 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24435] ppid=24384 vsize=8414124 memory=932 CPUtime=0 cores=0-7
/proc/24414/task/24435/stat : 24435 (java) S 24384 24384 24340 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511786394 8616062976 68748 33554432000 4194304 4196468 140735592711872 140445162550592 140445864034073 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24437] ppid=24384 vsize=8414124 memory=1636 CPUtime=0.27 cores=0-7
/proc/24414/task/24437/stat : 24437 (java) R 24384 24384 24340 0 -1 4202560 1781 0 0 0 23 4 0 0 20 0 24 0 511786394 8616062976 68748 33554432000 4194304 4196468 140735592711872 140442746212416 140445367120152 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24438] ppid=24384 vsize=8414124 memory=1436 CPUtime=0 cores=0-7
/proc/24414/task/24438/stat : 24438 (java) S 24384 24384 24340 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 511786394 8616062976 68748 33554432000 4194304 4196468 140735592711872 140443014643504 140445864031389 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24439] ppid=24384 vsize=8414124 memory=880 CPUtime=0 cores=0-7
/proc/24414/task/24439/stat : 24439 (java) S 24384 24384 24340 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 511786396 8616062976 68748 33554432000 4194304 4196468 140735592711872 140442477780784 140445864019669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
Current children cumulated CPU time: 104.38 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 276468 KiB
[startup+575.401 s]
/proc/loadavg: 2.70 3.46 5.59 3/216 24501
/proc/meminfo: memFree=20842208/32770624 swapFree=66935948/67108860
[pid=24384] ppid=24381 vsize=113128 memory=1476 CPUtime=102.19 cores=0-7
/proc/24384/stat : 24384 (scop.sh) S 24381 24384 24340 0 -1 4202496 584 56264 0 0 0 0 9856 363 20 0 1 0 511777648 115843072 369 33554432000 4194304 5098028 140730896876192 140730896872936 140538350154364 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12124160 140730896884477 140730896884824 140730896884824 140730896887753 0
/proc/24384/statm: 28282 369 311 221 0 87 0
[pid=24414] ppid=24384 vsize=8283048 memory=315100 CPUtime=1360.02 cores=0-7
/proc/24414/stat : 24414 (java) S 24384 24384 24340 0 -1 1077944320 24838 7601409 0 0 227 30 134827 918 20 0 22 0 511786315 8481841152 78775 33554432000 4194304 4196468 140735592711872 140735592694416 140445864009463 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
/proc/24414/statm: 2070762 78775 3232 1 0 2032106 0
[pid=24414/tid=24415] ppid=24384 vsize=8283048 memory=1412 CPUtime=1358.35 cores=0-7
/proc/24414/task/24415/stat : 24415 (java) R 24384 24384 24340 0 -1 4202560 17997 7601409 0 0 83 7 134827 918 20 0 22 0 511786315 8481841152 78775 33554432000 4194304 4196468 140735592711872 140445835842112 140445370903393 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24416] ppid=24384 vsize=8283048 memory=3816 CPUtime=1357.45 cores=0-7
/proc/24414/task/24416/stat : 24416 (java) S 24384 24384 24340 0 -1 1077944384 2 7601409 0 0 0 0 134827 918 20 0 22 0 511786317 8481841152 78775 33554432000 4194304 4196468 140735592711872 140445868251536 140445864019669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24417] ppid=24384 vsize=8283048 memory=1476 CPUtime=1357.45 cores=0-7
/proc/24414/task/24417/stat : 24417 (java) S 24384 24384 24340 0 -1 1077944384 1 7601409 0 0 0 0 134827 918 20 0 22 0 511786317 8481841152 78775 33554432000 4194304 4196468 140735592711872 140445349161232 140445864019669 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24418] ppid=24384 vsize=8283048 memory=123848 CPUtime=1357.45 cores=0-7
/proc/24414/task/24418/stat : 24418 (java) S 24384 24384 24340 0 -1 1077944384 2 7601409 0 0 0 0 134827 918 20 0 22 0 511786317 8481841152 78775 33554432000 4194304 4196468 140735592711872 140445348108944 140445864019669 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24419] ppid=24384 vsize=8283048 memory=3689812 CPUtime=1357.45 cores=0-7
/proc/24414/task/24419/stat : 24419 (java) S 24384 24384 24340 0 -1 1077944384 3 7601409 0 0 0 0 134827 918 20 0 22 0 511786317 8481841152 78775 33554432000 4194304 4196468 140735592711872 140445347056144 140445864019669 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24420] ppid=24384 vsize=8283048 memory=2124 CPUtime=1357.45 cores=0-7
/proc/24414/task/24420/stat : 24420 (java) S 24384 24384 24340 0 -1 1077944384 2 7601409 0 0 0 0 134827 918 20 0 22 0 511786317 8481841152 78775 33554432000 4194304 4196468 140735592711872 140445346003856 140445864019669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24421] ppid=24384 vsize=8283048 memory=35508 CPUtime=1357.45 cores=0-7
/proc/24414/task/24421/stat : 24421 (java) S 24384 24384 24340 0 -1 1077944384 2 7601409 0 0 0 0 134827 918 20 0 22 0 511786317 8481841152 78775 33554432000 4194304 4196468 140735592711872 140445344951056 140445864019669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24422] ppid=24384 vsize=8283048 memory=1232 CPUtime=1357.45 cores=0-7
/proc/24414/task/24422/stat : 24422 (java) S 24384 24384 24340 0 -1 1077944384 2 7601409 0 0 0 0 134827 918 20 0 22 0 511786317 8481841152 78775 33554432000 4194304 4196468 140735592711872 140445343898768 140445864019669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24423] ppid=24384 vsize=8283048 memory=14008 CPUtime=1357.45 cores=0-7
/proc/24414/task/24423/stat : 24423 (java) S 24384 24384 24340 0 -1 1077944384 1 7601409 0 0 0 0 134827 918 20 0 22 0 511786317 8481841152 78775 33554432000 4194304 4196468 140735592711872 140445342845968 140445864019669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24424] ppid=24384 vsize=8283048 memory=12040 CPUtime=1357.46 cores=0-7
/proc/24414/task/24424/stat : 24424 (java) S 24384 24384 24340 0 -1 1077944384 9 7601409 0 0 0 1 134827 918 20 0 22 0 511786318 8481841152 79287 33554432000 4194304 4196468 140735592711872 140444822382704 140445864020610 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24425] ppid=24384 vsize=8283048 memory=2124 CPUtime=1357.45 cores=0-7
/proc/24414/task/24425/stat : 24425 (java) S 24384 24384 24340 0 -1 1077944384 13 7601409 0 0 0 0 134827 918 20 0 22 0 511786319 8481841152 79287 33554432000 4194304 4196468 140735592711872 140444423938848 140445864019669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24426] ppid=24384 vsize=8283048 memory=35508 CPUtime=1357.45 cores=0-7
/proc/24414/task/24426/stat : 24426 (java) S 24384 24384 24340 0 -1 1077944384 21 7601409 0 0 0 0 134827 918 20 0 22 0 511786319 8481841152 79287 33554432000 4194304 4196468 140735592711872 140444289717360 140445864019669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24427] ppid=24384 vsize=8283048 memory=492 CPUtime=1357.45 cores=0-7
/proc/24414/task/24427/stat : 24427 (java) S 24384 24384 24340 0 -1 1077944384 1 7601409 0 0 0 0 134827 918 20 0 22 0 511786322 8481841152 79287 33554432000 4194304 4196468 140735592711872 140443954178128 140445864028059 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24428] ppid=24384 vsize=8283048 memory=1560 CPUtime=1357.65 cores=0-7
/proc/24414/task/24428/stat : 24428 (java) R 24384 24384 24340 0 -1 4202560 876 7601409 0 0 20 0 134827 918 20 0 22 0 511786322 8481841152 79287 33554432000 4194304 4196468 140735592711872 140444821311024 140445849134902 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24429] ppid=24384 vsize=8283048 memory=932 CPUtime=1357.66 cores=0-7
/proc/24414/task/24429/stat : 24429 (java) S 24384 24384 24340 0 -1 1077944384 555 7601409 0 0 21 0 134827 918 20 0 22 0 511786322 8481841152 79287 33554432000 4194304 4196468 140735592711872 140444820277744 140445864020610 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24430] ppid=24384 vsize=8283048 memory=1636 CPUtime=1357.61 cores=0-7
/proc/24414/task/24430/stat : 24430 (java) S 24384 24384 24340 0 -1 1077944384 630 7601409 0 0 16 0 134827 918 20 0 22 0 511786322 8481841152 79287 33554432000 4194304 4196468 140735592711872 140444819225456 140445864020610 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24431] ppid=24384 vsize=8283048 memory=1436 CPUtime=1357.76 cores=0-7
/proc/24414/task/24431/stat : 24431 (java) S 24384 24384 24340 0 -1 1077944384 1400 7601409 0 0 31 0 134827 918 20 0 22 0 511786322 8481841152 79287 33554432000 4194304 4196468 140735592711872 140444818172656 140445864020610 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24432] ppid=24384 vsize=8283048 memory=880 CPUtime=1357.45 cores=0-7
/proc/24414/task/24432/stat : 24432 (java) S 24384 24384 24340 0 -1 1077944384 3 7601409 0 0 0 0 134827 918 20 0 22 0 511786322 8481841152 79287 33554432000 4194304 4196468 140735592711872 140443417307488 140445864019669 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24433] ppid=24384 vsize=8283048 memory=1980 CPUtime=1357.79 cores=0-7
/proc/24414/task/24433/stat : 24433 (java) S 24384 24384 24340 0 -1 1077944384 35 7601409 0 0 15 19 134827 918 20 0 22 0 511786323 8481841152 79287 33554432000 4194304 4196468 140735592711872 140444817119536 140445864020610 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24435] ppid=24384 vsize=8283048 memory=2520 CPUtime=1357.45 cores=0-7
/proc/24414/task/24435/stat : 24435 (java) S 24384 24384 24340 0 -1 1077944384 24 7601409 0 0 0 0 134827 918 20 0 22 0 511786394 8481841152 79287 33554432000 4194304 4196468 140735592711872 140445162549776 140445864020610 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24439] ppid=24384 vsize=8283048 memory=1660 CPUtime=1357.45 cores=0-7
/proc/24414/task/24439/stat : 24439 (java) S 24384 24384 24340 0 -1 1077944384 14 7601409 0 0 0 0 134827 918 20 0 22 0 511786396 8481841152 79287 33554432000 4194304 4196468 140735592711872 140442477782576 140445864020610 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
Current children cumulated CPU time: 1462.21 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 316576 KiB
[startup+575.505 s]
/proc/loadavg: 2.70 3.46 5.59 3/216 24501
/proc/meminfo: memFree=20842208/32770624 swapFree=66935948/67108860
[pid=24384] ppid=24381 vsize=113128 memory=1476 CPUtime=102.19 cores=0-7
/proc/24384/stat : 24384 (scop.sh) S 24381 24384 24340 0 -1 4202496 584 56264 0 0 0 0 9856 363 20 0 1 0 511777648 115843072 369 33554432000 4194304 5098028 140730896876192 140730896872936 140538350154364 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12124160 140730896884477 140730896884824 140730896884824 140730896887753 0
/proc/24384/statm: 28282 369 311 221 0 87 0
[pid=24414] ppid=24384 vsize=8283048 memory=350348 CPUtime=1360.29 cores=0-7
/proc/24414/stat : 24414 (java) S 24384 24384 24340 0 -1 1077944320 25573 7601409 0 0 253 31 134827 918 20 0 22 0 511786315 8481841152 87587 33554432000 4194304 4196468 140735592711872 140735592694416 140445864009463 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
/proc/24414/statm: 2070762 87587 3235 1 0 2032106 0
[pid=24414/tid=24415] ppid=24384 vsize=8283048 memory=293516 CPUtime=1358.45 cores=0-7
/proc/24414/task/24415/stat : 24415 (java) R 24384 24384 24340 0 -1 4202560 18202 7601409 0 0 92 8 134827 918 20 0 22 0 511786315 8481841152 87587 33554432000 4194304 4196468 140735592711872 140445835845520 140445856695095 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24416] ppid=24384 vsize=8283048 memory=1476 CPUtime=1357.45 cores=0-7
/proc/24414/task/24416/stat : 24416 (java) S 24384 24384 24340 0 -1 1077944384 2 7601409 0 0 0 0 134827 918 20 0 22 0 511786317 8481841152 87587 33554432000 4194304 4196468 140735592711872 140445868251536 140445864019669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24417] ppid=24384 vsize=8283048 memory=3689812 CPUtime=1357.45 cores=0-7
/proc/24414/task/24417/stat : 24417 (java) S 24384 24384 24340 0 -1 1077944384 1 7601409 0 0 0 0 134827 918 20 0 22 0 511786317 8481841152 87587 33554432000 4194304 4196468 140735592711872 140445349161232 140445864019669 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24418] ppid=24384 vsize=8283048 memory=1476 CPUtime=1357.45 cores=0-7
/proc/24414/task/24418/stat : 24418 (java) S 24384 24384 24340 0 -1 1077944384 2 7601409 0 0 0 0 134827 918 20 0 22 0 511786317 8481841152 87587 33554432000 4194304 4196468 140735592711872 140445348108944 140445864019669 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24419] ppid=24384 vsize=8283048 memory=3512 CPUtime=1357.45 cores=0-7
/proc/24414/task/24419/stat : 24419 (java) S 24384 24384 24340 0 -1 1077944384 3 7601409 0 0 0 0 134827 918 20 0 22 0 511786317 8481841152 87587 33554432000 4194304 4196468 140735592711872 140445347056144 140445864019669 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24420] ppid=24384 vsize=8283048 memory=121224 CPUtime=1357.45 cores=0-7
/proc/24414/task/24420/stat : 24420 (java) S 24384 24384 24340 0 -1 1077944384 2 7601409 0 0 0 0 134827 918 20 0 22 0 511786317 8481841152 87587 33554432000 4194304 4196468 140735592711872 140445346003856 140445864019669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24421] ppid=24384 vsize=8283048 memory=3687764 CPUtime=1357.45 cores=0-7
/proc/24414/task/24421/stat : 24421 (java) S 24384 24384 24340 0 -1 1077944384 2 7601409 0 0 0 0 134827 918 20 0 22 0 511786317 8481841152 87587 33554432000 4194304 4196468 140735592711872 140445344951056 140445864019669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24422] ppid=24384 vsize=8283048 memory=121224 CPUtime=1357.45 cores=0-7
/proc/24414/task/24422/stat : 24422 (java) S 24384 24384 24340 0 -1 1077944384 2 7601409 0 0 0 0 134827 918 20 0 22 0 511786317 8481841152 87587 33554432000 4194304 4196468 140735592711872 140445343898768 140445864019669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24423] ppid=24384 vsize=8283048 memory=3685716 CPUtime=1357.45 cores=0-7
/proc/24414/task/24423/stat : 24423 (java) S 24384 24384 24340 0 -1 1077944384 1 7601409 0 0 0 0 134827 918 20 0 22 0 511786317 8481841152 87587 33554432000 4194304 4196468 140735592711872 140445342845968 140445864019669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24424] ppid=24384 vsize=8283048 memory=1980 CPUtime=1357.46 cores=0-7
/proc/24414/task/24424/stat : 24424 (java) S 24384 24384 24340 0 -1 1077944384 9 7601409 0 0 0 1 134827 918 20 0 22 0 511786318 8481841152 87587 33554432000 4194304 4196468 140735592711872 140444822382704 140445864020610 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24425] ppid=24384 vsize=8283048 memory=2520 CPUtime=1357.45 cores=0-7
/proc/24414/task/24425/stat : 24425 (java) S 24384 24384 24340 0 -1 1077944384 13 7601409 0 0 0 0 134827 918 20 0 22 0 511786319 8481841152 87587 33554432000 4194304 4196468 140735592711872 140444423938848 140445864019669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24426] ppid=24384 vsize=8283048 memory=0 CPUtime=1357.45 cores=0-7
/proc/24414/task/24426/stat : 24426 (java) S 24384 24384 24340 0 -1 1077944384 21 7601409 0 0 0 0 134827 918 20 0 22 0 511786319 8481841152 87587 33554432000 4194304 4196468 140735592711872 140444289717360 140445864019669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24427] ppid=24384 vsize=8283048 memory=0 CPUtime=1357.45 cores=0-7
/proc/24414/task/24427/stat : 24427 (java) S 24384 24384 24340 0 -1 1077944384 1 7601409 0 0 0 0 134827 918 20 0 22 0 511786322 8481841152 87587 33554432000 4194304 4196468 140735592711872 140443954178128 140445864028059 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24428] ppid=24384 vsize=8283048 memory=0 CPUtime=1357.67 cores=0-7
/proc/24414/task/24428/stat : 24428 (java) S 24384 24384 24340 0 -1 1077944384 907 7601409 0 0 22 0 134827 918 20 0 22 0 511786322 8481841152 87587 33554432000 4194304 4196468 140735592711872 140444821330544 140445864020610 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24429] ppid=24384 vsize=8283048 memory=0 CPUtime=1357.7 cores=0-7
/proc/24414/task/24429/stat : 24429 (java) S 24384 24384 24340 0 -1 1077944384 621 7601409 0 0 25 0 134827 918 20 0 22 0 511786322 8481841152 87587 33554432000 4194304 4196468 140735592711872 140444820277744 140445864020610 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24430] ppid=24384 vsize=8283048 memory=0 CPUtime=1357.65 cores=0-7
/proc/24414/task/24430/stat : 24430 (java) R 24384 24384 24340 0 -1 4202560 819 7601409 0 0 20 0 134827 918 20 0 22 0 511786322 8481841152 87587 33554432000 4194304 4196468 140735592711872 140444819211480 140445848931113 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24431] ppid=24384 vsize=8283048 memory=0 CPUtime=1357.82 cores=0-7
/proc/24414/task/24431/stat : 24431 (java) S 24384 24384 24340 0 -1 1077944384 1645 7601409 0 0 37 0 134827 918 20 0 22 0 511786322 8481841152 87587 33554432000 4194304 4196468 140735592711872 140444818172656 140445864020610 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24432] ppid=24384 vsize=8283048 memory=1476 CPUtime=1357.45 cores=0-7
/proc/24414/task/24432/stat : 24432 (java) S 24384 24384 24340 0 -1 1077944384 3 7601409 0 0 0 0 134827 918 20 0 22 0 511786322 8481841152 87587 33554432000 4194304 4196468 140735592711872 140443417307488 140445864019669 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24433] ppid=24384 vsize=8283048 memory=123848 CPUtime=1357.79 cores=0-7
/proc/24414/task/24433/stat : 24433 (java) S 24384 24384 24340 0 -1 1077944384 35 7601409 0 0 15 19 134827 918 20 0 22 0 511786323 8481841152 87587 33554432000 4194304 4196468 140735592711872 140444817119536 140445864020610 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24435] ppid=24384 vsize=8283048 memory=6791534058613427641 CPUtime=1357.45 cores=0-7
/proc/24414/task/24435/stat : 24435 (java) S 24384 24384 24340 0 -1 1077944384 24 7601409 0 0 0 0 134827 918 20 0 22 0 511786394 8481841152 87587 33554432000 4194304 4196468 140735592711872 140445162549776 140445864020610 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
[pid=24414/tid=24439] ppid=24384 vsize=8283048 memory=796 CPUtime=1357.45 cores=0-7
/proc/24414/task/24439/stat : 24439 (java) S 24384 24384 24340 0 -1 1077944384 14 7601409 0 0 0 0 134827 918 20 0 22 0 511786396 8481841152 87587 33554432000 4194304 4196468 140735592711872 140442477782576 140445864020610 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12869632 140735592715231 140735592715398 140735592715398 140735592718287 0
Current children cumulated CPU time: 1462.48 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 351824 KiB
Child status: 0
Real time (s): 575.595
CPU time (s): 1462.6
CPU user time (s): 1449.37
CPU system time (s): 13.2287
CPU usage (%): 254.103
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 7889608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1449.37
system time used= 13.2287
maximum resident set size= 7888648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7683859
page faults= 0
swaps= 0
block input operations= 40
block output operations= 1066768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39714
involuntary context switches= 1322
# summary of solver processes directly reported to runsolver:
# pid: 24384
# total CPU time (s): 1462.6
# total CPU user time (s): 1449.37
# total CPU system time (s): 13.2287
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.9891 second user time and 6.82692 second system time
The end
Begin job on node147 at 2019-09-24 22:56:35 IDJOB=4405419 IDBENCH=138647 IDSOLVER=2867 FILE ID=node147/4405419-1569358639 RUNJOBID= node147-1569358595-24367 PBS_JOBID= 21705113 Free space on /var/tmp= 13508 MiB SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22) BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-js20/SuperTaillard-js-20-20.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405419-1569358639/watcher-4405419-1569358639 -o /var/tmp/evaluation-result-4405419-1569358639/solver-4405419-1569358639 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node147-1569358595-24367 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405419-1569358639.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= bd4660d9f641dd45473fddd00af9a0d0 RANDOM SEED=1848968379 node147.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.52 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.52 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.52 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.52 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: 25217620 kB MemAvailable: 31777284 kB Buffers: 145832 kB Cached: 6473632 kB SwapCached: 68688 kB Active: 3286416 kB Inactive: 3405252 kB Active(anon): 3536 kB Inactive(anon): 126260 kB Active(file): 3282880 kB Inactive(file): 3278992 kB Unevictable: 108032 kB Mlocked: 108032 kB SwapTotal: 67108860 kB SwapFree: 66935948 kB Dirty: 20988 kB Writeback: 0 kB AnonPages: 112460 kB Mapped: 57276 kB Shmem: 49088 kB Slab: 454964 kB SReclaimable: 426252 kB SUnreclaim: 28712 kB KernelStack: 3280 kB PageTables: 5756 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 513740 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /var/tmp at the end= 13488 MiB End job on node147 at 2019-09-24 23:06:10