Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP order+ManyGlucose (2019-09-22) | SAT | 808.783 | 563.339 |
Name | Crossword/Crossword-m1c-ogd2008-herald/ Crossword-m1c-ogd2008-h1905.xml |
MD5SUM | b304f6c83ea7150e2963a619c79f8da9 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.587835 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 361 |
Number of constraints | 126 |
Number of domains | 1 |
Minimum domain size | 26 |
Maximum domain size | 26 |
Distribution of domain sizes | [{"size":26,"count":291}] |
Minimum variable degree | 0 |
Maximum variable degree | 2 |
Distribution of variable degrees | [{"degree":0,"count":70},{"degree":2,"count":291}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 19 |
Distribution of constraint arities | [{"arity":3,"count":25},{"arity":4,"count":62},{"arity":5,"count":18},{"arity":6,"count":8},{"arity":7,"count":10},{"arity":16,"count":2},{"arity":19,"count":1}] |
Number of extensional constraints | 126 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":126}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-13148-serial-file.bin HOME/instance-4405168-1569362913.xml 0.66/0.54 0.66/0.54 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 0.66/0.54 0.66/0.56 c BEGIN-Prog: Tue Sep 24 22:58:10 CEST 2019 0.66/0.56 c PID: 13151 0.66/0.56 c IP: 172.20.3.104 0.66/0.56 c HOST: node104.alineos.net 0.66/0.57 c (0,0) Parsing Begin 3.57/1.51 c (0,0) Parsing End 3.57/1.52 c (0,0) CSP: 291 int (0 aux), 0 bool (0 aux), 126 ctr, max domain size 26 3.57/1.52 c (0,0) Heap : 450 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 3.57/1.52 c (0,0) Constraint Name Generate Begin 3.57/1.52 c (0,0) Ctr:HOME/instance-4405168-1569362913.xml,ExtensionSupport:Var 3.57/1.52 c (0,0) Constraint Name Generate End 3.57/1.52 c (0,0) Heap : 450 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 3.57/1.52 c (0,0) CSP to CSPinCNF Begin 23.34/11.98 c (11,11) translated 13 (10%) constraints 35.29/21.67 c (21,20) translated 26 (20%) constraints 43.79/30.04 c (29,29) translated 38 (30%) constraints 56.69/39.61 c (39,38) translated 51 (40%) constraints 69.61/48.58 c (48,46) translated 63 (50%) constraints 71.76/50.53 c (49,48) translated 76 (60%) constraints 100.33/73.71 c (73,70) translated 89 (70%) constraints 310.27/226.72 c (226,215) translated 101 (80%) constraints 388.23/289.82 c (289,276) translated 114 (90%) constraints 423.56/318.77 c (318,304) translated 126 (100%) constraints 442.16/333.31 c (332,318) =========================================== 442.16/333.36 c (332,318) Order 442.16/333.36 c (332,318) =========================================== 453.29/344.08 c (343,329) translated 585457 (10%) constraints 467.45/355.29 c (354,340) translated 1170914 (20%) constraints 485.10/367.49 c (366,351) translated 1756371 (30%) constraints 496.50/378.81 c (378,362) translated 2341828 (40%) constraints 513.63/390.94 c (390,374) translated 2927285 (50%) constraints 524.23/401.56 c (401,384) translated 3512742 (60%) constraints 541.26/413.27 c (412,395) translated 4098199 (70%) constraints 552.67/424.60 c (424,407) translated 4683656 (80%) constraints 569.98/436.56 c (436,418) translated 5269113 (90%) constraints 587.16/448.28 c (447,429) translated 5854569 (100%) constraints 587.16/448.28 c (447,429) CSP to CSPinCNF End 587.40/448.47 c (447,429) CSP: 291 int (0 aux), 612586 bool (612586 aux), 5854569 ctr, max domain size 26 587.40/448.47 c (447,429) Heap : 7752 MiB used (max 21760 MiB), NonHeap : 27 MiB used (max 0 MiB) 587.40/448.47 c (447,429) CSPinCNF Propagation Begin 656.24/479.82 c (479,455) 0 values, 126 unsatisfiable literals, and 0 valid clauses are removed 656.24/479.82 c (479,455) CSPinCNF Propagation End 656.46/480.01 c (479,455) CSP: 291 int (0 aux), 612586 bool (612586 aux), 5854569 ctr, max domain size 26 656.46/480.01 c (479,455) Heap : 12085 MiB used (max 21832 MiB), NonHeap : 27 MiB used (max 0 MiB) 656.46/480.04 c (479,455) Simplify CSPinCNF Begin 680.24/492.81 c (492,466) Simplify CSPinCNF End 680.34/492.99 c (492,467) CSP: 291 int (0 aux), 612586 bool (612586 aux), 5854569 ctr, max domain size 26 680.34/492.99 c (492,467) Heap : 12834 MiB used (max 20637 MiB), NonHeap : 27 MiB used (max 0 MiB) 680.34/492.99 c (492,467) Calculate Precise Domain Begin 680.34/492.99 c (492,467) 0 values are removed by re-calculation 680.34/492.99 c (492,467) Calculate Precise Domain End 680.55/493.17 c (492,467) CSP: 291 int (0 aux), 612586 bool (612586 aux), 5854569 ctr, max domain size 26 680.55/493.17 c (492,467) Heap : 12834 MiB used (max 20637 MiB), NonHeap : 27 MiB used (max 0 MiB) 680.55/493.17 c (492,467) CSPinCNF to SatSolver Begin 696.84/500.71 c (500,473) 585457 (10 %) CSP clauses are encoded (0 SAT variables, 592434 SAT clauses) 706.09/506.56 c (506,479) 1170914 (20 %) CSP clauses are encoded (0 SAT variables, 1177891 SAT clauses) 714.18/512.41 c (511,484) 1756371 (30 %) CSP clauses are encoded (0 SAT variables, 1763348 SAT clauses) 722.31/518.31 c (517,490) 2341828 (40 %) CSP clauses are encoded (0 SAT variables, 2348805 SAT clauses) 730.34/524.19 c (523,495) 2927285 (50 %) CSP clauses are encoded (0 SAT variables, 2934262 SAT clauses) 737.95/529.52 c (528,500) 3512742 (60 %) CSP clauses are encoded (0 SAT variables, 3519719 SAT clauses) 745.75/535.06 c (534,505) 4098199 (70 %) CSP clauses are encoded (0 SAT variables, 4105176 SAT clauses) 753.93/541.04 c (540,511) 4683656 (80 %) CSP clauses are encoded (0 SAT variables, 4690633 SAT clauses) 762.10/546.97 c (546,517) 5269113 (90 %) CSP clauses are encoded (0 SAT variables, 5276090 SAT clauses) 769.98/552.59 c (552,522) 5854569 (100 %) CSP clauses are encoded (0 SAT variables, 5861546 SAT clauses) 769.98/552.59 c (552,522) CSPinCNF to SatSolver End 769.98/552.59 c (552,522) Heap : 14123 MiB used (max 21481 MiB), NonHeap : 29 MiB used (max 0 MiB) 769.98/552.59 c (552,522) 619855 bool, 5861547 clause 769.98/552.59 c (552,522) Export Begin 770.29/552.71 c (552,522) Export to HOME/scop-13148-serial-file.bin 770.29/552.71 c (552,522) Export End 770.29/552.71 c (552,522) Export File Size: 0.06 MB 770.29/552.71 c (552,522) 0,0,447,479,492,492,552,STOP-AFTER(DIMACS) 770.29/552.71 c END-Prog: Tue Sep 24 23:07:22 CEST 2019 0.00/552.83 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-13148-serial-file.bin 771.04/553.31 c (0,0) Read Serial File Begin 771.04/553.31 c (0,0) HOME/scop-13148-serial-file.bin 771.34/553.55 c (0,0) Read Serial File End 771.34/553.56 771.60/553.69 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 771.60/553.69 (Solving Process) 771.60/553.69 771.60/553.69 c BEGIN-Prog: Tue Sep 24 23:07:23 CEST 2019 771.60/553.69 c PID: 13235 771.60/553.69 c IP: 172.20.3.104 771.60/553.69 c HOST: node104.alineos.net 771.60/553.69 c (0,0) SatSolver.solve Begin 771.60/553.69 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405168-1569362913.xml-scop-13151.cnf 771.60/553.69 c (0,0) c 771.60/553.69 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) 771.60/553.69 c (0,0) c 771.60/553.69 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 771.60/553.69 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 771.60/553.69 c (0,0) c ========================================[ Problem Statistics ]=========================================== 771.60/553.69 c (0,0) c | | 774.01/555.97 c (2,0) c | Number of variables: 619855 | 774.01/555.97 c (2,0) c | Number of clauses: 5861454 | 774.01/555.97 c (2,0) c | Parse time: 2.07 s | 774.01/555.97 c (2,0) c | | 774.50/556.49 c (3,0) c | Too many clauses... No preprocessing | 774.50/556.49 c (3,0) c | Simplification time: 0.47 s | 774.50/556.49 c (3,0) c | | 774.60/556.51 c (3,0) c | Generating clones | 776.42/558.36 c (5,0) c | all clones generated. Memory = 3622.59Mb. | 776.42/558.36 c (5,0) c ========================================================================================================| 776.42/558.36 c (5,0) c 776.42/558.36 c (5,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 776.42/558.36 c (5,0) c 776.42/558.36 c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 776.42/558.36 c (5,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 776.42/558.36 c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 776.42/558.36 c (5,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 776.42/558.36 c (5,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 776.42/558.36 c (5,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 776.42/558.36 c (5,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 776.42/558.36 c (5,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 776.42/558.36 c (5,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 776.42/558.36 c (5,0) c | glureduce | True | True | True | True | True | True | True | True | 776.42/558.36 c (5,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 776.42/558.36 c (5,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 776.42/558.36 c (5,0) c | luby_restart | False | False | False | False | False | False | False | False | 776.42/558.36 c (5,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 776.42/558.36 c (5,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 776.42/558.36 c (5,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 776.42/558.36 c (5,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 776.42/558.36 c (5,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 776.42/558.36 c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 807.48/562.77 c (9,0) c 807.48/562.77 c (9,0) c real time : 9.15775 s 807.48/562.77 c (9,0) c cpu time : 32.2317 s 807.48/562.77 c (9,0) c 807.48/562.77 c (9,0) c 807.48/562.77 c (9,0) c 807.48/562.77 c (9,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 807.48/562.77 c (9,0) c 807.48/562.77 c (9,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 807.48/562.77 c (9,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 807.48/562.77 c (9,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 807.48/562.77 c (9,0) c | Conflicts | 9531 | 1260 | 1044 | 1522 | 1339 | 934 | 1147 | 1311 | 974 | 807.48/562.77 c (9,0) c | Decisions | 696242 | 99959 | 82454 | 72248 | 130972 | 79321 | 81886 | 64686 | 84716 | 807.48/562.77 c (9,0) c | Propagations | 73829583 | 8187600 | 9315869 | 8927691 | 9614515 | 9099184 | 9364659 | 10253894 | 9066171 | 807.48/562.77 c (9,0) c | ReduceDBs | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 807.48/562.77 c (9,0) c | SimpDBs | 8 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 807.48/562.77 c (9,0) c | Restarts | 33 | 3 | 5 | 5 | 4 | 4 | 5 | 6 | 1 | 807.48/562.77 c (9,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 807.48/562.77 c (9,0) c | PropBinClauses| 84482628 | 9358805 | 10763190 | 10380729 | 10908528 | 9969009 | 10746952 | 12102696 | 10252719 | 807.48/562.77 c (9,0) c | PropPreBlocker| 381227081 | 46630341 | 46669412 | 45047208 | 53925468 | 47915270 | 47585669 | 44466852 | 48986861 | 807.48/562.77 c (9,0) c | PropNotBlocker| 109451968 | 13493197 | 13261486 | 14265664 | 15221566 | 12246178 | 14352416 | 13591404 | 13020057 | 807.48/562.77 c (9,0) c | LitFullScans | 692432550 | 84076665 | 84077714 | 84017935 | 96031683 | 84013518 | 90031160 | 84065462 | 86118413 | 807.48/562.77 c (9,0) c | LitScanFracts | 144413 | 23421 | 16243 | 5238 | 26545 | 12594 | 12317 | 31723 | 16332 | 807.48/562.77 c (9,0) c | DecisionLevel0| 33 | 3 | 5 | 5 | 4 | 4 | 5 | 6 | 1 | 807.48/562.77 c (9,0) c | Periods | 115 | 14 | 14 | 14 | 16 | 14 | 15 | 14 | 14 | 807.48/562.77 c (9,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 807.48/562.77 c (9,0) c | Avg_Trail | | 363299 | 235092 | 235826 | 376798 | 313335 | 261868 | 240146 | 439128 | 807.48/562.77 c (9,0) c | Avg_DL | | 3941 | 940 | 786 | 2577 | 1248 | 1498 | 1414 | 2024 | 807.48/562.77 c (9,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 807.48/562.77 c (9,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 807.48/562.77 c (9,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 807.48/562.77 c (9,0) c | Exported | 580 | 65 | 73 | 90 | 83 | 68 | 65 | 70 | 66 | 807.48/562.77 c (9,0) c | Imported | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 807.48/562.77 c (9,0) c | Good | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 807.48/562.77 c (9,0) c | Purge | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 807.48/562.78 c (9,0) c | Promoted | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 807.48/562.78 c (9,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 807.48/562.78 c (9,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 807.48/562.78 c (9,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 807.48/562.78 c (9,0) c | Unaries | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 807.48/562.78 c (9,0) c | Binaries | | 51 | 54 | 72 | 63 | 43 | 50 | 50 | 58 | 807.48/562.78 c (9,0) c | Glues | | 65 | 73 | 90 | 83 | 68 | 65 | 70 | 66 | 807.48/562.78 c (9,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 807.48/562.78 c (9,0) c | Orig_Seen | 0 % | 43028 | 23466 | 32413 | 57180 | 31758 | 38465 | 37209 | 29330 | 807.48/562.78 c (9,0) c | Diff Orig seen| | 13698 | - 5864 | 3083 | 27850 | 2428 | 9135 | 7879 | X | 807.48/562.78 c (9,0) c | Hamming | 7 % | 44318 | 43539 | 42926 | 52359 | 43545 | 41526 | 41475 | X | 807.48/562.78 c (9,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 807.48/562.78 c (9,0) c | RunningTime | | 4.2 100%| 4.1 100%| 4.3 100%| 4.2 100%| 4.2 100%| 4.2 100%| 4.4 100%| 4.0 100%| 807.48/562.78 c (9,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%| 807.48/562.78 c (9,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%| 807.48/562.78 c (9,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%| 807.48/562.78 c (9,0) c | SolvingTime | | 4.2 | 4.1 | 4.3 | 4.2 | 4.2 | 4.2 | 4.4 | 4.0 | 807.48/562.78 c (9,0) c | PropagationTim| | 3.9 92%| 3.8 93%| 3.9 92%| 3.8 91%| 3.8 92%| 3.8 90%| 4.1 93%| 3.7 92%| 807.48/562.78 c (9,0) c | AnalysisTime | | 0.1 2%| 0.1 1%| 0.1 2%| 0.1 2%| 0.1 1%| 0.1 3%| 0.1 2%| 0.1 2%| 807.48/562.78 c (9,0) c | ReductionTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 807.48/562.78 c (9,0) c | SimplifyTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 807.48/562.78 c (9,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%| 807.48/562.78 c (9,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%| 807.48/562.78 c (9,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 807.48/562.78 c (9,0) c 807.48/562.78 c (9,0) c 807.48/562.78 c (9,0) c Threads : 8 807.48/562.78 c (9,0) c Winner : 7 807.48/562.78 c (9,0) c Conflicts_0 : 1260 807.48/562.78 c (9,0) c Conflicts_1 : 1044 807.48/562.78 c (9,0) c Conflicts_2 : 1522 807.48/562.78 c (9,0) c Conflicts_3 : 1339 807.48/562.78 c (9,0) c Conflicts_4 : 934 807.48/562.78 c (9,0) c Conflicts_5 : 1147 807.48/562.78 c (9,0) c Conflicts_6 : 1311 807.48/562.78 c (9,0) c Conflicts_7 : 974 807.48/562.78 c (9,0) c Conflicts_total : 9531 807.48/562.78 c (9,0) c Conflicts_winner : 974 807.48/562.78 c (9,0) c Decisions_0 : 99959 807.48/562.78 c (9,0) c Decisions_1 : 82454 807.48/562.78 c (9,0) c Decisions_2 : 72248 807.48/562.78 c (9,0) c Decisions_3 : 130972 807.48/562.78 c (9,0) c Decisions_4 : 79321 807.48/562.78 c (9,0) c Decisions_5 : 81886 807.48/562.78 c (9,0) c Decisions_6 : 64686 807.48/562.78 c (9,0) c Decisions_7 : 84716 807.48/562.78 c (9,0) c Decisions_total : 696242 807.48/562.78 c (9,0) c Decisions_winner : 84716 807.48/562.78 c (9,0) c Propagations_0 : 8187600 807.48/562.78 c (9,0) c Propagations_1 : 9315869 807.48/562.78 c (9,0) c Propagations_2 : 8927691 807.48/562.78 c (9,0) c Propagations_3 : 9614515 807.48/562.78 c (9,0) c Propagations_4 : 9099184 807.48/562.78 c (9,0) c Propagations_5 : 9364659 807.48/562.78 c (9,0) c Propagations_6 : 10253894 807.48/562.78 c (9,0) c Propagations_7 : 9066171 807.48/562.78 c (9,0) c Propagations_total : 73829583 807.48/562.78 c (9,0) c Propagations_winner : 9066171 807.48/562.78 c (9,0) c ReduceDBs_0 : 0 807.48/562.78 c (9,0) c ReduceDBs_1 : 0 807.48/562.78 c (9,0) c ReduceDBs_2 : 0 807.48/562.78 c (9,0) c ReduceDBs_3 : 0 807.48/562.78 c (9,0) c ReduceDBs_4 : 0 807.48/562.78 c (9,0) c ReduceDBs_5 : 0 807.48/562.78 c (9,0) c ReduceDBs_6 : 0 807.48/562.78 c (9,0) c ReduceDBs_7 : 0 807.48/562.78 c (9,0) c ReduceDBs_total : 0 807.48/562.78 c (9,0) c ReduceDBs_winner : 0 807.48/562.78 c (9,0) c SimpDBs_0 : 1 807.48/562.78 c (9,0) c SimpDBs_1 : 1 807.48/562.78 c (9,0) c SimpDBs_2 : 1 807.48/562.78 c (9,0) c SimpDBs_3 : 1 807.48/562.78 c (9,0) c SimpDBs_4 : 1 807.48/562.78 c (9,0) c SimpDBs_5 : 1 807.48/562.78 c (9,0) c SimpDBs_6 : 1 807.48/562.78 c (9,0) c SimpDBs_7 : 1 807.48/562.78 c (9,0) c SimpDBs_total : 8 807.48/562.78 c (9,0) c SimpDBs_winner : 1 807.48/562.78 c (9,0) c Restarts_0 : 3 807.48/562.78 c (9,0) c Restarts_1 : 5 807.48/562.78 c (9,0) c Restarts_2 : 5 807.48/562.78 c (9,0) c Restarts_3 : 4 807.48/562.78 c (9,0) c Restarts_4 : 4 807.48/562.78 c (9,0) c Restarts_5 : 5 807.48/562.78 c (9,0) c Restarts_6 : 6 807.48/562.78 c (9,0) c Restarts_7 : 1 807.48/562.78 c (9,0) c Restarts_total : 33 807.48/562.78 c (9,0) c Restarts_winner : 1 807.48/562.78 c (9,0) c ForcedImports_0 : 0 807.48/562.78 c (9,0) c ForcedImports_1 : 0 807.48/562.78 c (9,0) c ForcedImports_2 : 0 807.48/562.78 c (9,0) c ForcedImports_3 : 0 807.48/562.78 c (9,0) c ForcedImports_4 : 0 807.48/562.78 c (9,0) c ForcedImports_5 : 0 807.48/562.78 c (9,0) c ForcedImports_6 : 0 807.48/562.78 c (9,0) c ForcedImports_7 : 0 807.48/562.78 c (9,0) c ForcedImports_total : 0 807.48/562.78 c (9,0) c ForcedImports_winner : 0 807.48/562.78 c (9,0) c PropsBinClauses_0 : 9358805 807.48/562.78 c (9,0) c PropsBinClauses_1 : 10763190 807.48/562.78 c (9,0) c PropsBinClauses_2 : 10380729 807.48/562.78 c (9,0) c PropsBinClauses_3 : 10908528 807.48/562.78 c (9,0) c PropsBinClauses_4 : 9969009 807.48/562.78 c (9,0) c PropsBinClauses_5 : 10746952 807.48/562.78 c (9,0) c PropsBinClauses_6 : 12102696 807.48/562.78 c (9,0) c PropsBinClauses_7 : 10252719 807.48/562.78 c (9,0) c PropsBinClauses_total : 84482628 807.48/562.78 c (9,0) c PropsBinClauses_winner : 10252719 807.48/562.78 c (9,0) c PropsPreBlocker_0 : 46630341 807.48/562.78 c (9,0) c PropsPreBlocker_1 : 46669412 807.48/562.78 c (9,0) c PropsPreBlocker_2 : 45047208 807.48/562.78 c (9,0) c PropsPreBlocker_3 : 53925468 807.48/562.78 c (9,0) c PropsPreBlocker_4 : 47915270 807.48/562.78 c (9,0) c PropsPreBlocker_5 : 47585669 807.48/562.78 c (9,0) c PropsPreBlocker_6 : 44466852 807.48/562.78 c (9,0) c PropsPreBlocker_7 : 48986861 807.48/562.78 c (9,0) c PropsPreBlocker_total : 381227081 807.48/562.78 c (9,0) c PropsPreBlocker_winner : 48986861 807.48/562.78 c (9,0) c PropsNotBlocker_0 : 13493197 807.48/562.78 c (9,0) c PropsNotBlocker_1 : 13261486 807.48/562.78 c (9,0) c PropsNotBlocker_2 : 14265664 807.48/562.78 c (9,0) c PropsNotBlocker_3 : 15221566 807.48/562.78 c (9,0) c PropsNotBlocker_4 : 12246178 807.48/562.78 c (9,0) c PropsNotBlocker_5 : 14352416 807.48/562.78 c (9,0) c PropsNotBlocker_6 : 13591404 807.48/562.78 c (9,0) c PropsNotBlocker_7 : 13020057 807.48/562.78 c (9,0) c PropsNotBlocker_total : 109451968 807.48/562.78 c (9,0) c PropsNotBlocker_winner : 13020057 807.48/562.78 c (9,0) c PropsLitFullScans_0 : 84076665 807.48/562.78 c (9,0) c PropsLitFullScans_1 : 84077714 807.48/562.78 c (9,0) c PropsLitFullScans_2 : 84017935 807.48/562.78 c (9,0) c PropsLitFullScans_3 : 96031683 807.48/562.78 c (9,0) c PropsLitFullScans_4 : 84013518 807.48/562.78 c (9,0) c PropsLitFullScans_5 : 90031160 807.48/562.78 c (9,0) c PropsLitFullScans_6 : 84065462 807.48/562.78 c (9,0) c PropsLitFullScans_7 : 86118413 807.48/562.78 c (9,0) c PropsLitFullScans_total : 692432550 807.48/562.78 c (9,0) c PropsLitFullScans_winner : 86118413 807.48/562.78 c (9,0) c LitScanFractions_0 : 23421 807.48/562.78 c (9,0) c LitScanFractions_1 : 16243 807.48/562.78 c (9,0) c LitScanFractions_2 : 5238 807.48/562.78 c (9,0) c LitScanFractions_3 : 26545 807.48/562.78 c (9,0) c LitScanFractions_4 : 12594 807.48/562.78 c (9,0) c LitScanFractions_5 : 12317 807.48/562.78 c (9,0) c LitScanFractions_6 : 31723 807.48/562.78 c (9,0) c LitScanFractions_7 : 16332 807.48/562.78 c (9,0) c LitScanFractions_total : 144413 807.48/562.78 c (9,0) c LitScanFractions_winner : 16332 807.48/562.78 c (9,0) c DecisionLevel0_0 : 3 807.48/562.78 c (9,0) c DecisionLevel0_1 : 5 807.48/562.78 c (9,0) c DecisionLevel0_2 : 5 807.48/562.78 c (9,0) c DecisionLevel0_3 : 4 807.48/562.78 c (9,0) c DecisionLevel0_4 : 4 807.48/562.78 c (9,0) c DecisionLevel0_5 : 5 807.48/562.78 c (9,0) c DecisionLevel0_6 : 6 807.48/562.78 c (9,0) c DecisionLevel0_7 : 1 807.48/562.78 c (9,0) c DecisionLevel0_total : 33 807.48/562.78 c (9,0) c DecisionLevel0_winner : 1 807.48/562.78 c (9,0) c Periods_0 : 14 807.48/562.78 c (9,0) c Periods_1 : 14 807.48/562.78 c (9,0) c Periods_2 : 14 807.48/562.78 c (9,0) c Periods_3 : 16 807.48/562.78 c (9,0) c Periods_4 : 14 807.48/562.78 c (9,0) c Periods_5 : 15 807.48/562.78 c (9,0) c Periods_6 : 14 807.48/562.78 c (9,0) c Periods_7 : 14 807.48/562.78 c (9,0) c Periods_total : 115 807.48/562.78 c (9,0) c Periods_winner : 14 807.48/562.78 c (9,0) c Margin_0 : 20 807.48/562.78 c (9,0) c Margin_1 : 20 807.48/562.78 c (9,0) c Margin_2 : 20 807.48/562.78 c (9,0) c Margin_3 : 20 807.48/562.78 c (9,0) c Margin_4 : 20 807.48/562.78 c (9,0) c Margin_5 : 20 807.48/562.78 c (9,0) c Margin_6 : 20 807.48/562.78 c (9,0) c Margin_7 : 20 807.48/562.78 c (9,0) c Margin_total : 160 807.48/562.78 c (9,0) c Margin_winner : 20 807.48/562.78 c (9,0) c Exported_0 : 65 807.48/562.78 c (9,0) c Exported_1 : 73 807.48/562.78 c (9,0) c Exported_2 : 90 807.48/562.78 c (9,0) c Exported_3 : 83 807.48/562.78 c (9,0) c Exported_4 : 68 807.48/562.78 c (9,0) c Exported_5 : 65 807.48/562.78 c (9,0) c Exported_6 : 70 807.48/562.78 c (9,0) c Exported_7 : 66 807.48/562.78 c (9,0) c Exported_total : 580 807.48/562.78 c (9,0) c Exported_winner : 66 807.48/562.78 c (9,0) c Imported_0 : 0 807.48/562.78 c (9,0) c Imported_1 : 0 807.48/562.78 c (9,0) c Imported_2 : 0 807.48/562.78 c (9,0) c Imported_3 : 0 807.48/562.78 c (9,0) c Imported_4 : 0 807.48/562.78 c (9,0) c Imported_5 : 0 807.48/562.78 c (9,0) c Imported_6 : 0 807.48/562.78 c (9,0) c Imported_7 : 0 807.48/562.78 c (9,0) c Imported_total : 0 807.48/562.78 c (9,0) c Imported_winner : 0 807.48/562.78 c (9,0) c Good_0 : 0 807.48/562.78 c (9,0) c Good_1 : 0 807.48/562.78 c (9,0) c Good_2 : 0 807.48/562.78 c (9,0) c Good_3 : 0 807.48/562.78 c (9,0) c Good_4 : 0 807.48/562.78 c (9,0) c Good_5 : 0 807.48/562.78 c (9,0) c Good_6 : 0 807.48/562.78 c (9,0) c Good_7 : 0 807.48/562.78 c (9,0) c Good_total : 0 807.48/562.78 c (9,0) c Good_winner : 0 807.48/562.78 c (9,0) c Purge_0 : 0 807.48/562.78 c (9,0) c Purge_1 : 0 807.48/562.78 c (9,0) c Purge_2 : 0 807.48/562.78 c (9,0) c Purge_3 : 0 807.48/562.78 c (9,0) c Purge_4 : 0 807.48/562.78 c (9,0) c Purge_5 : 0 807.48/562.78 c (9,0) c Purge_6 : 0 807.48/562.78 c (9,0) c Purge_7 : 0 807.48/562.78 c (9,0) c Purge_total : 0 807.48/562.78 c (9,0) c Purge_winner : 0 807.48/562.78 c (9,0) c Promoted_0 : 0 807.48/562.78 c (9,0) c Promoted_1 : 0 807.48/562.78 c (9,0) c Promoted_2 : 0 807.48/562.78 c (9,0) c Promoted_3 : 0 807.48/562.78 c (9,0) c Promoted_4 : 0 807.48/562.78 c (9,0) c Promoted_5 : 0 807.48/562.78 c (9,0) c Promoted_6 : 0 807.48/562.78 c (9,0) c Promoted_7 : 0 807.48/562.78 c (9,0) c Promoted_total : 0 807.48/562.78 c (9,0) c Promoted_winner : 0 807.48/562.78 c (9,0) c Remove_Imp_0 : 0 807.48/562.78 c (9,0) c Remove_Imp_1 : 0 807.48/562.78 c (9,0) c Remove_Imp_2 : 0 807.48/562.78 c (9,0) c Remove_Imp_3 : 0 807.48/562.78 c (9,0) c Remove_Imp_4 : 0 807.48/562.78 c (9,0) c Remove_Imp_5 : 0 807.48/562.79 c (9,0) c Remove_Imp_6 : 0 807.48/562.79 c (9,0) c Remove_Imp_7 : 0 807.48/562.79 c (9,0) c Remove_Imp_total : 0 807.48/562.79 c (9,0) c Remove_Imp_winner : 0 807.48/562.79 c (9,0) c Blocked_Reuse_0 : 0 807.48/562.79 c (9,0) c Blocked_Reuse_1 : 0 807.48/562.79 c (9,0) c Blocked_Reuse_2 : 0 807.48/562.79 c (9,0) c Blocked_Reuse_3 : 0 807.48/562.79 c (9,0) c Blocked_Reuse_4 : 0 807.48/562.79 c (9,0) c Blocked_Reuse_5 : 0 807.48/562.79 c (9,0) c Blocked_Reuse_6 : 0 807.48/562.79 c (9,0) c Blocked_Reuse_7 : 0 807.48/562.79 c (9,0) c Blocked_Reuse_total : 0 807.48/562.79 c (9,0) c Blocked_Reuse_winner : 0 807.48/562.79 c (9,0) c Unaries_0 : 0 807.48/562.79 c (9,0) c Unaries_1 : 0 807.48/562.79 c (9,0) c Unaries_2 : 0 807.48/562.79 c (9,0) c Unaries_3 : 0 807.48/562.79 c (9,0) c Unaries_4 : 0 807.48/562.79 c (9,0) c Unaries_5 : 0 807.48/562.79 c (9,0) c Unaries_6 : 0 807.48/562.79 c (9,0) c Unaries_7 : 0 807.48/562.79 c (9,0) c Unaries_total : 0 807.48/562.79 c (9,0) c Unaries_winner : 0 807.48/562.79 c (9,0) c Binaries_0 : 51 807.48/562.79 c (9,0) c Binaries_1 : 54 807.48/562.79 c (9,0) c Binaries_2 : 72 807.48/562.79 c (9,0) c Binaries_3 : 63 807.48/562.79 c (9,0) c Binaries_4 : 43 807.48/562.79 c (9,0) c Binaries_5 : 50 807.48/562.79 c (9,0) c Binaries_6 : 50 807.48/562.79 c (9,0) c Binaries_7 : 58 807.48/562.79 c (9,0) c Binaries_total : 441 807.48/562.79 c (9,0) c Binaries_winner : 58 807.48/562.79 c (9,0) c Glues_0 : 65 807.48/562.79 c (9,0) c Glues_1 : 73 807.48/562.79 c (9,0) c Glues_2 : 90 807.48/562.79 c (9,0) c Glues_3 : 83 807.48/562.79 c (9,0) c Glues_4 : 68 807.48/562.79 c (9,0) c Glues_5 : 65 807.48/562.79 c (9,0) c Glues_6 : 70 807.48/562.79 c (9,0) c Glues_7 : 66 807.48/562.79 c (9,0) c Glues_total : 580 807.48/562.79 c (9,0) c Glues_winner : 66 807.48/562.79 c (9,0) c RunningTime_0 : 4.216499 807.48/562.79 c (9,0) c RunningTime_1 : 4.064296 807.48/562.79 c (9,0) c RunningTime_2 : 4.271638 807.48/562.79 c (9,0) c RunningTime_3 : 4.206652 807.48/562.79 c (9,0) c RunningTime_4 : 4.172328 807.48/562.79 c (9,0) c RunningTime_5 : 4.172908 807.48/562.79 c (9,0) c RunningTime_6 : 4.360392 807.48/562.79 c (9,0) c RunningTime_7 : 4.039452 807.48/562.79 c (9,0) c RunningTime_total : 33.504165 807.48/562.79 c (9,0) c RunningTime_winner : 4.039452 807.48/562.79 c (9,0) c WaitingTime_0 : 0.000000 807.48/562.79 c (9,0) c WaitingTime_1 : 0.000000 807.48/562.79 c (9,0) c WaitingTime_2 : 0.000000 807.48/562.79 c (9,0) c WaitingTime_3 : 0.000000 807.48/562.79 c (9,0) c WaitingTime_4 : 0.000000 807.48/562.79 c (9,0) c WaitingTime_5 : 0.000000 807.48/562.79 c (9,0) c WaitingTime_6 : 0.000000 807.48/562.79 c (9,0) c WaitingTime_7 : 0.000000 807.48/562.79 c (9,0) c WaitingTime_total : 0.000000 807.48/562.79 c (9,0) c WaitingTime_winner : 0.000000 807.48/562.79 c (9,0) c ExchangingTime_0 : 0.000339 807.48/562.79 c (9,0) c ExchangingTime_1 : 0.000328 807.48/562.79 c (9,0) c ExchangingTime_2 : 0.000354 807.48/562.79 c (9,0) c ExchangingTime_3 : 0.000350 807.48/562.79 c (9,0) c ExchangingTime_4 : 0.000326 807.48/562.79 c (9,0) c ExchangingTime_5 : 0.001077 807.48/562.79 c (9,0) c ExchangingTime_6 : 0.000398 807.48/562.79 c (9,0) c ExchangingTime_7 : 0.000309 807.48/562.79 c (9,0) c ExchangingTime_total : 0.003481 807.48/562.79 c (9,0) c ExchangingTime_winner : 0.000309 807.48/562.79 c (9,0) c PeriodProcTime_0 : 0.000142 807.48/562.79 c (9,0) c PeriodProcTime_1 : 0.000168 807.48/562.79 c (9,0) c PeriodProcTime_2 : 0.000173 807.48/562.79 c (9,0) c PeriodProcTime_3 : 0.000213 807.48/562.79 c (9,0) c PeriodProcTime_4 : 0.000150 807.48/562.79 c (9,0) c PeriodProcTime_5 : 0.000164 807.48/562.79 c (9,0) c PeriodProcTime_6 : 0.000147 807.48/562.79 c (9,0) c PeriodProcTime_7 : 0.000140 807.48/562.79 c (9,0) c PeriodProcTime_total : 0.001297 807.48/562.79 c (9,0) c PeriodProcTime_winner : 0.000140 807.48/562.79 c (9,0) c SolvingTime_0 : 4.216980 807.48/562.79 c (9,0) c SolvingTime_1 : 4.064791 807.48/562.79 c (9,0) c SolvingTime_2 : 4.272165 807.48/562.79 c (9,0) c SolvingTime_3 : 4.207216 807.48/562.79 c (9,0) c SolvingTime_4 : 4.172804 807.48/562.79 c (9,0) c SolvingTime_5 : 4.174149 807.48/562.79 c (9,0) c SolvingTime_6 : 4.360937 807.48/562.79 c (9,0) c SolvingTime_7 : 4.039901 807.48/562.79 c (9,0) c SolvingTime_total : 33.508944 807.48/562.79 c (9,0) c SolvingTime_winner : 4.039901 807.48/562.79 c (9,0) c PropagationTime_0 : 3.888717 807.48/562.79 c (9,0) c PropagationTime_1 : 3.798705 807.48/562.79 c (9,0) c PropagationTime_2 : 3.935575 807.48/562.79 c (9,0) c PropagationTime_3 : 3.832413 807.48/562.79 c (9,0) c PropagationTime_4 : 3.836874 807.48/562.79 c (9,0) c PropagationTime_5 : 3.777410 807.48/562.79 c (9,0) c PropagationTime_6 : 4.052656 807.48/562.79 c (9,0) c PropagationTime_7 : 3.723137 807.48/562.79 c (9,0) c PropagationTime_total : 30.845486 807.48/562.79 c (9,0) c PropagationTime_winner : 3.723137 807.48/562.79 c (9,0) c AnalysisTime_0 : 0.085668 807.48/562.79 c (9,0) c AnalysisTime_1 : 0.050891 807.48/562.79 c (9,0) c AnalysisTime_2 : 0.100431 807.48/562.79 c (9,0) c AnalysisTime_3 : 0.081055 807.48/562.79 c (9,0) c AnalysisTime_4 : 0.055988 807.48/562.79 c (9,0) c AnalysisTime_5 : 0.137232 807.48/562.79 c (9,0) c AnalysisTime_6 : 0.081336 807.48/562.79 c (9,0) c AnalysisTime_7 : 0.064176 807.48/562.79 c (9,0) c AnalysisTime_total : 0.656778 807.48/562.79 c (9,0) c AnalysisTime_winner : 0.064176 807.48/562.79 c (9,0) c ReductionTime_0 : 0.000000 807.48/562.79 c (9,0) c ReductionTime_1 : 0.000000 807.48/562.79 c (9,0) c ReductionTime_2 : 0.000000 807.48/562.79 c (9,0) c ReductionTime_3 : 0.000000 807.48/562.79 c (9,0) c ReductionTime_4 : 0.000000 807.48/562.79 c (9,0) c ReductionTime_5 : 0.000000 807.48/562.79 c (9,0) c ReductionTime_6 : 0.000000 807.48/562.79 c (9,0) c ReductionTime_7 : 0.000000 807.48/562.79 c (9,0) c ReductionTime_total : 0.000000 807.48/562.79 c (9,0) c ReductionTime_winner : 0.000000 807.48/562.79 c (9,0) c SimplifyTime_0 : 0.000000 807.48/562.79 c (9,0) c SimplifyTime_1 : 0.000001 807.48/562.79 c (9,0) c SimplifyTime_2 : 0.000002 807.48/562.79 c (9,0) c SimplifyTime_3 : 0.000000 807.48/562.79 c (9,0) c SimplifyTime_4 : 0.000000 807.48/562.79 c (9,0) c SimplifyTime_5 : 0.000000 807.48/562.79 c (9,0) c SimplifyTime_6 : 0.000001 807.48/562.79 c (9,0) c SimplifyTime_7 : 0.000000 807.48/562.79 c (9,0) c SimplifyTime_total : 0.000004 807.48/562.79 c (9,0) c SimplifyTime_winner : 0.000000 807.48/562.79 c (9,0) c UsedRateTime_0 : 0.000000 807.48/562.79 c (9,0) c UsedRateTime_1 : 0.000000 807.48/562.79 c (9,0) c UsedRateTime_2 : 0.000000 807.48/562.79 c (9,0) c UsedRateTime_3 : 0.000000 807.48/562.79 c (9,0) c UsedRateTime_4 : 0.000000 807.48/562.79 c (9,0) c UsedRateTime_5 : 0.000000 807.48/562.79 c (9,0) c UsedRateTime_6 : 0.000000 807.48/562.79 c (9,0) c UsedRateTime_7 : 0.000000 807.48/562.79 c (9,0) c UsedRateTime_total : 0.000000 807.48/562.79 c (9,0) c UsedRateTime_winner : 0.000000 807.48/562.79 c (9,0) c OverlapRateTime_0 : 0.000000 807.48/562.79 c (9,0) c OverlapRateTime_1 : 0.000000 807.48/562.79 c (9,0) c OverlapRateTime_2 : 0.000000 807.48/562.79 c (9,0) c OverlapRateTime_3 : 0.000000 807.48/562.79 c (9,0) c OverlapRateTime_4 : 0.000000 807.48/562.79 c (9,0) c OverlapRateTime_5 : 0.000000 807.48/562.79 c (9,0) c OverlapRateTime_6 : 0.000000 807.48/562.79 c (9,0) c OverlapRateTime_7 : 0.000000 807.48/562.79 c (9,0) c OverlapRateTime_total : 0.000000 807.48/562.79 c (9,0) c OverlapRateTime_winner : 0.000000 807.48/562.79 c (9,0) c 807.48/562.79 c (9,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 807.48/562.79 c (9,0) c 807.48/562.79 c (9,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 807.48/562.79 c (9,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 807.48/562.79 c (9,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 807.48/562.79 c (9,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 807.48/562.79 c (9,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 807.48/562.79 c (9,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 807.48/562.79 c (9,0) c | Initial random_seed | 1250436239 | 1707959141 | 2015265230 | 958806921 | 1948948685 | 1623805156 | 1399776415 | 1887885804 | 807.48/562.79 c (9,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 807.48/562.79 c (9,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 807.48/562.79 c (9,0) c | glureduce | True | True | True | True | True | True | True | True | 807.48/562.79 c (9,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 807.48/562.79 c (9,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 807.48/562.79 c (9,0) c | luby_restart | False | False | False | False | False | False | False | False | 807.48/562.79 c (9,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 807.48/562.79 c (9,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 807.48/562.79 c (9,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 807.48/562.79 c (9,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 807.48/562.79 c (9,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 807.48/562.79 c (9,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 807.48/562.79 c (9,0) 807.48/562.79 c (9,0) s SATISFIABLE 808.36/563.14 c (9,0) SatSolver.solve End 808.36/563.14 c (9,0) Heap : 221 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB) 808.36/563.14 c (9,0) Show results Begin 808.51/563.28 c (10,0) x[0][0] = 0 808.51/563.28 c (10,0) x[0][1] = 17 808.51/563.28 c (10,0) x[0][2] = 19 808.51/563.28 c (10,0) x[0][3] = 15 808.51/563.28 c (10,0) x[0][6] = 0 808.51/563.28 c (10,0) x[0][7] = 1 808.51/563.28 c (10,0) x[0][8] = 18 808.51/563.28 c (10,0) x[0][10] = 10 808.51/563.28 c (10,0) x[0][11] = 17 808.51/563.28 c (10,0) x[0][12] = 0 808.51/563.28 c (10,0) x[0][13] = 4 808.51/563.28 c (10,0) x[0][15] = 1 808.51/563.28 c (10,0) x[0][16] = 0 808.51/563.28 c (10,0) x[0][17] = 2 808.51/563.28 c (10,0) x[0][18] = 18 808.51/563.28 c (10,0) x[1][0] = 15 808.51/563.28 c (10,0) x[1][1] = 8 808.51/563.28 c (10,0) x[1][2] = 17 808.51/563.28 c (10,0) x[1][3] = 0 808.51/563.28 c (10,0) x[1][5] = 0 808.51/563.28 c (10,0) x[1][6] = 2 808.51/563.28 c (10,0) x[1][7] = 19 808.51/563.28 c (10,0) x[1][8] = 0 808.51/563.28 c (10,0) x[1][10] = 7 808.51/563.28 c (10,0) x[1][11] = 14 808.51/563.28 c (10,0) x[1][12] = 8 808.51/563.28 c (10,0) x[1][13] = 11 808.51/563.28 c (10,0) x[1][15] = 14 808.51/563.28 c (10,0) x[1][16] = 2 808.51/563.28 c (10,0) x[1][17] = 0 808.51/563.28 c (10,0) x[1][18] = 20 808.51/563.28 c (10,0) x[2][0] = 14 808.51/563.28 c (10,0) x[2][1] = 15 808.51/563.28 c (10,0) x[2][2] = 0 808.51/563.28 c (10,0) x[2][3] = 7 808.51/563.28 c (10,0) x[2][5] = 17 808.51/563.28 c (10,0) x[2][6] = 7 808.51/563.28 c (10,0) x[2][7] = 20 808.51/563.28 c (10,0) x[2][8] = 12 808.51/563.28 c (10,0) x[2][10] = 0 808.51/563.28 c (10,0) x[2][11] = 6 808.51/563.28 c (10,0) x[2][12] = 18 808.51/563.28 c (10,0) x[2][13] = 20 808.51/563.28 c (10,0) x[2][15] = 18 808.51/563.28 c (10,0) x[2][16] = 19 808.51/563.28 c (10,0) x[2][17] = 14 808.51/563.28 c (10,0) x[2][18] = 11 808.51/563.28 c (10,0) x[3][0] = 18 808.51/563.28 c (10,0) x[3][1] = 0 808.51/563.28 c (10,0) x[3][2] = 12 808.51/563.28 c (10,0) x[3][3] = 0 808.51/563.28 c (10,0) x[3][4] = 8 808.51/563.28 c (10,0) x[3][5] = 6 808.51/563.28 c (10,0) x[3][6] = 4 808.51/563.28 c (10,0) x[3][8] = 15 808.51/563.28 c (10,0) x[3][9] = 20 808.51/563.28 c (10,0) x[3][10] = 18 808.51/563.28 c (10,0) x[3][12] = 18 808.51/563.28 c (10,0) x[3][13] = 4 808.51/563.28 c (10,0) x[3][14] = 19 808.51/563.28 c (10,0) x[3][15] = 18 808.51/563.28 c (10,0) x[4][3] = 10 808.51/563.28 c (10,0) x[4][4] = 14 808.51/563.28 c (10,0) x[4][5] = 20 808.51/563.28 c (10,0) x[4][6] = 1 808.51/563.28 c (10,0) x[4][7] = 1 808.51/563.28 c (10,0) x[4][8] = 0 808.51/563.28 c (10,0) x[4][9] = 18 808.51/563.28 c (10,0) x[4][10] = 8 808.51/563.28 c (10,0) x[4][11] = 3 808.51/563.28 c (10,0) x[4][12] = 8 808.51/563.28 c (10,0) x[4][13] = 17 808.51/563.28 c (10,0) x[4][14] = 0 808.51/563.28 c (10,0) x[4][15] = 2 808.51/563.28 c (10,0) x[4][16] = 7 808.51/563.28 c (10,0) x[4][17] = 0 808.51/563.28 c (10,0) x[4][18] = 20 808.51/563.28 c (10,0) x[5][0] = 4 808.51/563.28 c (10,0) x[5][1] = 11 808.51/563.28 c (10,0) x[5][2] = 14 808.51/563.28 c (10,0) x[5][3] = 13 808.51/563.28 c (10,0) x[5][4] = 2 808.51/563.28 c (10,0) x[5][5] = 4 808.51/563.28 c (10,0) x[5][7] = 8 808.51/563.28 c (10,0) x[5][8] = 13 808.51/563.29 c (10,0) x[5][9] = 20 808.51/563.29 c (10,0) x[5][10] = 11 808.51/563.29 c (10,0) x[5][11] = 4 808.51/563.29 c (10,0) x[5][14] = 18 808.51/563.29 c (10,0) x[5][15] = 7 808.51/563.29 c (10,0) x[5][16] = 0 808.51/563.29 c (10,0) x[5][17] = 0 808.51/563.29 c (10,0) x[5][18] = 1 808.51/563.29 c (10,0) x[6][0] = 18 808.51/563.29 c (10,0) x[6][1] = 8 808.51/563.29 c (10,0) x[6][2] = 12 808.51/563.29 c (10,0) x[6][4] = 10 808.51/563.29 c (10,0) x[6][5] = 8 808.51/563.29 c (10,0) x[6][6] = 12 808.51/563.29 c (10,0) x[6][7] = 25 808.51/563.29 c (10,0) x[6][9] = 18 808.51/563.29 c (10,0) x[6][10] = 8 808.51/563.29 c (10,0) x[6][11] = 4 808.51/563.29 c (10,0) x[6][12] = 2 808.51/563.29 c (10,0) x[6][15] = 4 808.51/563.29 c (10,0) x[6][16] = 17 808.51/563.29 c (10,0) x[6][17] = 17 808.51/563.29 c (10,0) x[6][18] = 0 808.51/563.29 c (10,0) x[7][0] = 18 808.51/563.29 c (10,0) x[7][1] = 19 808.51/563.29 c (10,0) x[7][2] = 0 808.51/563.29 c (10,0) x[7][3] = 17 808.51/563.29 c (10,0) x[7][5] = 11 808.51/563.29 c (10,0) x[7][6] = 0 808.51/563.29 c (10,0) x[7][7] = 13 808.51/563.29 c (10,0) x[7][8] = 3 808.51/563.29 c (10,0) x[7][11] = 15 808.51/563.29 c (10,0) x[7][12] = 17 808.51/563.29 c (10,0) x[7][13] = 0 808.51/563.29 c (10,0) x[7][14] = 12 808.51/563.29 c (10,0) x[7][16] = 3 808.51/563.29 c (10,0) x[7][17] = 19 808.51/563.29 c (10,0) x[7][18] = 2 808.51/563.29 c (10,0) x[8][0] = 4 808.51/563.29 c (10,0) x[8][1] = 8 808.51/563.29 c (10,0) x[8][2] = 6 808.51/563.29 c (10,0) x[8][3] = 4 808.51/563.29 c (10,0) x[8][6] = 11 808.51/563.29 c (10,0) x[8][7] = 0 808.51/563.29 c (10,0) x[8][8] = 4 808.51/563.29 c (10,0) x[8][9] = 12 808.51/563.29 c (10,0) x[8][10] = 0 808.51/563.29 c (10,0) x[8][12] = 0 808.51/563.29 c (10,0) x[8][13] = 3 808.51/563.29 c (10,0) x[8][14] = 0 808.51/563.29 c (10,0) x[8][15] = 5 808.51/563.29 c (10,0) x[9][0] = 18 808.51/563.29 c (10,0) x[9][1] = 2 808.51/563.29 c (10,0) x[9][2] = 7 808.51/563.29 c (10,0) x[9][3] = 11 808.51/563.29 c (10,0) x[9][4] = 8 808.51/563.29 c (10,0) x[9][5] = 19 808.51/563.29 c (10,0) x[9][6] = 4 808.51/563.29 c (10,0) x[9][7] = 13 808.51/563.29 c (10,0) x[9][8] = 1 808.51/563.29 c (10,0) x[9][9] = 4 808.51/563.29 c (10,0) x[9][10] = 17 808.51/563.29 c (10,0) x[9][11] = 6 808.51/563.29 c (10,0) x[9][12] = 1 808.51/563.29 c (10,0) x[9][13] = 4 808.51/563.29 c (10,0) x[9][14] = 8 808.51/563.29 c (10,0) x[9][15] = 11 808.51/563.29 c (10,0) x[9][16] = 8 808.51/563.29 c (10,0) x[9][17] = 13 808.51/563.29 c (10,0) x[9][18] = 25 808.51/563.29 c (10,0) x[10][3] = 20 808.51/563.29 c (10,0) x[10][4] = 2 808.51/563.29 c (10,0) x[10][5] = 20 808.51/563.29 c (10,0) x[10][6] = 0 808.51/563.29 c (10,0) x[10][8] = 18 808.51/563.29 c (10,0) x[10][9] = 14 808.51/563.29 c (10,0) x[10][10] = 7 808.51/563.29 c (10,0) x[10][11] = 20 808.51/563.29 c (10,0) x[10][12] = 1 808.51/563.29 c (10,0) x[10][15] = 0 808.51/563.29 c (10,0) x[10][16] = 12 808.51/563.29 c (10,0) x[10][17] = 14 808.51/563.29 c (10,0) x[10][18] = 17 808.51/563.29 c (10,0) x[11][0] = 15 808.51/563.29 c (10,0) x[11][1] = 12 808.51/563.29 c (10,0) x[11][2] = 0 808.51/563.29 c (10,0) x[11][4] = 7 808.51/563.29 c (10,0) x[11][5] = 8 808.51/563.29 c (10,0) x[11][6] = 11 808.51/563.29 c (10,0) x[11][7] = 12 808.51/563.29 c (10,0) x[11][10] = 0 808.51/563.29 c (10,0) x[11][11] = 24 808.51/563.29 c (10,0) x[11][12] = 0 808.51/563.29 c (10,0) x[11][13] = 3 808.51/563.29 c (10,0) x[11][15] = 2 808.51/563.29 c (10,0) x[11][16] = 15 808.51/563.29 c (10,0) x[11][17] = 17 808.51/563.29 c (10,0) x[11][18] = 4 808.51/563.29 c (10,0) x[12][0] = 18 808.51/563.29 c (10,0) x[12][1] = 0 808.51/563.29 c (10,0) x[12][2] = 11 808.51/563.29 c (10,0) x[12][3] = 11 808.51/563.29 c (10,0) x[12][6] = 12 808.51/563.29 c (10,0) x[12][7] = 0 808.51/563.29 c (10,0) x[12][8] = 14 808.51/563.29 c (10,0) x[12][9] = 1 808.51/563.29 c (10,0) x[12][11] = 0 808.51/563.29 c (10,0) x[12][12] = 24 808.51/563.29 c (10,0) x[12][13] = 4 808.51/563.29 c (10,0) x[12][14] = 17 808.51/563.29 c (10,0) x[12][16] = 4 808.51/563.29 c (10,0) x[12][17] = 3 808.51/563.29 c (10,0) x[12][18] = 4 808.51/563.29 c (10,0) x[13][0] = 14 808.51/563.29 c (10,0) x[13][1] = 11 808.51/563.29 c (10,0) x[13][2] = 12 808.51/563.29 c (10,0) x[13][3] = 4 808.51/563.29 c (10,0) x[13][4] = 19 808.51/563.29 c (10,0) x[13][7] = 14 808.51/563.29 c (10,0) x[13][8] = 11 808.51/563.29 c (10,0) x[13][9] = 0 808.51/563.29 c (10,0) x[13][10] = 4 808.51/563.29 c (10,0) x[13][11] = 13 808.51/563.29 c (10,0) x[13][13] = 15 808.51/563.29 c (10,0) x[13][14] = 14 808.51/563.29 c (10,0) x[13][15] = 13 808.51/563.29 c (10,0) x[13][16] = 2 808.51/563.29 c (10,0) x[13][17] = 8 808.51/563.29 c (10,0) x[13][18] = 5 808.51/563.29 c (10,0) x[14][0] = 0 808.51/563.29 c (10,0) x[14][1] = 14 808.51/563.29 c (10,0) x[14][2] = 20 808.51/563.29 c (10,0) x[14][3] = 8 808.51/563.29 c (10,0) x[14][4] = 13 808.51/563.29 c (10,0) x[14][5] = 4 808.51/563.29 c (10,0) x[14][6] = 19 808.51/563.29 c (10,0) x[14][7] = 1 808.51/563.29 c (10,0) x[14][8] = 4 808.51/563.29 c (10,0) x[14][9] = 11 808.51/563.29 c (10,0) x[14][10] = 11 808.51/563.29 c (10,0) x[14][11] = 4 808.51/563.29 c (10,0) x[14][12] = 6 808.51/563.29 c (10,0) x[14][13] = 17 808.51/563.29 c (10,0) x[14][14] = 0 808.51/563.29 c (10,0) x[14][15] = 0 808.51/563.29 c (10,0) x[15][3] = 15 808.51/563.29 c (10,0) x[15][4] = 5 808.51/563.29 c (10,0) x[15][5] = 0 808.51/563.29 c (10,0) x[15][6] = 20 808.51/563.29 c (10,0) x[15][8] = 14 808.51/563.29 c (10,0) x[15][9] = 18 808.51/563.29 c (10,0) x[15][10] = 14 808.51/563.29 c (10,0) x[15][12] = 14 808.51/563.29 c (10,0) x[15][13] = 4 808.51/563.29 c (10,0) x[15][14] = 3 808.51/563.29 c (10,0) x[15][15] = 8 808.51/563.29 c (10,0) x[15][16] = 15 808.51/563.29 c (10,0) x[15][17] = 4 808.51/563.29 c (10,0) x[15][18] = 18 808.51/563.29 c (10,0) x[16][0] = 4 808.51/563.29 c (10,0) x[16][1] = 20 808.51/563.29 c (10,0) x[16][2] = 11 808.51/563.29 c (10,0) x[16][3] = 14 808.51/563.29 c (10,0) x[16][5] = 17 808.51/563.29 c (10,0) x[16][6] = 8 808.51/563.29 c (10,0) x[16][7] = 14 808.51/563.29 c (10,0) x[16][8] = 11 808.51/563.29 c (10,0) x[16][10] = 6 808.51/563.29 c (10,0) x[16][11] = 17 808.51/563.29 c (10,0) x[16][12] = 20 808.51/563.29 c (10,0) x[16][13] = 13 808.51/563.29 c (10,0) x[16][15] = 0 808.51/563.29 c (10,0) x[16][16] = 18 808.51/563.29 c (10,0) x[16][17] = 15 808.51/563.29 c (10,0) x[16][18] = 8 808.51/563.29 c (10,0) x[17][0] = 5 808.51/563.29 c (10,0) x[17][1] = 0 808.51/563.29 c (10,0) x[17][2] = 0 808.51/563.29 c (10,0) x[17][3] = 0 808.51/563.29 c (10,0) x[17][5] = 15 808.51/563.29 c (10,0) x[17][6] = 11 808.51/563.29 c (10,0) x[17][7] = 8 808.51/563.29 c (10,0) x[17][8] = 0 808.51/563.29 c (10,0) x[17][10] = 11 808.51/563.29 c (10,0) x[17][11] = 8 808.51/563.29 c (10,0) x[17][12] = 4 808.51/563.29 c (10,0) x[17][13] = 3 808.51/563.29 c (10,0) x[17][15] = 3 808.51/563.29 c (10,0) x[17][16] = 0 808.51/563.29 c (10,0) x[17][17] = 8 808.51/563.29 c (10,0) x[17][18] = 11 808.51/563.29 c (10,0) x[18][0] = 22 808.51/563.29 c (10,0) x[18][1] = 14 808.51/563.29 c (10,0) x[18][2] = 10 808.51/563.29 c (10,0) x[18][3] = 18 808.51/563.29 c (10,0) x[18][5] = 18 808.51/563.29 c (10,0) x[18][6] = 19 808.51/563.29 c (10,0) x[18][7] = 0 808.51/563.29 c (10,0) x[18][8] = 19 808.51/563.29 c (10,0) x[18][10] = 0 808.51/563.29 c (10,0) x[18][11] = 17 808.51/563.29 c (10,0) x[18][12] = 23 808.51/563.29 c (10,0) x[18][15] = 4 808.51/563.29 c (10,0) x[18][16] = 17 808.51/563.29 c (10,0) x[18][17] = 2 808.51/563.29 c (10,0) x[18][18] = 14 808.51/563.29 s SATISFIABLE 808.71/563.30 v <instantiation> 808.71/563.30 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][6] x[0][7] x[0][8] x[0][10] x[0][11] x[0][12] x[0][13] x[0][15] x[0][16] x[0][17] x[0][18] x[1][0] x[1][1] x[1][2] x[1][3] x[1][5] x[1][6] x[1][7] x[1][8] x[1][10] x[1][11] x[1][12] x[1][13] x[1][15] x[1][16] x[1][17] x[1][18] x[2][0] x[2][1] x[2][2] x[2][3] x[2][5] x[2][6] x[2][7] x[2][8] x[2][10] x[2][11] x[2][12] x[2][13] x[2][15] x[2][16] x[2][17] x[2][18] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][8] x[3][9] x[3][10] x[3][12] x[3][13] x[3][14] x[3][15] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[6][0] x[6][1] x[6][2] x[6][4] x[6][5] x[6][6] x[6][7] x[6][9] x[6][10] x[6][11] x[6][12] x[6][15] x[6][16] x[6][17] x[6][18] x[7][0] x[7][1] x[7][2] x[7][3] x[7][5] x[7][6] x[7][7] x[7][8] x[7][11] x[7][12] x[7][13] x[7][14] x[7][16] x[7][17] x[7][18] x[8][0] x[8][1] x[8][2] x[8][3] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][12] x[8][13] x[8][14] x[8][15] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[10][3] x[10][4] x[10][5] x[10][6] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][15] x[10][16] x[10][17] x[10][18] x[11][0] x[11][1] x[11][2] x[11][4] x[11][5] x[11][6] x[11][7] x[11][10] x[11][11] x[11][12] x[11][13] x[11][15] x[11][16] x[11][17] x[11][18] x[12][0] x[12][1] x[12][2] x[12][3] x[12][6] x[12][7] x[12][8] x[12][9] x[12][11] x[12][12] x[12][13] x[12][14] x[12][16] x[12][17] x[12][18] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[15][3] x[15][4] x[15][5] x[15][6] x[15][8] x[15][9] x[15][10] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[16][0] x[16][1] x[16][2] x[16][3] x[16][5] x[16][6] x[16][7] x[16][8] x[16][10] x[16][11] x[16][12] x[16][13] x[16][15] x[16][16] x[16][17] x[16][18] x[17][0] x[17][1] x[17][2] x[17][3] x[17][5] x[17][6] x[17][7] x[17][8] x[17][10] x[17][11] x[17][12] x[17][13] x[17][15] x[17][16] x[17][17] x[17][18] x[18][0] x[18][1] x[18][2] x[18][3] x[18][5] x[18][6] x[18][7] x[18][8] x[18][10] x[18][11] x[18][12] x[18][15] x[18][16] x[18][17] x[18][18]</list> 808.71/563.30 v <values>0 17 19 15 0 1 18 10 17 0 4 1 0 2 18 15 8 17 0 0 2 19 0 7 14 8 11 14 2 0 20 14 15 0 7 17 7 20 12 0 6 18 20 18 19 14 11 18 0 12 0 8 6 4 15 20 18 18 4 19 18 10 14 20 1 1 0 18 8 3 8 17 0 2 7 0 20 4 11 14 13 2 4 8 13 20 11 4 18 7 0 0 1 18 8 12 10 8 12 25 18 8 4 2 4 17 17 0 18 19 0 17 11 0 13 3 15 17 0 12 3 19 2 4 8 6 4 11 0 4 12 0 0 3 0 5 18 2 7 11 8 19 4 13 1 4 17 6 1 4 8 11 8 13 25 20 2 20 0 18 14 7 20 1 0 12 14 17 15 12 0 7 8 11 12 0 24 0 3 2 15 17 4 18 0 11 11 12 0 14 1 0 24 4 17 4 3 4 14 11 12 4 19 14 11 0 4 13 15 14 13 2 8 5 0 14 20 8 13 4 19 1 4 11 11 4 6 17 0 0 15 5 0 20 14 18 14 14 4 3 8 15 4 18 4 20 11 14 17 8 14 11 6 17 20 13 0 18 15 8 5 0 0 0 15 11 8 0 11 8 4 3 3 0 8 11 22 14 10 18 18 19 0 19 0 17 23 4 17 2 14</values> 808.71/563.30 v </instantiation> 808.71/563.30 c (10,0) Show results End 808.71/563.30 c (10,0) Heap : 241 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB) 808.71/563.30 c (10,0) 9,10,STOP-AFTER(ALL) 808.71/563.30 c END-Prog: Tue Sep 24 23:07:33 CEST 2019
OK
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (13778 MiB free) memory of node 1: 16384 MiB (12330 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405168-1569362913/watcher-4405168-1569362913 -o /tmp/evaluation-result-4405168-1569362913/solver-4405168-1569362913 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569354839-12054 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405168-1569362913.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 Starting watchdog thread 13148, runsolver pid=13145 Current StackSize limit: 8192 KiB [startup+0.10011 s]* /proc/loadavg: 1.99 2.55 4.66 2/210 13170 /proc/meminfo: memFree=26639844/32770624 swapFree=66986400/67108860 [pid=13148] ppid=13145 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/13148/stat : 13148 (scop.sh) S 13145 13148 12027 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 512547904 115843072 349 33554432000 4194304 5098028 140720931682864 140720931680120 140160469701244 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18444288 140720931685157 140720931685484 140720931685484 140720931688397 0 /proc/13148/statm: 28282 349 296 221 0 87 0 [pid=13151] ppid=13148 vsize=27314120 memory=107648 CPUtime=0.1 cores=0-7 /proc/13151/stat : 13151 (java) S 13148 13148 12027 0 -1 1077944320 6451 0 0 0 8 2 0 0 20 0 20 0 512547905 27969658880 26912 33554432000 4194304 4196468 140730750144112 140730750126656 140602518269687 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 /proc/13151/statm: 6828530 26912 2795 1 0 6790935 0 [pid=13151/tid=13152] ppid=13148 vsize=27314120 memory=576460756329955445 CPUtime=0.09 cores=0-7 /proc/13151/task/13152/stat : 13152 (java) R 13148 13148 12027 0 -1 4202560 4568 0 0 0 7 2 0 0 20 0 20 0 512547905 27969658880 26912 33554432000 4194304 4196468 140730750144112 140602490073888 140602518281622 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 [pid=13151/tid=13153] ppid=13148 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/13151/task/13153/stat : 13153 (java) S 13148 13148 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512547907 27969658880 26912 33554432000 4194304 4196468 140730750144112 140602522511632 140602518279893 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 [pid=13151/tid=13154] ppid=13148 vsize=27314120 memory=288370924731012736 CPUtime=0 cores=0-7 /proc/13151/task/13154/stat : 13154 (java) S 13148 13148 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512547907 27969658880 26912 33554432000 4194304 4196468 140730750144112 140602336668048 140602518279893 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 [pid=13151/tid=13155] ppid=13148 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/13151/task/13155/stat : 13155 (java) S 13148 13148 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512547907 27969658880 26912 33554432000 4194304 4196468 140730750144112 140602335615504 140602518279893 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 [pid=13151/tid=13156] ppid=13148 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/13151/task/13156/stat : 13156 (java) S 13148 13148 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512547907 27969658880 26912 33554432000 4194304 4196468 140730750144112 140602334562960 140602518279893 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 [pid=13151/tid=13157] ppid=13148 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/13151/task/13157/stat : 13157 (java) S 13148 13148 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512547907 27969658880 26912 33554432000 4194304 4196468 140730750144112 140602333510416 140602518279893 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 [pid=13151/tid=13158] ppid=13148 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/13151/task/13158/stat : 13158 (java) S 13148 13148 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512547907 27969658880 26912 33554432000 4194304 4196468 140730750144112 140602332457872 140602518279893 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 [pid=13151/tid=13159] ppid=13148 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/13151/task/13159/stat : 13159 (java) S 13148 13148 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512547907 27969658880 26912 33554432000 4194304 4196468 140730750144112 140601935428624 140602518279893 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 [pid=13151/tid=13160] ppid=13148 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/13151/task/13160/stat : 13160 (java) S 13148 13148 12027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512547907 27969658880 26912 33554432000 4194304 4196468 140730750144112 140601934376080 140602518279893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 [pid=13151/tid=13161] ppid=13148 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/13151/task/13161/stat : 13161 (java) S 13148 13148 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512547909 27969658880 26912 33554432000 4194304 4196468 140730750144112 140601374730224 140602518280834 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 [pid=13151/tid=13162] ppid=13148 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/13151/task/13162/stat : 13162 (java) S 13148 13148 12027 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512547909 27969658880 26912 33554432000 4194304 4196468 140730750144112 140600452047776 140602518279893 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 [pid=13151/tid=13163] ppid=13148 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/13151/task/13163/stat : 13163 (java) S 13148 13148 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512547910 27969658880 26912 33554432000 4194304 4196468 140730750144112 140600183612400 140602518279893 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 [pid=13151/tid=13164] ppid=13148 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/13151/task/13164/stat : 13164 (java) S 13148 13148 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512547912 27969658880 26912 33554432000 4194304 4196468 140730750144112 140599809104080 140602518288283 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 [pid=13151/tid=13165] ppid=13148 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/13151/task/13165/stat : 13165 (java) S 13148 13148 12027 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 20 0 512547912 27969658880 26912 33554432000 4194304 4196468 140730750144112 140601373678064 140602518280834 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 [pid=13151/tid=13166] ppid=13148 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/13151/task/13166/stat : 13166 (java) S 13148 13148 12027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512547912 27969658880 26912 33554432000 4194304 4196468 140730750144112 140601372625520 140602518280834 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 [pid=13151/tid=13167] ppid=13148 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/13151/task/13167/stat : 13167 (java) S 13148 13148 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512547912 27969658880 26912 33554432000 4194304 4196468 140730750144112 140601371572976 140602518280834 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 [pid=13151/tid=13168] ppid=13148 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/13151/task/13168/stat : 13168 (java) R 13148 13148 12027 0 -1 4202560 257 0 0 0 0 0 0 0 20 0 20 0 512547912 27969658880 26912 33554432000 4194304 4196468 140730750144112 140601370520432 140602518291034 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 [pid=13151/tid=13169] ppid=13148 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/13151/task/13169/stat : 13169 (java) S 13148 13148 12027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512547912 27969658880 26912 33554432000 4194304 4196468 140730750144112 140599311198432 140602518279893 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 [pid=13151/tid=13170] ppid=13148 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/13151/task/13170/stat : 13170 (java) S 13148 13148 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512547913 27969658880 26912 33554432000 4194304 4196468 140730750144112 140601369467312 140602518280834 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 109044 KiB [startup+0.21013 s]* /proc/loadavg: 1.99 2.55 4.66 3/210 13170 /proc/meminfo: memFree=26622016/32770624 swapFree=66986400/67108860 [pid=13148] ppid=13145 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/13148/stat : 13148 (scop.sh) S 13145 13148 12027 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 512547904 115843072 349 33554432000 4194304 5098028 140720931682864 140720931680120 140160469701244 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18444288 140720931685157 140720931685484 140720931685484 140720931688397 0 /proc/13148/statm: 28282 349 296 221 0 87 0 [pid=13151] ppid=13148 vsize=27314120 memory=124532 CPUtime=0.24 cores=0-7 /proc/13151/stat : 13151 (java) S 13148 13148 12027 0 -1 1077944320 11476 0 0 0 20 4 0 0 20 0 20 0 512547905 27969658880 31133 33554432000 4194304 4196468 140730750144112 140730750126656 140602518269687 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 /proc/13151/statm: 6828530 31133 2936 1 0 6790935 0 [pid=13151/tid=13152] ppid=13148 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/13151/task/13152/stat : 13152 (java) R 13148 13148 12027 0 -1 4202560 9198 0 0 0 16 3 0 0 20 0 20 0 512547905 27969658880 31133 33554432000 4194304 4196468 140730750144112 140602490069072 140602496295570 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 [pid=13151/tid=13153] ppid=13148 vsize=27314120 memory=288230604707987820 CPUtime=0 cores=0-7 /proc/13151/task/13153/stat : 13153 (java) S 13148 13148 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512547907 27969658880 31133 33554432000 4194304 4196468 140730750144112 140602522511632 140602518279893 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 [pid=13151/tid=13154] ppid=13148 vsize=27314120 memory=140548579313527 CPUtime=0 cores=0-7 /proc/13151/task/13154/stat : 13154 (java) S 13148 13148 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512547907 27969658880 31133 33554432000 4194304 4196468 140730750144112 140602336668048 140602518279893 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 [pid=13151/tid=13155] ppid=13148 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/13151/task/13155/stat : 13155 (java) S 13148 13148 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512547907 27969658880 31133 33554432000 4194304 4196468 140730750144112 140602335615504 140602518279893 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 [pid=13151/tid=13156] ppid=13148 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/13151/task/13156/stat : 13156 (java) S 13148 13148 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512547907 27969658880 31133 33554432000 4194304 4196468 140730750144112 140602334562960 140602518279893 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 [pid=13151/tid=13157] ppid=13148 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/13151/task/13157/stat : 13157 (java) S 13148 13148 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512547907 27969658880 31133 33554432000 4194304 4196468 140730750144112 140602333510416 140602518279893 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 [pid=13151/tid=13158] ppid=13148 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/13151/task/13158/stat : 13158 (java) S 13148 13148 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512547907 27969658880 31133 33554432000 4194304 4196468 140730750144112 140602332457872 140602518279893 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 [pid=13151/tid=13159] ppid=13148 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/13151/task/13159/stat : 13159 (java) S 13148 13148 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512547907 27969658880 31133 33554432000 4194304 4196468 140730750144112 140601935428624 140602518279893 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 [pid=13151/tid=13160] ppid=13148 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/13151/task/13160/stat : 13160 (java) S 13148 13148 12027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512547907 27969658880 31133 33554432000 4194304 4196468 140730750144112 140601934376080 140602518279893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 [pid=13151/tid=13161] ppid=13148 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/13151/task/13161/stat : 13161 (java) S 13148 13148 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512547909 27969658880 31133 33554432000 4194304 4196468 140730750144112 140601374730224 140602518280834 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 [pid=13151/tid=13162] ppid=13148 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/13151/task/13162/stat : 13162 (java) S 13148 13148 12027 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512547909 27969658880 31133 33554432000 4194304 4196468 140730750144112 140600452047776 140602518279893 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 [pid=13151/tid=13163] ppid=13148 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/13151/task/13163/stat : 13163 (java) S 13148 13148 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512547910 27969658880 31133 33554432000 4194304 4196468 140730750144112 140600183612400 140602518279893 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 [pid=13151/tid=13164] ppid=13148 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/13151/task/13164/stat : 13164 (java) S 13148 13148 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512547912 27969658880 31133 33554432000 4194304 4196468 140730750144112 140599809104080 140602518288283 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 [pid=13151/tid=13165] ppid=13148 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/13151/task/13165/stat : 13165 (java) S 13148 13148 12027 0 -1 1077944384 406 0 0 0 0 0 0 0 20 0 20 0 512547912 27969658880 31133 33554432000 4194304 4196468 140730750144112 140601373678064 140602518280834 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 [pid=13151/tid=13166] ppid=13148 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/13151/task/13166/stat : 13166 (java) S 13148 13148 12027 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 512547912 27969658880 31133 33554432000 4194304 4196468 140730750144112 140601372625520 140602518280834 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 [pid=13151/tid=13167] ppid=13148 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/13151/task/13167/stat : 13167 (java) S 13148 13148 12027 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 512547912 27969658880 31133 33554432000 4194304 4196468 140730750144112 140601371572976 140602518280834 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 [pid=13151/tid=13168] ppid=13148 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7 /proc/13151/task/13168/stat : 13168 (java) S 13148 13148 12027 0 -1 1077944384 476 0 0 0 2 0 0 0 20 0 20 0 512547912 27969658880 31133 33554432000 4194304 4196468 140730750144112 140601370520432 140602518280834 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 [pid=13151/tid=13169] ppid=13148 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/13151/task/13169/stat : 13169 (java) S 13148 13148 12027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512547912 27969658880 31133 33554432000 4194304 4196468 140730750144112 140599311198432 140602518279893 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 [pid=13151/tid=13170] ppid=13148 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/13151/task/13170/stat : 13170 (java) S 13148 13148 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512547913 27969658880 31133 33554432000 4194304 4196468 140730750144112 140601369467312 140602518280834 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 125928 KiB [startup+0.309461 s]* /proc/loadavg: 1.99 2.55 4.66 2/210 13170 /proc/meminfo: memFree=26618604/32770624 swapFree=66986400/67108860 [pid=13148] ppid=13145 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/13148/stat : 13148 (scop.sh) S 13145 13148 12027 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 512547904 115843072 349 33554432000 4194304 5098028 140720931682864 140720931680120 140160469701244 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18444288 140720931685157 140720931685484 140720931685484 140720931688397 0 /proc/13148/statm: 28282 349 296 221 0 87 0 [pid=13151] ppid=13148 vsize=27314120 memory=128208 CPUtime=0.42 cores=0-7 /proc/13151/stat : 13151 (java) S 13148 13148 12027 0 -1 1077944320 12376 0 0 0 37 5 0 0 20 0 20 0 512547905 27969658880 32052 33554432000 4194304 4196468 140730750144112 140730750126656 140602518269687 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 /proc/13151/statm: 6828530 32052 3040 1 0 6790935 0 [pid=13151/tid=13152] ppid=13148 vsize=27314120 memory=8317482817917895235 CPUtime=0.3 cores=0-7 /proc/13151/task/13152/stat : 13152 (java) R 13148 13148 12027 0 -1 4202560 9951 0 0 0 26 4 0 0 20 0 20 0 512547905 27969658880 32052 33554432000 4194304 4196468 140730750144112 140602490099760 140602518283591 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 [pid=13151/tid=13153] ppid=13148 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/13151/task/13153/stat : 13153 (java) S 13148 13148 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512547907 27969658880 32052 33554432000 4194304 4196468 140730750144112 140602522511632 140602518279893 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 [pid=13151/tid=13154] ppid=13148 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/13151/task/13154/stat : 13154 (java) S 13148 13148 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512547907 27969658880 32052 33554432000 4194304 4196468 140730750144112 140602336668048 140602518279893 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 [pid=13151/tid=13155] ppid=13148 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/13151/task/13155/stat : 13155 (java) S 13148 13148 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512547907 27969658880 32052 33554432000 4194304 4196468 140730750144112 140602335615504 140602518279893 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 [pid=13151/tid=13156] ppid=13148 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/13151/task/13156/stat : 13156 (java) S 13148 13148 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512547907 27969658880 32052 33554432000 4194304 4196468 140730750144112 140602334562960 140602518279893 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 [pid=13151/tid=13157] ppid=13148 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/13151/task/13157/stat : 13157 (java) S 13148 13148 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512547907 27969658880 32052 33554432000 4194304 4196468 140730750144112 140602333510416 140602518279893 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 [pid=13151/tid=13158] ppid=13148 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/13151/task/13158/stat : 13158 (java) S 13148 13148 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512547907 27969658880 32052 33554432000 4194304 4196468 140730750144112 140602332457872 140602518279893 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 [pid=13151/tid=13159] ppid=13148 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/13151/task/13159/stat : 13159 (java) S 13148 13148 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512547907 27969658880 32052 33554432000 4194304 4196468 140730750144112 140601935428624 140602518279893 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 [pid=13151/tid=13160] ppid=13148 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/13151/task/13160/stat : 13160 (java) S 13148 13148 12027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512547907 27969658880 32052 33554432000 4194304 4196468 140730750144112 140601934376080 140602518279893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 [pid=13151/tid=13161] ppid=13148 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/13151/task/13161/stat : 13161 (java) S 13148 13148 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512547909 27969658880 32052 33554432000 4194304 4196468 140730750144112 140601374730224 140602518280834 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 [pid=13151/tid=13162] ppid=13148 vsize=27314120 memory=281096885575040 CPUtime=0 cores=0-7 /proc/13151/task/13162/stat : 13162 (java) S 13148 13148 12027 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512547909 27969658880 32052 33554432000 4194304 4196468 140730750144112 140600452047776 140602518279893 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 [pid=13151/tid=13163] ppid=13148 vsize=27314120 memory=281096885579648 CPUtime=0 cores=0-7 /proc/13151/task/13163/stat : 13163 (java) S 13148 13148 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512547910 27969658880 32052 33554432000 4194304 4196468 140730750144112 140600183612400 140602518279893 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 [pid=13151/tid=13164] ppid=13148 vsize=27314120 memory=281096885584256 CPUtime=0 cores=0-7 /proc/13151/task/13164/stat : 13164 (java) S 13148 13148 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512547912 27969658880 32052 33554432000 4194304 4196468 140730750144112 140599809104080 140602518288283 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 [pid=13151/tid=13165] ppid=13148 vsize=27314120 memory=281096885588864 CPUtime=0 cores=0-7 /proc/13151/task/13165/stat : 13165 (java) S 13148 13148 12027 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 20 0 512547912 27969658880 32052 33554432000 4194304 4196468 140730750144112 140601373678064 140602518280834 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 [pid=13151/tid=13166] ppid=13148 vsize=27314120 memory=281096885593472 CPUtime=0.02 cores=0-7 /proc/13151/task/13166/stat : 13166 (java) S 13148 13148 12027 0 -1 1077944384 146 0 0 0 2 0 0 0 20 0 20 0 512547912 27969658880 32052 33554432000 4194304 4196468 140730750144112 140601372625520 140602518280834 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 [pid=13151/tid=13167] ppid=13148 vsize=27314120 memory=281096885598080 CPUtime=0 cores=0-7 /proc/13151/task/13167/stat : 13167 (java) S 13148 13148 12027 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 512547912 27969658880 32052 33554432000 4194304 4196468 140730750144112 140601371572976 140602518280834 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 [pid=13151/tid=13168] ppid=13148 vsize=27314120 memory=281096885602688 CPUtime=0.07 cores=0-7 /proc/13151/task/13168/stat : 13168 (java) S 13148 13148 12027 0 -1 1077944384 497 0 0 0 7 0 0 0 20 0 20 0 512547912 27969658880 32052 33554432000 4194304 4196468 140730750144112 140601370520432 140602518280834 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 [pid=13151/tid=13169] ppid=13148 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/13151/task/13169/stat : 13169 (java) S 13148 13148 12027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512547912 27969658880 32052 33554432000 4194304 4196468 140730750144112 140599311198432 140602518279893 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 [pid=13151/tid=13170] ppid=13148 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/13151/task/13170/stat : 13170 (java) S 13148 13148 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512547913 27969658880 32052 33554432000 4194304 4196468 140730750144112 140601369467312 140602518280834 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 129604 KiB [startup+0.700884 s] /proc/loadavg: 1.99 2.55 4.66 2/210 13170 /proc/meminfo: memFree=26596028/32770624 swapFree=66986400/67108860 [pid=13148] ppid=13145 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/13148/stat : 13148 (scop.sh) S 13145 13148 12027 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 512547904 115843072 349 33554432000 4194304 5098028 140720931682864 140720931680120 140160469701244 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18444288 140720931685157 140720931685484 140720931685484 140720931688397 0 /proc/13148/statm: 28282 349 296 221 0 87 0 [pid=13151] ppid=13148 vsize=27320392 memory=167284 CPUtime=1 cores=0-7 /proc/13151/stat : 13151 (java) S 13148 13148 12027 0 -1 1077944320 19904 0 0 0 93 7 0 0 20 0 20 0 512547905 27976081408 41821 33554432000 4194304 4196468 140730750144112 140730750126656 140602518269687 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 /proc/13151/statm: 6830098 41821 3190 1 0 6791447 0 [pid=13151/tid=13152] ppid=13148 vsize=27320392 memory=4580 CPUtime=0.68 cores=0-7 /proc/13151/task/13152/stat : 13152 (java) R 13148 13148 12027 0 -1 4202560 16907 0 0 0 62 6 0 0 20 0 20 0 512547905 27976081408 41821 33554432000 4194304 4196468 140730750144112 140602490106720 140602518291613 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 [pid=13151/tid=13153] ppid=13148 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/13151/task/13153/stat : 13153 (java) S 13148 13148 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512547907 27976081408 41821 33554432000 4194304 4196468 140730750144112 140602522511632 140602518279893 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 [pid=13151/tid=13154] ppid=13148 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/13151/task/13154/stat : 13154 (java) S 13148 13148 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512547907 27976081408 41821 33554432000 4194304 4196468 140730750144112 140602336668048 140602518279893 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38158336 140730750145259 140730750145686 140730750145686 140730750148559 0 [pid=13151/tid=13155] ppid=13148 vsize=27320392 memory=1056 CPUtime=0 cores=0-7 ################ # More data... # ################ [pid=13235/tid=13236] ppid=13148 vsize=8414124 memory=14048 CPUtime=0.79 cores=0-7 /proc/13235/task/13236/stat : 13236 (java) S 13148 13148 12027 0 -1 1077944384 17461 0 0 0 74 5 0 0 20 0 24 0 512603189 8616062976 31294 33554432000 4194304 4196468 140730022393040 140677478379424 140677506549461 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13237] ppid=13148 vsize=8414124 memory=1396 CPUtime=0 cores=0-7 /proc/13235/task/13237/stat : 13237 (java) S 13148 13148 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512603190 8616062976 31294 33554432000 4194304 4196468 140730022393040 140677510781712 140677506549461 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13238] ppid=13148 vsize=8414124 memory=-8816474022549418386 CPUtime=0 cores=0-7 /proc/13235/task/13238/stat : 13238 (java) S 13148 13148 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512603190 8616062976 31294 33554432000 4194304 4196468 140730022393040 140677310950288 140677506549461 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13239] ppid=13148 vsize=8414124 memory=123032 CPUtime=0 cores=0-7 /proc/13235/task/13239/stat : 13239 (java) S 13148 13148 12027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512603190 8616062976 31294 33554432000 4194304 4196468 140730022393040 140677309897744 140677506549461 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13240] ppid=13148 vsize=8414124 memory=4015388 CPUtime=0 cores=0-7 /proc/13235/task/13240/stat : 13240 (java) S 13148 13148 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512603190 8616062976 31294 33554432000 4194304 4196468 140730022393040 140677308845200 140677506549461 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13241] ppid=13148 vsize=8414124 memory=2120 CPUtime=0 cores=0-7 /proc/13235/task/13241/stat : 13241 (java) S 13148 13148 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512603190 8616062976 31294 33554432000 4194304 4196468 140730022393040 140677307791632 140677506549461 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13242] ppid=13148 vsize=8414124 memory=532 CPUtime=0 cores=0-7 /proc/13235/task/13242/stat : 13242 (java) S 13148 13148 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512603190 8616062976 31294 33554432000 4194304 4196468 140730022393040 140677306739088 140677506549461 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13243] ppid=13148 vsize=8414124 memory=1564 CPUtime=0 cores=0-7 /proc/13235/task/13243/stat : 13243 (java) S 13148 13148 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512603190 8616062976 31294 33554432000 4194304 4196468 140730022393040 140677305686544 140677506549461 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13244] ppid=13148 vsize=8414124 memory=924 CPUtime=0 cores=0-7 /proc/13235/task/13244/stat : 13244 (java) S 13148 13148 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512603190 8616062976 31294 33554432000 4194304 4196468 140730022393040 140677304634000 140677506549461 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13245] ppid=13148 vsize=8414124 memory=1760 CPUtime=0 cores=0-7 /proc/13235/task/13245/stat : 13245 (java) S 13148 13148 12027 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 512603192 8616062976 31294 33554432000 4194304 4196468 140730022393040 140676733774320 140677506550402 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13246] ppid=13148 vsize=8414124 memory=1440 CPUtime=0 cores=0-7 /proc/13235/task/13246/stat : 13246 (java) S 13148 13148 12027 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512603192 8616062976 31294 33554432000 4194304 4196468 140730022393040 140675815302560 140677506549461 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13247] ppid=13148 vsize=8414124 memory=912 CPUtime=0 cores=0-7 /proc/13235/task/13247/stat : 13247 (java) S 13148 13148 12027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 512603192 8616062976 31294 33554432000 4194304 4196468 140730022393040 140675681080816 140677506549461 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13248] ppid=13148 vsize=8414124 memory=1984 CPUtime=0 cores=0-7 /proc/13235/task/13248/stat : 13248 (java) S 13148 13148 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512603195 8616062976 31294 33554432000 4194304 4196468 140730022393040 140675306576592 140677506557851 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13249] ppid=13148 vsize=8414124 memory=2480 CPUtime=0.09 cores=0-7 /proc/13235/task/13249/stat : 13249 (java) R 13148 13148 12027 0 -1 4202560 609 0 0 0 9 0 0 0 20 0 24 0 512603195 8616062976 31294 33554432000 4194304 4196468 140730022393040 140676732721136 140677506550402 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13250] ppid=13148 vsize=8414124 memory=1768 CPUtime=0.1 cores=0-7 /proc/13235/task/13250/stat : 13250 (java) R 13148 13148 12027 0 -1 4202560 491 0 0 0 10 0 0 0 20 0 24 0 512603195 8616062976 31294 33554432000 4194304 4196468 140730022393040 140676731658976 140677490025390 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13251] ppid=13148 vsize=8414124 memory=111632 CPUtime=0.14 cores=0-7 /proc/13235/task/13251/stat : 13251 (java) S 13148 13148 12027 0 -1 1077944384 765 0 0 0 14 0 0 0 20 0 24 0 512603195 8616062976 31294 33554432000 4194304 4196468 140730022393040 140676730616048 140677506550402 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13252] ppid=13148 vsize=8414124 memory=0 CPUtime=0.24 cores=0-7 /proc/13235/task/13252/stat : 13252 (java) R 13148 13148 12027 0 -1 4202560 1056 0 0 0 24 0 0 0 20 0 24 0 512603195 8616062976 31294 33554432000 4194304 4196468 140730022393040 140676729559248 140677485978079 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13253] ppid=13148 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/13235/task/13253/stat : 13253 (java) S 13148 13148 12027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512603195 8616062976 31294 33554432000 4194304 4196468 140730022393040 140674808670944 140677506549461 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13254] ppid=13148 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/13235/task/13254/stat : 13254 (java) S 13148 13148 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512603196 8616062976 31294 33554432000 4194304 4196468 140730022393040 140676728511408 140677506550402 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13256] ppid=13148 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/13235/task/13256/stat : 13256 (java) S 13148 13148 12027 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512603266 8616062976 31294 33554432000 4194304 4196468 140730022393040 140676822415040 140677506563865 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13258] ppid=13148 vsize=8414124 memory=0 CPUtime=0.02 cores=0-7 /proc/13235/task/13258/stat : 13258 (java) R 13148 13148 12027 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 24 0 512603266 8616062976 31294 33554432000 4194304 4196468 140730022393040 140674137576160 140677506561181 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13259] ppid=13148 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/13235/task/13259/stat : 13259 (java) S 13148 13148 12027 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 512603267 8616062976 31294 33554432000 4194304 4196468 140730022393040 140674406006192 140677506561181 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13260] ppid=13148 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/13235/task/13260/stat : 13260 (java) S 13148 13148 12027 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 512603268 8616062976 31294 33554432000 4194304 4196468 140730022393040 140673869143216 140677506549461 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 Current children cumulated CPU time: 807.65 s Current children cumulated vsize: 12884532 KiB Current children cumulated memory: 4166564 KiB [startup+563.201 s] /proc/loadavg: 1.50 1.49 3.12 4/216 13268 /proc/meminfo: memFree=23852968/32770624 swapFree=66986400/67108860 [pid=13148] ppid=13145 vsize=113128 memory=1476 CPUtime=770.44 cores=0-7 /proc/13148/stat : 13148 (scop.sh) S 13145 13148 12027 0 -1 4202496 583 261607 0 0 0 0 73374 3670 20 0 1 0 512547904 115843072 369 33554432000 4194304 5098028 140720931682864 140720931679608 140160469701244 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18444288 140720931685157 140720931685484 140720931685484 140720931688397 0 /proc/13148/statm: 28282 369 311 221 0 87 0 [pid=13235] ppid=13148 vsize=8283048 memory=246104 CPUtime=38.07 cores=0-7 /proc/13235/stat : 13235 (java) S 13148 13148 12027 0 -1 1077944320 22414 1103824 0 0 193 12 3236 366 20 0 22 0 512603188 8481841152 61526 33554432000 4194304 4196468 140730022393040 140730022375584 140677506539255 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 /proc/13235/statm: 2070762 61526 3230 1 0 2032106 0 [pid=13235/tid=13236] ppid=13148 vsize=8283048 memory=123032 CPUtime=36.87 cores=0-7 /proc/13235/task/13236/stat : 13236 (java) R 13148 13148 12027 0 -1 4202560 17597 1103824 0 0 80 5 3236 366 20 0 22 0 512603189 8481841152 61526 33554432000 4194304 4196468 140730022393040 140677478375024 140677506561181 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13237] ppid=13148 vsize=8283048 memory=4038012 CPUtime=36.02 cores=0-7 /proc/13235/task/13237/stat : 13237 (java) S 13148 13148 12027 0 -1 1077944384 1 1103824 0 0 0 0 3236 366 20 0 22 0 512603190 8481841152 61526 33554432000 4194304 4196468 140730022393040 140677510781712 140677506549461 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13238] ppid=13148 vsize=8283048 memory=3616 CPUtime=36.02 cores=0-7 /proc/13235/task/13238/stat : 13238 (java) S 13148 13148 12027 0 -1 1077944384 2 1103824 0 0 0 0 3236 366 20 0 22 0 512603190 8481841152 61526 33554432000 4194304 4196468 140730022393040 140677310950288 140677506549461 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13239] ppid=13148 vsize=8283048 memory=65460 CPUtime=36.02 cores=0-7 /proc/13235/task/13239/stat : 13239 (java) S 13148 13148 12027 0 -1 1077944384 3 1103824 0 0 0 0 3236 366 20 0 22 0 512603190 8481841152 61526 33554432000 4194304 4196468 140730022393040 140677309897744 140677506549461 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13240] ppid=13148 vsize=8283048 memory=988 CPUtime=36.02 cores=0-7 /proc/13235/task/13240/stat : 13240 (java) S 13148 13148 12027 0 -1 1077944384 1 1103824 0 0 0 0 3236 366 20 0 22 0 512603190 8481841152 61526 33554432000 4194304 4196468 140730022393040 140677308845200 140677506549461 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13241] ppid=13148 vsize=8283048 memory=1476 CPUtime=36.02 cores=0-7 /proc/13235/task/13241/stat : 13241 (java) S 13148 13148 12027 0 -1 1077944384 2 1103824 0 0 0 0 3236 366 20 0 22 0 512603190 8481841152 61526 33554432000 4194304 4196468 140730022393040 140677307791632 140677506549461 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13242] ppid=13148 vsize=8283048 memory=107076 CPUtime=36.02 cores=0-7 /proc/13235/task/13242/stat : 13242 (java) S 13148 13148 12027 0 -1 1077944384 2 1103824 0 0 0 0 3236 366 20 0 22 0 512603190 8481841152 61526 33554432000 4194304 4196468 140730022393040 140677306739088 140677506549461 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13243] ppid=13148 vsize=8283048 memory=1396 CPUtime=36.02 cores=0-7 /proc/13235/task/13243/stat : 13243 (java) S 13148 13148 12027 0 -1 1077944384 2 1103824 0 0 0 0 3236 366 20 0 22 0 512603190 8481841152 61526 33554432000 4194304 4196468 140730022393040 140677305686544 140677506549461 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13244] ppid=13148 vsize=8283048 memory=692 CPUtime=36.02 cores=0-7 /proc/13235/task/13244/stat : 13244 (java) S 13148 13148 12027 0 -1 1077944384 1 1103824 0 0 0 0 3236 366 20 0 22 0 512603190 8481841152 61526 33554432000 4194304 4196468 140730022393040 140677304634000 140677506549461 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13245] ppid=13148 vsize=8283048 memory=1056 CPUtime=36.02 cores=0-7 /proc/13235/task/13245/stat : 13245 (java) S 13148 13148 12027 0 -1 1077944384 5 1103824 0 0 0 0 3236 366 20 0 22 0 512603192 8481841152 61526 33554432000 4194304 4196468 140730022393040 140676733774320 140677506550402 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13246] ppid=13148 vsize=8283048 memory=1556 CPUtime=36.02 cores=0-7 /proc/13235/task/13246/stat : 13246 (java) S 13148 13148 12027 0 -1 1077944384 13 1103824 0 0 0 0 3236 366 20 0 22 0 512603192 8481841152 61526 33554432000 4194304 4196468 140730022393040 140675815302560 140677506549461 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13247] ppid=13148 vsize=8283048 memory=780 CPUtime=36.02 cores=0-7 /proc/13235/task/13247/stat : 13247 (java) S 13148 13148 12027 0 -1 1077944384 21 1103824 0 0 0 0 3236 366 20 0 22 0 512603192 8481841152 61526 33554432000 4194304 4196468 140730022393040 140675681080816 140677506549461 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13248] ppid=13148 vsize=8283048 memory=1396 CPUtime=36.02 cores=0-7 /proc/13235/task/13248/stat : 13248 (java) S 13148 13148 12027 0 -1 1077944384 1 1103824 0 0 0 0 3236 366 20 0 22 0 512603195 8481841152 61526 33554432000 4194304 4196468 140730022393040 140675306576592 140677506557851 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13249] ppid=13148 vsize=8283048 memory=16804488 CPUtime=36.21 cores=0-7 /proc/13235/task/13249/stat : 13249 (java) R 13148 13148 12027 0 -1 4202560 717 1103824 0 0 19 0 3236 366 20 0 22 0 512603195 8481841152 61526 33554432000 4194304 4196468 140730022393040 140676732705968 140677485800733 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13250] ppid=13148 vsize=8283048 memory=2480 CPUtime=36.18 cores=0-7 /proc/13235/task/13250/stat : 13250 (java) S 13148 13148 12027 0 -1 1077944384 626 1103824 0 0 16 0 3236 366 20 0 22 0 512603195 8481841152 61526 33554432000 4194304 4196468 140730022393040 140676731668592 140677506550402 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13251] ppid=13148 vsize=8283048 memory=1768 CPUtime=36.21 cores=0-7 /proc/13235/task/13251/stat : 13251 (java) S 13148 13148 12027 0 -1 1077944384 782 1103824 0 0 19 0 3236 366 20 0 22 0 512603195 8481841152 61526 33554432000 4194304 4196468 140730022393040 140676730616048 140677506550402 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13252] ppid=13148 vsize=8283048 memory=4486604260213485459 CPUtime=36.32 cores=0-7 /proc/13235/task/13252/stat : 13252 (java) R 13148 13148 12027 0 -1 4202560 1162 1103824 0 0 30 0 3236 366 20 0 22 0 512603195 8481841152 61526 33554432000 4194304 4196468 140730022393040 140676729563504 140677490702033 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13253] ppid=13148 vsize=8283048 memory=988 CPUtime=36.02 cores=0-7 /proc/13235/task/13253/stat : 13253 (java) S 13148 13148 12027 0 -1 1077944384 3 1103824 0 0 0 0 3236 366 20 0 22 0 512603195 8481841152 61526 33554432000 4194304 4196468 140730022393040 140674808670944 140677506549461 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13254] ppid=13148 vsize=8283048 memory=2004 CPUtime=36.02 cores=0-7 /proc/13235/task/13254/stat : 13254 (java) S 13148 13148 12027 0 -1 1077944384 2 1103824 0 0 0 0 3236 366 20 0 22 0 512603196 8481841152 61526 33554432000 4194304 4196468 140730022393040 140676728511408 140677506550402 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13256] ppid=13148 vsize=8283048 memory=1416 CPUtime=36.02 cores=0-7 /proc/13235/task/13256/stat : 13256 (java) S 13148 13148 12027 0 -1 1077944384 24 1103824 0 0 0 0 3236 366 20 0 22 0 512603266 8481841152 61526 33554432000 4194304 4196468 140730022393040 140676822414224 140677506550402 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13260] ppid=13148 vsize=8283048 memory=1416 CPUtime=36.02 cores=0-7 /proc/13235/task/13260/stat : 13260 (java) S 13148 13148 12027 0 -1 1077944384 12 1103824 0 0 0 0 3236 366 20 0 22 0 512603268 8481841152 61526 33554432000 4194304 4196468 140730022393040 140673869145008 140677506550402 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 Current children cumulated CPU time: 808.51 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 247580 KiB [startup+563.301 s] /proc/loadavg: 1.50 1.49 3.12 4/216 13268 /proc/meminfo: memFree=23852968/32770624 swapFree=66986400/67108860 [pid=13148] ppid=13145 vsize=113128 memory=1476 CPUtime=770.44 cores=0-7 /proc/13148/stat : 13148 (scop.sh) S 13145 13148 12027 0 -1 4202496 583 261607 0 0 0 0 73374 3670 20 0 1 0 512547904 115843072 369 33554432000 4194304 5098028 140720931682864 140720931679608 140160469701244 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18444288 140720931685157 140720931685484 140720931685484 140720931688397 0 /proc/13148/statm: 28282 369 311 221 0 87 0 [pid=13235] ppid=13148 vsize=8283048 memory=249512 CPUtime=38.27 cores=0-7 /proc/13235/stat : 13235 (java) S 13148 13148 12027 0 -1 1077944320 23730 1103824 0 0 212 13 3236 366 20 0 22 0 512603188 8481841152 62378 33554432000 4194304 4196468 140730022393040 140730022375584 140677506539255 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 /proc/13235/statm: 2070762 62378 3233 1 0 2032106 0 [pid=13235/tid=13236] ppid=13148 vsize=8283048 memory=1476 CPUtime=36.97 cores=0-7 /proc/13235/task/13236/stat : 13236 (java) R 13148 13148 12027 0 -1 4202560 18772 1103824 0 0 89 6 3236 366 20 0 22 0 512603189 8481841152 62378 33554432000 4194304 4196468 140730022393040 140677478376912 140677506551190 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13237] ppid=13148 vsize=8283048 memory=238864 CPUtime=36.02 cores=0-7 /proc/13235/task/13237/stat : 13237 (java) S 13148 13148 12027 0 -1 1077944384 1 1103824 0 0 0 0 3236 366 20 0 22 0 512603190 8481841152 62378 33554432000 4194304 4196468 140730022393040 140677510781712 140677506549461 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13238] ppid=13148 vsize=8283048 memory=1476 CPUtime=36.02 cores=0-7 /proc/13235/task/13238/stat : 13238 (java) S 13148 13148 12027 0 -1 1077944384 2 1103824 0 0 0 0 3236 366 20 0 22 0 512603190 8481841152 62378 33554432000 4194304 4196468 140730022393040 140677310950288 140677506549461 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13239] ppid=13148 vsize=8283048 memory=692 CPUtime=36.02 cores=0-7 /proc/13235/task/13239/stat : 13239 (java) S 13148 13148 12027 0 -1 1077944384 3 1103824 0 0 0 0 3236 366 20 0 22 0 512603190 8481841152 62378 33554432000 4194304 4196468 140730022393040 140677309897744 140677506549461 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13240] ppid=13148 vsize=8283048 memory=164 CPUtime=36.02 cores=0-7 /proc/13235/task/13240/stat : 13240 (java) S 13148 13148 12027 0 -1 1077944384 1 1103824 0 0 0 0 3236 366 20 0 22 0 512603190 8481841152 62378 33554432000 4194304 4196468 140730022393040 140677308845200 140677506549461 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13241] ppid=13148 vsize=8283048 memory=6204 CPUtime=36.02 cores=0-7 /proc/13235/task/13241/stat : 13241 (java) S 13148 13148 12027 0 -1 1077944384 2 1103824 0 0 0 0 3236 366 20 0 22 0 512603190 8481841152 62378 33554432000 4194304 4196468 140730022393040 140677307791632 140677506549461 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13242] ppid=13148 vsize=8283048 memory=7552 CPUtime=36.02 cores=0-7 /proc/13235/task/13242/stat : 13242 (java) S 13148 13148 12027 0 -1 1077944384 2 1103824 0 0 0 0 3236 366 20 0 22 0 512603190 8481841152 62378 33554432000 4194304 4196468 140730022393040 140677306739088 140677506549461 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13243] ppid=13148 vsize=8283048 memory=144216 CPUtime=36.02 cores=0-7 /proc/13235/task/13243/stat : 13243 (java) S 13148 13148 12027 0 -1 1077944384 2 1103824 0 0 0 0 3236 366 20 0 22 0 512603190 8481841152 62378 33554432000 4194304 4196468 140730022393040 140677305686544 140677506549461 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13244] ppid=13148 vsize=8283048 memory=3616 CPUtime=36.02 cores=0-7 /proc/13235/task/13244/stat : 13244 (java) S 13148 13148 12027 0 -1 1077944384 1 1103824 0 0 0 0 3236 366 20 0 22 0 512603190 8481841152 62378 33554432000 4194304 4196468 140730022393040 140677304634000 140677506549461 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13245] ppid=13148 vsize=8283048 memory=1396 CPUtime=36.02 cores=0-7 /proc/13235/task/13245/stat : 13245 (java) S 13148 13148 12027 0 -1 1077944384 5 1103824 0 0 0 0 3236 366 20 0 22 0 512603192 8481841152 62378 33554432000 4194304 4196468 140730022393040 140676733774320 140677506550402 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13246] ppid=13148 vsize=8283048 memory=19708780 CPUtime=36.02 cores=0-7 /proc/13235/task/13246/stat : 13246 (java) S 13148 13148 12027 0 -1 1077944384 13 1103824 0 0 0 0 3236 366 20 0 22 0 512603192 8481841152 62378 33554432000 4194304 4196468 140730022393040 140675815302560 140677506549461 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13247] ppid=13148 vsize=8283048 memory=33 CPUtime=36.02 cores=0-7 /proc/13235/task/13247/stat : 13247 (java) S 13148 13148 12027 0 -1 1077944384 21 1103824 0 0 0 0 3236 366 20 0 22 0 512603192 8481841152 62378 33554432000 4194304 4196468 140730022393040 140675681080816 140677506549461 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13248] ppid=13148 vsize=8283048 memory=-2245088631185882904 CPUtime=36.02 cores=0-7 /proc/13235/task/13248/stat : 13248 (java) S 13148 13148 12027 0 -1 1077944384 1 1103824 0 0 0 0 3236 366 20 0 22 0 512603195 8481841152 62378 33554432000 4194304 4196468 140730022393040 140675306576592 140677506557851 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13249] ppid=13148 vsize=8283048 memory=35148 CPUtime=36.22 cores=0-7 /proc/13235/task/13249/stat : 13249 (java) S 13148 13148 12027 0 -1 1077944384 733 1103824 0 0 20 0 3236 366 20 0 22 0 512603195 8481841152 62378 33554432000 4194304 4196468 140730022393040 140676732720896 140677506549461 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13250] ppid=13148 vsize=8283048 memory=2120 CPUtime=36.18 cores=0-7 /proc/13235/task/13250/stat : 13250 (java) S 13148 13148 12027 0 -1 1077944384 634 1103824 0 0 16 0 3236 366 20 0 22 0 512603195 8481841152 62378 33554432000 4194304 4196468 140730022393040 140676731668592 140677506550402 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13251] ppid=13148 vsize=8283048 memory=1728 CPUtime=36.23 cores=0-7 /proc/13235/task/13251/stat : 13251 (java) S 13148 13148 12027 0 -1 1077944384 796 1103824 0 0 21 0 3236 366 20 0 22 0 512603195 8481841152 62378 33554432000 4194304 4196468 140730022393040 140676730616048 140677506550402 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13252] ppid=13148 vsize=8283048 memory=692 CPUtime=36.38 cores=0-7 /proc/13235/task/13252/stat : 13252 (java) S 13148 13148 12027 0 -1 1077944384 1264 1103824 0 0 36 0 3236 366 20 0 22 0 512603195 8481841152 62378 33554432000 4194304 4196468 140730022393040 140676729559376 140677506549461 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13253] ppid=13148 vsize=8283048 memory=2832 CPUtime=36.02 cores=0-7 /proc/13235/task/13253/stat : 13253 (java) S 13148 13148 12027 0 -1 1077944384 3 1103824 0 0 0 0 3236 366 20 0 22 0 512603195 8481841152 62378 33554432000 4194304 4196468 140730022393040 140674808670944 140677506549461 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13254] ppid=13148 vsize=8283048 memory=1084 CPUtime=36.02 cores=0-7 /proc/13235/task/13254/stat : 13254 (java) S 13148 13148 12027 0 -1 1077944384 2 1103824 0 0 0 0 3236 366 20 0 22 0 512603196 8481841152 62378 33554432000 4194304 4196468 140730022393040 140676728511408 140677506550402 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13256] ppid=13148 vsize=8283048 memory=0 CPUtime=36.02 cores=0-7 /proc/13235/task/13256/stat : 13256 (java) S 13148 13148 12027 0 -1 1077944384 24 1103824 0 0 0 0 3236 366 20 0 22 0 512603266 8481841152 62378 33554432000 4194304 4196468 140730022393040 140676822414224 140677506550402 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 [pid=13235/tid=13260] ppid=13148 vsize=8283048 memory=7235138802829911143 CPUtime=36.02 cores=0-7 /proc/13235/task/13260/stat : 13260 (java) S 13148 13148 12027 0 -1 1077944384 12 1103824 0 0 0 0 3236 366 20 0 22 0 512603268 8481841152 62378 33554432000 4194304 4196468 140730022393040 140673869145008 140677506550402 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30498816 140730022401015 140730022401174 140730022401174 140730022404047 0 Current children cumulated CPU time: 808.71 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 250988 KiB Child status: 0 Real time (s): 563.339 CPU time (s): 808.783 CPU user time (s): 768.239 CPU system time (s): 40.5436 CPU usage (%): 143.57 Max. virtual memory (cumulated for all children) (KiB): 27443924 Max. memory (cumulated for all children) (KiB): 20354812 getrusage(RUSAGE_CHILDREN,...) data: user time used= 768.239 system time used= 40.5436 maximum resident set size= 20353548 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1389797 page faults= 0 swaps= 0 block input operations= 8 block output operations= 299424 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 270963 involuntary context switches= 2746 # summary of solver processes directly reported to runsolver: # pid: 13148 # total CPU time (s): 808.783 # total CPU user time (s): 768.239 # total CPU system time (s): 40.5436 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 3.62436 second user time and 5.43151 second system time The end
Begin job on node104 at 2019-09-24 22:58:09 IDJOB=4405168 IDBENCH=140069 IDSOLVER=2867 FILE ID=node104/4405168-1569362913 RUNJOBID= node104-1569354839-12054 PBS_JOBID= 21705117 Free space on /tmp= 9832 MiB SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22) BENCH NAME= XCSP17/Crossword/Crossword-m1c-ogd2008-herald/Crossword-m1c-ogd2008-h1905.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405168-1569362913/watcher-4405168-1569362913 -o /tmp/evaluation-result-4405168-1569362913/solver-4405168-1569362913 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569354839-12054 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405168-1569362913.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= b304f6c83ea7150e2963a619c79f8da9 RANDOM SEED=842227420 node104.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 26735356 kB MemAvailable: 31818324 kB Buffers: 104448 kB Cached: 5070236 kB SwapCached: 22640 kB Active: 3195516 kB Inactive: 2007048 kB Active(anon): 5208 kB Inactive(anon): 80336 kB Active(file): 3190308 kB Inactive(file): 1926712 kB Unevictable: 109708 kB Mlocked: 109708 kB SwapTotal: 67108860 kB SwapFree: 66986400 kB Dirty: 23632 kB Writeback: 0 kB AnonPages: 217840 kB Mapped: 57312 kB Shmem: 49032 kB Slab: 424376 kB SReclaimable: 394408 kB SUnreclaim: 29968 kB KernelStack: 3936 kB PageTables: 5128 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506688 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 172032 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 9812 MiB End job on node104 at 2019-09-24 23:07:33