| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Fun-sCOP order+ManyGlucose (2019-06-15) | ? (TO) | 2609.8 | 2520.41 |
| Name | Primes/ Primes-m1-p15/Primes-15-40-3-5.xml |
| MD5SUM | 25f96b3bf5c8370c442a7a32cdfe0f98 |
| 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 | 208.669 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 100 |
| Number of constraints | 40 |
| Number of domains | 1 |
| Minimum domain size | 46 |
| Maximum domain size | 46 |
| Distribution of domain sizes | [{"size":46,"count":91}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 6 |
| Distribution of variable degrees | [{"degree":0,"count":9},{"degree":1,"count":19},{"degree":2,"count":29},{"degree":3,"count":25},{"degree":4,"count":15},{"degree":6,"count":3}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 8 |
| Distribution of constraint arities | [{"arity":3,"count":3},{"arity":4,"count":8},{"arity":5,"count":9},{"arity":6,"count":5},{"arity":7,"count":6},{"arity":8,"count":9}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"sum","count":40}] |
| 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-17802-serial-file.bin HOME/instance-4392558-1568433428.xml 0.66/0.54 0.66/0.54 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 0.66/0.54 0.66/0.56 c BEGIN-Prog: Sat Sep 14 04:46:51 CEST 2019 0.66/0.56 c PID: 17805 0.66/0.56 c IP: 172.20.3.104 0.66/0.56 c HOST: node104.alineos.net 0.66/0.57 c (0,0) Parsing Begin 1.17/0.89 c (0,0) Parsing End 1.17/0.90 c (0,0) CSP: 91 int (0 aux), 0 bool (0 aux), 40 ctr, max domain size 46 1.55/1.04 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB) 1.55/1.04 c (0,0) Constraint Name Generate Begin 1.55/1.04 c (0,0) Ctr:HOME/instance-4392558-1568433428.xml,Num:Var:WeightedSum 1.55/1.04 c (0,0) Constraint Name Generate End 1.55/1.04 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB) 1.55/1.04 c (0,0) CSP to CSPinCNF Begin 1.55/1.04 c (0,0) translated 4 (10%) constraints 1.55/1.04 c (0,0) translated 8 (20%) constraints 1.55/1.04 c (0,0) translated 12 (30%) constraints 1.55/1.04 c (0,0) translated 16 (40%) constraints 1.55/1.04 c (0,0) translated 20 (50%) constraints 1.55/1.04 c (0,0) translated 24 (60%) constraints 1.55/1.05 c (0,0) translated 28 (70%) constraints 1.55/1.05 c (0,0) translated 32 (80%) constraints 1.55/1.06 c (0,0) translated 36 (90%) constraints 1.55/1.06 c (0,0) translated 40 (100%) constraints 1.55/1.06 c (0,0) =========================================== 1.55/1.07 c (0,0) Order 1.55/1.07 c (0,0) =========================================== 1.55/1.10 c (0,0) translated 4 (10%) constraints 1.82/1.12 c (0,0) translated 8 (20%) constraints 1.82/1.13 c (0,0) translated 12 (30%) constraints 1.82/1.14 c (0,0) translated 16 (40%) constraints 1.82/1.15 c (0,0) translated 20 (50%) constraints 1.82/1.16 c (0,0) translated 24 (60%) constraints 1.82/1.17 c (0,0) translated 28 (70%) constraints 1.82/1.18 c (0,0) translated 32 (80%) constraints 1.82/1.19 c (0,0) translated 36 (90%) constraints 2.02/1.20 c (0,0) translated 40 (100%) constraints 2.02/1.21 c (0,0) CSP to CSPinCNF End 2.02/1.21 c (0,0) CSP: 201 int (110 aux), 0 bool (0 aux), 300 ctr, max domain size 4276 2.02/1.21 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB) 2.02/1.21 c (0,0) CSPinCNF Propagation Begin 2.02/1.23 c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed 2.02/1.23 c (0,0) CSPinCNF Propagation End 2.02/1.24 c (0,0) CSP: 201 int (110 aux), 0 bool (0 aux), 300 ctr, max domain size 4276 2.02/1.24 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 2.02/1.24 c (0,0) Simplify CSPinCNF Begin 2.02/1.24 c (0,0) Simplify CSPinCNF End 2.02/1.24 c (0,0) CSP: 201 int (110 aux), 0 bool (0 aux), 300 ctr, max domain size 4276 2.02/1.24 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 2.02/1.24 c (0,0) Calculate Precise Domain Begin 3.14/1.67 c (1,1) 34780 values are removed by re-calculation 3.14/1.67 c (1,1) Calculate Precise Domain End 3.14/1.67 c (1,1) CSP: 201 int (110 aux), 0 bool (0 aux), 300 ctr, max domain size 4096 3.14/1.67 c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB) 3.14/1.67 c (1,1) CSPinCNF to SatSolver Begin 20.09/15.67 c (15,14) 30 (10 %) CSP clauses are encoded (0 SAT variables, 8619555 SAT clauses) 79.92/43.84 c (43,37) 60 (20 %) CSP clauses are encoded (0 SAT variables, 22513701 SAT clauses) 84.30/48.04 c (47,41) 90 (30 %) CSP clauses are encoded (0 SAT variables, 25153779 SAT clauses) 93.64/54.42 c (53,47) 120 (40 %) CSP clauses are encoded (0 SAT variables, 28975033 SAT clauses) 97.14/57.96 c (57,50) 150 (50 %) CSP clauses are encoded (0 SAT variables, 31312432 SAT clauses) 101.12/61.38 c (60,54) 180 (60 %) CSP clauses are encoded (0 SAT variables, 33435050 SAT clauses) 106.08/66.39 c (65,58) 210 (70 %) CSP clauses are encoded (0 SAT variables, 36369534 SAT clauses) 150.79/84.25 c (83,72) 240 (80 %) CSP clauses are encoded (0 SAT variables, 45432548 SAT clauses) 180.18/99.17 c (98,84) 270 (90 %) CSP clauses are encoded (0 SAT variables, 53164901 SAT clauses) 195.79/108.68 c (108,93) 300 (100 %) CSP clauses are encoded (0 SAT variables, 58579435 SAT clauses) 195.79/108.69 c (108,93) CSPinCNF to SatSolver End 195.79/108.69 c (108,93) Heap : 5254 MiB used (max 21655 MiB), NonHeap : 27 MiB used (max 0 MiB) 195.79/108.69 c (108,93) 152800 bool, 58580775 clause 195.79/108.69 c (108,93) Export Begin 195.89/108.78 c (108,93) Export to HOME/scop-17802-serial-file.bin 195.89/108.78 c (108,93) Export End 195.89/108.78 c (108,93) Export File Size: 0.02 MB 195.89/108.78 c (108,93) 0,0,0,0,0,1,108,STOP-AFTER(DIMACS) 195.89/108.78 c END-Prog: Sat Sep 14 04:48:40 CEST 2019 0.00/108.83 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-17802-serial-file.bin 196.55/109.30 c (0,0) Read Serial File Begin 196.55/109.30 c (0,0) HOME/scop-17802-serial-file.bin 196.97/109.50 c (0,0) Read Serial File End 196.97/109.52 196.97/109.52 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 196.97/109.52 (Solving Process) 196.97/109.52 196.97/109.54 c BEGIN-Prog: Sat Sep 14 04:48:40 CEST 2019 196.97/109.54 c PID: 17831 196.97/109.54 c IP: 172.20.3.104 196.97/109.54 c HOST: node104.alineos.net 196.97/109.54 c (0,0) SatSolver.solve Begin 196.97/109.54 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392558-1568433428.xml-scop-17805.cnf 196.97/109.57 c (0,0) c 196.97/109.57 c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 196.97/109.57 c (0,0) c 196.97/109.57 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 196.97/109.57 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 196.97/109.57 c (0,0) c ========================================[ Problem Statistics ]=========================================== 196.97/109.57 c (0,0) c | | 213.64/126.09 c (16,0) c | Number of variables: 152800 | 213.64/126.09 c (16,0) c | Number of clauses: 58580638 | 213.64/126.09 c (16,0) c | Parse time: 15.06 s | 213.64/126.09 c (16,0) c | | 218.77/131.11 c (21,0) c | Too many clauses... No preprocessing | 218.77/131.11 c (21,0) c | Simplification time: 4.47 s | 218.77/131.11 c (21,0) c | | 218.77/131.11 c (21,0) c | One Solver is taking 4641.81Mb... Let's take 1 solvers for this run (max 40% of the maxmemory). | 218.77/131.11 c (21,0) c | Generating clones | 218.77/131.11 c (21,0) c | all clones generated. Memory = 4641.81Mb. | 218.77/131.11 c (21,0) c ========================================================================================================| 218.77/131.11 c (21,0) c 218.77/131.11 c (21,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 218.77/131.11 c (21,0) c 218.77/131.11 c (21,0) c |-----------------------|------------| 218.77/131.11 c (21,0) c | Threads | 0 | 218.77/131.11 c (21,0) c |-----------------------|------------| 218.77/131.11 c (21,0) c | randomizeFirstDescent | False | 218.77/131.11 c (21,0) c | adaptStrategeis | True | 218.77/131.11 c (21,0) c | forceUnsatOnNewDescent| True | 218.77/131.11 c (21,0) c | Initial random_seed | 91648253 | 218.77/131.11 c (21,0) c | chanseokStrategy | False | 218.77/131.11 c (21,0) c | coLBDBound | 5 | 218.77/131.11 c (21,0) c | glureduce | True | 218.77/131.11 c (21,0) c | firstReduceDB | 2000 | 218.77/131.11 c (21,0) c | incReduceDB | 300 | 218.77/131.11 c (21,0) c | luby_restart | False | 218.77/131.11 c (21,0) c | luby_restart_factor | 100 | 218.77/131.11 c (21,0) c | var_decay | 0.8000 | 218.77/131.11 c (21,0) c | max_var_decay | 0.9500 | 218.77/131.11 c (21,0) c | randomize_on_restarts | False | 218.77/131.11 c (21,0) c | remove_satisfied | True | 218.77/131.11 c (21,0) c |-----------------------|------------| 248.28/160.64 c (51,0) c 248.28/160.64 c (51,0) c |------------------------------------------------------------------------------------------------------------------------| 248.28/160.64 c (51,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 248.28/160.64 c (51,0) c |------------------------------------------------------------------------------------------------------------------------| 248.28/160.64 c (51,0) c | 0 | 7 | 5323 | 2099 | 45345 | 1101 | 83 | 0 | 0 | 762 | 20 | 1.580 | 248.28/160.64 c (51,0) c 248.28/160.64 c (51,0) c synthesis 2099 conflicts 14559587 propagations 45 conflicts/sec 309345 propagations/sec 248.28/160.64 c (51,0) c real: 51.071 s, cpu: 47.0658 s, memory: 5161.82 Mb 277.30/189.64 c (80,0) c 277.30/189.64 c (80,0) c |------------------------------------------------------------------------------------------------------------------------| 277.30/189.64 c (80,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 277.30/189.64 c (80,0) c |------------------------------------------------------------------------------------------------------------------------| 277.30/189.64 c (80,0) c | 0 | 20 | 9622 | 4534 | 90115 | 3533 | 148 | 0 | 0 | 1649 | 20 | 1.601 | 277.30/189.64 c (80,0) c 277.30/189.64 c (80,0) c synthesis 4534 conflicts 30926984 propagations 60 conflicts/sec 409191 propagations/sec 277.30/189.64 c (80,0) c real: 80.071 s, cpu: 75.5808 s, memory: 5161.82 Mb 306.31/218.64 c (109,0) c 306.31/218.64 c (109,0) c |------------------------------------------------------------------------------------------------------------------------| 306.31/218.64 c (109,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 306.31/218.64 c (109,0) c |------------------------------------------------------------------------------------------------------------------------| 306.31/218.64 c (109,0) c | 0 | 33 | 14847 | 7421 | 130952 | 3625 | 621 | 0 | 0 | 2563 | 20 | 1.601 | 306.31/218.64 c (109,0) c 306.31/218.64 c (109,0) c synthesis 7421 conflicts 46449296 propagations 71 conflicts/sec 445286 propagations/sec 306.31/218.64 c (109,0) c real: 109.071 s, cpu: 104.313 s, memory: 5161.82 Mb 335.32/247.64 c (138,0) c 335.32/247.64 c (138,0) c |------------------------------------------------------------------------------------------------------------------------| 335.32/247.64 c (138,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 335.32/247.64 c (138,0) c |------------------------------------------------------------------------------------------------------------------------| 335.32/247.64 c (138,0) c | 0 | 41 | 19626 | 10141 | 168867 | 6343 | 1198 | 0 | 0 | 3473 | 20 | 1.645 | 335.32/247.64 c (138,0) c 335.32/247.64 c (138,0) c synthesis 10141 conflicts 62313905 propagations 76 conflicts/sec 467962 propagations/sec 335.32/247.64 c (138,0) c real: 138.071 s, cpu: 133.16 s, memory: 5161.82 Mb 364.34/276.64 c (167,0) c 364.34/276.64 c (167,0) c |------------------------------------------------------------------------------------------------------------------------| 364.34/276.64 c (167,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 364.34/276.64 c (167,0) c |------------------------------------------------------------------------------------------------------------------------| 364.34/276.64 c (167,0) c | 0 | 52 | 23872 | 12553 | 200396 | 8755 | 1633 | 0 | 0 | 4337 | 20 | 1.645 | 364.34/276.64 c (167,0) c 364.34/276.64 c (167,0) c synthesis 12553 conflicts 76958343 propagations 77 conflicts/sec 475038 propagations/sec 364.34/276.64 c (167,0) c real: 167.071 s, cpu: 162.004 s, memory: 5161.82 Mb 393.36/305.64 c (196,0) c 393.36/305.64 c (196,0) c |------------------------------------------------------------------------------------------------------------------------| 393.36/305.64 c (196,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 393.36/305.64 c (196,0) c |------------------------------------------------------------------------------------------------------------------------| 393.36/305.64 c (196,0) c | 0 | 58 | 28766 | 15705 | 235853 | 6926 | 2354 | 0 | 0 | 5225 | 20 | 1.645 | 393.36/305.64 c (196,0) c 393.36/305.64 c (196,0) c synthesis 15705 conflicts 94773570 propagations 82 conflicts/sec 496587 propagations/sec 393.36/305.64 c (196,0) c real: 196.071 s, cpu: 190.85 s, memory: 5161.82 Mb 422.37/334.64 c (225,0) c 422.37/334.64 c (225,0) c |------------------------------------------------------------------------------------------------------------------------| 422.37/334.64 c (225,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 422.37/334.64 c (225,0) c |------------------------------------------------------------------------------------------------------------------------| 422.37/334.64 c (225,0) c | 0 | 65 | 32338 | 17876 | 261213 | 9097 | 2714 | 0 | 0 | 6131 | 20 | 1.645 | 422.37/334.64 c (225,0) c 422.37/334.64 c (225,0) c synthesis 17876 conflicts 109784610 propagations 81 conflicts/sec 499706 propagations/sec 422.37/334.64 c (225,0) c real: 225.071 s, cpu: 219.699 s, memory: 5161.82 Mb 452.40/364.64 c (255,0) c 452.40/364.64 c (255,0) c |------------------------------------------------------------------------------------------------------------------------| 452.40/364.64 c (255,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 452.40/364.64 c (255,0) c |------------------------------------------------------------------------------------------------------------------------| 452.40/364.64 c (255,0) c | 0 | 76 | 36288 | 20105 | 287361 | 11326 | 3001 | 0 | 0 | 7069 | 20 | 1.645 | 452.40/364.64 c (255,0) c 452.40/364.64 c (255,0) c synthesis 20105 conflicts 125740813 propagations 81 conflicts/sec 503773 propagations/sec 452.40/364.64 c (255,0) c real: 255.071 s, cpu: 249.598 s, memory: 5161.82 Mb 481.41/393.64 c (284,0) c 481.41/393.64 c (284,0) c |------------------------------------------------------------------------------------------------------------------------| 481.41/393.64 c (284,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 481.41/393.64 c (284,0) c |------------------------------------------------------------------------------------------------------------------------| 481.41/393.64 c (284,0) c | 0 | 84 | 40239 | 22524 | 313247 | 13745 | 3387 | 0 | 0 | 7828 | 20 | 1.645 | 481.41/393.64 c (284,0) c 481.41/393.64 c (284,0) c synthesis 22524 conflicts 138738121 propagations 81 conflicts/sec 498277 propagations/sec 481.41/393.64 c (284,0) c real: 284.071 s, cpu: 278.436 s, memory: 5161.82 Mb 510.41/422.64 c (313,0) c 510.41/422.64 c (313,0) c |------------------------------------------------------------------------------------------------------------------------| 510.41/422.64 c (313,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 510.41/422.64 c (313,0) c |------------------------------------------------------------------------------------------------------------------------| 510.41/422.64 c (313,0) c | 0 | 94 | 43974 | 24679 | 336881 | 8494 | 3726 | 0 | 0 | 8629 | 20 | 1.645 | 510.41/422.64 c (313,0) c 510.41/422.64 c (313,0) c synthesis 24679 conflicts 152349138 propagations 80 conflicts/sec 495680 propagations/sec 510.41/422.64 c (313,0) c real: 313.071 s, cpu: 307.354 s, memory: 5161.82 Mb 539.43/451.64 c (342,0) c 539.43/451.64 c (342,0) c |------------------------------------------------------------------------------------------------------------------------| 539.43/451.64 c (342,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 539.43/451.64 c (342,0) c |------------------------------------------------------------------------------------------------------------------------| 539.43/451.64 c (342,0) c | 0 | 101 | 48250 | 27291 | 364987 | 11106 | 4138 | 0 | 0 | 9582 | 20 | 1.645 | 539.43/451.64 c (342,0) c 539.43/451.64 c (342,0) c synthesis 27291 conflicts 168327184 propagations 81 conflicts/sec 500720 propagations/sec 539.43/451.64 c (342,0) c real: 342.071 s, cpu: 336.17 s, memory: 5161.82 Mb 568.45/480.64 c (371,0) c 568.45/480.64 c (371,0) c |------------------------------------------------------------------------------------------------------------------------| 568.45/480.64 c (371,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 568.45/480.64 c (371,0) c |------------------------------------------------------------------------------------------------------------------------| 568.45/480.64 c (371,0) c | 0 | 107 | 53798 | 30631 | 394186 | 14441 | 4793 | 0 | 0 | 10500 | 20 | 1.645 | 568.45/480.64 c (371,0) c 568.45/480.64 c (371,0) c synthesis 30631 conflicts 185079173 propagations 84 conflicts/sec 507014 propagations/sec 568.45/480.64 c (371,0) c real: 371.071 s, cpu: 365.037 s, memory: 5161.82 Mb 597.47/509.64 c (400,0) c 597.47/509.64 c (400,0) c |------------------------------------------------------------------------------------------------------------------------| 597.47/509.64 c (400,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 597.47/509.64 c (400,0) c |------------------------------------------------------------------------------------------------------------------------| 597.47/509.64 c (400,0) c | 0 | 116 | 58383 | 33348 | 416650 | 17158 | 5282 | 0 | 0 | 11387 | 20 | 1.645 | 597.47/509.64 c (400,0) c 597.47/509.64 c (400,0) c synthesis 33348 conflicts 201814616 propagations 85 conflicts/sec 512349 propagations/sec 597.47/509.64 c (400,0) c real: 400.071 s, cpu: 393.901 s, memory: 5161.82 Mb 626.48/538.64 c (429,0) c 626.48/538.64 c (429,0) c |------------------------------------------------------------------------------------------------------------------------| 626.48/538.64 c (429,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 626.48/538.64 c (429,0) c |------------------------------------------------------------------------------------------------------------------------| 626.48/538.64 c (429,0) c | 0 | 125 | 62908 | 36079 | 444168 | 10009 | 5658 | 0 | 0 | 12294 | 20 | 1.645 | 626.48/538.64 c (429,0) c 626.48/538.64 c (429,0) c synthesis 36079 conflicts 218053468 propagations 85 conflicts/sec 515769 propagations/sec 626.48/538.64 c (429,0) c real: 429.071 s, cpu: 422.774 s, memory: 5161.82 Mb 655.50/567.64 c (458,0) c 655.50/567.64 c (458,0) c |------------------------------------------------------------------------------------------------------------------------| 655.50/567.64 c (458,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 655.50/567.64 c (458,0) c |------------------------------------------------------------------------------------------------------------------------| 655.50/567.64 c (458,0) c | 0 | 139 | 66997 | 38299 | 468345 | 12229 | 5959 | 0 | 0 | 13175 | 20 | 1.645 | 655.50/567.64 c (458,0) c 655.50/567.64 c (458,0) c synthesis 38299 conflicts 234343130 propagations 85 conflicts/sec 518892 propagations/sec 655.50/567.64 c (458,0) c real: 458.071 s, cpu: 451.622 s, memory: 5161.82 Mb 684.53/596.64 c (487,0) c 684.53/596.64 c (487,0) c |------------------------------------------------------------------------------------------------------------------------| 684.53/596.64 c (487,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 684.53/596.64 c (487,0) c |------------------------------------------------------------------------------------------------------------------------| 684.53/596.64 c (487,0) c | 0 | 150 | 70595 | 40519 | 489766 | 14449 | 6272 | 0 | 0 | 13997 | 20 | 1.645 | 684.53/596.64 c (487,0) c 684.53/596.64 c (487,0) c synthesis 40519 conflicts 253398233 propagations 84 conflicts/sec 527297 propagations/sec 684.53/596.64 c (487,0) c real: 487.071 s, cpu: 480.561 s, memory: 5161.82 Mb 713.55/625.64 c (516,0) c 713.55/625.64 c (516,0) c |------------------------------------------------------------------------------------------------------------------------| 713.55/625.64 c (516,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 713.55/625.64 c (516,0) c |------------------------------------------------------------------------------------------------------------------------| 713.55/625.64 c (516,0) c | 0 | 155 | 75484 | 43765 | 516362 | 17695 | 6794 | 0 | 0 | 14914 | 20 | 1.645 | 713.55/625.64 c (516,0) c 713.55/625.64 c (516,0) c synthesis 43765 conflicts 269071803 propagations 86 conflicts/sec 528192 propagations/sec 713.55/625.64 c (516,0) c real: 516.071 s, cpu: 509.421 s, memory: 5161.82 Mb 742.57/654.64 c (545,0) c 742.57/654.64 c (545,0) c |------------------------------------------------------------------------------------------------------------------------| 742.57/654.64 c (545,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 742.57/654.64 c (545,0) c |------------------------------------------------------------------------------------------------------------------------| 742.57/654.64 c (545,0) c | 0 | 164 | 79562 | 46264 | 537997 | 20194 | 7129 | 0 | 0 | 15864 | 20 | 1.645 | 742.57/654.64 c (545,0) c 742.57/654.64 c (545,0) c synthesis 46264 conflicts 286315023 propagations 86 conflicts/sec 531867 propagations/sec 742.57/654.64 c (545,0) c real: 545.071 s, cpu: 538.32 s, memory: 5161.82 Mb 771.60/683.64 c (574,0) c 771.60/683.64 c (574,0) c |------------------------------------------------------------------------------------------------------------------------| 771.60/683.64 c (574,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 771.60/683.64 c (574,0) c |------------------------------------------------------------------------------------------------------------------------| 771.60/683.64 c (574,0) c | 0 | 174 | 84230 | 49127 | 563805 | 23057 | 7504 | 0 | 0 | 16796 | 20 | 1.645 | 771.60/683.64 c (574,0) c 771.60/683.64 c (574,0) c synthesis 49127 conflicts 301744520 propagations 87 conflicts/sec 532009 propagations/sec 771.60/683.64 c (574,0) c real: 574.071 s, cpu: 567.18 s, memory: 5225.82 Mb 800.61/712.64 c (603,0) c 800.61/712.65 c (603,0) c |------------------------------------------------------------------------------------------------------------------------| 800.61/712.65 c (603,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 800.61/712.65 c (603,0) c |------------------------------------------------------------------------------------------------------------------------| 800.61/712.65 c (603,0) c | 0 | 183 | 88839 | 52009 | 587821 | 13491 | 7854 | 0 | 0 | 17646 | 20 | 1.645 | 800.61/712.65 c (603,0) c 800.61/712.65 c (603,0) c synthesis 52009 conflicts 318063926 propagations 87 conflicts/sec 533572 propagations/sec 800.61/712.65 c (603,0) c real: 603.071 s, cpu: 596.103 s, memory: 5225.82 Mb 830.64/742.64 c (633,0) c 830.64/742.64 c (633,0) c |------------------------------------------------------------------------------------------------------------------------| 830.64/742.64 c (633,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 830.64/742.64 c (633,0) c |------------------------------------------------------------------------------------------------------------------------| 830.64/742.64 c (633,0) c | 0 | 189 | 94393 | 55651 | 615515 | 17133 | 8386 | 0 | 0 | 18735 | 20 | 1.645 | 830.64/742.64 c (633,0) c 830.64/742.64 c (633,0) c synthesis 55651 conflicts 334560835 propagations 89 conflicts/sec 534485 propagations/sec 830.64/742.64 c (633,0) c real: 633.071 s, cpu: 625.95 s, memory: 5225.82 Mb 859.66/771.64 c (662,0) c 859.66/771.64 c (662,0) c |------------------------------------------------------------------------------------------------------------------------| 859.66/771.64 c (662,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 859.66/771.64 c (662,0) c |------------------------------------------------------------------------------------------------------------------------| 859.66/771.64 c (662,0) c | 0 | 199 | 98364 | 57969 | 634972 | 19451 | 8749 | 0 | 0 | 19620 | 20 | 1.645 | 859.66/771.64 c (662,0) c 859.66/771.64 c (662,0) c synthesis 57969 conflicts 350854625 propagations 89 conflicts/sec 535765 propagations/sec 859.66/771.64 c (662,0) c real: 662.071 s, cpu: 654.866 s, memory: 5225.82 Mb 889.68/801.64 c (692,0) c 889.68/801.64 c (692,0) c |------------------------------------------------------------------------------------------------------------------------| 889.68/801.64 c (692,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 889.68/801.64 c (692,0) c |------------------------------------------------------------------------------------------------------------------------| 889.68/801.64 c (692,0) c | 0 | 211 | 103448 | 61004 | 656006 | 22486 | 9145 | 0 | 0 | 20525 | 20 | 1.645 | 889.68/801.64 c (692,0) c 889.68/801.64 c (692,0) c synthesis 61004 conflicts 367758055 propagations 89 conflicts/sec 537096 propagations/sec 889.68/801.64 c (692,0) c real: 692.071 s, cpu: 684.715 s, memory: 5225.82 Mb 918.70/830.64 c (721,0) c 918.70/830.64 c (721,0) c |------------------------------------------------------------------------------------------------------------------------| 918.70/830.64 c (721,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 918.70/830.64 c (721,0) c |------------------------------------------------------------------------------------------------------------------------| 918.70/830.64 c (721,0) c | 0 | 223 | 107396 | 63052 | 673622 | 24534 | 9392 | 0 | 0 | 21406 | 20 | 1.645 | 918.70/830.64 c (721,0) c 918.70/830.64 c (721,0) c synthesis 63052 conflicts 384442571 propagations 88 conflicts/sec 538712 propagations/sec 918.70/830.64 c (721,0) c real: 721.071 s, cpu: 713.633 s, memory: 5225.82 Mb 947.71/859.64 c (750,0) c 947.71/859.64 c (750,0) c |------------------------------------------------------------------------------------------------------------------------| 947.71/859.64 c (750,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 947.71/859.64 c (750,0) c |------------------------------------------------------------------------------------------------------------------------| 947.71/859.64 c (750,0) c | 0 | 241 | 110875 | 64901 | 690406 | 26383 | 9563 | 0 | 0 | 22351 | 20 | 1.645 | 947.71/859.64 c (750,0) c 947.71/859.64 c (750,0) c synthesis 64901 conflicts 401000425 propagations 87 conflicts/sec 540091 propagations/sec 947.71/859.64 c (750,0) c real: 750.071 s, cpu: 742.468 s, memory: 5225.82 Mb 976.74/888.64 c (779,0) c 976.74/888.64 c (779,0) c |------------------------------------------------------------------------------------------------------------------------| 976.74/888.64 c (779,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 976.74/888.64 c (779,0) c |------------------------------------------------------------------------------------------------------------------------| 976.74/888.64 c (779,0) c | 0 | 258 | 114892 | 66848 | 707531 | 28330 | 9827 | 0 | 0 | 23196 | 20 | 1.645 | 976.74/888.64 c (779,0) c 976.74/888.64 c (779,0) c synthesis 66848 conflicts 416929512 propagations 87 conflicts/sec 540508 propagations/sec 976.74/888.64 c (779,0) c real: 779.071 s, cpu: 771.366 s, memory: 5225.82 Mb 1005.76/917.64 c (808,0) c 1005.76/917.64 c (808,0) c |------------------------------------------------------------------------------------------------------------------------| 1005.76/917.64 c (808,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1005.76/917.64 c (808,0) c |------------------------------------------------------------------------------------------------------------------------| 1005.76/917.64 c (808,0) c | 0 | 275 | 118707 | 68888 | 725136 | 15342 | 10132 | 0 | 0 | 24102 | 20 | 1.645 | 1005.76/917.64 c (808,0) c 1005.76/917.64 c (808,0) c synthesis 68888 conflicts 434394872 propagations 86 conflicts/sec 542864 propagations/sec 1005.76/917.64 c (808,0) c real: 808.071 s, cpu: 800.19 s, memory: 5225.82 Mb 1034.79/946.64 c (837,0) c 1034.79/946.64 c (837,0) c |------------------------------------------------------------------------------------------------------------------------| 1034.79/946.64 c (837,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1034.79/946.64 c (837,0) c |------------------------------------------------------------------------------------------------------------------------| 1034.79/946.64 c (837,0) c | 0 | 294 | 123367 | 71236 | 742692 | 17690 | 10459 | 0 | 0 | 24956 | 20 | 1.645 | 1034.79/946.64 c (837,0) c 1034.79/946.64 c (837,0) c synthesis 71236 conflicts 451188148 propagations 86 conflicts/sec 544184 propagations/sec 1034.79/946.64 c (837,0) c real: 837.071 s, cpu: 829.11 s, memory: 5225.82 Mb 1063.80/975.64 c (866,0) c 1063.80/975.64 c (866,0) c |------------------------------------------------------------------------------------------------------------------------| 1063.80/975.64 c (866,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1063.80/975.64 c (866,0) c |------------------------------------------------------------------------------------------------------------------------| 1063.80/975.64 c (866,0) c | 0 | 312 | 128298 | 73744 | 763926 | 20198 | 10693 | 0 | 0 | 25823 | 20 | 1.645 | 1063.80/975.64 c (866,0) c 1063.80/975.64 c (866,0) c synthesis 73744 conflicts 468501499 propagations 86 conflicts/sec 546066 propagations/sec 1063.80/975.64 c (866,0) c real: 866.071 s, cpu: 857.958 s, memory: 5225.82 Mb 1092.82/1004.64 c (895,0) c 1092.82/1004.64 c (895,0) c |------------------------------------------------------------------------------------------------------------------------| 1092.82/1004.64 c (895,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1092.82/1004.64 c (895,0) c |------------------------------------------------------------------------------------------------------------------------| 1092.82/1004.64 c (895,0) c | 0 | 322 | 131961 | 75875 | 779881 | 22329 | 10948 | 0 | 0 | 26775 | 20 | 1.645 | 1092.82/1004.64 c (895,0) c 1092.82/1004.64 c (895,0) c synthesis 75875 conflicts 483444864 propagations 86 conflicts/sec 545115 propagations/sec 1092.82/1004.64 c (895,0) c real: 895.071 s, cpu: 886.868 s, memory: 5225.82 Mb 1121.84/1033.64 c (924,0) c 1121.84/1033.64 c (924,0) c |------------------------------------------------------------------------------------------------------------------------| 1121.84/1033.64 c (924,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1121.84/1033.64 c (924,0) c |------------------------------------------------------------------------------------------------------------------------| 1121.84/1033.64 c (924,0) c | 0 | 339 | 136210 | 78070 | 795503 | 24524 | 11203 | 0 | 0 | 27697 | 20 | 1.645 | 1121.84/1033.64 c (924,0) c 1121.84/1033.64 c (924,0) c synthesis 78070 conflicts 500804104 propagations 85 conflicts/sec 546897 propagations/sec 1121.84/1033.64 c (924,0) c real: 924.071 s, cpu: 915.719 s, memory: 5225.82 Mb 1151.87/1063.64 c (954,0) c 1151.87/1063.64 c (954,0) c |------------------------------------------------------------------------------------------------------------------------| 1151.87/1063.64 c (954,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1151.87/1063.64 c (954,0) c |------------------------------------------------------------------------------------------------------------------------| 1151.87/1063.64 c (954,0) c | 0 | 347 | 139501 | 80092 | 809590 | 26546 | 11517 | 0 | 0 | 28694 | 20 | 1.645 | 1151.87/1063.64 c (954,0) c 1151.87/1063.64 c (954,0) c synthesis 80092 conflicts 518614118 propagations 85 conflicts/sec 548438 propagations/sec 1151.87/1063.64 c (954,0) c real: 954.071 s, cpu: 945.621 s, memory: 5225.82 Mb 1180.89/1092.64 c (983,0) c 1180.89/1092.64 c (983,0) c |------------------------------------------------------------------------------------------------------------------------| 1180.89/1092.64 c (983,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1180.89/1092.64 c (983,0) c |------------------------------------------------------------------------------------------------------------------------| 1180.89/1092.64 c (983,0) c | 0 | 365 | 141787 | 81418 | 829388 | 27872 | 11643 | 0 | 0 | 29671 | 20 | 1.645 | 1180.89/1092.64 c (983,0) c 1180.89/1092.64 c (983,0) c synthesis 81418 conflicts 537208772 propagations 84 conflicts/sec 551254 propagations/sec 1180.89/1092.64 c (983,0) c real: 983.071 s, cpu: 974.521 s, memory: 5225.82 Mb 1210.91/1122.64 c (1013,0) c 1210.91/1122.64 c (1013,0) c |------------------------------------------------------------------------------------------------------------------------| 1210.91/1122.64 c (1013,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1210.91/1122.64 c (1013,0) c |------------------------------------------------------------------------------------------------------------------------| 1210.91/1122.64 c (1013,0) c | 0 | 381 | 145237 | 83462 | 846361 | 29916 | 11884 | 0 | 0 | 30656 | 20 | 1.645 | 1210.91/1122.64 c (1013,0) c 1210.91/1122.64 c (1013,0) c synthesis 83462 conflicts 554796509 propagations 83 conflicts/sec 552363 propagations/sec 1210.91/1122.64 c (1013,0) c real: 1013.07 s, cpu: 1004.41 s, memory: 5225.82 Mb 1239.92/1151.64 c (1042,0) c 1239.92/1151.64 c (1042,0) c |------------------------------------------------------------------------------------------------------------------------| 1239.92/1151.64 c (1042,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1239.92/1151.64 c (1042,0) c |------------------------------------------------------------------------------------------------------------------------| 1239.92/1151.64 c (1042,0) c | 0 | 389 | 148945 | 85684 | 862949 | 32138 | 12152 | 0 | 0 | 31578 | 20 | 1.645 | 1239.92/1151.64 c (1042,0) c 1239.92/1151.64 c (1042,0) c synthesis 85684 conflicts 572142806 propagations 83 conflicts/sec 553713 propagations/sec 1239.92/1151.64 c (1042,0) c real: 1042.07 s, cpu: 1033.28 s, memory: 5225.82 Mb 1268.96/1180.64 c (1071,0) c 1268.96/1180.64 c (1071,0) c |------------------------------------------------------------------------------------------------------------------------| 1268.96/1180.64 c (1071,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1268.96/1180.64 c (1071,0) c |------------------------------------------------------------------------------------------------------------------------| 1268.96/1180.64 c (1071,0) c | 0 | 402 | 152537 | 87545 | 877608 | 33999 | 12351 | 0 | 0 | 32478 | 20 | 1.645 | 1268.96/1180.64 c (1071,0) c 1268.96/1180.64 c (1071,0) c synthesis 87545 conflicts 588008466 propagations 82 conflicts/sec 553610 propagations/sec 1268.96/1180.64 c (1071,0) c real: 1071.07 s, cpu: 1062.14 s, memory: 5225.82 Mb 1297.98/1209.64 c (1100,0) c 1297.98/1209.64 c (1100,0) c |------------------------------------------------------------------------------------------------------------------------| 1297.98/1209.64 c (1100,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1297.98/1209.64 c (1100,0) c |------------------------------------------------------------------------------------------------------------------------| 1297.98/1209.64 c (1100,0) c | 0 | 402 | 155262 | 89448 | 893757 | 18289 | 12649 | 0 | 0 | 33247 | 20 | 1.645 | 1297.98/1209.64 c (1100,0) c 1297.98/1209.64 c (1100,0) c synthesis 89448 conflicts 600780232 propagations 82 conflicts/sec 550638 propagations/sec 1297.98/1209.64 c (1100,0) c real: 1100.07 s, cpu: 1091.06 s, memory: 5225.82 Mb 1327.00/1238.64 c (1129,0) c 1327.00/1238.64 c (1129,0) c |------------------------------------------------------------------------------------------------------------------------| 1327.00/1238.64 c (1129,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1327.00/1238.64 c (1129,0) c |------------------------------------------------------------------------------------------------------------------------| 1327.00/1238.64 c (1129,0) c | 0 | 407 | 158608 | 91365 | 907485 | 20206 | 12895 | 0 | 0 | 34099 | 20 | 1.645 | 1327.00/1238.64 c (1129,0) c 1327.00/1238.64 c (1129,0) c synthesis 91365 conflicts 613695566 propagations 82 conflicts/sec 547981 propagations/sec 1327.00/1238.64 c (1129,0) c real: 1129.07 s, cpu: 1119.92 s, memory: 5225.82 Mb 1356.02/1267.64 c (1158,0) c 1356.02/1267.64 c (1158,0) c |------------------------------------------------------------------------------------------------------------------------| 1356.02/1267.64 c (1158,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1356.02/1267.64 c (1158,0) c |------------------------------------------------------------------------------------------------------------------------| 1356.02/1267.64 c (1158,0) c | 0 | 424 | 162433 | 93366 | 920601 | 22207 | 13152 | 0 | 0 | 35018 | 20 | 1.645 | 1356.02/1267.64 c (1158,0) c 1356.02/1267.64 c (1158,0) c synthesis 93366 conflicts 629992407 propagations 81 conflicts/sec 548373 propagations/sec 1356.02/1267.64 c (1158,0) c real: 1158.07 s, cpu: 1148.84 s, memory: 5225.82 Mb 1385.04/1296.64 c (1187,0) c 1385.04/1296.64 c (1187,0) c |------------------------------------------------------------------------------------------------------------------------| 1385.04/1296.64 c (1187,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1385.04/1296.64 c (1187,0) c |------------------------------------------------------------------------------------------------------------------------| 1385.04/1296.64 c (1187,0) c | 0 | 441 | 165622 | 95012 | 932236 | 23853 | 13335 | 0 | 0 | 35880 | 20 | 1.645 | 1385.04/1296.64 c (1187,0) c 1385.04/1296.64 c (1187,0) c synthesis 95012 conflicts 646722347 propagations 81 conflicts/sec 549138 propagations/sec 1385.04/1296.64 c (1187,0) c real: 1187.07 s, cpu: 1177.7 s, memory: 5225.82 Mb 1414.05/1325.64 c (1216,0) c 1414.05/1325.64 c (1216,0) c |------------------------------------------------------------------------------------------------------------------------| 1414.05/1325.64 c (1216,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1414.05/1325.64 c (1216,0) c |------------------------------------------------------------------------------------------------------------------------| 1414.05/1325.64 c (1216,0) c | 0 | 451 | 169226 | 97136 | 948554 | 25977 | 13566 | 0 | 0 | 36768 | 20 | 1.645 | 1414.05/1325.64 c (1216,0) c 1414.05/1325.64 c (1216,0) c synthesis 97136 conflicts 664687415 propagations 81 conflicts/sec 550873 propagations/sec 1414.05/1325.64 c (1216,0) c real: 1216.07 s, cpu: 1206.61 s, memory: 5225.82 Mb 1443.08/1354.64 c (1245,0) c 1443.08/1354.64 c (1245,0) c |------------------------------------------------------------------------------------------------------------------------| 1443.08/1354.64 c (1245,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1443.08/1354.64 c (1245,0) c |------------------------------------------------------------------------------------------------------------------------| 1443.08/1354.64 c (1245,0) c | 0 | 461 | 173647 | 99692 | 963179 | 28533 | 13940 | 0 | 0 | 37713 | 20 | 1.645 | 1443.08/1354.64 c (1245,0) c 1443.08/1354.64 c (1245,0) c synthesis 99692 conflicts 683128905 propagations 81 conflicts/sec 552930 propagations/sec 1443.08/1354.64 c (1245,0) c real: 1245.07 s, cpu: 1235.47 s, memory: 5225.82 Mb 1473.10/1384.64 c (1275,0) c 1473.10/1384.64 c (1275,0) c |------------------------------------------------------------------------------------------------------------------------| 1473.10/1384.64 c (1275,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1473.10/1384.64 c (1275,0) c |------------------------------------------------------------------------------------------------------------------------| 1473.10/1384.64 c (1275,0) c | 0 | 470 | 180199 | 103737 | 984498 | 32577 | 14475 | 0 | 0 | 38730 | 20 | 1.645 | 1473.10/1384.64 c (1275,0) c 1473.10/1384.64 c (1275,0) c synthesis 103737 conflicts 701212951 propagations 82 conflicts/sec 554145 propagations/sec 1473.10/1384.64 c (1275,0) c real: 1275.07 s, cpu: 1265.4 s, memory: 5225.82 Mb 1502.12/1413.64 c (1304,0) c 1502.12/1413.64 c (1304,0) c |------------------------------------------------------------------------------------------------------------------------| 1502.12/1413.64 c (1304,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1502.12/1413.64 c (1304,0) c |------------------------------------------------------------------------------------------------------------------------| 1502.12/1413.64 c (1304,0) c | 0 | 484 | 184478 | 106084 | 1000910 | 34924 | 14772 | 0 | 0 | 39648 | 20 | 1.645 | 1502.12/1413.64 c (1304,0) c 1502.12/1413.64 c (1304,0) c synthesis 106084 conflicts 717640895 propagations 82 conflicts/sec 554488 propagations/sec 1502.12/1413.64 c (1304,0) c real: 1304.07 s, cpu: 1294.24 s, memory: 5225.82 Mb 1532.15/1443.64 c (1334,0) c 1532.15/1443.64 c (1334,0) c |------------------------------------------------------------------------------------------------------------------------| 1532.15/1443.64 c (1334,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1532.15/1443.64 c (1334,0) c |------------------------------------------------------------------------------------------------------------------------| 1532.15/1443.64 c (1334,0) c | 0 | 496 | 187361 | 107803 | 1012729 | 36643 | 14962 | 0 | 0 | 40547 | 20 | 1.645 | 1532.15/1443.64 c (1334,0) c 1532.15/1443.64 c (1334,0) c synthesis 107803 conflicts 734994377 propagations 81 conflicts/sec 555071 propagations/sec 1532.15/1443.64 c (1334,0) c real: 1334.07 s, cpu: 1324.14 s, memory: 5225.82 Mb 1561.16/1472.64 c (1363,0) c 1561.16/1472.64 c (1363,0) c |------------------------------------------------------------------------------------------------------------------------| 1561.16/1472.64 c (1363,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1561.16/1472.64 c (1363,0) c |------------------------------------------------------------------------------------------------------------------------| 1561.16/1472.64 c (1363,0) c | 0 | 500 | 190708 | 109958 | 1024915 | 38798 | 15241 | 0 | 0 | 41404 | 20 | 1.645 | 1561.16/1472.64 c (1363,0) c 1561.16/1472.64 c (1363,0) c synthesis 109958 conflicts 750115002 propagations 81 conflicts/sec 554402 propagations/sec 1561.16/1472.64 c (1363,0) c real: 1363.07 s, cpu: 1353.02 s, memory: 5225.82 Mb 1590.19/1501.64 c (1392,0) c 1590.19/1501.64 c (1392,0) c |------------------------------------------------------------------------------------------------------------------------| 1590.19/1501.64 c (1392,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1590.19/1501.64 c (1392,0) c |------------------------------------------------------------------------------------------------------------------------| 1590.19/1501.64 c (1392,0) c | 0 | 511 | 194812 | 112363 | 1038024 | 21001 | 15551 | 0 | 0 | 42265 | 20 | 1.645 | 1590.19/1501.64 c (1392,0) c 1590.19/1501.64 c (1392,0) c synthesis 112363 conflicts 766329285 propagations 81 conflicts/sec 554549 propagations/sec 1590.19/1501.64 c (1392,0) c real: 1392.07 s, cpu: 1381.9 s, memory: 5225.82 Mb 1619.22/1530.64 c (1421,0) c 1619.22/1530.64 c (1421,0) c |------------------------------------------------------------------------------------------------------------------------| 1619.22/1530.64 c (1421,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1619.22/1530.64 c (1421,0) c |------------------------------------------------------------------------------------------------------------------------| 1619.22/1530.64 c (1421,0) c | 0 | 519 | 199606 | 115320 | 1055989 | 23958 | 15943 | 0 | 0 | 43196 | 20 | 1.645 | 1619.22/1530.64 c (1421,0) c 1619.22/1530.64 c (1421,0) c synthesis 115320 conflicts 782770029 propagations 82 conflicts/sec 554858 propagations/sec 1619.22/1530.64 c (1421,0) c real: 1421.07 s, cpu: 1410.76 s, memory: 5225.82 Mb 1648.24/1559.64 c (1450,0) c 1648.24/1559.64 c (1450,0) c |------------------------------------------------------------------------------------------------------------------------| 1648.24/1559.64 c (1450,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1648.24/1559.64 c (1450,0) c |------------------------------------------------------------------------------------------------------------------------| 1648.24/1559.64 c (1450,0) c | 0 | 525 | 203378 | 117633 | 1069252 | 26271 | 16231 | 0 | 0 | 44136 | 20 | 1.645 | 1648.24/1559.64 c (1450,0) c 1648.24/1559.64 c (1450,0) c synthesis 117633 conflicts 796744934 propagations 82 conflicts/sec 553414 propagations/sec 1648.24/1559.64 c (1450,0) c real: 1450.07 s, cpu: 1439.69 s, memory: 5225.82 Mb 1677.25/1588.64 c (1479,0) c 1677.25/1588.64 c (1479,0) c |------------------------------------------------------------------------------------------------------------------------| 1677.25/1588.64 c (1479,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1677.25/1588.64 c (1479,0) c |------------------------------------------------------------------------------------------------------------------------| 1677.25/1588.64 c (1479,0) c | 0 | 537 | 207015 | 119602 | 1082334 | 28240 | 16475 | 0 | 0 | 45062 | 20 | 1.645 | 1677.25/1588.64 c (1479,0) c 1677.25/1588.64 c (1479,0) c synthesis 119602 conflicts 812347123 propagations 81 conflicts/sec 553169 propagations/sec 1677.25/1588.64 c (1479,0) c real: 1479.07 s, cpu: 1468.53 s, memory: 5225.82 Mb 1706.27/1617.64 c (1508,0) c 1706.27/1617.64 c (1508,0) c |------------------------------------------------------------------------------------------------------------------------| 1706.27/1617.64 c (1508,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1706.27/1617.64 c (1508,0) c |------------------------------------------------------------------------------------------------------------------------| 1706.27/1617.64 c (1508,0) c | 0 | 553 | 210103 | 121215 | 1093381 | 29853 | 16625 | 0 | 0 | 45935 | 20 | 1.645 | 1706.27/1617.64 c (1508,0) c 1706.27/1617.64 c (1508,0) c synthesis 121215 conflicts 827842200 propagations 81 conflicts/sec 552834 propagations/sec 1706.27/1617.64 c (1508,0) c real: 1508.07 s, cpu: 1497.45 s, memory: 5225.82 Mb 1735.29/1646.64 c (1537,0) c 1735.29/1646.64 c (1537,0) c |------------------------------------------------------------------------------------------------------------------------| 1735.29/1646.64 c (1537,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1735.29/1646.64 c (1537,0) c |------------------------------------------------------------------------------------------------------------------------| 1735.29/1646.64 c (1537,0) c | 0 | 562 | 213652 | 123276 | 1103049 | 31914 | 16896 | 0 | 0 | 46853 | 20 | 1.645 | 1735.29/1646.64 c (1537,0) c 1735.29/1646.64 c (1537,0) c synthesis 123276 conflicts 844775066 propagations 81 conflicts/sec 553470 propagations/sec 1735.29/1646.64 c (1537,0) c real: 1537.07 s, cpu: 1526.32 s, memory: 5225.82 Mb 1764.32/1675.64 c (1566,0) c 1764.32/1675.64 c (1566,0) c |------------------------------------------------------------------------------------------------------------------------| 1764.32/1675.64 c (1566,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1764.32/1675.64 c (1566,0) c |------------------------------------------------------------------------------------------------------------------------| 1764.32/1675.64 c (1566,0) c | 0 | 576 | 217464 | 125281 | 1115703 | 33919 | 17110 | 0 | 0 | 47766 | 20 | 1.645 | 1764.32/1675.64 c (1566,0) c 1764.32/1675.64 c (1566,0) c synthesis 125281 conflicts 862270516 propagations 81 conflicts/sec 554425 propagations/sec 1764.32/1675.64 c (1566,0) c real: 1566.07 s, cpu: 1555.25 s, memory: 5225.82 Mb 1794.35/1705.64 c (1596,0) c 1794.35/1705.64 c (1596,0) c |------------------------------------------------------------------------------------------------------------------------| 1794.35/1705.64 c (1596,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1794.35/1705.64 c (1596,0) c |------------------------------------------------------------------------------------------------------------------------| 1794.35/1705.64 c (1596,0) c | 0 | 592 | 221335 | 127319 | 1127666 | 35957 | 17316 | 0 | 0 | 48680 | 20 | 1.645 | 1794.35/1705.64 c (1596,0) c 1794.35/1705.64 c (1596,0) c synthesis 127319 conflicts 879378568 propagations 80 conflicts/sec 554781 propagations/sec 1794.35/1705.64 c (1596,0) c real: 1596.07 s, cpu: 1585.09 s, memory: 5225.82 Mb 1823.37/1734.64 c (1625,0) c 1823.37/1734.64 c (1625,0) c |------------------------------------------------------------------------------------------------------------------------| 1823.37/1734.64 c (1625,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1823.37/1734.64 c (1625,0) c |------------------------------------------------------------------------------------------------------------------------| 1823.37/1734.64 c (1625,0) c | 0 | 608 | 225662 | 129568 | 1142915 | 38206 | 17617 | 0 | 0 | 49607 | 20 | 1.645 | 1823.37/1734.64 c (1625,0) c 1823.37/1734.64 c (1625,0) c synthesis 129568 conflicts 897788397 propagations 80 conflicts/sec 556244 propagations/sec 1823.37/1734.64 c (1625,0) c real: 1625.07 s, cpu: 1614.02 s, memory: 5225.82 Mb 1853.38/1764.64 c (1655,0) c 1853.38/1764.64 c (1655,0) c |------------------------------------------------------------------------------------------------------------------------| 1853.38/1764.64 c (1655,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1853.38/1764.64 c (1655,0) c |------------------------------------------------------------------------------------------------------------------------| 1853.38/1764.64 c (1655,0) c | 0 | 619 | 228720 | 131316 | 1154232 | 39954 | 17882 | 0 | 0 | 50486 | 20 | 1.645 | 1853.38/1764.64 c (1655,0) c 1853.38/1764.64 c (1655,0) c synthesis 131316 conflicts 914296264 propagations 80 conflicts/sec 556178 propagations/sec 1853.38/1764.64 c (1655,0) c real: 1655.07 s, cpu: 1643.89 s, memory: 5225.82 Mb 1882.40/1793.64 c (1684,0) c 1882.40/1793.64 c (1684,0) c |------------------------------------------------------------------------------------------------------------------------| 1882.40/1793.64 c (1684,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1882.40/1793.64 c (1684,0) c |------------------------------------------------------------------------------------------------------------------------| 1882.40/1793.64 c (1684,0) c | 0 | 639 | 232484 | 133505 | 1167829 | 42143 | 18150 | 0 | 0 | 51422 | 20 | 1.645 | 1882.40/1793.64 c (1684,0) c 1882.40/1793.64 c (1684,0) c synthesis 133505 conflicts 931581183 propagations 80 conflicts/sec 556897 propagations/sec 1882.40/1793.64 c (1684,0) c real: 1684.07 s, cpu: 1672.81 s, memory: 5225.82 Mb 1911.42/1822.64 c (1713,0) c 1911.42/1822.64 c (1713,0) c |------------------------------------------------------------------------------------------------------------------------| 1911.42/1822.64 c (1713,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1911.42/1822.64 c (1713,0) c |------------------------------------------------------------------------------------------------------------------------| 1911.42/1822.64 c (1713,0) c | 0 | 650 | 235744 | 135391 | 1181269 | 44029 | 18340 | 0 | 0 | 52337 | 20 | 1.645 | 1911.42/1822.64 c (1713,0) c 1911.42/1822.64 c (1713,0) c synthesis 135391 conflicts 948179194 propagations 80 conflicts/sec 557210 propagations/sec 1911.42/1822.64 c (1713,0) c real: 1713.07 s, cpu: 1701.65 s, memory: 5225.82 Mb 1940.43/1851.64 c (1742,0) c 1940.43/1851.64 c (1742,0) c |------------------------------------------------------------------------------------------------------------------------| 1940.43/1851.64 c (1742,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1940.43/1851.64 c (1742,0) c |------------------------------------------------------------------------------------------------------------------------| 1940.43/1851.64 c (1742,0) c | 0 | 660 | 239341 | 137286 | 1192945 | 23113 | 18603 | 0 | 0 | 53186 | 20 | 1.645 | 1940.43/1851.64 c (1742,0) c 1940.43/1851.64 c (1742,0) c synthesis 137286 conflicts 963135862 propagations 79 conflicts/sec 556551 propagations/sec 1940.43/1851.64 c (1742,0) c real: 1742.07 s, cpu: 1730.54 s, memory: 5225.82 Mb 1969.47/1880.64 c (1771,0) c 1969.47/1880.64 c (1771,0) c |------------------------------------------------------------------------------------------------------------------------| 1969.47/1880.64 c (1771,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1969.47/1880.64 c (1771,0) c |------------------------------------------------------------------------------------------------------------------------| 1969.47/1880.64 c (1771,0) c | 0 | 673 | 243878 | 139722 | 1204618 | 25549 | 18901 | 0 | 0 | 54082 | 20 | 1.645 | 1969.47/1880.64 c (1771,0) c 1969.47/1880.64 c (1771,0) c synthesis 139722 conflicts 980286328 propagations 79 conflicts/sec 557171 propagations/sec 1969.47/1880.64 c (1771,0) c real: 1771.07 s, cpu: 1759.4 s, memory: 5225.82 Mb 1998.49/1909.64 c (1800,0) c 1998.49/1909.64 c (1800,0) c |------------------------------------------------------------------------------------------------------------------------| 1998.49/1909.64 c (1800,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1998.49/1909.64 c (1800,0) c |------------------------------------------------------------------------------------------------------------------------| 1998.49/1909.64 c (1800,0) c | 0 | 682 | 248996 | 142560 | 1219751 | 28387 | 19236 | 0 | 0 | 54968 | 20 | 1.645 | 1998.49/1909.64 c (1800,0) c 1998.49/1909.64 c (1800,0) c synthesis 142560 conflicts 996796539 propagations 80 conflicts/sec 557394 propagations/sec 1998.49/1909.64 c (1800,0) c real: 1800.07 s, cpu: 1788.31 s, memory: 5225.82 Mb 2027.51/1938.64 c (1829,0) c 2027.51/1938.64 c (1829,0) c |------------------------------------------------------------------------------------------------------------------------| 2027.51/1938.64 c (1829,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2027.51/1938.64 c (1829,0) c |------------------------------------------------------------------------------------------------------------------------| 2027.51/1938.64 c (1829,0) c | 0 | 695 | 253009 | 144596 | 1234436 | 30423 | 19496 | 0 | 0 | 55894 | 20 | 1.645 | 2027.51/1938.64 c (1829,0) c 2027.51/1938.64 c (1829,0) c synthesis 144596 conflicts 1011450147 propagations 80 conflicts/sec 556607 propagations/sec 2027.51/1938.64 c (1829,0) c real: 1829.07 s, cpu: 1817.17 s, memory: 5225.82 Mb 2056.53/1967.64 c (1858,0) c 2056.53/1967.64 c (1858,0) c |------------------------------------------------------------------------------------------------------------------------| 2056.53/1967.64 c (1858,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2056.53/1967.64 c (1858,0) c |------------------------------------------------------------------------------------------------------------------------| 2056.53/1967.64 c (1858,0) c | 0 | 708 | 256749 | 146607 | 1247774 | 32434 | 19766 | 0 | 0 | 56819 | 20 | 1.645 | 2056.53/1967.64 c (1858,0) c 2056.53/1967.64 c (1858,0) c synthesis 146607 conflicts 1028162075 propagations 79 conflicts/sec 556945 propagations/sec 2056.53/1967.64 c (1858,0) c real: 1858.07 s, cpu: 1846.08 s, memory: 5225.82 Mb 2085.55/1996.64 c (1887,0) c 2085.55/1996.64 c (1887,0) c |------------------------------------------------------------------------------------------------------------------------| 2085.55/1996.64 c (1887,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2085.55/1996.64 c (1887,0) c |------------------------------------------------------------------------------------------------------------------------| 2085.55/1996.64 c (1887,0) c | 0 | 718 | 260012 | 148673 | 1259372 | 34500 | 20025 | 0 | 0 | 57798 | 20 | 1.645 | 2085.55/1996.64 c (1887,0) c 2085.55/1996.64 c (1887,0) c synthesis 148673 conflicts 1044335047 propagations 79 conflicts/sec 556988 propagations/sec 2085.55/1996.64 c (1887,0) c real: 1887.07 s, cpu: 1874.97 s, memory: 5225.82 Mb 2115.57/2026.64 c (1917,0) c 2115.57/2026.64 c (1917,0) c |------------------------------------------------------------------------------------------------------------------------| 2115.57/2026.64 c (1917,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2115.57/2026.64 c (1917,0) c |------------------------------------------------------------------------------------------------------------------------| 2115.57/2026.64 c (1917,0) c | 0 | 734 | 264079 | 150852 | 1271671 | 36679 | 20306 | 0 | 0 | 58742 | 20 | 1.645 | 2115.57/2026.64 c (1917,0) c 2115.57/2026.64 c (1917,0) c synthesis 150852 conflicts 1061568191 propagations 79 conflicts/sec 557309 propagations/sec 2115.57/2026.64 c (1917,0) c real: 1917.07 s, cpu: 1904.81 s, memory: 5225.82 Mb 2144.60/2055.64 c (1946,0) c 2144.60/2055.64 c (1946,0) c |------------------------------------------------------------------------------------------------------------------------| 2144.60/2055.64 c (1946,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2144.60/2055.64 c (1946,0) c |------------------------------------------------------------------------------------------------------------------------| 2144.60/2055.64 c (1946,0) c | 0 | 748 | 268070 | 152908 | 1283560 | 38735 | 20525 | 0 | 0 | 59706 | 20 | 1.645 | 2144.60/2055.64 c (1946,0) c 2144.60/2055.64 c (1946,0) c synthesis 152908 conflicts 1078418125 propagations 79 conflicts/sec 557699 propagations/sec 2144.60/2055.64 c (1946,0) c real: 1946.07 s, cpu: 1933.69 s, memory: 5225.82 Mb 2174.61/2085.64 c (1976,0) c 2174.61/2085.64 c (1976,0) c |------------------------------------------------------------------------------------------------------------------------| 2174.61/2085.64 c (1976,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2174.61/2085.64 c (1976,0) c |------------------------------------------------------------------------------------------------------------------------| 2174.61/2085.64 c (1976,0) c | 0 | 765 | 273400 | 155808 | 1297557 | 41635 | 20873 | 0 | 0 | 60639 | 20 | 1.645 | 2174.61/2085.64 c (1976,0) c 2174.61/2085.64 c (1976,0) c synthesis 155808 conflicts 1094537021 propagations 79 conflicts/sec 557425 propagations/sec 2174.61/2085.64 c (1976,0) c real: 1976.07 s, cpu: 1963.56 s, memory: 5225.82 Mb 2203.63/2114.64 c (2005,0) c 2203.63/2114.64 c (2005,0) c |------------------------------------------------------------------------------------------------------------------------| 2203.63/2114.64 c (2005,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2203.63/2114.64 c (2005,0) c |------------------------------------------------------------------------------------------------------------------------| 2203.63/2114.64 c (2005,0) c | 0 | 780 | 277683 | 158212 | 1311402 | 44039 | 21156 | 0 | 0 | 61601 | 20 | 1.645 | 2203.63/2114.64 c (2005,0) c 2203.63/2114.64 c (2005,0) c synthesis 158212 conflicts 1110421635 propagations 79 conflicts/sec 557316 propagations/sec 2203.63/2114.64 c (2005,0) c real: 2005.07 s, cpu: 1992.44 s, memory: 5225.82 Mb 2232.65/2143.64 c (2034,0) c 2232.65/2143.64 c (2034,0) c |------------------------------------------------------------------------------------------------------------------------| 2232.65/2143.64 c (2034,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2232.65/2143.64 c (2034,0) c |------------------------------------------------------------------------------------------------------------------------| 2232.65/2143.64 c (2034,0) c | 0 | 789 | 281043 | 160124 | 1321841 | 45951 | 21417 | 0 | 0 | 62529 | 20 | 1.645 | 2232.65/2143.64 c (2034,0) c 2232.65/2143.64 c (2034,0) c synthesis 160124 conflicts 1125147850 propagations 79 conflicts/sec 556641 propagations/sec 2232.65/2143.64 c (2034,0) c real: 2034.07 s, cpu: 2021.32 s, memory: 5225.82 Mb 2261.67/2172.64 c (2063,0) c 2261.67/2172.64 c (2063,0) c |------------------------------------------------------------------------------------------------------------------------| 2261.67/2172.64 c (2063,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2261.67/2172.64 c (2063,0) c |------------------------------------------------------------------------------------------------------------------------| 2261.67/2172.64 c (2063,0) c | 0 | 804 | 284659 | 162065 | 1333418 | 47892 | 21659 | 0 | 0 | 63397 | 20 | 1.645 | 2261.67/2172.64 c (2063,0) c 2261.67/2172.64 c (2063,0) c synthesis 162065 conflicts 1140359587 propagations 79 conflicts/sec 556214 propagations/sec 2261.67/2172.64 c (2063,0) c real: 2063.07 s, cpu: 2050.22 s, memory: 5225.82 Mb 2290.70/2201.64 c (2092,0) c 2290.70/2201.64 c (2092,0) c |------------------------------------------------------------------------------------------------------------------------| 2290.70/2201.64 c (2092,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2290.70/2201.64 c (2092,0) c |------------------------------------------------------------------------------------------------------------------------| 2290.70/2201.64 c (2092,0) c | 0 | 822 | 289089 | 164364 | 1344937 | 50191 | 21898 | 0 | 0 | 64295 | 20 | 1.645 | 2290.70/2201.64 c (2092,0) c 2290.70/2201.64 c (2092,0) c synthesis 164364 conflicts 1157064747 propagations 79 conflicts/sec 556529 propagations/sec 2290.70/2201.64 c (2092,0) c real: 2092.07 s, cpu: 2079.07 s, memory: 5225.82 Mb 2319.72/2230.64 c (2121,0) c 2319.72/2230.64 c (2121,0) c |------------------------------------------------------------------------------------------------------------------------| 2319.72/2230.64 c (2121,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2319.72/2230.64 c (2121,0) c |------------------------------------------------------------------------------------------------------------------------| 2319.72/2230.64 c (2121,0) c | 0 | 836 | 293822 | 166913 | 1358107 | 27350 | 22166 | 0 | 0 | 65231 | 20 | 1.645 | 2319.72/2230.64 c (2121,0) c 2319.72/2230.64 c (2121,0) c synthesis 166913 conflicts 1173794518 propagations 79 conflicts/sec 556833 propagations/sec 2319.72/2230.64 c (2121,0) c real: 2121.07 s, cpu: 2107.98 s, memory: 5225.82 Mb 2348.75/2259.64 c (2150,0) c 2348.75/2259.64 c (2150,0) c |------------------------------------------------------------------------------------------------------------------------| 2348.75/2259.64 c (2150,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2348.75/2259.64 c (2150,0) c |------------------------------------------------------------------------------------------------------------------------| 2348.75/2259.64 c (2150,0) c | 0 | 848 | 299839 | 170526 | 1375333 | 30963 | 22520 | 0 | 0 | 66139 | 20 | 1.645 | 2348.75/2259.64 c (2150,0) c 2348.75/2259.64 c (2150,0) c synthesis 170526 conflicts 1191828804 propagations 80 conflicts/sec 557761 propagations/sec 2348.75/2259.64 c (2150,0) c real: 2150.07 s, cpu: 2136.81 s, memory: 5225.82 Mb 2377.76/2288.64 c (2179,0) c 2377.76/2288.64 c (2179,0) c |------------------------------------------------------------------------------------------------------------------------| 2377.76/2288.64 c (2179,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2377.76/2288.64 c (2179,0) c |------------------------------------------------------------------------------------------------------------------------| 2377.76/2288.64 c (2179,0) c | 0 | 859 | 303681 | 172695 | 1388776 | 33132 | 22748 | 0 | 0 | 67107 | 20 | 1.645 | 2377.76/2288.64 c (2179,0) c 2377.76/2288.64 c (2179,0) c synthesis 172695 conflicts 1208422979 propagations 80 conflicts/sec 557975 propagations/sec 2377.76/2288.64 c (2179,0) c real: 2179.07 s, cpu: 2165.73 s, memory: 5225.82 Mb 2406.78/2317.64 c (2208,0) c 2406.78/2317.64 c (2208,0) c |------------------------------------------------------------------------------------------------------------------------| 2406.78/2317.64 c (2208,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2406.78/2317.64 c (2208,0) c |------------------------------------------------------------------------------------------------------------------------| 2406.78/2317.64 c (2208,0) c | 0 | 872 | 307103 | 174471 | 1398748 | 34908 | 22956 | 0 | 0 | 67983 | 20 | 1.645 | 2406.78/2317.64 c (2208,0) c 2406.78/2317.64 c (2208,0) c synthesis 174471 conflicts 1224252492 propagations 80 conflicts/sec 557857 propagations/sec 2406.78/2317.64 c (2208,0) c real: 2208.07 s, cpu: 2194.56 s, memory: 5225.82 Mb 2435.80/2346.64 c (2237,0) c 2435.80/2346.64 c (2237,0) c |------------------------------------------------------------------------------------------------------------------------| 2435.80/2346.64 c (2237,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2435.80/2346.64 c (2237,0) c |------------------------------------------------------------------------------------------------------------------------| 2435.80/2346.64 c (2237,0) c | 0 | 888 | 310501 | 176208 | 1410734 | 36645 | 23162 | 0 | 0 | 68888 | 20 | 1.645 | 2435.80/2346.64 c (2237,0) c 2435.80/2346.64 c (2237,0) c synthesis 176208 conflicts 1240327142 propagations 79 conflicts/sec 557835 propagations/sec 2435.80/2346.64 c (2237,0) c real: 2237.07 s, cpu: 2223.47 s, memory: 5225.82 Mb 2464.83/2375.64 c (2266,0) c 2464.83/2375.64 c (2266,0) c |------------------------------------------------------------------------------------------------------------------------| 2464.83/2375.64 c (2266,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2464.83/2375.64 c (2266,0) c |------------------------------------------------------------------------------------------------------------------------| 2464.83/2375.64 c (2266,0) c | 0 | 899 | 314145 | 178147 | 1420751 | 38583 | 23389 | 0 | 0 | 69734 | 20 | 1.646 | 2464.83/2375.64 c (2266,0) c 2464.83/2375.64 c (2266,0) c synthesis 178147 conflicts 1255760885 propagations 79 conflicts/sec 557568 propagations/sec 2464.83/2375.64 c (2266,0) c real: 2266.07 s, cpu: 2252.21 s, memory: 5225.82 Mb 2494.85/2405.64 c (2296,0) c 2494.85/2405.64 c (2296,0) c |------------------------------------------------------------------------------------------------------------------------| 2494.85/2405.64 c (2296,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2494.85/2405.64 c (2296,0) c |------------------------------------------------------------------------------------------------------------------------| 2494.85/2405.64 c (2296,0) c | 0 | 913 | 319539 | 181177 | 1436067 | 41613 | 23717 | 0 | 0 | 70724 | 20 | 1.646 | 2494.85/2405.64 c (2296,0) c 2494.85/2405.64 c (2296,0) c synthesis 181177 conflicts 1272531204 propagations 79 conflicts/sec 557602 propagations/sec 2494.85/2405.64 c (2296,0) c real: 2296.07 s, cpu: 2282.15 s, memory: 5225.82 Mb 2523.87/2434.64 c (2325,0) c 2523.87/2434.64 c (2325,0) c |------------------------------------------------------------------------------------------------------------------------| 2523.87/2434.64 c (2325,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2523.87/2434.64 c (2325,0) c |------------------------------------------------------------------------------------------------------------------------| 2523.87/2434.64 c (2325,0) c | 0 | 923 | 323823 | 183763 | 1451355 | 44199 | 24066 | 0 | 0 | 71623 | 20 | 1.646 | 2523.87/2434.64 c (2325,0) c 2523.87/2434.64 c (2325,0) c synthesis 183763 conflicts 1287536638 propagations 80 conflicts/sec 557137 propagations/sec 2523.87/2434.64 c (2325,0) c real: 2325.07 s, cpu: 2310.99 s, memory: 5225.82 Mb 2552.90/2463.64 c (2354,0) c 2552.90/2463.64 c (2354,0) c |------------------------------------------------------------------------------------------------------------------------| 2552.90/2463.64 c (2354,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2552.90/2463.64 c (2354,0) c |------------------------------------------------------------------------------------------------------------------------| 2552.90/2463.64 c (2354,0) c | 0 | 937 | 328672 | 186499 | 1467125 | 46935 | 24418 | 0 | 0 | 72548 | 20 | 1.646 | 2552.90/2463.64 c (2354,0) c 2552.90/2463.64 c (2354,0) c synthesis 186499 conflicts 1304135288 propagations 80 conflicts/sec 557344 propagations/sec 2552.90/2463.64 c (2354,0) c real: 2354.07 s, cpu: 2339.91 s, memory: 5225.82 Mb 2581.92/2492.64 c (2383,0) c 2581.92/2492.64 c (2383,0) c |------------------------------------------------------------------------------------------------------------------------| 2581.92/2492.64 c (2383,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2581.92/2492.64 c (2383,0) c |------------------------------------------------------------------------------------------------------------------------| 2581.92/2492.64 c (2383,0) c | 0 | 949 | 333755 | 189690 | 1481233 | 50125 | 24791 | 0 | 0 | 73429 | 20 | 1.696 | 2581.92/2492.64 c (2383,0) c 2581.92/2492.64 c (2383,0) c synthesis 189690 conflicts 1321623670 propagations 80 conflicts/sec 557944 propagations/sec 2581.92/2492.64 c (2383,0) c real: 2383.07 s, cpu: 2368.74 s, memory: 5225.82 Mb 2609.34/2520.01 c (2410,0) receiving signal SIGTERM 2609.34/2520.01 s UNKNOWN 2609.34/2520.01 c (scop.sh) Receiving Signal. Removing all intermediate files. 2609.34/2520.01 c (scop.sh) Remove HOME/scop-17802-serial-file.bin. 2609.34/2520.02 c (scop.sh) Killing background jobs. 2609.34/2520.02 c (2410,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 (10767 MiB free)
memory of node 1: 16384 MiB (15302 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392558-1568433428/watcher-4392558-1568433428 -o /tmp/evaluation-result-4392558-1568433428/solver-4392558-1568433428 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568421227-15750 --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-4392558-1568433428.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=17802, runsolver pid=17799
Current StackSize limit: 8192 KiB
[startup+0.100156 s]*
/proc/loadavg: 4.34 7.08 7.79 3/210 17824
/proc/meminfo: memFree=26598676/32770624 swapFree=66977616/67108860
[pid=17802] ppid=17799 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/17802/stat : 17802 (scop.sh) S 17799 17802 15723 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 419600050 115843072 349 33554432000 4194304 5098028 140730244184368 140730244181624 140454831215228 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10129408 140730244191013 140730244191340 140730244191340 140730244194253 0
/proc/17802/statm: 28282 349 296 221 0 87 0
[pid=17805] ppid=17802 vsize=27314120 memory=107648 CPUtime=0.11 cores=0-7
/proc/17805/stat : 17805 (java) S 17802 17802 15723 0 -1 1077944320 6469 0 0 0 9 2 0 0 20 0 20 0 419600051 27969658880 26912 33554432000 4194304 4196468 140726600090064 140726600072608 140450859294455 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
/proc/17805/statm: 6828530 26912 2803 1 0 6790935 0
[pid=17805/tid=17806] ppid=17802 vsize=27314120 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/17805/task/17806/stat : 17806 (java) R 17802 17802 15723 0 -1 4202560 4590 0 0 0 7 1 0 0 20 0 20 0 419600051 27969658880 26912 33554432000 4194304 4196468 140726600090064 140450831116736 140450843374942 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
[pid=17805/tid=17807] ppid=17802 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17805/task/17807/stat : 17807 (java) S 17802 17802 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419600053 27969658880 26912 33554432000 4194304 4196468 140726600090064 140450863536656 140450859304661 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
[pid=17805/tid=17808] ppid=17802 vsize=27314120 memory=4048928876056446624 CPUtime=0 cores=0-7
/proc/17805/task/17808/stat : 17808 (java) S 17802 17802 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419600053 27969658880 26912 33554432000 4194304 4196468 140726600090064 140450677693072 140450859304661 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
[pid=17805/tid=17809] ppid=17802 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17805/task/17809/stat : 17809 (java) S 17802 17802 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419600053 27969658880 26912 33554432000 4194304 4196468 140726600090064 140450676640016 140450859304661 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
[pid=17805/tid=17810] ppid=17802 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17805/task/17810/stat : 17810 (java) S 17802 17802 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419600053 27969658880 26912 33554432000 4194304 4196468 140726600090064 140450675587472 140450859304661 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
[pid=17805/tid=17811] ppid=17802 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17805/task/17811/stat : 17811 (java) S 17802 17802 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419600053 27969658880 26912 33554432000 4194304 4196468 140726600090064 140450674535440 140450859304661 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
[pid=17805/tid=17812] ppid=17802 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17805/task/17812/stat : 17812 (java) S 17802 17802 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419600053 27969658880 26912 33554432000 4194304 4196468 140726600090064 140450673482896 140450859304661 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
[pid=17805/tid=17813] ppid=17802 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17805/task/17813/stat : 17813 (java) S 17802 17802 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419600053 27969658880 26912 33554432000 4194304 4196468 140726600090064 140450672429840 140450859304661 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
[pid=17805/tid=17814] ppid=17802 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17805/task/17814/stat : 17814 (java) S 17802 17802 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419600053 27969658880 26912 33554432000 4194304 4196468 140726600090064 140450671377296 140450859304661 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
[pid=17805/tid=17815] ppid=17802 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17805/task/17815/stat : 17815 (java) S 17802 17802 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419600055 27969658880 26912 33554432000 4194304 4196468 140726600090064 140448910711024 140450859305602 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
[pid=17805/tid=17816] ppid=17802 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17805/task/17816/stat : 17816 (java) S 17802 17802 15723 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419600055 27969658880 26912 33554432000 4194304 4196468 140726600090064 140448786015392 140450859304661 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
[pid=17805/tid=17817] ppid=17802 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17805/task/17817/stat : 17817 (java) S 17802 17802 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419600056 27969658880 26912 33554432000 4194304 4196468 140726600090064 140448517579504 140450859304661 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
[pid=17805/tid=17818] ppid=17802 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17805/task/17818/stat : 17818 (java) S 17802 17802 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419600058 27969658880 26912 33554432000 4194304 4196468 140726600090064 140448143071184 140450859313051 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
[pid=17805/tid=17819] ppid=17802 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17805/task/17819/stat : 17819 (java) S 17802 17802 15723 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 419600058 27969658880 26912 33554432000 4194304 4196468 140726600090064 140448909658864 140450859305602 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
[pid=17805/tid=17820] ppid=17802 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17805/task/17820/stat : 17820 (java) S 17802 17802 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419600058 27969658880 26912 33554432000 4194304 4196468 140726600090064 140448908606320 140450859305602 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
[pid=17805/tid=17821] ppid=17802 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17805/task/17821/stat : 17821 (java) S 17802 17802 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419600058 27969658880 26912 33554432000 4194304 4196468 140726600090064 140448907553264 140450859305602 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
[pid=17805/tid=17822] ppid=17802 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17805/task/17822/stat : 17822 (java) S 17802 17802 15723 0 -1 1077944384 247 0 0 0 0 0 0 0 20 0 20 0 419600058 27969658880 26912 33554432000 4194304 4196468 140726600090064 140448906500720 140450859305602 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
[pid=17805/tid=17823] ppid=17802 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17805/task/17823/stat : 17823 (java) S 17802 17802 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419600058 27969658880 26912 33554432000 4194304 4196468 140726600090064 140447645166048 140450859304661 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
[pid=17805/tid=17824] ppid=17802 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17805/task/17824/stat : 17824 (java) S 17802 17802 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419600059 27969658880 26912 33554432000 4194304 4196468 140726600090064 140448905448112 140450859305602 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109044 KiB
[startup+0.210526 s]*
/proc/loadavg: 4.34 7.08 7.79 2/210 17824
/proc/meminfo: memFree=26578232/32770624 swapFree=66977616/67108860
[pid=17802] ppid=17799 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/17802/stat : 17802 (scop.sh) S 17799 17802 15723 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 419600050 115843072 349 33554432000 4194304 5098028 140730244184368 140730244181624 140454831215228 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10129408 140730244191013 140730244191340 140730244191340 140730244194253 0
/proc/17802/statm: 28282 349 296 221 0 87 0
[pid=17805] ppid=17802 vsize=27314120 memory=126792 CPUtime=0.25 cores=0-7
/proc/17805/stat : 17805 (java) S 17802 17802 15723 0 -1 1077944320 12081 0 0 0 21 4 0 0 20 0 20 0 419600051 27969658880 31698 33554432000 4194304 4196468 140726600090064 140726600072608 140450859294455 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
/proc/17805/statm: 6828530 31698 2927 1 0 6790935 0
[pid=17805/tid=17806] ppid=17802 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/17805/task/17806/stat : 17806 (java) R 17802 17802 15723 0 -1 4202560 9819 0 0 0 16 3 0 0 20 0 20 0 419600051 27969658880 31698 33554432000 4194304 4196468 140726600090064 140450831093840 140450839570336 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
[pid=17805/tid=17807] ppid=17802 vsize=27314120 memory=288230604707987820 CPUtime=0 cores=0-7
/proc/17805/task/17807/stat : 17807 (java) S 17802 17802 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419600053 27969658880 31698 33554432000 4194304 4196468 140726600090064 140450863536656 140450859304661 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
[pid=17805/tid=17808] ppid=17802 vsize=27314120 memory=139801744625942 CPUtime=0 cores=0-7
/proc/17805/task/17808/stat : 17808 (java) S 17802 17802 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419600053 27969658880 31698 33554432000 4194304 4196468 140726600090064 140450677693072 140450859304661 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
[pid=17805/tid=17809] ppid=17802 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17805/task/17809/stat : 17809 (java) S 17802 17802 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419600053 27969658880 31698 33554432000 4194304 4196468 140726600090064 140450676640016 140450859304661 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
[pid=17805/tid=17810] ppid=17802 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17805/task/17810/stat : 17810 (java) S 17802 17802 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419600053 27969658880 31698 33554432000 4194304 4196468 140726600090064 140450675587472 140450859304661 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
[pid=17805/tid=17811] ppid=17802 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17805/task/17811/stat : 17811 (java) S 17802 17802 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419600053 27969658880 31698 33554432000 4194304 4196468 140726600090064 140450674535440 140450859304661 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
[pid=17805/tid=17812] ppid=17802 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17805/task/17812/stat : 17812 (java) S 17802 17802 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419600053 27969658880 31698 33554432000 4194304 4196468 140726600090064 140450673482896 140450859304661 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
[pid=17805/tid=17813] ppid=17802 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17805/task/17813/stat : 17813 (java) S 17802 17802 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419600053 27969658880 31698 33554432000 4194304 4196468 140726600090064 140450672429840 140450859304661 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
[pid=17805/tid=17814] ppid=17802 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17805/task/17814/stat : 17814 (java) S 17802 17802 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419600053 27969658880 31698 33554432000 4194304 4196468 140726600090064 140450671377296 140450859304661 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
[pid=17805/tid=17815] ppid=17802 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17805/task/17815/stat : 17815 (java) S 17802 17802 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419600055 27969658880 31698 33554432000 4194304 4196468 140726600090064 140448910711024 140450859305602 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
[pid=17805/tid=17816] ppid=17802 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17805/task/17816/stat : 17816 (java) S 17802 17802 15723 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419600055 27969658880 31698 33554432000 4194304 4196468 140726600090064 140448786015392 140450859304661 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
[pid=17805/tid=17817] ppid=17802 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17805/task/17817/stat : 17817 (java) S 17802 17802 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419600056 27969658880 31698 33554432000 4194304 4196468 140726600090064 140448517579504 140450859304661 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
[pid=17805/tid=17818] ppid=17802 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17805/task/17818/stat : 17818 (java) S 17802 17802 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419600058 27969658880 31698 33554432000 4194304 4196468 140726600090064 140448143071184 140450859313051 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
[pid=17805/tid=17819] ppid=17802 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17805/task/17819/stat : 17819 (java) S 17802 17802 15723 0 -1 1077944384 432 0 0 0 0 0 0 0 20 0 20 0 419600058 27969658880 31698 33554432000 4194304 4196468 140726600090064 140448909658864 140450859305602 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
[pid=17805/tid=17820] ppid=17802 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17805/task/17820/stat : 17820 (java) S 17802 17802 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419600058 27969658880 31698 33554432000 4194304 4196468 140726600090064 140448908606320 140450859305602 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
[pid=17805/tid=17821] ppid=17802 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17805/task/17821/stat : 17821 (java) S 17802 17802 15723 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 419600058 27969658880 31698 33554432000 4194304 4196468 140726600090064 140448907553264 140450859305602 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
[pid=17805/tid=17822] ppid=17802 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/17805/task/17822/stat : 17822 (java) S 17802 17802 15723 0 -1 1077944384 446 0 0 0 2 0 0 0 20 0 20 0 419600058 27969658880 31698 33554432000 4194304 4196468 140726600090064 140448906500720 140450859305602 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
[pid=17805/tid=17823] ppid=17802 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17805/task/17823/stat : 17823 (java) S 17802 17802 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419600058 27969658880 31698 33554432000 4194304 4196468 140726600090064 140447645166048 140450859304661 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
[pid=17805/tid=17824] ppid=17802 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17805/task/17824/stat : 17824 (java) S 17802 17802 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419600059 27969658880 31698 33554432000 4194304 4196468 140726600090064 140448905448112 140450859305602 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128188 KiB
[startup+0.310378 s]*
/proc/loadavg: 4.34 7.08 7.79 2/210 17824
/proc/meminfo: memFree=26576184/32770624 swapFree=66977616/67108860
[pid=17802] ppid=17799 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/17802/stat : 17802 (scop.sh) S 17799 17802 15723 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 419600050 115843072 349 33554432000 4194304 5098028 140730244184368 140730244181624 140454831215228 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10129408 140730244191013 140730244191340 140730244191340 140730244194253 0
/proc/17802/statm: 28282 349 296 221 0 87 0
[pid=17805] ppid=17802 vsize=27314120 memory=130660 CPUtime=0.42 cores=0-7
/proc/17805/stat : 17805 (java) S 17802 17802 15723 0 -1 1077944320 12457 0 0 0 38 4 0 0 20 0 20 0 419600051 27969658880 32665 33554432000 4194304 4196468 140726600090064 140726600072608 140450859294455 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
/proc/17805/statm: 6828530 32665 3067 1 0 6790935 0
[pid=17805/tid=17806] ppid=17802 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/17805/task/17806/stat : 17806 (java) R 17802 17802 15723 0 -1 4202560 10006 0 0 0 26 3 0 0 20 0 20 0 419600051 27969658880 32665 33554432000 4194304 4196468 140726600090064 140450831111904 140450839569758 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
[pid=17805/tid=17807] ppid=17802 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17805/task/17807/stat : 17807 (java) S 17802 17802 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419600053 27969658880 32665 33554432000 4194304 4196468 140726600090064 140450863536656 140450859304661 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
[pid=17805/tid=17808] ppid=17802 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17805/task/17808/stat : 17808 (java) S 17802 17802 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419600053 27969658880 32665 33554432000 4194304 4196468 140726600090064 140450677693072 140450859304661 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
[pid=17805/tid=17809] ppid=17802 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17805/task/17809/stat : 17809 (java) S 17802 17802 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419600053 27969658880 32665 33554432000 4194304 4196468 140726600090064 140450676640016 140450859304661 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
[pid=17805/tid=17810] ppid=17802 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17805/task/17810/stat : 17810 (java) S 17802 17802 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419600053 27969658880 32665 33554432000 4194304 4196468 140726600090064 140450675587472 140450859304661 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
[pid=17805/tid=17811] ppid=17802 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17805/task/17811/stat : 17811 (java) S 17802 17802 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419600053 27969658880 32665 33554432000 4194304 4196468 140726600090064 140450674535440 140450859304661 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
[pid=17805/tid=17812] ppid=17802 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17805/task/17812/stat : 17812 (java) S 17802 17802 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419600053 27969658880 32665 33554432000 4194304 4196468 140726600090064 140450673482896 140450859304661 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
[pid=17805/tid=17813] ppid=17802 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17805/task/17813/stat : 17813 (java) S 17802 17802 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419600053 27969658880 32665 33554432000 4194304 4196468 140726600090064 140450672429840 140450859304661 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
[pid=17805/tid=17814] ppid=17802 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17805/task/17814/stat : 17814 (java) S 17802 17802 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419600053 27969658880 32665 33554432000 4194304 4196468 140726600090064 140450671377296 140450859304661 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
[pid=17805/tid=17815] ppid=17802 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17805/task/17815/stat : 17815 (java) S 17802 17802 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419600055 27969658880 32665 33554432000 4194304 4196468 140726600090064 140448910711024 140450859305602 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
[pid=17805/tid=17816] ppid=17802 vsize=27314120 memory=279603176480128 CPUtime=0 cores=0-7
/proc/17805/task/17816/stat : 17816 (java) S 17802 17802 15723 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419600055 27969658880 32665 33554432000 4194304 4196468 140726600090064 140448786015392 140450859304661 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
[pid=17805/tid=17817] ppid=17802 vsize=27314120 memory=279603176484736 CPUtime=0 cores=0-7
/proc/17805/task/17817/stat : 17817 (java) S 17802 17802 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419600056 27969658880 32665 33554432000 4194304 4196468 140726600090064 140448517579504 140450859304661 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
[pid=17805/tid=17818] ppid=17802 vsize=27314120 memory=279603176489344 CPUtime=0 cores=0-7
/proc/17805/task/17818/stat : 17818 (java) S 17802 17802 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419600058 27969658880 32665 33554432000 4194304 4196468 140726600090064 140448143071184 140450859313051 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
[pid=17805/tid=17819] ppid=17802 vsize=27314120 memory=279603176493952 CPUtime=0.01 cores=0-7
/proc/17805/task/17819/stat : 17819 (java) S 17802 17802 15723 0 -1 1077944384 465 0 0 0 1 0 0 0 20 0 20 0 419600058 27969658880 32665 33554432000 4194304 4196468 140726600090064 140448909658864 140450859305602 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
[pid=17805/tid=17820] ppid=17802 vsize=27314120 memory=279603176498560 CPUtime=0.01 cores=0-7
/proc/17805/task/17820/stat : 17820 (java) S 17802 17802 15723 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 20 0 419600058 27969658880 32665 33554432000 4194304 4196468 140726600090064 140448908606320 140450859305602 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
[pid=17805/tid=17821] ppid=17802 vsize=27314120 memory=279603176503168 CPUtime=0.01 cores=0-7
/proc/17805/task/17821/stat : 17821 (java) S 17802 17802 15723 0 -1 1077944384 140 0 0 0 1 0 0 0 20 0 20 0 419600058 27969658880 32665 33554432000 4194304 4196468 140726600090064 140448907553264 140450859305602 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
[pid=17805/tid=17822] ppid=17802 vsize=27314120 memory=279603176507776 CPUtime=0.07 cores=0-7
/proc/17805/task/17822/stat : 17822 (java) S 17802 17802 15723 0 -1 1077944384 468 0 0 0 7 0 0 0 20 0 20 0 419600058 27969658880 32665 33554432000 4194304 4196468 140726600090064 140448906500720 140450859305602 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
[pid=17805/tid=17823] ppid=17802 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17805/task/17823/stat : 17823 (java) S 17802 17802 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419600058 27969658880 32665 33554432000 4194304 4196468 140726600090064 140447645166048 140450859304661 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
[pid=17805/tid=17824] ppid=17802 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17805/task/17824/stat : 17824 (java) S 17802 17802 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419600059 27969658880 32665 33554432000 4194304 4196468 140726600090064 140448905448112 140450859305602 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 132056 KiB
[startup+0.700989 s]
/proc/loadavg: 4.34 7.08 7.79 2/210 17824
/proc/meminfo: memFree=26554840/32770624 swapFree=66977616/67108860
[pid=17802] ppid=17799 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/17802/stat : 17802 (scop.sh) S 17799 17802 15723 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 419600050 115843072 349 33554432000 4194304 5098028 140730244184368 140730244181624 140454831215228 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10129408 140730244191013 140730244191340 140730244191340 140730244194253 0
/proc/17802/statm: 28282 349 296 221 0 87 0
[pid=17805] ppid=17802 vsize=27322516 memory=165664 CPUtime=0.99 cores=0-7
/proc/17805/stat : 17805 (java) S 17802 17802 15723 0 -1 1077944320 19980 0 0 0 92 7 0 0 20 0 20 0 419600051 27978256384 41416 33554432000 4194304 4196468 140726600090064 140726600072608 140450859294455 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
/proc/17805/statm: 6830629 41416 3206 1 0 6791959 0
[pid=17805/tid=17806] ppid=17802 vsize=27322516 memory=4580 CPUtime=0.68 cores=0-7
/proc/17805/task/17806/stat : 17806 (java) R 17802 17802 15723 0 -1 4202560 17088 0 0 0 62 6 0 0 20 0 20 0 419600051 27978256384 41416 33554432000 4194304 4196468 140726600090064 140450831126224 140450843374942 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
[pid=17805/tid=17807] ppid=17802 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/17805/task/17807/stat : 17807 (java) S 17802 17802 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419600053 27978256384 41416 33554432000 4194304 4196468 140726600090064 140450863536656 140450859304661 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
[pid=17805/tid=17808] ppid=17802 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/17805/task/17808/stat : 17808 (java) S 17802 17802 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419600053 27978256384 41416 33554432000 4194304 4196468 140726600090064 140450677693072 140450859304661 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
[pid=17805/tid=17809] ppid=17802 vsize=27322516 memory=1056 CPUtime=0 cores=0-7
/proc/17805/task/17809/stat : 17809 (java) S 17802 17802 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419600053 27978256384 41416 33554432000 4194304 4196468 140726600090064 140450676640016 140450859304661 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8908800 140726600094443 140726600094870 140726600094870 140726600097743 0
################
# More data... #
################
/proc/17831/task/17834/stat : 17834 (java) S 17799 17802 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 26 0 419610936 9018724352 33552 33554432000 4194304 4196468 140729222763472 139693747497360 139693943097045 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17835] ppid=17799 vsize=8807348 memory=1808 CPUtime=0 cores=0-7
/proc/17831/task/17835/stat : 17835 (java) S 17799 17802 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 26 0 419610936 9018724352 33552 33554432000 4194304 4196468 140729222763472 139693746444816 139693943097045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17836] ppid=17799 vsize=8807348 memory=920 CPUtime=0 cores=0-7
/proc/17831/task/17836/stat : 17836 (java) S 17799 17802 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 26 0 419610936 9018724352 33552 33554432000 4194304 4196468 140729222763472 139693745392272 139693943097045 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17837] ppid=17799 vsize=8807348 memory=4444 CPUtime=0 cores=0-7
/proc/17831/task/17837/stat : 17837 (java) S 17799 17802 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 26 0 419610936 9018724352 33552 33554432000 4194304 4196468 140729222763472 139693425421072 139693943097045 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17838] ppid=17799 vsize=8807348 memory=4155232 CPUtime=0 cores=0-7
/proc/17831/task/17838/stat : 17838 (java) S 17799 17802 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 26 0 419610936 9018724352 33552 33554432000 4194304 4196468 140729222763472 139693424368528 139693943097045 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17839] ppid=17799 vsize=8807348 memory=4108 CPUtime=0 cores=0-7
/proc/17831/task/17839/stat : 17839 (java) S 17799 17802 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 26 0 419610936 9018724352 33552 33554432000 4194304 4196468 140729222763472 139693423315984 139693943097045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17840] ppid=17799 vsize=8807348 memory=1164 CPUtime=0 cores=0-7
/proc/17831/task/17840/stat : 17840 (java) S 17799 17802 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 26 0 419610936 9018724352 33552 33554432000 4194304 4196468 140729222763472 139693422263440 139693943097045 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17841] ppid=17799 vsize=8807348 memory=8317482817917895235 CPUtime=0.06 cores=0-7
/proc/17831/task/17841/stat : 17841 (java) S 17799 17802 15723 0 -1 1077944384 15 0 0 0 3 3 0 0 20 0 26 0 419610937 9018724352 33552 33554432000 4194304 4196468 140729222763472 139693036529648 139693943097986 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17842] ppid=17799 vsize=8807348 memory=123968 CPUtime=0 cores=0-7
/proc/17831/task/17842/stat : 17842 (java) S 17799 17802 15723 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 26 0 419610938 9018724352 33552 33554432000 4194304 4196468 140729222763472 139692536226720 139693943097045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17843] ppid=17799 vsize=8807348 memory=4155216 CPUtime=0 cores=0-7
/proc/17831/task/17843/stat : 17843 (java) S 17799 17802 15723 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 26 0 419610938 9018724352 33552 33554432000 4194304 4196468 140729222763472 139692402004976 139693943097045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17844] ppid=17799 vsize=8807348 memory=4155208 CPUtime=0 cores=0-7
/proc/17831/task/17844/stat : 17844 (java) S 17799 17802 15723 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 26 0 419610941 9018724352 33552 33554432000 4194304 4196468 140729222763472 139692027500752 139693943105435 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17845] ppid=17799 vsize=8807348 memory=4155208 CPUtime=0.07 cores=0-7
/proc/17831/task/17845/stat : 17845 (java) S 17799 17802 15723 0 -1 1077944384 567 0 0 0 6 1 0 0 20 0 26 0 419610941 9018724352 33552 33554432000 4194304 4196468 140729222763472 139693035477488 139693943097986 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17846] ppid=17799 vsize=8807348 memory=14048 CPUtime=0.09 cores=0-7
/proc/17831/task/17846/stat : 17846 (java) S 17799 17802 15723 0 -1 1077944384 412 0 0 0 8 1 0 0 20 0 26 0 419610941 9018724352 33552 33554432000 4194304 4196468 140729222763472 139693034424944 139693943097986 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17847] ppid=17799 vsize=8807348 memory=21960 CPUtime=0.08 cores=0-7
/proc/17831/task/17847/stat : 17847 (java) S 17799 17802 15723 0 -1 1077944384 372 0 0 0 8 0 0 0 20 0 26 0 419610941 9018724352 33552 33554432000 4194304 4196468 140729222763472 139693033372400 139693943097986 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17848] ppid=17799 vsize=8807348 memory=2120 CPUtime=0.25 cores=0-7
/proc/17831/task/17848/stat : 17848 (java) S 17799 17802 15723 0 -1 1077944384 1176 0 0 0 24 1 0 0 20 0 26 0 419610941 9018724352 33552 33554432000 4194304 4196468 140729222763472 139693032319856 139693943097986 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17849] ppid=17799 vsize=8807348 memory=532 CPUtime=0 cores=0-7
/proc/17831/task/17849/stat : 17849 (java) S 17799 17802 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 26 0 419610941 9018724352 33552 33554432000 4194304 4196468 140729222763472 139691529595104 139693943097045 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17850] ppid=17799 vsize=8807348 memory=1564 CPUtime=1.65 cores=0-7
/proc/17831/task/17850/stat : 17850 (java) S 17799 17802 15723 0 -1 1077944384 160 0 0 0 84 81 0 0 20 0 26 0 419610941 9018724352 33552 33554432000 4194304 4196468 140729222763472 139693031266736 139693943097986 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17852] ppid=17799 vsize=8807348 memory=924 CPUtime=0 cores=0-7
/proc/17831/task/17852/stat : 17852 (java) S 17799 17802 15723 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 26 0 419611007 9018724352 33552 33554432000 4194304 4196468 140729222763472 139693023233216 139693943111449 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17854] ppid=17799 vsize=8807348 memory=1756 CPUtime=0.04 cores=0-7
/proc/17831/task/17854/stat : 17854 (java) S 17799 17802 15723 0 -1 4202560 1738 0 0 0 1 3 0 0 20 0 26 0 419611007 9018724352 33552 33554432000 4194304 4196468 140729222763472 139690858496016 139693943108765 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17855] ppid=17799 vsize=8807348 memory=1440 CPUtime=0 cores=0-7
/proc/17831/task/17855/stat : 17855 (java) S 17799 17802 15723 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 26 0 419611008 9018724352 33552 33554432000 4194304 4196468 140729222763472 139691126931344 139693943108765 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17856] ppid=17799 vsize=8807348 memory=916 CPUtime=0 cores=0-7
/proc/17831/task/17856/stat : 17856 (java) S 17799 17802 15723 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 26 0 419611010 9018724352 33552 33554432000 4194304 4196468 140729222763472 139690590068400 139693943097045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=18066] ppid=17799 vsize=8807348 memory=1984 CPUtime=0 cores=0-7
/proc/17831/task/18066/stat : 18066 (java) S 17799 17802 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 26 0 419852052 9018724352 33552 33554432000 4194304 4196468 140729222763472 139690321634720 139693943097045 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=18069] ppid=17799 vsize=8807348 memory=4155232 CPUtime=0 cores=0-7
/proc/17831/task/18069/stat : 18069 (java) S 17799 17802 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 26 0 419852053 9018724352 33552 33554432000 4194304 4196468 140729222763472 139690053198368 139693943097045 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
Current cumulated CPU time of completed processes: 196.09 s
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 8807348 KiB
Current children cumulated memory: 134208 KiB
[startup+2520.3 s]
/proc/loadavg: 1.01 1.02 1.46 2/216 18069
/proc/meminfo: memFree=22459480/32770624 swapFree=66977616/67108860
[pid=17831] ppid=17799 vsize=8545196 memory=134200 CPUtime=2413.59 cores=0-7
/proc/17831/stat : 17831 (java) S 17799 17802 15723 0 -1 1077944320 22296 17387196 0 0 217 102 239600 1440 20 0 23 0 419610934 8750280704 33550 33554432000 4194304 4196468 140729222763472 140729222746016 139693943086839 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
/proc/17831/statm: 2136299 33550 3213 1 0 2097643 0
[pid=17831/tid=17832] ppid=17799 vsize=8545196 memory=6791534058613427641 CPUtime=2411.14 cores=0-7
/proc/17831/task/17832/stat : 17832 (java) S 17799 17802 15723 0 -1 1077944384 16412 17387196 0 0 68 6 239600 1440 20 0 23 0 419610934 8750280704 33550 33554432000 4194304 4196468 140729222763472 139693914927008 139693943097045 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17833] ppid=17799 vsize=8545196 memory=288230621803970871 CPUtime=2410.4 cores=0-7
/proc/17831/task/17833/stat : 17833 (java) S 17799 17802 15723 0 -1 1077944384 1 17387196 0 0 0 0 239600 1440 20 0 23 0 419610936 8750280704 33550 33554432000 4194304 4196468 140729222763472 139693947328784 139693943097045 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17834] ppid=17799 vsize=8545196 memory=16105866206120578 CPUtime=2410.4 cores=0-7
/proc/17831/task/17834/stat : 17834 (java) S 17799 17802 15723 0 -1 1077944384 1 17387196 0 0 0 0 239600 1440 20 0 23 0 419610936 8750280704 33550 33554432000 4194304 4196468 140729222763472 139693747497360 139693943097045 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17835] ppid=17799 vsize=8545196 memory=-9104697784451494290 CPUtime=2410.4 cores=0-7
/proc/17831/task/17835/stat : 17835 (java) S 17799 17802 15723 0 -1 1077944384 1 17387196 0 0 0 0 239600 1440 20 0 23 0 419610936 8750280704 33550 33554432000 4194304 4196468 140729222763472 139693746444816 139693943097045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17836] ppid=17799 vsize=8545196 memory=1808 CPUtime=2410.4 cores=0-7
/proc/17831/task/17836/stat : 17836 (java) S 17799 17802 15723 0 -1 1077944384 2 17387196 0 0 0 0 239600 1440 20 0 23 0 419610936 8750280704 33550 33554432000 4194304 4196468 140729222763472 139693745392272 139693943097045 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17837] ppid=17799 vsize=8545196 memory=920 CPUtime=2410.4 cores=0-7
/proc/17831/task/17837/stat : 17837 (java) S 17799 17802 15723 0 -1 1077944384 1 17387196 0 0 0 0 239600 1440 20 0 23 0 419610936 8750280704 33550 33554432000 4194304 4196468 140729222763472 139693425421072 139693943097045 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17838] ppid=17799 vsize=8545196 memory=-9104697784451494290 CPUtime=2410.4 cores=0-7
/proc/17831/task/17838/stat : 17838 (java) S 17799 17802 15723 0 -1 1077944384 2 17387196 0 0 0 0 239600 1440 20 0 23 0 419610936 8750280704 33550 33554432000 4194304 4196468 140729222763472 139693424368528 139693943097045 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17839] ppid=17799 vsize=8545196 memory=4155196 CPUtime=2410.4 cores=0-7
/proc/17831/task/17839/stat : 17839 (java) S 17799 17802 15723 0 -1 1077944384 1 17387196 0 0 0 0 239600 1440 20 0 23 0 419610936 8750280704 33550 33554432000 4194304 4196468 140729222763472 139693423315984 139693943097045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17840] ppid=17799 vsize=8545196 memory=123968 CPUtime=2410.4 cores=0-7
/proc/17831/task/17840/stat : 17840 (java) S 17799 17802 15723 0 -1 1077944384 3 17387196 0 0 0 0 239600 1440 20 0 23 0 419610936 8750280704 33550 33554432000 4194304 4196468 140729222763472 139693422263440 139693943097045 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17841] ppid=17799 vsize=8545196 memory=1476 CPUtime=2410.46 cores=0-7
/proc/17831/task/17841/stat : 17841 (java) S 17799 17802 15723 0 -1 1077944384 15 17387196 0 0 3 3 239600 1440 20 0 23 0 419610937 8750280704 33550 33554432000 4194304 4196468 140729222763472 139693036529152 139693943097986 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17842] ppid=17799 vsize=8545196 memory=123968 CPUtime=2410.4 cores=0-7
/proc/17831/task/17842/stat : 17842 (java) S 17799 17802 15723 0 -1 1077944384 13 17387196 0 0 0 0 239600 1440 20 0 23 0 419610938 8750280704 33550 33554432000 4194304 4196468 140729222763472 139692536226720 139693943097045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17843] ppid=17799 vsize=8545196 memory=41444 CPUtime=2410.4 cores=0-7
/proc/17831/task/17843/stat : 17843 (java) S 17799 17802 15723 0 -1 1077944384 21 17387196 0 0 0 0 239600 1440 20 0 23 0 419610938 8750280704 33550 33554432000 4194304 4196468 140729222763472 139692402004976 139693943097045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17844] ppid=17799 vsize=8545196 memory=988 CPUtime=2410.4 cores=0-7
/proc/17831/task/17844/stat : 17844 (java) S 17799 17802 15723 0 -1 1077944384 31 17387196 0 0 0 0 239600 1440 20 0 23 0 419610941 8750280704 33550 33554432000 4194304 4196468 140729222763472 139692027500400 139693943097045 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17845] ppid=17799 vsize=8545196 memory=2004 CPUtime=2410.47 cores=0-7
/proc/17831/task/17845/stat : 17845 (java) S 17799 17802 15723 0 -1 1077944384 567 17387196 0 0 6 1 239600 1440 20 0 23 0 419610941 8750280704 33550 33554432000 4194304 4196468 140729222763472 139693035477488 139693943097986 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17846] ppid=17799 vsize=8545196 memory=2004 CPUtime=2410.49 cores=0-7
/proc/17831/task/17846/stat : 17846 (java) S 17799 17802 15723 0 -1 1077944384 413 17387196 0 0 8 1 239600 1440 20 0 23 0 419610941 8750280704 33550 33554432000 4194304 4196468 140729222763472 139693034423776 139693943097045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17847] ppid=17799 vsize=8545196 memory=1428 CPUtime=2410.48 cores=0-7
/proc/17831/task/17847/stat : 17847 (java) S 17799 17802 15723 0 -1 1077944384 372 17387196 0 0 8 0 239600 1440 20 0 23 0 419610941 8750280704 33550 33554432000 4194304 4196468 140729222763472 139693033372400 139693943097986 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17848] ppid=17799 vsize=8545196 memory=1724 CPUtime=2410.65 cores=0-7
/proc/17831/task/17848/stat : 17848 (java) S 17799 17802 15723 0 -1 1077944384 1177 17387196 0 0 24 1 239600 1440 20 0 23 0 419610941 8750280704 33550 33554432000 4194304 4196468 140729222763472 139693032318688 139693943097045 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17849] ppid=17799 vsize=8545196 memory=704 CPUtime=2410.4 cores=0-7
/proc/17831/task/17849/stat : 17849 (java) S 17799 17802 15723 0 -1 1077944384 3 17387196 0 0 0 0 239600 1440 20 0 23 0 419610941 8750280704 33550 33554432000 4194304 4196468 140729222763472 139691529595104 139693943097045 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17852] ppid=17799 vsize=8545196 memory=1056 CPUtime=2410.4 cores=0-7
/proc/17831/task/17852/stat : 17852 (java) S 17799 17802 15723 0 -1 1077944384 24 17387196 0 0 0 0 239600 1440 20 0 23 0 419611007 8750280704 33550 33554432000 4194304 4196468 140729222763472 139693023231440 139693943097045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17856] ppid=17799 vsize=8545196 memory=1556 CPUtime=2410.4 cores=0-7
/proc/17831/task/17856/stat : 17856 (java) S 17799 17802 15723 0 -1 1077944384 5 17387196 0 0 0 0 239600 1440 20 0 23 0 419611010 8750280704 33550 33554432000 4194304 4196468 140729222763472 139690590057744 139693943097045 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=18066] ppid=17799 vsize=8545196 memory=780 CPUtime=2410.4 cores=0-7
/proc/17831/task/18066/stat : 18066 (java) S 17799 17802 15723 0 -1 1077944384 3 17387196 0 0 0 0 239600 1440 20 0 23 0 419852052 8750280704 33550 33554432000 4194304 4196468 140729222763472 139690321633872 139693943097045 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=18069] ppid=17799 vsize=8545196 memory=3252 CPUtime=2410.49 cores=0-7
/proc/17831/task/18069/stat : 18069 (java) R 17799 17802 15723 0 -1 4202560 2 17387196 0 0 0 9 239600 1440 20 0 23 0 419852053 8750280704 33550 33554432000 4194304 4196468 140729222763472 139690053198368 139693935772471 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
Current cumulated CPU time of completed processes: 196.09 s
Current children cumulated CPU time: 2413.59 s
Current children cumulated vsize: 8545196 KiB
Current children cumulated memory: 134200 KiB
[startup+2520.4 s]
/proc/loadavg: 1.01 1.02 1.46 2/216 18069
/proc/meminfo: memFree=22459480/32770624 swapFree=66977616/67108860
[pid=17831] ppid=17799 vsize=8545196 memory=134200 CPUtime=2413.69 cores=0-7
/proc/17831/stat : 17831 (java) S 17799 17802 15723 0 -1 1077944320 22297 17387196 0 0 217 112 239600 1440 20 0 23 0 419610934 8750280704 33550 33554432000 4194304 4196468 140729222763472 140729222746016 139693943086839 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
/proc/17831/statm: 2136299 33550 3213 1 0 2097643 0
[pid=17831/tid=17832] ppid=17799 vsize=8545196 memory=123968 CPUtime=2411.14 cores=0-7
/proc/17831/task/17832/stat : 17832 (java) S 17799 17802 15723 0 -1 1077944384 16412 17387196 0 0 68 6 239600 1440 20 0 23 0 419610934 8750280704 33550 33554432000 4194304 4196468 140729222763472 139693914927008 139693943097045 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17833] ppid=17799 vsize=8545196 memory=1476 CPUtime=2410.4 cores=0-7
/proc/17831/task/17833/stat : 17833 (java) S 17799 17802 15723 0 -1 1077944384 1 17387196 0 0 0 0 239600 1440 20 0 23 0 419610936 8750280704 33550 33554432000 4194304 4196468 140729222763472 139693947328784 139693943097045 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17834] ppid=17799 vsize=8545196 memory=123968 CPUtime=2410.4 cores=0-7
/proc/17831/task/17834/stat : 17834 (java) S 17799 17802 15723 0 -1 1077944384 1 17387196 0 0 0 0 239600 1440 20 0 23 0 419610936 8750280704 33550 33554432000 4194304 4196468 140729222763472 139693747497360 139693943097045 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17835] ppid=17799 vsize=8545196 memory=123968 CPUtime=2410.4 cores=0-7
/proc/17831/task/17835/stat : 17835 (java) S 17799 17802 15723 0 -1 1077944384 1 17387196 0 0 0 0 239600 1440 20 0 23 0 419610936 8750280704 33550 33554432000 4194304 4196468 140729222763472 139693746444816 139693943097045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17836] ppid=17799 vsize=8545196 memory=123968 CPUtime=2410.4 cores=0-7
/proc/17831/task/17836/stat : 17836 (java) S 17799 17802 15723 0 -1 1077944384 2 17387196 0 0 0 0 239600 1440 20 0 23 0 419610936 8750280704 33550 33554432000 4194304 4196468 140729222763472 139693745392272 139693943097045 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17837] ppid=17799 vsize=8545196 memory=1476 CPUtime=2410.4 cores=0-7
/proc/17831/task/17837/stat : 17837 (java) S 17799 17802 15723 0 -1 1077944384 1 17387196 0 0 0 0 239600 1440 20 0 23 0 419610936 8750280704 33550 33554432000 4194304 4196468 140729222763472 139693425421072 139693943097045 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17838] ppid=17799 vsize=8545196 memory=4155232 CPUtime=2410.4 cores=0-7
/proc/17831/task/17838/stat : 17838 (java) S 17799 17802 15723 0 -1 1077944384 2 17387196 0 0 0 0 239600 1440 20 0 23 0 419610936 8750280704 33550 33554432000 4194304 4196468 140729222763472 139693424368528 139693943097045 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17839] ppid=17799 vsize=8545196 memory=134200 CPUtime=2410.4 cores=0-7
/proc/17831/task/17839/stat : 17839 (java) S 17799 17802 15723 0 -1 1077944384 1 17387196 0 0 0 0 239600 1440 20 0 23 0 419610936 8750280704 33550 33554432000 4194304 4196468 140729222763472 139693423315984 139693943097045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17840] ppid=17799 vsize=8545196 memory=1440 CPUtime=2410.4 cores=0-7
/proc/17831/task/17840/stat : 17840 (java) S 17799 17802 15723 0 -1 1077944384 3 17387196 0 0 0 0 239600 1440 20 0 23 0 419610936 8750280704 33550 33554432000 4194304 4196468 140729222763472 139693422263440 139693943097045 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17841] ppid=17799 vsize=8545196 memory=916 CPUtime=2410.46 cores=0-7
/proc/17831/task/17841/stat : 17841 (java) S 17799 17802 15723 0 -1 1077944384 15 17387196 0 0 3 3 239600 1440 20 0 23 0 419610937 8750280704 33550 33554432000 4194304 4196468 140729222763472 139693036529152 139693943097986 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17842] ppid=17799 vsize=8545196 memory=123968 CPUtime=2410.4 cores=0-7
/proc/17831/task/17842/stat : 17842 (java) S 17799 17802 15723 0 -1 1077944384 13 17387196 0 0 0 0 239600 1440 20 0 23 0 419610938 8750280704 33550 33554432000 4194304 4196468 140729222763472 139692536226720 139693943097045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17843] ppid=17799 vsize=8545196 memory=1476 CPUtime=2410.4 cores=0-7
/proc/17831/task/17843/stat : 17843 (java) S 17799 17802 15723 0 -1 1077944384 21 17387196 0 0 0 0 239600 1440 20 0 23 0 419610938 8750280704 33550 33554432000 4194304 4196468 140729222763472 139692402004976 139693943097045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17844] ppid=17799 vsize=8545196 memory=1476 CPUtime=2410.4 cores=0-7
/proc/17831/task/17844/stat : 17844 (java) S 17799 17802 15723 0 -1 1077944384 31 17387196 0 0 0 0 239600 1440 20 0 23 0 419610941 8750280704 33550 33554432000 4194304 4196468 140729222763472 139692027500400 139693943097045 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17845] ppid=17799 vsize=8545196 memory=123968 CPUtime=2410.47 cores=0-7
/proc/17831/task/17845/stat : 17845 (java) S 17799 17802 15723 0 -1 1077944384 567 17387196 0 0 6 1 239600 1440 20 0 23 0 419610941 8750280704 33550 33554432000 4194304 4196468 140729222763472 139693035477488 139693943097986 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17846] ppid=17799 vsize=8545196 memory=1476 CPUtime=2410.49 cores=0-7
/proc/17831/task/17846/stat : 17846 (java) S 17799 17802 15723 0 -1 1077944384 413 17387196 0 0 8 1 239600 1440 20 0 23 0 419610941 8750280704 33550 33554432000 4194304 4196468 140729222763472 139693034423776 139693943097045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17847] ppid=17799 vsize=8545196 memory=74 CPUtime=2410.48 cores=0-7
/proc/17831/task/17847/stat : 17847 (java) S 17799 17802 15723 0 -1 1077944384 372 17387196 0 0 8 0 239600 1440 20 0 23 0 419610941 8750280704 33550 33554432000 4194304 4196468 140729222763472 139693033372400 139693943097986 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17848] ppid=17799 vsize=8545196 memory=3616 CPUtime=2410.65 cores=0-7
/proc/17831/task/17848/stat : 17848 (java) S 17799 17802 15723 0 -1 1077944384 1177 17387196 0 0 24 1 239600 1440 20 0 23 0 419610941 8750280704 33550 33554432000 4194304 4196468 140729222763472 139693032318688 139693943097045 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17849] ppid=17799 vsize=8545196 memory=0 CPUtime=2410.4 cores=0-7
/proc/17831/task/17849/stat : 17849 (java) S 17799 17802 15723 0 -1 1077944384 3 17387196 0 0 0 0 239600 1440 20 0 23 0 419610941 8750280704 33550 33554432000 4194304 4196468 140729222763472 139691529595104 139693943097045 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17852] ppid=17799 vsize=8545196 memory=123968 CPUtime=2410.4 cores=0-7
/proc/17831/task/17852/stat : 17852 (java) S 17799 17802 15723 0 -1 1077944384 24 17387196 0 0 0 0 239600 1440 20 0 23 0 419611007 8750280704 33550 33554432000 4194304 4196468 140729222763472 139693023231440 139693943097045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=17856] ppid=17799 vsize=8545196 memory=4155232 CPUtime=2410.4 cores=0-7
/proc/17831/task/17856/stat : 17856 (java) S 17799 17802 15723 0 -1 1077944384 5 17387196 0 0 0 0 239600 1440 20 0 23 0 419611010 8750280704 33550 33554432000 4194304 4196468 140729222763472 139690590057744 139693943097045 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=18066] ppid=17799 vsize=8545196 memory=41432 CPUtime=2410.4 cores=0-7
/proc/17831/task/18066/stat : 18066 (java) S 17799 17802 15723 0 -1 1077944384 3 17387196 0 0 0 0 239600 1440 20 0 23 0 419852052 8750280704 33550 33554432000 4194304 4196468 140729222763472 139690321633872 139693943097045 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
[pid=17831/tid=18069] ppid=17799 vsize=8545196 memory=988 CPUtime=2410.58 cores=0-7
/proc/17831/task/18069/stat : 18069 (java) S 17799 17802 15723 0 -1 1077944384 3 17387196 0 0 0 18 239600 1440 20 0 23 0 419852053 8750280704 33550 33554432000 4194304 4196468 140729222763472 139690053196752 139693943097045 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34197504 140729222767607 140729222767766 140729222767766 140729222770639 0
Current cumulated CPU time of completed processes: 196.09 s
Current children cumulated CPU time: 2413.69 s
Current children cumulated vsize: 8545196 KiB
Current children cumulated memory: 134200 KiB
Child status: 1
Real time (s): 2520.41
CPU time (s): 2609.8
CPU user time (s): 2586.67
CPU system time (s): 23.131
CPU usage (%): 103.547
Max. virtual memory (cumulated for all children) (KiB): 27441856
Max. memory (cumulated for all children) (KiB): 7631952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2586.67
system time used= 23.131
maximum resident set size= 7632148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17490706
page faults= 0
swaps= 0
block input operations= 48
block output operations= 2570544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 63894
involuntary context switches= 3215
# summary of solver processes directly reported to runsolver:
# pid: 17802,17831
# total CPU time (s): 2609.8
# total CPU user time (s): 2586.67
# total CPU system time (s): 23.131
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.76 second user time and 27.0189 second system time
The end
Begin job on node104 at 2019-09-14 04:46:51 IDJOB=4392558 IDBENCH=133399 IDSOLVER=2838 FILE ID=node104/4392558-1568433428 RUNJOBID= node104-1568421227-15750 PBS_JOBID= 21702284 Free space on /tmp= 59012 MiB SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15) BENCH NAME= XCSP17/Primes/Primes-m1-p15/Primes-15-40-3-5.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-4392558-1568433428/watcher-4392558-1568433428 -o /tmp/evaluation-result-4392558-1568433428/solver-4392558-1568433428 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568421227-15750 --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-4392558-1568433428.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 25f96b3bf5c8370c442a7a32cdfe0f98 RANDOM SEED=789328998 node104.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 : 5334.09 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 : 5334.09 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 : 5334.09 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 : 5334.09 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: 26696656 kB MemAvailable: 31836164 kB Buffers: 182340 kB Cached: 5211716 kB SwapCached: 31688 kB Active: 1767836 kB Inactive: 3662872 kB Active(anon): 3448 kB Inactive(anon): 75148 kB Active(file): 1764388 kB Inactive(file): 3587724 kB Unevictable: 107776 kB Mlocked: 107776 kB SwapTotal: 67108860 kB SwapFree: 66977616 kB Dirty: 20936 kB Writeback: 0 kB AnonPages: 146688 kB Mapped: 44916 kB Shmem: 32780 kB Slab: 236936 kB SReclaimable: 206460 kB SUnreclaim: 30476 kB KernelStack: 3808 kB PageTables: 5164 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 489668 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 102400 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 58992 MiB End job on node104 at 2019-09-14 05:28:51