| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Fun-sCOP hybrid+ManyGlucose (2019-06-15) | UNSAT | 46.464 | 23.8493 |
| Name | Rlfap_mini/Rlfap-dec-scens11_mini/ Rlfap-ext-scen-11-f02_c18.xml |
| MD5SUM | 7ac25fa9c4532324d4bc78edd5427656 |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 39.1724 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 680 |
| Number of constraints | 4103 |
| Number of domains | 5 |
| Minimum domain size | 6 |
| Maximum domain size | 42 |
| Distribution of domain sizes | [{"size":6,"count":2},{"size":22,"count":10},{"size":23,"count":4},{"size":35,"count":336},{"size":42,"count":328}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 62 |
| Distribution of variable degrees | [{"degree":1,"count":1},{"degree":3,"count":26},{"degree":4,"count":13},{"degree":5,"count":86},{"degree":6,"count":20},{"degree":7,"count":89},{"degree":8,"count":12},{"degree":9,"count":87},{"degree":10,"count":28},{"degree":11,"count":42},{"degree":12,"count":25},{"degree":13,"count":40},{"degree":14,"count":14},{"degree":15,"count":40},{"degree":16,"count":8},{"degree":17,"count":29},{"degree":18,"count":6},{"degree":19,"count":18},{"degree":20,"count":13},{"degree":21,"count":11},{"degree":22,"count":7},{"degree":23,"count":7},{"degree":24,"count":8},{"degree":25,"count":8},{"degree":27,"count":9},{"degree":28,"count":8},{"degree":29,"count":2},{"degree":30,"count":6},{"degree":31,"count":1},{"degree":35,"count":3},{"degree":36,"count":3},{"degree":38,"count":2},{"degree":39,"count":2},{"degree":42,"count":1},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":47,"count":1},{"degree":55,"count":1},{"degree":62,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 2 |
| Distribution of constraint arities | [{"arity":2,"count":4103}] |
| Number of extensional constraints | 4103 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":4103}] |
| Optimization problem | NO |
| Type of objective |
0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-16351-serial-file.bin HOME/instance-4392606-1568447520.xml 0.65/0.54 0.65/0.54 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 0.65/0.54 0.65/0.57 c BEGIN-Prog: Sat Sep 14 09:51:18 CEST 2019 0.65/0.57 c PID: 16354 0.65/0.57 c IP: 172.20.3.121 0.65/0.57 c HOST: node121.alineos.net 0.65/0.58 c (0,0) Parsing Begin 4.07/1.58 c (1,1) Parsing End 4.07/1.59 c (1,1) CSP: 680 int (0 aux), 0 bool (0 aux), 4103 ctr, max domain size 42 4.07/1.59 c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB) 4.07/1.59 c (1,1) Constraint Name Generate Begin 4.44/1.61 c (1,1) Ctr:HOME/instance-4392606-1568447520.xml,ExtensionConflict:ExtensionSupport:Var 4.44/1.61 c (1,1) Constraint Name Generate End 4.44/1.61 c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB) 4.44/1.61 c (1,1) CSP to CSPinCNF Begin 8.34/3.25 c (2,2) translated 411 (10%) constraints 9.70/4.37 c (3,3) translated 821 (20%) constraints 10.63/5.28 c (4,4) translated 1231 (30%) constraints 11.71/6.20 c (5,5) translated 1642 (40%) constraints 12.59/7.08 c (6,6) translated 2052 (50%) constraints 13.62/8.02 c (7,7) translated 2462 (60%) constraints 14.59/8.99 c (8,8) translated 2873 (70%) constraints 15.80/10.12 c (9,9) translated 3283 (80%) constraints 17.02/11.22 c (10,10) translated 3693 (90%) constraints 20.73/12.77 c (12,12) translated 4103 (100%) constraints 20.73/12.77 c (12,12) =========================================== 20.96/12.92 c (12,12) Hybrid: #OE=13112, #LE=0 20.96/12.92 c (12,12) Hybrid 20.96/12.92 c (12,12) =========================================== 21.77/13.38 c (12,12) translated 17614 (10%) constraints 22.16/13.79 c (13,13) translated 35228 (20%) constraints 22.72/14.22 c (13,13) translated 52842 (30%) constraints 23.11/14.64 c (14,14) translated 70455 (40%) constraints 23.52/15.06 c (14,14) translated 88069 (50%) constraints 23.92/15.49 c (14,14) translated 105683 (60%) constraints 26.39/16.16 c (15,15) translated 123296 (70%) constraints 26.78/16.59 c (16,15) translated 140910 (80%) constraints 27.48/16.96 c (16,16) translated 158524 (90%) constraints 27.89/17.31 c (16,16) translated 176137 (100%) constraints 27.89/17.31 c (16,16) CSP to CSPinCNF End 27.89/17.31 c (16,16) CSP: 680 int (0 aux), 12432 bool (12432 aux), 176137 ctr, max domain size 40 27.89/17.31 c (16,16) Heap : 718 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB) 27.89/17.31 c (16,16) CSPinCNF Propagation Begin 30.01/18.18 c (17,17) 0 values, 14257 unsatisfiable literals, and 680 valid clauses are removed 30.01/18.18 c (17,17) CSPinCNF Propagation End 30.01/18.19 c (17,17) CSP: 680 int (0 aux), 12432 bool (12432 aux), 175457 ctr, max domain size 40 30.01/18.19 c (17,17) Heap : 1483 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB) 30.17/18.29 c (17,17) Hybrid: #OE=13112, #LE=0 30.17/18.29 c (17,17) Simplify CSPinCNF Begin 30.89/18.72 c (18,17) Simplify CSPinCNF End 30.89/18.72 c (18,17) CSP: 680 int (0 aux), 12432 bool (12432 aux), 175457 ctr, max domain size 40 30.89/18.72 c (18,17) Heap : 1702 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB) 30.89/18.72 c (18,17) Calculate Precise Domain Begin 30.89/18.72 c (18,17) 0 values are removed by re-calculation 30.89/18.72 c (18,17) Calculate Precise Domain End 30.89/18.73 c (18,17) CSP: 680 int (0 aux), 12432 bool (12432 aux), 175457 ctr, max domain size 40 30.89/18.73 c (18,17) Heap : 1702 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB) 30.89/18.73 c (18,17) CSPinCNF to SatSolver Begin 32.99/19.35 c (18,18) 17546 (10 %) CSP clauses are encoded (0 SAT variables, 41049 SAT clauses) 33.29/19.55 c (19,18) 35092 (20 %) CSP clauses are encoded (0 SAT variables, 58595 SAT clauses) 33.49/19.73 c (19,18) 52638 (30 %) CSP clauses are encoded (0 SAT variables, 76141 SAT clauses) 33.69/19.92 c (19,19) 70183 (40 %) CSP clauses are encoded (0 SAT variables, 93686 SAT clauses) 33.90/20.11 c (19,19) 87729 (50 %) CSP clauses are encoded (0 SAT variables, 111232 SAT clauses) 34.09/20.31 c (19,19) 105275 (60 %) CSP clauses are encoded (0 SAT variables, 128778 SAT clauses) 34.29/20.50 c (19,19) 122820 (70 %) CSP clauses are encoded (0 SAT variables, 146323 SAT clauses) 34.55/20.72 c (20,19) 140366 (80 %) CSP clauses are encoded (0 SAT variables, 163869 SAT clauses) 34.82/20.88 c (20,20) 157912 (90 %) CSP clauses are encoded (0 SAT variables, 181415 SAT clauses) 35.03/21.02 c (20,20) 175457 (100 %) CSP clauses are encoded (0 SAT variables, 198960 SAT clauses) 35.03/21.02 c (20,20) CSPinCNF to SatSolver End 35.03/21.02 c (20,20) Heap : 3450 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB) 35.03/21.02 c (20,20) 36616 bool, 198961 clause 35.03/21.02 c (20,20) Export Begin 35.69/21.30 c (20,20) Export to HOME/scop-16351-serial-file.bin 35.69/21.30 c (20,20) Export End 35.69/21.30 c (20,20) Export File Size: 4.35 MB 35.69/21.30 c (20,20) 1,1,16,17,18,18,20,STOP-AFTER(DIMACS) 35.69/21.30 c END-Prog: Sat Sep 14 09:51:39 CEST 2019 35.69/21.34 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-16351-serial-file.bin 35.75/21.80 c (0,0) Read Serial File Begin 35.75/21.80 c (0,0) HOME/scop-16351-serial-file.bin 37.05/22.18 c (0,0) Read Serial File End 37.53/22.36 37.53/22.36 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 37.53/22.36 (Solving Process) 37.53/22.36 37.53/22.36 c BEGIN-Prog: Sat Sep 14 09:51:40 CEST 2019 37.53/22.36 c PID: 16377 37.53/22.36 c IP: 172.20.3.121 37.53/22.36 c HOST: node121.alineos.net 37.53/22.36 c (0,0) SatSolver.solve Begin 37.53/22.36 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392606-1568447520.xml-scop-16354.cnf 37.53/22.36 c (0,0) c 37.53/22.36 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) 37.53/22.36 c (0,0) c 37.53/22.36 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 37.53/22.36 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 37.53/22.36 c (0,0) c ========================================[ Problem Statistics ]=========================================== 37.53/22.36 c (0,0) c | | 37.53/22.44 c (0,0) c | Number of variables: 36616 | 37.53/22.44 c (0,0) c | Number of clauses: 193715 | 37.53/22.44 c (0,0) c | Parse time: 0.08 s | 37.53/22.45 c (0,0) c | | 37.53/22.60 c (0,0) c | Simplification time: 0.15 s | 37.53/22.60 c (0,0) c | | 37.53/22.60 c (0,0) c | Generating clones | 37.54/22.71 c (0,0) c | all clones generated. Memory = 178.76Mb. | 37.54/22.71 c (0,0) c ========================================================================================================| 37.54/22.71 c (0,0) c 37.54/22.71 c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 37.54/22.71 c (0,0) c 37.54/22.71 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 37.54/22.71 c (0,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 37.54/22.71 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 37.54/22.71 c (0,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 37.54/22.71 c (0,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 37.54/22.71 c (0,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 37.54/22.71 c (0,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 37.54/22.71 c (0,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 37.54/22.71 c (0,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 37.54/22.71 c (0,0) c | glureduce | True | True | True | True | True | True | True | True | 37.54/22.71 c (0,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 37.54/22.71 c (0,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 37.54/22.71 c (0,0) c | luby_restart | False | False | False | False | False | False | False | False | 37.54/22.71 c (0,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 37.54/22.71 c (0,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 37.54/22.71 c (0,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 37.54/22.71 c (0,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 37.54/22.71 c (0,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 37.54/22.71 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 46.32/23.81 c (2,0) c 46.32/23.81 c (2,0) c real time : 1.56398 s 46.32/23.81 c (2,0) c cpu time : 8.44747 s 46.32/23.81 c (2,0) c 46.32/23.81 c (2,0) c 46.32/23.81 c (2,0) c 46.32/23.81 c (2,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 46.32/23.81 c (2,0) c 46.32/23.81 c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 46.32/23.81 c (2,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 46.32/23.81 c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 46.32/23.81 c (2,0) c | Conflicts | 235824 | 30021 | 28049 | 30223 | 29823 | 29947 | 29073 | 29380 | 29308 | 46.32/23.81 c (2,0) c | Decisions | 359671 | 54974 | 41779 | 41338 | 49162 | 41227 | 44472 | 42085 | 44634 | 46.32/23.81 c (2,0) c | Propagations | 24762181 | 3233634 | 2965665 | 3173868 | 3077633 | 3129042 | 3188406 | 3056927 | 2937006 | 46.32/23.81 c (2,0) c | ReduceDBs | 32 | 4 | 4 | 4 | 4 | 4 | 4 | 4 | 4 | 46.32/23.81 c (2,0) c | SimpDBs | 14 | 2 | 2 | 3 | 2 | 1 | 1 | 2 | 1 | 46.32/23.81 c (2,0) c | Restarts | 236 | 28 | 37 | 16 | 22 | 32 | 17 | 52 | 32 | 46.32/23.81 c (2,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 46.32/23.81 c (2,0) c | PropBinClauses| 32543700 | 4220017 | 3919271 | 4125692 | 4028744 | 4080220 | 4262791 | 4064403 | 3842562 | 46.32/23.81 c (2,0) c | PropPreBlocker| 436559198 | 55885764 | 52277062 | 53223816 | 55088031 | 56595394 | 56128924 | 54521338 | 52838869 | 46.32/23.81 c (2,0) c | PropNotBlocker| 121898086 | 15614054 | 14634476 | 15085302 | 15499317 | 15373633 | 15618499 | 15515253 | 14557552 | 46.32/23.81 c (2,0) c | LitFullScans | 701432213 | 90002434 | 84002332 | 86570909 | 88653597 | 90002031 | 90003104 | 88191782 | 84006024 | 46.32/23.81 c (2,0) c | LitScanFracts | 17108 | 1657 | 2259 | 1941 | 2918 | 1485 | 1847 | 1931 | 3070 | 46.32/23.81 c (2,0) c | DecisionLevel0| 250 | 29 | 38 | 26 | 23 | 32 | 17 | 53 | 32 | 46.32/23.81 c (2,0) c | Periods | 115 | 15 | 14 | 14 | 14 | 15 | 15 | 14 | 14 | 46.32/23.81 c (2,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 46.32/23.81 c (2,0) c | Avg_Trail | | 642 | 640 | 670 | 618 | 659 | 666 | 686 | 655 | 46.32/23.81 c (2,0) c | Avg_DL | | 25 | 16 | 16 | 25 | 22 | 25 | 18 | 35 | 46.32/23.81 c (2,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 46.32/23.81 c (2,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 46.32/23.81 c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 46.32/23.81 c (2,0) c | Exported | 53364 | 6785 | 6218 | 7121 | 6978 | 7028 | 6886 | 5417 | 6931 | 46.32/23.81 c (2,0) c | Imported | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 46.32/23.81 c (2,0) c | Good | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 46.32/23.81 c (2,0) c | Purge | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 46.32/23.81 c (2,0) c | Promoted | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 46.32/23.81 c (2,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 46.32/23.81 c (2,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 46.32/23.81 c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 46.32/23.81 c (2,0) c | Unaries | | 1 | 1 | 10 | 1 | 0 | 0 | 1 | 0 | 46.32/23.81 c (2,0) c | Binaries | | 211 | 222 | 230 | 200 | 207 | 262 | 238 | 198 | 46.32/23.81 c (2,0) c | Glues | | 655 | 673 | 696 | 703 | 630 | 691 | 754 | 625 | 46.32/23.81 c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 46.32/23.81 c (2,0) c | Orig_Seen | 3 % | 6854 | 6847 | 6987 | 6952 | 7061 | 6943 | 6916 | 7095 | 46.32/23.81 c (2,0) c | Diff Orig seen| | - 133 | - 140 | X | - 35 | 74 | - 44 | - 71 | 108 | 46.32/23.81 c (2,0) c | Hamming | 7 % | 3596 | 1343 | X | 3857 | 1869 | 3760 | 1853 | 3993 | 46.32/23.81 c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 46.32/23.81 c (2,0) c | RunningTime | | 1.1 100%| 1.1 100%| 1.1 100%| 1.1 100%| 1.1 100%| 1.1 100%| 1.1 100%| 1.1 100%| 46.32/23.81 c (2,0) c | WaitingTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 46.32/23.81 c (2,0) c | ExchangingTime| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 46.32/23.81 c (2,0) c | PeriodProcTime| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 46.32/23.81 c (2,0) c | SolvingTime | | 1.1 | 1.1 | 1.1 | 1.1 | 1.1 | 1.1 | 1.1 | 1.1 | 46.32/23.81 c (2,0) c | PropagationTim| | 0.9 81%| 0.9 79%| 0.9 81%| 0.9 80%| 0.9 81%| 0.9 81%| 0.9 81%| 0.9 82%| 46.32/23.81 c (2,0) c | AnalysisTime | | 0.1 14%| 0.1 13%| 0.1 13%| 0.1 13%| 0.2 14%| 0.2 14%| 0.1 13%| 0.1 14%| 46.32/23.81 c (2,0) c | ReductionTime | | 0.0 0%| 0.0 1%| 0.0 1%| 0.0 1%| 0.0 1%| 0.0 1%| 0.0 1%| 0.0 1%| 46.32/23.81 c (2,0) c | SimplifyTime | | 0.0 0%| 0.0 2%| 0.0 1%| 0.0 2%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 46.32/23.81 c (2,0) c | UsedRateTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 46.32/23.81 c (2,0) c | OverlapRateTim| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 46.32/23.81 c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 46.32/23.81 c (2,0) c 46.32/23.81 c (2,0) c 46.32/23.82 c (2,0) c Threads : 8 46.32/23.82 c (2,0) c Winner : 2 46.32/23.82 c (2,0) c Conflicts_0 : 30021 46.32/23.82 c (2,0) c Conflicts_1 : 28049 46.32/23.82 c (2,0) c Conflicts_2 : 30223 46.32/23.82 c (2,0) c Conflicts_3 : 29823 46.32/23.82 c (2,0) c Conflicts_4 : 29947 46.32/23.82 c (2,0) c Conflicts_5 : 29073 46.32/23.82 c (2,0) c Conflicts_6 : 29380 46.32/23.82 c (2,0) c Conflicts_7 : 29308 46.32/23.82 c (2,0) c Conflicts_total : 235824 46.32/23.82 c (2,0) c Conflicts_winner : 30223 46.32/23.82 c (2,0) c Decisions_0 : 54974 46.32/23.82 c (2,0) c Decisions_1 : 41779 46.32/23.82 c (2,0) c Decisions_2 : 41338 46.32/23.82 c (2,0) c Decisions_3 : 49162 46.32/23.82 c (2,0) c Decisions_4 : 41227 46.32/23.82 c (2,0) c Decisions_5 : 44472 46.32/23.82 c (2,0) c Decisions_6 : 42085 46.32/23.82 c (2,0) c Decisions_7 : 44634 46.32/23.82 c (2,0) c Decisions_total : 359671 46.32/23.82 c (2,0) c Decisions_winner : 41338 46.32/23.82 c (2,0) c Propagations_0 : 3233634 46.32/23.82 c (2,0) c Propagations_1 : 2965665 46.32/23.82 c (2,0) c Propagations_2 : 3173868 46.32/23.82 c (2,0) c Propagations_3 : 3077633 46.32/23.82 c (2,0) c Propagations_4 : 3129042 46.32/23.82 c (2,0) c Propagations_5 : 3188406 46.32/23.82 c (2,0) c Propagations_6 : 3056927 46.32/23.82 c (2,0) c Propagations_7 : 2937006 46.32/23.82 c (2,0) c Propagations_total : 24762181 46.32/23.82 c (2,0) c Propagations_winner : 3173868 46.32/23.82 c (2,0) c ReduceDBs_0 : 4 46.32/23.82 c (2,0) c ReduceDBs_1 : 4 46.32/23.82 c (2,0) c ReduceDBs_2 : 4 46.32/23.82 c (2,0) c ReduceDBs_3 : 4 46.32/23.82 c (2,0) c ReduceDBs_4 : 4 46.32/23.82 c (2,0) c ReduceDBs_5 : 4 46.32/23.82 c (2,0) c ReduceDBs_6 : 4 46.32/23.82 c (2,0) c ReduceDBs_7 : 4 46.32/23.82 c (2,0) c ReduceDBs_total : 32 46.32/23.82 c (2,0) c ReduceDBs_winner : 4 46.32/23.82 c (2,0) c SimpDBs_0 : 2 46.32/23.82 c (2,0) c SimpDBs_1 : 2 46.32/23.82 c (2,0) c SimpDBs_2 : 3 46.32/23.82 c (2,0) c SimpDBs_3 : 2 46.32/23.82 c (2,0) c SimpDBs_4 : 1 46.32/23.82 c (2,0) c SimpDBs_5 : 1 46.32/23.82 c (2,0) c SimpDBs_6 : 2 46.32/23.82 c (2,0) c SimpDBs_7 : 1 46.32/23.82 c (2,0) c SimpDBs_total : 14 46.32/23.82 c (2,0) c SimpDBs_winner : 3 46.32/23.82 c (2,0) c Restarts_0 : 28 46.32/23.82 c (2,0) c Restarts_1 : 37 46.32/23.82 c (2,0) c Restarts_2 : 16 46.32/23.82 c (2,0) c Restarts_3 : 22 46.32/23.82 c (2,0) c Restarts_4 : 32 46.32/23.82 c (2,0) c Restarts_5 : 17 46.32/23.82 c (2,0) c Restarts_6 : 52 46.32/23.82 c (2,0) c Restarts_7 : 32 46.32/23.82 c (2,0) c Restarts_total : 236 46.32/23.82 c (2,0) c Restarts_winner : 16 46.32/23.82 c (2,0) c ForcedImports_0 : 0 46.32/23.82 c (2,0) c ForcedImports_1 : 0 46.32/23.82 c (2,0) c ForcedImports_2 : 0 46.32/23.82 c (2,0) c ForcedImports_3 : 0 46.32/23.82 c (2,0) c ForcedImports_4 : 0 46.32/23.82 c (2,0) c ForcedImports_5 : 0 46.32/23.82 c (2,0) c ForcedImports_6 : 0 46.32/23.82 c (2,0) c ForcedImports_7 : 0 46.32/23.82 c (2,0) c ForcedImports_total : 0 46.32/23.82 c (2,0) c ForcedImports_winner : 0 46.32/23.82 c (2,0) c PropsBinClauses_0 : 4220017 46.32/23.82 c (2,0) c PropsBinClauses_1 : 3919271 46.32/23.82 c (2,0) c PropsBinClauses_2 : 4125692 46.32/23.82 c (2,0) c PropsBinClauses_3 : 4028744 46.32/23.82 c (2,0) c PropsBinClauses_4 : 4080220 46.32/23.82 c (2,0) c PropsBinClauses_5 : 4262791 46.32/23.82 c (2,0) c PropsBinClauses_6 : 4064403 46.32/23.82 c (2,0) c PropsBinClauses_7 : 3842562 46.32/23.82 c (2,0) c PropsBinClauses_total : 32543700 46.32/23.82 c (2,0) c PropsBinClauses_winner : 4125692 46.32/23.82 c (2,0) c PropsPreBlocker_0 : 55885764 46.32/23.82 c (2,0) c PropsPreBlocker_1 : 52277062 46.32/23.82 c (2,0) c PropsPreBlocker_2 : 53223816 46.32/23.82 c (2,0) c PropsPreBlocker_3 : 55088031 46.32/23.82 c (2,0) c PropsPreBlocker_4 : 56595394 46.32/23.82 c (2,0) c PropsPreBlocker_5 : 56128924 46.32/23.82 c (2,0) c PropsPreBlocker_6 : 54521338 46.32/23.82 c (2,0) c PropsPreBlocker_7 : 52838869 46.32/23.82 c (2,0) c PropsPreBlocker_total : 436559198 46.32/23.82 c (2,0) c PropsPreBlocker_winner : 53223816 46.32/23.82 c (2,0) c PropsNotBlocker_0 : 15614054 46.32/23.82 c (2,0) c PropsNotBlocker_1 : 14634476 46.32/23.82 c (2,0) c PropsNotBlocker_2 : 15085302 46.32/23.82 c (2,0) c PropsNotBlocker_3 : 15499317 46.32/23.82 c (2,0) c PropsNotBlocker_4 : 15373633 46.32/23.82 c (2,0) c PropsNotBlocker_5 : 15618499 46.32/23.82 c (2,0) c PropsNotBlocker_6 : 15515253 46.32/23.82 c (2,0) c PropsNotBlocker_7 : 14557552 46.32/23.82 c (2,0) c PropsNotBlocker_total : 121898086 46.32/23.82 c (2,0) c PropsNotBlocker_winner : 15085302 46.32/23.82 c (2,0) c PropsLitFullScans_0 : 90002434 46.32/23.82 c (2,0) c PropsLitFullScans_1 : 84002332 46.32/23.82 c (2,0) c PropsLitFullScans_2 : 86570909 46.32/23.82 c (2,0) c PropsLitFullScans_3 : 88653597 46.32/23.82 c (2,0) c PropsLitFullScans_4 : 90002031 46.32/23.82 c (2,0) c PropsLitFullScans_5 : 90003104 46.32/23.82 c (2,0) c PropsLitFullScans_6 : 88191782 46.32/23.82 c (2,0) c PropsLitFullScans_7 : 84006024 46.32/23.82 c (2,0) c PropsLitFullScans_total : 701432213 46.32/23.82 c (2,0) c PropsLitFullScans_winner : 86570909 46.32/23.82 c (2,0) c LitScanFractions_0 : 1657 46.32/23.82 c (2,0) c LitScanFractions_1 : 2259 46.32/23.82 c (2,0) c LitScanFractions_2 : 1941 46.32/23.82 c (2,0) c LitScanFractions_3 : 2918 46.32/23.82 c (2,0) c LitScanFractions_4 : 1485 46.32/23.82 c (2,0) c LitScanFractions_5 : 1847 46.32/23.82 c (2,0) c LitScanFractions_6 : 1931 46.32/23.82 c (2,0) c LitScanFractions_7 : 3070 46.32/23.82 c (2,0) c LitScanFractions_total : 17108 46.32/23.82 c (2,0) c LitScanFractions_winner : 1941 46.32/23.82 c (2,0) c DecisionLevel0_0 : 29 46.32/23.82 c (2,0) c DecisionLevel0_1 : 38 46.32/23.82 c (2,0) c DecisionLevel0_2 : 26 46.32/23.82 c (2,0) c DecisionLevel0_3 : 23 46.32/23.82 c (2,0) c DecisionLevel0_4 : 32 46.32/23.82 c (2,0) c DecisionLevel0_5 : 17 46.32/23.82 c (2,0) c DecisionLevel0_6 : 53 46.32/23.82 c (2,0) c DecisionLevel0_7 : 32 46.32/23.82 c (2,0) c DecisionLevel0_total : 250 46.32/23.82 c (2,0) c DecisionLevel0_winner : 26 46.32/23.82 c (2,0) c Periods_0 : 15 46.32/23.82 c (2,0) c Periods_1 : 14 46.32/23.82 c (2,0) c Periods_2 : 14 46.32/23.82 c (2,0) c Periods_3 : 14 46.32/23.82 c (2,0) c Periods_4 : 15 46.32/23.82 c (2,0) c Periods_5 : 15 46.32/23.82 c (2,0) c Periods_6 : 14 46.32/23.82 c (2,0) c Periods_7 : 14 46.32/23.82 c (2,0) c Periods_total : 115 46.32/23.82 c (2,0) c Periods_winner : 14 46.32/23.82 c (2,0) c Margin_0 : 20 46.32/23.82 c (2,0) c Margin_1 : 20 46.32/23.82 c (2,0) c Margin_2 : 20 46.32/23.82 c (2,0) c Margin_3 : 20 46.32/23.82 c (2,0) c Margin_4 : 20 46.32/23.82 c (2,0) c Margin_5 : 20 46.32/23.82 c (2,0) c Margin_6 : 20 46.32/23.82 c (2,0) c Margin_7 : 20 46.32/23.82 c (2,0) c Margin_total : 160 46.32/23.82 c (2,0) c Margin_winner : 20 46.32/23.82 c (2,0) c Exported_0 : 6785 46.32/23.82 c (2,0) c Exported_1 : 6218 46.32/23.82 c (2,0) c Exported_2 : 7121 46.32/23.82 c (2,0) c Exported_3 : 6978 46.32/23.82 c (2,0) c Exported_4 : 7028 46.32/23.82 c (2,0) c Exported_5 : 6886 46.32/23.82 c (2,0) c Exported_6 : 5417 46.32/23.82 c (2,0) c Exported_7 : 6931 46.32/23.82 c (2,0) c Exported_total : 53364 46.32/23.82 c (2,0) c Exported_winner : 7121 46.32/23.82 c (2,0) c Imported_0 : 0 46.32/23.82 c (2,0) c Imported_1 : 0 46.32/23.82 c (2,0) c Imported_2 : 0 46.32/23.82 c (2,0) c Imported_3 : 0 46.32/23.82 c (2,0) c Imported_4 : 0 46.32/23.82 c (2,0) c Imported_5 : 0 46.32/23.82 c (2,0) c Imported_6 : 0 46.32/23.82 c (2,0) c Imported_7 : 0 46.32/23.82 c (2,0) c Imported_total : 0 46.32/23.82 c (2,0) c Imported_winner : 0 46.32/23.82 c (2,0) c Good_0 : 0 46.32/23.82 c (2,0) c Good_1 : 0 46.32/23.82 c (2,0) c Good_2 : 0 46.32/23.82 c (2,0) c Good_3 : 0 46.32/23.82 c (2,0) c Good_4 : 0 46.32/23.82 c (2,0) c Good_5 : 0 46.32/23.82 c (2,0) c Good_6 : 0 46.32/23.82 c (2,0) c Good_7 : 0 46.32/23.82 c (2,0) c Good_total : 0 46.32/23.82 c (2,0) c Good_winner : 0 46.32/23.82 c (2,0) c Purge_0 : 0 46.32/23.82 c (2,0) c Purge_1 : 0 46.32/23.82 c (2,0) c Purge_2 : 0 46.32/23.82 c (2,0) c Purge_3 : 0 46.32/23.82 c (2,0) c Purge_4 : 0 46.32/23.82 c (2,0) c Purge_5 : 0 46.32/23.82 c (2,0) c Purge_6 : 0 46.32/23.82 c (2,0) c Purge_7 : 0 46.32/23.82 c (2,0) c Purge_total : 0 46.32/23.82 c (2,0) c Purge_winner : 0 46.32/23.82 c (2,0) c Promoted_0 : 0 46.32/23.82 c (2,0) c Promoted_1 : 0 46.32/23.82 c (2,0) c Promoted_2 : 0 46.32/23.82 c (2,0) c Promoted_3 : 0 46.32/23.82 c (2,0) c Promoted_4 : 0 46.32/23.82 c (2,0) c Promoted_5 : 0 46.32/23.82 c (2,0) c Promoted_6 : 0 46.32/23.82 c (2,0) c Promoted_7 : 0 46.32/23.82 c (2,0) c Promoted_total : 0 46.32/23.82 c (2,0) c Promoted_winner : 0 46.32/23.82 c (2,0) c Remove_Imp_0 : 0 46.32/23.82 c (2,0) c Remove_Imp_1 : 0 46.32/23.82 c (2,0) c Remove_Imp_2 : 0 46.32/23.82 c (2,0) c Remove_Imp_3 : 0 46.32/23.82 c (2,0) c Remove_Imp_4 : 0 46.32/23.82 c (2,0) c Remove_Imp_5 : 0 46.32/23.82 c (2,0) c Remove_Imp_6 : 0 46.32/23.82 c (2,0) c Remove_Imp_7 : 0 46.32/23.82 c (2,0) c Remove_Imp_total : 0 46.32/23.82 c (2,0) c Remove_Imp_winner : 0 46.32/23.82 c (2,0) c Blocked_Reuse_0 : 0 46.32/23.82 c (2,0) c Blocked_Reuse_1 : 0 46.32/23.82 c (2,0) c Blocked_Reuse_2 : 0 46.32/23.82 c (2,0) c Blocked_Reuse_3 : 0 46.32/23.82 c (2,0) c Blocked_Reuse_4 : 0 46.32/23.82 c (2,0) c Blocked_Reuse_5 : 0 46.32/23.82 c (2,0) c Blocked_Reuse_6 : 0 46.32/23.82 c (2,0) c Blocked_Reuse_7 : 0 46.32/23.82 c (2,0) c Blocked_Reuse_total : 0 46.32/23.82 c (2,0) c Blocked_Reuse_winner : 0 46.32/23.82 c (2,0) c Unaries_0 : 1 46.32/23.82 c (2,0) c Unaries_1 : 1 46.32/23.82 c (2,0) c Unaries_2 : 10 46.32/23.82 c (2,0) c Unaries_3 : 1 46.32/23.82 c (2,0) c Unaries_4 : 0 46.32/23.82 c (2,0) c Unaries_5 : 0 46.32/23.82 c (2,0) c Unaries_6 : 1 46.32/23.82 c (2,0) c Unaries_7 : 0 46.32/23.82 c (2,0) c Unaries_total : 14 46.32/23.82 c (2,0) c Unaries_winner : 10 46.32/23.82 c (2,0) c Binaries_0 : 211 46.32/23.82 c (2,0) c Binaries_1 : 222 46.32/23.82 c (2,0) c Binaries_2 : 230 46.32/23.82 c (2,0) c Binaries_3 : 200 46.32/23.82 c (2,0) c Binaries_4 : 207 46.32/23.82 c (2,0) c Binaries_5 : 262 46.32/23.82 c (2,0) c Binaries_6 : 238 46.32/23.82 c (2,0) c Binaries_7 : 198 46.32/23.82 c (2,0) c Binaries_total : 1768 46.32/23.82 c (2,0) c Binaries_winner : 230 46.32/23.82 c (2,0) c Glues_0 : 655 46.32/23.82 c (2,0) c Glues_1 : 673 46.32/23.82 c (2,0) c Glues_2 : 696 46.32/23.82 c (2,0) c Glues_3 : 703 46.32/23.82 c (2,0) c Glues_4 : 630 46.32/23.82 c (2,0) c Glues_5 : 691 46.32/23.82 c (2,0) c Glues_6 : 754 46.32/23.82 c (2,0) c Glues_7 : 625 46.32/23.82 c (2,0) c Glues_total : 5427 46.32/23.83 c (2,0) c Glues_winner : 696 46.32/23.83 c (2,0) c RunningTime_0 : 1.099052 46.32/23.83 c (2,0) c RunningTime_1 : 1.074354 46.32/23.83 c (2,0) c RunningTime_2 : 1.053234 46.32/23.83 c (2,0) c RunningTime_3 : 1.082027 46.32/23.83 c (2,0) c RunningTime_4 : 1.075292 46.32/23.83 c (2,0) c RunningTime_5 : 1.092439 46.32/23.83 c (2,0) c RunningTime_6 : 1.084225 46.32/23.83 c (2,0) c RunningTime_7 : 1.057895 46.32/23.83 c (2,0) c RunningTime_total : 8.618519 46.32/23.83 c (2,0) c RunningTime_winner : 1.053234 46.32/23.83 c (2,0) c WaitingTime_0 : 0.000000 46.32/23.83 c (2,0) c WaitingTime_1 : 0.000000 46.32/23.83 c (2,0) c WaitingTime_2 : 0.000000 46.32/23.83 c (2,0) c WaitingTime_3 : 0.000000 46.32/23.83 c (2,0) c WaitingTime_4 : 0.000000 46.32/23.83 c (2,0) c WaitingTime_5 : 0.000000 46.32/23.83 c (2,0) c WaitingTime_6 : 0.000000 46.32/23.83 c (2,0) c WaitingTime_7 : 0.000000 46.32/23.83 c (2,0) c WaitingTime_total : 0.000000 46.32/23.83 c (2,0) c WaitingTime_winner : 0.000000 46.32/23.83 c (2,0) c ExchangingTime_0 : 0.001482 46.32/23.83 c (2,0) c ExchangingTime_1 : 0.001390 46.32/23.83 c (2,0) c ExchangingTime_2 : 0.001529 46.32/23.83 c (2,0) c ExchangingTime_3 : 0.001513 46.32/23.83 c (2,0) c ExchangingTime_4 : 0.001553 46.32/23.83 c (2,0) c ExchangingTime_5 : 0.001505 46.32/23.83 c (2,0) c ExchangingTime_6 : 0.001571 46.32/23.83 c (2,0) c ExchangingTime_7 : 0.001492 46.32/23.83 c (2,0) c ExchangingTime_total : 0.012035 46.32/23.83 c (2,0) c ExchangingTime_winner : 0.001529 46.32/23.83 c (2,0) c PeriodProcTime_0 : 0.000073 46.32/23.83 c (2,0) c PeriodProcTime_1 : 0.000067 46.32/23.83 c (2,0) c PeriodProcTime_2 : 0.000094 46.32/23.83 c (2,0) c PeriodProcTime_3 : 0.000073 46.32/23.83 c (2,0) c PeriodProcTime_4 : 0.000132 46.32/23.83 c (2,0) c PeriodProcTime_5 : 0.000091 46.32/23.83 c (2,0) c PeriodProcTime_6 : 0.000069 46.32/23.83 c (2,0) c PeriodProcTime_7 : 0.000099 46.32/23.83 c (2,0) c PeriodProcTime_total : 0.000698 46.32/23.83 c (2,0) c PeriodProcTime_winner : 0.000094 46.32/23.83 c (2,0) c SolvingTime_0 : 1.100607 46.32/23.83 c (2,0) c SolvingTime_1 : 1.075811 46.32/23.83 c (2,0) c SolvingTime_2 : 1.054857 46.32/23.83 c (2,0) c SolvingTime_3 : 1.083613 46.32/23.83 c (2,0) c SolvingTime_4 : 1.076978 46.32/23.83 c (2,0) c SolvingTime_5 : 1.094035 46.32/23.83 c (2,0) c SolvingTime_6 : 1.085865 46.32/23.83 c (2,0) c SolvingTime_7 : 1.059486 46.32/23.83 c (2,0) c SolvingTime_total : 8.631252 46.32/23.83 c (2,0) c SolvingTime_winner : 1.054857 46.32/23.83 c (2,0) c PropagationTime_0 : 0.893591 46.32/23.83 c (2,0) c PropagationTime_1 : 0.853814 46.32/23.83 c (2,0) c PropagationTime_2 : 0.852571 46.32/23.83 c (2,0) c PropagationTime_3 : 0.868968 46.32/23.83 c (2,0) c PropagationTime_4 : 0.871505 46.32/23.83 c (2,0) c PropagationTime_5 : 0.890005 46.32/23.83 c (2,0) c PropagationTime_6 : 0.883979 46.32/23.83 c (2,0) c PropagationTime_7 : 0.865224 46.32/23.83 c (2,0) c PropagationTime_total : 6.979658 46.32/23.83 c (2,0) c PropagationTime_winner : 0.852571 46.32/23.83 c (2,0) c AnalysisTime_0 : 0.149097 46.32/23.83 c (2,0) c AnalysisTime_1 : 0.145138 46.32/23.83 c (2,0) c AnalysisTime_2 : 0.142302 46.32/23.83 c (2,0) c AnalysisTime_3 : 0.143922 46.32/23.83 c (2,0) c AnalysisTime_4 : 0.153067 46.32/23.83 c (2,0) c AnalysisTime_5 : 0.151139 46.32/23.83 c (2,0) c AnalysisTime_6 : 0.145253 46.32/23.83 c (2,0) c AnalysisTime_7 : 0.143649 46.32/23.83 c (2,0) c AnalysisTime_total : 1.173569 46.32/23.83 c (2,0) c AnalysisTime_winner : 0.142302 46.32/23.83 c (2,0) c ReductionTime_0 : 0.005354 46.32/23.83 c (2,0) c ReductionTime_1 : 0.006004 46.32/23.83 c (2,0) c ReductionTime_2 : 0.005352 46.32/23.83 c (2,0) c ReductionTime_3 : 0.005652 46.32/23.83 c (2,0) c ReductionTime_4 : 0.005820 46.32/23.83 c (2,0) c ReductionTime_5 : 0.005747 46.32/23.83 c (2,0) c ReductionTime_6 : 0.005738 46.32/23.83 c (2,0) c ReductionTime_7 : 0.005748 46.32/23.83 c (2,0) c ReductionTime_total : 0.045415 46.32/23.83 c (2,0) c ReductionTime_winner : 0.005352 46.32/23.83 c (2,0) c SimplifyTime_0 : 0.003558 46.32/23.83 c (2,0) c SimplifyTime_1 : 0.022720 46.32/23.83 c (2,0) c SimplifyTime_2 : 0.008576 46.32/23.83 c (2,0) c SimplifyTime_3 : 0.018668 46.32/23.83 c (2,0) c SimplifyTime_4 : 0.000004 46.32/23.83 c (2,0) c SimplifyTime_5 : 0.000002 46.32/23.83 c (2,0) c SimplifyTime_6 : 0.004133 46.32/23.83 c (2,0) c SimplifyTime_7 : 0.000000 46.32/23.83 c (2,0) c SimplifyTime_total : 0.057661 46.32/23.83 c (2,0) c SimplifyTime_winner : 0.008576 46.32/23.83 c (2,0) c UsedRateTime_0 : 0.000000 46.32/23.83 c (2,0) c UsedRateTime_1 : 0.000000 46.32/23.83 c (2,0) c UsedRateTime_2 : 0.000000 46.32/23.83 c (2,0) c UsedRateTime_3 : 0.000000 46.32/23.83 c (2,0) c UsedRateTime_4 : 0.000000 46.32/23.83 c (2,0) c UsedRateTime_5 : 0.000000 46.32/23.83 c (2,0) c UsedRateTime_6 : 0.000000 46.32/23.83 c (2,0) c UsedRateTime_7 : 0.000000 46.32/23.83 c (2,0) c UsedRateTime_total : 0.000000 46.32/23.83 c (2,0) c UsedRateTime_winner : 0.000000 46.32/23.83 c (2,0) c OverlapRateTime_0 : 0.000000 46.32/23.83 c (2,0) c OverlapRateTime_1 : 0.000000 46.32/23.83 c (2,0) c OverlapRateTime_2 : 0.000000 46.32/23.83 c (2,0) c OverlapRateTime_3 : 0.000000 46.32/23.83 c (2,0) c OverlapRateTime_4 : 0.000000 46.32/23.83 c (2,0) c OverlapRateTime_5 : 0.000000 46.32/23.83 c (2,0) c OverlapRateTime_6 : 0.000000 46.32/23.83 c (2,0) c OverlapRateTime_7 : 0.000000 46.32/23.83 c (2,0) c OverlapRateTime_total : 0.000000 46.32/23.83 c (2,0) c OverlapRateTime_winner : 0.000000 46.32/23.83 c (2,0) c 46.32/23.83 c (2,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 46.32/23.83 c (2,0) c 46.32/23.83 c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 46.32/23.83 c (2,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 46.32/23.83 c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 46.32/23.83 c (2,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 46.32/23.83 c (2,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 46.32/23.83 c (2,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 46.32/23.83 c (2,0) c | Initial random_seed | 212059461 | 1592708954 | 2097562053 | 1789499436 | 1982025030 | 249697316 | 230239937 | 956958393 | 46.32/23.83 c (2,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 46.32/23.83 c (2,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 46.32/23.83 c (2,0) c | glureduce | True | True | True | True | True | True | True | True | 46.32/23.83 c (2,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 46.32/23.83 c (2,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 46.32/23.83 c (2,0) c | luby_restart | False | False | False | False | False | False | False | False | 46.32/23.83 c (2,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 46.32/23.83 c (2,0) c | var_decay | 0.8600 | 0.8500 | 0.8600 | 0.8500 | 0.8500 | 0.8500 | 0.8500 | 0.8500 | 46.32/23.83 c (2,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 46.32/23.83 c (2,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 46.32/23.83 c (2,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 46.32/23.83 c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 46.32/23.83 c (2,0) 46.32/23.83 c (2,0) s UNSATISFIABLE 46.32/23.83 c (2,0) SatSolver.solve End 46.32/23.83 c (2,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB) 46.32/23.83 c (2,0) Show results Begin 46.32/23.83 s UNSATISFIABLE 46.32/23.83 c (2,0) Show results End 46.32/23.83 c (2,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB) 46.32/23.83 c (2,0) 2,2,STOP-AFTER(ALL) 46.32/23.83 c END-Prog: Sat Sep 14 09:51:42 CEST 2019
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 (15130 MiB free)
memory of node 1: 16384 MiB (15589 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392606-1568447520/watcher-4392606-1568447520 -o /tmp/evaluation-result-4392606-1568447520/solver-4392606-1568447520 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node121-1568447413-16025 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392606-1568447520.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=16351, runsolver pid=16348
Current StackSize limit: 8192 KiB
[startup+0.100155 s]*
/proc/loadavg: 7.77 8.02 7.90 2/212 16373
/proc/meminfo: memFree=31362600/32770624 swapFree=66982588/67108860
[pid=16351] ppid=16348 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16351/stat : 16351 (scop.sh) S 16348 16351 15998 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 421014653 115843072 349 33554432000 4194304 5098028 140734055269728 140734055266984 140578594980476 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14405632 140734055273252 140734055273580 140734055273580 140734055276493 0
/proc/16351/statm: 28282 349 296 221 0 87 0
[pid=16354] ppid=16351 vsize=27314120 memory=107116 CPUtime=0.11 cores=0-7
/proc/16354/stat : 16354 (java) S 16351 16351 15998 0 -1 1077944320 6889 0 0 0 8 3 0 0 20 0 20 0 421014654 27969658880 26779 33554432000 4194304 4196468 140735780887888 140735780870432 140165123337975 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
/proc/16354/statm: 6828530 26779 2773 1 0 6790935 0
[pid=16354/tid=16355] ppid=16351 vsize=27314120 memory=-2177352373413752899 CPUtime=0.08 cores=0-7
/proc/16354/task/16355/stat : 16355 (java) R 16351 16351 15998 0 -1 4202560 5000 0 0 0 6 2 0 0 20 0 20 0 421014654 27969658880 26779 33554432000 4194304 4196468 140735780887888 140165095164304 140165115575102 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
[pid=16354/tid=16356] ppid=16351 vsize=27314120 memory=732370265193151461 CPUtime=0 cores=0-7
/proc/16354/task/16356/stat : 16356 (java) S 16351 16351 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421014656 27969658880 26779 33554432000 4194304 4196468 140735780887888 140165127580560 140165123348181 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
[pid=16354/tid=16357] ppid=16351 vsize=27314120 memory=140126855698048 CPUtime=0 cores=0-7
/proc/16354/task/16357/stat : 16357 (java) S 16351 16351 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421014656 27969658880 26779 33554432000 4194304 4196468 140735780887888 140164941736720 140165123348181 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
[pid=16354/tid=16358] ppid=16351 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16354/task/16358/stat : 16358 (java) S 16351 16351 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421014656 27969658880 26779 33554432000 4194304 4196468 140735780887888 140164940684432 140165123348181 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
[pid=16354/tid=16359] ppid=16351 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16354/task/16359/stat : 16359 (java) S 16351 16351 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421014656 27969658880 26779 33554432000 4194304 4196468 140735780887888 140164939631632 140165123348181 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
[pid=16354/tid=16360] ppid=16351 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16354/task/16360/stat : 16360 (java) S 16351 16351 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421014656 27969658880 26779 33554432000 4194304 4196468 140735780887888 140164938578320 140165123348181 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
[pid=16354/tid=16361] ppid=16351 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16354/task/16361/stat : 16361 (java) S 16351 16351 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421014656 27969658880 26779 33554432000 4194304 4196468 140735780887888 140164937525520 140165123348181 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
[pid=16354/tid=16362] ppid=16351 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16354/task/16362/stat : 16362 (java) S 16351 16351 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421014656 27969658880 26779 33554432000 4194304 4196468 140735780887888 140164936473232 140165123348181 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
[pid=16354/tid=16363] ppid=16351 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16354/task/16363/stat : 16363 (java) S 16351 16351 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421014656 27969658880 26844 33554432000 4194304 4196468 140735780887888 140164935420432 140165123348181 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
[pid=16354/tid=16364] ppid=16351 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16354/task/16364/stat : 16364 (java) S 16351 16351 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421014658 27969658880 26844 33554432000 4194304 4196468 140735780887888 140164114344560 140165123349122 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
[pid=16354/tid=16365] ppid=16351 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16354/task/16365/stat : 16365 (java) S 16351 16351 15998 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 421014658 27969658880 26844 33554432000 4194304 4196468 140735780887888 140163036472608 140165123348181 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
[pid=16354/tid=16366] ppid=16351 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16354/task/16366/stat : 16366 (java) S 16351 16351 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421014659 27969658880 26844 33554432000 4194304 4196468 140735780887888 140162768037488 140165123348181 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
[pid=16354/tid=16367] ppid=16351 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16354/task/16367/stat : 16367 (java) S 16351 16351 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421014661 27969658880 26844 33554432000 4194304 4196468 140735780887888 140162393528912 140165123356571 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
[pid=16354/tid=16368] ppid=16351 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16354/task/16368/stat : 16368 (java) S 16351 16351 15998 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 421014661 27969658880 26844 33554432000 4194304 4196468 140735780887888 140164113291376 140165123349122 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
[pid=16354/tid=16369] ppid=16351 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16354/task/16369/stat : 16369 (java) S 16351 16351 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421014661 27969658880 26844 33554432000 4194304 4196468 140735780887888 140164112238576 140165123349122 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
[pid=16354/tid=16370] ppid=16351 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16354/task/16370/stat : 16370 (java) S 16351 16351 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421014661 27969658880 26844 33554432000 4194304 4196468 140735780887888 140164043106672 140165123349122 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
[pid=16354/tid=16371] ppid=16351 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16354/task/16371/stat : 16371 (java) S 16351 16351 15998 0 -1 1077944384 251 0 0 0 0 0 0 0 20 0 20 0 421014661 27969658880 26844 33554432000 4194304 4196468 140735780887888 140164042053872 140165123349122 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
[pid=16354/tid=16372] ppid=16351 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16354/task/16372/stat : 16372 (java) S 16351 16351 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421014661 27969658880 26844 33554432000 4194304 4196468 140735780887888 140161895623520 140165123348181 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
[pid=16354/tid=16373] ppid=16351 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16354/task/16373/stat : 16373 (java) S 16351 16351 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421014662 27969658880 26844 33554432000 4194304 4196468 140735780887888 140164041001776 140165123349122 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108512 KiB
[startup+0.210107 s]*
/proc/loadavg: 7.77 8.02 7.90 4/212 16373
/proc/meminfo: memFree=31345304/32770624 swapFree=66982588/67108860
[pid=16351] ppid=16348 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16351/stat : 16351 (scop.sh) S 16348 16351 15998 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 421014653 115843072 349 33554432000 4194304 5098028 140734055269728 140734055266984 140578594980476 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14405632 140734055273252 140734055273580 140734055273580 140734055276493 0
/proc/16351/statm: 28282 349 296 221 0 87 0
[pid=16354] ppid=16351 vsize=27314120 memory=123976 CPUtime=0.24 cores=0-7
/proc/16354/stat : 16354 (java) S 16351 16351 15998 0 -1 1077944320 11924 0 0 0 20 4 0 0 20 0 20 0 421014654 27969658880 30994 33554432000 4194304 4196468 140735780887888 140735780870432 140165123337975 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
/proc/16354/statm: 6828530 30994 2893 1 0 6790935 0
[pid=16354/tid=16355] ppid=16351 vsize=27314120 memory=0 CPUtime=0.2 cores=0-7
/proc/16354/task/16355/stat : 16355 (java) R 16351 16351 15998 0 -1 4202560 9634 0 0 0 16 4 0 0 20 0 20 0 421014654 27969658880 30994 33554432000 4194304 4196468 140735780887888 140165095146368 140165104901550 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
[pid=16354/tid=16356] ppid=16351 vsize=27314120 memory=732370265193151461 CPUtime=0 cores=0-7
/proc/16354/task/16356/stat : 16356 (java) S 16351 16351 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421014656 27969658880 30994 33554432000 4194304 4196468 140735780887888 140165127580560 140165123348181 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
[pid=16354/tid=16357] ppid=16351 vsize=27314120 memory=140126855698048 CPUtime=0 cores=0-7
/proc/16354/task/16357/stat : 16357 (java) S 16351 16351 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421014656 27969658880 30994 33554432000 4194304 4196468 140735780887888 140164941736720 140165123348181 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
[pid=16354/tid=16358] ppid=16351 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16354/task/16358/stat : 16358 (java) S 16351 16351 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421014656 27969658880 30994 33554432000 4194304 4196468 140735780887888 140164940684432 140165123348181 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
[pid=16354/tid=16359] ppid=16351 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16354/task/16359/stat : 16359 (java) S 16351 16351 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421014656 27969658880 30994 33554432000 4194304 4196468 140735780887888 140164939631632 140165123348181 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
[pid=16354/tid=16360] ppid=16351 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16354/task/16360/stat : 16360 (java) S 16351 16351 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421014656 27969658880 30994 33554432000 4194304 4196468 140735780887888 140164938578320 140165123348181 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
[pid=16354/tid=16361] ppid=16351 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16354/task/16361/stat : 16361 (java) S 16351 16351 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421014656 27969658880 30994 33554432000 4194304 4196468 140735780887888 140164937525520 140165123348181 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
[pid=16354/tid=16362] ppid=16351 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16354/task/16362/stat : 16362 (java) S 16351 16351 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421014656 27969658880 30994 33554432000 4194304 4196468 140735780887888 140164936473232 140165123348181 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
[pid=16354/tid=16363] ppid=16351 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16354/task/16363/stat : 16363 (java) S 16351 16351 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421014656 27969658880 30994 33554432000 4194304 4196468 140735780887888 140164935420432 140165123348181 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
[pid=16354/tid=16364] ppid=16351 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16354/task/16364/stat : 16364 (java) S 16351 16351 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421014658 27969658880 30994 33554432000 4194304 4196468 140735780887888 140164114344560 140165123349122 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
[pid=16354/tid=16365] ppid=16351 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16354/task/16365/stat : 16365 (java) S 16351 16351 15998 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 421014658 27969658880 30994 33554432000 4194304 4196468 140735780887888 140163036472608 140165123348181 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
[pid=16354/tid=16366] ppid=16351 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16354/task/16366/stat : 16366 (java) S 16351 16351 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421014659 27969658880 30994 33554432000 4194304 4196468 140735780887888 140162768037488 140165123348181 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
[pid=16354/tid=16367] ppid=16351 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16354/task/16367/stat : 16367 (java) S 16351 16351 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421014661 27969658880 30994 33554432000 4194304 4196468 140735780887888 140162393528912 140165123356571 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
[pid=16354/tid=16368] ppid=16351 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16354/task/16368/stat : 16368 (java) S 16351 16351 15998 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 421014661 27969658880 30994 33554432000 4194304 4196468 140735780887888 140164113291376 140165123349122 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
[pid=16354/tid=16369] ppid=16351 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16354/task/16369/stat : 16369 (java) S 16351 16351 15998 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 20 0 421014661 27969658880 30994 33554432000 4194304 4196468 140735780887888 140164112238576 140165123349122 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
[pid=16354/tid=16370] ppid=16351 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16354/task/16370/stat : 16370 (java) S 16351 16351 15998 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 421014661 27969658880 30994 33554432000 4194304 4196468 140735780887888 140164043106672 140165123349122 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
[pid=16354/tid=16371] ppid=16351 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/16354/task/16371/stat : 16371 (java) S 16351 16351 15998 0 -1 1077944384 471 0 0 0 2 0 0 0 20 0 20 0 421014661 27969658880 30994 33554432000 4194304 4196468 140735780887888 140164042053872 140165123349122 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
[pid=16354/tid=16372] ppid=16351 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16354/task/16372/stat : 16372 (java) S 16351 16351 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421014661 27969658880 30994 33554432000 4194304 4196468 140735780887888 140161895623520 140165123348181 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
[pid=16354/tid=16373] ppid=16351 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16354/task/16373/stat : 16373 (java) S 16351 16351 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421014662 27969658880 30994 33554432000 4194304 4196468 140735780887888 140164041001776 140165123349122 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125372 KiB
[startup+0.309531 s]*
/proc/loadavg: 7.77 8.02 7.90 2/212 16373
/proc/meminfo: memFree=31342388/32770624 swapFree=66982588/67108860
[pid=16351] ppid=16348 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16351/stat : 16351 (scop.sh) S 16348 16351 15998 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 421014653 115843072 349 33554432000 4194304 5098028 140734055269728 140734055266984 140578594980476 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14405632 140734055273252 140734055273580 140734055273580 140734055276493 0
/proc/16351/statm: 28282 349 296 221 0 87 0
[pid=16354] ppid=16351 vsize=27314120 memory=127920 CPUtime=0.42 cores=0-7
/proc/16354/stat : 16354 (java) S 16351 16351 15998 0 -1 1077944320 12352 0 0 0 37 5 0 0 20 0 20 0 421014654 27969658880 31980 33554432000 4194304 4196468 140735780887888 140735780870432 140165123337975 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
/proc/16354/statm: 6828530 31980 3010 1 0 6790935 0
[pid=16354/tid=16355] ppid=16351 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/16354/task/16355/stat : 16355 (java) R 16351 16351 15998 0 -1 4202560 9902 0 0 0 25 4 0 0 20 0 20 0 421014654 27969658880 31980 33554432000 4194304 4196468 140735780887888 140165095124272 140165107418462 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
[pid=16354/tid=16356] ppid=16351 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16354/task/16356/stat : 16356 (java) S 16351 16351 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421014656 27969658880 31980 33554432000 4194304 4196468 140735780887888 140165127580560 140165123348181 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
[pid=16354/tid=16357] ppid=16351 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16354/task/16357/stat : 16357 (java) S 16351 16351 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421014656 27969658880 31980 33554432000 4194304 4196468 140735780887888 140164941736720 140165123348181 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
[pid=16354/tid=16358] ppid=16351 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16354/task/16358/stat : 16358 (java) S 16351 16351 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421014656 27969658880 31980 33554432000 4194304 4196468 140735780887888 140164940684432 140165123348181 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
[pid=16354/tid=16359] ppid=16351 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16354/task/16359/stat : 16359 (java) S 16351 16351 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421014656 27969658880 31980 33554432000 4194304 4196468 140735780887888 140164939631632 140165123348181 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
[pid=16354/tid=16360] ppid=16351 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16354/task/16360/stat : 16360 (java) S 16351 16351 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421014656 27969658880 31980 33554432000 4194304 4196468 140735780887888 140164938578320 140165123348181 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
[pid=16354/tid=16361] ppid=16351 vsize=27314120 memory=140126730676911 CPUtime=0 cores=0-7
/proc/16354/task/16361/stat : 16361 (java) S 16351 16351 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421014656 27969658880 31980 33554432000 4194304 4196468 140735780887888 140164937525520 140165123348181 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
[pid=16354/tid=16362] ppid=16351 vsize=27314120 memory=140126730679216 CPUtime=0 cores=0-7
/proc/16354/task/16362/stat : 16362 (java) S 16351 16351 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421014656 27969658880 31980 33554432000 4194304 4196468 140735780887888 140164936473232 140165123348181 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
[pid=16354/tid=16363] ppid=16351 vsize=27314120 memory=140126730681520 CPUtime=0 cores=0-7
/proc/16354/task/16363/stat : 16363 (java) S 16351 16351 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421014656 27969658880 31980 33554432000 4194304 4196468 140735780887888 140164935420432 140165123348181 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
[pid=16354/tid=16364] ppid=16351 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16354/task/16364/stat : 16364 (java) S 16351 16351 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421014658 27969658880 31980 33554432000 4194304 4196468 140735780887888 140164114344560 140165123349122 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
[pid=16354/tid=16365] ppid=16351 vsize=27314120 memory=280253461376912 CPUtime=0 cores=0-7
/proc/16354/task/16365/stat : 16365 (java) S 16351 16351 15998 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 421014658 27969658880 31980 33554432000 4194304 4196468 140735780887888 140163036472608 140165123348181 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
[pid=16354/tid=16366] ppid=16351 vsize=27314120 memory=280253461374608 CPUtime=0 cores=0-7
/proc/16354/task/16366/stat : 16366 (java) S 16351 16351 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421014659 27969658880 31980 33554432000 4194304 4196468 140735780887888 140162768037488 140165123348181 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
[pid=16354/tid=16367] ppid=16351 vsize=27314120 memory=280253461381520 CPUtime=0 cores=0-7
/proc/16354/task/16367/stat : 16367 (java) S 16351 16351 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421014661 27969658880 31980 33554432000 4194304 4196468 140735780887888 140162393528912 140165123356571 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
[pid=16354/tid=16368] ppid=16351 vsize=27314120 memory=280253461322768 CPUtime=0.01 cores=0-7
/proc/16354/task/16368/stat : 16368 (java) S 16351 16351 15998 0 -1 1077944384 331 0 0 0 1 0 0 0 20 0 20 0 421014661 27969658880 31980 33554432000 4194304 4196468 140735780887888 140164113291376 140165123349122 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
[pid=16354/tid=16369] ppid=16351 vsize=27314120 memory=280253461395344 CPUtime=0.02 cores=0-7
/proc/16354/task/16369/stat : 16369 (java) R 16351 16351 15998 0 -1 4202560 234 0 0 0 2 0 0 0 20 0 20 0 421014661 27969658880 31980 33554432000 4194304 4196468 140735780887888 140164112238576 140165116323017 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
[pid=16354/tid=16370] ppid=16351 vsize=27314120 memory=280253461402256 CPUtime=0 cores=0-7
/proc/16354/task/16370/stat : 16370 (java) S 16351 16351 15998 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 421014661 27969658880 31980 33554432000 4194304 4196468 140735780887888 140164043106672 140165123349122 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
[pid=16354/tid=16371] ppid=16351 vsize=27314120 memory=280253461399952 CPUtime=0.07 cores=0-7
/proc/16354/task/16371/stat : 16371 (java) S 16351 16351 15998 0 -1 1077944384 493 0 0 0 7 0 0 0 20 0 20 0 421014661 27969658880 31980 33554432000 4194304 4196468 140735780887888 140164042053872 140165123349122 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
[pid=16354/tid=16372] ppid=16351 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16354/task/16372/stat : 16372 (java) S 16351 16351 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421014661 27969658880 31980 33554432000 4194304 4196468 140735780887888 140161895623520 140165123348181 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
[pid=16354/tid=16373] ppid=16351 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16354/task/16373/stat : 16373 (java) S 16351 16351 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421014662 27969658880 31980 33554432000 4194304 4196468 140735780887888 140164041001776 140165123349122 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129316 KiB
[startup+0.70087 s]
/proc/loadavg: 7.31 7.92 7.87 2/212 16373
/proc/meminfo: memFree=31318700/32770624 swapFree=66982588/67108860
[pid=16351] ppid=16348 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16351/stat : 16351 (scop.sh) S 16348 16351 15998 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 421014653 115843072 349 33554432000 4194304 5098028 140734055269728 140734055266984 140578594980476 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14405632 140734055273252 140734055273580 140734055273580 140734055276493 0
/proc/16351/statm: 28282 349 296 221 0 87 0
[pid=16354] ppid=16351 vsize=27320392 memory=165208 CPUtime=1 cores=0-7
/proc/16354/stat : 16354 (java) S 16351 16351 15998 0 -1 1077944320 20433 0 0 0 92 8 0 0 20 0 20 0 421014654 27976081408 41302 33554432000 4194304 4196468 140735780887888 140735780870432 140165123337975 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
/proc/16354/statm: 6830098 41302 3181 1 0 6791447 0
[pid=16354/tid=16355] ppid=16351 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/16354/task/16355/stat : 16355 (java) R 16351 16351 15998 0 -1 4202560 17414 0 0 0 61 6 0 0 20 0 20 0 421014654 27976081408 41302 33554432000 4194304 4196468 140735780887888 140165095175760 140165123349910 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
[pid=16354/tid=16356] ppid=16351 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/16354/task/16356/stat : 16356 (java) S 16351 16351 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421014656 27976081408 41302 33554432000 4194304 4196468 140735780887888 140165127580560 140165123348181 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
[pid=16354/tid=16357] ppid=16351 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/16354/task/16357/stat : 16357 (java) S 16351 16351 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421014656 27976081408 41302 33554432000 4194304 4196468 140735780887888 140164941736720 140165123348181 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
[pid=16354/tid=16358] ppid=16351 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/16354/task/16358/stat : 16358 (java) S 16351 16351 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421014656 27976081408 41302 33554432000 4194304 4196468 140735780887888 140164940684432 140165123348181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12636160 140735780889322 140735780889750 140735780889750 140735780892623 0
################
# More data... #
################
[pid=16377/tid=16395] ppid=16351 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16377/task/16395/stat : 16395 (java) S 16351 16351 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 421016795 8616062976 34343 33554432000 4194304 4196468 140728904077104 140139883916256 140142386235093 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23371776 140728904078327 140728904078486 140728904078486 140728904081359 0
[pid=16377/tid=16396] ppid=16351 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16377/task/16396/stat : 16396 (java) S 16351 16351 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421016795 8616062976 34343 33554432000 4194304 4196468 140728904077104 140141205957808 140142386236034 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23371776 140728904078327 140728904078486 140728904078486 140728904081359 0
[pid=16377/tid=16398] ppid=16351 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16377/task/16398/stat : 16398 (java) S 16351 16351 15998 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 421016878 8616062976 34343 33554432000 4194304 4196468 140728904077104 140141197923776 140142386249497 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 23371776 140728904078327 140728904078486 140728904078486 140728904081359 0
[pid=16377/tid=16400] ppid=16351 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/16377/task/16400/stat : 16400 (java) S 16351 16351 15998 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 421016879 8616062976 34343 33554432000 4194304 4196468 140728904077104 140139212815888 140142386246813 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 23371776 140728904078327 140728904078486 140728904078486 140728904081359 0
[pid=16377/tid=16401] ppid=16351 vsize=8414124 memory=137372 CPUtime=0 cores=0-7
/proc/16377/task/16401/stat : 16401 (java) S 16351 16351 15998 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 421016879 8616062976 34343 33554432000 4194304 4196468 140728904077104 140139481251472 140142386246813 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 23371776 140728904078327 140728904078486 140728904078486 140728904081359 0
[pid=16377/tid=16402] ppid=16351 vsize=8414124 memory=5873392 CPUtime=0 cores=0-7
/proc/16377/task/16402/stat : 16402 (java) S 16351 16351 15998 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 421016881 8616062976 34343 33554432000 4194304 4196468 140728904077104 140138944388016 140142386235093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23371776 140728904078327 140728904078486 140728904078486 140728904081359 0
Current children cumulated CPU time: 41.65 s
Current children cumulated vsize: 9308604 KiB
Current children cumulated memory: 314184 KiB
[startup+23.602 s]
/proc/loadavg: 5.38 7.44 7.71 8/226 16410
/proc/meminfo: memFree=31152316/32770624 swapFree=66982588/67108860
[pid=16351] ppid=16348 vsize=113128 memory=1476 CPUtime=35.75 cores=0-7
/proc/16351/stat : 16351 (scop.sh) S 16348 16351 15998 0 -1 4202496 583 57567 0 0 0 0 3375 200 20 0 1 0 421014653 115843072 369 33554432000 4194304 5098028 140734055269728 140734055266472 140578594980476 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14405632 140734055273252 140734055273580 140734055273580 140734055276493 0
/proc/16351/statm: 28282 369 311 221 0 87 0
[pid=16377] ppid=16351 vsize=8414124 memory=137372 CPUtime=1.79 cores=0-7
/proc/16377/stat : 16377 (java) S 16351 16351 15998 0 -1 1077944320 21744 0 0 0 165 14 0 0 20 0 24 0 421016788 8616062976 34343 33554432000 4194304 4196468 140728904077104 140728904059648 140142386224887 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23371776 140728904078327 140728904078486 140728904078486 140728904081359 0
/proc/16377/statm: 2103531 34343 3211 1 0 2064875 0
[pid=16397] ppid=16377 vsize=783092 memory=184552 CPUtime=7.28 cores=0-7
/proc/16397/stat : 16397 (manyglucose-4.1) S 16377 16351 15998 0 -1 1077944320 31629 0 0 0 696 32 0 0 20 0 9 0 421016878 801886208 46138 33554432000 4194304 4454172 140734025311520 140734025309920 139666700524162 0 4 0 8388610 18446744073709551615 0 0 17 7 0 0 10 0 0 6552832 6554400 28397568 140734025319273 140734025319472 140734025319472 140734025322426 0
/proc/16397/statm: 195773 46138 407 64 0 191441 0
[pid=16397/tid=16403] ppid=16377 vsize=783092 memory=7686721470351382681 CPUtime=0.86 cores=0-7
/proc/16397/task/16403/stat : 16403 (manyglucose-4.1) R 16377 16351 15998 0 -1 4202560 452 0 0 0 83 3 0 0 20 0 9 0 421016925 801886208 46138 33554432000 4194304 4454172 140734025311520 139666660916328 4351209 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 28397568 140734025319273 140734025319472 140734025319472 140734025322426 0
[pid=16397/tid=16404] ppid=16377 vsize=783092 memory=4108 CPUtime=0.86 cores=0-7
/proc/16397/task/16404/stat : 16404 (manyglucose-4.1) R 16377 16351 15998 0 -1 4202560 401 0 0 0 84 2 0 0 20 0 9 0 421016925 801886208 46138 33554432000 4194304 4454172 140734025311520 139666652523624 4333375 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 28397568 140734025319273 140734025319472 140734025319472 140734025322426 0
[pid=16397/tid=16405] ppid=16377 vsize=783092 memory=1804 CPUtime=0.86 cores=0-7
/proc/16397/task/16405/stat : 16405 (manyglucose-4.1) R 16377 16351 15998 0 -1 4202560 409 0 0 0 83 3 0 0 20 0 9 0 421016925 801886208 46138 33554432000 4194304 4454172 140734025311520 139666644130920 4351029 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 28397568 140734025319273 140734025319472 140734025319472 140734025322426 0
[pid=16397/tid=16406] ppid=16377 vsize=783092 memory=111084 CPUtime=0.86 cores=0-7
/proc/16397/task/16406/stat : 16406 (manyglucose-4.1) R 16377 16351 15998 0 -1 4202560 931 0 0 0 83 3 0 0 20 0 9 0 421016925 801886208 46138 33554432000 4194304 4454172 140734025311520 139666635737848 4351099 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 28397568 140734025319273 140734025319472 140734025319472 140734025322426 0
[pid=16397/tid=16407] ppid=16377 vsize=783092 memory=4160 CPUtime=0.86 cores=0-7
/proc/16397/task/16407/stat : 16407 (manyglucose-4.1) R 16377 16351 15998 0 -1 4202560 412 0 0 0 84 2 0 0 20 0 9 0 421016925 801886208 46138 33554432000 4194304 4454172 140734025311520 139666627345512 4351555 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 28397568 140734025319273 140734025319472 140734025319472 140734025322426 0
[pid=16397/tid=16408] ppid=16377 vsize=783092 memory=3772 CPUtime=0.87 cores=0-7
/proc/16397/task/16408/stat : 16408 (manyglucose-4.1) R 16377 16351 15998 0 -1 4202560 490 0 0 0 83 4 0 0 20 0 9 0 421016925 801886208 46138 33554432000 4194304 4454172 140734025311520 139666618952440 4333522 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 28397568 140734025319273 140734025319472 140734025319472 140734025322426 0
[pid=16397/tid=16409] ppid=16377 vsize=783092 memory=1440 CPUtime=0.86 cores=0-7
/proc/16397/task/16409/stat : 16409 (manyglucose-4.1) R 16377 16351 15998 0 -1 4202560 406 0 0 0 83 3 0 0 20 0 9 0 421016925 801886208 46138 33554432000 4194304 4454172 140734025311520 139666610560104 4351305 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 28397568 140734025319273 140734025319472 140734025319472 140734025322426 0
[pid=16397/tid=16410] ppid=16377 vsize=783092 memory=920 CPUtime=0.81 cores=0-7
/proc/16397/task/16410/stat : 16410 (manyglucose-4.1) R 16377 16351 15998 0 -1 4202560 425 0 0 0 78 3 0 0 20 0 9 0 421016925 801886208 46138 33554432000 4194304 4454172 140734025311520 139666602166904 4352088 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6552832 6554400 28397568 140734025319273 140734025319472 140734025319472 140734025322426 0
[pid=16377/tid=16378] ppid=16351 vsize=8414124 memory=1984 CPUtime=0.93 cores=0-7
/proc/16377/task/16378/stat : 16378 (java) S 16351 16351 15998 0 -1 1077944384 17439 0 0 0 81 12 0 0 20 0 24 0 421016788 8616062976 34343 33554432000 4194304 4196468 140728904077104 140142358065056 140142386235093 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23371776 140728904078327 140728904078486 140728904078486 140728904081359 0
[pid=16377/tid=16379] ppid=16351 vsize=8414124 memory=2404 CPUtime=0 cores=0-7
/proc/16377/task/16379/stat : 16379 (java) S 16351 16351 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 421016789 8616062976 34343 33554432000 4194304 4196468 140728904077104 140142390467600 140142386235093 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23371776 140728904078327 140728904078486 140728904078486 140728904081359 0
[pid=16377/tid=16380] ppid=16351 vsize=8414124 memory=137372 CPUtime=0 cores=0-7
/proc/16377/task/16380/stat : 16380 (java) S 16351 16351 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421016789 8616062976 34343 33554432000 4194304 4196468 140728904077104 140142190636176 140142386235093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23371776 140728904078327 140728904078486 140728904078486 140728904081359 0
[pid=16377/tid=16381] ppid=16351 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/16377/task/16381/stat : 16381 (java) S 16351 16351 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 421016790 8616062976 34343 33554432000 4194304 4196468 140728904077104 140142189583120 140142386235093 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23371776 140728904078327 140728904078486 140728904078486 140728904081359 0
[pid=16377/tid=16382] ppid=16351 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/16377/task/16382/stat : 16382 (java) S 16351 16351 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421016790 8616062976 34343 33554432000 4194304 4196468 140728904077104 140142188530576 140142386235093 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23371776 140728904078327 140728904078486 140728904078486 140728904081359 0
[pid=16377/tid=16383] ppid=16351 vsize=8414124 memory=4160 CPUtime=0 cores=0-7
/proc/16377/task/16383/stat : 16383 (java) S 16351 16351 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 421016790 8616062976 34343 33554432000 4194304 4196468 140728904077104 140142187477520 140142386235093 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23371776 140728904078327 140728904078486 140728904078486 140728904081359 0
[pid=16377/tid=16384] ppid=16351 vsize=8414124 memory=1692 CPUtime=0 cores=0-7
/proc/16377/task/16384/stat : 16384 (java) S 16351 16351 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 421016790 8616062976 34343 33554432000 4194304 4196468 140728904077104 140142186424976 140142386235093 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23371776 140728904078327 140728904078486 140728904078486 140728904081359 0
[pid=16377/tid=16385] ppid=16351 vsize=8414124 memory=1028 CPUtime=0 cores=0-7
/proc/16377/task/16385/stat : 16385 (java) S 16351 16351 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421016790 8616062976 34343 33554432000 4194304 4196468 140728904077104 140142185371920 140142386235093 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23371776 140728904078327 140728904078486 140728904078486 140728904081359 0
[pid=16377/tid=16386] ppid=16351 vsize=8414124 memory=1060 CPUtime=0 cores=0-7
/proc/16377/task/16386/stat : 16386 (java) S 16351 16351 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 421016790 8616062976 34343 33554432000 4194304 4196468 140728904077104 140142184319376 140142386235093 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23371776 140728904078327 140728904078486 140728904078486 140728904081359 0
[pid=16377/tid=16387] ppid=16351 vsize=8414124 memory=2828 CPUtime=0 cores=0-7
/proc/16377/task/16387/stat : 16387 (java) S 16351 16351 15998 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 421016791 8616062976 34343 33554432000 4194304 4196468 140728904077104 140141211220720 140142386236034 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23371776 140728904078327 140728904078486 140728904078486 140728904081359 0
[pid=16377/tid=16388] ppid=16351 vsize=8414124 memory=756 CPUtime=0 cores=0-7
/proc/16377/task/16388/stat : 16388 (java) S 16351 16351 15998 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 421016792 8616062976 34343 33554432000 4194304 4196468 140728904077104 140141024765600 140142386235093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23371776 140728904078327 140728904078486 140728904078486 140728904081359 0
[pid=16377/tid=16389] ppid=16351 vsize=8414124 memory=1548 CPUtime=0 cores=0-7
/proc/16377/task/16389/stat : 16389 (java) S 16351 16351 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421016792 8616062976 34343 33554432000 4194304 4196468 140728904077104 140140756329712 140142386235093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23371776 140728904078327 140728904078486 140728904078486 140728904081359 0
[pid=16377/tid=16390] ppid=16351 vsize=8414124 memory=7980 CPUtime=0 cores=0-7
/proc/16377/task/16390/stat : 16390 (java) S 16351 16351 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421016794 8616062976 34343 33554432000 4194304 4196468 140728904077104 140140381821392 140142386243483 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23371776 140728904078327 140728904078486 140728904078486 140728904081359 0
[pid=16377/tid=16391] ppid=16351 vsize=8414124 memory=1164 CPUtime=0.16 cores=0-7
/proc/16377/task/16391/stat : 16391 (java) S 16351 16351 15998 0 -1 1077944384 742 0 0 0 16 0 0 0 20 0 24 0 421016794 8616062976 34343 33554432000 4194304 4196468 140728904077104 140141210167536 140142386236034 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23371776 140728904078327 140728904078486 140728904078486 140728904081359 0
[pid=16377/tid=16392] ppid=16351 vsize=8414124 memory=9580 CPUtime=0.18 cores=0-7
/proc/16377/task/16392/stat : 16392 (java) S 16351 16351 15998 0 -1 1077944384 882 0 0 0 18 0 0 0 20 0 24 0 421016794 8616062976 34343 33554432000 4194304 4196468 140728904077104 140141209114992 140142386236034 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23371776 140728904078327 140728904078486 140728904078486 140728904081359 0
[pid=16377/tid=16393] ppid=16351 vsize=8414124 memory=14008 CPUtime=0.22 cores=0-7
/proc/16377/task/16393/stat : 16393 (java) S 16351 16351 15998 0 -1 1077944384 579 0 0 0 22 0 0 0 20 0 24 0 421016794 8616062976 34343 33554432000 4194304 4196468 140728904077104 140141208061936 140142386236034 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23371776 140728904078327 140728904078486 140728904078486 140728904081359 0
[pid=16377/tid=16394] ppid=16351 vsize=8414124 memory=2120 CPUtime=0.25 cores=0-7
/proc/16377/task/16394/stat : 16394 (java) S 16351 16351 15998 0 -1 1077944384 700 0 0 0 25 0 0 0 20 0 24 0 421016794 8616062976 34343 33554432000 4194304 4196468 140728904077104 140141207009392 140142386236034 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23371776 140728904078327 140728904078486 140728904078486 140728904081359 0
[pid=16377/tid=16395] ppid=16351 vsize=8414124 memory=11976 CPUtime=0 cores=0-7
/proc/16377/task/16395/stat : 16395 (java) S 16351 16351 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 421016795 8616062976 34343 33554432000 4194304 4196468 140728904077104 140139883916256 140142386235093 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23371776 140728904078327 140728904078486 140728904078486 140728904081359 0
[pid=16377/tid=16396] ppid=16351 vsize=8414124 memory=4160 CPUtime=0 cores=0-7
/proc/16377/task/16396/stat : 16396 (java) S 16351 16351 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421016795 8616062976 34343 33554432000 4194304 4196468 140728904077104 140141205957808 140142386236034 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23371776 140728904078327 140728904078486 140728904078486 140728904081359 0
[pid=16377/tid=16398] ppid=16351 vsize=8414124 memory=1692 CPUtime=0 cores=0-7
/proc/16377/task/16398/stat : 16398 (java) S 16351 16351 15998 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 421016878 8616062976 34343 33554432000 4194304 4196468 140728904077104 140141197923776 140142386249497 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 23371776 140728904078327 140728904078486 140728904078486 140728904081359 0
[pid=16377/tid=16400] ppid=16351 vsize=8414124 memory=1028 CPUtime=0 cores=0-7
/proc/16377/task/16400/stat : 16400 (java) S 16351 16351 15998 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 421016879 8616062976 34343 33554432000 4194304 4196468 140728904077104 140139212815888 140142386246813 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 23371776 140728904078327 140728904078486 140728904078486 140728904081359 0
[pid=16377/tid=16401] ppid=16351 vsize=8414124 memory=1060 CPUtime=0 cores=0-7
/proc/16377/task/16401/stat : 16401 (java) S 16351 16351 15998 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 421016879 8616062976 34343 33554432000 4194304 4196468 140728904077104 140139481251472 140142386246813 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 23371776 140728904078327 140728904078486 140728904078486 140728904081359 0
[pid=16377/tid=16402] ppid=16351 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16377/task/16402/stat : 16402 (java) S 16351 16351 15998 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 421016881 8616062976 34343 33554432000 4194304 4196468 140728904077104 140138944388016 140142386235093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23371776 140728904078327 140728904078486 140728904078486 140728904081359 0
Current children cumulated CPU time: 44.82 s
Current children cumulated vsize: 9310344 KiB
Current children cumulated memory: 323400 KiB
[startup+23.8013 s]
/proc/loadavg: 5.38 7.44 7.71 8/226 16410
/proc/meminfo: memFree=31152316/32770624 swapFree=66982588/67108860
[pid=16351] ppid=16348 vsize=113128 memory=1476 CPUtime=35.75 cores=0-7
/proc/16351/stat : 16351 (scop.sh) S 16348 16351 15998 0 -1 4202496 583 57567 0 0 0 0 3375 200 20 0 1 0 421014653 115843072 369 33554432000 4194304 5098028 140734055269728 140734055266472 140578594980476 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14405632 140734055273252 140734055273580 140734055273580 140734055276493 0
/proc/16351/statm: 28282 369 311 221 0 87 0
[pid=16377] ppid=16351 vsize=8414124 memory=137372 CPUtime=1.79 cores=0-7
/proc/16377/stat : 16377 (java) S 16351 16351 15998 0 -1 1077944320 21744 0 0 0 165 14 0 0 20 0 24 0 421016788 8616062976 34343 33554432000 4194304 4196468 140728904077104 140728904059648 140142386224887 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23371776 140728904078327 140728904078486 140728904078486 140728904081359 0
/proc/16377/statm: 2103531 34343 3211 1 0 2064875 0
[pid=16397] ppid=16377 vsize=783092 memory=191568 CPUtime=8.78 cores=0-7
/proc/16397/stat : 16397 (manyglucose-4.1) S 16377 16351 15998 0 -1 1077944320 38630 0 0 0 842 36 0 0 20 0 3 0 421016878 801886208 47892 33554432000 4194304 4454172 140734025311520 140734025309904 139666700513015 0 4 0 8388610 18446744073709551615 0 0 17 7 0 0 10 0 0 6552832 6554400 28397568 140734025319273 140734025319472 140734025319472 140734025322426 0
/proc/16397/statm: 195773 47892 420 64 0 191441 0
[pid=16397/tid=16403] ppid=16377 vsize=783092 memory=6943526294502006880 CPUtime=1.07 cores=0-7
/proc/16397/task/16403/stat : 16403 (manyglucose-4.1) R 16377 16351 15998 0 -1 4202560 1470 0 0 0 103 4 0 0 20 0 3 0 421016925 801886208 47892 33554432000 4194304 4454172 140734025311520 139666660916328 4332304 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 28397568 140734025319273 140734025319472 140734025319472 140734025322426 0
[pid=16397/tid=16408] ppid=16377 vsize=783092 memory=6655300316396806240 CPUtime=1.07 cores=0-7
/proc/16397/task/16408/stat : 16408 (manyglucose-4.1) R 16377 16351 15998 0 -1 4202560 1392 0 0 0 103 4 0 0 20 0 3 0 421016925 801886208 47892 33554432000 4194304 4454172 140734025311520 139666618952808 4351198 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 28397568 140734025319273 140734025319472 140734025319472 140734025322426 0
[pid=16377/tid=16378] ppid=16351 vsize=8414124 memory=6944656592455359580 CPUtime=0.93 cores=0-7
/proc/16377/task/16378/stat : 16378 (java) S 16351 16351 15998 0 -1 1077944384 17439 0 0 0 81 12 0 0 20 0 24 0 421016788 8616062976 34343 33554432000 4194304 4196468 140728904077104 140142358065056 140142386235093 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23371776 140728904078327 140728904078486 140728904078486 140728904081359 0
[pid=16377/tid=16379] ppid=16351 vsize=8414124 memory=5931329015123165280 CPUtime=0 cores=0-7
/proc/16377/task/16379/stat : 16379 (java) S 16351 16351 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 421016789 8616062976 34343 33554432000 4194304 4196468 140728904077104 140142390467600 140142386235093 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23371776 140728904078327 140728904078486 140728904078486 140728904081359 0
[pid=16377/tid=16380] ppid=16351 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/16377/task/16380/stat : 16380 (java) S 16351 16351 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421016789 8616062976 34343 33554432000 4194304 4196468 140728904077104 140142190636176 140142386235093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23371776 140728904078327 140728904078486 140728904078486 140728904081359 0
[pid=16377/tid=16381] ppid=16351 vsize=8414124 memory=4160 CPUtime=0 cores=0-7
/proc/16377/task/16381/stat : 16381 (java) S 16351 16351 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 421016790 8616062976 34343 33554432000 4194304 4196468 140728904077104 140142189583120 140142386235093 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23371776 140728904078327 140728904078486 140728904078486 140728904081359 0
[pid=16377/tid=16382] ppid=16351 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/16377/task/16382/stat : 16382 (java) S 16351 16351 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421016790 8616062976 34343 33554432000 4194304 4196468 140728904077104 140142188530576 140142386235093 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23371776 140728904078327 140728904078486 140728904078486 140728904081359 0
[pid=16377/tid=16383] ppid=16351 vsize=8414124 memory=2868 CPUtime=0 cores=0-7
/proc/16377/task/16383/stat : 16383 (java) S 16351 16351 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 421016790 8616062976 34343 33554432000 4194304 4196468 140728904077104 140142187477520 140142386235093 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23371776 140728904078327 140728904078486 140728904078486 140728904081359 0
[pid=16377/tid=16384] ppid=16351 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/16377/task/16384/stat : 16384 (java) S 16351 16351 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 421016790 8616062976 34343 33554432000 4194304 4196468 140728904077104 140142186424976 140142386235093 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23371776 140728904078327 140728904078486 140728904078486 140728904081359 0
[pid=16377/tid=16385] ppid=16351 vsize=8414124 memory=137372 CPUtime=0 cores=0-7
/proc/16377/task/16385/stat : 16385 (java) S 16351 16351 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421016790 8616062976 34343 33554432000 4194304 4196468 140728904077104 140142185371920 140142386235093 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23371776 140728904078327 140728904078486 140728904078486 140728904081359 0
[pid=16377/tid=16386] ppid=16351 vsize=8414124 memory=173488 CPUtime=0 cores=0-7
/proc/16377/task/16386/stat : 16386 (java) S 16351 16351 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 421016790 8616062976 34343 33554432000 4194304 4196468 140728904077104 140142184319376 140142386235093 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23371776 140728904078327 140728904078486 140728904078486 140728904081359 0
[pid=16377/tid=16387] ppid=16351 vsize=8414124 memory=1628 CPUtime=0 cores=0-7
/proc/16377/task/16387/stat : 16387 (java) S 16351 16351 15998 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 421016791 8616062976 34343 33554432000 4194304 4196468 140728904077104 140141211220720 140142386236034 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23371776 140728904078327 140728904078486 140728904078486 140728904081359 0
[pid=16377/tid=16388] ppid=16351 vsize=8414124 memory=8317482817917895235 CPUtime=0 cores=0-7
/proc/16377/task/16388/stat : 16388 (java) S 16351 16351 15998 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 421016792 8616062976 34343 33554432000 4194304 4196468 140728904077104 140141024765600 140142386235093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23371776 140728904078327 140728904078486 140728904078486 140728904081359 0
[pid=16377/tid=16389] ppid=16351 vsize=8414124 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/16377/task/16389/stat : 16389 (java) S 16351 16351 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421016792 8616062976 34343 33554432000 4194304 4196468 140728904077104 140140756329712 140142386235093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23371776 140728904078327 140728904078486 140728904078486 140728904081359 0
[pid=16377/tid=16390] ppid=16351 vsize=8414124 memory=11976 CPUtime=0 cores=0-7
/proc/16377/task/16390/stat : 16390 (java) S 16351 16351 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421016794 8616062976 34343 33554432000 4194304 4196468 140728904077104 140140381821392 140142386243483 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23371776 140728904078327 140728904078486 140728904078486 140728904081359 0
[pid=16377/tid=16391] ppid=16351 vsize=8414124 memory=7692 CPUtime=0.16 cores=0-7
/proc/16377/task/16391/stat : 16391 (java) S 16351 16351 15998 0 -1 1077944384 742 0 0 0 16 0 0 0 20 0 24 0 421016794 8616062976 34343 33554432000 4194304 4196468 140728904077104 140141210167536 140142386236034 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23371776 140728904078327 140728904078486 140728904078486 140728904081359 0
[pid=16377/tid=16392] ppid=16351 vsize=8414124 memory=6791534058613427641 CPUtime=0.18 cores=0-7
/proc/16377/task/16392/stat : 16392 (java) S 16351 16351 15998 0 -1 1077944384 882 0 0 0 18 0 0 0 20 0 24 0 421016794 8616062976 34343 33554432000 4194304 4196468 140728904077104 140141209114992 140142386236034 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23371776 140728904078327 140728904078486 140728904078486 140728904081359 0
[pid=16377/tid=16393] ppid=16351 vsize=8414124 memory=288230574492221466 CPUtime=0.22 cores=0-7
/proc/16377/task/16393/stat : 16393 (java) S 16351 16351 15998 0 -1 1077944384 579 0 0 0 22 0 0 0 20 0 24 0 421016794 8616062976 34343 33554432000 4194304 4196468 140728904077104 140141208061936 140142386236034 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23371776 140728904078327 140728904078486 140728904078486 140728904081359 0
[pid=16377/tid=16394] ppid=16351 vsize=8414124 memory=288230617509003574 CPUtime=0.25 cores=0-7
/proc/16377/task/16394/stat : 16394 (java) S 16351 16351 15998 0 -1 1077944384 700 0 0 0 25 0 0 0 20 0 24 0 421016794 8616062976 34343 33554432000 4194304 4196468 140728904077104 140141207009392 140142386236034 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23371776 140728904078327 140728904078486 140728904078486 140728904081359 0
[pid=16377/tid=16395] ppid=16351 vsize=8414124 memory=15252640887999028 CPUtime=0 cores=0-7
/proc/16377/task/16395/stat : 16395 (java) S 16351 16351 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 421016795 8616062976 34343 33554432000 4194304 4196468 140728904077104 140139883916256 140142386235093 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23371776 140728904078327 140728904078486 140728904078486 140728904081359 0
[pid=16377/tid=16396] ppid=16351 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16377/task/16396/stat : 16396 (java) S 16351 16351 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421016795 8616062976 34343 33554432000 4194304 4196468 140728904077104 140141205957808 140142386236034 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23371776 140728904078327 140728904078486 140728904078486 140728904081359 0
[pid=16377/tid=16398] ppid=16351 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16377/task/16398/stat : 16398 (java) S 16351 16351 15998 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 421016878 8616062976 34343 33554432000 4194304 4196468 140728904077104 140141197923776 140142386249497 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 23371776 140728904078327 140728904078486 140728904078486 140728904081359 0
[pid=16377/tid=16400] ppid=16351 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16377/task/16400/stat : 16400 (java) S 16351 16351 15998 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 421016879 8616062976 34343 33554432000 4194304 4196468 140728904077104 140139212815888 140142386246813 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 23371776 140728904078327 140728904078486 140728904078486 140728904081359 0
[pid=16377/tid=16401] ppid=16351 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16377/task/16401/stat : 16401 (java) S 16351 16351 15998 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 421016879 8616062976 34343 33554432000 4194304 4196468 140728904077104 140139481251472 140142386246813 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 23371776 140728904078327 140728904078486 140728904078486 140728904081359 0
[pid=16377/tid=16402] ppid=16351 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16377/task/16402/stat : 16402 (java) S 16351 16351 15998 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 421016881 8616062976 34343 33554432000 4194304 4196468 140728904077104 140138944388016 140142386235093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23371776 140728904078327 140728904078486 140728904078486 140728904081359 0
Current children cumulated CPU time: 46.32 s
Current children cumulated vsize: 9310344 KiB
Current children cumulated memory: 330416 KiB
Child status: 0
Real time (s): 23.8493
CPU time (s): 46.464
CPU user time (s): 43.9127
CPU system time (s): 2.55128
CPU usage (%): 194.824
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 6153052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 43.9127
system time used= 2.55128
maximum resident set size= 6152004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118710
page faults= 0
swaps= 0
block input operations= 0
block output operations= 18232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 34007
involuntary context switches= 169
# summary of solver processes directly reported to runsolver:
# pid: 16351
# total CPU time (s): 46.464
# total CPU user time (s): 43.9127
# total CPU system time (s): 2.55128
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.181253 second user time and 0.285641 second system time
The end
Begin job on node121 at 2019-09-14 09:51:18 IDJOB=4392606 IDBENCH=141062 IDSOLVER=2839 FILE ID=node121/4392606-1568447520 RUNJOBID= node121-1568447413-16025 PBS_JOBID= 21702353 Free space on /tmp= 61412 MiB SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15) BENCH NAME= XCSP18/Rlfap_mini/Rlfap-dec-scens11_mini/Rlfap-ext-scen-11-f02_c18.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid 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-4392606-1568447520/watcher-4392606-1568447520 -o /tmp/evaluation-result-4392606-1568447520/solver-4392606-1568447520 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node121-1568447413-16025 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392606-1568447520.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 7ac25fa9c4532324d4bc78edd5427656 RANDOM SEED=885980551 node121.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 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: 31458444 kB MemAvailable: 31910816 kB Buffers: 179756 kB Cached: 566996 kB SwapCached: 18184 kB Active: 410836 kB Inactive: 357848 kB Active(anon): 7364 kB Inactive(anon): 45776 kB Active(file): 403472 kB Inactive(file): 312072 kB Unevictable: 109108 kB Mlocked: 109108 kB SwapTotal: 67108860 kB SwapFree: 66982588 kB Dirty: 20548 kB Writeback: 0 kB AnonPages: 121032 kB Mapped: 35600 kB Shmem: 23012 kB Slab: 134288 kB SReclaimable: 105328 kB SUnreclaim: 28960 kB KernelStack: 3728 kB PageTables: 5212 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498172 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 75776 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 61392 MiB End job on node121 at 2019-09-14 09:51:42