| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Fun-sCOP order+ManyGlucose (2019-06-15) | ? (TO) | 2531.3 | 2520.45 |
| Name | MagicSquare/MagicSquare-sum-s1/ MagicSquare-13-sum.xml |
| MD5SUM | 507ff1916128830fd6a67d5c849b681a |
| 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 | 16.6118 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 169 |
| Number of constraints | 29 |
| Number of domains | 1 |
| Minimum domain size | 169 |
| Maximum domain size | 169 |
| Distribution of domain sizes | [{"size":169,"count":169}] |
| Minimum variable degree | 3 |
| Maximum variable degree | 5 |
| Distribution of variable degrees | [{"degree":3,"count":144},{"degree":4,"count":24},{"degree":5,"count":1}] |
| Minimum constraint arity | 13 |
| Maximum constraint arity | 169 |
| Distribution of constraint arities | [{"arity":13,"count":28},{"arity":169,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"allDifferent","count":1},{"type":"sum","count":28}] |
| 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-24694-serial-file.bin HOME/instance-4392544-1568432270.xml 0.65/0.54 0.65/0.54 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 0.65/0.54 0.65/0.56 c BEGIN-Prog: Sat Sep 14 05:37:12 CEST 2019 0.65/0.56 c PID: 24697 0.65/0.56 c IP: 172.20.3.133 0.94/0.80 c HOST: node133.alineos.net 0.94/0.80 c (0,0) Parsing Begin 1.30/1.03 c (0,0) Parsing End 1.30/1.04 c (0,0) CSP: 169 int (0 aux), 0 bool (0 aux), 29 ctr, max domain size 169 1.30/1.04 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB) 1.30/1.04 c (0,0) Constraint Name Generate Begin 1.30/1.05 c (0,0) Ctr:HOME/instance-4392544-1568432270.xml,AllDifferent:Num:Var:WeightedSum 1.30/1.05 c (0,0) Constraint Name Generate End 1.30/1.05 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB) 1.30/1.05 c (0,0) CSP to CSPinCNF Begin 4.63/2.18 c (1,1) translated 3 (10%) constraints 4.63/2.19 c (1,1) translated 6 (20%) constraints 4.63/2.19 c (1,1) translated 9 (30%) constraints 4.63/2.20 c (1,1) translated 12 (40%) constraints 4.63/2.20 c (1,1) translated 15 (50%) constraints 5.07/2.21 c (1,1) translated 18 (60%) constraints 5.07/2.21 c (1,1) translated 21 (70%) constraints 5.07/2.22 c (1,1) translated 24 (80%) constraints 5.07/2.22 c (1,1) translated 27 (90%) constraints 5.07/2.22 c (1,1) translated 29 (100%) constraints 5.07/2.22 c (1,1) =========================================== 5.07/2.22 c (1,1) Order 5.07/2.22 c (1,1) =========================================== 5.50/2.34 c (1,1) translated 1440 (10%) constraints 5.90/2.41 c (1,1) translated 2879 (20%) constraints 5.90/2.47 c (1,1) translated 4319 (30%) constraints 6.27/2.53 c (1,1) translated 5758 (40%) constraints 6.27/2.58 c (2,1) translated 7198 (50%) constraints 6.65/2.62 c (2,1) translated 8637 (60%) constraints 6.65/2.66 c (2,1) translated 10077 (70%) constraints 7.03/2.70 c (2,2) translated 11516 (80%) constraints 7.03/2.74 c (2,2) translated 12956 (90%) constraints 10.08/4.22 c (3,3) translated 14395 (100%) constraints 10.08/4.22 c (3,3) CSP to CSPinCNF End 10.08/4.23 c (3,3) CSP: 449 int (280 aux), 28561 bool (28561 aux), 72105 ctr, max domain size 841 10.08/4.23 c (3,3) Heap : 1239 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 10.08/4.23 c (3,3) CSPinCNF Propagation Begin 11.88/5.21 c (4,4) 0 values, 0 unsatisfiable literals, and 338 valid clauses are removed 11.88/5.21 c (4,4) CSPinCNF Propagation End 11.88/5.22 c (4,4) CSP: 449 int (280 aux), 28561 bool (28561 aux), 71767 ctr, max domain size 841 11.88/5.22 c (4,4) Heap : 2027 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 11.88/5.23 c (4,4) Simplify CSPinCNF Begin 13.26/5.81 c (5,5) Simplify CSPinCNF End 13.26/5.83 c (5,5) CSP: 449 int (280 aux), 56953 bool (56953 aux), 100159 ctr, max domain size 841 13.26/5.83 c (5,5) Heap : 2365 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 13.26/5.83 c (5,5) Calculate Precise Domain Begin 13.26/5.87 c (5,5) 0 values are removed by re-calculation 13.26/5.87 c (5,5) Calculate Precise Domain End 13.26/5.88 c (5,5) CSP: 449 int (280 aux), 56953 bool (56953 aux), 100159 ctr, max domain size 841 13.26/5.88 c (5,5) Heap : 2365 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB) 13.26/5.88 c (5,5) CSPinCNF to SatSolver Begin 21.82/11.04 c (10,10) 10016 (10 %) CSP clauses are encoded (0 SAT variables, 1291238 SAT clauses) 25.78/14.98 c (14,14) 20032 (20 %) CSP clauses are encoded (0 SAT variables, 2423158 SAT clauses) 30.51/19.30 c (18,18) 30048 (30 %) CSP clauses are encoded (0 SAT variables, 3554910 SAT clauses) 34.86/23.35 c (22,22) 40064 (40 %) CSP clauses are encoded (0 SAT variables, 4686662 SAT clauses) 35.98/24.41 c (23,23) 50080 (50 %) CSP clauses are encoded (0 SAT variables, 4979590 SAT clauses) 35.98/24.49 c (23,23) 60096 (60 %) CSP clauses are encoded (0 SAT variables, 4989606 SAT clauses) 36.08/24.57 c (24,23) 70112 (70 %) CSP clauses are encoded (0 SAT variables, 4999622 SAT clauses) 36.18/24.64 c (24,23) 80128 (80 %) CSP clauses are encoded (0 SAT variables, 5009638 SAT clauses) 36.28/24.72 c (24,23) 90144 (90 %) CSP clauses are encoded (0 SAT variables, 5019654 SAT clauses) 136.31/127.39 c (126,111) 100159 (100 %) CSP clauses are encoded (0 SAT variables, 61744510 SAT clauses) 136.50/127.56 c (127,111) CSPinCNF to SatSolver End 136.50/127.56 c (127,111) Heap : 851 MiB used (max 22301 MiB), NonHeap : 27 MiB used (max 0 MiB) 136.50/127.56 c (127,111) 217057 bool, 61858078 clause 136.50/127.56 c (127,111) Export Begin 136.64/127.66 c (127,111) Export to HOME/scop-24694-serial-file.bin 136.64/127.66 c (127,111) Export End 136.64/127.66 c (127,111) Export File Size: 0.03 MB 136.64/127.66 c (127,111) 0,0,3,4,5,5,127,STOP-AFTER(DIMACS) 136.64/127.66 c END-Prog: Sat Sep 14 05:39:19 CEST 2019 0.00/127.71 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-24694-serial-file.bin 137.31/128.19 c (0,0) Read Serial File Begin 137.44/128.87 c (0,0) HOME/scop-24694-serial-file.bin 137.59/129.08 c (0,0) Read Serial File End 137.59/129.10 137.59/129.10 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 137.59/129.10 (Solving Process) 137.59/129.10 137.78/129.12 c BEGIN-Prog: Sat Sep 14 05:39:20 CEST 2019 137.78/129.12 c PID: 24724 137.78/129.12 c IP: 172.20.3.133 137.78/129.12 c HOST: node133.alineos.net 137.78/129.12 c (1,0) SatSolver.solve Begin 137.78/129.12 c (1,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392544-1568432270.xml-scop-24697.cnf 137.78/129.15 c (1,0) c 137.78/129.15 c (1,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 137.78/129.15 c (1,0) c 137.78/129.15 c (1,0) c WARNING: for repeatability, setting FPU to use double precision 137.78/129.15 c (1,0) c 8 solvers engines and 1 companion as a blackboard created. 137.78/129.15 c (1,0) c ========================================[ Problem Statistics ]=========================================== 137.78/129.15 c (1,0) c | | 155.15/146.36 c (18,0) c | Number of variables: 217057 | 155.15/146.36 c (18,0) c | Number of clauses: 61858078 | 155.15/146.36 c (18,0) c | Parse time: 15.56 s | 155.15/146.36 c (18,0) c | | 158.84/150.10 c (21,0) c | Too many clauses... No preprocessing | 158.84/150.10 c (21,0) c | Simplification time: 3.23 s | 158.84/150.10 c (21,0) c | | 158.84/150.10 c (21,0) c | One Solver is taking 4804.95Mb... Let's take 1 solvers for this run (max 40% of the maxmemory). | 158.84/150.10 c (21,0) c | Generating clones | 158.84/150.10 c (21,0) c | all clones generated. Memory = 4804.95Mb. | 158.84/150.10 c (21,0) c ========================================================================================================| 158.84/150.10 c (21,0) c 158.84/150.10 c (21,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 158.84/150.10 c (21,0) c 158.84/150.10 c (21,0) c |-----------------------|------------| 158.84/150.10 c (21,0) c | Threads | 0 | 158.84/150.10 c (21,0) c |-----------------------|------------| 158.84/150.10 c (21,0) c | randomizeFirstDescent | False | 158.84/150.10 c (21,0) c | adaptStrategeis | True | 158.84/150.10 c (21,0) c | forceUnsatOnNewDescent| True | 158.84/150.10 c (21,0) c | Initial random_seed | 91648253 | 158.84/150.10 c (21,0) c | chanseokStrategy | False | 158.84/150.10 c (21,0) c | coLBDBound | 5 | 158.84/150.10 c (21,0) c | glureduce | True | 158.84/150.10 c (21,0) c | firstReduceDB | 2000 | 158.84/150.10 c (21,0) c | incReduceDB | 300 | 158.84/150.10 c (21,0) c | luby_restart | False | 158.84/150.10 c (21,0) c | luby_restart_factor | 100 | 158.84/150.10 c (21,0) c | var_decay | 0.8000 | 158.84/150.10 c (21,0) c | max_var_decay | 0.9500 | 158.84/150.10 c (21,0) c | randomize_on_restarts | False | 158.84/150.10 c (21,0) c | remove_satisfied | True | 158.84/150.10 c (21,0) c |-----------------------|------------| 188.16/179.39 c (51,0) c 188.16/179.39 c (51,0) c |------------------------------------------------------------------------------------------------------------------------| 188.16/179.39 c (51,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 188.16/179.39 c (51,0) c |------------------------------------------------------------------------------------------------------------------------| 188.16/179.39 c (51,0) c | 0 | 28 | 33469 | 3074 | 100674 | 2077 | 76 | 0 | 0 | 652 | 20 | 0.001 | 188.16/179.39 c (51,0) c 188.16/179.39 c (51,0) c synthesis 3074 conflicts 15674390 propagations 68 conflicts/sec 345172 propagations/sec 188.16/179.39 c (51,0) c real: 50.2445 s, cpu: 45.4104 s, memory: 5132.95 Mb 217.19/208.39 c (80,0) c 217.19/208.39 c (80,0) c |------------------------------------------------------------------------------------------------------------------------| 217.19/208.39 c (80,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 217.19/208.39 c (80,0) c |------------------------------------------------------------------------------------------------------------------------| 217.19/208.39 c (80,0) c | 0 | 63 | 56074 | 5857 | 215503 | 4860 | 185 | 0 | 0 | 1444 | 20 | 0.001 | 217.19/208.39 c (80,0) c 217.19/208.39 c (80,0) c synthesis 5857 conflicts 32542640 propagations 79 conflicts/sec 440174 propagations/sec 217.19/208.39 c (80,0) c real: 79.2445 s, cpu: 73.9313 s, memory: 5132.95 Mb 246.21/237.39 c (109,0) c 246.21/237.39 c (109,0) c |------------------------------------------------------------------------------------------------------------------------| 246.21/237.39 c (109,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 246.21/237.39 c (109,0) c |------------------------------------------------------------------------------------------------------------------------| 246.21/237.39 c (109,0) c | 0 | 84 | 82000 | 11532 | 305499 | 7735 | 1127 | 0 | 0 | 2358 | 20 | 0.001 | 246.21/237.39 c (109,0) c 246.21/237.39 c (109,0) c synthesis 11532 conflicts 50373843 propagations 112 conflicts/sec 490760 propagations/sec 246.21/237.39 c (109,0) c real: 108.245 s, cpu: 102.645 s, memory: 5132.95 Mb 275.22/266.39 c (138,0) c 275.22/266.39 c (138,0) c |------------------------------------------------------------------------------------------------------------------------| 275.22/266.39 c (138,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 275.22/266.39 c (138,0) c |------------------------------------------------------------------------------------------------------------------------| 275.22/266.39 c (138,0) c | 0 | 95 | 110840 | 17363 | 353158 | 8570 | 2240 | 0 | 0 | 3273 | 20 | 0.001 | 275.22/266.39 c (138,0) c 275.22/266.39 c (138,0) c synthesis 17363 conflicts 70765276 propagations 132 conflicts/sec 538489 propagations/sec 275.22/266.39 c (138,0) c real: 137.245 s, cpu: 131.415 s, memory: 5132.95 Mb 304.25/295.39 c (167,0) c 304.25/295.39 c (167,0) c |------------------------------------------------------------------------------------------------------------------------| 304.25/295.39 c (167,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 304.25/295.39 c (167,0) c |------------------------------------------------------------------------------------------------------------------------| 304.25/295.39 c (167,0) c | 0 | 96 | 138345 | 38661 | 366284 | 12591 | 3850 | 0 | 0 | 4364 | 20 | 0.001 | 304.25/295.39 c (167,0) c 304.25/295.39 c (167,0) c synthesis 38661 conflicts 112392539 propagations 241 conflicts/sec 700809 propagations/sec 304.25/295.39 c (167,0) c real: 166.245 s, cpu: 160.375 s, memory: 5132.95 Mb 333.28/324.39 c (196,0) c 333.28/324.39 c (196,0) c |------------------------------------------------------------------------------------------------------------------------| 333.28/324.39 c (196,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 333.28/324.39 c (196,0) c |------------------------------------------------------------------------------------------------------------------------| 333.28/324.39 c (196,0) c | 0 | 96 | 156582 | 52586 | 368492 | 14062 | 5398 | 0 | 0 | 5390 | 20 | 0.001 | 333.28/324.39 c (196,0) c 333.28/324.39 c (196,0) c synthesis 52587 conflicts 150463555 propagations 278 conflicts/sec 794609 propagations/sec 333.28/324.39 c (196,0) c real: 195.245 s, cpu: 189.355 s, memory: 5132.95 Mb 362.30/353.39 c (225,0) c 362.30/353.39 c (225,0) c |------------------------------------------------------------------------------------------------------------------------| 362.30/353.39 c (225,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 362.30/353.39 c (225,0) c |------------------------------------------------------------------------------------------------------------------------| 362.30/353.39 c (225,0) c | 0 | 97 | 175630 | 66395 | 381077 | 27871 | 6886 | 0 | 0 | 6417 | 20 | 0.001 | 362.30/353.39 c (225,0) c 362.30/353.39 c (225,0) c synthesis 66395 conflicts 188293461 propagations 304 conflicts/sec 862527 propagations/sec 362.30/353.39 c (225,0) c real: 224.245 s, cpu: 218.304 s, memory: 5132.95 Mb 391.33/382.39 c (254,0) c 391.33/382.39 c (254,0) c |------------------------------------------------------------------------------------------------------------------------| 391.33/382.39 c (254,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 391.33/382.39 c (254,0) c |------------------------------------------------------------------------------------------------------------------------| 391.33/382.39 c (254,0) c | 0 | 97 | 187550 | 75060 | 389529 | 21513 | 7656 | 0 | 0 | 7380 | 20 | 0.001 | 391.33/382.39 c (254,0) c 391.33/382.39 c (254,0) c synthesis 75060 conflicts 225649327 propagations 304 conflicts/sec 912498 propagations/sec 391.33/382.39 c (254,0) c real: 253.245 s, cpu: 247.287 s, memory: 5132.95 Mb 420.35/411.39 c (283,0) c 420.35/411.39 c (283,0) c |------------------------------------------------------------------------------------------------------------------------| 420.35/411.39 c (283,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 420.35/411.39 c (283,0) c |------------------------------------------------------------------------------------------------------------------------| 420.35/411.39 c (283,0) c | 0 | 98 | 205261 | 86751 | 397664 | 33204 | 8979 | 0 | 0 | 8366 | 20 | 0.001 | 420.35/411.39 c (283,0) c 420.35/411.39 c (283,0) c synthesis 86751 conflicts 263423075 propagations 314 conflicts/sec 954060 propagations/sec 420.35/411.39 c (283,0) c real: 282.245 s, cpu: 276.107 s, memory: 5132.95 Mb 449.38/440.39 c (312,0) c 449.38/440.39 c (312,0) c |------------------------------------------------------------------------------------------------------------------------| 449.38/440.39 c (312,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 449.38/440.39 c (312,0) c |------------------------------------------------------------------------------------------------------------------------| 449.38/440.39 c (312,0) c | 0 | 118 | 217261 | 88978 | 451473 | 17810 | 9336 | 0 | 0 | 9234 | 20 | 0.002 | 449.38/440.39 c (312,0) c 449.38/440.39 c (312,0) c synthesis 88978 conflicts 280273943 propagations 292 conflicts/sec 919605 propagations/sec 449.38/440.39 c (312,0) c real: 311.245 s, cpu: 304.776 s, memory: 5132.95 Mb 479.39/470.39 c (342,0) c 479.39/470.39 c (342,0) c |------------------------------------------------------------------------------------------------------------------------| 479.39/470.39 c (342,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 479.39/470.39 c (342,0) c |------------------------------------------------------------------------------------------------------------------------| 479.39/470.39 c (342,0) c | 0 | 152 | 234391 | 92407 | 526239 | 21239 | 9909 | 0 | 0 | 10133 | 20 | 0.002 | 479.39/470.39 c (342,0) c 479.39/470.39 c (342,0) c synthesis 92407 conflicts 298265957 propagations 276 conflicts/sec 891194 propagations/sec 479.39/470.39 c (342,0) c real: 341.245 s, cpu: 334.681 s, memory: 5132.95 Mb 509.42/500.39 c (372,0) c 509.42/500.39 c (372,0) c |------------------------------------------------------------------------------------------------------------------------| 509.42/500.39 c (372,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 509.42/500.39 c (372,0) c |------------------------------------------------------------------------------------------------------------------------| 509.42/500.39 c (372,0) c | 0 | 176 | 259879 | 102508 | 605227 | 31339 | 12563 | 0 | 0 | 11089 | 20 | 0.002 | 509.42/500.39 c (372,0) c 509.42/500.39 c (372,0) c synthesis 102508 conflicts 321438113 propagations 281 conflicts/sec 881903 propagations/sec 509.42/500.39 c (372,0) c real: 371.245 s, cpu: 364.482 s, memory: 5132.95 Mb 538.45/529.39 c (401,0) c 538.45/529.39 c (401,0) c |------------------------------------------------------------------------------------------------------------------------| 538.45/529.39 c (401,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 538.45/529.39 c (401,0) c |------------------------------------------------------------------------------------------------------------------------| 538.45/529.39 c (401,0) c | 0 | 215 | 281666 | 105295 | 707383 | 34125 | 12866 | 0 | 0 | 11919 | 20 | 0.003 | 538.45/529.39 c (401,0) c 538.45/529.39 c (401,0) c synthesis 105295 conflicts 339845441 propagations 268 conflicts/sec 863963 propagations/sec 538.45/529.39 c (401,0) c real: 400.245 s, cpu: 393.356 s, memory: 5132.95 Mb 567.47/558.39 c (430,0) c 567.47/558.39 c (430,0) c |------------------------------------------------------------------------------------------------------------------------| 567.47/558.39 c (430,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 567.47/558.39 c (430,0) c |------------------------------------------------------------------------------------------------------------------------| 567.47/558.39 c (430,0) c | 0 | 246 | 323584 | 108681 | 777804 | 37511 | 13360 | 0 | 0 | 12776 | 20 | 0.003 | 567.47/558.39 c (430,0) c 567.47/558.39 c (430,0) c synthesis 108681 conflicts 362394652 propagations 257 conflicts/sec 858437 propagations/sec 567.47/558.39 c (430,0) c real: 429.245 s, cpu: 422.156 s, memory: 5132.95 Mb 597.50/588.39 c (460,0) c 597.50/588.39 c (460,0) c |------------------------------------------------------------------------------------------------------------------------| 597.50/588.39 c (460,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 597.50/588.39 c (460,0) c |------------------------------------------------------------------------------------------------------------------------| 597.50/588.39 c (460,0) c | 0 | 286 | 363176 | 111759 | 858213 | 20377 | 13720 | 0 | 0 | 13644 | 20 | 0.003 | 597.50/588.39 c (460,0) c 597.50/588.39 c (460,0) c synthesis 111759 conflicts 384980095 propagations 247 conflicts/sec 851665 propagations/sec 597.50/588.39 c (460,0) c real: 459.245 s, cpu: 452.032 s, memory: 5132.95 Mb 626.52/617.39 c (489,0) c 626.52/617.39 c (489,0) c |------------------------------------------------------------------------------------------------------------------------| 626.52/617.39 c (489,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 626.52/617.39 c (489,0) c |------------------------------------------------------------------------------------------------------------------------| 626.52/617.39 c (489,0) c | 0 | 304 | 385023 | 121797 | 909377 | 30413 | 15387 | 0 | 0 | 14648 | 20 | 0.005 | 626.52/617.39 c (489,0) c 626.52/617.39 c (489,0) c synthesis 121797 conflicts 405472675 propagations 253 conflicts/sec 843258 propagations/sec 626.52/617.39 c (489,0) c real: 488.245 s, cpu: 480.84 s, memory: 5132.95 Mb 655.54/646.39 c (518,0) c 655.54/646.39 c (518,0) c |------------------------------------------------------------------------------------------------------------------------| 655.54/646.39 c (518,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 655.54/646.39 c (518,0) c |------------------------------------------------------------------------------------------------------------------------| 655.54/646.39 c (518,0) c | 0 | 342 | 403451 | 124386 | 988656 | 33002 | 15672 | 0 | 0 | 15478 | 20 | 0.005 | 655.54/646.39 c (518,0) c 655.54/646.39 c (518,0) c synthesis 124386 conflicts 423245629 propagations 244 conflicts/sec 830321 propagations/sec 655.54/646.39 c (518,0) c real: 517.245 s, cpu: 509.737 s, memory: 5132.95 Mb 684.57/675.39 c (547,0) c 684.57/675.39 c (547,0) c |------------------------------------------------------------------------------------------------------------------------| 684.57/675.39 c (547,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 684.57/675.39 c (547,0) c |------------------------------------------------------------------------------------------------------------------------| 684.57/675.39 c (547,0) c | 0 | 376 | 443245 | 128398 | 1064582 | 37014 | 16482 | 0 | 0 | 16334 | 20 | 0.005 | 684.57/675.39 c (547,0) c 684.57/675.39 c (547,0) c synthesis 128398 conflicts 442982936 propagations 238 conflicts/sec 822564 propagations/sec 684.57/675.39 c (547,0) c real: 546.245 s, cpu: 538.539 s, memory: 5132.95 Mb 713.60/704.39 c (576,0) c 713.60/704.39 c (576,0) c |------------------------------------------------------------------------------------------------------------------------| 713.60/704.39 c (576,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 713.60/704.39 c (576,0) c |------------------------------------------------------------------------------------------------------------------------| 713.60/704.39 c (576,0) c | 0 | 420 | 463151 | 130865 | 1143796 | 39480 | 16672 | 0 | 0 | 17169 | 20 | 0.006 | 713.60/704.39 c (576,0) c 713.60/704.39 c (576,0) c synthesis 130865 conflicts 461354924 propagations 231 conflicts/sec 813151 propagations/sec 713.60/704.39 c (576,0) c real: 575.245 s, cpu: 567.367 s, memory: 5132.95 Mb 742.63/733.39 c (605,0) c 742.73/733.40 c (605,0) c |------------------------------------------------------------------------------------------------------------------------| 742.73/733.40 c (605,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 742.73/733.40 c (605,0) c |------------------------------------------------------------------------------------------------------------------------| 742.73/733.40 c (605,0) c | 0 | 461 | 481061 | 133120 | 1236078 | 41735 | 16816 | 0 | 0 | 18008 | 20 | 0.006 | 742.73/733.40 c (605,0) c 742.73/733.40 c (605,0) c synthesis 133120 conflicts 479343119 propagations 223 conflicts/sec 803988 propagations/sec 742.73/733.40 c (605,0) c real: 604.245 s, cpu: 596.206 s, memory: 5132.95 Mb 771.66/762.39 c (634,0) c 771.66/762.39 c (634,0) c |------------------------------------------------------------------------------------------------------------------------| 771.66/762.39 c (634,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 771.66/762.39 c (634,0) c |------------------------------------------------------------------------------------------------------------------------| 771.66/762.39 c (634,0) c | 0 | 499 | 500489 | 135659 | 1322102 | 44274 | 17066 | 0 | 0 | 18861 | 20 | 0.006 | 771.66/762.39 c (634,0) c 771.66/762.39 c (634,0) c synthesis 135659 conflicts 497140642 propagations 217 conflicts/sec 795313 propagations/sec 771.66/762.39 c (634,0) c real: 633.245 s, cpu: 625.088 s, memory: 5132.95 Mb 801.68/792.39 c (664,0) c 801.68/792.39 c (664,0) c |------------------------------------------------------------------------------------------------------------------------| 801.68/792.39 c (664,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 801.68/792.39 c (664,0) c |------------------------------------------------------------------------------------------------------------------------| 801.68/792.39 c (664,0) c | 0 | 533 | 520607 | 138721 | 1387858 | 24539 | 17281 | 0 | 0 | 19756 | 20 | 0.006 | 801.68/792.39 c (664,0) c 801.68/792.39 c (664,0) c synthesis 138721 conflicts 517891499 propagations 212 conflicts/sec 790800 propagations/sec 801.68/792.39 c (664,0) c real: 663.245 s, cpu: 654.895 s, memory: 5132.95 Mb 830.71/821.39 c (693,0) c 830.71/821.39 c (693,0) c |------------------------------------------------------------------------------------------------------------------------| 830.71/821.39 c (693,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 830.71/821.39 c (693,0) c |------------------------------------------------------------------------------------------------------------------------| 830.71/821.39 c (693,0) c | 0 | 575 | 540790 | 141984 | 1485218 | 27802 | 17540 | 0 | 0 | 20588 | 20 | 0.006 | 830.71/821.39 c (693,0) c 830.71/821.39 c (693,0) c synthesis 141984 conflicts 536490636 propagations 208 conflicts/sec 784566 propagations/sec 830.71/821.39 c (693,0) c real: 692.245 s, cpu: 683.805 s, memory: 5132.95 Mb 859.73/850.39 c (722,0) c 859.73/850.39 c (722,0) c |------------------------------------------------------------------------------------------------------------------------| 859.73/850.39 c (722,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 859.73/850.39 c (722,0) c |------------------------------------------------------------------------------------------------------------------------| 859.73/850.39 c (722,0) c | 0 | 601 | 564599 | 145716 | 1547807 | 31532 | 18090 | 0 | 0 | 21450 | 20 | 0.007 | 859.73/850.39 c (722,0) c 859.73/850.39 c (722,0) c synthesis 145716 conflicts 557290986 propagations 204 conflicts/sec 782023 propagations/sec 859.73/850.39 c (722,0) c real: 721.245 s, cpu: 712.628 s, memory: 5132.95 Mb 889.75/880.39 c (752,0) c 889.75/880.39 c (752,0) c |------------------------------------------------------------------------------------------------------------------------| 889.75/880.39 c (752,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 889.75/880.39 c (752,0) c |------------------------------------------------------------------------------------------------------------------------| 889.75/880.39 c (752,0) c | 0 | 639 | 587346 | 150079 | 1617868 | 35895 | 18790 | 0 | 0 | 22348 | 20 | 0.007 | 889.75/880.39 c (752,0) c 889.75/880.39 c (752,0) c synthesis 150079 conflicts 576984218 propagations 202 conflicts/sec 777064 propagations/sec 889.75/880.39 c (752,0) c real: 751.245 s, cpu: 742.519 s, memory: 5132.95 Mb 918.77/909.39 c (781,0) c 918.77/909.39 c (781,0) c |------------------------------------------------------------------------------------------------------------------------| 918.77/909.39 c (781,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 918.77/909.39 c (781,0) c |------------------------------------------------------------------------------------------------------------------------| 918.77/909.39 c (781,0) c | 0 | 663 | 604449 | 155729 | 1684412 | 41545 | 19092 | 0 | 0 | 23248 | 20 | 0.007 | 918.77/909.39 c (781,0) c 918.77/909.39 c (781,0) c synthesis 155729 conflicts 599649559 propagations 202 conflicts/sec 777405 propagations/sec 918.77/909.39 c (781,0) c real: 780.245 s, cpu: 771.347 s, memory: 5132.95 Mb 947.80/938.39 c (810,0) c 947.80/938.39 c (810,0) c |------------------------------------------------------------------------------------------------------------------------| 947.80/938.39 c (810,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 947.80/938.39 c (810,0) c |------------------------------------------------------------------------------------------------------------------------| 947.80/938.39 c (810,0) c | 0 | 687 | 617374 | 158243 | 1751581 | 44059 | 19304 | 0 | 0 | 24145 | 20 | 0.007 | 947.80/938.39 c (810,0) c 947.80/938.39 c (810,0) c synthesis 158243 conflicts 616791102 propagations 198 conflicts/sec 770729 propagations/sec 947.80/938.39 c (810,0) c real: 809.245 s, cpu: 800.269 s, memory: 5132.95 Mb 977.83/968.39 c (840,0) c 977.83/968.39 c (840,0) c |------------------------------------------------------------------------------------------------------------------------| 977.83/968.39 c (840,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 977.83/968.39 c (840,0) c |------------------------------------------------------------------------------------------------------------------------| 977.83/968.39 c (840,0) c | 0 | 707 | 627347 | 159423 | 1792033 | 45239 | 19335 | 0 | 0 | 25001 | 20 | 0.007 | 977.83/968.39 c (840,0) c 977.83/968.39 c (840,0) c synthesis 159423 conflicts 631935738 propagations 192 conflicts/sec 761313 propagations/sec 977.83/968.39 c (840,0) c real: 839.245 s, cpu: 830.061 s, memory: 5132.95 Mb 1006.85/997.39 c (869,0) c 1006.85/997.39 c (869,0) c |------------------------------------------------------------------------------------------------------------------------| 1006.85/997.39 c (869,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1006.85/997.39 c (869,0) c |------------------------------------------------------------------------------------------------------------------------| 1006.85/997.39 c (869,0) c | 0 | 720 | 631044 | 160041 | 1793909 | 45857 | 19336 | 0 | 0 | 25849 | 20 | 0.007 | 1006.85/997.39 c (869,0) c 1006.85/997.39 c (869,0) c synthesis 160041 conflicts 645045047 propagations 186 conflicts/sec 750925 propagations/sec 1006.85/997.39 c (869,0) c real: 868.245 s, cpu: 859.001 s, memory: 5132.95 Mb 1035.88/1026.39 c (898,0) c 1035.88/1026.39 c (898,0) c |------------------------------------------------------------------------------------------------------------------------| 1035.88/1026.39 c (898,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1035.88/1026.39 c (898,0) c |------------------------------------------------------------------------------------------------------------------------| 1035.88/1026.39 c (898,0) c | 0 | 732 | 634571 | 160683 | 1795981 | 46499 | 19336 | 0 | 0 | 26675 | 20 | 0.007 | 1035.88/1026.39 c (898,0) c 1035.88/1026.39 c (898,0) c synthesis 160683 conflicts 658343990 propagations 181 conflicts/sec 741523 propagations/sec 1035.88/1026.39 c (898,0) c real: 897.245 s, cpu: 887.826 s, memory: 5132.95 Mb 1064.90/1055.39 c (927,0) c 1064.90/1055.39 c (927,0) c |------------------------------------------------------------------------------------------------------------------------| 1064.90/1055.39 c (927,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1064.90/1055.39 c (927,0) c |------------------------------------------------------------------------------------------------------------------------| 1064.90/1055.39 c (927,0) c | 0 | 745 | 638273 | 161311 | 1797588 | 47127 | 19336 | 0 | 0 | 27503 | 20 | 0.007 | 1064.90/1055.39 c (927,0) c 1064.90/1055.39 c (927,0) c synthesis 161311 conflicts 671620149 propagations 176 conflicts/sec 732597 propagations/sec 1064.90/1055.39 c (927,0) c real: 926.245 s, cpu: 916.766 s, memory: 5132.95 Mb 1094.93/1085.39 c (957,0) c 1094.93/1085.39 c (957,0) c |------------------------------------------------------------------------------------------------------------------------| 1094.93/1085.39 c (957,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1094.93/1085.39 c (957,0) c |------------------------------------------------------------------------------------------------------------------------| 1094.93/1085.39 c (957,0) c | 0 | 757 | 641749 | 161954 | 1799550 | 47770 | 19337 | 0 | 0 | 28352 | 20 | 0.007 | 1094.93/1085.39 c (957,0) c 1094.93/1085.39 c (957,0) c synthesis 161954 conflicts 685597087 propagations 171 conflicts/sec 724273 propagations/sec 1094.93/1085.39 c (957,0) c real: 956.245 s, cpu: 946.601 s, memory: 5132.95 Mb 1123.94/1114.39 c (986,0) c 1123.94/1114.39 c (986,0) c |------------------------------------------------------------------------------------------------------------------------| 1123.94/1114.39 c (986,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1123.94/1114.39 c (986,0) c |------------------------------------------------------------------------------------------------------------------------| 1123.94/1114.39 c (986,0) c | 0 | 769 | 645197 | 162566 | 1800990 | 48382 | 19337 | 0 | 0 | 29183 | 20 | 0.007 | 1123.94/1114.39 c (986,0) c 1123.94/1114.39 c (986,0) c synthesis 162566 conflicts 698826299 propagations 167 conflicts/sec 716343 propagations/sec 1123.94/1114.39 c (986,0) c real: 985.245 s, cpu: 975.546 s, memory: 5132.95 Mb 1153.97/1144.39 c (1016,0) c 1153.97/1144.39 c (1016,0) c |------------------------------------------------------------------------------------------------------------------------| 1153.97/1144.39 c (1016,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1153.97/1144.39 c (1016,0) c |------------------------------------------------------------------------------------------------------------------------| 1153.97/1144.39 c (1016,0) c | 0 | 780 | 648356 | 163123 | 1802694 | 48939 | 19337 | 0 | 0 | 30045 | 20 | 0.007 | 1153.97/1144.39 c (1016,0) c 1153.97/1144.39 c (1016,0) c synthesis 163123 conflicts 712542199 propagations 162 conflicts/sec 708713 propagations/sec 1153.97/1144.39 c (1016,0) c real: 1015.24 s, cpu: 1005.4 s, memory: 5132.95 Mb 1184.01/1174.39 c (1046,0) c 1184.01/1174.39 c (1046,0) c |------------------------------------------------------------------------------------------------------------------------| 1184.01/1174.39 c (1046,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1184.01/1174.39 c (1046,0) c |------------------------------------------------------------------------------------------------------------------------| 1184.01/1174.39 c (1046,0) c | 0 | 793 | 652039 | 163760 | 1804085 | 49576 | 19337 | 0 | 0 | 30901 | 20 | 0.007 | 1184.01/1174.39 c (1046,0) c 1184.01/1174.39 c (1046,0) c synthesis 163760 conflicts 726490965 propagations 158 conflicts/sec 701702 propagations/sec 1184.01/1174.39 c (1046,0) c real: 1045.24 s, cpu: 1035.33 s, memory: 5132.95 Mb 1213.04/1203.39 c (1075,0) c 1213.04/1203.39 c (1075,0) c |------------------------------------------------------------------------------------------------------------------------| 1213.04/1203.39 c (1075,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1213.04/1203.39 c (1075,0) c |------------------------------------------------------------------------------------------------------------------------| 1213.04/1203.39 c (1075,0) c | 0 | 804 | 655151 | 164323 | 1805151 | 50139 | 19337 | 0 | 0 | 31727 | 20 | 0.007 | 1213.04/1203.39 c (1075,0) c 1213.04/1203.39 c (1075,0) c synthesis 164323 conflicts 739905019 propagations 154 conflicts/sec 695288 propagations/sec 1213.04/1203.39 c (1075,0) c real: 1074.24 s, cpu: 1064.17 s, memory: 5132.95 Mb 1242.06/1232.39 c (1104,0) c 1242.06/1232.39 c (1104,0) c |------------------------------------------------------------------------------------------------------------------------| 1242.06/1232.39 c (1104,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1242.06/1232.39 c (1104,0) c |------------------------------------------------------------------------------------------------------------------------| 1242.06/1232.39 c (1104,0) c | 0 | 816 | 658552 | 164962 | 1806237 | 50778 | 19338 | 0 | 0 | 32558 | 20 | 0.007 | 1242.06/1232.39 c (1104,0) c 1242.06/1232.39 c (1104,0) c synthesis 164962 conflicts 753581601 propagations 151 conflicts/sec 689404 propagations/sec 1242.06/1232.39 c (1104,0) c real: 1103.24 s, cpu: 1093.09 s, memory: 5132.95 Mb 1271.08/1261.39 c (1133,0) c 1271.08/1261.39 c (1133,0) c |------------------------------------------------------------------------------------------------------------------------| 1271.08/1261.39 c (1133,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1271.08/1261.39 c (1133,0) c |------------------------------------------------------------------------------------------------------------------------| 1271.08/1261.39 c (1133,0) c | 0 | 828 | 662029 | 165558 | 1807782 | 25974 | 19339 | 0 | 0 | 33376 | 20 | 0.007 | 1271.08/1261.39 c (1133,0) c 1271.08/1261.39 c (1133,0) c synthesis 165558 conflicts 766606847 propagations 148 conflicts/sec 683291 propagations/sec 1271.08/1261.39 c (1133,0) c real: 1132.24 s, cpu: 1121.93 s, memory: 5132.95 Mb 1301.10/1291.39 c (1163,0) c 1301.10/1291.39 c (1163,0) c |------------------------------------------------------------------------------------------------------------------------| 1301.10/1291.39 c (1163,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1301.10/1291.39 c (1163,0) c |------------------------------------------------------------------------------------------------------------------------| 1301.10/1291.39 c (1163,0) c | 0 | 841 | 665821 | 166207 | 1808844 | 26623 | 19339 | 0 | 0 | 34235 | 20 | 0.007 | 1301.10/1291.39 c (1163,0) c 1301.10/1291.39 c (1163,0) c synthesis 166207 conflicts 780592612 propagations 144 conflicts/sec 677686 propagations/sec 1301.10/1291.39 c (1163,0) c real: 1162.24 s, cpu: 1151.85 s, memory: 5132.95 Mb 1330.13/1320.39 c (1192,0) c 1330.13/1320.39 c (1192,0) c |------------------------------------------------------------------------------------------------------------------------| 1330.13/1320.39 c (1192,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1330.13/1320.39 c (1192,0) c |------------------------------------------------------------------------------------------------------------------------| 1330.13/1320.39 c (1192,0) c | 0 | 853 | 669245 | 166829 | 1810058 | 27245 | 19339 | 0 | 0 | 35060 | 20 | 0.007 | 1330.13/1320.39 c (1192,0) c 1330.13/1320.39 c (1192,0) c synthesis 166829 conflicts 794543609 propagations 141 conflicts/sec 672931 propagations/sec 1330.13/1320.39 c (1192,0) c real: 1191.24 s, cpu: 1180.72 s, memory: 5132.95 Mb 1359.16/1349.39 c (1221,0) c 1359.16/1349.39 c (1221,0) c |------------------------------------------------------------------------------------------------------------------------| 1359.16/1349.39 c (1221,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1359.16/1349.39 c (1221,0) c |------------------------------------------------------------------------------------------------------------------------| 1359.16/1349.39 c (1221,0) c | 0 | 865 | 672760 | 167443 | 1810983 | 27859 | 19339 | 0 | 0 | 35890 | 20 | 0.007 | 1359.16/1349.39 c (1221,0) c 1359.16/1349.39 c (1221,0) c synthesis 167443 conflicts 808402003 propagations 138 conflicts/sec 668311 propagations/sec 1359.16/1349.39 c (1221,0) c real: 1220.24 s, cpu: 1209.62 s, memory: 5132.95 Mb 1389.18/1379.39 c (1251,0) c 1389.18/1379.39 c (1251,0) c |------------------------------------------------------------------------------------------------------------------------| 1389.18/1379.39 c (1251,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1389.18/1379.39 c (1251,0) c |------------------------------------------------------------------------------------------------------------------------| 1389.18/1379.39 c (1251,0) c | 0 | 878 | 676462 | 168084 | 1811636 | 28500 | 19339 | 0 | 0 | 36733 | 20 | 0.007 | 1389.18/1379.39 c (1251,0) c 1389.18/1379.39 c (1251,0) c synthesis 168084 conflicts 822394045 propagations 136 conflicts/sec 663492 propagations/sec 1389.18/1379.39 c (1251,0) c real: 1250.24 s, cpu: 1239.49 s, memory: 5132.95 Mb 1418.21/1408.39 c (1280,0) c 1418.21/1408.39 c (1280,0) c |------------------------------------------------------------------------------------------------------------------------| 1418.21/1408.39 c (1280,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1418.21/1408.39 c (1280,0) c |------------------------------------------------------------------------------------------------------------------------| 1418.21/1408.39 c (1280,0) c | 0 | 890 | 679920 | 168717 | 1812616 | 29133 | 19340 | 0 | 0 | 37555 | 20 | 0.007 | 1418.21/1408.39 c (1280,0) c 1418.21/1408.39 c (1280,0) c synthesis 168717 conflicts 836320428 propagations 133 conflicts/sec 659358 propagations/sec 1418.21/1408.39 c (1280,0) c real: 1279.24 s, cpu: 1268.39 s, memory: 5132.95 Mb 1447.24/1437.39 c (1309,0) c 1447.24/1437.39 c (1309,0) c |------------------------------------------------------------------------------------------------------------------------| 1447.24/1437.39 c (1309,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1447.24/1437.39 c (1309,0) c |------------------------------------------------------------------------------------------------------------------------| 1447.24/1437.39 c (1309,0) c | 0 | 902 | 683367 | 169320 | 1813796 | 29736 | 19340 | 0 | 0 | 38378 | 20 | 0.007 | 1447.24/1437.39 c (1309,0) c 1447.24/1437.39 c (1309,0) c synthesis 169320 conflicts 850084888 propagations 131 conflicts/sec 655282 propagations/sec 1447.24/1437.39 c (1309,0) c real: 1308.24 s, cpu: 1297.28 s, memory: 5132.95 Mb 1477.28/1467.39 c (1339,0) c 1477.28/1467.39 c (1339,0) c |------------------------------------------------------------------------------------------------------------------------| 1477.28/1467.39 c (1339,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1477.28/1467.39 c (1339,0) c |------------------------------------------------------------------------------------------------------------------------| 1477.28/1467.39 c (1339,0) c | 0 | 914 | 686778 | 169930 | 1814710 | 30346 | 19340 | 0 | 0 | 39226 | 20 | 0.007 | 1477.28/1467.39 c (1339,0) c 1477.28/1467.39 c (1339,0) c synthesis 169930 conflicts 864248418 propagations 128 conflicts/sec 651198 propagations/sec 1477.28/1467.39 c (1339,0) c real: 1338.24 s, cpu: 1327.17 s, memory: 5132.95 Mb 1507.30/1497.39 c (1369,0) c 1507.30/1497.39 c (1369,0) c |------------------------------------------------------------------------------------------------------------------------| 1507.30/1497.39 c (1369,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1507.30/1497.39 c (1369,0) c |------------------------------------------------------------------------------------------------------------------------| 1507.30/1497.39 c (1369,0) c | 0 | 928 | 690689 | 170597 | 1815519 | 31013 | 19340 | 0 | 0 | 40078 | 20 | 0.007 | 1507.30/1497.39 c (1369,0) c 1507.30/1497.39 c (1369,0) c synthesis 170597 conflicts 878552904 propagations 126 conflicts/sec 647389 propagations/sec 1507.30/1497.39 c (1369,0) c real: 1368.24 s, cpu: 1357.07 s, memory: 5132.95 Mb 1536.33/1526.39 c (1398,0) c 1536.33/1526.39 c (1398,0) c |------------------------------------------------------------------------------------------------------------------------| 1536.33/1526.39 c (1398,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1536.33/1526.39 c (1398,0) c |------------------------------------------------------------------------------------------------------------------------| 1536.33/1526.39 c (1398,0) c | 0 | 939 | 693833 | 171182 | 1816577 | 31598 | 19340 | 0 | 0 | 40895 | 20 | 0.007 | 1536.33/1526.39 c (1398,0) c 1536.33/1526.39 c (1398,0) c synthesis 171182 conflicts 891463442 propagations 124 conflicts/sec 643202 propagations/sec 1536.33/1526.39 c (1398,0) c real: 1397.24 s, cpu: 1385.98 s, memory: 5132.95 Mb 1565.35/1555.39 c (1427,0) c 1565.35/1555.39 c (1427,0) c |------------------------------------------------------------------------------------------------------------------------| 1565.35/1555.39 c (1427,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1565.35/1555.39 c (1427,0) c |------------------------------------------------------------------------------------------------------------------------| 1565.35/1555.39 c (1427,0) c | 0 | 952 | 697502 | 171821 | 1817625 | 32237 | 19341 | 0 | 0 | 41716 | 20 | 0.007 | 1565.35/1555.39 c (1427,0) c 1565.35/1555.39 c (1427,0) c synthesis 171821 conflicts 905099637 propagations 121 conflicts/sec 639695 propagations/sec 1565.35/1555.39 c (1427,0) c real: 1426.24 s, cpu: 1414.89 s, memory: 5132.95 Mb 1594.38/1584.39 c (1456,0) c 1594.38/1584.39 c (1456,0) c |------------------------------------------------------------------------------------------------------------------------| 1594.38/1584.39 c (1456,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1594.38/1584.39 c (1456,0) c |------------------------------------------------------------------------------------------------------------------------| 1594.38/1584.39 c (1456,0) c | 0 | 963 | 700612 | 172406 | 1818335 | 32822 | 19341 | 0 | 0 | 42535 | 20 | 0.007 | 1594.38/1584.39 c (1456,0) c 1594.38/1584.39 c (1456,0) c synthesis 172406 conflicts 918361623 propagations 119 conflicts/sec 636083 propagations/sec 1594.38/1584.39 c (1456,0) c real: 1455.24 s, cpu: 1443.78 s, memory: 5132.95 Mb 1623.40/1613.39 c (1485,0) c 1623.40/1613.39 c (1485,0) c |------------------------------------------------------------------------------------------------------------------------| 1623.40/1613.39 c (1485,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1623.40/1613.39 c (1485,0) c |------------------------------------------------------------------------------------------------------------------------| 1623.40/1613.39 c (1485,0) c | 0 | 976 | 704276 | 173072 | 1819060 | 33488 | 19341 | 0 | 0 | 43359 | 20 | 0.007 | 1623.40/1613.39 c (1485,0) c 1623.40/1613.39 c (1485,0) c synthesis 173072 conflicts 931903336 propagations 118 conflicts/sec 632789 propagations/sec 1623.40/1613.39 c (1485,0) c real: 1484.24 s, cpu: 1472.69 s, memory: 5132.95 Mb 1652.42/1642.39 c (1514,0) c 1652.42/1642.39 c (1514,0) c |------------------------------------------------------------------------------------------------------------------------| 1652.42/1642.39 c (1514,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1652.42/1642.39 c (1514,0) c |------------------------------------------------------------------------------------------------------------------------| 1652.42/1642.39 c (1514,0) c | 0 | 989 | 707913 | 173703 | 1819793 | 34119 | 19341 | 0 | 0 | 44183 | 20 | 0.007 | 1652.42/1642.39 c (1514,0) c 1652.42/1642.39 c (1514,0) c synthesis 173703 conflicts 945390011 propagations 116 conflicts/sec 629609 propagations/sec 1652.42/1642.39 c (1514,0) c real: 1513.24 s, cpu: 1501.55 s, memory: 5132.95 Mb 1682.45/1672.39 c (1544,0) c 1682.45/1672.39 c (1544,0) c |------------------------------------------------------------------------------------------------------------------------| 1682.45/1672.39 c (1544,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1682.45/1672.39 c (1544,0) c |------------------------------------------------------------------------------------------------------------------------| 1682.45/1672.39 c (1544,0) c | 0 | 1002 | 711563 | 174360 | 1820472 | 34776 | 19341 | 0 | 0 | 45038 | 20 | 0.007 | 1682.45/1672.39 c (1544,0) c 1682.45/1672.39 c (1544,0) c synthesis 174360 conflicts 958930570 propagations 114 conflicts/sec 626142 propagations/sec 1682.45/1672.39 c (1544,0) c real: 1543.24 s, cpu: 1531.49 s, memory: 5132.95 Mb 1711.48/1701.39 c (1573,0) c 1711.48/1701.39 c (1573,0) c |------------------------------------------------------------------------------------------------------------------------| 1711.48/1701.39 c (1573,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1711.48/1701.39 c (1573,0) c |------------------------------------------------------------------------------------------------------------------------| 1711.48/1701.39 c (1573,0) c | 0 | 1013 | 714729 | 174940 | 1821392 | 35356 | 19342 | 0 | 0 | 45853 | 20 | 0.007 | 1711.48/1701.39 c (1573,0) c 1711.48/1701.39 c (1573,0) c synthesis 174940 conflicts 972238972 propagations 112 conflicts/sec 623099 propagations/sec 1711.48/1701.39 c (1573,0) c real: 1572.24 s, cpu: 1560.33 s, memory: 5132.95 Mb 1740.50/1730.39 c (1602,0) c 1740.50/1730.39 c (1602,0) c |------------------------------------------------------------------------------------------------------------------------| 1740.50/1730.39 c (1602,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1740.50/1730.39 c (1602,0) c |------------------------------------------------------------------------------------------------------------------------| 1740.50/1730.39 c (1602,0) c | 0 | 1026 | 718408 | 175609 | 1821852 | 36025 | 19343 | 0 | 0 | 46675 | 20 | 0.007 | 1740.50/1730.39 c (1602,0) c 1740.50/1730.39 c (1602,0) c synthesis 175609 conflicts 985346406 propagations 110 conflicts/sec 620003 propagations/sec 1740.50/1730.39 c (1602,0) c real: 1601.24 s, cpu: 1589.26 s, memory: 5132.95 Mb 1769.52/1759.39 c (1631,0) c 1769.52/1759.39 c (1631,0) c |------------------------------------------------------------------------------------------------------------------------| 1769.52/1759.39 c (1631,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1769.52/1759.39 c (1631,0) c |------------------------------------------------------------------------------------------------------------------------| 1769.52/1759.39 c (1631,0) c | 0 | 1038 | 721814 | 176196 | 1822413 | 36612 | 19343 | 0 | 0 | 47491 | 20 | 0.007 | 1769.52/1759.39 c (1631,0) c 1769.52/1759.39 c (1631,0) c synthesis 176196 conflicts 999243331 propagations 109 conflicts/sec 617534 propagations/sec 1769.52/1759.39 c (1631,0) c real: 1630.24 s, cpu: 1618.12 s, memory: 5132.95 Mb 1799.56/1789.39 c (1661,0) c 1799.56/1789.39 c (1661,0) c |------------------------------------------------------------------------------------------------------------------------| 1799.56/1789.39 c (1661,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1799.56/1789.39 c (1661,0) c |------------------------------------------------------------------------------------------------------------------------| 1799.56/1789.39 c (1661,0) c | 0 | 1051 | 725394 | 176848 | 1822993 | 37264 | 19343 | 0 | 0 | 48341 | 20 | 0.007 | 1799.56/1789.39 c (1661,0) c 1799.56/1789.39 c (1661,0) c synthesis 176848 conflicts 1012938531 propagations 107 conflicts/sec 614622 propagations/sec 1799.56/1789.39 c (1661,0) c real: 1660.24 s, cpu: 1648.07 s, memory: 5132.95 Mb 1828.59/1818.39 c (1690,0) c 1828.59/1818.39 c (1690,0) c |------------------------------------------------------------------------------------------------------------------------| 1828.59/1818.39 c (1690,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1828.59/1818.39 c (1690,0) c |------------------------------------------------------------------------------------------------------------------------| 1828.59/1818.39 c (1690,0) c | 0 | 1062 | 728600 | 177443 | 1823389 | 37859 | 19343 | 0 | 0 | 49153 | 20 | 0.007 | 1828.59/1818.39 c (1690,0) c 1828.59/1818.39 c (1690,0) c synthesis 177443 conflicts 1026320347 propagations 106 conflicts/sec 612036 propagations/sec 1828.59/1818.39 c (1690,0) c real: 1689.24 s, cpu: 1676.89 s, memory: 5132.95 Mb 1857.60/1847.39 c (1719,0) c 1857.60/1847.39 c (1719,0) c |------------------------------------------------------------------------------------------------------------------------| 1857.60/1847.39 c (1719,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1857.60/1847.39 c (1719,0) c |------------------------------------------------------------------------------------------------------------------------| 1857.60/1847.39 c (1719,0) c | 0 | 1074 | 731946 | 178060 | 1823940 | 38476 | 19343 | 0 | 0 | 49971 | 20 | 0.007 | 1857.60/1847.39 c (1719,0) c 1857.60/1847.39 c (1719,0) c synthesis 178060 conflicts 1039424491 propagations 104 conflicts/sec 609335 propagations/sec 1857.60/1847.39 c (1719,0) c real: 1718.24 s, cpu: 1705.83 s, memory: 5132.95 Mb 1886.63/1876.39 c (1748,0) c 1886.63/1876.39 c (1748,0) c |------------------------------------------------------------------------------------------------------------------------| 1886.63/1876.39 c (1748,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1886.63/1876.39 c (1748,0) c |------------------------------------------------------------------------------------------------------------------------| 1886.63/1876.39 c (1748,0) c | 0 | 1086 | 735274 | 178648 | 1824322 | 39064 | 19343 | 0 | 0 | 50792 | 20 | 0.007 | 1886.63/1876.39 c (1748,0) c 1886.63/1876.39 c (1748,0) c synthesis 178648 conflicts 1052968940 propagations 103 conflicts/sec 607004 propagations/sec 1886.63/1876.39 c (1748,0) c real: 1747.24 s, cpu: 1734.7 s, memory: 5132.95 Mb 1915.67/1905.39 c (1777,0) c 1915.67/1905.39 c (1777,0) c |------------------------------------------------------------------------------------------------------------------------| 1915.67/1905.39 c (1777,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1915.67/1905.39 c (1777,0) c |------------------------------------------------------------------------------------------------------------------------| 1915.67/1905.39 c (1777,0) c | 0 | 1098 | 738623 | 179244 | 1824702 | 39660 | 19343 | 0 | 0 | 51605 | 20 | 0.007 | 1915.67/1905.39 c (1777,0) c 1915.67/1905.39 c (1777,0) c synthesis 179244 conflicts 1066902123 propagations 102 conflicts/sec 604947 propagations/sec 1915.67/1905.39 c (1777,0) c real: 1776.24 s, cpu: 1763.63 s, memory: 5132.95 Mb 1944.70/1934.39 c (1806,0) c 1944.70/1934.39 c (1806,0) c |------------------------------------------------------------------------------------------------------------------------| 1944.70/1934.39 c (1806,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1944.70/1934.39 c (1806,0) c |------------------------------------------------------------------------------------------------------------------------| 1944.70/1934.39 c (1806,0) c | 0 | 1109 | 741720 | 179797 | 1825025 | 40213 | 19343 | 0 | 0 | 52408 | 20 | 0.007 | 1944.70/1934.39 c (1806,0) c 1944.70/1934.39 c (1806,0) c synthesis 179797 conflicts 1079763680 propagations 100 conflicts/sec 602387 propagations/sec 1944.70/1934.39 c (1806,0) c real: 1805.24 s, cpu: 1792.48 s, memory: 5132.95 Mb 1974.73/1964.39 c (1836,0) c 1974.73/1964.39 c (1836,0) c |------------------------------------------------------------------------------------------------------------------------| 1974.73/1964.39 c (1836,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1974.73/1964.39 c (1836,0) c |------------------------------------------------------------------------------------------------------------------------| 1974.73/1964.39 c (1836,0) c | 0 | 1121 | 745084 | 180399 | 1825453 | 40815 | 19343 | 0 | 0 | 53250 | 20 | 0.007 | 1974.73/1964.39 c (1836,0) c 1974.73/1964.39 c (1836,0) c synthesis 180399 conflicts 1093331931 propagations 99 conflicts/sec 599937 propagations/sec 1974.73/1964.39 c (1836,0) c real: 1835.24 s, cpu: 1822.41 s, memory: 5132.95 Mb 2004.74/1994.39 c (1866,0) c 2004.74/1994.39 c (1866,0) c |------------------------------------------------------------------------------------------------------------------------| 2004.74/1994.39 c (1866,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2004.74/1994.39 c (1866,0) c |------------------------------------------------------------------------------------------------------------------------| 2004.74/1994.39 c (1866,0) c | 0 | 1133 | 748407 | 181026 | 1825939 | 41442 | 19343 | 0 | 0 | 54109 | 20 | 0.007 | 2004.74/1994.39 c (1866,0) c 2004.74/1994.39 c (1866,0) c synthesis 181026 conflicts 1107557017 propagations 98 conflicts/sec 597948 propagations/sec 2004.74/1994.39 c (1866,0) c real: 1865.24 s, cpu: 1852.26 s, memory: 5132.95 Mb 2033.77/2023.39 c (1895,0) c 2033.77/2023.39 c (1895,0) c |------------------------------------------------------------------------------------------------------------------------| 2033.77/2023.39 c (1895,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2033.77/2023.39 c (1895,0) c |------------------------------------------------------------------------------------------------------------------------| 2033.77/2023.39 c (1895,0) c | 0 | 1145 | 751748 | 181645 | 1826334 | 42061 | 19343 | 0 | 0 | 54926 | 20 | 0.007 | 2033.77/2023.39 c (1895,0) c 2033.77/2023.39 c (1895,0) c synthesis 181645 conflicts 1121281171 propagations 97 conflicts/sec 596044 propagations/sec 2033.77/2023.39 c (1895,0) c real: 1894.24 s, cpu: 1881.21 s, memory: 5132.95 Mb 2062.80/2052.39 c (1924,0) c 2062.80/2052.39 c (1924,0) c |------------------------------------------------------------------------------------------------------------------------| 2062.80/2052.39 c (1924,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2062.80/2052.39 c (1924,0) c |------------------------------------------------------------------------------------------------------------------------| 2062.80/2052.39 c (1924,0) c | 0 | 1156 | 754806 | 182209 | 1826727 | 42625 | 19343 | 0 | 0 | 55735 | 20 | 0.007 | 2062.80/2052.39 c (1924,0) c 2062.80/2052.39 c (1924,0) c synthesis 182209 conflicts 1134483556 propagations 95 conflicts/sec 593952 propagations/sec 2062.80/2052.39 c (1924,0) c real: 1923.24 s, cpu: 1910.06 s, memory: 5132.95 Mb 2092.82/2082.39 c (1954,0) c 2092.82/2082.39 c (1954,0) c |------------------------------------------------------------------------------------------------------------------------| 2092.82/2082.39 c (1954,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2092.82/2082.39 c (1954,0) c |------------------------------------------------------------------------------------------------------------------------| 2092.82/2082.39 c (1954,0) c | 0 | 1168 | 758107 | 182817 | 1827237 | 43233 | 19343 | 0 | 0 | 56574 | 20 | 0.007 | 2092.82/2082.39 c (1954,0) c 2092.82/2082.39 c (1954,0) c synthesis 182817 conflicts 1148077367 propagations 94 conflicts/sec 591795 propagations/sec 2092.82/2082.39 c (1954,0) c real: 1953.24 s, cpu: 1939.99 s, memory: 5132.95 Mb 2121.85/2111.39 c (1983,0) c 2121.85/2111.39 c (1983,0) c |------------------------------------------------------------------------------------------------------------------------| 2121.85/2111.39 c (1983,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2121.85/2111.39 c (1983,0) c |------------------------------------------------------------------------------------------------------------------------| 2121.85/2111.39 c (1983,0) c | 0 | 1179 | 761180 | 183399 | 1827662 | 43815 | 19343 | 0 | 0 | 57397 | 20 | 0.007 | 2121.85/2111.39 c (1983,0) c 2121.85/2111.39 c (1983,0) c synthesis 183399 conflicts 1161306963 propagations 93 conflicts/sec 589834 propagations/sec 2121.85/2111.39 c (1983,0) c real: 1982.24 s, cpu: 1968.87 s, memory: 5132.95 Mb 2150.88/2140.39 c (2012,0) c 2150.88/2140.39 c (2012,0) c |------------------------------------------------------------------------------------------------------------------------| 2150.88/2140.39 c (2012,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2150.88/2140.39 c (2012,0) c |------------------------------------------------------------------------------------------------------------------------| 2150.88/2140.39 c (2012,0) c | 0 | 1190 | 764193 | 183950 | 1828017 | 44366 | 19343 | 0 | 0 | 58208 | 20 | 0.007 | 2150.88/2140.39 c (2012,0) c 2150.88/2140.39 c (2012,0) c synthesis 183950 conflicts 1174679630 propagations 92 conflicts/sec 587987 propagations/sec 2150.88/2140.39 c (2012,0) c real: 2011.24 s, cpu: 1997.8 s, memory: 5132.95 Mb 2179.90/2169.39 c (2041,0) c 2179.90/2169.39 c (2041,0) c |------------------------------------------------------------------------------------------------------------------------| 2179.90/2169.39 c (2041,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2179.90/2169.39 c (2041,0) c |------------------------------------------------------------------------------------------------------------------------| 2179.90/2169.39 c (2041,0) c | 0 | 1202 | 767471 | 184522 | 1828466 | 44938 | 19343 | 0 | 0 | 59025 | 20 | 0.007 | 2179.90/2169.39 c (2041,0) c 2179.90/2169.39 c (2041,0) c synthesis 184522 conflicts 1187803038 propagations 91 conflicts/sec 586089 propagations/sec 2179.90/2169.39 c (2041,0) c real: 2040.24 s, cpu: 2026.66 s, memory: 5132.95 Mb 2208.91/2198.39 c (2070,0) c 2208.91/2198.39 c (2070,0) c |------------------------------------------------------------------------------------------------------------------------| 2208.91/2198.39 c (2070,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2208.91/2198.39 c (2070,0) c |------------------------------------------------------------------------------------------------------------------------| 2208.91/2198.39 c (2070,0) c | 0 | 1213 | 770485 | 185102 | 1828910 | 45518 | 19343 | 0 | 0 | 59842 | 20 | 0.007 | 2208.91/2198.39 c (2070,0) c 2208.91/2198.39 c (2070,0) c synthesis 185102 conflicts 1200959016 propagations 90 conflicts/sec 584241 propagations/sec 2208.91/2198.39 c (2070,0) c real: 2069.24 s, cpu: 2055.59 s, memory: 5132.95 Mb 2237.93/2227.39 c (2099,0) c 2237.93/2227.39 c (2099,0) c |------------------------------------------------------------------------------------------------------------------------| 2237.93/2227.39 c (2099,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2237.93/2227.39 c (2099,0) c |------------------------------------------------------------------------------------------------------------------------| 2237.93/2227.39 c (2099,0) c | 0 | 1224 | 773490 | 185689 | 1829337 | 46105 | 19343 | 0 | 0 | 60655 | 20 | 0.007 | 2237.93/2227.39 c (2099,0) c 2237.93/2227.39 c (2099,0) c synthesis 185689 conflicts 1213727364 propagations 89 conflicts/sec 582279 propagations/sec 2237.93/2227.39 c (2099,0) c real: 2098.24 s, cpu: 2084.44 s, memory: 5132.95 Mb 2266.98/2256.39 c (2128,0) c 2266.98/2256.39 c (2128,0) c |------------------------------------------------------------------------------------------------------------------------| 2266.98/2256.39 c (2128,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2266.98/2256.39 c (2128,0) c |------------------------------------------------------------------------------------------------------------------------| 2266.98/2256.39 c (2128,0) c | 0 | 1236 | 776747 | 186282 | 1829767 | 46698 | 19343 | 0 | 0 | 61473 | 20 | 0.007 | 2266.98/2256.39 c (2128,0) c 2266.98/2256.39 c (2128,0) c synthesis 186282 conflicts 1227180098 propagations 88 conflicts/sec 580675 propagations/sec 2266.98/2256.39 c (2128,0) c real: 2127.24 s, cpu: 2113.37 s, memory: 5132.95 Mb 2296.99/2286.39 c (2158,0) c 2296.99/2286.39 c (2158,0) c |------------------------------------------------------------------------------------------------------------------------| 2296.99/2286.39 c (2158,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2296.99/2286.39 c (2158,0) c |------------------------------------------------------------------------------------------------------------------------| 2296.99/2286.39 c (2158,0) c | 0 | 1247 | 779766 | 186853 | 1830290 | 47269 | 19343 | 0 | 0 | 62311 | 20 | 0.007 | 2296.99/2286.39 c (2158,0) c 2296.99/2286.39 c (2158,0) c synthesis 186853 conflicts 1240735457 propagations 87 conflicts/sec 578904 propagations/sec 2296.99/2286.39 c (2158,0) c real: 2157.24 s, cpu: 2143.25 s, memory: 5132.95 Mb 2325.99/2315.39 c (2187,0) c 2325.99/2315.39 c (2187,0) c |------------------------------------------------------------------------------------------------------------------------| 2325.99/2315.39 c (2187,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2325.99/2315.39 c (2187,0) c |------------------------------------------------------------------------------------------------------------------------| 2325.99/2315.39 c (2187,0) c | 0 | 1258 | 782825 | 187403 | 1830607 | 47819 | 19344 | 0 | 0 | 63111 | 20 | 0.007 | 2325.99/2315.39 c (2187,0) c 2325.99/2315.39 c (2187,0) c synthesis 187403 conflicts 1253868648 propagations 86 conflicts/sec 577242 propagations/sec 2325.99/2315.39 c (2187,0) c real: 2186.24 s, cpu: 2172.17 s, memory: 5132.95 Mb 2355.02/2344.39 c (2216,0) c 2355.02/2344.39 c (2216,0) c |------------------------------------------------------------------------------------------------------------------------| 2355.02/2344.39 c (2216,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2355.02/2344.39 c (2216,0) c |------------------------------------------------------------------------------------------------------------------------| 2355.02/2344.39 c (2216,0) c | 0 | 1269 | 785833 | 187966 | 1831078 | 48382 | 19344 | 0 | 0 | 63926 | 20 | 0.007 | 2355.02/2344.39 c (2216,0) c 2355.02/2344.39 c (2216,0) c synthesis 187966 conflicts 1266617281 propagations 85 conflicts/sec 575456 propagations/sec 2355.02/2344.39 c (2216,0) c real: 2215.24 s, cpu: 2201.07 s, memory: 5132.95 Mb 2385.02/2374.39 c (2246,0) c 2385.02/2374.39 c (2246,0) c |------------------------------------------------------------------------------------------------------------------------| 2385.02/2374.39 c (2246,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2385.02/2374.39 c (2246,0) c |------------------------------------------------------------------------------------------------------------------------| 2385.02/2374.39 c (2246,0) c | 0 | 1281 | 789112 | 188561 | 1831374 | 48977 | 19344 | 0 | 0 | 64774 | 20 | 0.007 | 2385.02/2374.39 c (2246,0) c 2385.02/2374.39 c (2246,0) c synthesis 188561 conflicts 1280600836 propagations 85 conflicts/sec 574014 propagations/sec 2385.02/2374.39 c (2246,0) c real: 2245.24 s, cpu: 2230.96 s, memory: 5132.95 Mb 2414.04/2403.39 c (2275,0) c 2414.04/2403.39 c (2275,0) c |------------------------------------------------------------------------------------------------------------------------| 2414.04/2403.39 c (2275,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2414.04/2403.39 c (2275,0) c |------------------------------------------------------------------------------------------------------------------------| 2414.04/2403.39 c (2275,0) c | 0 | 1292 | 792103 | 189103 | 1831725 | 49519 | 19344 | 0 | 0 | 65581 | 20 | 0.007 | 2414.04/2403.39 c (2275,0) c 2414.04/2403.39 c (2275,0) c synthesis 189103 conflicts 1293874529 propagations 84 conflicts/sec 572551 propagations/sec 2414.04/2403.39 c (2275,0) c real: 2274.24 s, cpu: 2259.84 s, memory: 5132.95 Mb 2443.05/2432.39 c (2304,0) c 2443.05/2432.39 c (2304,0) c |------------------------------------------------------------------------------------------------------------------------| 2443.05/2432.39 c (2304,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2443.05/2432.39 c (2304,0) c |------------------------------------------------------------------------------------------------------------------------| 2443.05/2432.39 c (2304,0) c | 0 | 1303 | 795130 | 189670 | 1831974 | 50086 | 19344 | 0 | 0 | 66390 | 20 | 0.007 | 2443.05/2432.39 c (2304,0) c 2443.05/2432.39 c (2304,0) c synthesis 189670 conflicts 1306975773 propagations 83 conflicts/sec 571043 propagations/sec 2443.05/2432.39 c (2304,0) c real: 2303.24 s, cpu: 2288.75 s, memory: 5132.95 Mb 2473.07/2462.39 c (2334,0) c 2473.07/2462.39 c (2334,0) c |------------------------------------------------------------------------------------------------------------------------| 2473.07/2462.39 c (2334,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2473.07/2462.39 c (2334,0) c |------------------------------------------------------------------------------------------------------------------------| 2473.07/2462.39 c (2334,0) c | 0 | 1319 | 813142 | 193170 | 1874685 | 53586 | 19947 | 0 | 0 | 67254 | 20 | 0.007 | 2473.07/2462.39 c (2334,0) c 2473.07/2462.39 c (2334,0) c synthesis 193170 conflicts 1325010505 propagations 83 conflicts/sec 571467 propagations/sec 2473.07/2462.39 c (2334,0) c real: 2333.24 s, cpu: 2318.61 s, memory: 5132.95 Mb 2502.08/2491.39 c (2363,0) c 2502.08/2491.39 c (2363,0) c |------------------------------------------------------------------------------------------------------------------------| 2502.08/2491.39 c (2363,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2502.08/2491.39 c (2363,0) c |------------------------------------------------------------------------------------------------------------------------| 2502.08/2491.39 c (2363,0) c | 0 | 1340 | 821739 | 194580 | 1911944 | 54995 | 20036 | 0 | 0 | 68135 | 20 | 0.008 | 2502.08/2491.39 c (2363,0) c 2502.08/2491.39 c (2363,0) c synthesis 194580 conflicts 1340807270 propagations 83 conflicts/sec 571169 propagations/sec 2502.08/2491.39 c (2363,0) c real: 2362.24 s, cpu: 2347.48 s, memory: 5132.95 Mb 2530.79/2520.01 c (2391,0) receiving signal SIGTERM 2530.79/2520.01 s UNKNOWN 2530.79/2520.01 c (scop.sh) Receiving Signal. Removing all intermediate files. 2530.79/2520.01 c (scop.sh) Remove HOME/scop-24694-serial-file.bin. 2530.79/2520.02 c (scop.sh) Killing background jobs. 2530.79/2520.02 c (2391,0) receiving signal SIGTERM
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 (15221 MiB free)
memory of node 1: 16384 MiB (15507 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392544-1568432270/watcher-4392544-1568432270 -o /tmp/evaluation-result-4392544-1568432270/solver-4392544-1568432270 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1568426604-21617 --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-4392544-1568432270.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=24694, runsolver pid=24691
Current StackSize limit: 8192 KiB
[startup+0.10484 s]*
/proc/loadavg: 5.06 3.02 4.12 2/216 24716
/proc/meminfo: memFree=31370912/32770624 swapFree=67004140/67108860
[pid=24694] ppid=24691 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24694/stat : 24694 (scop.sh) S 24691 24694 21590 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419466676 115843072 349 33554432000 4194304 5098028 140720814109840 140720814107096 140514179625596 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7766016 140720814113573 140720814113900 140720814113900 140720814116813 0
/proc/24694/statm: 28282 349 296 221 0 87 0
[pid=24697] ppid=24694 vsize=27314120 memory=108684 CPUtime=0.11 cores=0-7
/proc/24697/stat : 24697 (java) S 24694 24694 21590 0 -1 1077944320 6722 0 0 0 8 3 0 0 20 0 20 0 419466676 27969658880 27171 33554432000 4194304 4196468 140734633517408 140734633499952 140006922067703 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
/proc/24697/statm: 6828530 27171 2817 1 0 6790935 0
[pid=24697/tid=24698] ppid=24694 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/24697/task/24698/stat : 24698 (java) R 24694 24694 21590 0 -1 4202560 4755 0 0 0 7 2 0 0 20 0 20 0 419466676 27969658880 27171 33554432000 4194304 4196468 140734633517408 140006893879688 140006914304830 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
[pid=24697/tid=24699] ppid=24694 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/24697/task/24699/stat : 24699 (java) S 24694 24694 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419466679 27969658880 27171 33554432000 4194304 4196468 140734633517408 140006926310416 140006922077909 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
[pid=24697/tid=24700] ppid=24694 vsize=27314120 memory=140382359238272 CPUtime=0 cores=0-7
/proc/24697/task/24700/stat : 24700 (java) S 24694 24694 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419466679 27969658880 27171 33554432000 4194304 4196468 140734633517408 140006344260752 140006922077909 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
[pid=24697/tid=24701] ppid=24694 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24697/task/24701/stat : 24701 (java) S 24694 24694 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419466679 27969658880 27171 33554432000 4194304 4196468 140734633517408 140006343207696 140006922077909 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
[pid=24697/tid=24702] ppid=24694 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24697/task/24702/stat : 24702 (java) S 24694 24694 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419466679 27969658880 27171 33554432000 4194304 4196468 140734633517408 140006342155152 140006922077909 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
[pid=24697/tid=24703] ppid=24694 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24697/task/24703/stat : 24703 (java) S 24694 24694 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419466679 27969658880 27171 33554432000 4194304 4196468 140734633517408 140006341102096 140006922077909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
[pid=24697/tid=24704] ppid=24694 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24697/task/24704/stat : 24704 (java) S 24694 24694 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419466679 27969658880 27171 33554432000 4194304 4196468 140734633517408 140006340049552 140006922077909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
[pid=24697/tid=24705] ppid=24694 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24697/task/24705/stat : 24705 (java) S 24694 24694 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419466679 27969658880 27171 33554432000 4194304 4196468 140734633517408 140006338996496 140006922077909 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
[pid=24697/tid=24706] ppid=24694 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24697/task/24706/stat : 24706 (java) S 24694 24694 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419466679 27969658880 27171 33554432000 4194304 4196468 140734633517408 140006337943952 140006922077909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
[pid=24697/tid=24707] ppid=24694 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24697/task/24707/stat : 24707 (java) S 24694 24694 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419466680 27969658880 27171 33554432000 4194304 4196468 140734633517408 140005175208688 140006922078850 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
[pid=24697/tid=24708] ppid=24694 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24697/task/24708/stat : 24708 (java) S 24694 24694 21590 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419466681 27969658880 27171 33554432000 4194304 4196468 140734633517408 140004793771680 140006922077909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
[pid=24697/tid=24709] ppid=24694 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24697/task/24709/stat : 24709 (java) S 24694 24694 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419466681 27969658880 27171 33554432000 4194304 4196468 140734633517408 140004525335792 140006922077909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
[pid=24697/tid=24710] ppid=24694 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24697/task/24710/stat : 24710 (java) S 24694 24694 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419466683 27969658880 27171 33554432000 4194304 4196468 140734633517408 140004150827472 140006922086299 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
[pid=24697/tid=24711] ppid=24694 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24697/task/24711/stat : 24711 (java) S 24694 24694 21590 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 419466683 27969658880 27237 33554432000 4194304 4196468 140734633517408 140005174155504 140006922078850 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
[pid=24697/tid=24712] ppid=24694 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24697/task/24712/stat : 24712 (java) S 24694 24694 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419466683 27969658880 27237 33554432000 4194304 4196468 140734633517408 140005173102960 140006922078850 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
[pid=24697/tid=24713] ppid=24694 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24697/task/24713/stat : 24713 (java) S 24694 24694 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419466683 27969658880 27237 33554432000 4194304 4196468 140734633517408 140005172049904 140006922078850 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
[pid=24697/tid=24714] ppid=24694 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24697/task/24714/stat : 24714 (java) R 24694 24694 21590 0 -1 4202560 334 0 0 0 0 0 0 0 20 0 20 0 419466683 27969658880 27237 33554432000 4194304 4196468 140734633517408 140005170997360 140006906379772 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
[pid=24697/tid=24715] ppid=24694 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24697/task/24715/stat : 24715 (java) S 24694 24694 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419466684 27969658880 27237 33554432000 4194304 4196468 140734633517408 140003652922336 140006922077909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
[pid=24697/tid=24716] ppid=24694 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24697/task/24716/stat : 24716 (java) S 24694 24694 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419466684 27969658880 27237 33554432000 4194304 4196468 140734633517408 140005169945776 140006922078850 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 110080 KiB
[startup+0.210747 s]*
/proc/loadavg: 5.06 3.02 4.12 2/216 24716
/proc/meminfo: memFree=31350480/32770624 swapFree=67004140/67108860
[pid=24694] ppid=24691 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24694/stat : 24694 (scop.sh) S 24691 24694 21590 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419466676 115843072 349 33554432000 4194304 5098028 140720814109840 140720814107096 140514179625596 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7766016 140720814113573 140720814113900 140720814113900 140720814116813 0
/proc/24694/statm: 28282 349 296 221 0 87 0
[pid=24697] ppid=24694 vsize=27314120 memory=125248 CPUtime=0.25 cores=0-7
/proc/24697/stat : 24697 (java) S 24694 24694 21590 0 -1 1077944320 12239 0 0 0 20 5 0 0 20 0 20 0 419466676 27969658880 31312 33554432000 4194304 4196468 140734633517408 140734633499952 140006922067703 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
/proc/24697/statm: 6828530 31312 2940 1 0 6790935 0
[pid=24697/tid=24698] ppid=24694 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/24697/task/24698/stat : 24698 (java) R 24694 24694 21590 0 -1 4202560 9943 0 0 0 16 4 0 0 20 0 20 0 419466676 27969658880 31312 33554432000 4194304 4196468 140734633517408 140006893886944 140006922081607 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
[pid=24697/tid=24699] ppid=24694 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/24697/task/24699/stat : 24699 (java) S 24694 24694 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419466679 27969658880 31312 33554432000 4194304 4196468 140734633517408 140006926310416 140006922077909 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
[pid=24697/tid=24700] ppid=24694 vsize=27314120 memory=3616592662786455200 CPUtime=0 cores=0-7
/proc/24697/task/24700/stat : 24700 (java) S 24694 24694 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419466679 27969658880 31312 33554432000 4194304 4196468 140734633517408 140006344260752 140006922077909 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
[pid=24697/tid=24701] ppid=24694 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24697/task/24701/stat : 24701 (java) S 24694 24694 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419466679 27969658880 31312 33554432000 4194304 4196468 140734633517408 140006343207696 140006922077909 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
[pid=24697/tid=24702] ppid=24694 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24697/task/24702/stat : 24702 (java) S 24694 24694 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419466679 27969658880 31312 33554432000 4194304 4196468 140734633517408 140006342155152 140006922077909 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
[pid=24697/tid=24703] ppid=24694 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24697/task/24703/stat : 24703 (java) S 24694 24694 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419466679 27969658880 31312 33554432000 4194304 4196468 140734633517408 140006341102096 140006922077909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
[pid=24697/tid=24704] ppid=24694 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24697/task/24704/stat : 24704 (java) S 24694 24694 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419466679 27969658880 31312 33554432000 4194304 4196468 140734633517408 140006340049552 140006922077909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
[pid=24697/tid=24705] ppid=24694 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24697/task/24705/stat : 24705 (java) S 24694 24694 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419466679 27969658880 31312 33554432000 4194304 4196468 140734633517408 140006338996496 140006922077909 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
[pid=24697/tid=24706] ppid=24694 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24697/task/24706/stat : 24706 (java) S 24694 24694 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419466679 27969658880 31312 33554432000 4194304 4196468 140734633517408 140006337943952 140006922077909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
[pid=24697/tid=24707] ppid=24694 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24697/task/24707/stat : 24707 (java) S 24694 24694 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419466680 27969658880 31312 33554432000 4194304 4196468 140734633517408 140005175208688 140006922078850 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
[pid=24697/tid=24708] ppid=24694 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24697/task/24708/stat : 24708 (java) S 24694 24694 21590 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419466681 27969658880 31312 33554432000 4194304 4196468 140734633517408 140004793771680 140006922077909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
[pid=24697/tid=24709] ppid=24694 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24697/task/24709/stat : 24709 (java) S 24694 24694 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419466681 27969658880 31312 33554432000 4194304 4196468 140734633517408 140004525335792 140006922077909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
[pid=24697/tid=24710] ppid=24694 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24697/task/24710/stat : 24710 (java) S 24694 24694 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419466683 27969658880 31312 33554432000 4194304 4196468 140734633517408 140004150827472 140006922086299 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
[pid=24697/tid=24711] ppid=24694 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24697/task/24711/stat : 24711 (java) S 24694 24694 21590 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 419466683 27969658880 31312 33554432000 4194304 4196468 140734633517408 140005174155504 140006922078850 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
[pid=24697/tid=24712] ppid=24694 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24697/task/24712/stat : 24712 (java) S 24694 24694 21590 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 419466683 27969658880 31312 33554432000 4194304 4196468 140734633517408 140005173102960 140006922078850 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
[pid=24697/tid=24713] ppid=24694 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24697/task/24713/stat : 24713 (java) S 24694 24694 21590 0 -1 1077944384 170 0 0 0 0 0 0 0 20 0 20 0 419466683 27969658880 31312 33554432000 4194304 4196468 140734633517408 140005172049904 140006922078850 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
[pid=24697/tid=24714] ppid=24694 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/24697/task/24714/stat : 24714 (java) S 24694 24694 21590 0 -1 1077944384 461 0 0 0 2 0 0 0 20 0 20 0 419466683 27969658880 31312 33554432000 4194304 4196468 140734633517408 140005170997360 140006922078850 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
[pid=24697/tid=24715] ppid=24694 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24697/task/24715/stat : 24715 (java) S 24694 24694 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419466684 27969658880 31312 33554432000 4194304 4196468 140734633517408 140003652922336 140006922077909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
[pid=24697/tid=24716] ppid=24694 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24697/task/24716/stat : 24716 (java) S 24694 24694 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419466684 27969658880 31312 33554432000 4194304 4196468 140734633517408 140005169945776 140006922078850 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126644 KiB
[startup+0.310557 s]*
/proc/loadavg: 5.06 3.02 4.12 2/216 24716
/proc/meminfo: memFree=31347316/32770624 swapFree=67004140/67108860
[pid=24694] ppid=24691 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24694/stat : 24694 (scop.sh) S 24691 24694 21590 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419466676 115843072 349 33554432000 4194304 5098028 140720814109840 140720814107096 140514179625596 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7766016 140720814113573 140720814113900 140720814113900 140720814116813 0
/proc/24694/statm: 28282 349 296 221 0 87 0
[pid=24697] ppid=24694 vsize=27314120 memory=129812 CPUtime=0.42 cores=0-7
/proc/24697/stat : 24697 (java) S 24694 24694 21590 0 -1 1077944320 12810 0 0 0 37 5 0 0 20 0 20 0 419466676 27969658880 32453 33554432000 4194304 4196468 140734633517408 140734633499952 140006922067703 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
/proc/24697/statm: 6828530 32453 3039 1 0 6790935 0
[pid=24697/tid=24698] ppid=24694 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/24697/task/24698/stat : 24698 (java) R 24694 24694 21590 0 -1 4202560 10306 0 0 0 26 4 0 0 20 0 20 0 419466676 27969658880 32453 33554432000 4194304 4196468 140734633517408 140006893895040 140006903631278 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
[pid=24697/tid=24699] ppid=24694 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24697/task/24699/stat : 24699 (java) S 24694 24694 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419466679 27969658880 32453 33554432000 4194304 4196468 140734633517408 140006926310416 140006922077909 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
[pid=24697/tid=24700] ppid=24694 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24697/task/24700/stat : 24700 (java) S 24694 24694 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419466679 27969658880 32453 33554432000 4194304 4196468 140734633517408 140006344260752 140006922077909 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
[pid=24697/tid=24701] ppid=24694 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24697/task/24701/stat : 24701 (java) S 24694 24694 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419466679 27969658880 32453 33554432000 4194304 4196468 140734633517408 140006343207696 140006922077909 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
[pid=24697/tid=24702] ppid=24694 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24697/task/24702/stat : 24702 (java) S 24694 24694 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419466679 27969658880 32453 33554432000 4194304 4196468 140734633517408 140006342155152 140006922077909 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
[pid=24697/tid=24703] ppid=24694 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/24697/task/24703/stat : 24703 (java) S 24694 24694 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419466679 27969658880 32453 33554432000 4194304 4196468 140734633517408 140006341102096 140006922077909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
[pid=24697/tid=24704] ppid=24694 vsize=27314120 memory=140382214124463 CPUtime=0 cores=0-7
/proc/24697/task/24704/stat : 24704 (java) S 24694 24694 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419466679 27969658880 32453 33554432000 4194304 4196468 140734633517408 140006340049552 140006922077909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
[pid=24697/tid=24705] ppid=24694 vsize=27314120 memory=140382214126768 CPUtime=0 cores=0-7
/proc/24697/task/24705/stat : 24705 (java) S 24694 24694 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419466679 27969658880 32453 33554432000 4194304 4196468 140734633517408 140006338996496 140006922077909 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
[pid=24697/tid=24706] ppid=24694 vsize=27314120 memory=140382214129072 CPUtime=0 cores=0-7
/proc/24697/task/24706/stat : 24706 (java) S 24694 24694 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419466679 27969658880 32453 33554432000 4194304 4196468 140734633517408 140006337943952 140006922077909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
[pid=24697/tid=24707] ppid=24694 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24697/task/24707/stat : 24707 (java) S 24694 24694 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419466680 27969658880 32453 33554432000 4194304 4196468 140734633517408 140005175208688 140006922078850 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
[pid=24697/tid=24708] ppid=24694 vsize=27314120 memory=280764428265104 CPUtime=0 cores=0-7
/proc/24697/task/24708/stat : 24708 (java) S 24694 24694 21590 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419466681 27969658880 32453 33554432000 4194304 4196468 140734633517408 140004793771680 140006922077909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
[pid=24697/tid=24709] ppid=24694 vsize=27314120 memory=280764428272016 CPUtime=0 cores=0-7
/proc/24697/task/24709/stat : 24709 (java) S 24694 24694 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419466681 27969658880 32453 33554432000 4194304 4196468 140734633517408 140004525335792 140006922077909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
[pid=24697/tid=24710] ppid=24694 vsize=27314120 memory=280764428213296 CPUtime=0 cores=0-7
/proc/24697/task/24710/stat : 24710 (java) S 24694 24694 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419466683 27969658880 32453 33554432000 4194304 4196468 140734633517408 140004150827472 140006922086299 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
[pid=24697/tid=24711] ppid=24694 vsize=27314120 memory=280764428285840 CPUtime=0.01 cores=0-7
/proc/24697/task/24711/stat : 24711 (java) S 24694 24694 21590 0 -1 1077944384 337 0 0 0 1 0 0 0 20 0 20 0 419466683 27969658880 32453 33554432000 4194304 4196468 140734633517408 140005174155504 140006922078850 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
[pid=24697/tid=24712] ppid=24694 vsize=27314120 memory=280764428292752 CPUtime=0.01 cores=0-7
/proc/24697/task/24712/stat : 24712 (java) S 24694 24694 21590 0 -1 1077944384 118 0 0 0 1 0 0 0 20 0 20 0 419466683 27969658880 32453 33554432000 4194304 4196468 140734633517408 140005173102960 140006922078850 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
[pid=24697/tid=24713] ppid=24694 vsize=27314120 memory=280764428290448 CPUtime=0.01 cores=0-7
/proc/24697/task/24713/stat : 24713 (java) S 24694 24694 21590 0 -1 1077944384 202 0 0 0 1 0 0 0 20 0 20 0 419466683 27969658880 32453 33554432000 4194304 4196468 140734633517408 140005172049904 140006922078850 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
[pid=24697/tid=24714] ppid=24694 vsize=27314120 memory=280764428306608 CPUtime=0.07 cores=0-7
/proc/24697/task/24714/stat : 24714 (java) S 24694 24694 21590 0 -1 1077944384 508 0 0 0 7 0 0 0 20 0 20 0 419466683 27969658880 32453 33554432000 4194304 4196468 140734633517408 140005170997360 140006922078850 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
[pid=24697/tid=24715] ppid=24694 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24697/task/24715/stat : 24715 (java) S 24694 24694 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419466684 27969658880 32453 33554432000 4194304 4196468 140734633517408 140003652922336 140006922077909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
[pid=24697/tid=24716] ppid=24694 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24697/task/24716/stat : 24716 (java) S 24694 24694 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419466684 27969658880 32453 33554432000 4194304 4196468 140734633517408 140005169945776 140006922078850 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131208 KiB
[startup+0.70097 s]
/proc/loadavg: 5.06 3.02 4.12 2/216 24716
/proc/meminfo: memFree=31325240/32770624 swapFree=67004140/67108860
[pid=24694] ppid=24691 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24694/stat : 24694 (scop.sh) S 24691 24694 21590 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419466676 115843072 349 33554432000 4194304 5098028 140720814109840 140720814107096 140514179625596 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7766016 140720814113573 140720814113900 140720814113900 140720814116813 0
/proc/24694/statm: 28282 349 296 221 0 87 0
[pid=24697] ppid=24694 vsize=27320392 memory=164348 CPUtime=0.94 cores=0-7
/proc/24697/stat : 24697 (java) S 24694 24694 21590 0 -1 1077944320 20260 0 0 0 86 8 0 0 20 0 20 0 419466676 27976081408 41087 33554432000 4194304 4196468 140734633517408 140734633499952 140006922067703 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
/proc/24697/statm: 6830098 41087 3181 1 0 6791447 0
[pid=24697/tid=24698] ppid=24694 vsize=27320392 memory=280764428664496 CPUtime=0.65 cores=0-7
/proc/24697/task/24698/stat : 24698 (java) D 24694 24694 21590 0 -1 4202560 17277 0 0 0 58 7 0 0 20 0 20 0 419466676 27976081408 41087 33554432000 4194304 4196468 140734633517408 140006893906976 140006922089629 0 4 2 25189581 18446744072100699269 0 0 -1 1 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
[pid=24697/tid=24699] ppid=24694 vsize=27320392 memory=140382214333296 CPUtime=0 cores=0-7
/proc/24697/task/24699/stat : 24699 (java) S 24694 24694 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419466679 27976081408 41087 33554432000 4194304 4196468 140734633517408 140006926310416 140006922077909 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
[pid=24697/tid=24700] ppid=24694 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/24697/task/24700/stat : 24700 (java) S 24694 24694 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419466679 27976081408 41087 33554432000 4194304 4196468 140734633517408 140006344260752 140006922077909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
[pid=24697/tid=24701] ppid=24694 vsize=27320392 memory=2832 CPUtime=0 cores=0-7
/proc/24697/task/24701/stat : 24701 (java) S 24694 24694 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419466679 27976081408 41087 33554432000 4194304 4196468 140734633517408 140006343207696 140006922077909 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14712832 140734633521899 140734633522326 140734633522326 140734633525199 0
################
# More data... #
################
/proc/24724/task/24727/stat : 24727 (java) S 24691 24694 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 26 0 419479449 9018724352 34371 33554432000 4194304 4196468 140722858586240 139621429307920 139621624907477 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24728] ppid=24691 vsize=8807348 memory=1804 CPUtime=0 cores=0-7
/proc/24724/task/24728/stat : 24728 (java) S 24691 24694 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 26 0 419479449 9018724352 34371 33554432000 4194304 4196468 140722858586240 139621428255120 139621624907477 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24729] ppid=24691 vsize=8807348 memory=920 CPUtime=0 cores=0-7
/proc/24724/task/24729/stat : 24729 (java) S 24691 24694 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 26 0 419479449 9018724352 34371 33554432000 4194304 4196468 140722858586240 139621427202320 139621624907477 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24730] ppid=24691 vsize=8807348 memory=-8888807589694173586 CPUtime=0 cores=0-7
/proc/24724/task/24730/stat : 24730 (java) S 24691 24694 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 26 0 419479449 9018724352 34371 33554432000 4194304 4196468 140722858586240 139621426150544 139621624907477 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24731] ppid=24691 vsize=8807348 memory=127244 CPUtime=0 cores=0-7
/proc/24724/task/24731/stat : 24731 (java) S 24691 24694 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 26 0 419479449 9018724352 34371 33554432000 4194304 4196468 140722858586240 139621425097744 139621624907477 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24732] ppid=24691 vsize=8807348 memory=4260928 CPUtime=0 cores=0-7
/proc/24724/task/24732/stat : 24732 (java) S 24691 24694 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 26 0 419479449 9018724352 34371 33554432000 4194304 4196468 140722858586240 139621424044944 139621624907477 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24733] ppid=24691 vsize=8807348 memory=-3253322038155611931 CPUtime=0 cores=0-7
/proc/24724/task/24733/stat : 24733 (java) S 24691 24694 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 26 0 419479449 9018724352 34371 33554432000 4194304 4196468 140722858586240 139621422992144 139621624907477 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24734] ppid=24691 vsize=8807348 memory=1476 CPUtime=0.07 cores=0-7
/proc/24724/task/24734/stat : 24734 (java) S 24691 24694 21590 0 -1 1077944384 14 0 0 0 3 4 0 0 20 0 26 0 419479451 9018724352 34371 33554432000 4194304 4196468 140722858586240 139620718164336 139621624908418 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24735] ppid=24691 vsize=8807348 memory=1056 CPUtime=0 cores=0-7
/proc/24724/task/24735/stat : 24735 (java) S 24691 24694 21590 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 26 0 419479451 9018724352 34371 33554432000 4194304 4196468 140722858586240 139620259980320 139621624907477 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24736] ppid=24691 vsize=8807348 memory=1540 CPUtime=0 cores=0-7
/proc/24724/task/24736/stat : 24736 (java) S 24691 24694 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 26 0 419479452 9018724352 34371 33554432000 4194304 4196468 140722858586240 139619991544688 139621624907477 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24737] ppid=24691 vsize=8807348 memory=728 CPUtime=0 cores=0-7
/proc/24724/task/24737/stat : 24737 (java) S 24691 24694 21590 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 26 0 419479454 9018724352 34371 33554432000 4194304 4196468 140722858586240 139619617036112 139621624915867 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24738] ppid=24691 vsize=8807348 memory=3924 CPUtime=0.04 cores=0-7
/proc/24724/task/24738/stat : 24738 (java) S 24691 24694 21590 0 -1 1077944384 440 0 0 0 3 1 0 0 20 0 26 0 419479454 9018724352 34371 33554432000 4194304 4196468 140722858586240 139620717112176 139621624908418 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24739] ppid=24691 vsize=8807348 memory=2832 CPUtime=0.12 cores=0-7
/proc/24724/task/24739/stat : 24739 (java) S 24691 24694 21590 0 -1 1077944384 366 0 0 0 12 0 0 0 20 0 26 0 419479454 9018724352 34371 33554432000 4194304 4196468 140722858586240 139620716059376 139621624908418 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24740] ppid=24691 vsize=8807348 memory=1212 CPUtime=0.09 cores=0-7
/proc/24724/task/24740/stat : 24740 (java) S 24691 24694 21590 0 -1 1077944384 428 0 0 0 8 1 0 0 20 0 26 0 419479454 9018724352 34371 33554432000 4194304 4196468 140722858586240 139620715006576 139621624908418 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24741] ppid=24691 vsize=8807348 memory=1036 CPUtime=0.25 cores=0-7
/proc/24724/task/24741/stat : 24741 (java) S 24691 24694 21590 0 -1 1077944384 1162 0 0 0 25 0 0 0 20 0 26 0 419479454 9018724352 34371 33554432000 4194304 4196468 140722858586240 139620713953776 139621624908418 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24742] ppid=24691 vsize=8807348 memory=14008 CPUtime=0 cores=0-7
/proc/24724/task/24742/stat : 24742 (java) S 24691 24694 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 26 0 419479455 9018724352 34371 33554432000 4194304 4196468 140722858586240 139619119131232 139621624907477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24743] ppid=24691 vsize=8807348 memory=12024 CPUtime=1.59 cores=0-7
/proc/24724/task/24743/stat : 24743 (java) S 24691 24694 21590 0 -1 1077944384 158 0 0 0 81 78 0 0 20 0 26 0 419479455 9018724352 34371 33554432000 4194304 4196468 140722858586240 139620712901168 139621624908418 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24747] ppid=24691 vsize=8807348 memory=2116 CPUtime=0 cores=0-7
/proc/24724/task/24747/stat : 24747 (java) S 24691 24694 21590 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 26 0 419479591 9018724352 34371 33554432000 4194304 4196468 140722858586240 139620704867392 139621624921881 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24749] ppid=24691 vsize=8807348 memory=21760 CPUtime=0.04 cores=0-7
/proc/24724/task/24749/stat : 24749 (java) S 24691 24694 21590 0 -1 4202560 1738 0 0 0 2 2 0 0 20 0 26 0 419479591 9018724352 34371 33554432000 4194304 4196468 140722858586240 139618448032176 139621624919197 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24750] ppid=24691 vsize=8807348 memory=496 CPUtime=0 cores=0-7
/proc/24724/task/24750/stat : 24750 (java) S 24691 24694 21590 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 26 0 419479591 9018724352 34371 33554432000 4194304 4196468 140722858586240 139618716467248 139621624919197 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24751] ppid=24691 vsize=8807348 memory=1564 CPUtime=0 cores=0-7
/proc/24724/task/24751/stat : 24751 (java) S 24691 24694 21590 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 26 0 419479593 9018724352 34371 33554432000 4194304 4196468 140722858586240 139618179604016 139621624907477 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24959] ppid=24691 vsize=8807348 memory=928 CPUtime=0 cores=0-7
/proc/24724/task/24959/stat : 24959 (java) S 24691 24694 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 26 0 419718677 9018724352 34371 33554432000 4194304 4196468 140722858586240 139617911170080 139621624907477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24962] ppid=24691 vsize=8807348 memory=1744 CPUtime=0 cores=0-7
/proc/24724/task/24962/stat : 24962 (java) S 24691 24694 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 26 0 419718678 9018724352 34371 33554432000 4194304 4196468 140722858586240 139617642734496 139621624907477 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
Current cumulated CPU time of completed processes: 136.824 s
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 8807348 KiB
Current children cumulated memory: 137484 KiB
[startup+2520.3 s]
/proc/loadavg: 1.07 1.04 1.23 2/221 24962
/proc/meminfo: memFree=26843536/32770624 swapFree=67004140/67108860
[pid=24724] ppid=24691 vsize=8545196 memory=137472 CPUtime=2394.3 cores=0-7
/proc/24724/stat : 24724 (java) S 24691 24694 21590 0 -1 1077944320 22612 17743127 0 0 215 94 237597 1524 20 0 23 0 419479447 8750280704 34368 33554432000 4194304 4196468 140722858586240 140722858568784 139621624897271 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
/proc/24724/statm: 2136299 34368 3198 1 0 2097643 0
[pid=24724/tid=24725] ppid=24691 vsize=8545196 memory=6791534058613427641 CPUtime=2391.98 cores=0-7
/proc/24724/task/24725/stat : 24725 (java) S 24691 24694 21590 0 -1 1077944384 16875 17743127 0 0 71 6 237597 1524 20 0 23 0 419479448 8750280704 34368 33554432000 4194304 4196468 140722858586240 139621596737440 139621624907477 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 67 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24726] ppid=24691 vsize=8545196 memory=1440 CPUtime=2391.21 cores=0-7
/proc/24724/task/24726/stat : 24726 (java) S 24691 24694 21590 0 -1 1077944384 1 17743127 0 0 0 0 237597 1524 20 0 23 0 419479449 8750280704 34368 33554432000 4194304 4196468 140722858586240 139621629139600 139621624907477 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24727] ppid=24691 vsize=8545196 memory=1984 CPUtime=2391.21 cores=0-7
/proc/24724/task/24727/stat : 24727 (java) S 24691 24694 21590 0 -1 1077944384 2 17743127 0 0 0 0 237597 1524 20 0 23 0 419479449 8750280704 34368 33554432000 4194304 4196468 140722858586240 139621429307920 139621624907477 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24728] ppid=24691 vsize=8545196 memory=2376 CPUtime=2391.21 cores=0-7
/proc/24724/task/24728/stat : 24728 (java) S 24691 24694 21590 0 -1 1077944384 2 17743127 0 0 0 0 237597 1524 20 0 23 0 419479449 8750280704 34368 33554432000 4194304 4196468 140722858586240 139621428255120 139621624907477 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24729] ppid=24691 vsize=8545196 memory=1768 CPUtime=2391.21 cores=0-7
/proc/24724/task/24729/stat : 24729 (java) S 24691 24694 21590 0 -1 1077944384 2 17743127 0 0 0 0 237597 1524 20 0 23 0 419479449 8750280704 34368 33554432000 4194304 4196468 140722858586240 139621427202320 139621624907477 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24730] ppid=24691 vsize=8545196 memory=111628 CPUtime=2391.21 cores=0-7
/proc/24724/task/24730/stat : 24730 (java) S 24691 24694 21590 0 -1 1077944384 3 17743127 0 0 0 0 237597 1524 20 0 23 0 419479449 8750280704 34368 33554432000 4194304 4196468 140722858586240 139621426150544 139621624907477 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24731] ppid=24691 vsize=8545196 memory=804 CPUtime=2391.21 cores=0-7
/proc/24724/task/24731/stat : 24731 (java) S 24691 24694 21590 0 -1 1077944384 2 17743127 0 0 0 0 237597 1524 20 0 23 0 419479449 8750280704 34368 33554432000 4194304 4196468 140722858586240 139621425097744 139621624907477 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24732] ppid=24691 vsize=8545196 memory=1660 CPUtime=2391.21 cores=0-7
/proc/24724/task/24732/stat : 24732 (java) S 24691 24694 21590 0 -1 1077944384 1 17743127 0 0 0 0 237597 1524 20 0 23 0 419479449 8750280704 34368 33554432000 4194304 4196468 140722858586240 139621424044944 139621624907477 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24733] ppid=24691 vsize=8545196 memory=1804 CPUtime=2391.21 cores=0-7
/proc/24724/task/24733/stat : 24733 (java) S 24691 24694 21590 0 -1 1077944384 1 17743127 0 0 0 0 237597 1524 20 0 23 0 419479449 8750280704 34368 33554432000 4194304 4196468 140722858586240 139621422992144 139621624907477 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24734] ppid=24691 vsize=8545196 memory=920 CPUtime=2391.28 cores=0-7
/proc/24724/task/24734/stat : 24734 (java) S 24691 24694 21590 0 -1 1077944384 14 17743127 0 0 3 4 237597 1524 20 0 23 0 419479451 8750280704 34368 33554432000 4194304 4196468 140722858586240 139620718163840 139621624908418 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24735] ppid=24691 vsize=8545196 memory=4736 CPUtime=2391.21 cores=0-7
/proc/24724/task/24735/stat : 24735 (java) S 24691 24694 21590 0 -1 1077944384 13 17743127 0 0 0 0 237597 1524 20 0 23 0 419479451 8750280704 34368 33554432000 4194304 4196468 140722858586240 139620259980320 139621624907477 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24736] ppid=24691 vsize=8545196 memory=21760 CPUtime=2391.21 cores=0-7
/proc/24724/task/24736/stat : 24736 (java) S 24691 24694 21590 0 -1 1077944384 1 17743127 0 0 0 0 237597 1524 20 0 23 0 419479452 8750280704 34368 33554432000 4194304 4196468 140722858586240 139619991544688 139621624907477 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24737] ppid=24691 vsize=8545196 memory=496 CPUtime=2391.21 cores=0-7
/proc/24724/task/24737/stat : 24737 (java) S 24691 24694 21590 0 -1 1077944384 31 17743127 0 0 0 0 237597 1524 20 0 23 0 419479454 8750280704 34368 33554432000 4194304 4196468 140722858586240 139619617035824 139621624907477 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24738] ppid=24691 vsize=8545196 memory=1564 CPUtime=2391.25 cores=0-7
/proc/24724/task/24738/stat : 24738 (java) S 24691 24694 21590 0 -1 1077944384 443 17743127 0 0 3 1 237597 1524 20 0 23 0 419479454 8750280704 34368 33554432000 4194304 4196468 140722858586240 139620717111072 139621624907477 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24739] ppid=24691 vsize=8545196 memory=928 CPUtime=2391.33 cores=0-7
/proc/24724/task/24739/stat : 24739 (java) S 24691 24694 21590 0 -1 1077944384 366 17743127 0 0 12 0 237597 1524 20 0 23 0 419479454 8750280704 34368 33554432000 4194304 4196468 140722858586240 139620716059376 139621624908418 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24740] ppid=24691 vsize=8545196 memory=1744 CPUtime=2391.3 cores=0-7
/proc/24724/task/24740/stat : 24740 (java) S 24691 24694 21590 0 -1 1077944384 428 17743127 0 0 8 1 237597 1524 20 0 23 0 419479454 8750280704 34368 33554432000 4194304 4196468 140722858586240 139620715006576 139621624908418 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24741] ppid=24691 vsize=8545196 memory=1476 CPUtime=2391.46 cores=0-7
/proc/24724/task/24741/stat : 24741 (java) S 24691 24694 21590 0 -1 1077944384 1164 17743127 0 0 25 0 237597 1524 20 0 23 0 419479454 8750280704 34368 33554432000 4194304 4196468 140722858586240 139620713948544 139621624907477 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24742] ppid=24691 vsize=8545196 memory=127244 CPUtime=2391.21 cores=0-7
/proc/24724/task/24742/stat : 24742 (java) S 24691 24694 21590 0 -1 1077944384 3 17743127 0 0 0 0 237597 1524 20 0 23 0 419479455 8750280704 34368 33554432000 4194304 4196468 140722858586240 139619119131232 139621624907477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24747] ppid=24691 vsize=8545196 memory=-8888807589694173586 CPUtime=2391.21 cores=0-7
/proc/24724/task/24747/stat : 24747 (java) S 24691 24694 21590 0 -1 1077944384 23 17743127 0 0 0 0 237597 1524 20 0 23 0 419479591 8750280704 34368 33554432000 4194304 4196468 140722858586240 139620704865104 139621624907477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24751] ppid=24691 vsize=8545196 memory=4260916 CPUtime=2391.21 cores=0-7
/proc/24724/task/24751/stat : 24751 (java) S 24691 24694 21590 0 -1 1077944384 9 17743127 0 0 0 0 237597 1524 20 0 23 0 419479593 8750280704 34368 33554432000 4194304 4196468 140722858586240 139618179596192 139621624907477 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24959] ppid=24691 vsize=8545196 memory=0 CPUtime=2391.25 cores=0-7
/proc/24724/task/24959/stat : 24959 (java) R 24691 24694 21590 0 -1 4202560 3 17743127 0 0 0 4 237597 1524 20 0 23 0 419718677 8750280704 34368 33554432000 4194304 4196468 140722858586240 139617911170080 139621617582903 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24962] ppid=24691 vsize=8545196 memory=9023581129207210338 CPUtime=2391.21 cores=0-7
/proc/24724/task/24962/stat : 24962 (java) S 24691 24694 21590 0 -1 1077944384 2 17743127 0 0 0 0 237597 1524 20 0 23 0 419718678 8750280704 34368 33554432000 4194304 4196468 140722858586240 139617642733648 139621624907477 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
Current cumulated CPU time of completed processes: 136.824 s
Current children cumulated CPU time: 2394.3 s
Current children cumulated vsize: 8545196 KiB
Current children cumulated memory: 137472 KiB
[startup+2520.4 s]
/proc/loadavg: 1.07 1.04 1.23 2/221 24962
/proc/meminfo: memFree=26843536/32770624 swapFree=67004140/67108860
[pid=24724] ppid=24691 vsize=8545196 memory=137472 CPUtime=2394.41 cores=0-7
/proc/24724/stat : 24724 (java) S 24691 24694 21590 0 -1 1077944320 22612 17743127 0 0 215 105 237597 1524 20 0 23 0 419479447 8750280704 34368 33554432000 4194304 4196468 140722858586240 140722858568784 139621624897271 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
/proc/24724/statm: 2136299 34368 3198 1 0 2097643 0
[pid=24724/tid=24725] ppid=24691 vsize=8545196 memory=1476 CPUtime=2391.98 cores=0-7
/proc/24724/task/24725/stat : 24725 (java) S 24691 24694 21590 0 -1 1077944384 16875 17743127 0 0 71 6 237597 1524 20 0 23 0 419479448 8750280704 34368 33554432000 4194304 4196468 140722858586240 139621596737440 139621624907477 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 67 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24726] ppid=24691 vsize=8545196 memory=127244 CPUtime=2391.21 cores=0-7
/proc/24724/task/24726/stat : 24726 (java) S 24691 24694 21590 0 -1 1077944384 1 17743127 0 0 0 0 237597 1524 20 0 23 0 419479449 8750280704 34368 33554432000 4194304 4196468 140722858586240 139621629139600 139621624907477 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24727] ppid=24691 vsize=8545196 memory=127244 CPUtime=2391.21 cores=0-7
/proc/24724/task/24727/stat : 24727 (java) S 24691 24694 21590 0 -1 1077944384 2 17743127 0 0 0 0 237597 1524 20 0 23 0 419479449 8750280704 34368 33554432000 4194304 4196468 140722858586240 139621429307920 139621624907477 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24728] ppid=24691 vsize=8545196 memory=127244 CPUtime=2391.21 cores=0-7
/proc/24724/task/24728/stat : 24728 (java) S 24691 24694 21590 0 -1 1077944384 2 17743127 0 0 0 0 237597 1524 20 0 23 0 419479449 8750280704 34368 33554432000 4194304 4196468 140722858586240 139621428255120 139621624907477 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24729] ppid=24691 vsize=8545196 memory=127244 CPUtime=2391.21 cores=0-7
/proc/24724/task/24729/stat : 24729 (java) S 24691 24694 21590 0 -1 1077944384 2 17743127 0 0 0 0 237597 1524 20 0 23 0 419479449 8750280704 34368 33554432000 4194304 4196468 140722858586240 139621427202320 139621624907477 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24730] ppid=24691 vsize=8545196 memory=127244 CPUtime=2391.21 cores=0-7
/proc/24724/task/24730/stat : 24730 (java) S 24691 24694 21590 0 -1 1077944384 3 17743127 0 0 0 0 237597 1524 20 0 23 0 419479449 8750280704 34368 33554432000 4194304 4196468 140722858586240 139621426150544 139621624907477 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24731] ppid=24691 vsize=8545196 memory=127244 CPUtime=2391.21 cores=0-7
/proc/24724/task/24731/stat : 24731 (java) S 24691 24694 21590 0 -1 1077944384 2 17743127 0 0 0 0 237597 1524 20 0 23 0 419479449 8750280704 34368 33554432000 4194304 4196468 140722858586240 139621425097744 139621624907477 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24732] ppid=24691 vsize=8545196 memory=1476 CPUtime=2391.21 cores=0-7
/proc/24724/task/24732/stat : 24732 (java) S 24691 24694 21590 0 -1 1077944384 1 17743127 0 0 0 0 237597 1524 20 0 23 0 419479449 8750280704 34368 33554432000 4194304 4196468 140722858586240 139621424044944 139621624907477 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24733] ppid=24691 vsize=8545196 memory=4260928 CPUtime=2391.21 cores=0-7
/proc/24724/task/24733/stat : 24733 (java) S 24691 24694 21590 0 -1 1077944384 1 17743127 0 0 0 0 237597 1524 20 0 23 0 419479449 8750280704 34368 33554432000 4194304 4196468 140722858586240 139621422992144 139621624907477 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24734] ppid=24691 vsize=8545196 memory=137484 CPUtime=2391.28 cores=0-7
/proc/24724/task/24734/stat : 24734 (java) S 24691 24694 21590 0 -1 1077944384 14 17743127 0 0 3 4 237597 1524 20 0 23 0 419479451 8750280704 34368 33554432000 4194304 4196468 140722858586240 139620718163840 139621624908418 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24735] ppid=24691 vsize=8545196 memory=1476 CPUtime=2391.21 cores=0-7
/proc/24724/task/24735/stat : 24735 (java) S 24691 24694 21590 0 -1 1077944384 13 17743127 0 0 0 0 237597 1524 20 0 23 0 419479451 8750280704 34368 33554432000 4194304 4196468 140722858586240 139620259980320 139621624907477 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24736] ppid=24691 vsize=8545196 memory=4 CPUtime=2391.21 cores=0-7
/proc/24724/task/24736/stat : 24736 (java) S 24691 24694 21590 0 -1 1077944384 1 17743127 0 0 0 0 237597 1524 20 0 23 0 419479452 8750280704 34368 33554432000 4194304 4196468 140722858586240 139619991544688 139621624907477 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24737] ppid=24691 vsize=8545196 memory=12 CPUtime=2391.21 cores=0-7
/proc/24724/task/24737/stat : 24737 (java) S 24691 24694 21590 0 -1 1077944384 31 17743127 0 0 0 0 237597 1524 20 0 23 0 419479454 8750280704 34368 33554432000 4194304 4196468 140722858586240 139619617035824 139621624907477 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24738] ppid=24691 vsize=8545196 memory=2116 CPUtime=2391.25 cores=0-7
/proc/24724/task/24738/stat : 24738 (java) S 24691 24694 21590 0 -1 1077944384 443 17743127 0 0 3 1 237597 1524 20 0 23 0 419479454 8750280704 34368 33554432000 4194304 4196468 140722858586240 139620717111072 139621624907477 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24739] ppid=24691 vsize=8545196 memory=21760 CPUtime=2391.33 cores=0-7
/proc/24724/task/24739/stat : 24739 (java) S 24691 24694 21590 0 -1 1077944384 366 17743127 0 0 12 0 237597 1524 20 0 23 0 419479454 8750280704 34368 33554432000 4194304 4196468 140722858586240 139620716059376 139621624908418 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24740] ppid=24691 vsize=8545196 memory=1476 CPUtime=2391.3 cores=0-7
/proc/24724/task/24740/stat : 24740 (java) S 24691 24694 21590 0 -1 1077944384 428 17743127 0 0 8 1 237597 1524 20 0 23 0 419479454 8750280704 34368 33554432000 4194304 4196468 140722858586240 139620715006576 139621624908418 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24741] ppid=24691 vsize=8545196 memory=127244 CPUtime=2391.46 cores=0-7
/proc/24724/task/24741/stat : 24741 (java) S 24691 24694 21590 0 -1 1077944384 1164 17743127 0 0 25 0 237597 1524 20 0 23 0 419479454 8750280704 34368 33554432000 4194304 4196468 140722858586240 139620713948544 139621624907477 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24742] ppid=24691 vsize=8545196 memory=1476 CPUtime=2391.21 cores=0-7
/proc/24724/task/24742/stat : 24742 (java) S 24691 24694 21590 0 -1 1077944384 3 17743127 0 0 0 0 237597 1524 20 0 23 0 419479455 8750280704 34368 33554432000 4194304 4196468 140722858586240 139619119131232 139621624907477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24747] ppid=24691 vsize=8545196 memory=127244 CPUtime=2391.21 cores=0-7
/proc/24724/task/24747/stat : 24747 (java) S 24691 24694 21590 0 -1 1077944384 23 17743127 0 0 0 0 237597 1524 20 0 23 0 419479591 8750280704 34368 33554432000 4194304 4196468 140722858586240 139620704865104 139621624907477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24751] ppid=24691 vsize=8545196 memory=127244 CPUtime=2391.21 cores=0-7
/proc/24724/task/24751/stat : 24751 (java) S 24691 24694 21590 0 -1 1077944384 9 17743127 0 0 0 0 237597 1524 20 0 23 0 419479593 8750280704 34368 33554432000 4194304 4196468 140722858586240 139618179596192 139621624907477 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24959] ppid=24691 vsize=8545196 memory=4260916 CPUtime=2391.35 cores=0-7
/proc/24724/task/24959/stat : 24959 (java) R 24691 24694 21590 0 -1 4202560 3 17743127 0 0 0 14 237597 1524 20 0 23 0 419718677 8750280704 34368 33554432000 4194304 4196468 140722858586240 139617911170080 139621617582903 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
[pid=24724/tid=24962] ppid=24691 vsize=8545196 memory=1476 CPUtime=2391.21 cores=0-7
/proc/24724/task/24962/stat : 24962 (java) S 24691 24694 21590 0 -1 1077944384 2 17743127 0 0 0 0 237597 1524 20 0 23 0 419718678 8750280704 34368 33554432000 4194304 4196468 140722858586240 139617642733648 139621624907477 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19406848 140722858595319 140722858595478 140722858595478 140722858598351 0
Current cumulated CPU time of completed processes: 136.824 s
Current children cumulated CPU time: 2394.41 s
Current children cumulated vsize: 8545196 KiB
Current children cumulated memory: 137472 KiB
Child status: 1
Real time (s): 2520.45
CPU time (s): 2531.3
CPU user time (s): 2509.52
CPU system time (s): 21.7777
CPU usage (%): 100.43
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 7896044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2509.52
system time used= 21.7777
maximum resident set size= 7895336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17829767
page faults= 0
swaps= 0
block input operations= 56
block output operations= 2779904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 64821
involuntary context switches= 2487
# summary of solver processes directly reported to runsolver:
# pid: 24694,24724
# total CPU time (s): 2531.3
# total CPU user time (s): 2509.52
# total CPU system time (s): 21.7777
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.761 second user time and 26.3089 second system time
The end
Begin job on node133 at 2019-09-14 05:37:11 IDJOB=4392544 IDBENCH=133235 IDSOLVER=2838 FILE ID=node133/4392544-1568432270 RUNJOBID= node133-1568426604-21617 PBS_JOBID= 21702289 Free space on /tmp= 59416 MiB SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15) BENCH NAME= XCSP17/MagicSquare/MagicSquare-sum-s1/MagicSquare-13-sum.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 /tmp/evaluation-result-4392544-1568432270/watcher-4392544-1568432270 -o /tmp/evaluation-result-4392544-1568432270/solver-4392544-1568432270 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1568426604-21617 --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-4392544-1568432270.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 507ff1916128830fd6a67d5c849b681a RANDOM SEED=699371826 node133.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.18 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.18 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.18 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.18 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: 31466620 kB MemAvailable: 31898344 kB Buffers: 199232 kB Cached: 516188 kB SwapCached: 3364 kB Active: 398852 kB Inactive: 319588 kB Active(anon): 27100 kB Inactive(anon): 16056 kB Active(file): 371752 kB Inactive(file): 303532 kB Unevictable: 111224 kB Mlocked: 111224 kB SwapTotal: 67108860 kB SwapFree: 67004140 kB Dirty: 20696 kB Writeback: 0 kB AnonPages: 108464 kB Mapped: 44816 kB Shmem: 31516 kB Slab: 173700 kB SReclaimable: 144552 kB SUnreclaim: 29148 kB KernelStack: 3216 kB PageTables: 5568 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498284 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 65536 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 59396 MiB End job on node133 at 2019-09-14 06:19:12