Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP hybrid+ManyGlucose (2019-09-22) | SAT | 584.373 | 416.315 |
Name | Crossword/Crossword-m1c-ogd2008-herald/ Crossword-m1c-ogd2008-h1509.xml |
MD5SUM | 47a2430a9bda935532842a3f94086119 |
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.426879 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 225 |
Number of constraints | 82 |
Number of domains | 1 |
Minimum domain size | 26 |
Maximum domain size | 26 |
Distribution of domain sizes | [{"size":26,"count":187}] |
Minimum variable degree | 0 |
Maximum variable degree | 2 |
Distribution of variable degrees | [{"degree":0,"count":38},{"degree":2,"count":187}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 7 |
Distribution of constraint arities | [{"arity":3,"count":16},{"arity":4,"count":28},{"arity":5,"count":24},{"arity":6,"count":4},{"arity":7,"count":10}] |
Number of extensional constraints | 82 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":82}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-10087-serial-file.bin HOME/instance-4405481-1569362890.xml 0.65/0.55 0.65/0.55 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 0.65/0.55 0.65/0.57 c BEGIN-Prog: Wed Sep 25 00:07:33 CEST 2019 0.65/0.57 c PID: 10090 0.65/0.57 c IP: 172.20.3.126 0.65/0.57 c HOST: node126.alineos.net 0.65/0.58 c (0,0) Parsing Begin 2.76/1.33 c (0,0) Parsing End 2.76/1.34 c (0,0) CSP: 187 int (0 aux), 0 bool (0 aux), 82 ctr, max domain size 26 2.76/1.34 c (0,0) Heap : 450 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB) 2.76/1.34 c (0,0) Constraint Name Generate Begin 2.76/1.34 c (0,0) Ctr:HOME/instance-4405481-1569362890.xml,ExtensionSupport:Var 2.76/1.34 c (0,0) Constraint Name Generate End 2.76/1.34 c (0,0) Heap : 450 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB) 2.76/1.34 c (0,0) CSP to CSPinCNF Begin 19.18/8.90 c (8,8) translated 9 (10%) constraints 25.31/14.83 c (14,14) translated 17 (20%) constraints 33.59/20.95 c (20,20) translated 25 (30%) constraints 51.74/35.59 c (35,34) translated 33 (40%) constraints 75.23/54.99 c (54,53) translated 41 (50%) constraints 102.70/76.95 c (76,74) translated 50 (60%) constraints 199.58/147.97 c (147,141) translated 58 (70%) constraints 268.57/200.13 c (199,191) translated 66 (80%) constraints 269.77/201.30 c (200,192) translated 74 (90%) constraints 300.29/225.58 c (225,215) translated 82 (100%) constraints 305.99/231.28 c (230,221) =========================================== 309.84/232.75 c (232,222) Hybrid: #OE=367729, #LE=0 309.84/232.75 c (232,222) Hybrid 309.84/232.75 c (232,222) =========================================== 318.78/241.03 c (240,230) translated 414129 (10%) constraints 332.06/250.40 c (249,239) translated 828258 (20%) constraints 340.93/259.11 c (258,248) translated 1242387 (30%) constraints 354.24/268.37 c (267,257) translated 1656516 (40%) constraints 363.05/277.11 c (276,265) translated 2070644 (50%) constraints 376.33/286.32 c (285,274) translated 2484773 (60%) constraints 384.93/294.99 c (294,283) translated 2898902 (70%) constraints 398.92/304.30 c (303,291) translated 3313031 (80%) constraints 407.43/312.86 c (312,300) translated 3727160 (90%) constraints 421.06/322.19 c (321,309) translated 4141288 (100%) constraints 421.06/322.19 c (321,309) CSP to CSPinCNF End 421.26/322.31 c (321,309) CSP: 187 int (0 aux), 367542 bool (367542 aux), 4141288 ctr, max domain size 26 421.26/322.31 c (321,309) Heap : 6009 MiB used (max 21306 MiB), NonHeap : 26 MiB used (max 0 MiB) 421.26/322.31 c (321,309) CSPinCNF Propagation Begin 467.35/344.42 c (343,327) 0 values, 82 unsatisfiable literals, and 0 valid clauses are removed 467.35/344.42 c (343,327) CSPinCNF Propagation End 467.46/344.53 c (343,327) CSP: 187 int (0 aux), 367542 bool (367542 aux), 4141288 ctr, max domain size 26 467.46/344.53 c (343,327) Heap : 9596 MiB used (max 21503 MiB), NonHeap : 27 MiB used (max 0 MiB) 468.68/345.75 c (345,329) Hybrid: #OE=367729, #LE=0 468.68/345.75 c (345,329) Simplify CSPinCNF Begin 486.12/354.67 c (354,336) Simplify CSPinCNF End 486.22/354.78 c (354,337) CSP: 187 int (0 aux), 367542 bool (367542 aux), 4141288 ctr, max domain size 26 486.22/354.78 c (354,337) Heap : 9382 MiB used (max 21417 MiB), NonHeap : 27 MiB used (max 0 MiB) 486.22/354.78 c (354,337) Calculate Precise Domain Begin 486.22/354.78 c (354,337) 0 values are removed by re-calculation 486.22/354.78 c (354,337) Calculate Precise Domain End 486.33/354.89 c (354,337) CSP: 187 int (0 aux), 367542 bool (367542 aux), 4141288 ctr, max domain size 26 486.33/354.89 c (354,337) Heap : 9382 MiB used (max 21417 MiB), NonHeap : 27 MiB used (max 0 MiB) 486.33/354.89 c (354,337) CSPinCNF to SatSolver Begin 502.14/360.83 c (360,341) 414129 (10 %) CSP clauses are encoded (0 SAT variables, 418616 SAT clauses) 506.41/365.02 c (364,346) 828258 (20 %) CSP clauses are encoded (0 SAT variables, 832745 SAT clauses) 514.56/369.71 c (369,350) 1242387 (30 %) CSP clauses are encoded (0 SAT variables, 1246874 SAT clauses) 521.32/374.23 c (373,354) 1656516 (40 %) CSP clauses are encoded (0 SAT variables, 1661003 SAT clauses) 525.52/378.44 c (377,358) 2070644 (50 %) CSP clauses are encoded (0 SAT variables, 2075131 SAT clauses) 532.37/382.94 c (382,362) 2484773 (60 %) CSP clauses are encoded (0 SAT variables, 2489260 SAT clauses) 539.32/387.47 c (386,367) 2898902 (70 %) CSP clauses are encoded (0 SAT variables, 2903389 SAT clauses) 543.53/391.61 c (391,371) 3313031 (80 %) CSP clauses are encoded (0 SAT variables, 3317518 SAT clauses) 550.57/396.11 c (395,375) 3727160 (90 %) CSP clauses are encoded (0 SAT variables, 3731647 SAT clauses) 554.67/400.29 c (399,379) 4141288 (100 %) CSP clauses are encoded (0 SAT variables, 4145775 SAT clauses) 554.67/400.29 c (399,379) CSPinCNF to SatSolver End 554.67/400.29 c (399,379) Heap : 13945 MiB used (max 21566 MiB), NonHeap : 29 MiB used (max 0 MiB) 554.67/400.29 c (399,379) 372217 bool, 4145776 clause 554.67/400.29 c (399,379) Export Begin 554.77/400.39 c (399,379) Export to HOME/scop-10087-serial-file.bin 554.77/400.39 c (399,379) Export End 554.77/400.40 c (399,379) Export File Size: 0.04 MB 554.77/400.40 c (399,379) 0,0,321,343,354,354,399,STOP-AFTER(DIMACS) 554.77/400.40 c END-Prog: Wed Sep 25 00:14:13 CEST 2019 554.97/400.47 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-10087-serial-file.bin 555.04/400.94 c (0,0) Read Serial File Begin 555.66/401.01 c (0,0) HOME/scop-10087-serial-file.bin 555.93/401.24 c (0,0) Read Serial File End 555.93/401.25 555.93/401.25 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 555.93/401.25 (Solving Process) 555.93/401.25 555.93/401.27 c BEGIN-Prog: Wed Sep 25 00:14:13 CEST 2019 555.93/401.27 c PID: 10145 555.93/401.27 c IP: 172.20.3.126 555.93/401.27 c HOST: node126.alineos.net 555.93/401.28 c (0,0) SatSolver.solve Begin 555.93/401.28 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405481-1569362890.xml-scop-10090.cnf 556.14/401.31 c (0,0) c 556.14/401.31 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) 556.14/401.31 c (0,0) c 556.14/401.31 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 556.14/401.31 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 556.14/401.31 c (0,0) c ========================================[ Problem Statistics ]=========================================== 556.14/401.31 c (0,0) c | | 557.75/402.88 c (2,0) c | Number of variables: 372217 | 557.75/402.88 c (2,0) c | Number of clauses: 4145776 | 557.75/402.88 c (2,0) c | Parse time: 1.43 s | 557.75/402.88 c (2,0) c | | 567.35/412.43 c (11,0) c | Simplification time: 9.45 s | 567.35/412.43 c (11,0) c | | 567.35/412.43 c (11,0) c | Generating clones | 568.55/413.63 c (12,0) c | all clones generated. Memory = 2393.82Mb. | 568.55/413.63 c (12,0) c ========================================================================================================| 568.55/413.63 c (12,0) c 568.55/413.63 c (12,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 568.55/413.63 c (12,0) c 568.55/413.63 c (12,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 568.55/413.63 c (12,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 568.55/413.63 c (12,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 568.55/413.63 c (12,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 568.55/413.63 c (12,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 568.55/413.63 c (12,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 568.55/413.63 c (12,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 568.55/413.63 c (12,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 568.55/413.63 c (12,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 568.55/413.63 c (12,0) c | glureduce | True | True | True | True | True | True | True | True | 568.55/413.63 c (12,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 568.55/413.63 c (12,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 568.55/413.63 c (12,0) c | luby_restart | False | False | False | False | False | False | False | False | 568.55/413.63 c (12,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 568.55/413.63 c (12,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 568.55/413.63 c (12,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 568.55/413.63 c (12,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 568.55/413.63 c (12,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 568.55/413.63 c (12,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 583.22/415.88 c (15,0) c 583.22/415.88 c (15,0) c real time : 14.5754 s 583.22/415.88 c (15,0) c cpu time : 23.3854 s 583.22/415.88 c (15,0) c 583.22/415.88 c (15,0) c 583.22/415.88 c (15,0) c 583.22/415.88 c (15,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 583.22/415.88 c (15,0) c 583.22/415.88 c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 583.22/415.88 c (15,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 583.22/415.88 c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 583.22/415.88 c (15,0) c | Conflicts | 4821 | 541 | 603 | 610 | 546 | 646 | 500 | 708 | 667 | 583.22/415.88 c (15,0) c | Decisions | 276386 | 37233 | 34127 | 38690 | 31730 | 34398 | 28808 | 41116 | 30284 | 583.22/415.88 c (15,0) c | Propagations | 23344987 | 2741180 | 2687781 | 3164519 | 2479945 | 2733235 | 2946326 | 3228118 | 3363883 | 583.22/415.88 c (15,0) c | ReduceDBs | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 583.22/415.88 c (15,0) c | SimpDBs | 8 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 583.22/415.88 c (15,0) c | Restarts | 19 | 1 | 3 | 3 | 2 | 3 | 4 | 2 | 1 | 583.22/415.88 c (15,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 583.22/415.88 c (15,0) c | PropBinClauses| 16743973 | 2037144 | 1811100 | 2380308 | 1936525 | 1973504 | 1975292 | 2290895 | 2339205 | 583.22/415.88 c (15,0) c | PropPreBlocker| 166649940 | 20981498 | 19595682 | 22529717 | 19774142 | 18929283 | 19076775 | 23083854 | 22678989 | 583.22/415.88 c (15,0) c | PropNotBlocker| 61635896 | 7053033 | 7556311 | 8678847 | 7238212 | 7723871 | 7104185 | 7914353 | 8367084 | 583.22/415.88 c (15,0) c | LitFullScans | 307391937 | 37116430 | 36051317 | 42008787 | 36066536 | 36065545 | 36042688 | 42028198 | 42012436 | 583.22/415.88 c (15,0) c | LitScanFracts | 53713 | 4716 | 1181 | 1575 | 7442 | 11706 | 12292 | 2626 | 12175 | 583.22/415.88 c (15,0) c | DecisionLevel0| 19 | 1 | 3 | 3 | 2 | 3 | 4 | 2 | 1 | 583.22/415.88 c (15,0) c | Periods | 51 | 6 | 6 | 7 | 6 | 6 | 6 | 7 | 7 | 583.22/415.88 c (15,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 583.22/415.88 c (15,0) c | Avg_Trail | | 212588 | 195031 | 173350 | 143562 | 107829 | 135193 | 187879 | 139951 | 583.22/415.88 c (15,0) c | Avg_DL | | 4498 | 1810 | 1267 | 2063 | 1195 | 1932 | 1254 | 1539 | 583.22/415.88 c (15,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 583.22/415.88 c (15,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 583.22/415.88 c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 583.22/415.88 c (15,0) c | Exported | 283 | 33 | 33 | 32 | 41 | 35 | 28 | 42 | 39 | 583.22/415.88 c (15,0) c | Imported | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 583.22/415.88 c (15,0) c | Good | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 583.22/415.88 c (15,0) c | Purge | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 583.22/415.88 c (15,0) c | Promoted | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 583.22/415.88 c (15,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 583.22/415.88 c (15,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 583.22/415.88 c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 583.22/415.88 c (15,0) c | Unaries | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 583.22/415.88 c (15,0) c | Binaries | | 30 | 26 | 26 | 34 | 22 | 25 | 27 | 33 | 583.22/415.88 c (15,0) c | Glues | | 33 | 33 | 32 | 41 | 35 | 28 | 42 | 39 | 583.22/415.88 c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 583.22/415.88 c (15,0) c | Orig_Seen | 0 % | 14991 | 14404 | 14929 | 13262 | 14543 | 17331 | 17400 | 22452 | 583.22/415.88 c (15,0) c | Diff Orig seen| | X | - 587 | - 62 | - 1729 | - 448 | 2340 | 2409 | 7461 | 583.22/415.88 c (15,0) c | Hamming | 7 % | X | 32800 | 27879 | 30520 | 25321 | 26541 | 32642 | 28817 | 583.22/415.88 c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 583.22/415.88 c (15,0) c | RunningTime | | 2.1 100%| 2.1 100%| 2.2 100%| 2.1 100%| 2.2 100%| 2.2 100%| 2.1 100%| 2.1 100%| 583.22/415.88 c (15,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%| 583.22/415.88 c (15,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%| 583.22/415.88 c (15,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%| 583.22/415.88 c (15,0) c | SolvingTime | | 2.1 | 2.2 | 2.2 | 2.1 | 2.2 | 2.2 | 2.1 | 2.1 | 583.22/415.88 c (15,0) c | PropagationTim| | 2.0 94%| 2.0 95%| 2.1 95%| 2.0 94%| 2.1 95%| 2.0 93%| 2.0 93%| 2.0 94%| 583.22/415.88 c (15,0) c | AnalysisTime | | 0.0 1%| 0.0 1%| 0.0 2%| 0.0 2%| 0.0 2%| 0.0 2%| 0.0 2%| 0.0 2%| 583.22/415.88 c (15,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%| 583.22/415.88 c (15,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%| 583.22/415.88 c (15,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%| 583.22/415.88 c (15,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%| 583.22/415.88 c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 583.22/415.88 c (15,0) c 583.22/415.88 c (15,0) c 583.22/415.88 c (15,0) c Threads : 8 583.22/415.88 c (15,0) c Winner : 0 583.22/415.88 c (15,0) c Conflicts_0 : 541 583.22/415.88 c (15,0) c Conflicts_1 : 603 583.22/415.88 c (15,0) c Conflicts_2 : 610 583.22/415.88 c (15,0) c Conflicts_3 : 546 583.22/415.88 c (15,0) c Conflicts_4 : 646 583.22/415.88 c (15,0) c Conflicts_5 : 500 583.22/415.88 c (15,0) c Conflicts_6 : 708 583.22/415.88 c (15,0) c Conflicts_7 : 667 583.22/415.88 c (15,0) c Conflicts_total : 4821 583.22/415.88 c (15,0) c Conflicts_winner : 541 583.22/415.88 c (15,0) c Decisions_0 : 37233 583.22/415.88 c (15,0) c Decisions_1 : 34127 583.22/415.88 c (15,0) c Decisions_2 : 38690 583.22/415.88 c (15,0) c Decisions_3 : 31730 583.22/415.88 c (15,0) c Decisions_4 : 34398 583.22/415.88 c (15,0) c Decisions_5 : 28808 583.22/415.88 c (15,0) c Decisions_6 : 41116 583.22/415.88 c (15,0) c Decisions_7 : 30284 583.22/415.88 c (15,0) c Decisions_total : 276386 583.22/415.88 c (15,0) c Decisions_winner : 37233 583.22/415.88 c (15,0) c Propagations_0 : 2741180 583.22/415.88 c (15,0) c Propagations_1 : 2687781 583.22/415.88 c (15,0) c Propagations_2 : 3164519 583.22/415.88 c (15,0) c Propagations_3 : 2479945 583.22/415.88 c (15,0) c Propagations_4 : 2733235 583.22/415.88 c (15,0) c Propagations_5 : 2946326 583.22/415.88 c (15,0) c Propagations_6 : 3228118 583.22/415.88 c (15,0) c Propagations_7 : 3363883 583.22/415.88 c (15,0) c Propagations_total : 23344987 583.22/415.88 c (15,0) c Propagations_winner : 2741180 583.22/415.88 c (15,0) c ReduceDBs_0 : 0 583.22/415.88 c (15,0) c ReduceDBs_1 : 0 583.22/415.88 c (15,0) c ReduceDBs_2 : 0 583.22/415.88 c (15,0) c ReduceDBs_3 : 0 583.22/415.88 c (15,0) c ReduceDBs_4 : 0 583.22/415.88 c (15,0) c ReduceDBs_5 : 0 583.22/415.88 c (15,0) c ReduceDBs_6 : 0 583.22/415.88 c (15,0) c ReduceDBs_7 : 0 583.22/415.88 c (15,0) c ReduceDBs_total : 0 583.22/415.88 c (15,0) c ReduceDBs_winner : 0 583.22/415.88 c (15,0) c SimpDBs_0 : 1 583.22/415.88 c (15,0) c SimpDBs_1 : 1 583.22/415.88 c (15,0) c SimpDBs_2 : 1 583.22/415.88 c (15,0) c SimpDBs_3 : 1 583.22/415.88 c (15,0) c SimpDBs_4 : 1 583.22/415.88 c (15,0) c SimpDBs_5 : 1 583.22/415.88 c (15,0) c SimpDBs_6 : 1 583.22/415.88 c (15,0) c SimpDBs_7 : 1 583.22/415.88 c (15,0) c SimpDBs_total : 8 583.22/415.88 c (15,0) c SimpDBs_winner : 1 583.22/415.88 c (15,0) c Restarts_0 : 1 583.22/415.88 c (15,0) c Restarts_1 : 3 583.22/415.88 c (15,0) c Restarts_2 : 3 583.22/415.88 c (15,0) c Restarts_3 : 2 583.22/415.88 c (15,0) c Restarts_4 : 3 583.22/415.88 c (15,0) c Restarts_5 : 4 583.22/415.88 c (15,0) c Restarts_6 : 2 583.22/415.88 c (15,0) c Restarts_7 : 1 583.22/415.88 c (15,0) c Restarts_total : 19 583.22/415.88 c (15,0) c Restarts_winner : 1 583.22/415.88 c (15,0) c ForcedImports_0 : 0 583.22/415.88 c (15,0) c ForcedImports_1 : 0 583.22/415.88 c (15,0) c ForcedImports_2 : 0 583.22/415.88 c (15,0) c ForcedImports_3 : 0 583.22/415.88 c (15,0) c ForcedImports_4 : 0 583.22/415.88 c (15,0) c ForcedImports_5 : 0 583.22/415.88 c (15,0) c ForcedImports_6 : 0 583.22/415.88 c (15,0) c ForcedImports_7 : 0 583.22/415.88 c (15,0) c ForcedImports_total : 0 583.22/415.88 c (15,0) c ForcedImports_winner : 0 583.22/415.88 c (15,0) c PropsBinClauses_0 : 2037144 583.22/415.88 c (15,0) c PropsBinClauses_1 : 1811100 583.22/415.88 c (15,0) c PropsBinClauses_2 : 2380308 583.22/415.88 c (15,0) c PropsBinClauses_3 : 1936525 583.22/415.88 c (15,0) c PropsBinClauses_4 : 1973504 583.22/415.88 c (15,0) c PropsBinClauses_5 : 1975292 583.22/415.88 c (15,0) c PropsBinClauses_6 : 2290895 583.22/415.88 c (15,0) c PropsBinClauses_7 : 2339205 583.22/415.88 c (15,0) c PropsBinClauses_total : 16743973 583.22/415.88 c (15,0) c PropsBinClauses_winner : 2037144 583.22/415.88 c (15,0) c PropsPreBlocker_0 : 20981498 583.22/415.88 c (15,0) c PropsPreBlocker_1 : 19595682 583.22/415.88 c (15,0) c PropsPreBlocker_2 : 22529717 583.22/415.88 c (15,0) c PropsPreBlocker_3 : 19774142 583.22/415.88 c (15,0) c PropsPreBlocker_4 : 18929283 583.22/415.88 c (15,0) c PropsPreBlocker_5 : 19076775 583.22/415.88 c (15,0) c PropsPreBlocker_6 : 23083854 583.22/415.88 c (15,0) c PropsPreBlocker_7 : 22678989 583.22/415.88 c (15,0) c PropsPreBlocker_total : 166649940 583.22/415.88 c (15,0) c PropsPreBlocker_winner : 20981498 583.22/415.88 c (15,0) c PropsNotBlocker_0 : 7053033 583.22/415.88 c (15,0) c PropsNotBlocker_1 : 7556311 583.22/415.88 c (15,0) c PropsNotBlocker_2 : 8678847 583.22/415.88 c (15,0) c PropsNotBlocker_3 : 7238212 583.22/415.88 c (15,0) c PropsNotBlocker_4 : 7723871 583.22/415.88 c (15,0) c PropsNotBlocker_5 : 7104185 583.22/415.88 c (15,0) c PropsNotBlocker_6 : 7914353 583.22/415.88 c (15,0) c PropsNotBlocker_7 : 8367084 583.22/415.88 c (15,0) c PropsNotBlocker_total : 61635896 583.22/415.88 c (15,0) c PropsNotBlocker_winner : 7053033 583.22/415.88 c (15,0) c PropsLitFullScans_0 : 37116430 583.22/415.88 c (15,0) c PropsLitFullScans_1 : 36051317 583.22/415.88 c (15,0) c PropsLitFullScans_2 : 42008787 583.22/415.88 c (15,0) c PropsLitFullScans_3 : 36066536 583.22/415.88 c (15,0) c PropsLitFullScans_4 : 36065545 583.22/415.88 c (15,0) c PropsLitFullScans_5 : 36042688 583.22/415.88 c (15,0) c PropsLitFullScans_6 : 42028198 583.22/415.88 c (15,0) c PropsLitFullScans_7 : 42012436 583.22/415.88 c (15,0) c PropsLitFullScans_total : 307391937 583.22/415.89 c (15,0) c PropsLitFullScans_winner : 37116430 583.22/415.89 c (15,0) c LitScanFractions_0 : 4716 583.22/415.89 c (15,0) c LitScanFractions_1 : 1181 583.22/415.89 c (15,0) c LitScanFractions_2 : 1575 583.22/415.89 c (15,0) c LitScanFractions_3 : 7442 583.22/415.89 c (15,0) c LitScanFractions_4 : 11706 583.22/415.89 c (15,0) c LitScanFractions_5 : 12292 583.22/415.89 c (15,0) c LitScanFractions_6 : 2626 583.22/415.89 c (15,0) c LitScanFractions_7 : 12175 583.22/415.89 c (15,0) c LitScanFractions_total : 53713 583.22/415.89 c (15,0) c LitScanFractions_winner : 4716 583.22/415.89 c (15,0) c DecisionLevel0_0 : 1 583.22/415.89 c (15,0) c DecisionLevel0_1 : 3 583.22/415.89 c (15,0) c DecisionLevel0_2 : 3 583.22/415.89 c (15,0) c DecisionLevel0_3 : 2 583.22/415.89 c (15,0) c DecisionLevel0_4 : 3 583.22/415.89 c (15,0) c DecisionLevel0_5 : 4 583.22/415.89 c (15,0) c DecisionLevel0_6 : 2 583.22/415.89 c (15,0) c DecisionLevel0_7 : 1 583.22/415.89 c (15,0) c DecisionLevel0_total : 19 583.22/415.89 c (15,0) c DecisionLevel0_winner : 1 583.22/415.89 c (15,0) c Periods_0 : 6 583.22/415.89 c (15,0) c Periods_1 : 6 583.22/415.89 c (15,0) c Periods_2 : 7 583.22/415.89 c (15,0) c Periods_3 : 6 583.22/415.89 c (15,0) c Periods_4 : 6 583.22/415.89 c (15,0) c Periods_5 : 6 583.22/415.89 c (15,0) c Periods_6 : 7 583.22/415.89 c (15,0) c Periods_7 : 7 583.22/415.89 c (15,0) c Periods_total : 51 583.22/415.89 c (15,0) c Periods_winner : 6 583.22/415.89 c (15,0) c Margin_0 : 20 583.22/415.89 c (15,0) c Margin_1 : 20 583.22/415.89 c (15,0) c Margin_2 : 20 583.22/415.89 c (15,0) c Margin_3 : 20 583.22/415.89 c (15,0) c Margin_4 : 20 583.22/415.89 c (15,0) c Margin_5 : 20 583.22/415.89 c (15,0) c Margin_6 : 20 583.22/415.89 c (15,0) c Margin_7 : 20 583.22/415.89 c (15,0) c Margin_total : 160 583.22/415.89 c (15,0) c Margin_winner : 20 583.22/415.89 c (15,0) c Exported_0 : 33 583.22/415.89 c (15,0) c Exported_1 : 33 583.22/415.89 c (15,0) c Exported_2 : 32 583.22/415.89 c (15,0) c Exported_3 : 41 583.22/415.89 c (15,0) c Exported_4 : 35 583.22/415.89 c (15,0) c Exported_5 : 28 583.22/415.89 c (15,0) c Exported_6 : 42 583.22/415.89 c (15,0) c Exported_7 : 39 583.22/415.89 c (15,0) c Exported_total : 283 583.22/415.89 c (15,0) c Exported_winner : 33 583.22/415.89 c (15,0) c Imported_0 : 0 583.22/415.89 c (15,0) c Imported_1 : 0 583.22/415.89 c (15,0) c Imported_2 : 0 583.22/415.89 c (15,0) c Imported_3 : 0 583.22/415.89 c (15,0) c Imported_4 : 0 583.22/415.89 c (15,0) c Imported_5 : 0 583.22/415.89 c (15,0) c Imported_6 : 0 583.22/415.89 c (15,0) c Imported_7 : 0 583.22/415.89 c (15,0) c Imported_total : 0 583.22/415.89 c (15,0) c Imported_winner : 0 583.22/415.89 c (15,0) c Good_0 : 0 583.22/415.89 c (15,0) c Good_1 : 0 583.22/415.89 c (15,0) c Good_2 : 0 583.22/415.89 c (15,0) c Good_3 : 0 583.22/415.89 c (15,0) c Good_4 : 0 583.22/415.89 c (15,0) c Good_5 : 0 583.22/415.89 c (15,0) c Good_6 : 0 583.22/415.89 c (15,0) c Good_7 : 0 583.22/415.89 c (15,0) c Good_total : 0 583.22/415.89 c (15,0) c Good_winner : 0 583.22/415.89 c (15,0) c Purge_0 : 0 583.22/415.89 c (15,0) c Purge_1 : 0 583.22/415.89 c (15,0) c Purge_2 : 0 583.22/415.89 c (15,0) c Purge_3 : 0 583.22/415.89 c (15,0) c Purge_4 : 0 583.22/415.89 c (15,0) c Purge_5 : 0 583.22/415.89 c (15,0) c Purge_6 : 0 583.22/415.89 c (15,0) c Purge_7 : 0 583.22/415.89 c (15,0) c Purge_total : 0 583.22/415.89 c (15,0) c Purge_winner : 0 583.22/415.89 c (15,0) c Promoted_0 : 0 583.22/415.89 c (15,0) c Promoted_1 : 0 583.22/415.89 c (15,0) c Promoted_2 : 0 583.22/415.89 c (15,0) c Promoted_3 : 0 583.22/415.89 c (15,0) c Promoted_4 : 0 583.22/415.89 c (15,0) c Promoted_5 : 0 583.22/415.89 c (15,0) c Promoted_6 : 0 583.22/415.89 c (15,0) c Promoted_7 : 0 583.22/415.89 c (15,0) c Promoted_total : 0 583.22/415.89 c (15,0) c Promoted_winner : 0 583.22/415.89 c (15,0) c Remove_Imp_0 : 0 583.22/415.89 c (15,0) c Remove_Imp_1 : 0 583.22/415.89 c (15,0) c Remove_Imp_2 : 0 583.22/415.89 c (15,0) c Remove_Imp_3 : 0 583.22/415.89 c (15,0) c Remove_Imp_4 : 0 583.22/415.89 c (15,0) c Remove_Imp_5 : 0 583.22/415.89 c (15,0) c Remove_Imp_6 : 0 583.22/415.89 c (15,0) c Remove_Imp_7 : 0 583.22/415.89 c (15,0) c Remove_Imp_total : 0 583.22/415.89 c (15,0) c Remove_Imp_winner : 0 583.22/415.89 c (15,0) c Blocked_Reuse_0 : 0 583.22/415.89 c (15,0) c Blocked_Reuse_1 : 0 583.22/415.89 c (15,0) c Blocked_Reuse_2 : 0 583.22/415.89 c (15,0) c Blocked_Reuse_3 : 0 583.22/415.89 c (15,0) c Blocked_Reuse_4 : 0 583.22/415.89 c (15,0) c Blocked_Reuse_5 : 0 583.22/415.89 c (15,0) c Blocked_Reuse_6 : 0 583.22/415.89 c (15,0) c Blocked_Reuse_7 : 0 583.22/415.89 c (15,0) c Blocked_Reuse_total : 0 583.22/415.89 c (15,0) c Blocked_Reuse_winner : 0 583.22/415.89 c (15,0) c Unaries_0 : 0 583.22/415.89 c (15,0) c Unaries_1 : 0 583.22/415.89 c (15,0) c Unaries_2 : 0 583.22/415.89 c (15,0) c Unaries_3 : 0 583.22/415.89 c (15,0) c Unaries_4 : 0 583.22/415.89 c (15,0) c Unaries_5 : 0 583.22/415.89 c (15,0) c Unaries_6 : 0 583.22/415.89 c (15,0) c Unaries_7 : 0 583.22/415.89 c (15,0) c Unaries_total : 0 583.22/415.89 c (15,0) c Unaries_winner : 0 583.22/415.89 c (15,0) c Binaries_0 : 30 583.22/415.89 c (15,0) c Binaries_1 : 26 583.22/415.89 c (15,0) c Binaries_2 : 26 583.22/415.89 c (15,0) c Binaries_3 : 34 583.22/415.89 c (15,0) c Binaries_4 : 22 583.22/415.89 c (15,0) c Binaries_5 : 25 583.22/415.89 c (15,0) c Binaries_6 : 27 583.22/415.89 c (15,0) c Binaries_7 : 33 583.22/415.89 c (15,0) c Binaries_total : 223 583.22/415.89 c (15,0) c Binaries_winner : 30 583.22/415.89 c (15,0) c Glues_0 : 33 583.22/415.89 c (15,0) c Glues_1 : 33 583.22/415.89 c (15,0) c Glues_2 : 32 583.22/415.89 c (15,0) c Glues_3 : 41 583.22/415.89 c (15,0) c Glues_4 : 35 583.22/415.89 c (15,0) c Glues_5 : 28 583.22/415.89 c (15,0) c Glues_6 : 42 583.22/415.89 c (15,0) c Glues_7 : 39 583.22/415.89 c (15,0) c Glues_total : 283 583.22/415.89 c (15,0) c Glues_winner : 33 583.22/415.89 c (15,0) c RunningTime_0 : 2.100723 583.22/415.89 c (15,0) c RunningTime_1 : 2.149845 583.22/415.89 c (15,0) c RunningTime_2 : 2.201997 583.22/415.89 c (15,0) c RunningTime_3 : 2.144811 583.22/415.89 c (15,0) c RunningTime_4 : 2.179052 583.22/415.89 c (15,0) c RunningTime_5 : 2.176101 583.22/415.89 c (15,0) c RunningTime_6 : 2.100528 583.22/415.89 c (15,0) c RunningTime_7 : 2.105075 583.22/415.89 c (15,0) c RunningTime_total : 17.158132 583.22/415.89 c (15,0) c RunningTime_winner : 2.100723 583.22/415.89 c (15,0) c WaitingTime_0 : 0.000000 583.22/415.89 c (15,0) c WaitingTime_1 : 0.000000 583.22/415.89 c (15,0) c WaitingTime_2 : 0.000000 583.22/415.89 c (15,0) c WaitingTime_3 : 0.000000 583.22/415.89 c (15,0) c WaitingTime_4 : 0.000000 583.22/415.89 c (15,0) c WaitingTime_5 : 0.000000 583.22/415.89 c (15,0) c WaitingTime_6 : 0.000000 583.22/415.89 c (15,0) c WaitingTime_7 : 0.000000 583.22/415.89 c (15,0) c WaitingTime_total : 0.000000 583.22/415.89 c (15,0) c WaitingTime_winner : 0.000000 583.22/415.89 c (15,0) c ExchangingTime_0 : 0.000169 583.22/415.89 c (15,0) c ExchangingTime_1 : 0.000162 583.22/415.89 c (15,0) c ExchangingTime_2 : 0.000148 583.22/415.89 c (15,0) c ExchangingTime_3 : 0.000205 583.22/415.89 c (15,0) c ExchangingTime_4 : 0.000171 583.22/415.89 c (15,0) c ExchangingTime_5 : 0.000151 583.22/415.89 c (15,0) c ExchangingTime_6 : 0.000160 583.22/415.89 c (15,0) c ExchangingTime_7 : 0.000169 583.22/415.89 c (15,0) c ExchangingTime_total : 0.001336 583.22/415.89 c (15,0) c ExchangingTime_winner : 0.000169 583.22/415.89 c (15,0) c PeriodProcTime_0 : 0.000088 583.22/415.89 c (15,0) c PeriodProcTime_1 : 0.000080 583.22/415.89 c (15,0) c PeriodProcTime_2 : 0.000067 583.22/415.89 c (15,0) c PeriodProcTime_3 : 0.000064 583.22/415.89 c (15,0) c PeriodProcTime_4 : 0.000060 583.22/415.89 c (15,0) c PeriodProcTime_5 : 0.000092 583.22/415.89 c (15,0) c PeriodProcTime_6 : 0.000074 583.22/415.89 c (15,0) c PeriodProcTime_7 : 0.000075 583.22/415.89 c (15,0) c PeriodProcTime_total : 0.000600 583.22/415.89 c (15,0) c PeriodProcTime_winner : 0.000088 583.22/415.89 c (15,0) c SolvingTime_0 : 2.100980 583.22/415.89 c (15,0) c SolvingTime_1 : 2.150087 583.22/415.89 c (15,0) c SolvingTime_2 : 2.202213 583.22/415.89 c (15,0) c SolvingTime_3 : 2.145080 583.22/415.89 c (15,0) c SolvingTime_4 : 2.179283 583.22/415.89 c (15,0) c SolvingTime_5 : 2.176344 583.22/415.89 c (15,0) c SolvingTime_6 : 2.100763 583.22/415.89 c (15,0) c SolvingTime_7 : 2.105318 583.22/415.89 c (15,0) c SolvingTime_total : 17.160068 583.22/415.89 c (15,0) c SolvingTime_winner : 2.100980 583.22/415.89 c (15,0) c PropagationTime_0 : 1.979702 583.22/415.89 c (15,0) c PropagationTime_1 : 2.041605 583.22/415.89 c (15,0) c PropagationTime_2 : 2.088464 583.22/415.89 c (15,0) c PropagationTime_3 : 2.021842 583.22/415.89 c (15,0) c PropagationTime_4 : 2.063641 583.22/415.89 c (15,0) c PropagationTime_5 : 2.026489 583.22/415.89 c (15,0) c PropagationTime_6 : 1.951927 583.22/415.89 c (15,0) c PropagationTime_7 : 1.987633 583.22/415.89 c (15,0) c PropagationTime_total : 16.161301 583.22/415.89 c (15,0) c PropagationTime_winner : 1.979702 583.22/415.89 c (15,0) c AnalysisTime_0 : 0.027876 583.22/415.89 c (15,0) c AnalysisTime_1 : 0.030855 583.22/415.89 c (15,0) c AnalysisTime_2 : 0.035757 583.22/415.89 c (15,0) c AnalysisTime_3 : 0.036193 583.22/415.89 c (15,0) c AnalysisTime_4 : 0.037979 583.22/415.89 c (15,0) c AnalysisTime_5 : 0.038124 583.22/415.89 c (15,0) c AnalysisTime_6 : 0.038257 583.22/415.89 c (15,0) c AnalysisTime_7 : 0.038785 583.22/415.89 c (15,0) c AnalysisTime_total : 0.283826 583.22/415.89 c (15,0) c AnalysisTime_winner : 0.027876 583.22/415.89 c (15,0) c ReductionTime_0 : 0.000000 583.22/415.89 c (15,0) c ReductionTime_1 : 0.000000 583.22/415.89 c (15,0) c ReductionTime_2 : 0.000000 583.22/415.89 c (15,0) c ReductionTime_3 : 0.000000 583.22/415.89 c (15,0) c ReductionTime_4 : 0.000000 583.22/415.89 c (15,0) c ReductionTime_5 : 0.000000 583.22/415.89 c (15,0) c ReductionTime_6 : 0.000000 583.22/415.89 c (15,0) c ReductionTime_7 : 0.000000 583.22/415.89 c (15,0) c ReductionTime_total : 0.000000 583.22/415.89 c (15,0) c ReductionTime_winner : 0.000000 583.22/415.89 c (15,0) c SimplifyTime_0 : 0.000000 583.22/415.89 c (15,0) c SimplifyTime_1 : 0.000000 583.22/415.89 c (15,0) c SimplifyTime_2 : 0.000000 583.22/415.89 c (15,0) c SimplifyTime_3 : 0.000000 583.22/415.89 c (15,0) c SimplifyTime_4 : 0.000000 583.22/415.89 c (15,0) c SimplifyTime_5 : 0.000000 583.22/415.89 c (15,0) c SimplifyTime_6 : 0.000001 583.22/415.89 c (15,0) c SimplifyTime_7 : 0.000000 583.22/415.89 c (15,0) c SimplifyTime_total : 0.000001 583.22/415.89 c (15,0) c SimplifyTime_winner : 0.000000 583.22/415.89 c (15,0) c UsedRateTime_0 : 0.000000 583.22/415.89 c (15,0) c UsedRateTime_1 : 0.000000 583.22/415.89 c (15,0) c UsedRateTime_2 : 0.000000 583.22/415.89 c (15,0) c UsedRateTime_3 : 0.000000 583.22/415.89 c (15,0) c UsedRateTime_4 : 0.000000 583.22/415.89 c (15,0) c UsedRateTime_5 : 0.000000 583.22/415.89 c (15,0) c UsedRateTime_6 : 0.000000 583.22/415.89 c (15,0) c UsedRateTime_7 : 0.000000 583.22/415.89 c (15,0) c UsedRateTime_total : 0.000000 583.22/415.89 c (15,0) c UsedRateTime_winner : 0.000000 583.22/415.89 c (15,0) c OverlapRateTime_0 : 0.000000 583.22/415.89 c (15,0) c OverlapRateTime_1 : 0.000000 583.22/415.89 c (15,0) c OverlapRateTime_2 : 0.000000 583.22/415.89 c (15,0) c OverlapRateTime_3 : 0.000000 583.22/415.89 c (15,0) c OverlapRateTime_4 : 0.000000 583.22/415.89 c (15,0) c OverlapRateTime_5 : 0.000000 583.22/415.89 c (15,0) c OverlapRateTime_6 : 0.000000 583.22/415.89 c (15,0) c OverlapRateTime_7 : 0.000000 583.22/415.89 c (15,0) c OverlapRateTime_total : 0.000000 583.22/415.89 c (15,0) c OverlapRateTime_winner : 0.000000 583.22/415.89 c (15,0) c 583.22/415.89 c (15,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 583.22/415.89 c (15,0) c 583.22/415.89 c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 583.22/415.89 c (15,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 583.22/415.89 c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 583.22/415.89 c (15,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 583.22/415.89 c (15,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 583.22/415.89 c (15,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 583.22/415.89 c (15,0) c | Initial random_seed | 1773676494 | 1315038737 | 1789222078 | 162642505 | 1669297409 | 1199132849 | 1989648112 | 633231460 | 583.22/415.89 c (15,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 583.22/415.89 c (15,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 583.22/415.89 c (15,0) c | glureduce | True | True | True | True | True | True | True | True | 583.22/415.89 c (15,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 583.22/415.89 c (15,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 583.22/415.89 c (15,0) c | luby_restart | False | False | False | False | False | False | False | False | 583.22/415.89 c (15,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 583.22/415.89 c (15,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 583.22/415.89 c (15,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 583.22/415.89 c (15,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 583.22/415.89 c (15,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 583.22/415.89 c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 583.22/415.89 c (15,0) 583.22/415.89 c (15,0) s SATISFIABLE 583.96/416.14 c (15,0) SatSolver.solve End 583.96/416.14 c (15,0) Heap : 180 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB) 583.96/416.14 c (15,0) Show results Begin 584.13/416.26 c (15,0) x[0][0] = 0 584.13/416.26 c (15,0) x[0][1] = 7 584.13/416.26 c (15,0) x[0][2] = 0 584.13/416.26 c (15,0) x[0][3] = 6 584.13/416.26 c (15,0) x[0][5] = 0 584.13/416.26 c (15,0) x[0][6] = 6 584.13/416.26 c (15,0) x[0][7] = 3 584.13/416.26 c (15,0) x[0][8] = 0 584.13/416.26 c (15,0) x[0][9] = 12 584.13/416.26 c (15,0) x[0][11] = 18 584.13/416.26 c (15,0) x[0][12] = 14 584.13/416.26 c (15,0) x[0][13] = 3 584.13/416.26 c (15,0) x[0][14] = 0 584.13/416.26 c (15,0) x[1][0] = 19 584.13/416.26 c (15,0) x[1][1] = 14 584.13/416.26 c (15,0) x[1][2] = 11 584.13/416.26 c (15,0) x[1][3] = 20 584.13/416.26 c (15,0) x[1][5] = 1 584.13/416.26 c (15,0) x[1][6] = 11 584.13/416.26 c (15,0) x[1][7] = 4 584.13/416.26 c (15,0) x[1][8] = 20 584.13/416.26 c (15,0) x[1][9] = 8 584.13/416.26 c (15,0) x[1][11] = 2 584.13/416.26 c (15,0) x[1][12] = 3 584.13/416.26 c (15,0) x[1][13] = 0 584.13/416.26 c (15,0) x[1][14] = 6 584.13/416.26 c (15,0) x[2][0] = 8 584.13/416.26 c (15,0) x[2][1] = 20 584.13/416.26 c (15,0) x[2][2] = 5 584.13/416.26 c (15,0) x[2][3] = 12 584.13/416.26 c (15,0) x[2][5] = 1 584.13/416.26 c (15,0) x[2][6] = 4 584.13/416.26 c (15,0) x[2][7] = 9 584.13/416.26 c (15,0) x[2][8] = 13 584.13/416.26 c (15,0) x[2][9] = 4 584.13/416.26 c (15,0) x[2][11] = 7 584.13/416.26 c (15,0) x[2][12] = 14 584.13/416.26 c (15,0) x[2][13] = 17 584.13/416.26 c (15,0) x[2][14] = 13 584.13/416.26 c (15,0) x[3][0] = 18 584.13/416.26 c (15,0) x[3][1] = 4 584.13/416.26 c (15,0) x[3][2] = 0 584.13/416.26 c (15,0) x[3][3] = 21 584.13/416.26 c (15,0) x[3][4] = 8 584.13/416.26 c (15,0) x[3][5] = 4 584.13/416.26 c (15,0) x[3][6] = 22 584.13/416.26 c (15,0) x[3][8] = 14 584.13/416.26 c (15,0) x[3][9] = 17 584.13/416.26 c (15,0) x[3][10] = 12 584.13/416.26 c (15,0) x[3][11] = 4 584.13/416.26 c (15,0) x[3][12] = 18 584.13/416.26 c (15,0) x[3][13] = 1 584.13/416.26 c (15,0) x[3][14] = 24 584.13/416.26 c (15,0) x[4][3] = 0 584.13/416.26 c (15,0) x[4][4] = 8 584.13/416.26 c (15,0) x[4][5] = 18 584.13/416.26 c (15,0) x[4][7] = 0 584.13/416.26 c (15,0) x[4][8] = 12 584.13/416.26 c (15,0) x[4][9] = 18 584.13/416.26 c (15,0) x[4][10] = 4 584.13/416.26 c (15,0) x[4][11] = 11 584.13/416.26 c (15,0) x[5][0] = 19 584.13/416.26 c (15,0) x[5][1] = 0 584.13/416.26 c (15,0) x[5][2] = 19 584.13/416.26 c (15,0) x[5][3] = 11 584.13/416.26 c (15,0) x[5][4] = 8 584.13/416.26 c (15,0) x[5][6] = 11 584.13/416.26 c (15,0) x[5][7] = 14 584.13/416.26 c (15,0) x[5][8] = 3 584.13/416.26 c (15,0) x[5][10] = 19 584.13/416.26 c (15,0) x[5][11] = 4 584.13/416.26 c (15,0) x[5][12] = 13 584.13/416.26 c (15,0) x[5][13] = 3 584.13/416.26 c (15,0) x[5][14] = 18 584.13/416.26 c (15,0) x[6][0] = 8 584.13/416.26 c (15,0) x[6][1] = 1 584.13/416.26 c (15,0) x[6][2] = 8 584.13/416.26 c (15,0) x[6][3] = 4 584.13/416.26 c (15,0) x[6][5] = 11 584.13/416.26 c (15,0) x[6][6] = 4 584.13/416.26 c (15,0) x[6][7] = 17 584.13/416.26 c (15,0) x[6][9] = 0 584.13/416.26 c (15,0) x[6][10] = 17 584.13/416.26 c (15,0) x[6][11] = 12 584.13/416.26 c (15,0) x[6][12] = 0 584.13/416.26 c (15,0) x[6][13] = 25 584.13/416.27 c (15,0) x[6][14] = 3 584.13/416.27 c (15,0) x[7][0] = 19 584.13/416.27 c (15,0) x[7][1] = 0 584.13/416.27 c (15,0) x[7][2] = 19 584.13/416.27 c (15,0) x[7][4] = 18 584.13/416.27 c (15,0) x[7][5] = 0 584.13/416.27 c (15,0) x[7][6] = 13 584.13/416.27 c (15,0) x[7][7] = 19 584.13/416.27 c (15,0) x[7][8] = 20 584.13/416.27 c (15,0) x[7][9] = 3 584.13/416.27 c (15,0) x[7][10] = 14 584.13/416.27 c (15,0) x[7][12] = 0 584.13/416.27 c (15,0) x[7][13] = 7 584.13/416.27 c (15,0) x[7][14] = 8 584.13/416.27 c (15,0) x[8][0] = 0 584.13/416.27 c (15,0) x[8][1] = 3 584.13/416.27 c (15,0) x[8][2] = 0 584.13/416.27 c (15,0) x[8][3] = 15 584.13/416.27 c (15,0) x[8][4] = 4 584.13/416.27 c (15,0) x[8][5] = 8 584.13/416.27 c (15,0) x[8][7] = 8 584.13/416.27 c (15,0) x[8][8] = 15 584.13/416.27 c (15,0) x[8][9] = 4 584.13/416.27 c (15,0) x[8][11] = 0 584.13/416.27 c (15,0) x[8][12] = 12 584.13/416.27 c (15,0) x[8][13] = 4 584.13/416.27 c (15,0) x[8][14] = 17 584.13/416.27 c (15,0) x[9][0] = 13 584.13/416.27 c (15,0) x[9][1] = 8 584.13/416.27 c (15,0) x[9][2] = 5 584.13/416.27 c (15,0) x[9][3] = 8 584.13/416.27 c (15,0) x[9][4] = 11 584.13/416.27 c (15,0) x[9][6] = 18 584.13/416.27 c (15,0) x[9][7] = 19 584.13/416.27 c (15,0) x[9][8] = 15 584.13/416.27 c (15,0) x[9][10] = 3 584.13/416.27 c (15,0) x[9][11] = 6 584.13/416.27 c (15,0) x[9][12] = 0 584.13/416.27 c (15,0) x[9][13] = 6 584.13/416.27 c (15,0) x[9][14] = 0 584.13/416.27 c (15,0) x[10][3] = 14 584.13/416.27 c (15,0) x[10][4] = 3 584.13/416.27 c (15,0) x[10][5] = 17 584.13/416.27 c (15,0) x[10][6] = 8 584.13/416.27 c (15,0) x[10][7] = 4 584.13/416.27 c (15,0) x[10][9] = 17 584.13/416.27 c (15,0) x[10][10] = 4 584.13/416.27 c (15,0) x[10][11] = 8 584.13/416.27 c (15,0) x[11][0] = 1 584.13/416.27 c (15,0) x[11][1] = 14 584.13/416.27 c (15,0) x[11][2] = 20 584.13/416.27 c (15,0) x[11][3] = 11 584.13/416.27 c (15,0) x[11][4] = 9 584.13/416.27 c (15,0) x[11][5] = 4 584.13/416.27 c (15,0) x[11][6] = 12 584.13/416.27 c (15,0) x[11][8] = 12 584.13/416.27 c (15,0) x[11][9] = 0 584.13/416.27 c (15,0) x[11][10] = 9 584.13/416.28 c (15,0) x[11][11] = 14 584.13/416.28 c (15,0) x[11][12] = 13 584.13/416.28 c (15,0) x[11][13] = 6 584.13/416.28 c (15,0) x[11][14] = 18 584.13/416.28 c (15,0) x[12][0] = 8 584.13/416.28 c (15,0) x[12][1] = 20 584.13/416.28 c (15,0) x[12][2] = 11 584.13/416.28 c (15,0) x[12][3] = 4 584.13/416.28 c (15,0) x[12][5] = 1 584.13/416.28 c (15,0) x[12][6] = 4 584.13/416.28 c (15,0) x[12][7] = 21 584.13/416.28 c (15,0) x[12][8] = 8 584.13/416.28 c (15,0) x[12][9] = 13 584.13/416.28 c (15,0) x[12][11] = 17 584.13/416.28 c (15,0) x[12][12] = 4 584.13/416.28 c (15,0) x[12][13] = 4 584.13/416.28 c (15,0) x[12][14] = 4 584.13/416.28 c (15,0) x[13][0] = 3 584.13/416.28 c (15,0) x[13][1] = 0 584.13/416.28 c (15,0) x[13][2] = 12 584.13/416.28 c (15,0) x[13][3] = 13 584.13/416.28 c (15,0) x[13][5] = 8 584.13/416.28 c (15,0) x[13][6] = 17 584.13/416.28 c (15,0) x[13][7] = 8 584.13/416.28 c (15,0) x[13][8] = 18 584.13/416.28 c (15,0) x[13][9] = 4 584.13/416.28 c (15,0) x[13][11] = 13 584.13/416.28 c (15,0) x[13][12] = 0 584.13/416.28 c (15,0) x[13][13] = 17 584.13/416.28 c (15,0) x[13][14] = 15 584.13/416.28 c (15,0) x[14][0] = 0 584.13/416.28 c (15,0) x[14][1] = 17 584.13/416.28 c (15,0) x[14][2] = 4 584.13/416.28 c (15,0) x[14][3] = 2 584.13/416.28 c (15,0) x[14][5] = 1 584.13/416.28 c (15,0) x[14][6] = 11 584.13/416.28 c (15,0) x[14][7] = 8 584.13/416.28 c (15,0) x[14][8] = 4 584.13/416.28 c (15,0) x[14][9] = 12 584.13/416.28 c (15,0) x[14][11] = 14 584.13/416.28 c (15,0) x[14][12] = 20 584.13/416.28 c (15,0) x[14][13] = 0 584.13/416.28 c (15,0) x[14][14] = 7 584.13/416.28 s SATISFIABLE 584.13/416.29 v <instantiation> 584.13/416.29 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][11] x[0][12] x[0][13] x[0][14] 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][9] x[1][11] x[1][12] x[1][13] x[1][14] 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][9] x[2][11] x[2][12] x[2][13] x[2][14] 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][11] x[3][12] x[3][13] x[3][14] x[4][3] x[4][4] x[4][5] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][6] x[5][7] x[5][8] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[6][0] x[6][1] x[6][2] x[6][3] x[6][5] x[6][6] x[6][7] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[7][0] x[7][1] x[7][2] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][12] x[7][13] x[7][14] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][7] x[8][8] x[8][9] x[8][11] x[8][12] x[8][13] x[8][14] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][6] x[9][7] x[9][8] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][9] x[10][10] x[10][11] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[12][0] x[12][1] x[12][2] x[12][3] x[12][5] 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[13][0] x[13][1] x[13][2] x[13][3] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][11] x[13][12] x[13][13] x[13][14] x[14][0] x[14][1] x[14][2] x[14][3] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][11] x[14][12] x[14][13] x[14][14]</list> 584.13/416.29 v <values>0 7 0 6 0 6 3 0 12 18 14 3 0 19 14 11 20 1 11 4 20 8 2 3 0 6 8 20 5 12 1 4 9 13 4 7 14 17 13 18 4 0 21 8 4 22 14 17 12 4 18 1 24 0 8 18 0 12 18 4 11 19 0 19 11 8 11 14 3 19 4 13 3 18 8 1 8 4 11 4 17 0 17 12 0 25 3 19 0 19 18 0 13 19 20 3 14 0 7 8 0 3 0 15 4 8 8 15 4 0 12 4 17 13 8 5 8 11 18 19 15 3 6 0 6 0 14 3 17 8 4 17 4 8 1 14 20 11 9 4 12 12 0 9 14 13 6 18 8 20 11 4 1 4 21 8 13 17 4 4 4 3 0 12 13 8 17 8 18 4 13 0 17 15 0 17 4 2 1 11 8 4 12 14 20 0 7</values> 584.13/416.29 v </instantiation> 584.13/416.29 c (15,0) Show results End 584.13/416.29 c (15,0) Heap : 200 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB) 584.13/416.29 c (15,0) 15,15,STOP-AFTER(ALL) 584.13/416.29 c END-Prog: Wed Sep 25 00:14:29 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 (12756 MiB free) memory of node 1: 16384 MiB (11908 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405481-1569362890/watcher-4405481-1569362890 -o /var/tmp/evaluation-result-4405481-1569362890/solver-4405481-1569362890 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node126-1569359605-9009 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405481-1569362890.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 Current StackSize limit: 8192 KiB solver pid=10087, runsolver pid=10084 [startup+0.10011 s]* /proc/loadavg: 1.30 4.83 6.60 2/212 10109 /proc/meminfo: memFree=25162280/32770624 swapFree=66997096/67108860 [pid=10087] ppid=10084 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/10087/stat : 10087 (scop.sh) S 10084 10087 8982 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 512556787 115843072 349 33554432000 4194304 5098028 140729711741104 140729711738360 140351609770620 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8781824 140729711747836 140729711748184 140729711748184 140729711751113 0 /proc/10087/statm: 28282 349 296 221 0 87 0 [pid=10090] ppid=10087 vsize=27314120 memory=106584 CPUtime=0.1 cores=0-7 /proc/10090/stat : 10090 (java) S 10087 10087 8982 0 -1 1077944320 6742 0 0 0 7 3 0 0 20 0 20 0 512556787 27969658880 26646 33554432000 4194304 4196468 140736325769472 140736325752016 140587941093111 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 /proc/10090/statm: 6828530 26646 2777 1 0 6790935 0 [pid=10090/tid=10091] ppid=10087 vsize=27314120 memory=576460756329955445 CPUtime=0.09 cores=0-7 /proc/10090/task/10091/stat : 10091 (java) R 10087 10087 8982 0 -1 4202560 4862 0 0 0 6 3 0 0 20 0 20 0 512556787 27969658880 26646 33554432000 4194304 4196468 140736325769472 140587912919440 140587926259812 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 [pid=10090/tid=10092] ppid=10087 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10090/task/10092/stat : 10092 (java) S 10087 10087 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512556790 27969658880 26646 33554432000 4194304 4196468 140736325769472 140587945335696 140587941103317 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 [pid=10090/tid=10093] ppid=10087 vsize=27314120 memory=3904814037817513632 CPUtime=0 cores=0-7 /proc/10090/task/10093/stat : 10093 (java) S 10087 10087 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512556790 27969658880 26646 33554432000 4194304 4196468 140736325769472 140587769977616 140587941103317 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 [pid=10090/tid=10094] ppid=10087 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10090/task/10094/stat : 10094 (java) S 10087 10087 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512556790 27969658880 26646 33554432000 4194304 4196468 140736325769472 140587362319504 140587941103317 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 [pid=10090/tid=10095] ppid=10087 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10090/task/10095/stat : 10095 (java) S 10087 10087 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512556790 27969658880 26646 33554432000 4194304 4196468 140736325769472 140587361266704 140587941103317 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 [pid=10090/tid=10096] ppid=10087 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10090/task/10096/stat : 10096 (java) S 10087 10087 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512556790 27969658880 26646 33554432000 4194304 4196468 140736325769472 140587360213392 140587941103317 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 [pid=10090/tid=10097] ppid=10087 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10090/task/10097/stat : 10097 (java) S 10087 10087 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512556790 27969658880 26646 33554432000 4194304 4196468 140736325769472 140587359160592 140587941103317 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 [pid=10090/tid=10098] ppid=10087 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10090/task/10098/stat : 10098 (java) S 10087 10087 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512556790 27969658880 26646 33554432000 4194304 4196468 140736325769472 140587358108304 140587941103317 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 [pid=10090/tid=10099] ppid=10087 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10090/task/10099/stat : 10099 (java) S 10087 10087 8982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512556790 27969658880 26646 33554432000 4194304 4196468 140736325769472 140587357055504 140587941103317 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 [pid=10090/tid=10100] ppid=10087 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10090/task/10100/stat : 10100 (java) S 10087 10087 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512556792 27969658880 26646 33554432000 4194304 4196468 140736325769472 140586932402800 140587941104258 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 [pid=10090/tid=10101] ppid=10087 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10090/task/10101/stat : 10101 (java) S 10087 10087 8982 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512556792 27969658880 26646 33554432000 4194304 4196468 140736325769472 140585822315808 140587941103317 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 [pid=10090/tid=10102] ppid=10087 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10090/task/10102/stat : 10102 (java) S 10087 10087 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512556792 27969658880 26646 33554432000 4194304 4196468 140736325769472 140585553880688 140587941103317 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 [pid=10090/tid=10103] ppid=10087 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10090/task/10103/stat : 10103 (java) S 10087 10087 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512556795 27969658880 26646 33554432000 4194304 4196468 140736325769472 140585179372112 140587941111707 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 [pid=10090/tid=10104] ppid=10087 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10090/task/10104/stat : 10104 (java) S 10087 10087 8982 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 20 0 512556795 27969658880 26646 33554432000 4194304 4196468 140736325769472 140586931349616 140587941104258 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 [pid=10090/tid=10105] ppid=10087 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10090/task/10105/stat : 10105 (java) S 10087 10087 8982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512556795 27969658880 26646 33554432000 4194304 4196468 140736325769472 140586930296816 140587941104258 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 [pid=10090/tid=10106] ppid=10087 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10090/task/10106/stat : 10106 (java) S 10087 10087 8982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512556795 27969658880 26646 33554432000 4194304 4196468 140736325769472 140586929244528 140587941104258 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 [pid=10090/tid=10107] ppid=10087 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10090/task/10107/stat : 10107 (java) R 10087 10087 8982 0 -1 4202560 246 0 0 0 0 0 0 0 20 0 20 0 512556795 27969658880 26646 33554432000 4194304 4196468 140736325769472 140586928191728 140587941114458 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 [pid=10090/tid=10108] ppid=10087 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10090/task/10108/stat : 10108 (java) S 10087 10087 8982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512556795 27969658880 26646 33554432000 4194304 4196468 140736325769472 140584681466720 140587941103317 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 [pid=10090/tid=10109] ppid=10087 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10090/task/10109/stat : 10109 (java) S 10087 10087 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512556795 27969658880 26646 33554432000 4194304 4196468 140736325769472 140586927139632 140587941104258 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 107980 KiB [startup+0.210259 s]* /proc/loadavg: 1.30 4.83 6.60 2/212 10109 /proc/meminfo: memFree=25140440/32770624 swapFree=66997096/67108860 [pid=10087] ppid=10084 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/10087/stat : 10087 (scop.sh) S 10084 10087 8982 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 512556787 115843072 349 33554432000 4194304 5098028 140729711741104 140729711738360 140351609770620 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8781824 140729711747836 140729711748184 140729711748184 140729711751113 0 /proc/10087/statm: 28282 349 296 221 0 87 0 [pid=10090] ppid=10087 vsize=27314120 memory=125960 CPUtime=0.25 cores=0-7 /proc/10090/stat : 10090 (java) S 10087 10087 8982 0 -1 1077944320 12391 0 0 0 20 5 0 0 20 0 20 0 512556787 27969658880 31490 33554432000 4194304 4196468 140736325769472 140736325752016 140587941093111 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 /proc/10090/statm: 6828530 31490 2927 1 0 6790935 0 [pid=10090/tid=10091] ppid=10087 vsize=27314120 memory=8316850467074736180 CPUtime=0.19 cores=0-7 /proc/10090/task/10091/stat : 10091 (java) R 10087 10087 8982 0 -1 4202560 10117 0 0 0 15 4 0 0 20 0 20 0 512556787 27969658880 31490 33554432000 4194304 4196468 140736325769472 140587912914016 140587941116701 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 [pid=10090/tid=10092] ppid=10087 vsize=27314120 memory=9329 CPUtime=0 cores=0-7 /proc/10090/task/10092/stat : 10092 (java) S 10087 10087 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512556790 27969658880 31490 33554432000 4194304 4196468 140736325769472 140587945335696 140587941103317 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 [pid=10090/tid=10093] ppid=10087 vsize=27314120 memory=140177352236094 CPUtime=0 cores=0-7 /proc/10090/task/10093/stat : 10093 (java) S 10087 10087 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512556790 27969658880 31490 33554432000 4194304 4196468 140736325769472 140587769977616 140587941103317 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 [pid=10090/tid=10094] ppid=10087 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10090/task/10094/stat : 10094 (java) S 10087 10087 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512556790 27969658880 31490 33554432000 4194304 4196468 140736325769472 140587362319504 140587941103317 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 [pid=10090/tid=10095] ppid=10087 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10090/task/10095/stat : 10095 (java) S 10087 10087 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512556790 27969658880 31490 33554432000 4194304 4196468 140736325769472 140587361266704 140587941103317 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 [pid=10090/tid=10096] ppid=10087 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10090/task/10096/stat : 10096 (java) S 10087 10087 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512556790 27969658880 31490 33554432000 4194304 4196468 140736325769472 140587360213392 140587941103317 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 [pid=10090/tid=10097] ppid=10087 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10090/task/10097/stat : 10097 (java) S 10087 10087 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512556790 27969658880 31490 33554432000 4194304 4196468 140736325769472 140587359160592 140587941103317 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 [pid=10090/tid=10098] ppid=10087 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10090/task/10098/stat : 10098 (java) S 10087 10087 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512556790 27969658880 31490 33554432000 4194304 4196468 140736325769472 140587358108304 140587941103317 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 [pid=10090/tid=10099] ppid=10087 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10090/task/10099/stat : 10099 (java) S 10087 10087 8982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512556790 27969658880 31490 33554432000 4194304 4196468 140736325769472 140587357055504 140587941103317 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 [pid=10090/tid=10100] ppid=10087 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10090/task/10100/stat : 10100 (java) S 10087 10087 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512556792 27969658880 31490 33554432000 4194304 4196468 140736325769472 140586932402800 140587941104258 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 [pid=10090/tid=10101] ppid=10087 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10090/task/10101/stat : 10101 (java) S 10087 10087 8982 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512556792 27969658880 31490 33554432000 4194304 4196468 140736325769472 140585822315808 140587941103317 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 [pid=10090/tid=10102] ppid=10087 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10090/task/10102/stat : 10102 (java) S 10087 10087 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512556792 27969658880 31490 33554432000 4194304 4196468 140736325769472 140585553880688 140587941103317 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 [pid=10090/tid=10103] ppid=10087 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10090/task/10103/stat : 10103 (java) S 10087 10087 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512556795 27969658880 31490 33554432000 4194304 4196468 140736325769472 140585179372112 140587941111707 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 [pid=10090/tid=10104] ppid=10087 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10090/task/10104/stat : 10104 (java) S 10087 10087 8982 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 20 0 512556795 27969658880 31490 33554432000 4194304 4196468 140736325769472 140586931349616 140587941104258 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 [pid=10090/tid=10105] ppid=10087 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10090/task/10105/stat : 10105 (java) S 10087 10087 8982 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 512556795 27969658880 31490 33554432000 4194304 4196468 140736325769472 140586930296816 140587941104258 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 [pid=10090/tid=10106] ppid=10087 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10090/task/10106/stat : 10106 (java) S 10087 10087 8982 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 512556795 27969658880 31490 33554432000 4194304 4196468 140736325769472 140586929244528 140587941104258 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 [pid=10090/tid=10107] ppid=10087 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7 /proc/10090/task/10107/stat : 10107 (java) R 10087 10087 8982 0 -1 4202560 455 0 0 0 2 0 0 0 20 0 20 0 512556795 27969658880 31490 33554432000 4194304 4196468 140736325769472 140586928191728 140587920047264 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 [pid=10090/tid=10108] ppid=10087 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10090/task/10108/stat : 10108 (java) S 10087 10087 8982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512556795 27969658880 31490 33554432000 4194304 4196468 140736325769472 140584681466720 140587941103317 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 [pid=10090/tid=10109] ppid=10087 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10090/task/10109/stat : 10109 (java) S 10087 10087 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512556795 27969658880 31490 33554432000 4194304 4196468 140736325769472 140586927139632 140587941104258 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 Current children cumulated CPU time: 0.25 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 127356 KiB [startup+0.309535 s]* /proc/loadavg: 1.30 4.83 6.60 2/212 10109 /proc/meminfo: memFree=25138148/32770624 swapFree=66997096/67108860 [pid=10087] ppid=10084 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/10087/stat : 10087 (scop.sh) S 10084 10087 8982 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 512556787 115843072 349 33554432000 4194304 5098028 140729711741104 140729711738360 140351609770620 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8781824 140729711747836 140729711748184 140729711748184 140729711751113 0 /proc/10087/statm: 28282 349 296 221 0 87 0 [pid=10090] ppid=10087 vsize=27314120 memory=129516 CPUtime=0.42 cores=0-7 /proc/10090/stat : 10090 (java) S 10087 10087 8982 0 -1 1077944320 12814 0 0 0 37 5 0 0 20 0 20 0 512556787 27969658880 32379 33554432000 4194304 4196468 140736325769472 140736325752016 140587941093111 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 /proc/10090/statm: 6828530 32379 2981 1 0 6790935 0 [pid=10090/tid=10091] ppid=10087 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/10090/task/10091/stat : 10091 (java) R 10087 10087 8982 0 -1 4202560 10356 0 0 0 25 4 0 0 20 0 20 0 512556787 27969658880 32379 33554432000 4194304 4196468 140736325769472 140587912896336 140587921368441 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 [pid=10090/tid=10092] ppid=10087 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10090/task/10092/stat : 10092 (java) S 10087 10087 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512556790 27969658880 32379 33554432000 4194304 4196468 140736325769472 140587945335696 140587941103317 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 [pid=10090/tid=10093] ppid=10087 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10090/task/10093/stat : 10093 (java) S 10087 10087 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512556790 27969658880 32379 33554432000 4194304 4196468 140736325769472 140587769977616 140587941103317 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 [pid=10090/tid=10094] ppid=10087 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10090/task/10094/stat : 10094 (java) S 10087 10087 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512556790 27969658880 32379 33554432000 4194304 4196468 140736325769472 140587362319504 140587941103317 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 [pid=10090/tid=10095] ppid=10087 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10090/task/10095/stat : 10095 (java) S 10087 10087 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512556790 27969658880 32379 33554432000 4194304 4196468 140736325769472 140587361266704 140587941103317 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 [pid=10090/tid=10096] ppid=10087 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10090/task/10096/stat : 10096 (java) S 10087 10087 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512556790 27969658880 32379 33554432000 4194304 4196468 140736325769472 140587360213392 140587941103317 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 [pid=10090/tid=10097] ppid=10087 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10090/task/10097/stat : 10097 (java) S 10087 10087 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512556790 27969658880 32379 33554432000 4194304 4196468 140736325769472 140587359160592 140587941103317 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 [pid=10090/tid=10098] ppid=10087 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10090/task/10098/stat : 10098 (java) S 10087 10087 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512556790 27969658880 32379 33554432000 4194304 4196468 140736325769472 140587358108304 140587941103317 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 [pid=10090/tid=10099] ppid=10087 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10090/task/10099/stat : 10099 (java) S 10087 10087 8982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512556790 27969658880 32379 33554432000 4194304 4196468 140736325769472 140587357055504 140587941103317 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 [pid=10090/tid=10100] ppid=10087 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10090/task/10100/stat : 10100 (java) S 10087 10087 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512556792 27969658880 32379 33554432000 4194304 4196468 140736325769472 140586932402800 140587941104258 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 [pid=10090/tid=10101] ppid=10087 vsize=27314120 memory=280354393103744 CPUtime=0 cores=0-7 /proc/10090/task/10101/stat : 10101 (java) S 10087 10087 8982 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512556792 27969658880 32379 33554432000 4194304 4196468 140736325769472 140585822315808 140587941103317 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 [pid=10090/tid=10102] ppid=10087 vsize=27314120 memory=280354393108352 CPUtime=0 cores=0-7 /proc/10090/task/10102/stat : 10102 (java) S 10087 10087 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512556792 27969658880 32379 33554432000 4194304 4196468 140736325769472 140585553880688 140587941103317 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 [pid=10090/tid=10103] ppid=10087 vsize=27314120 memory=280354393112960 CPUtime=0 cores=0-7 /proc/10090/task/10103/stat : 10103 (java) S 10087 10087 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512556795 27969658880 32379 33554432000 4194304 4196468 140736325769472 140585179372112 140587941111707 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 [pid=10090/tid=10104] ppid=10087 vsize=27314120 memory=280354393117568 CPUtime=0.01 cores=0-7 /proc/10090/task/10104/stat : 10104 (java) S 10087 10087 8982 0 -1 1077944384 442 0 0 0 1 0 0 0 20 0 20 0 512556795 27969658880 32379 33554432000 4194304 4196468 140736325769472 140586931349616 140587941104258 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 [pid=10090/tid=10105] ppid=10087 vsize=27314120 memory=280354393122176 CPUtime=0.02 cores=0-7 /proc/10090/task/10105/stat : 10105 (java) S 10087 10087 8982 0 -1 1077944384 121 0 0 0 2 0 0 0 20 0 20 0 512556795 27969658880 32379 33554432000 4194304 4196468 140736325769472 140586930296816 140587941104258 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 [pid=10090/tid=10106] ppid=10087 vsize=27314120 memory=280354393126784 CPUtime=0 cores=0-7 /proc/10090/task/10106/stat : 10106 (java) S 10087 10087 8982 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 512556795 27969658880 32379 33554432000 4194304 4196468 140736325769472 140586929244528 140587941104258 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 [pid=10090/tid=10107] ppid=10087 vsize=27314120 memory=280354393131392 CPUtime=0.07 cores=0-7 /proc/10090/task/10107/stat : 10107 (java) S 10087 10087 8982 0 -1 1077944384 498 0 0 0 7 0 0 0 20 0 20 0 512556795 27969658880 32379 33554432000 4194304 4196468 140736325769472 140586928191728 140587941104258 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 [pid=10090/tid=10108] ppid=10087 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10090/task/10108/stat : 10108 (java) S 10087 10087 8982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512556795 27969658880 32379 33554432000 4194304 4196468 140736325769472 140584681466720 140587941103317 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 [pid=10090/tid=10109] ppid=10087 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10090/task/10109/stat : 10109 (java) S 10087 10087 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512556795 27969658880 32379 33554432000 4194304 4196468 140736325769472 140586927139632 140587941104258 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 130912 KiB [startup+0.700941 s] /proc/loadavg: 1.30 4.83 6.60 3/212 10109 /proc/meminfo: memFree=25116664/32770624 swapFree=66997096/67108860 [pid=10087] ppid=10084 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/10087/stat : 10087 (scop.sh) S 10084 10087 8982 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 512556787 115843072 349 33554432000 4194304 5098028 140729711741104 140729711738360 140351609770620 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8781824 140729711747836 140729711748184 140729711748184 140729711751113 0 /proc/10087/statm: 28282 349 296 221 0 87 0 [pid=10090] ppid=10087 vsize=27320392 memory=164976 CPUtime=0.97 cores=0-7 /proc/10090/stat : 10090 (java) S 10087 10087 8982 0 -1 1077944320 20265 0 0 0 90 7 0 0 20 0 20 0 512556787 27976081408 41244 33554432000 4194304 4196468 140736325769472 140736325752016 140587941093111 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 /proc/10090/statm: 6830098 41244 3192 1 0 6791447 0 [pid=10090/tid=10091] ppid=10087 vsize=27320392 memory=0 CPUtime=0.68 cores=0-7 /proc/10090/task/10091/stat : 10091 (java) R 10087 10087 8982 0 -1 4202560 17415 0 0 0 61 7 0 0 20 0 20 0 512556787 27976081408 41244 33554432000 4194304 4196468 140736325769472 140587912929152 140587941115037 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 [pid=10090/tid=10092] ppid=10087 vsize=27320392 memory=140177196753792 CPUtime=0 cores=0-7 /proc/10090/task/10092/stat : 10092 (java) S 10087 10087 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512556790 27976081408 41244 33554432000 4194304 4196468 140736325769472 140587945335696 140587941103317 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 [pid=10090/tid=10093] ppid=10087 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/10090/task/10093/stat : 10093 (java) S 10087 10087 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512556790 27976081408 41244 33554432000 4194304 4196468 140736325769472 140587769977616 140587941103317 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 [pid=10090/tid=10094] ppid=10087 vsize=27320392 memory=1228 CPUtime=0 cores=0-7 /proc/10090/task/10094/stat : 10094 (java) S 10087 10087 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512556790 27976081408 41244 33554432000 4194304 4196468 140736325769472 140587362319504 140587941103317 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9863168 140736325776070 140736325776518 140736325776518 140736325779407 0 ################ # More data... # ################ [pid=10145/tid=10146] ppid=10087 vsize=8414124 memory=1476 CPUtime=0.77 cores=0-7 /proc/10145/task/10146/stat : 10146 (java) S 10087 10087 8982 0 -1 1077944384 17395 0 0 0 71 6 0 0 20 0 24 0 512596835 8616062976 37153 33554432000 4194304 4196468 140720632699296 140125447733152 140125475903189 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10147] ppid=10087 vsize=8414124 memory=1398722017469774279 CPUtime=0 cores=0-7 /proc/10145/task/10147/stat : 10147 (java) S 10087 10087 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512596836 8616062976 37153 33554432000 4194304 4196468 140720632699296 140125480135696 140125475903189 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10148] ppid=10087 vsize=8414124 memory=7593743425046014573 CPUtime=0 cores=0-7 /proc/10145/task/10148/stat : 10148 (java) S 10087 10087 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512596836 8616062976 37153 33554432000 4194304 4196468 140720632699296 140125280304272 140125475903189 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10149] ppid=10087 vsize=8414124 memory=7667774620680874084 CPUtime=0 cores=0-7 /proc/10145/task/10149/stat : 10149 (java) S 10087 10087 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512596836 8616062976 37153 33554432000 4194304 4196468 140720632699296 140125279251216 140125475903189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10150] ppid=10087 vsize=8414124 memory=7524222382893393488 CPUtime=0 cores=0-7 /proc/10145/task/10150/stat : 10150 (java) S 10087 10087 8982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512596836 8616062976 37153 33554432000 4194304 4196468 140720632699296 140125278198672 140125475903189 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10151] ppid=10087 vsize=8414124 memory=2116 CPUtime=0 cores=0-7 /proc/10145/task/10151/stat : 10151 (java) S 10087 10087 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512596836 8616062976 37153 33554432000 4194304 4196468 140720632699296 140125277145616 140125475903189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10152] ppid=10087 vsize=8414124 memory=12028 CPUtime=0 cores=0-7 /proc/10145/task/10152/stat : 10152 (java) S 10087 10087 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512596836 8616062976 37153 33554432000 4194304 4196468 140720632699296 140125276093072 140125475903189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10153] ppid=10087 vsize=8414124 memory=496 CPUtime=0 cores=0-7 /proc/10145/task/10153/stat : 10153 (java) S 10087 10087 8982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512596836 8616062976 37153 33554432000 4194304 4196468 140720632699296 140125275040016 140125475903189 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10154] ppid=10087 vsize=8414124 memory=1564 CPUtime=0 cores=0-7 /proc/10145/task/10154/stat : 10154 (java) S 10087 10087 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512596836 8616062976 37153 33554432000 4194304 4196468 140720632699296 140125273987472 140125475903189 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10155] ppid=10087 vsize=8414124 memory=928 CPUtime=0 cores=0-7 /proc/10145/task/10155/stat : 10155 (java) S 10087 10087 8982 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 512596838 8616062976 37153 33554432000 4194304 4196468 140720632699296 140124837710576 140125475904130 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10156] ppid=10087 vsize=8414124 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/10145/task/10156/stat : 10156 (java) S 10087 10087 8982 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512596838 8616062976 37153 33554432000 4194304 4196468 140720632699296 140123912005280 140125475903189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10157] ppid=10087 vsize=8414124 memory=16457616 CPUtime=0 cores=0-7 /proc/10145/task/10157/stat : 10157 (java) S 10087 10087 8982 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 512596838 8616062976 37153 33554432000 4194304 4196468 140720632699296 140123777783024 140125475903189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10158] ppid=10087 vsize=8414124 memory=928 CPUtime=0 cores=0-7 /proc/10145/task/10158/stat : 10158 (java) S 10087 10087 8982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512596841 8616062976 37153 33554432000 4194304 4196468 140720632699296 140123403278800 140125475911579 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10159] ppid=10087 vsize=8414124 memory=1688 CPUtime=0.08 cores=0-7 /proc/10145/task/10159/stat : 10159 (java) S 10087 10087 8982 0 -1 1077944384 630 0 0 0 8 0 0 0 20 0 24 0 512596841 8616062976 37153 33554432000 4194304 4196468 140720632699296 140124836657392 140125475904130 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10160] ppid=10087 vsize=8414124 memory=118564 CPUtime=0.1 cores=0-7 /proc/10145/task/10160/stat : 10160 (java) S 10087 10087 8982 0 -1 1077944384 419 0 0 0 10 0 0 0 20 0 24 0 512596841 8616062976 37153 33554432000 4194304 4196468 140720632699296 140124835604848 140125475904130 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10161] ppid=10087 vsize=8414124 memory=1476 CPUtime=0.1 cores=0-7 /proc/10145/task/10161/stat : 10161 (java) S 10087 10087 8982 0 -1 1077944384 491 0 0 0 10 0 0 0 20 0 24 0 512596841 8616062976 37153 33554432000 4194304 4196468 140720632699296 140124834551792 140125475904130 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10162] ppid=10087 vsize=8414124 memory=118564 CPUtime=0.25 cores=0-7 /proc/10145/task/10162/stat : 10162 (java) S 10087 10087 8982 0 -1 1077944384 1137 0 0 0 25 0 0 0 20 0 24 0 512596841 8616062976 37153 33554432000 4194304 4196468 140720632699296 140124833499248 140125475904130 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10163] ppid=10087 vsize=8414124 memory=412020 CPUtime=0 cores=0-7 /proc/10145/task/10163/stat : 10163 (java) S 10087 10087 8982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512596841 8616062976 37153 33554432000 4194304 4196468 140720632699296 140122905373664 140125475903189 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10164] ppid=10087 vsize=8414124 memory=952 CPUtime=0 cores=0-7 /proc/10145/task/10164/stat : 10164 (java) S 10087 10087 8982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512596842 8616062976 37153 33554432000 4194304 4196468 140720632699296 140124832447664 140125475904130 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10166] ppid=10087 vsize=8414124 memory=14008 CPUtime=0 cores=0-7 /proc/10145/task/10166/stat : 10166 (java) S 10087 10087 8982 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512596917 8616062976 37153 33554432000 4194304 4196468 140720632699296 140124824413632 140125475917593 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10168] ppid=10087 vsize=8414124 memory=6136 CPUtime=0.09 cores=0-7 /proc/10145/task/10168/stat : 10168 (java) R 10087 10087 8982 0 -1 4202560 29 0 0 0 9 0 0 0 20 0 24 0 512596918 8616062976 37153 33554432000 4194304 4196468 140720632699296 140122234273280 140124938766351 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10169] ppid=10087 vsize=8414124 memory=772 CPUtime=0 cores=0-7 /proc/10145/task/10169/stat : 10169 (java) S 10087 10087 8982 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 512596918 8616062976 37153 33554432000 4194304 4196468 140720632699296 140122502708912 140125475914909 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10170] ppid=10087 vsize=8414124 memory=952 CPUtime=0 cores=0-7 /proc/10145/task/10170/stat : 10170 (java) S 10087 10087 8982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512596920 8616062976 37153 33554432000 4194304 4196468 140720632699296 140121965845424 140125475903189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 Current children cumulated CPU time: 556.51 s Current children cumulated vsize: 8527252 KiB Current children cumulated memory: 150088 KiB [startup+416.201 s] /proc/loadavg: 1.45 2.19 4.69 4/217 10178 /proc/meminfo: memFree=22690820/32770624 swapFree=66997096/67108860 [pid=10087] ppid=10084 vsize=113128 memory=1476 CPUtime=555.04 cores=0-7 /proc/10087/stat : 10087 (scop.sh) S 10084 10087 8982 0 -1 4202496 583 193120 0 0 0 0 52724 2780 20 0 1 0 512556787 115843072 369 33554432000 4194304 5098028 140729711741104 140729711737848 140351609770620 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 8781824 140729711747836 140729711748184 140729711748184 140729711751113 0 /proc/10087/statm: 28282 369 311 221 0 87 0 [pid=10145] ppid=10087 vsize=8283048 memory=203360 CPUtime=29.09 cores=0-7 /proc/10145/stat : 10145 (java) S 10087 10087 8982 0 -1 1077944320 21917 760036 0 0 173 12 2346 378 20 0 22 0 512596834 8481841152 50840 33554432000 4194304 4196468 140720632699296 140720632681840 140125475892983 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 /proc/10145/statm: 2070762 50840 3225 1 0 2032106 0 [pid=10145/tid=10146] ppid=10087 vsize=8283048 memory=1396 CPUtime=28.08 cores=0-7 /proc/10145/task/10146/stat : 10146 (java) S 10087 10087 8982 0 -1 1077944384 17587 760036 0 0 78 6 2346 378 20 0 22 0 512596835 8481841152 50840 33554432000 4194304 4196468 140720632699296 140125447731344 140125475903189 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10147] ppid=10087 vsize=8283048 memory=6791534058613427641 CPUtime=27.24 cores=0-7 /proc/10145/task/10147/stat : 10147 (java) S 10087 10087 8982 0 -1 1077944384 2 760036 0 0 0 0 2346 378 20 0 22 0 512596836 8481841152 50840 33554432000 4194304 4196468 140720632699296 140125480135696 140125475903189 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10148] ppid=10087 vsize=8283048 memory=740 CPUtime=27.24 cores=0-7 /proc/10145/task/10148/stat : 10148 (java) S 10087 10087 8982 0 -1 1077944384 2 760036 0 0 0 0 2346 378 20 0 22 0 512596836 8481841152 50840 33554432000 4194304 4196468 140720632699296 140125280304272 140125475903189 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10149] ppid=10087 vsize=8283048 memory=1228 CPUtime=27.24 cores=0-7 /proc/10145/task/10149/stat : 10149 (java) S 10087 10087 8982 0 -1 1077944384 2 760036 0 0 0 0 2346 378 20 0 22 0 512596836 8481841152 50840 33554432000 4194304 4196468 140720632699296 140125279251216 140125475903189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10150] ppid=10087 vsize=8283048 memory=9564 CPUtime=27.24 cores=0-7 /proc/10145/task/10150/stat : 10150 (java) S 10087 10087 8982 0 -1 1077944384 3 760036 0 0 0 0 2346 378 20 0 22 0 512596836 8481841152 50840 33554432000 4194304 4196468 140720632699296 140125278198672 140125475903189 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10151] ppid=10087 vsize=8283048 memory=0 CPUtime=27.24 cores=0-7 /proc/10145/task/10151/stat : 10151 (java) S 10087 10087 8982 0 -1 1077944384 1 760036 0 0 0 0 2346 378 20 0 22 0 512596836 8481841152 50840 33554432000 4194304 4196468 140720632699296 140125277145616 140125475903189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10152] ppid=10087 vsize=8283048 memory=1428 CPUtime=27.24 cores=0-7 /proc/10145/task/10152/stat : 10152 (java) S 10087 10087 8982 0 -1 1077944384 2 760036 0 0 0 0 2346 378 20 0 22 0 512596836 8481841152 50840 33554432000 4194304 4196468 140720632699296 140125276093072 140125475903189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10153] ppid=10087 vsize=8283048 memory=1060 CPUtime=27.24 cores=0-7 /proc/10145/task/10153/stat : 10153 (java) S 10087 10087 8982 0 -1 1077944384 2 760036 0 0 0 0 2346 378 20 0 22 0 512596836 8481841152 50840 33554432000 4194304 4196468 140720632699296 140125275040016 140125475903189 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10154] ppid=10087 vsize=8283048 memory=740 CPUtime=27.24 cores=0-7 /proc/10145/task/10154/stat : 10154 (java) S 10087 10087 8982 0 -1 1077944384 1 760036 0 0 0 0 2346 378 20 0 22 0 512596836 8481841152 50840 33554432000 4194304 4196468 140720632699296 140125273987472 140125475903189 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10155] ppid=10087 vsize=8283048 memory=1228 CPUtime=27.24 cores=0-7 /proc/10145/task/10155/stat : 10155 (java) S 10087 10087 8982 0 -1 1077944384 7 760036 0 0 0 0 2346 378 20 0 22 0 512596838 8481841152 50840 33554432000 4194304 4196468 140720632699296 140124837710576 140125475904130 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10156] ppid=10087 vsize=8283048 memory=9564 CPUtime=27.24 cores=0-7 /proc/10145/task/10156/stat : 10156 (java) S 10087 10087 8982 0 -1 1077944384 13 760036 0 0 0 0 2346 378 20 0 22 0 512596838 8481841152 50840 33554432000 4194304 4196468 140720632699296 140123912005280 140125475903189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10157] ppid=10087 vsize=8283048 memory=4076 CPUtime=27.24 cores=0-7 /proc/10145/task/10157/stat : 10157 (java) S 10087 10087 8982 0 -1 1077944384 21 760036 0 0 0 0 2346 378 20 0 22 0 512596838 8481841152 50840 33554432000 4194304 4196468 140720632699296 140123777783024 140125475903189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10158] ppid=10087 vsize=8283048 memory=1476 CPUtime=27.24 cores=0-7 /proc/10145/task/10158/stat : 10158 (java) S 10087 10087 8982 0 -1 1077944384 1 760036 0 0 0 0 2346 378 20 0 22 0 512596841 8481841152 50840 33554432000 4194304 4196468 140720632699296 140123403278800 140125475911579 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10159] ppid=10087 vsize=8283048 memory=6791534058613427641 CPUtime=27.36 cores=0-7 /proc/10145/task/10159/stat : 10159 (java) R 10087 10087 8982 0 -1 1077944384 653 760036 0 0 12 0 2346 378 20 0 22 0 512596841 8481841152 50840 33554432000 4194304 4196468 140720632699296 140124836657392 140125475904130 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10160] ppid=10087 vsize=8283048 memory=0 CPUtime=27.39 cores=0-7 /proc/10145/task/10160/stat : 10160 (java) S 10087 10087 8982 0 -1 1077944384 438 760036 0 0 15 0 2346 378 20 0 22 0 512596841 8481841152 50840 33554432000 4194304 4196468 140720632699296 140124835604848 140125475904130 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10161] ppid=10087 vsize=8283048 memory=5787477641288517003 CPUtime=27.39 cores=0-7 /proc/10145/task/10161/stat : 10161 (java) R 10087 10087 8982 0 -1 1077944384 517 760036 0 0 15 0 2346 378 20 0 22 0 512596841 8481841152 50840 33554432000 4194304 4196468 140720632699296 140124834551792 140125475904130 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10162] ppid=10087 vsize=8283048 memory=-8961168018402230209 CPUtime=27.53 cores=0-7 /proc/10145/task/10162/stat : 10162 (java) R 10087 10087 8982 0 -1 4202560 1213 760036 0 0 29 0 2346 378 20 0 22 0 512596841 8481841152 50840 33554432000 4194304 4196468 140720632699296 140124833499248 140125467912647 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10163] ppid=10087 vsize=8283048 memory=1688 CPUtime=27.24 cores=0-7 /proc/10145/task/10163/stat : 10163 (java) S 10087 10087 8982 0 -1 1077944384 3 760036 0 0 0 0 2346 378 20 0 22 0 512596841 8481841152 50840 33554432000 4194304 4196468 140720632699296 140122905373664 140125475903189 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10164] ppid=10087 vsize=8283048 memory=1984 CPUtime=27.24 cores=0-7 /proc/10145/task/10164/stat : 10164 (java) S 10087 10087 8982 0 -1 1077944384 3 760036 0 0 0 0 2346 378 20 0 22 0 512596842 8481841152 50840 33554432000 4194304 4196468 140720632699296 140124832447664 140125475904130 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10166] ppid=10087 vsize=8283048 memory=2672 CPUtime=27.24 cores=0-7 /proc/10145/task/10166/stat : 10166 (java) S 10087 10087 8982 0 -1 1077944384 24 760036 0 0 0 0 2346 378 20 0 22 0 512596917 8481841152 50840 33554432000 4194304 4196468 140720632699296 140124824412816 140125475904130 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10170] ppid=10087 vsize=8283048 memory=1476 CPUtime=27.24 cores=0-7 /proc/10145/task/10170/stat : 10170 (java) S 10087 10087 8982 0 -1 1077944384 8 760036 0 0 0 0 2346 378 20 0 22 0 512596920 8481841152 50840 33554432000 4194304 4196468 140720632699296 140121965847216 140125475904130 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 Current children cumulated CPU time: 584.13 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 204836 KiB [startup+416.301 s] /proc/loadavg: 1.45 2.19 4.69 4/217 10178 /proc/meminfo: memFree=22690820/32770624 swapFree=66997096/67108860 [pid=10087] ppid=10084 vsize=113128 memory=1476 CPUtime=555.04 cores=0-7 /proc/10087/stat : 10087 (scop.sh) S 10084 10087 8982 0 -1 4202496 583 193120 0 0 0 0 52724 2780 20 0 1 0 512556787 115843072 369 33554432000 4194304 5098028 140729711741104 140729711737848 140351609770620 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 8781824 140729711747836 140729711748184 140729711748184 140729711751113 0 /proc/10087/statm: 28282 369 311 221 0 87 0 [pid=10145] ppid=10087 vsize=8283048 memory=208608 CPUtime=29.29 cores=0-7 /proc/10145/stat : 10145 (java) S 10087 10087 8982 0 -1 1077944320 23227 760036 0 0 191 14 2346 378 20 0 22 0 512596834 8481841152 52152 33554432000 4194304 4196468 140720632699296 140720632681840 140125475892983 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 /proc/10145/statm: 2070762 52152 3231 1 0 2032106 0 [pid=10145/tid=10146] ppid=10087 vsize=8283048 memory=1476 CPUtime=28.18 cores=0-7 /proc/10145/task/10146/stat : 10146 (java) R 10087 10087 8982 0 -1 4202560 18735 760036 0 0 85 9 2346 378 20 0 22 0 512596835 8481841152 52152 33554432000 4194304 4196468 140720632699296 140125447729008 140125468578615 0 4 2 25189581 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10147] ppid=10087 vsize=8283048 memory=7305792226131799398 CPUtime=27.24 cores=0-7 /proc/10145/task/10147/stat : 10147 (java) S 10087 10087 8982 0 -1 1077944384 2 760036 0 0 0 0 2346 378 20 0 22 0 512596836 8481841152 52152 33554432000 4194304 4196468 140720632699296 140125480135696 140125475903189 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10148] ppid=10087 vsize=8283048 memory=1476 CPUtime=27.24 cores=0-7 /proc/10145/task/10148/stat : 10148 (java) S 10087 10087 8982 0 -1 1077944384 2 760036 0 0 0 0 2346 378 20 0 22 0 512596836 8481841152 52152 33554432000 4194304 4196468 140720632699296 140125280304272 140125475903189 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10149] ppid=10087 vsize=8283048 memory=119604 CPUtime=27.24 cores=0-7 /proc/10145/task/10149/stat : 10149 (java) S 10087 10087 8982 0 -1 1077944384 2 760036 0 0 0 0 2346 378 20 0 22 0 512596836 8481841152 52152 33554432000 4194304 4196468 140720632699296 140125279251216 140125475903189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10150] ppid=10087 vsize=8283048 memory=1476 CPUtime=27.24 cores=0-7 /proc/10145/task/10150/stat : 10150 (java) S 10087 10087 8982 0 -1 1077944384 3 760036 0 0 0 0 2346 378 20 0 22 0 512596836 8481841152 52152 33554432000 4194304 4196468 140720632699296 140125278198672 140125475903189 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10151] ppid=10087 vsize=8283048 memory=198064 CPUtime=27.24 cores=0-7 /proc/10145/task/10151/stat : 10151 (java) S 10087 10087 8982 0 -1 1077944384 1 760036 0 0 0 0 2346 378 20 0 22 0 512596836 8481841152 52152 33554432000 4194304 4196468 140720632699296 140125277145616 140125475903189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10152] ppid=10087 vsize=8283048 memory=1476 CPUtime=27.24 cores=0-7 /proc/10145/task/10152/stat : 10152 (java) S 10087 10087 8982 0 -1 1077944384 2 760036 0 0 0 0 2346 378 20 0 22 0 512596836 8481841152 52152 33554432000 4194304 4196468 140720632699296 140125276093072 140125475903189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10153] ppid=10087 vsize=8283048 memory=280354394871360 CPUtime=27.24 cores=0-7 /proc/10145/task/10153/stat : 10153 (java) S 10087 10087 8982 0 -1 1077944384 2 760036 0 0 0 0 2346 378 20 0 22 0 512596836 8481841152 52152 33554432000 4194304 4196468 140720632699296 140125275040016 140125475903189 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10154] ppid=10087 vsize=8283048 memory=2634764 CPUtime=27.24 cores=0-7 /proc/10145/task/10154/stat : 10154 (java) S 10087 10087 8982 0 -1 1077944384 1 760036 0 0 0 0 2346 378 20 0 22 0 512596836 8481841152 52152 33554432000 4194304 4196468 140720632699296 140125273987472 140125475903189 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10155] ppid=10087 vsize=8283048 memory=1476 CPUtime=27.24 cores=0-7 /proc/10145/task/10155/stat : 10155 (java) S 10087 10087 8982 0 -1 1077944384 7 760036 0 0 0 0 2346 378 20 0 22 0 512596838 8481841152 52152 33554432000 4194304 4196468 140720632699296 140124837710576 140125475904130 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10156] ppid=10087 vsize=8283048 memory=118564 CPUtime=27.24 cores=0-7 /proc/10145/task/10156/stat : 10156 (java) S 10087 10087 8982 0 -1 1077944384 13 760036 0 0 0 0 2346 378 20 0 22 0 512596838 8481841152 52152 33554432000 4194304 4196468 140720632699296 140123912005280 140125475903189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10157] ppid=10087 vsize=8283048 memory=1688 CPUtime=27.24 cores=0-7 /proc/10145/task/10157/stat : 10157 (java) S 10087 10087 8982 0 -1 1077944384 21 760036 0 0 0 0 2346 378 20 0 22 0 512596838 8481841152 52152 33554432000 4194304 4196468 140720632699296 140123777783024 140125475903189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10158] ppid=10087 vsize=8283048 memory=1984 CPUtime=27.24 cores=0-7 /proc/10145/task/10158/stat : 10158 (java) S 10087 10087 8982 0 -1 1077944384 1 760036 0 0 0 0 2346 378 20 0 22 0 512596841 8481841152 52152 33554432000 4194304 4196468 140720632699296 140123403278800 140125475911579 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10159] ppid=10087 vsize=8283048 memory=14008 CPUtime=27.37 cores=0-7 /proc/10145/task/10159/stat : 10159 (java) S 10087 10087 8982 0 -1 1077944384 658 760036 0 0 13 0 2346 378 20 0 22 0 512596841 8481841152 52152 33554432000 4194304 4196468 140720632699296 140124836657392 140125475904130 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10160] ppid=10087 vsize=8283048 memory=29668 CPUtime=27.4 cores=0-7 /proc/10145/task/10160/stat : 10160 (java) S 10087 10087 8982 0 -1 1077944384 444 760036 0 0 16 0 2346 378 20 0 22 0 512596841 8481841152 52152 33554432000 4194304 4196468 140720632699296 140124835604848 140125475904130 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10161] ppid=10087 vsize=8283048 memory=1228 CPUtime=27.42 cores=0-7 /proc/10145/task/10161/stat : 10161 (java) S 10087 10087 8982 0 -1 1077944384 534 760036 0 0 18 0 2346 378 20 0 22 0 512596841 8481841152 52152 33554432000 4194304 4196468 140720632699296 140124834551792 140125475904130 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10162] ppid=10087 vsize=8283048 memory=9564 CPUtime=27.58 cores=0-7 /proc/10145/task/10162/stat : 10162 (java) S 10087 10087 8982 0 -1 1077944384 1347 760036 0 0 34 0 2346 378 20 0 22 0 512596841 8481841152 52152 33554432000 4194304 4196468 140720632699296 140124833499248 140125475904130 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10163] ppid=10087 vsize=8283048 memory=2672 CPUtime=27.24 cores=0-7 /proc/10145/task/10163/stat : 10163 (java) S 10087 10087 8982 0 -1 1077944384 3 760036 0 0 0 0 2346 378 20 0 22 0 512596841 8481841152 52152 33554432000 4194304 4196468 140720632699296 140122905373664 140125475903189 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10164] ppid=10087 vsize=8283048 memory=1440 CPUtime=27.24 cores=0-7 /proc/10145/task/10164/stat : 10164 (java) S 10087 10087 8982 0 -1 1077944384 3 760036 0 0 0 0 2346 378 20 0 22 0 512596842 8481841152 52152 33554432000 4194304 4196468 140720632699296 140124832447664 140125475904130 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10166] ppid=10087 vsize=8283048 memory=1476 CPUtime=27.24 cores=0-7 /proc/10145/task/10166/stat : 10166 (java) S 10087 10087 8982 0 -1 1077944384 24 760036 0 0 0 0 2346 378 20 0 22 0 512596917 8481841152 52152 33554432000 4194304 4196468 140720632699296 140124824412816 140125475904130 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 [pid=10145/tid=10170] ppid=10087 vsize=8283048 memory=1476 CPUtime=27.24 cores=0-7 /proc/10145/task/10170/stat : 10170 (java) S 10087 10087 8982 0 -1 1077944384 8 760036 0 0 0 0 2346 378 20 0 22 0 512596920 8481841152 52152 33554432000 4194304 4196468 140720632699296 140121965847216 140125475904130 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19005440 140720632701919 140720632702086 140720632702086 140720632704975 0 Current children cumulated CPU time: 584.33 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 210084 KiB Child status: 0 Real time (s): 416.315 CPU time (s): 584.373 CPU user time (s): 552.629 CPU system time (s): 31.7436 CPU usage (%): 140.368 Max. virtual memory (cumulated for all children) (KiB): 27443924 Max. memory (cumulated for all children) (KiB): 16460500 getrusage(RUSAGE_CHILDREN,...) data: user time used= 552.629 system time used= 31.7436 maximum resident set size= 16459300 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 977003 page faults= 0 swaps= 0 block input operations= 8 block output operations= 212312 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 346931 involuntary context switches= 2129 # summary of solver processes directly reported to runsolver: # pid: 10087 # total CPU time (s): 584.373 # total CPU user time (s): 552.629 # total CPU system time (s): 31.7436 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.69271 second user time and 4.08691 second system time The end
Begin job on node126 at 2019-09-25 00:07:32 IDJOB=4405481 IDBENCH=140063 IDSOLVER=2868 FILE ID=node126/4405481-1569362890 RUNJOBID= node126-1569359605-9009 PBS_JOBID= 21705122 Free space on /var/tmp= 13508 MiB SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22) BENCH NAME= XCSP17/Crossword/Crossword-m1c-ogd2008-herald/Crossword-m1c-ogd2008-h1509.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405481-1569362890/watcher-4405481-1569362890 -o /var/tmp/evaluation-result-4405481-1569362890/solver-4405481-1569362890 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node126-1569359605-9009 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405481-1569362890.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 47a2430a9bda935532842a3f94086119 RANDOM SEED=442633179 node126.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.45 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.45 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.45 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.45 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 25257496 kB MemAvailable: 31843976 kB Buffers: 101208 kB Cached: 6716076 kB SwapCached: 7624 kB Active: 3383532 kB Inactive: 3443944 kB Active(anon): 3652 kB Inactive(anon): 56912 kB Active(file): 3379880 kB Inactive(file): 3387032 kB Unevictable: 109444 kB Mlocked: 109444 kB SwapTotal: 67108860 kB SwapFree: 66997096 kB Dirty: 22524 kB Writeback: 4 kB AnonPages: 113556 kB Mapped: 54536 kB Shmem: 41676 kB Slab: 276624 kB SReclaimable: 248028 kB SUnreclaim: 28596 kB KernelStack: 3424 kB PageTables: 5296 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 515776 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 130432 kB DirectMap2M: 33415168 kB Free space on /var/tmp at the end= 13488 MiB End job on node126 at 2019-09-25 00:14:29