Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP hybrid+ManyGlucose (2019-09-22) | UNSAT | 26.7535 | 7.92899 |
Name | QueensKnights/QueensKnights-m1-s1/ QueensKnights-050-05-mul.xml |
MD5SUM | 0dc4c2f273d2e82d82a6e1c594dd299c |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 13.9722 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 55 |
Number of constraints | 1485 |
Number of domains | 2 |
Minimum domain size | 50 |
Maximum domain size | 2500 |
Distribution of domain sizes | [{"size":50,"count":50},{"size":2500,"count":5}] |
Minimum variable degree | 54 |
Maximum variable degree | 54 |
Distribution of variable degrees | [{"degree":54,"count":55}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":1485}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 1485 |
Distribution of constraint types | [{"type":"intension","count":1485}] |
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-19418-serial-file.bin HOME/instance-4405653-1569238646.xml 0.66/0.54 0.66/0.54 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 0.66/0.54 0.66/0.56 c BEGIN-Prog: Mon Sep 23 13:36:44 CEST 2019 0.66/0.56 c PID: 19421 0.66/0.56 c IP: 172.20.3.117 0.66/0.56 c HOST: node117.alineos.net 0.66/0.57 c (0,0) Parsing Begin 3.51/1.42 c (0,0) Parsing End 3.51/1.42 c (0,0) CSP: 55 int (0 aux), 0 bool (0 aux), 1485 ctr, max domain size 2500 3.51/1.42 c (0,0) Heap : 450 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 3.51/1.42 c (0,0) Constraint Name Generate Begin 3.51/1.45 c (0,0) Ctr:HOME/instance-4405653-1569238646.xml,And:Dist:Div:Eq:Mod:Ne:Num:Or:Var 3.51/1.45 c (0,0) Constraint Name Generate End 3.51/1.45 c (0,0) Heap : 450 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 3.51/1.45 c (0,0) CSP to CSPinCNF Begin 4.65/1.72 c (1,1) translated 149 (10%) constraints 5.04/1.81 c (1,1) translated 297 (20%) constraints 5.04/1.88 c (1,1) translated 446 (30%) constraints 5.36/1.93 c (1,1) translated 594 (40%) constraints 5.36/1.98 c (1,1) translated 743 (50%) constraints 5.74/2.03 c (1,1) translated 891 (60%) constraints 5.74/2.07 c (1,1) translated 1040 (70%) constraints 6.11/2.11 c (1,1) translated 1188 (80%) constraints 6.11/2.16 c (1,1) translated 1337 (90%) constraints 6.11/2.17 c (1,1) translated 1485 (100%) constraints 6.11/2.17 c (1,1) =========================================== 6.49/2.21 c (1,1) Hybrid: #OE=1310, #LE=0 6.49/2.21 c (1,1) Hybrid 6.49/2.21 c (1,1) =========================================== 6.49/2.26 c (1,1) translated 525 (10%) constraints 6.49/2.29 c (1,1) translated 1050 (20%) constraints 6.92/2.31 c (1,1) translated 1575 (30%) constraints 6.92/2.34 c (1,1) translated 2100 (40%) constraints 6.92/2.36 c (1,1) translated 2625 (50%) constraints 6.92/2.39 c (1,1) translated 3150 (60%) constraints 7.32/2.41 c (1,1) translated 3675 (70%) constraints 7.32/2.43 c (1,1) translated 4200 (80%) constraints 7.32/2.45 c (1,1) translated 4725 (90%) constraints 7.32/2.49 c (1,1) translated 5250 (100%) constraints 7.32/2.49 c (1,1) CSP to CSPinCNF End 7.74/2.50 c (1,1) CSP: 75 int (20 aux), 1235 bool (1235 aux), 5260 ctr, max domain size 2500 7.74/2.50 c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 7.74/2.50 c (1,1) CSPinCNF Propagation Begin 7.74/2.57 c (2,2) 1 values, 14 unsatisfiable literals, and 21 valid clauses are removed 7.74/2.57 c (2,2) CSPinCNF Propagation End 7.74/2.57 c (2,2) CSP: 75 int (20 aux), 1235 bool (1235 aux), 5239 ctr, max domain size 2500 7.74/2.57 c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 7.74/2.59 c (2,2) Hybrid: #OE=1310, #LE=0 7.74/2.59 c (2,2) Simplify CSPinCNF Begin 8.55/2.75 c (2,2) Simplify CSPinCNF End 8.55/2.75 c (2,2) CSP: 75 int (20 aux), 6683 bool (6683 aux), 10687 ctr, max domain size 2500 8.55/2.75 c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 8.55/2.75 c (2,2) Calculate Precise Domain Begin 8.55/2.75 c (2,2) 0 values are removed by re-calculation 8.55/2.75 c (2,2) Calculate Precise Domain End 8.55/2.75 c (2,2) CSP: 75 int (20 aux), 6683 bool (6683 aux), 10687 ctr, max domain size 2500 8.55/2.75 c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 8.55/2.75 c (2,2) CSPinCNF to SatSolver Begin 10.65/3.21 c (2,2) 1069 (10 %) CSP clauses are encoded (0 SAT variables, 43849 SAT clauses) 11.00/3.37 c (2,2) 2138 (20 %) CSP clauses are encoded (0 SAT variables, 71841 SAT clauses) 11.39/3.52 c (2,2) 3207 (30 %) CSP clauses are encoded (0 SAT variables, 100202 SAT clauses) 11.50/3.68 c (3,3) 4275 (40 %) CSP clauses are encoded (0 SAT variables, 130208 SAT clauses) 11.76/3.84 c (3,3) 5344 (50 %) CSP clauses are encoded (0 SAT variables, 160469 SAT clauses) 11.90/4.00 c (3,3) 6413 (60 %) CSP clauses are encoded (0 SAT variables, 192369 SAT clauses) 12.17/4.16 c (3,3) 7481 (70 %) CSP clauses are encoded (0 SAT variables, 225176 SAT clauses) 12.44/4.32 c (3,3) 8550 (80 %) CSP clauses are encoded (0 SAT variables, 259465 SAT clauses) 12.54/4.50 c (3,3) 9619 (90 %) CSP clauses are encoded (0 SAT variables, 296004 SAT clauses) 13.68/4.94 c (4,4) 10687 (100 %) CSP clauses are encoded (0 SAT variables, 406587 SAT clauses) 13.68/4.94 c (4,4) CSPinCNF to SatSolver End 13.68/4.94 c (4,4) Heap : 2027 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB) 13.68/4.94 c (4,4) 22607 bool, 406637 clause 13.68/4.94 c (4,4) Export Begin 13.84/5.03 c (4,4) Export to HOME/scop-19418-serial-file.bin 13.84/5.03 c (4,4) Export End 13.84/5.03 c (4,4) Export File Size: 0.01 MB 13.84/5.03 c (4,4) 0,0,1,2,2,2,4,STOP-AFTER(DIMACS) 13.84/5.03 c END-Prog: Mon Sep 23 13:36:48 CEST 2019 13.84/5.05 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-19418-serial-file.bin 13.91/5.51 c (0,0) Read Serial File Begin 13.91/5.51 c (0,0) HOME/scop-19418-serial-file.bin 13.91/5.71 c (0,0) Read Serial File End 13.91/5.72 13.91/5.72 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 13.91/5.72 (Solving Process) 13.91/5.72 13.91/5.74 c BEGIN-Prog: Mon Sep 23 13:36:49 CEST 2019 13.91/5.74 c PID: 19441 13.91/5.74 c IP: 172.20.3.117 13.91/5.74 c HOST: node117.alineos.net 13.91/5.75 c (0,0) SatSolver.solve Begin 13.91/5.75 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405653-1569238646.xml-scop-19421.cnf 13.91/5.77 c (0,0) c 13.91/5.77 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) 13.91/5.77 c (0,0) c 13.91/5.77 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 13.91/5.77 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 13.91/5.78 c (0,0) c ========================================[ Problem Statistics ]=========================================== 13.91/5.78 c (0,0) c | | 13.91/5.90 c (0,0) c | Number of variables: 22607 | 13.91/5.90 c (0,0) c | Number of clauses: 406637 | 13.91/5.90 c (0,0) c | Parse time: 0.11 s | 13.91/5.90 c (0,0) c | | 15.56/6.33 c (0,0) c | Simplification time: 0.42 s | 15.56/6.33 c (0,0) c | | 15.56/6.33 c (0,0) c | Generating clones | 15.65/6.44 c (1,0) c | all clones generated. Memory = 247.30Mb. | 15.65/6.44 c (1,0) c ========================================================================================================| 15.65/6.44 c (1,0) c 15.65/6.44 c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 15.65/6.44 c (1,0) c 15.65/6.44 c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 15.65/6.44 c (1,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 15.65/6.44 c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 15.65/6.44 c (1,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 15.65/6.44 c (1,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 15.65/6.44 c (1,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 15.65/6.44 c (1,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 15.65/6.44 c (1,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 15.65/6.44 c (1,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 15.65/6.44 c (1,0) c | glureduce | True | True | True | True | True | True | True | True | 15.65/6.44 c (1,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 15.65/6.44 c (1,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 15.65/6.44 c (1,0) c | luby_restart | False | False | False | False | False | False | False | False | 15.65/6.44 c (1,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 15.65/6.44 c (1,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 15.65/6.44 c (1,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 15.65/6.44 c (1,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 15.65/6.44 c (1,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 15.65/6.44 c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 26.33/7.88 c (2,0) c 26.33/7.88 c (2,0) c real time : 2.11251 s 26.33/7.88 c (2,0) c cpu time : 11.3475 s 26.33/7.88 c (2,0) c 26.33/7.88 c (2,0) c 26.33/7.88 c (2,0) c 26.33/7.88 c (2,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 26.33/7.88 c (2,0) c 26.33/7.88 c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 26.33/7.88 c (2,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 26.33/7.88 c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 26.33/7.88 c (2,0) c | Conflicts | 24685 | 2330 | 1951 | 5973 | 3136 | 3078 | 1868 | 3321 | 3028 | 26.33/7.88 c (2,0) c | Decisions | 41498 | 3899 | 7447 | 8161 | 4614 | 4543 | 3515 | 4618 | 4701 | 26.33/7.88 c (2,0) c | Propagations | 35749702 | 3752042 | 5077563 | 5165193 | 4089461 | 4486616 | 4637829 | 4784026 | 3756972 | 26.33/7.88 c (2,0) c | ReduceDBs | 6 | 1 | 0 | 1 | 1 | 1 | 0 | 1 | 1 | 26.33/7.88 c (2,0) c | SimpDBs | 17 | 1 | 1 | 4 | 2 | 2 | 1 | 3 | 3 | 26.33/7.88 c (2,0) c | Restarts | 21 | 2 | 3 | 1 | 4 | 2 | 4 | 2 | 3 | 26.33/7.88 c (2,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 26.33/7.88 c (2,0) c | PropBinClauses| 40431609 | 4250980 | 5591844 | 5931194 | 4653885 | 5104045 | 5125265 | 5427409 | 4346987 | 26.33/7.88 c (2,0) c | PropPreBlocker| 185785671 | 17892779 | 27742571 | 30555429 | 21319473 | 19356088 | 25173926 | 22391880 | 21353525 | 26.33/7.88 c (2,0) c | PropNotBlocker| 51784034 | 5689673 | 4783730 | 7297449 | 6373845 | 6775584 | 7922101 | 7209762 | 5731890 | 26.33/7.88 c (2,0) c | LitFullScans | 312185672 | 30021047 | 42014852 | 50886841 | 36002771 | 34927744 | 42008984 | 40320492 | 36002941 | 26.33/7.88 c (2,0) c | LitScanFracts | 20519 | 77 | 3635 | 6305 | 2771 | 986 | 1824 | 2076 | 2845 | 26.33/7.88 c (2,0) c | DecisionLevel0| 56 | 2 | 3 | 12 | 6 | 9 | 4 | 13 | 7 | 26.33/7.88 c (2,0) c | Periods | 50 | 5 | 7 | 8 | 6 | 5 | 7 | 6 | 6 | 26.33/7.88 c (2,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 26.33/7.89 c (2,0) c | Avg_Trail | | 10873 | 18334 | 12277 | 10529 | 7680 | 15480 | 9354 | 10704 | 26.33/7.89 c (2,0) c | Avg_DL | | 43 | 115 | 22 | 48 | 18 | 103 | 19 | 33 | 26.33/7.89 c (2,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 26.33/7.89 c (2,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 26.33/7.89 c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 26.33/7.89 c (2,0) c | Exported | 526 | 10 | 43 | 244 | 32 | 64 | 8 | 82 | 43 | 26.33/7.89 c (2,0) c | Imported | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 26.33/7.89 c (2,0) c | Good | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 26.33/7.89 c (2,0) c | Purge | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 26.33/7.89 c (2,0) c | Promoted | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 26.33/7.89 c (2,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 26.33/7.89 c (2,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 26.33/7.89 c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 26.33/7.89 c (2,0) c | Unaries | | 0 | 0 | 11 | 2 | 7 | 0 | 11 | 4 | 26.33/7.89 c (2,0) c | Binaries | | 5 | 3 | 40 | 21 | 40 | 5 | 50 | 24 | 26.33/7.89 c (2,0) c | Glues | | 10 | 43 | 83 | 32 | 64 | 8 | 82 | 43 | 26.33/7.89 c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 26.33/7.89 c (2,0) c | Orig_Seen | 1 % | 11511 | 6510 | 6287 | 6676 | 4840 | 9613 | 7164 | 7607 | 26.33/7.89 c (2,0) c | Diff Orig seen| | 6671 | 1670 | 1447 | 1836 | X | 4773 | 2324 | 2767 | 26.33/7.89 c (2,0) c | Hamming | 28 % | 5004 | 3983 | 6929 | 6551 | X | 8634 | 6859 | 7082 | 26.33/7.89 c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 26.33/7.89 c (2,0) c | RunningTime | | 1.4 100%| 1.4 100%| 1.4 100%| 1.4 100%| 1.3 100%| 1.4 100%| 1.4 100%| 1.4 100%| 26.33/7.89 c (2,0) c | WaitingTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 26.33/7.89 c (2,0) c | ExchangingTime| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 26.33/7.89 c (2,0) c | PeriodProcTime| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 26.33/7.89 c (2,0) c | SolvingTime | | 1.4 | 1.4 | 1.4 | 1.4 | 1.3 | 1.4 | 1.4 | 1.4 | 26.33/7.89 c (2,0) c | PropagationTim| | 1.4 96%| 1.4 95%| 1.3 92%| 1.3 94%| 1.3 94%| 1.3 95%| 1.3 94%| 1.3 93%| 26.33/7.89 c (2,0) c | AnalysisTime | | 0.0 2%| 0.0 2%| 0.0 2%| 0.0 2%| 0.0 2%| 0.0 2%| 0.0 2%| 0.0 2%| 26.33/7.89 c (2,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%| 26.33/7.89 c (2,0) c | SimplifyTime | | 0.0 0%| 0.0 0%| 0.0 2%| 0.0 1%| 0.0 1%| 0.0 0%| 0.0 2%| 0.0 2%| 26.33/7.89 c (2,0) c | UsedRateTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 26.33/7.89 c (2,0) c | OverlapRateTim| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 26.33/7.89 c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 26.33/7.89 c (2,0) c 26.33/7.89 c (2,0) c 26.33/7.89 c (2,0) c Threads : 8 26.33/7.89 c (2,0) c Winner : 4 26.33/7.89 c (2,0) c Conflicts_0 : 2330 26.33/7.89 c (2,0) c Conflicts_1 : 1951 26.33/7.89 c (2,0) c Conflicts_2 : 5973 26.33/7.89 c (2,0) c Conflicts_3 : 3136 26.33/7.89 c (2,0) c Conflicts_4 : 3078 26.33/7.89 c (2,0) c Conflicts_5 : 1868 26.33/7.89 c (2,0) c Conflicts_6 : 3321 26.33/7.89 c (2,0) c Conflicts_7 : 3028 26.33/7.89 c (2,0) c Conflicts_total : 24685 26.33/7.89 c (2,0) c Conflicts_winner : 3078 26.33/7.89 c (2,0) c Decisions_0 : 3899 26.33/7.89 c (2,0) c Decisions_1 : 7447 26.33/7.89 c (2,0) c Decisions_2 : 8161 26.33/7.89 c (2,0) c Decisions_3 : 4614 26.33/7.89 c (2,0) c Decisions_4 : 4543 26.33/7.89 c (2,0) c Decisions_5 : 3515 26.33/7.89 c (2,0) c Decisions_6 : 4618 26.33/7.89 c (2,0) c Decisions_7 : 4701 26.33/7.89 c (2,0) c Decisions_total : 41498 26.33/7.89 c (2,0) c Decisions_winner : 4543 26.33/7.89 c (2,0) c Propagations_0 : 3752042 26.33/7.89 c (2,0) c Propagations_1 : 5077563 26.33/7.89 c (2,0) c Propagations_2 : 5165193 26.33/7.89 c (2,0) c Propagations_3 : 4089461 26.33/7.89 c (2,0) c Propagations_4 : 4486616 26.33/7.89 c (2,0) c Propagations_5 : 4637829 26.33/7.89 c (2,0) c Propagations_6 : 4784026 26.33/7.89 c (2,0) c Propagations_7 : 3756972 26.33/7.89 c (2,0) c Propagations_total : 35749702 26.33/7.89 c (2,0) c Propagations_winner : 4486616 26.33/7.89 c (2,0) c ReduceDBs_0 : 1 26.33/7.89 c (2,0) c ReduceDBs_1 : 0 26.33/7.89 c (2,0) c ReduceDBs_2 : 1 26.33/7.89 c (2,0) c ReduceDBs_3 : 1 26.33/7.89 c (2,0) c ReduceDBs_4 : 1 26.33/7.89 c (2,0) c ReduceDBs_5 : 0 26.33/7.89 c (2,0) c ReduceDBs_6 : 1 26.33/7.89 c (2,0) c ReduceDBs_7 : 1 26.33/7.89 c (2,0) c ReduceDBs_total : 6 26.33/7.89 c (2,0) c ReduceDBs_winner : 1 26.33/7.89 c (2,0) c SimpDBs_0 : 1 26.33/7.89 c (2,0) c SimpDBs_1 : 1 26.33/7.89 c (2,0) c SimpDBs_2 : 4 26.33/7.89 c (2,0) c SimpDBs_3 : 2 26.33/7.89 c (2,0) c SimpDBs_4 : 2 26.33/7.89 c (2,0) c SimpDBs_5 : 1 26.33/7.89 c (2,0) c SimpDBs_6 : 3 26.33/7.89 c (2,0) c SimpDBs_7 : 3 26.33/7.89 c (2,0) c SimpDBs_total : 17 26.33/7.89 c (2,0) c SimpDBs_winner : 2 26.33/7.89 c (2,0) c Restarts_0 : 2 26.33/7.89 c (2,0) c Restarts_1 : 3 26.33/7.89 c (2,0) c Restarts_2 : 1 26.33/7.89 c (2,0) c Restarts_3 : 4 26.33/7.89 c (2,0) c Restarts_4 : 2 26.33/7.89 c (2,0) c Restarts_5 : 4 26.33/7.89 c (2,0) c Restarts_6 : 2 26.33/7.89 c (2,0) c Restarts_7 : 3 26.33/7.89 c (2,0) c Restarts_total : 21 26.33/7.89 c (2,0) c Restarts_winner : 2 26.33/7.89 c (2,0) c ForcedImports_0 : 0 26.33/7.89 c (2,0) c ForcedImports_1 : 0 26.33/7.89 c (2,0) c ForcedImports_2 : 0 26.33/7.89 c (2,0) c ForcedImports_3 : 0 26.33/7.89 c (2,0) c ForcedImports_4 : 0 26.33/7.89 c (2,0) c ForcedImports_5 : 0 26.33/7.89 c (2,0) c ForcedImports_6 : 0 26.33/7.89 c (2,0) c ForcedImports_7 : 0 26.33/7.89 c (2,0) c ForcedImports_total : 0 26.33/7.89 c (2,0) c ForcedImports_winner : 0 26.33/7.89 c (2,0) c PropsBinClauses_0 : 4250980 26.33/7.89 c (2,0) c PropsBinClauses_1 : 5591844 26.33/7.89 c (2,0) c PropsBinClauses_2 : 5931194 26.33/7.89 c (2,0) c PropsBinClauses_3 : 4653885 26.33/7.89 c (2,0) c PropsBinClauses_4 : 5104045 26.33/7.89 c (2,0) c PropsBinClauses_5 : 5125265 26.33/7.89 c (2,0) c PropsBinClauses_6 : 5427409 26.33/7.89 c (2,0) c PropsBinClauses_7 : 4346987 26.33/7.89 c (2,0) c PropsBinClauses_total : 40431609 26.33/7.89 c (2,0) c PropsBinClauses_winner : 5104045 26.33/7.89 c (2,0) c PropsPreBlocker_0 : 17892779 26.33/7.89 c (2,0) c PropsPreBlocker_1 : 27742571 26.33/7.89 c (2,0) c PropsPreBlocker_2 : 30555429 26.33/7.89 c (2,0) c PropsPreBlocker_3 : 21319473 26.33/7.89 c (2,0) c PropsPreBlocker_4 : 19356088 26.33/7.89 c (2,0) c PropsPreBlocker_5 : 25173926 26.33/7.89 c (2,0) c PropsPreBlocker_6 : 22391880 26.33/7.89 c (2,0) c PropsPreBlocker_7 : 21353525 26.33/7.89 c (2,0) c PropsPreBlocker_total : 185785671 26.33/7.89 c (2,0) c PropsPreBlocker_winner : 19356088 26.33/7.89 c (2,0) c PropsNotBlocker_0 : 5689673 26.33/7.89 c (2,0) c PropsNotBlocker_1 : 4783730 26.33/7.89 c (2,0) c PropsNotBlocker_2 : 7297449 26.33/7.89 c (2,0) c PropsNotBlocker_3 : 6373845 26.33/7.89 c (2,0) c PropsNotBlocker_4 : 6775584 26.33/7.89 c (2,0) c PropsNotBlocker_5 : 7922101 26.33/7.89 c (2,0) c PropsNotBlocker_6 : 7209762 26.33/7.89 c (2,0) c PropsNotBlocker_7 : 5731890 26.33/7.89 c (2,0) c PropsNotBlocker_total : 51784034 26.33/7.89 c (2,0) c PropsNotBlocker_winner : 6775584 26.33/7.89 c (2,0) c PropsLitFullScans_0 : 30021047 26.33/7.89 c (2,0) c PropsLitFullScans_1 : 42014852 26.33/7.89 c (2,0) c PropsLitFullScans_2 : 50886841 26.33/7.89 c (2,0) c PropsLitFullScans_3 : 36002771 26.33/7.89 c (2,0) c PropsLitFullScans_4 : 34927744 26.33/7.89 c (2,0) c PropsLitFullScans_5 : 42008984 26.33/7.89 c (2,0) c PropsLitFullScans_6 : 40320492 26.33/7.89 c (2,0) c PropsLitFullScans_7 : 36002941 26.33/7.89 c (2,0) c PropsLitFullScans_total : 312185672 26.33/7.89 c (2,0) c PropsLitFullScans_winner : 34927744 26.33/7.89 c (2,0) c LitScanFractions_0 : 77 26.33/7.89 c (2,0) c LitScanFractions_1 : 3635 26.33/7.89 c (2,0) c LitScanFractions_2 : 6305 26.33/7.89 c (2,0) c LitScanFractions_3 : 2771 26.33/7.89 c (2,0) c LitScanFractions_4 : 986 26.33/7.89 c (2,0) c LitScanFractions_5 : 1824 26.33/7.89 c (2,0) c LitScanFractions_6 : 2076 26.33/7.89 c (2,0) c LitScanFractions_7 : 2845 26.33/7.89 c (2,0) c LitScanFractions_total : 20519 26.33/7.89 c (2,0) c LitScanFractions_winner : 986 26.33/7.89 c (2,0) c DecisionLevel0_0 : 2 26.33/7.89 c (2,0) c DecisionLevel0_1 : 3 26.33/7.89 c (2,0) c DecisionLevel0_2 : 12 26.33/7.89 c (2,0) c DecisionLevel0_3 : 6 26.33/7.89 c (2,0) c DecisionLevel0_4 : 9 26.33/7.89 c (2,0) c DecisionLevel0_5 : 4 26.33/7.89 c (2,0) c DecisionLevel0_6 : 13 26.33/7.89 c (2,0) c DecisionLevel0_7 : 7 26.33/7.89 c (2,0) c DecisionLevel0_total : 56 26.33/7.89 c (2,0) c DecisionLevel0_winner : 9 26.33/7.89 c (2,0) c Periods_0 : 5 26.33/7.89 c (2,0) c Periods_1 : 7 26.33/7.89 c (2,0) c Periods_2 : 8 26.33/7.89 c (2,0) c Periods_3 : 6 26.33/7.89 c (2,0) c Periods_4 : 5 26.33/7.89 c (2,0) c Periods_5 : 7 26.33/7.89 c (2,0) c Periods_6 : 6 26.33/7.89 c (2,0) c Periods_7 : 6 26.33/7.89 c (2,0) c Periods_total : 50 26.33/7.89 c (2,0) c Periods_winner : 5 26.33/7.89 c (2,0) c Margin_0 : 20 26.33/7.89 c (2,0) c Margin_1 : 20 26.33/7.89 c (2,0) c Margin_2 : 20 26.33/7.89 c (2,0) c Margin_3 : 20 26.33/7.89 c (2,0) c Margin_4 : 20 26.33/7.89 c (2,0) c Margin_5 : 20 26.33/7.89 c (2,0) c Margin_6 : 20 26.33/7.89 c (2,0) c Margin_7 : 20 26.33/7.89 c (2,0) c Margin_total : 160 26.33/7.89 c (2,0) c Margin_winner : 20 26.33/7.89 c (2,0) c Exported_0 : 10 26.33/7.89 c (2,0) c Exported_1 : 43 26.33/7.89 c (2,0) c Exported_2 : 244 26.33/7.89 c (2,0) c Exported_3 : 32 26.33/7.89 c (2,0) c Exported_4 : 64 26.33/7.89 c (2,0) c Exported_5 : 8 26.33/7.89 c (2,0) c Exported_6 : 82 26.33/7.89 c (2,0) c Exported_7 : 43 26.33/7.89 c (2,0) c Exported_total : 526 26.33/7.89 c (2,0) c Exported_winner : 64 26.33/7.89 c (2,0) c Imported_0 : 0 26.33/7.89 c (2,0) c Imported_1 : 0 26.33/7.89 c (2,0) c Imported_2 : 0 26.33/7.89 c (2,0) c Imported_3 : 0 26.33/7.89 c (2,0) c Imported_4 : 0 26.33/7.89 c (2,0) c Imported_5 : 0 26.33/7.89 c (2,0) c Imported_6 : 0 26.33/7.89 c (2,0) c Imported_7 : 0 26.33/7.89 c (2,0) c Imported_total : 0 26.33/7.89 c (2,0) c Imported_winner : 0 26.33/7.89 c (2,0) c Good_0 : 0 26.33/7.89 c (2,0) c Good_1 : 0 26.33/7.89 c (2,0) c Good_2 : 0 26.33/7.89 c (2,0) c Good_3 : 0 26.33/7.89 c (2,0) c Good_4 : 0 26.33/7.89 c (2,0) c Good_5 : 0 26.33/7.89 c (2,0) c Good_6 : 0 26.33/7.89 c (2,0) c Good_7 : 0 26.33/7.89 c (2,0) c Good_total : 0 26.33/7.89 c (2,0) c Good_winner : 0 26.33/7.89 c (2,0) c Purge_0 : 0 26.33/7.89 c (2,0) c Purge_1 : 0 26.33/7.89 c (2,0) c Purge_2 : 0 26.33/7.89 c (2,0) c Purge_3 : 0 26.33/7.89 c (2,0) c Purge_4 : 0 26.33/7.89 c (2,0) c Purge_5 : 0 26.33/7.89 c (2,0) c Purge_6 : 0 26.33/7.89 c (2,0) c Purge_7 : 0 26.33/7.89 c (2,0) c Purge_total : 0 26.33/7.89 c (2,0) c Purge_winner : 0 26.33/7.89 c (2,0) c Promoted_0 : 0 26.33/7.89 c (2,0) c Promoted_1 : 0 26.33/7.89 c (2,0) c Promoted_2 : 0 26.33/7.89 c (2,0) c Promoted_3 : 0 26.33/7.89 c (2,0) c Promoted_4 : 0 26.33/7.89 c (2,0) c Promoted_5 : 0 26.33/7.89 c (2,0) c Promoted_6 : 0 26.33/7.89 c (2,0) c Promoted_7 : 0 26.33/7.89 c (2,0) c Promoted_total : 0 26.33/7.89 c (2,0) c Promoted_winner : 0 26.33/7.89 c (2,0) c Remove_Imp_0 : 0 26.33/7.89 c (2,0) c Remove_Imp_1 : 0 26.33/7.89 c (2,0) c Remove_Imp_2 : 0 26.33/7.89 c (2,0) c Remove_Imp_3 : 0 26.33/7.89 c (2,0) c Remove_Imp_4 : 0 26.33/7.89 c (2,0) c Remove_Imp_5 : 0 26.33/7.89 c (2,0) c Remove_Imp_6 : 0 26.33/7.90 c (2,0) c Remove_Imp_7 : 0 26.33/7.90 c (2,0) c Remove_Imp_total : 0 26.33/7.90 c (2,0) c Remove_Imp_winner : 0 26.33/7.90 c (2,0) c Blocked_Reuse_0 : 0 26.33/7.90 c (2,0) c Blocked_Reuse_1 : 0 26.33/7.90 c (2,0) c Blocked_Reuse_2 : 0 26.33/7.90 c (2,0) c Blocked_Reuse_3 : 0 26.33/7.90 c (2,0) c Blocked_Reuse_4 : 0 26.33/7.90 c (2,0) c Blocked_Reuse_5 : 0 26.33/7.90 c (2,0) c Blocked_Reuse_6 : 0 26.33/7.90 c (2,0) c Blocked_Reuse_7 : 0 26.33/7.90 c (2,0) c Blocked_Reuse_total : 0 26.33/7.90 c (2,0) c Blocked_Reuse_winner : 0 26.33/7.90 c (2,0) c Unaries_0 : 0 26.33/7.90 c (2,0) c Unaries_1 : 0 26.33/7.90 c (2,0) c Unaries_2 : 11 26.33/7.90 c (2,0) c Unaries_3 : 2 26.33/7.90 c (2,0) c Unaries_4 : 7 26.33/7.90 c (2,0) c Unaries_5 : 0 26.33/7.90 c (2,0) c Unaries_6 : 11 26.33/7.90 c (2,0) c Unaries_7 : 4 26.33/7.90 c (2,0) c Unaries_total : 35 26.33/7.90 c (2,0) c Unaries_winner : 7 26.33/7.90 c (2,0) c Binaries_0 : 5 26.33/7.90 c (2,0) c Binaries_1 : 3 26.33/7.90 c (2,0) c Binaries_2 : 40 26.33/7.90 c (2,0) c Binaries_3 : 21 26.33/7.90 c (2,0) c Binaries_4 : 40 26.33/7.90 c (2,0) c Binaries_5 : 5 26.33/7.90 c (2,0) c Binaries_6 : 50 26.33/7.90 c (2,0) c Binaries_7 : 24 26.33/7.90 c (2,0) c Binaries_total : 188 26.33/7.90 c (2,0) c Binaries_winner : 40 26.33/7.90 c (2,0) c Glues_0 : 10 26.33/7.90 c (2,0) c Glues_1 : 43 26.33/7.90 c (2,0) c Glues_2 : 83 26.33/7.90 c (2,0) c Glues_3 : 32 26.33/7.90 c (2,0) c Glues_4 : 64 26.33/7.90 c (2,0) c Glues_5 : 8 26.33/7.90 c (2,0) c Glues_6 : 82 26.33/7.90 c (2,0) c Glues_7 : 43 26.33/7.90 c (2,0) c Glues_total : 365 26.33/7.90 c (2,0) c Glues_winner : 64 26.33/7.90 c (2,0) c RunningTime_0 : 1.438547 26.33/7.90 c (2,0) c RunningTime_1 : 1.431231 26.33/7.90 c (2,0) c RunningTime_2 : 1.365664 26.33/7.90 c (2,0) c RunningTime_3 : 1.404891 26.33/7.90 c (2,0) c RunningTime_4 : 1.326442 26.33/7.90 c (2,0) c RunningTime_5 : 1.362368 26.33/7.90 c (2,0) c RunningTime_6 : 1.390300 26.33/7.90 c (2,0) c RunningTime_7 : 1.377166 26.33/7.90 c (2,0) c RunningTime_total : 11.096610 26.33/7.90 c (2,0) c RunningTime_winner : 1.326442 26.33/7.90 c (2,0) c WaitingTime_0 : 0.000000 26.33/7.90 c (2,0) c WaitingTime_1 : 0.000000 26.33/7.90 c (2,0) c WaitingTime_2 : 0.000000 26.33/7.90 c (2,0) c WaitingTime_3 : 0.000000 26.33/7.90 c (2,0) c WaitingTime_4 : 0.000000 26.33/7.90 c (2,0) c WaitingTime_5 : 0.000000 26.67/7.90 c (2,0) c WaitingTime_6 : 0.000000 26.67/7.90 c (2,0) c WaitingTime_7 : 0.000000 26.67/7.90 c (2,0) c WaitingTime_total : 0.000000 26.67/7.90 c (2,0) c WaitingTime_winner : 0.000000 26.67/7.90 c (2,0) c ExchangingTime_0 : 0.000221 26.67/7.90 c (2,0) c ExchangingTime_1 : 0.000319 26.67/7.90 c (2,0) c ExchangingTime_2 : 0.000490 26.67/7.90 c (2,0) c ExchangingTime_3 : 0.000289 26.67/7.90 c (2,0) c ExchangingTime_4 : 0.000306 26.67/7.90 c (2,0) c ExchangingTime_5 : 0.000236 26.67/7.90 c (2,0) c ExchangingTime_6 : 0.000330 26.67/7.90 c (2,0) c ExchangingTime_7 : 0.000371 26.67/7.90 c (2,0) c ExchangingTime_total : 0.002563 26.67/7.90 c (2,0) c ExchangingTime_winner : 0.000306 26.67/7.90 c (2,0) c PeriodProcTime_0 : 0.000056 26.67/7.90 c (2,0) c PeriodProcTime_1 : 0.000086 26.67/7.90 c (2,0) c PeriodProcTime_2 : 0.000113 26.67/7.90 c (2,0) c PeriodProcTime_3 : 0.000064 26.67/7.90 c (2,0) c PeriodProcTime_4 : 0.000055 26.67/7.90 c (2,0) c PeriodProcTime_5 : 0.000125 26.67/7.90 c (2,0) c PeriodProcTime_6 : 0.000066 26.67/7.90 c (2,0) c PeriodProcTime_7 : 0.000051 26.67/7.90 c (2,0) c PeriodProcTime_total : 0.000615 26.67/7.90 c (2,0) c PeriodProcTime_winner : 0.000055 26.67/7.90 c (2,0) c SolvingTime_0 : 1.438824 26.67/7.90 c (2,0) c SolvingTime_1 : 1.431637 26.67/7.90 c (2,0) c SolvingTime_2 : 1.366267 26.67/7.90 c (2,0) c SolvingTime_3 : 1.405243 26.67/7.90 c (2,0) c SolvingTime_4 : 1.326804 26.67/7.90 c (2,0) c SolvingTime_5 : 1.362729 26.67/7.90 c (2,0) c SolvingTime_6 : 1.390696 26.67/7.90 c (2,0) c SolvingTime_7 : 1.377588 26.67/7.90 c (2,0) c SolvingTime_total : 11.099788 26.67/7.90 c (2,0) c SolvingTime_winner : 1.326804 26.67/7.90 c (2,0) c PropagationTime_0 : 1.376436 26.67/7.90 c (2,0) c PropagationTime_1 : 1.366446 26.67/7.90 c (2,0) c PropagationTime_2 : 1.255941 26.67/7.90 c (2,0) c PropagationTime_3 : 1.326430 26.67/7.90 c (2,0) c PropagationTime_4 : 1.251998 26.67/7.90 c (2,0) c PropagationTime_5 : 1.295130 26.67/7.90 c (2,0) c PropagationTime_6 : 1.301739 26.67/7.90 c (2,0) c PropagationTime_7 : 1.285596 26.67/7.90 c (2,0) c PropagationTime_total : 10.459716 26.67/7.90 c (2,0) c PropagationTime_winner : 1.251998 26.67/7.90 c (2,0) c AnalysisTime_0 : 0.024295 26.67/7.90 c (2,0) c AnalysisTime_1 : 0.025047 26.67/7.90 c (2,0) c AnalysisTime_2 : 0.033429 26.67/7.90 c (2,0) c AnalysisTime_3 : 0.026298 26.67/7.90 c (2,0) c AnalysisTime_4 : 0.025836 26.67/7.90 c (2,0) c AnalysisTime_5 : 0.028232 26.67/7.90 c (2,0) c AnalysisTime_6 : 0.027887 26.67/7.90 c (2,0) c AnalysisTime_7 : 0.025727 26.67/7.90 c (2,0) c AnalysisTime_total : 0.216751 26.67/7.90 c (2,0) c AnalysisTime_winner : 0.025836 26.67/7.90 c (2,0) c ReductionTime_0 : 0.000399 26.67/7.90 c (2,0) c ReductionTime_1 : 0.000000 26.67/7.90 c (2,0) c ReductionTime_2 : 0.000316 26.67/7.90 c (2,0) c ReductionTime_3 : 0.000365 26.67/7.90 c (2,0) c ReductionTime_4 : 0.000343 26.67/7.90 c (2,0) c ReductionTime_5 : 0.000000 26.67/7.90 c (2,0) c ReductionTime_6 : 0.000338 26.67/7.90 c (2,0) c ReductionTime_7 : 0.000153 26.67/7.90 c (2,0) c ReductionTime_total : 0.001914 26.67/7.90 c (2,0) c ReductionTime_winner : 0.000343 26.67/7.90 c (2,0) c SimplifyTime_0 : 0.000000 26.67/7.90 c (2,0) c SimplifyTime_1 : 0.000000 26.67/7.90 c (2,0) c SimplifyTime_2 : 0.033051 26.67/7.90 c (2,0) c SimplifyTime_3 : 0.013150 26.67/7.90 c (2,0) c SimplifyTime_4 : 0.009608 26.67/7.90 c (2,0) c SimplifyTime_5 : 0.000001 26.67/7.90 c (2,0) c SimplifyTime_6 : 0.021852 26.67/7.90 c (2,0) c SimplifyTime_7 : 0.028541 26.67/7.90 c (2,0) c SimplifyTime_total : 0.106203 26.67/7.90 c (2,0) c SimplifyTime_winner : 0.009608 26.67/7.90 c (2,0) c UsedRateTime_0 : 0.000000 26.67/7.90 c (2,0) c UsedRateTime_1 : 0.000000 26.67/7.90 c (2,0) c UsedRateTime_2 : 0.000000 26.67/7.90 c (2,0) c UsedRateTime_3 : 0.000000 26.67/7.90 c (2,0) c UsedRateTime_4 : 0.000000 26.67/7.90 c (2,0) c UsedRateTime_5 : 0.000000 26.67/7.90 c (2,0) c UsedRateTime_6 : 0.000000 26.67/7.90 c (2,0) c UsedRateTime_7 : 0.000000 26.67/7.90 c (2,0) c UsedRateTime_total : 0.000000 26.67/7.90 c (2,0) c UsedRateTime_winner : 0.000000 26.67/7.90 c (2,0) c OverlapRateTime_0 : 0.000000 26.67/7.90 c (2,0) c OverlapRateTime_1 : 0.000000 26.67/7.90 c (2,0) c OverlapRateTime_2 : 0.000000 26.67/7.90 c (2,0) c OverlapRateTime_3 : 0.000000 26.67/7.90 c (2,0) c OverlapRateTime_4 : 0.000000 26.67/7.90 c (2,0) c OverlapRateTime_5 : 0.000000 26.67/7.90 c (2,0) c OverlapRateTime_6 : 0.000000 26.67/7.90 c (2,0) c OverlapRateTime_7 : 0.000000 26.67/7.90 c (2,0) c OverlapRateTime_total : 0.000000 26.67/7.90 c (2,0) c OverlapRateTime_winner : 0.000000 26.67/7.90 c (2,0) c 26.67/7.90 c (2,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 26.67/7.90 c (2,0) c 26.67/7.90 c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 26.67/7.90 c (2,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 26.67/7.90 c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 26.67/7.90 c (2,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 26.67/7.90 c (2,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 26.67/7.90 c (2,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 26.67/7.90 c (2,0) c | Initial random_seed | 1061718931 | 725560980 | 877757537 | 177446975 | 21685003 | 26394886 | 948891517 | 1862541 | 26.67/7.90 c (2,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 26.67/7.90 c (2,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 26.67/7.90 c (2,0) c | glureduce | True | True | True | True | True | True | True | True | 26.67/7.90 c (2,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 26.67/7.90 c (2,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 26.67/7.90 c (2,0) c | luby_restart | False | False | False | False | False | False | False | False | 26.67/7.90 c (2,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 26.67/7.90 c (2,0) c | var_decay | 0.8000 | 0.8000 | 0.8100 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 26.67/7.90 c (2,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 26.67/7.90 c (2,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 26.67/7.90 c (2,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 26.67/7.90 c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 26.67/7.90 c (2,0) 26.67/7.90 c (2,0) s UNSATISFIABLE 26.67/7.90 c (2,0) SatSolver.solve End 26.67/7.90 c (2,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 26.67/7.90 c (2,0) Show results Begin 26.67/7.90 s UNSATISFIABLE 26.67/7.90 c (2,0) Show results End 26.67/7.90 c (2,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 26.67/7.91 c (2,0) 2,2,STOP-AFTER(ALL) 26.67/7.91 c END-Prog: Mon Sep 23 13:36:51 CEST 2019
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (12348 MiB free) memory of node 1: 16384 MiB (12368 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405653-1569238646/watcher-4405653-1569238646 -o /var/tmp/evaluation-result-4405653-1569238646/solver-4405653-1569238646 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node117-1569238588-19155 --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-4405653-1569238646.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=19418, runsolver pid=19415 Current StackSize limit: 8192 KiB [startup+0.100156 s]* /proc/loadavg: 0.13 0.05 0.05 3/213 19440 /proc/meminfo: memFree=25216684/32770624 swapFree=66973900/67108860 [pid=19418] ppid=19415 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/19418/stat : 19418 (scop.sh) S 19415 19418 19128 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 499806467 115843072 349 33554432000 4194304 5098028 140720512047152 140720512044408 140202751238780 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26112000 140720512049916 140720512050264 140720512050264 140720512053193 0 /proc/19418/statm: 28282 349 296 221 0 87 0 [pid=19421] ppid=19418 vsize=27314120 memory=104296 CPUtime=0.11 cores=0-7 /proc/19421/stat : 19421 (java) S 19418 19418 19128 0 -1 1077944320 6675 0 0 0 9 2 0 0 20 0 20 0 499806468 27969658880 26074 33554432000 4194304 4196468 140729366478896 140729366461440 139879516770039 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 /proc/19421/statm: 6828530 26074 2801 1 0 6790935 0 [pid=19421/tid=19422] ppid=19418 vsize=27314120 memory=1398722017469774279 CPUtime=0.08 cores=0-7 /proc/19421/task/19422/stat : 19422 (java) R 19418 19418 19128 0 -1 4202560 4766 0 0 0 7 1 0 0 20 0 20 0 499806468 27969658880 26586 33554432000 4194304 4196468 140729366478896 139879488604608 139879500850526 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 [pid=19421/tid=19423] ppid=19418 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/19421/task/19423/stat : 19423 (java) S 19418 19418 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499806471 27969658880 26586 33554432000 4194304 4196468 140729366478896 139879521012240 139879516780245 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 [pid=19421/tid=19424] ppid=19418 vsize=27314120 memory=140602893547136 CPUtime=0 cores=0-7 /proc/19421/task/19424/stat : 19424 (java) S 19418 19418 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499806471 27969658880 26586 33554432000 4194304 4196468 140729366478896 139879304407696 139879516780245 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 [pid=19421/tid=19425] ppid=19418 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19421/task/19425/stat : 19425 (java) S 19418 19418 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499806471 27969658880 26586 33554432000 4194304 4196468 140729366478896 139879303354640 139879516780245 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 [pid=19421/tid=19426] ppid=19418 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19421/task/19426/stat : 19426 (java) S 19418 19418 19128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499806471 27969658880 26586 33554432000 4194304 4196468 140729366478896 139879302302096 139879516780245 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 [pid=19421/tid=19427] ppid=19418 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19421/task/19427/stat : 19427 (java) S 19418 19418 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499806471 27969658880 26586 33554432000 4194304 4196468 140729366478896 139879301250064 139879516780245 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 [pid=19421/tid=19428] ppid=19418 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/19421/task/19428/stat : 19428 (java) S 19418 19418 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499806471 27969658880 26586 33554432000 4194304 4196468 140729366478896 139878935288976 139879516780245 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 [pid=19421/tid=19429] ppid=19418 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19421/task/19429/stat : 19429 (java) S 19418 19418 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499806471 27969658880 26586 33554432000 4194304 4196468 140729366478896 139878934235920 139879516780245 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 [pid=19421/tid=19430] ppid=19418 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19421/task/19430/stat : 19430 (java) S 19418 19418 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499806471 27969658880 26586 33554432000 4194304 4196468 140729366478896 139878933183376 139879516780245 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 [pid=19421/tid=19431] ppid=19418 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19421/task/19431/stat : 19431 (java) S 19418 19418 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499806472 27969658880 26586 33554432000 4194304 4196468 140729366478896 139878037678320 139879516781186 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 [pid=19421/tid=19432] ppid=19418 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19421/task/19432/stat : 19432 (java) S 19418 19418 19128 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 499806473 27969658880 26586 33554432000 4194304 4196468 140729366478896 139877152711840 139879516780245 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 [pid=19421/tid=19433] ppid=19418 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19421/task/19433/stat : 19433 (java) S 19418 19418 19128 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 499806473 27969658880 26586 33554432000 4194304 4196468 140729366478896 139877018489584 139879516780245 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 [pid=19421/tid=19434] ppid=19418 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19421/task/19434/stat : 19434 (java) S 19418 19418 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499806475 27969658880 26586 33554432000 4194304 4196468 140729366478896 139876643985360 139879516788635 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 [pid=19421/tid=19435] ppid=19418 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19421/task/19435/stat : 19435 (java) S 19418 19418 19128 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 499806475 27969658880 26586 33554432000 4194304 4196468 140729366478896 139878036626160 139879516781186 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 [pid=19421/tid=19436] ppid=19418 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19421/task/19436/stat : 19436 (java) S 19418 19418 19128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499806475 27969658880 26586 33554432000 4194304 4196468 140729366478896 139878035573616 139879516781186 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 [pid=19421/tid=19437] ppid=19418 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19421/task/19437/stat : 19437 (java) S 19418 19418 19128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499806475 27969658880 26586 33554432000 4194304 4196468 140729366478896 139878034520560 139879516781186 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 [pid=19421/tid=19438] ppid=19418 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19421/task/19438/stat : 19438 (java) S 19418 19418 19128 0 -1 1077944384 246 0 0 0 0 0 0 0 20 0 20 0 499806475 27969658880 26586 33554432000 4194304 4196468 140729366478896 139878033468016 139879516781186 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 [pid=19421/tid=19439] ppid=19418 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19421/task/19439/stat : 19439 (java) S 19418 19418 19128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499806475 27969658880 26586 33554432000 4194304 4196468 140729366478896 139876146080224 139879516780245 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 [pid=19421/tid=19440] ppid=19418 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/19421/task/19440/stat : 19440 (java) S 19418 19418 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499806476 27969658880 26586 33554432000 4194304 4196468 140729366478896 139878032415408 139879516781186 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 105692 KiB [startup+0.210863 s]* /proc/loadavg: 0.13 0.05 0.05 2/213 19440 /proc/meminfo: memFree=25195260/32770624 swapFree=66973900/67108860 [pid=19418] ppid=19415 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/19418/stat : 19418 (scop.sh) S 19415 19418 19128 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 499806467 115843072 349 33554432000 4194304 5098028 140720512047152 140720512044408 140202751238780 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26112000 140720512049916 140720512050264 140720512050264 140720512053193 0 /proc/19418/statm: 28282 349 296 221 0 87 0 [pid=19421] ppid=19418 vsize=27314120 memory=123340 CPUtime=0.24 cores=0-7 /proc/19421/stat : 19421 (java) S 19418 19418 19128 0 -1 1077944320 12288 0 0 0 21 3 0 0 20 0 20 0 499806468 27969658880 30835 33554432000 4194304 4196468 140729366478896 140729366461440 139879516770039 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 /proc/19421/statm: 6828530 30835 2940 1 0 6790935 0 [pid=19421/tid=19422] ppid=19418 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/19421/task/19422/stat : 19422 (java) R 19418 19418 19128 0 -1 4202560 9979 0 0 0 17 2 0 0 20 0 20 0 499806468 27969658880 30835 33554432000 4194304 4196468 140729366478896 139879488590944 139879516783926 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 [pid=19421/tid=19423] ppid=19418 vsize=27314120 memory=329 CPUtime=0 cores=0-7 /proc/19421/task/19423/stat : 19423 (java) S 19418 19418 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499806471 27969658880 30835 33554432000 4194304 4196468 140729366478896 139879521012240 139879516780245 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 [pid=19421/tid=19424] ppid=19418 vsize=27314120 memory=140602897263847 CPUtime=0 cores=0-7 /proc/19421/task/19424/stat : 19424 (java) S 19418 19418 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499806471 27969658880 30835 33554432000 4194304 4196468 140729366478896 139879304407696 139879516780245 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 [pid=19421/tid=19425] ppid=19418 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/19421/task/19425/stat : 19425 (java) S 19418 19418 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499806471 27969658880 30835 33554432000 4194304 4196468 140729366478896 139879303354640 139879516780245 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 [pid=19421/tid=19426] ppid=19418 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19421/task/19426/stat : 19426 (java) S 19418 19418 19128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499806471 27969658880 30835 33554432000 4194304 4196468 140729366478896 139879302302096 139879516780245 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 [pid=19421/tid=19427] ppid=19418 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19421/task/19427/stat : 19427 (java) S 19418 19418 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499806471 27969658880 30835 33554432000 4194304 4196468 140729366478896 139879301250064 139879516780245 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 [pid=19421/tid=19428] ppid=19418 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/19421/task/19428/stat : 19428 (java) S 19418 19418 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499806471 27969658880 30835 33554432000 4194304 4196468 140729366478896 139878935288976 139879516780245 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 [pid=19421/tid=19429] ppid=19418 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19421/task/19429/stat : 19429 (java) S 19418 19418 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499806471 27969658880 30835 33554432000 4194304 4196468 140729366478896 139878934235920 139879516780245 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 [pid=19421/tid=19430] ppid=19418 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19421/task/19430/stat : 19430 (java) S 19418 19418 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499806471 27969658880 30835 33554432000 4194304 4196468 140729366478896 139878933183376 139879516780245 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 [pid=19421/tid=19431] ppid=19418 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19421/task/19431/stat : 19431 (java) S 19418 19418 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499806472 27969658880 30835 33554432000 4194304 4196468 140729366478896 139878037678320 139879516781186 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 [pid=19421/tid=19432] ppid=19418 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19421/task/19432/stat : 19432 (java) S 19418 19418 19128 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 499806473 27969658880 30835 33554432000 4194304 4196468 140729366478896 139877152711840 139879516780245 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 [pid=19421/tid=19433] ppid=19418 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19421/task/19433/stat : 19433 (java) S 19418 19418 19128 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 499806473 27969658880 30835 33554432000 4194304 4196468 140729366478896 139877018489584 139879516780245 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 [pid=19421/tid=19434] ppid=19418 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19421/task/19434/stat : 19434 (java) S 19418 19418 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499806475 27969658880 30835 33554432000 4194304 4196468 140729366478896 139876643985360 139879516788635 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 [pid=19421/tid=19435] ppid=19418 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19421/task/19435/stat : 19435 (java) S 19418 19418 19128 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 499806475 27969658880 30835 33554432000 4194304 4196468 140729366478896 139878036626160 139879516781186 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 [pid=19421/tid=19436] ppid=19418 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19421/task/19436/stat : 19436 (java) S 19418 19418 19128 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 499806475 27969658880 30835 33554432000 4194304 4196468 140729366478896 139878035573616 139879516781186 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 [pid=19421/tid=19437] ppid=19418 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/19421/task/19437/stat : 19437 (java) S 19418 19418 19128 0 -1 1077944384 171 0 0 0 0 0 0 0 20 0 20 0 499806475 27969658880 30835 33554432000 4194304 4196468 140729366478896 139878034520560 139879516781186 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 [pid=19421/tid=19438] ppid=19418 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7 /proc/19421/task/19438/stat : 19438 (java) S 19418 19418 19128 0 -1 1077944384 457 0 0 0 2 0 0 0 20 0 20 0 499806475 27969658880 30835 33554432000 4194304 4196468 140729366478896 139878033468016 139879516781186 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 [pid=19421/tid=19439] ppid=19418 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19421/task/19439/stat : 19439 (java) S 19418 19418 19128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499806475 27969658880 30835 33554432000 4194304 4196468 140729366478896 139876146080224 139879516780245 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 [pid=19421/tid=19440] ppid=19418 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/19421/task/19440/stat : 19440 (java) S 19418 19418 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499806476 27969658880 30835 33554432000 4194304 4196468 140729366478896 139878032415408 139879516781186 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 124736 KiB [startup+0.310502 s]* /proc/loadavg: 0.13 0.05 0.05 2/213 19440 /proc/meminfo: memFree=25192964/32770624 swapFree=66973900/67108860 [pid=19418] ppid=19415 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/19418/stat : 19418 (scop.sh) S 19415 19418 19128 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 499806467 115843072 349 33554432000 4194304 5098028 140720512047152 140720512044408 140202751238780 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26112000 140720512049916 140720512050264 140720512050264 140720512053193 0 /proc/19418/statm: 28282 349 296 221 0 87 0 [pid=19421] ppid=19418 vsize=27314120 memory=127752 CPUtime=0.43 cores=0-7 /proc/19421/stat : 19421 (java) S 19418 19418 19128 0 -1 1077944320 12811 0 0 0 39 4 0 0 20 0 20 0 499806468 27969658880 31938 33554432000 4194304 4196468 140729366478896 140729366461440 139879516770039 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 /proc/19421/statm: 6828530 31938 3041 1 0 6790935 0 [pid=19421/tid=19422] ppid=19418 vsize=27314120 memory=1398722017469774279 CPUtime=0.3 cores=0-7 /proc/19421/task/19422/stat : 19422 (java) R 19418 19418 19128 0 -1 4202560 10304 0 0 0 27 3 0 0 20 0 20 0 499806468 27969658880 31938 33554432000 4194304 4196468 140729366478896 139879488597840 139879497045361 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 [pid=19421/tid=19423] ppid=19418 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19421/task/19423/stat : 19423 (java) S 19418 19418 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499806471 27969658880 31938 33554432000 4194304 4196468 140729366478896 139879521012240 139879516780245 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 [pid=19421/tid=19424] ppid=19418 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19421/task/19424/stat : 19424 (java) S 19418 19418 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499806471 27969658880 31938 33554432000 4194304 4196468 140729366478896 139879304407696 139879516780245 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 [pid=19421/tid=19425] ppid=19418 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19421/task/19425/stat : 19425 (java) S 19418 19418 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499806471 27969658880 31938 33554432000 4194304 4196468 140729366478896 139879303354640 139879516780245 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 [pid=19421/tid=19426] ppid=19418 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19421/task/19426/stat : 19426 (java) S 19418 19418 19128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499806471 27969658880 31938 33554432000 4194304 4196468 140729366478896 139879302302096 139879516780245 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 [pid=19421/tid=19427] ppid=19418 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19421/task/19427/stat : 19427 (java) S 19418 19418 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499806471 27969658880 31938 33554432000 4194304 4196468 140729366478896 139879301250064 139879516780245 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 [pid=19421/tid=19428] ppid=19418 vsize=27314120 memory=140602733849263 CPUtime=0 cores=0-7 /proc/19421/task/19428/stat : 19428 (java) S 19418 19418 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499806471 27969658880 31938 33554432000 4194304 4196468 140729366478896 139878935288976 139879516780245 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 [pid=19421/tid=19429] ppid=19418 vsize=27314120 memory=140602733851568 CPUtime=0 cores=0-7 /proc/19421/task/19429/stat : 19429 (java) S 19418 19418 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499806471 27969658880 31938 33554432000 4194304 4196468 140729366478896 139878934235920 139879516780245 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 [pid=19421/tid=19430] ppid=19418 vsize=27314120 memory=140602733853872 CPUtime=0 cores=0-7 /proc/19421/task/19430/stat : 19430 (java) S 19418 19418 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499806471 27969658880 31938 33554432000 4194304 4196468 140729366478896 139878933183376 139879516780245 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 [pid=19421/tid=19431] ppid=19418 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19421/task/19431/stat : 19431 (java) S 19418 19418 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499806472 27969658880 31938 33554432000 4194304 4196468 140729366478896 139878037678320 139879516781186 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 [pid=19421/tid=19432] ppid=19418 vsize=27314120 memory=281205467721616 CPUtime=0 cores=0-7 /proc/19421/task/19432/stat : 19432 (java) S 19418 19418 19128 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 499806473 27969658880 31938 33554432000 4194304 4196468 140729366478896 139877152711840 139879516780245 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 [pid=19421/tid=19433] ppid=19418 vsize=27314120 memory=281205467719312 CPUtime=0 cores=0-7 /proc/19421/task/19433/stat : 19433 (java) S 19418 19418 19128 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 499806473 27969658880 31938 33554432000 4194304 4196468 140729366478896 139877018489584 139879516780245 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 [pid=19421/tid=19434] ppid=19418 vsize=27314120 memory=281205467726224 CPUtime=0 cores=0-7 /proc/19421/task/19434/stat : 19434 (java) S 19418 19418 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499806475 27969658880 31938 33554432000 4194304 4196468 140729366478896 139876643985360 139879516788635 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 [pid=19421/tid=19435] ppid=19418 vsize=27314120 memory=281205467667504 CPUtime=0.02 cores=0-7 /proc/19421/task/19435/stat : 19435 (java) R 19418 19418 19128 0 -1 4202560 402 0 0 0 2 0 0 0 20 0 20 0 499806475 27969658880 31938 33554432000 4194304 4196468 140729366478896 139878036626160 139879494098048 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 [pid=19421/tid=19436] ppid=19418 vsize=27314120 memory=281205467740048 CPUtime=0.01 cores=0-7 /proc/19421/task/19436/stat : 19436 (java) S 19418 19418 19128 0 -1 1077944384 73 0 0 0 1 0 0 0 20 0 20 0 499806475 27969658880 31938 33554432000 4194304 4196468 140729366478896 139878035573616 139879516781186 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 [pid=19421/tid=19437] ppid=19418 vsize=27314120 memory=281205467746960 CPUtime=0 cores=0-7 /proc/19421/task/19437/stat : 19437 (java) S 19418 19418 19128 0 -1 1077944384 171 0 0 0 0 0 0 0 20 0 20 0 499806475 27969658880 31938 33554432000 4194304 4196468 140729366478896 139878034520560 139879516781186 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 [pid=19421/tid=19438] ppid=19418 vsize=27314120 memory=281205467744656 CPUtime=0.07 cores=0-7 /proc/19421/task/19438/stat : 19438 (java) S 19418 19418 19128 0 -1 1077944384 508 0 0 0 7 0 0 0 20 0 20 0 499806475 27969658880 31938 33554432000 4194304 4196468 140729366478896 139878033468016 139879516781186 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 [pid=19421/tid=19439] ppid=19418 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19421/task/19439/stat : 19439 (java) S 19418 19418 19128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499806475 27969658880 31938 33554432000 4194304 4196468 140729366478896 139876146080224 139879516780245 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 [pid=19421/tid=19440] ppid=19418 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/19421/task/19440/stat : 19440 (java) S 19418 19418 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499806476 27969658880 31938 33554432000 4194304 4196468 140729366478896 139878032415408 139879516781186 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 Current children cumulated CPU time: 0.43 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 129148 KiB [startup+0.700977 s] /proc/loadavg: 0.13 0.05 0.05 2/213 19440 /proc/meminfo: memFree=25171608/32770624 swapFree=66973900/67108860 [pid=19418] ppid=19415 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/19418/stat : 19418 (scop.sh) S 19415 19418 19128 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 499806467 115843072 349 33554432000 4194304 5098028 140720512047152 140720512044408 140202751238780 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26112000 140720512049916 140720512050264 140720512050264 140720512053193 0 /proc/19418/statm: 28282 349 296 221 0 87 0 [pid=19421] ppid=19418 vsize=27320392 memory=163492 CPUtime=1.01 cores=0-7 /proc/19421/stat : 19421 (java) S 19418 19418 19128 0 -1 1077944320 20540 0 0 0 95 6 0 0 20 0 20 0 499806468 27976081408 40873 33554432000 4194304 4196468 140729366478896 140729366461440 139879516770039 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 /proc/19421/statm: 6830098 40873 3191 1 0 6791447 0 [pid=19421/tid=19422] ppid=19418 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7 /proc/19421/task/19422/stat : 19422 (java) R 19418 19418 19128 0 -1 4202560 17363 0 0 0 63 4 0 0 20 0 20 0 499806468 27976081408 40873 33554432000 4194304 4196468 140729366478896 139879488606944 139879495847539 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 [pid=19421/tid=19423] ppid=19418 vsize=27320392 memory=140602734060400 CPUtime=0 cores=0-7 /proc/19421/task/19423/stat : 19423 (java) S 19418 19418 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499806471 27976081408 40873 33554432000 4194304 4196468 140729366478896 139879521012240 139879516780245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 [pid=19421/tid=19424] ppid=19418 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/19421/task/19424/stat : 19424 (java) S 19418 19418 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499806471 27976081408 40873 33554432000 4194304 4196468 140729366478896 139879304407696 139879516780245 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 [pid=19421/tid=19425] ppid=19418 vsize=27320392 memory=1200 CPUtime=0 cores=0-7 /proc/19421/task/19425/stat : 19425 (java) S 19418 19418 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499806471 27976081408 40873 33554432000 4194304 4196468 140729366478896 139879303354640 139879516780245 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6881280 140729366487750 140729366488198 140729366488198 140729366491087 0 ################ # More data... # ################ /proc/19441/task/19453/stat : 19453 (java) S 19418 19418 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499806977 8616062976 29981 33554432000 4194304 4196468 140728109900864 140375100482800 140376713586389 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 [pid=19441/tid=19454] ppid=19418 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/19441/task/19454/stat : 19454 (java) S 19418 19418 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499806979 8616062976 29981 33554432000 4194304 4196468 140728109900864 140374725974480 140376713594779 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 [pid=19441/tid=19455] ppid=19418 vsize=8414124 memory=281205467513072 CPUtime=0.03 cores=0-7 /proc/19441/task/19455/stat : 19455 (java) S 19418 19418 19128 0 -1 1077944384 438 0 0 0 3 0 0 0 20 0 24 0 499806979 8616062976 29981 33554432000 4194304 4196468 140728109900864 140375806052592 140376713587330 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 [pid=19441/tid=19456] ppid=19418 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7 /proc/19441/task/19456/stat : 19456 (java) S 19418 19418 19128 0 -1 1077944384 420 0 0 0 6 0 0 0 20 0 24 0 499806979 8616062976 29981 33554432000 4194304 4196468 140728109900864 140375805000048 140376713587330 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 [pid=19441/tid=19457] ppid=19418 vsize=8414124 memory=8388367118360672372 CPUtime=0.07 cores=0-7 /proc/19441/task/19457/stat : 19457 (java) S 19418 19418 19128 0 -1 1077944384 301 0 0 0 7 0 0 0 20 0 24 0 499806980 8616062976 29981 33554432000 4194304 4196468 140728109900864 140375803946992 140376713587330 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 [pid=19441/tid=19458] ppid=19418 vsize=8414124 memory=8313491497846792057 CPUtime=0.18 cores=0-7 /proc/19441/task/19458/stat : 19458 (java) S 19418 19418 19128 0 -1 1077944384 505 0 0 0 18 0 0 0 20 0 24 0 499806980 8616062976 29981 33554432000 4194304 4196468 140728109900864 140375802894448 140376713587330 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 [pid=19441/tid=19459] ppid=19418 vsize=8414124 memory=6877961337776517936 CPUtime=0 cores=0-7 /proc/19441/task/19459/stat : 19459 (java) S 19418 19418 19128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 499806980 8616062976 29981 33554432000 4194304 4196468 140728109900864 140374228069344 140376713586389 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 [pid=19441/tid=19460] ppid=19418 vsize=8414124 memory=47552 CPUtime=0 cores=0-7 /proc/19441/task/19460/stat : 19460 (java) S 19418 19418 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499806980 8616062976 29981 33554432000 4194304 4196468 140728109900864 140375801842864 140376713587330 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 [pid=19441/tid=19462] ppid=19418 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/19441/task/19462/stat : 19462 (java) S 19418 19418 19128 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 499807045 8616062976 29981 33554432000 4194304 4196468 140728109900864 140375793808832 140376713600793 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 [pid=19441/tid=19464] ppid=19418 vsize=8414124 memory=1398722017469774279 CPUtime=0 cores=0-7 /proc/19441/task/19464/stat : 19464 (java) S 19418 19418 19128 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 499807045 8616062976 29981 33554432000 4194304 4196468 140728109900864 140373556968976 140376713598109 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 [pid=19441/tid=19465] ppid=19418 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/19441/task/19465/stat : 19465 (java) S 19418 19418 19128 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 499807045 8616062976 29981 33554432000 4194304 4196468 140728109900864 140373825404560 140376713598109 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 [pid=19441/tid=19466] ppid=19418 vsize=8414124 memory=140604344370660 CPUtime=0 cores=0-7 /proc/19441/task/19466/stat : 19466 (java) S 19418 19418 19128 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 499807047 8616062976 29981 33554432000 4194304 4196468 140728109900864 140373288541104 140376713586389 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 Current children cumulated CPU time: 24.77 s Current children cumulated vsize: 9374960 KiB Current children cumulated memory: 377556 KiB [startup+7.80177 s] /proc/loadavg: 0.28 0.08 0.06 9/226 19474 /proc/meminfo: memFree=24941848/32770624 swapFree=66973900/67108860 [pid=19418] ppid=19415 vsize=113128 memory=1476 CPUtime=13.91 cores=0-7 /proc/19418/stat : 19418 (scop.sh) S 19415 19418 19128 0 -1 4202496 583 31562 0 0 0 0 1351 40 20 0 1 0 499806467 115843072 369 33554432000 4194304 5098028 140720512047152 140720512043896 140202751238780 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26112000 140720512049916 140720512050264 140720512050264 140720512053193 0 /proc/19418/statm: 28282 369 311 221 0 87 0 [pid=19441] ppid=19418 vsize=8414124 memory=119924 CPUtime=1.14 cores=0-7 /proc/19441/stat : 19441 (java) S 19418 19418 19128 0 -1 1077944320 19458 0 0 0 107 7 0 0 20 0 24 0 499806973 8616062976 29981 33554432000 4194304 4196468 140728109900864 140728109883408 140376713576183 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 /proc/19441/statm: 2103531 29981 3198 1 0 2064875 0 [pid=19461] ppid=19441 vsize=847840 memory=256440 CPUtime=11.28 cores=0-7 /proc/19461/stat : 19461 (manyglucose-4.1) S 19441 19418 19128 0 -1 1077944320 64146 0 0 0 1105 23 0 0 20 0 8 0 499807045 868188160 64110 33554432000 4194304 4454172 140725347007136 140725347005520 140137276174071 0 4 0 8388610 18446744073709551615 0 0 17 7 0 0 0 0 0 6552832 6554400 12935168 140725347009357 140725347009564 140725347009564 140725347012534 0 /proc/19461/statm: 211960 64110 420 64 0 207628 0 [pid=19461/tid=19467] ppid=19441 vsize=847840 memory=-4695052241013923951 CPUtime=1.33 cores=0-7 /proc/19461/task/19467/stat : 19467 (manyglucose-4.1) R 19441 19418 19128 0 -1 4202560 2781 0 0 0 131 2 0 0 20 0 8 0 499807112 868188160 64110 33554432000 4194304 4454172 140725347007136 140137241037608 4351800 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 12935168 140725347009357 140725347009564 140725347009564 140725347012534 0 [pid=19461/tid=19468] ppid=19441 vsize=847840 memory=-6800859132029471843 CPUtime=1.28 cores=0-7 /proc/19461/task/19468/stat : 19468 (manyglucose-4.1) R 19441 19418 19128 0 -1 4202560 3504 0 0 0 125 3 0 0 20 0 8 0 499807112 868188160 64110 33554432000 4194304 4454172 140725347007136 140137232644856 4335136 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 12935168 140725347009357 140725347009564 140725347009564 140725347012534 0 [pid=19461/tid=19469] ppid=19441 vsize=847840 memory=281205467513072 CPUtime=1.34 cores=0-7 /proc/19461/task/19469/stat : 19469 (manyglucose-4.1) R 19441 19418 19128 0 -1 4202560 2546 0 0 0 133 1 0 0 20 0 8 0 499807112 868188160 64110 33554432000 4194304 4454172 140725347007136 140137224252152 4350902 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 12935168 140725347009357 140725347009564 140725347009564 140725347012534 0 [pid=19461/tid=19470] ppid=19441 vsize=847840 memory=-6421031960926448530 CPUtime=1.33 cores=0-7 /proc/19461/task/19470/stat : 19470 (manyglucose-4.1) R 19441 19418 19128 0 -1 4202560 3814 0 0 0 130 3 0 0 20 0 8 0 499807112 868188160 64110 33554432000 4194304 4454172 140725347007136 140137215859496 4351209 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 12935168 140725347009357 140725347009564 140725347009564 140725347012534 0 [pid=19461/tid=19472] ppid=19441 vsize=847840 memory=17350 CPUtime=1.32 cores=0-7 /proc/19461/task/19472/stat : 19472 (manyglucose-4.1) R 19441 19418 19128 0 -1 4202560 3237 0 0 0 131 1 0 0 20 0 8 0 499807112 868188160 64110 33554432000 4194304 4454172 140725347007136 140137199074216 4351209 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 12935168 140725347009357 140725347009564 140725347009564 140725347012534 0 [pid=19461/tid=19473] ppid=19441 vsize=847840 memory=0 CPUtime=1.31 cores=0-7 /proc/19461/task/19473/stat : 19473 (manyglucose-4.1) R 19441 19418 19128 0 -1 4202560 2737 0 0 0 131 0 0 0 20 0 8 0 499807112 868188160 64110 33554432000 4194304 4454172 140725347007136 140137190681336 4350933 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6552832 6554400 12935168 140725347009357 140725347009564 140725347009564 140725347012534 0 [pid=19461/tid=19474] ppid=19441 vsize=847840 memory=0 CPUtime=1.33 cores=0-7 /proc/19461/task/19474/stat : 19474 (manyglucose-4.1) R 19441 19418 19128 0 -1 4202560 3684 0 0 0 130 3 0 0 20 0 8 0 499807112 868188160 64110 33554432000 4194304 4454172 140725347007136 140137182289000 4351502 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 12935168 140725347009357 140725347009564 140725347009564 140725347012534 0 [pid=19441/tid=19442] ppid=19418 vsize=8414124 memory=0 CPUtime=0.74 cores=0-7 /proc/19441/task/19442/stat : 19442 (java) S 19418 19418 19128 0 -1 1077944384 16396 0 0 0 69 5 0 0 20 0 24 0 499806974 8616062976 29981 33554432000 4194304 4196468 140728109900864 140376685416352 140376713586389 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 [pid=19441/tid=19443] ppid=19418 vsize=8414124 memory=281205467513072 CPUtime=0 cores=0-7 /proc/19441/task/19443/stat : 19443 (java) S 19418 19418 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499806975 8616062976 29981 33554432000 4194304 4196468 140728109900864 140376717818896 140376713586389 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 [pid=19441/tid=19444] ppid=19418 vsize=8414124 memory=8505805519125820308 CPUtime=0 cores=0-7 /proc/19441/task/19444/stat : 19444 (java) S 19418 19418 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499806975 8616062976 29981 33554432000 4194304 4196468 140728109900864 140376517987472 140376713586389 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 [pid=19441/tid=19445] ppid=19418 vsize=8414124 memory=150079042226335 CPUtime=0 cores=0-7 /proc/19441/task/19445/stat : 19445 (java) S 19418 19418 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499806975 8616062976 29981 33554432000 4194304 4196468 140728109900864 140376516934416 140376713586389 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 [pid=19441/tid=19446] ppid=19418 vsize=8414124 memory=1764 CPUtime=0 cores=0-7 /proc/19441/task/19446/stat : 19446 (java) S 19418 19418 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499806975 8616062976 29981 33554432000 4194304 4196468 140728109900864 140376515881872 140376713586389 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 [pid=19441/tid=19447] ppid=19418 vsize=8414124 memory=7014751519633396835 CPUtime=0 cores=0-7 /proc/19441/task/19447/stat : 19447 (java) S 19418 19418 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499806975 8616062976 29981 33554432000 4194304 4196468 140728109900864 140376514828816 140376713586389 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 [pid=19441/tid=19448] ppid=19418 vsize=8414124 memory=7739276948477865575 CPUtime=0 cores=0-7 /proc/19441/task/19448/stat : 19448 (java) S 19418 19418 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499806975 8616062976 29981 33554432000 4194304 4196468 140728109900864 140376513776272 140376713586389 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 [pid=19441/tid=19449] ppid=19418 vsize=8414124 memory=7588684550706915689 CPUtime=0 cores=0-7 /proc/19441/task/19449/stat : 19449 (java) S 19418 19418 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499806975 8616062976 29981 33554432000 4194304 4196468 140728109900864 140376512723216 140376713586389 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 [pid=19441/tid=19450] ppid=19418 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/19441/task/19450/stat : 19450 (java) S 19418 19418 19128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 499806975 8616062976 29981 33554432000 4194304 4196468 140728109900864 140376511670672 140376713586389 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 [pid=19441/tid=19451] ppid=19418 vsize=8414124 memory=7882827048052850738 CPUtime=0 cores=0-7 /proc/19441/task/19451/stat : 19451 (java) S 19418 19418 19128 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 499806976 8616062976 29981 33554432000 4194304 4196468 140728109900864 140375807105776 140376713587330 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 [pid=19441/tid=19452] ppid=19418 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/19441/task/19452/stat : 19452 (java) S 19418 19418 19128 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 499806977 8616062976 29981 33554432000 4194304 4196468 140728109900864 140375368918688 140376713586389 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 [pid=19441/tid=19453] ppid=19418 vsize=8414124 memory=4580 CPUtime=0 cores=0-7 /proc/19441/task/19453/stat : 19453 (java) S 19418 19418 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499806977 8616062976 29981 33554432000 4194304 4196468 140728109900864 140375100482800 140376713586389 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 [pid=19441/tid=19454] ppid=19418 vsize=8414124 memory=6656426216303648864 CPUtime=0 cores=0-7 /proc/19441/task/19454/stat : 19454 (java) S 19418 19418 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499806979 8616062976 29981 33554432000 4194304 4196468 140728109900864 140374725974480 140376713594779 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 [pid=19441/tid=19455] ppid=19418 vsize=8414124 memory=0 CPUtime=0.03 cores=0-7 /proc/19441/task/19455/stat : 19455 (java) S 19418 19418 19128 0 -1 1077944384 438 0 0 0 3 0 0 0 20 0 24 0 499806979 8616062976 29981 33554432000 4194304 4196468 140728109900864 140375806052592 140376713587330 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 [pid=19441/tid=19456] ppid=19418 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7 /proc/19441/task/19456/stat : 19456 (java) S 19418 19418 19128 0 -1 1077944384 420 0 0 0 6 0 0 0 20 0 24 0 499806979 8616062976 29981 33554432000 4194304 4196468 140728109900864 140375805000048 140376713587330 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 [pid=19441/tid=19457] ppid=19418 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7 /proc/19441/task/19457/stat : 19457 (java) S 19418 19418 19128 0 -1 1077944384 301 0 0 0 7 0 0 0 20 0 24 0 499806980 8616062976 29981 33554432000 4194304 4196468 140728109900864 140375803946992 140376713587330 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 [pid=19441/tid=19458] ppid=19418 vsize=8414124 memory=0 CPUtime=0.18 cores=0-7 /proc/19441/task/19458/stat : 19458 (java) S 19418 19418 19128 0 -1 1077944384 505 0 0 0 18 0 0 0 20 0 24 0 499806980 8616062976 29981 33554432000 4194304 4196468 140728109900864 140375802894448 140376713587330 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 [pid=19441/tid=19459] ppid=19418 vsize=8414124 memory=225 CPUtime=0 cores=0-7 /proc/19441/task/19459/stat : 19459 (java) S 19418 19418 19128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 499806980 8616062976 29981 33554432000 4194304 4196468 140728109900864 140374228069344 140376713586389 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 [pid=19441/tid=19460] ppid=19418 vsize=8414124 memory=281205468400288 CPUtime=0 cores=0-7 /proc/19441/task/19460/stat : 19460 (java) S 19418 19418 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499806980 8616062976 29981 33554432000 4194304 4196468 140728109900864 140375801842864 140376713587330 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 [pid=19441/tid=19462] ppid=19418 vsize=8414124 memory=7970696723631610521 CPUtime=0 cores=0-7 /proc/19441/task/19462/stat : 19462 (java) S 19418 19418 19128 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 499807045 8616062976 29981 33554432000 4194304 4196468 140728109900864 140375793808832 140376713600793 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 [pid=19441/tid=19464] ppid=19418 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/19441/task/19464/stat : 19464 (java) S 19418 19418 19128 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 499807045 8616062976 29981 33554432000 4194304 4196468 140728109900864 140373556968976 140376713598109 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 [pid=19441/tid=19465] ppid=19418 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/19441/task/19465/stat : 19465 (java) S 19418 19418 19128 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 499807045 8616062976 29981 33554432000 4194304 4196468 140728109900864 140373825404560 140376713598109 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 [pid=19441/tid=19466] ppid=19418 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/19441/task/19466/stat : 19466 (java) S 19418 19418 19128 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 499807047 8616062976 29981 33554432000 4194304 4196468 140728109900864 140373288541104 140376713586389 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 Current children cumulated CPU time: 26.33 s Current children cumulated vsize: 9375092 KiB Current children cumulated memory: 377840 KiB [startup+7.90137 s] /proc/loadavg: 0.28 0.08 0.06 9/226 19474 /proc/meminfo: memFree=24941848/32770624 swapFree=66973900/67108860 [pid=19418] ppid=19415 vsize=113128 memory=1476 CPUtime=13.91 cores=0-7 /proc/19418/stat : 19418 (scop.sh) S 19415 19418 19128 0 -1 4202496 583 31562 0 0 0 0 1351 40 20 0 1 0 499806467 115843072 369 33554432000 4194304 5098028 140720512047152 140720512043896 140202751238780 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26112000 140720512049916 140720512050264 140720512050264 140720512053193 0 /proc/19418/statm: 28282 369 311 221 0 87 0 [pid=19441] ppid=19418 vsize=8414124 memory=120104 CPUtime=12.76 cores=0-7 /proc/19441/stat : 19441 (java) S 19418 19418 19128 0 -1 1077944320 19499 64359 0 0 110 7 1134 25 20 0 23 0 499806973 8616062976 30026 33554432000 4194304 4196468 140728109900864 140728109883408 140376713576183 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 /proc/19441/statm: 2103531 30026 3201 1 0 2064875 0 [pid=19441/tid=19442] ppid=19418 vsize=8414124 memory=2044 CPUtime=12.33 cores=0-7 /proc/19441/task/19442/stat : 19442 (java) S 19418 19418 19128 0 -1 1077944384 16396 64359 0 0 69 5 1134 25 20 0 23 0 499806974 8616062976 30026 33554432000 4194304 4196468 140728109900864 140376685416352 140376713586389 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 [pid=19441/tid=19443] ppid=19418 vsize=8414124 memory=0 CPUtime=11.59 cores=0-7 /proc/19441/task/19443/stat : 19443 (java) S 19418 19418 19128 0 -1 1077944384 2 64359 0 0 0 0 1134 25 20 0 23 0 499806975 8616062976 30538 33554432000 4194304 4196468 140728109900864 140376717818896 140376713586389 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 [pid=19441/tid=19444] ppid=19418 vsize=8414124 memory=0 CPUtime=11.59 cores=0-7 /proc/19441/task/19444/stat : 19444 (java) S 19418 19418 19128 0 -1 1077944384 1 64359 0 0 0 0 1134 25 20 0 23 0 499806975 8616062976 30538 33554432000 4194304 4196468 140728109900864 140376517987472 140376713586389 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 [pid=19441/tid=19445] ppid=19418 vsize=8414124 memory=0 CPUtime=11.59 cores=0-7 /proc/19441/task/19445/stat : 19445 (java) S 19418 19418 19128 0 -1 1077944384 2 64359 0 0 0 0 1134 25 20 0 23 0 499806975 8616062976 30538 33554432000 4194304 4196468 140728109900864 140376516934416 140376713586389 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 [pid=19441/tid=19446] ppid=19418 vsize=8414124 memory=0 CPUtime=11.59 cores=0-7 /proc/19441/task/19446/stat : 19446 (java) S 19418 19418 19128 0 -1 1077944384 2 64359 0 0 0 0 1134 25 20 0 23 0 499806975 8616062976 30538 33554432000 4194304 4196468 140728109900864 140376515881872 140376713586389 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 [pid=19441/tid=19447] ppid=19418 vsize=8414124 memory=0 CPUtime=11.59 cores=0-7 /proc/19441/task/19447/stat : 19447 (java) S 19418 19418 19128 0 -1 1077944384 1 64359 0 0 0 0 1134 25 20 0 23 0 499806975 8616062976 30538 33554432000 4194304 4196468 140728109900864 140376514828816 140376713586389 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 [pid=19441/tid=19448] ppid=19418 vsize=8414124 memory=0 CPUtime=11.59 cores=0-7 /proc/19441/task/19448/stat : 19448 (java) S 19418 19418 19128 0 -1 1077944384 2 64359 0 0 0 0 1134 25 20 0 23 0 499806975 8616062976 30538 33554432000 4194304 4196468 140728109900864 140376513776272 140376713586389 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 [pid=19441/tid=19449] ppid=19418 vsize=8414124 memory=6944652177228980320 CPUtime=11.59 cores=0-7 /proc/19441/task/19449/stat : 19449 (java) S 19418 19418 19128 0 -1 1077944384 2 64359 0 0 0 0 1134 25 20 0 23 0 499806975 8616062976 30538 33554432000 4194304 4196468 140728109900864 140376512723216 140376713586389 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 [pid=19441/tid=19450] ppid=19418 vsize=8414124 memory=1399103955520229747 CPUtime=11.59 cores=0-7 /proc/19441/task/19450/stat : 19450 (java) S 19418 19418 19128 0 -1 1077944384 3 64359 0 0 0 0 1134 25 20 0 23 0 499806975 8616062976 30538 33554432000 4194304 4196468 140728109900864 140376511670672 140376713586389 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 [pid=19441/tid=19451] ppid=19418 vsize=8414124 memory=0 CPUtime=11.59 cores=0-7 /proc/19441/task/19451/stat : 19451 (java) S 19418 19418 19128 0 -1 1077944384 5 64359 0 0 0 0 1134 25 20 0 23 0 499806976 8616062976 30538 33554432000 4194304 4196468 140728109900864 140375807105776 140376713587330 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 [pid=19441/tid=19452] ppid=19418 vsize=8414124 memory=2209 CPUtime=11.59 cores=0-7 /proc/19441/task/19452/stat : 19452 (java) S 19418 19418 19128 0 -1 1077944384 13 64359 0 0 0 0 1134 25 20 0 23 0 499806977 8616062976 30538 33554432000 4194304 4196468 140728109900864 140375368918688 140376713586389 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 [pid=19441/tid=19453] ppid=19418 vsize=8414124 memory=0 CPUtime=11.59 cores=0-7 /proc/19441/task/19453/stat : 19453 (java) S 19418 19418 19128 0 -1 1077944384 1 64359 0 0 0 0 1134 25 20 0 23 0 499806977 8616062976 30538 33554432000 4194304 4196468 140728109900864 140375100482800 140376713586389 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 [pid=19441/tid=19454] ppid=19418 vsize=8414124 memory=0 CPUtime=11.59 cores=0-7 /proc/19441/task/19454/stat : 19454 (java) S 19418 19418 19128 0 -1 1077944384 1 64359 0 0 0 0 1134 25 20 0 23 0 499806979 8616062976 30538 33554432000 4194304 4196468 140728109900864 140374725974480 140376713594779 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 [pid=19441/tid=19455] ppid=19418 vsize=8414124 memory=0 CPUtime=11.63 cores=0-7 /proc/19441/task/19455/stat : 19455 (java) S 19418 19418 19128 0 -1 1077944384 441 64359 0 0 4 0 1134 25 20 0 23 0 499806979 8616062976 30538 33554432000 4194304 4196468 140728109900864 140375806052592 140376713587330 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 [pid=19441/tid=19456] ppid=19418 vsize=8414124 memory=0 CPUtime=11.65 cores=0-7 /proc/19441/task/19456/stat : 19456 (java) S 19418 19418 19128 0 -1 1077944384 423 64359 0 0 6 0 1134 25 20 0 23 0 499806979 8616062976 30538 33554432000 4194304 4196468 140728109900864 140375805000048 140376713587330 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 [pid=19441/tid=19457] ppid=19418 vsize=8414124 memory=0 CPUtime=11.66 cores=0-7 /proc/19441/task/19457/stat : 19457 (java) R 19418 19418 19128 0 -1 4202560 301 64359 0 0 7 0 1134 25 20 0 23 0 499806980 8616062976 30538 33554432000 4194304 4196468 140728109900864 140375803946992 140376713597530 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 [pid=19441/tid=19458] ppid=19418 vsize=8414124 memory=0 CPUtime=11.79 cores=0-7 /proc/19441/task/19458/stat : 19458 (java) R 19418 19418 19128 0 -1 4202560 537 64359 0 0 20 0 1134 25 20 0 23 0 499806980 8616062976 30538 33554432000 4194304 4196468 140728109900864 140375802894448 140376697656670 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 [pid=19441/tid=19459] ppid=19418 vsize=8414124 memory=1476 CPUtime=11.59 cores=0-7 /proc/19441/task/19459/stat : 19459 (java) S 19418 19418 19128 0 -1 1077944384 3 64359 0 0 0 0 1134 25 20 0 23 0 499806980 8616062976 30538 33554432000 4194304 4196468 140728109900864 140374228069344 140376713586389 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 [pid=19441/tid=19460] ppid=19418 vsize=8414124 memory=119924 CPUtime=11.59 cores=0-7 /proc/19441/task/19460/stat : 19460 (java) S 19418 19418 19128 0 -1 1077944384 1 64359 0 0 0 0 1134 25 20 0 23 0 499806980 8616062976 30538 33554432000 4194304 4196468 140728109900864 140375801842864 140376713587330 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 [pid=19441/tid=19462] ppid=19418 vsize=8414124 memory=255172 CPUtime=11.59 cores=0-7 /proc/19441/task/19462/stat : 19462 (java) S 19418 19418 19128 0 -1 1077944384 24 64359 0 0 0 0 1134 25 20 0 23 0 499807045 8616062976 30538 33554432000 4194304 4196468 140728109900864 140375793808016 140376713587330 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 [pid=19441/tid=19464] ppid=19418 vsize=8414124 memory=0 CPUtime=11.6 cores=0-7 /proc/19441/task/19464/stat : 19464 (java) R 19418 19418 19128 0 -1 4202560 11 64359 0 0 1 0 1134 25 20 0 23 0 499807045 8616062976 30538 33554432000 4194304 4196468 140728109900864 140373556975008 140376713598013 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 [pid=19441/tid=19466] ppid=19418 vsize=8414124 memory=0 CPUtime=11.59 cores=0-7 /proc/19441/task/19466/stat : 19466 (java) S 19418 19418 19128 0 -1 1077944384 5 64359 0 0 0 0 1134 25 20 0 23 0 499807047 8616062976 30538 33554432000 4194304 4196468 140728109900864 140373288540864 140376713586389 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11730944 140728109908959 140728109909126 140728109909126 140728109912015 0 Current children cumulated CPU time: 26.67 s Current children cumulated vsize: 8527252 KiB Current children cumulated memory: 121580 KiB Child status: 0 Real time (s): 7.92899 CPU time (s): 26.7535 CPU user time (s): 26.0092 CPU system time (s): 0.7443 CPU usage (%): 337.414 Max. virtual memory (cumulated for all children) (KiB): 27443924 Max. memory (cumulated for all children) (KiB): 1824716 getrusage(RUSAGE_CHILDREN,...) data: user time used= 26.0092 system time used= 0.7443 maximum resident set size= 1826136 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 116085 page faults= 0 swaps= 0 block input operations= 0 block output operations= 15704 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 14267 involuntary context switches= 151 # summary of solver processes directly reported to runsolver: # pid: 19418 # total CPU time (s): 26.7535 # total CPU user time (s): 26.0092 # total CPU system time (s): 0.7443 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.082788 second user time and 0.135076 second system time The end
Begin job on node117 at 2019-09-23 13:36:43 IDJOB=4405653 IDBENCH=120900 IDSOLVER=2868 FILE ID=node117/4405653-1569238646 RUNJOBID= node117-1569238588-19155 PBS_JOBID= 21704911 Free space on /var/tmp= 13512 MiB SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22) BENCH NAME= XCSP17/QueensKnights/QueensKnights-m1-s1/QueensKnights-050-05-mul.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-4405653-1569238646/watcher-4405653-1569238646 -o /var/tmp/evaluation-result-4405653-1569238646/solver-4405653-1569238646 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node117-1569238588-19155 --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-4405653-1569238646.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 0dc4c2f273d2e82d82a6e1c594dd299c RANDOM SEED=1480013610 node117.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 25309460 kB MemAvailable: 31823332 kB Buffers: 99828 kB Cached: 6463672 kB SwapCached: 27992 kB Active: 3247956 kB Inactive: 3348508 kB Active(anon): 4008 kB Inactive(anon): 79652 kB Active(file): 3243948 kB Inactive(file): 3268856 kB Unevictable: 107656 kB Mlocked: 107656 kB SwapTotal: 67108860 kB SwapFree: 66973900 kB Dirty: 20524 kB Writeback: 0 kB AnonPages: 57340 kB Mapped: 52768 kB Shmem: 42236 kB Slab: 457852 kB SReclaimable: 429528 kB SUnreclaim: 28324 kB KernelStack: 3744 kB PageTables: 6064 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514084 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /var/tmp at the end= 13492 MiB End job on node117 at 2019-09-23 13:36:51