Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP order+ManyGlucose (2019-06-15) | UNSAT | 37.3527 | 6.75847 |
Name | PseudoBoolean/PseudoBoolean-dec-queen/ Pb-queen-0975965.xml |
MD5SUM | a14f05ce5b97c69cdfebe4c47d671ffd |
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 | 7.26699 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 169 |
Number of constraints | 101 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":169}] |
Minimum variable degree | 7 |
Maximum variable degree | 9 |
Distribution of variable degrees | [{"degree":7,"count":148},{"degree":8,"count":20},{"degree":9,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 169 |
Distribution of constraint arities | [{"arity":2,"count":4},{"arity":3,"count":4},{"arity":4,"count":4},{"arity":5,"count":4},{"arity":6,"count":4},{"arity":7,"count":4},{"arity":8,"count":4},{"arity":9,"count":4},{"arity":10,"count":4},{"arity":11,"count":4},{"arity":12,"count":4},{"arity":13,"count":56},{"arity":169,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":101}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-22978-serial-file.bin HOME/instance-4392291-1568438711.xml 0.65/0.54 0.65/0.54 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 0.65/0.54 0.65/0.57 c BEGIN-Prog: Sat Sep 14 06:23:54 CEST 2019 0.65/0.57 c PID: 22981 0.65/0.57 c IP: 172.20.3.106 0.65/0.57 c HOST: node106.alineos.net 0.65/0.58 c (0,0) Parsing Begin 1.43/0.99 c (0,0) Parsing End 1.43/0.99 c (0,0) CSP: 0 int (0 aux), 169 bool (0 aux), 101 ctr, max domain size 2 1.43/0.99 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB) 1.43/0.99 c (0,0) Constraint Name Generate Begin 1.43/1.00 c (0,0) Ctr:HOME/instance-4392291-1568438711.xml,Num:Var:WeightedSum 1.43/1.00 c (0,0) Constraint Name Generate End 1.43/1.00 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB) 1.43/1.00 c (0,0) CSP to CSPinCNF Begin 1.85/1.13 c (0,0) translated 11 (10%) constraints 1.85/1.15 c (0,0) translated 21 (20%) constraints 1.85/1.17 c (0,0) translated 31 (30%) constraints 1.85/1.19 c (0,0) translated 41 (40%) constraints 2.17/1.20 c (0,0) translated 51 (50%) constraints 2.17/1.21 c (0,0) translated 61 (60%) constraints 2.17/1.22 c (0,0) translated 71 (70%) constraints 2.17/1.23 c (0,0) translated 81 (80%) constraints 2.17/1.24 c (0,0) translated 91 (90%) constraints 2.17/1.24 c (0,0) translated 101 (100%) constraints 2.17/1.27 c (0,0) =========================================== 2.17/1.27 c (0,0) Order 2.17/1.27 c (0,0) =========================================== 2.49/1.32 c (0,0) translated 11 (10%) constraints 2.49/1.34 c (0,0) translated 21 (20%) constraints 2.49/1.35 c (0,0) translated 31 (30%) constraints 2.49/1.37 c (0,0) translated 41 (40%) constraints 2.49/1.39 c (0,0) translated 51 (50%) constraints 2.76/1.40 c (0,0) translated 61 (60%) constraints 2.76/1.40 c (0,0) translated 71 (70%) constraints 2.76/1.40 c (0,0) translated 81 (80%) constraints 2.76/1.41 c (0,0) translated 91 (90%) constraints 2.76/1.41 c (0,0) translated 101 (100%) constraints 2.76/1.44 c (0,0) CSP to CSPinCNF End 2.76/1.44 c (0,0) CSP: 219 int (219 aux), 169 bool (0 aux), 326 ctr, max domain size 126 2.76/1.44 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB) 2.76/1.44 c (0,0) CSPinCNF Propagation Begin 2.76/1.46 c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed 2.76/1.46 c (0,0) CSPinCNF Propagation End 2.76/1.46 c (0,0) CSP: 219 int (219 aux), 169 bool (0 aux), 326 ctr, max domain size 126 2.76/1.46 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB) 2.76/1.46 c (0,0) Simplify CSPinCNF Begin 2.76/1.47 c (0,0) Simplify CSPinCNF End 2.76/1.47 c (0,0) CSP: 219 int (219 aux), 169 bool (0 aux), 326 ctr, max domain size 126 2.76/1.47 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB) 2.76/1.47 c (0,0) Calculate Precise Domain Begin 2.96/1.57 c (1,1) 187 values are removed by re-calculation 2.96/1.57 c (1,1) Calculate Precise Domain End 2.96/1.57 c (1,1) CSP: 219 int (219 aux), 169 bool (0 aux), 326 ctr, max domain size 112 2.96/1.57 c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB) 2.96/1.57 c (1,1) CSPinCNF to SatSolver Begin 3.21/1.67 c (1,1) 33 (10 %) CSP clauses are encoded (0 SAT variables, 2940 SAT clauses) 3.21/1.69 c (1,1) 66 (20 %) CSP clauses are encoded (0 SAT variables, 3247 SAT clauses) 3.66/1.70 c (1,1) 98 (30 %) CSP clauses are encoded (0 SAT variables, 3551 SAT clauses) 3.66/1.71 c (1,1) 131 (40 %) CSP clauses are encoded (0 SAT variables, 3932 SAT clauses) 3.66/1.72 c (1,1) 163 (50 %) CSP clauses are encoded (0 SAT variables, 4428 SAT clauses) 3.66/1.73 c (1,1) 196 (60 %) CSP clauses are encoded (0 SAT variables, 4939 SAT clauses) 3.66/1.74 c (1,1) 229 (70 %) CSP clauses are encoded (0 SAT variables, 5421 SAT clauses) 3.66/1.76 c (1,1) 261 (80 %) CSP clauses are encoded (0 SAT variables, 6260 SAT clauses) 4.09/1.81 c (1,1) 294 (90 %) CSP clauses are encoded (0 SAT variables, 13896 SAT clauses) 4.09/1.89 c (1,1) 326 (100 %) CSP clauses are encoded (0 SAT variables, 37308 SAT clauses) 4.09/1.89 c (1,1) CSPinCNF to SatSolver End 4.09/1.89 c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 4.09/1.90 c (1,1) 3024 bool, 38125 clause 4.09/1.90 c (1,1) Export Begin 4.49/1.99 c (1,1) Export to HOME/scop-22978-serial-file.bin 4.49/1.99 c (1,1) Export End 4.49/1.99 c (1,1) Export File Size: 0.03 MB 4.49/1.99 c (1,1) 0,0,0,0,0,1,1,STOP-AFTER(DIMACS) 4.49/1.99 c END-Prog: Sat Sep 14 06:23:56 CEST 2019 0.00/2.01 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-22978-serial-file.bin 4.90/2.47 c (0,0) Read Serial File Begin 4.90/2.47 c (0,0) HOME/scop-22978-serial-file.bin 4.90/2.68 c (0,0) Read Serial File End 4.90/2.69 4.90/2.69 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 4.90/2.69 (Solving Process) 4.90/2.69 4.90/2.71 c BEGIN-Prog: Sat Sep 14 06:23:56 CEST 2019 4.90/2.71 c PID: 23001 4.90/2.71 c IP: 172.20.3.106 4.90/2.71 c HOST: node106.alineos.net 4.90/2.72 c (0,0) SatSolver.solve Begin 4.90/2.72 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392291-1568438711.xml-scop-22981.cnf 4.90/2.75 c (0,0) c 4.90/2.75 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) 4.90/2.75 c (0,0) c 4.90/2.75 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 4.90/2.75 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 4.90/2.75 c (0,0) c ========================================[ Problem Statistics ]=========================================== 4.90/2.75 c (0,0) c | | 4.90/2.75 c (0,0) c | Number of variables: 3024 | 4.90/2.75 c (0,0) c | Number of clauses: 38113 | 4.90/2.75 c (0,0) c | Parse time: 0.01 s | 4.90/2.75 c (0,0) c | | 4.90/2.78 c (0,0) c | Simplification time: 0.03 s | 4.90/2.78 c (0,0) c | | 4.90/2.78 c (0,0) c | Generating clones | 4.90/2.79 c (0,0) c | all clones generated. Memory = 41.36Mb. | 4.90/2.79 c (0,0) c ========================================================================================================| 4.90/2.79 c (0,0) c 4.90/2.79 c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 4.90/2.79 c (0,0) c 4.90/2.79 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 4.90/2.79 c (0,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 4.90/2.79 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 4.90/2.79 c (0,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 4.90/2.79 c (0,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 4.90/2.79 c (0,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 4.90/2.79 c (0,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 4.90/2.79 c (0,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 4.90/2.79 c (0,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 4.90/2.79 c (0,0) c | glureduce | True | True | True | True | True | True | True | True | 4.90/2.79 c (0,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 4.90/2.79 c (0,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 4.90/2.79 c (0,0) c | luby_restart | False | False | False | False | False | False | False | False | 4.90/2.80 c (0,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 4.90/2.80 c (0,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 4.90/2.80 c (0,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 4.90/2.80 c (0,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 4.90/2.80 c (0,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 4.90/2.80 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 37.19/6.71 c (4,0) c 37.19/6.71 c (4,0) c real time : 3.97081 s 37.19/6.71 c (4,0) c cpu time : 31.0885 s 37.19/6.71 c (4,0) c 37.19/6.71 c (4,0) c 37.19/6.71 c (4,0) c 37.19/6.71 c (4,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 37.19/6.71 c (4,0) c 37.19/6.71 c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 37.19/6.71 c (4,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 37.19/6.71 c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 37.19/6.71 c (4,0) c | Conflicts | 337385 | 41392 | 42457 | 42804 | 41329 | 43650 | 42737 | 41635 | 41381 | 37.19/6.71 c (4,0) c | Decisions | 457410 | 55887 | 57893 | 56920 | 55934 | 59364 | 58714 | 56445 | 56253 | 37.19/6.71 c (4,0) c | Propagations | 63421031 | 7827177 | 8044611 | 8001978 | 7950976 | 8076442 | 8017621 | 7768703 | 7733523 | 37.19/6.71 c (4,0) c | ReduceDBs | 40 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 37.19/6.71 c (4,0) c | SimpDBs | 68 | 8 | 9 | 8 | 9 | 9 | 9 | 8 | 8 | 37.19/6.71 c (4,0) c | Restarts | 1250 | 151 | 166 | 124 | 149 | 166 | 186 | 161 | 147 | 37.19/6.71 c (4,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 37.19/6.71 c (4,0) c | PropBinClauses| 189404449 | 23481808 | 23873050 | 23945767 | 23690850 | 24054676 | 24104384 | 23149958 | 23103956 | 37.19/6.71 c (4,0) c | PropPreBlocker| 846299915 | 104478778 | 105785770 | 108412559 | 104618382 | 108009558 | 105506041 | 105760996 | 103727831 | 37.19/6.71 c (4,0) c | PropNotBlocker| 340837272 | 42156426 | 42524596 | 42863032 | 42845907 | 43260064 | 41971195 | 42810476 | 42405576 | 37.19/6.71 c (4,0) c | LitFullScans | 3057954253 | 378040301 | 383865967 | 384081002 | 381994613 | 390046587 | 375196783 | 386705024 | 378023976 | 37.19/6.71 c (4,0) c | LitScanFracts | 266829 | 28938 | 24045 | 69962 | 26805 | 34106 | 28661 | 25809 | 28503 | 37.19/6.71 c (4,0) c | DecisionLevel0| 1365 | 159 | 182 | 136 | 170 | 182 | 197 | 174 | 165 | 37.19/6.71 c (4,0) c | Periods | 506 | 63 | 63 | 64 | 63 | 65 | 62 | 64 | 62 | 37.19/6.71 c (4,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 37.19/6.71 c (4,0) c | Avg_Trail | | 2042 | 2044 | 2046 | 2043 | 2047 | 2060 | 2041 | 2059 | 37.19/6.71 c (4,0) c | Avg_DL | | 15 | 15 | 16 | 16 | 15 | 14 | 17 | 16 | 37.19/6.71 c (4,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 37.19/6.71 c (4,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 37.19/6.71 c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 37.19/6.71 c (4,0) c | Exported | 42772 | 5408 | 5102 | 5889 | 5285 | 5565 | 5233 | 5244 | 5046 | 37.19/6.71 c (4,0) c | Imported | 232680 | 28685 | 29470 | 28711 | 29199 | 29289 | 28718 | 29586 | 29022 | 37.19/6.71 c (4,0) c | Good | 1422 | 168 | 170 | 187 | 177 | 191 | 150 | 200 | 179 | 37.19/6.71 c (4,0) c | Purge | 231258 | 28517 | 29300 | 28524 | 29022 | 29098 | 28568 | 29386 | 28843 | 37.19/6.71 c (4,0) c | Promoted | 26735 | 3393 | 3396 | 3360 | 3326 | 3417 | 3270 | 3370 | 3203 | 37.19/6.71 c (4,0) c | Remove_Imp | 32841 | 4230 | 4412 | 3167 | 4780 | 3402 | 3374 | 4461 | 5015 | 37.19/6.71 c (4,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 37.19/6.71 c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 37.19/6.71 c (4,0) c | Unaries | | 8 | 16 | 12 | 21 | 16 | 11 | 13 | 18 | 37.19/6.71 c (4,0) c | Binaries | | 78 | 102 | 78 | 96 | 97 | 98 | 76 | 82 | 37.19/6.71 c (4,0) c | Glues | | 106 | 128 | 103 | 134 | 126 | 118 | 100 | 106 | 37.19/6.71 c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 37.19/6.71 c (4,0) c | Orig_Seen | 52 % | 12183 | 12166 | 12056 | 12259 | 12257 | 12244 | 12161 | 12133 | 37.19/6.71 c (4,0) c | Diff Orig seen| | 50 | 33 | - 77 | 126 | 124 | 111 | 28 | X | 37.19/6.71 c (4,0) c | Hamming | 8 % | 245 | 275 | 234 | 282 | 262 | 294 | 258 | X | 37.19/6.71 c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 37.19/6.71 c (4,0) c | RunningTime | | 3.9 100%| 3.9 100%| 3.9 100%| 3.9 100%| 3.9 100%| 3.9 100%| 3.9 100%| 3.9 100%| 37.19/6.71 c (4,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%| 37.19/6.71 c (4,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%| 37.19/6.71 c (4,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%| 37.19/6.71 c (4,0) c | SolvingTime | | 3.9 | 3.9 | 3.9 | 3.9 | 3.9 | 3.9 | 3.9 | 3.9 | 37.19/6.71 c (4,0) c | PropagationTim| | 3.4 88%| 3.4 87%| 3.4 88%| 3.4 88%| 3.4 88%| 3.4 87%| 3.4 88%| 3.4 88%| 37.19/6.71 c (4,0) c | AnalysisTime | | 0.3 8%| 0.3 9%| 0.3 9%| 0.3 8%| 0.3 9%| 0.3 9%| 0.3 8%| 0.3 8%| 37.19/6.71 c (4,0) c | ReductionTime | | 0.0 1%| 0.0 1%| 0.0 1%| 0.0 1%| 0.0 1%| 0.0 1%| 0.0 1%| 0.0 1%| 37.19/6.71 c (4,0) c | SimplifyTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 37.19/6.71 c (4,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%| 37.19/6.71 c (4,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%| 37.19/6.71 c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 37.19/6.71 c (4,0) c 37.19/6.71 c (4,0) c 37.19/6.71 c (4,0) c Threads : 8 37.19/6.71 c (4,0) c Winner : 7 37.19/6.71 c (4,0) c Conflicts_0 : 41392 37.19/6.71 c (4,0) c Conflicts_1 : 42457 37.19/6.71 c (4,0) c Conflicts_2 : 42804 37.19/6.71 c (4,0) c Conflicts_3 : 41329 37.19/6.71 c (4,0) c Conflicts_4 : 43650 37.19/6.71 c (4,0) c Conflicts_5 : 42737 37.19/6.72 c (4,0) c Conflicts_6 : 41635 37.19/6.72 c (4,0) c Conflicts_7 : 41381 37.19/6.72 c (4,0) c Conflicts_total : 337385 37.19/6.72 c (4,0) c Conflicts_winner : 41381 37.19/6.72 c (4,0) c Decisions_0 : 55887 37.19/6.72 c (4,0) c Decisions_1 : 57893 37.19/6.72 c (4,0) c Decisions_2 : 56920 37.19/6.72 c (4,0) c Decisions_3 : 55934 37.19/6.72 c (4,0) c Decisions_4 : 59364 37.19/6.72 c (4,0) c Decisions_5 : 58714 37.19/6.72 c (4,0) c Decisions_6 : 56445 37.19/6.72 c (4,0) c Decisions_7 : 56253 37.19/6.72 c (4,0) c Decisions_total : 457410 37.19/6.72 c (4,0) c Decisions_winner : 56253 37.19/6.72 c (4,0) c Propagations_0 : 7827177 37.19/6.72 c (4,0) c Propagations_1 : 8044611 37.19/6.72 c (4,0) c Propagations_2 : 8001978 37.19/6.72 c (4,0) c Propagations_3 : 7950976 37.19/6.72 c (4,0) c Propagations_4 : 8076442 37.19/6.72 c (4,0) c Propagations_5 : 8017621 37.19/6.72 c (4,0) c Propagations_6 : 7768703 37.19/6.72 c (4,0) c Propagations_7 : 7733523 37.19/6.72 c (4,0) c Propagations_total : 63421031 37.19/6.72 c (4,0) c Propagations_winner : 7733523 37.19/6.72 c (4,0) c ReduceDBs_0 : 5 37.19/6.72 c (4,0) c ReduceDBs_1 : 5 37.19/6.72 c (4,0) c ReduceDBs_2 : 5 37.19/6.72 c (4,0) c ReduceDBs_3 : 5 37.19/6.72 c (4,0) c ReduceDBs_4 : 5 37.19/6.72 c (4,0) c ReduceDBs_5 : 5 37.19/6.72 c (4,0) c ReduceDBs_6 : 5 37.19/6.72 c (4,0) c ReduceDBs_7 : 5 37.19/6.72 c (4,0) c ReduceDBs_total : 40 37.19/6.72 c (4,0) c ReduceDBs_winner : 5 37.19/6.72 c (4,0) c SimpDBs_0 : 8 37.19/6.72 c (4,0) c SimpDBs_1 : 9 37.19/6.72 c (4,0) c SimpDBs_2 : 8 37.19/6.72 c (4,0) c SimpDBs_3 : 9 37.19/6.72 c (4,0) c SimpDBs_4 : 9 37.19/6.72 c (4,0) c SimpDBs_5 : 9 37.19/6.72 c (4,0) c SimpDBs_6 : 8 37.19/6.72 c (4,0) c SimpDBs_7 : 8 37.19/6.72 c (4,0) c SimpDBs_total : 68 37.19/6.72 c (4,0) c SimpDBs_winner : 8 37.19/6.72 c (4,0) c Restarts_0 : 151 37.19/6.72 c (4,0) c Restarts_1 : 166 37.19/6.72 c (4,0) c Restarts_2 : 124 37.19/6.72 c (4,0) c Restarts_3 : 149 37.19/6.72 c (4,0) c Restarts_4 : 166 37.19/6.72 c (4,0) c Restarts_5 : 186 37.19/6.72 c (4,0) c Restarts_6 : 161 37.19/6.72 c (4,0) c Restarts_7 : 147 37.19/6.72 c (4,0) c Restarts_total : 1250 37.19/6.72 c (4,0) c Restarts_winner : 147 37.19/6.72 c (4,0) c ForcedImports_0 : 0 37.19/6.72 c (4,0) c ForcedImports_1 : 0 37.19/6.72 c (4,0) c ForcedImports_2 : 0 37.19/6.72 c (4,0) c ForcedImports_3 : 0 37.19/6.72 c (4,0) c ForcedImports_4 : 0 37.19/6.72 c (4,0) c ForcedImports_5 : 0 37.19/6.72 c (4,0) c ForcedImports_6 : 0 37.19/6.72 c (4,0) c ForcedImports_7 : 0 37.19/6.72 c (4,0) c ForcedImports_total : 0 37.19/6.72 c (4,0) c ForcedImports_winner : 0 37.19/6.72 c (4,0) c PropsBinClauses_0 : 23481808 37.19/6.72 c (4,0) c PropsBinClauses_1 : 23873050 37.19/6.72 c (4,0) c PropsBinClauses_2 : 23945767 37.19/6.72 c (4,0) c PropsBinClauses_3 : 23690850 37.19/6.72 c (4,0) c PropsBinClauses_4 : 24054676 37.19/6.72 c (4,0) c PropsBinClauses_5 : 24104384 37.19/6.72 c (4,0) c PropsBinClauses_6 : 23149958 37.19/6.72 c (4,0) c PropsBinClauses_7 : 23103956 37.19/6.72 c (4,0) c PropsBinClauses_total : 189404449 37.19/6.72 c (4,0) c PropsBinClauses_winner : 23103956 37.19/6.72 c (4,0) c PropsPreBlocker_0 : 104478778 37.19/6.72 c (4,0) c PropsPreBlocker_1 : 105785770 37.19/6.72 c (4,0) c PropsPreBlocker_2 : 108412559 37.19/6.72 c (4,0) c PropsPreBlocker_3 : 104618382 37.19/6.72 c (4,0) c PropsPreBlocker_4 : 108009558 37.19/6.72 c (4,0) c PropsPreBlocker_5 : 105506041 37.19/6.72 c (4,0) c PropsPreBlocker_6 : 105760996 37.19/6.72 c (4,0) c PropsPreBlocker_7 : 103727831 37.19/6.72 c (4,0) c PropsPreBlocker_total : 846299915 37.19/6.72 c (4,0) c PropsPreBlocker_winner : 103727831 37.19/6.72 c (4,0) c PropsNotBlocker_0 : 42156426 37.19/6.72 c (4,0) c PropsNotBlocker_1 : 42524596 37.19/6.72 c (4,0) c PropsNotBlocker_2 : 42863032 37.19/6.72 c (4,0) c PropsNotBlocker_3 : 42845907 37.19/6.72 c (4,0) c PropsNotBlocker_4 : 43260064 37.19/6.72 c (4,0) c PropsNotBlocker_5 : 41971195 37.19/6.72 c (4,0) c PropsNotBlocker_6 : 42810476 37.19/6.72 c (4,0) c PropsNotBlocker_7 : 42405576 37.19/6.72 c (4,0) c PropsNotBlocker_total : 340837272 37.19/6.72 c (4,0) c PropsNotBlocker_winner : 42405576 37.19/6.72 c (4,0) c PropsLitFullScans_0 : 378040301 37.19/6.72 c (4,0) c PropsLitFullScans_1 : 383865967 37.19/6.72 c (4,0) c PropsLitFullScans_2 : 384081002 37.19/6.72 c (4,0) c PropsLitFullScans_3 : 381994613 37.19/6.72 c (4,0) c PropsLitFullScans_4 : 390046587 37.19/6.72 c (4,0) c PropsLitFullScans_5 : 375196783 37.19/6.72 c (4,0) c PropsLitFullScans_6 : 386705024 37.19/6.72 c (4,0) c PropsLitFullScans_7 : 378023976 37.19/6.72 c (4,0) c PropsLitFullScans_total : 3057954253 37.19/6.72 c (4,0) c PropsLitFullScans_winner : 378023976 37.19/6.72 c (4,0) c LitScanFractions_0 : 28938 37.19/6.72 c (4,0) c LitScanFractions_1 : 24045 37.19/6.72 c (4,0) c LitScanFractions_2 : 69962 37.19/6.72 c (4,0) c LitScanFractions_3 : 26805 37.19/6.72 c (4,0) c LitScanFractions_4 : 34106 37.19/6.72 c (4,0) c LitScanFractions_5 : 28661 37.19/6.72 c (4,0) c LitScanFractions_6 : 25809 37.19/6.72 c (4,0) c LitScanFractions_7 : 28503 37.19/6.72 c (4,0) c LitScanFractions_total : 266829 37.19/6.72 c (4,0) c LitScanFractions_winner : 28503 37.19/6.72 c (4,0) c DecisionLevel0_0 : 159 37.19/6.72 c (4,0) c DecisionLevel0_1 : 182 37.19/6.72 c (4,0) c DecisionLevel0_2 : 136 37.19/6.72 c (4,0) c DecisionLevel0_3 : 170 37.19/6.72 c (4,0) c DecisionLevel0_4 : 182 37.19/6.72 c (4,0) c DecisionLevel0_5 : 197 37.19/6.72 c (4,0) c DecisionLevel0_6 : 174 37.19/6.72 c (4,0) c DecisionLevel0_7 : 165 37.19/6.72 c (4,0) c DecisionLevel0_total : 1365 37.19/6.72 c (4,0) c DecisionLevel0_winner : 165 37.19/6.72 c (4,0) c Periods_0 : 63 37.19/6.72 c (4,0) c Periods_1 : 63 37.19/6.72 c (4,0) c Periods_2 : 64 37.19/6.72 c (4,0) c Periods_3 : 63 37.19/6.72 c (4,0) c Periods_4 : 65 37.19/6.72 c (4,0) c Periods_5 : 62 37.19/6.72 c (4,0) c Periods_6 : 64 37.19/6.72 c (4,0) c Periods_7 : 62 37.19/6.72 c (4,0) c Periods_total : 506 37.19/6.72 c (4,0) c Periods_winner : 62 37.19/6.72 c (4,0) c Margin_0 : 20 37.19/6.72 c (4,0) c Margin_1 : 20 37.19/6.72 c (4,0) c Margin_2 : 20 37.19/6.72 c (4,0) c Margin_3 : 20 37.19/6.72 c (4,0) c Margin_4 : 20 37.19/6.72 c (4,0) c Margin_5 : 20 37.19/6.72 c (4,0) c Margin_6 : 20 37.19/6.72 c (4,0) c Margin_7 : 20 37.19/6.72 c (4,0) c Margin_total : 160 37.19/6.72 c (4,0) c Margin_winner : 20 37.19/6.72 c (4,0) c Exported_0 : 5408 37.19/6.72 c (4,0) c Exported_1 : 5102 37.19/6.72 c (4,0) c Exported_2 : 5889 37.19/6.72 c (4,0) c Exported_3 : 5285 37.19/6.72 c (4,0) c Exported_4 : 5565 37.19/6.72 c (4,0) c Exported_5 : 5233 37.19/6.72 c (4,0) c Exported_6 : 5244 37.19/6.72 c (4,0) c Exported_7 : 5046 37.19/6.72 c (4,0) c Exported_total : 42772 37.19/6.72 c (4,0) c Exported_winner : 5046 37.19/6.72 c (4,0) c Imported_0 : 28685 37.19/6.72 c (4,0) c Imported_1 : 29470 37.19/6.72 c (4,0) c Imported_2 : 28711 37.19/6.72 c (4,0) c Imported_3 : 29199 37.19/6.72 c (4,0) c Imported_4 : 29289 37.19/6.72 c (4,0) c Imported_5 : 28718 37.19/6.72 c (4,0) c Imported_6 : 29586 37.19/6.72 c (4,0) c Imported_7 : 29022 37.19/6.72 c (4,0) c Imported_total : 232680 37.19/6.72 c (4,0) c Imported_winner : 29022 37.19/6.72 c (4,0) c Good_0 : 168 37.19/6.72 c (4,0) c Good_1 : 170 37.19/6.72 c (4,0) c Good_2 : 187 37.19/6.72 c (4,0) c Good_3 : 177 37.19/6.72 c (4,0) c Good_4 : 191 37.19/6.72 c (4,0) c Good_5 : 150 37.19/6.72 c (4,0) c Good_6 : 200 37.19/6.72 c (4,0) c Good_7 : 179 37.19/6.72 c (4,0) c Good_total : 1422 37.19/6.72 c (4,0) c Good_winner : 179 37.19/6.72 c (4,0) c Purge_0 : 28517 37.19/6.72 c (4,0) c Purge_1 : 29300 37.19/6.72 c (4,0) c Purge_2 : 28524 37.19/6.72 c (4,0) c Purge_3 : 29022 37.19/6.72 c (4,0) c Purge_4 : 29098 37.19/6.72 c (4,0) c Purge_5 : 28568 37.19/6.72 c (4,0) c Purge_6 : 29386 37.19/6.72 c (4,0) c Purge_7 : 28843 37.19/6.72 c (4,0) c Purge_total : 231258 37.19/6.72 c (4,0) c Purge_winner : 28843 37.19/6.72 c (4,0) c Promoted_0 : 3393 37.19/6.72 c (4,0) c Promoted_1 : 3396 37.19/6.72 c (4,0) c Promoted_2 : 3360 37.19/6.72 c (4,0) c Promoted_3 : 3326 37.19/6.72 c (4,0) c Promoted_4 : 3417 37.19/6.72 c (4,0) c Promoted_5 : 3270 37.19/6.72 c (4,0) c Promoted_6 : 3370 37.19/6.72 c (4,0) c Promoted_7 : 3203 37.19/6.72 c (4,0) c Promoted_total : 26735 37.19/6.72 c (4,0) c Promoted_winner : 3203 37.19/6.72 c (4,0) c Remove_Imp_0 : 4230 37.19/6.72 c (4,0) c Remove_Imp_1 : 4412 37.19/6.72 c (4,0) c Remove_Imp_2 : 3167 37.19/6.72 c (4,0) c Remove_Imp_3 : 4780 37.19/6.72 c (4,0) c Remove_Imp_4 : 3402 37.19/6.72 c (4,0) c Remove_Imp_5 : 3374 37.19/6.72 c (4,0) c Remove_Imp_6 : 4461 37.19/6.72 c (4,0) c Remove_Imp_7 : 5015 37.19/6.72 c (4,0) c Remove_Imp_total : 32841 37.19/6.72 c (4,0) c Remove_Imp_winner : 5015 37.19/6.72 c (4,0) c Blocked_Reuse_0 : 0 37.19/6.72 c (4,0) c Blocked_Reuse_1 : 0 37.19/6.72 c (4,0) c Blocked_Reuse_2 : 0 37.19/6.72 c (4,0) c Blocked_Reuse_3 : 0 37.19/6.72 c (4,0) c Blocked_Reuse_4 : 0 37.19/6.72 c (4,0) c Blocked_Reuse_5 : 0 37.19/6.72 c (4,0) c Blocked_Reuse_6 : 0 37.19/6.72 c (4,0) c Blocked_Reuse_7 : 0 37.19/6.72 c (4,0) c Blocked_Reuse_total : 0 37.19/6.72 c (4,0) c Blocked_Reuse_winner : 0 37.19/6.72 c (4,0) c Unaries_0 : 8 37.19/6.72 c (4,0) c Unaries_1 : 16 37.19/6.72 c (4,0) c Unaries_2 : 12 37.19/6.72 c (4,0) c Unaries_3 : 21 37.19/6.72 c (4,0) c Unaries_4 : 16 37.19/6.72 c (4,0) c Unaries_5 : 11 37.19/6.72 c (4,0) c Unaries_6 : 13 37.19/6.72 c (4,0) c Unaries_7 : 18 37.19/6.72 c (4,0) c Unaries_total : 115 37.19/6.72 c (4,0) c Unaries_winner : 18 37.19/6.72 c (4,0) c Binaries_0 : 78 37.19/6.72 c (4,0) c Binaries_1 : 102 37.19/6.72 c (4,0) c Binaries_2 : 78 37.19/6.72 c (4,0) c Binaries_3 : 96 37.19/6.72 c (4,0) c Binaries_4 : 97 37.19/6.72 c (4,0) c Binaries_5 : 98 37.19/6.72 c (4,0) c Binaries_6 : 76 37.19/6.72 c (4,0) c Binaries_7 : 82 37.19/6.72 c (4,0) c Binaries_total : 707 37.19/6.72 c (4,0) c Binaries_winner : 82 37.19/6.72 c (4,0) c Glues_0 : 106 37.19/6.72 c (4,0) c Glues_1 : 128 37.19/6.72 c (4,0) c Glues_2 : 103 37.19/6.72 c (4,0) c Glues_3 : 134 37.19/6.72 c (4,0) c Glues_4 : 126 37.19/6.72 c (4,0) c Glues_5 : 118 37.19/6.72 c (4,0) c Glues_6 : 100 37.19/6.72 c (4,0) c Glues_7 : 106 37.19/6.72 c (4,0) c Glues_total : 921 37.19/6.72 c (4,0) c Glues_winner : 106 37.19/6.72 c (4,0) c RunningTime_0 : 3.892322 37.19/6.72 c (4,0) c RunningTime_1 : 3.893850 37.19/6.72 c (4,0) c RunningTime_2 : 3.890331 37.19/6.72 c (4,0) c RunningTime_3 : 3.872839 37.19/6.72 c (4,0) c RunningTime_4 : 3.900791 37.19/6.72 c (4,0) c RunningTime_5 : 3.892731 37.19/6.72 c (4,0) c RunningTime_6 : 3.867432 37.19/6.72 c (4,0) c RunningTime_7 : 3.880186 37.19/6.72 c (4,0) c RunningTime_total : 31.090482 37.19/6.72 c (4,0) c RunningTime_winner : 3.880186 37.19/6.72 c (4,0) c WaitingTime_0 : 0.000059 37.19/6.72 c (4,0) c WaitingTime_1 : 0.000058 37.19/6.72 c (4,0) c WaitingTime_2 : 0.000054 37.19/6.72 c (4,0) c WaitingTime_3 : 0.000049 37.19/6.72 c (4,0) c WaitingTime_4 : 0.000075 37.19/6.72 c (4,0) c WaitingTime_5 : 0.000041 37.19/6.72 c (4,0) c WaitingTime_6 : 0.000060 37.19/6.72 c (4,0) c WaitingTime_7 : 0.000041 37.19/6.72 c (4,0) c WaitingTime_total : 0.000438 37.19/6.72 c (4,0) c WaitingTime_winner : 0.000041 37.19/6.72 c (4,0) c ExchangingTime_0 : 0.013494 37.19/6.72 c (4,0) c ExchangingTime_1 : 0.013885 37.19/6.72 c (4,0) c ExchangingTime_2 : 0.013439 37.19/6.72 c (4,0) c ExchangingTime_3 : 0.013365 37.19/6.72 c (4,0) c ExchangingTime_4 : 0.011393 37.19/6.72 c (4,0) c ExchangingTime_5 : 0.014625 37.19/6.72 c (4,0) c ExchangingTime_6 : 0.014336 37.19/6.72 c (4,0) c ExchangingTime_7 : 0.014416 37.19/6.72 c (4,0) c ExchangingTime_total : 0.108953 37.19/6.72 c (4,0) c ExchangingTime_winner : 0.014416 37.19/6.72 c (4,0) c PeriodProcTime_0 : 0.000395 37.19/6.72 c (4,0) c PeriodProcTime_1 : 0.000475 37.19/6.72 c (4,0) c PeriodProcTime_2 : 0.000367 37.19/6.72 c (4,0) c PeriodProcTime_3 : 0.000393 37.19/6.73 c (4,0) c PeriodProcTime_4 : 0.000354 37.19/6.73 c (4,0) c PeriodProcTime_5 : 0.000432 37.19/6.73 c (4,0) c PeriodProcTime_6 : 0.000367 37.19/6.73 c (4,0) c PeriodProcTime_7 : 0.000431 37.19/6.73 c (4,0) c PeriodProcTime_total : 0.003215 37.19/6.73 c (4,0) c PeriodProcTime_winner : 0.000431 37.19/6.73 c (4,0) c SolvingTime_0 : 3.906271 37.19/6.73 c (4,0) c SolvingTime_1 : 3.908267 37.19/6.73 c (4,0) c SolvingTime_2 : 3.904191 37.19/6.73 c (4,0) c SolvingTime_3 : 3.886646 37.19/6.73 c (4,0) c SolvingTime_4 : 3.912613 37.19/6.73 c (4,0) c SolvingTime_5 : 3.907829 37.19/6.73 c (4,0) c SolvingTime_6 : 3.882196 37.19/6.73 c (4,0) c SolvingTime_7 : 3.895073 37.19/6.73 c (4,0) c SolvingTime_total : 31.203087 37.19/6.73 c (4,0) c SolvingTime_winner : 3.895073 37.19/6.73 c (4,0) c PropagationTime_0 : 3.428765 37.19/6.73 c (4,0) c PropagationTime_1 : 3.419343 37.19/6.73 c (4,0) c PropagationTime_2 : 3.416903 37.19/6.73 c (4,0) c PropagationTime_3 : 3.412939 37.19/6.73 c (4,0) c PropagationTime_4 : 3.424911 37.19/6.73 c (4,0) c PropagationTime_5 : 3.418660 37.19/6.73 c (4,0) c PropagationTime_6 : 3.411202 37.19/6.73 c (4,0) c PropagationTime_7 : 3.416029 37.19/6.73 c (4,0) c PropagationTime_total : 27.348752 37.19/6.73 c (4,0) c PropagationTime_winner : 3.416029 37.19/6.73 c (4,0) c AnalysisTime_0 : 0.331120 37.19/6.73 c (4,0) c AnalysisTime_1 : 0.337785 37.19/6.73 c (4,0) c AnalysisTime_2 : 0.340324 37.19/6.73 c (4,0) c AnalysisTime_3 : 0.326853 37.19/6.73 c (4,0) c AnalysisTime_4 : 0.339725 37.19/6.73 c (4,0) c AnalysisTime_5 : 0.337180 37.19/6.73 c (4,0) c AnalysisTime_6 : 0.329247 37.19/6.73 c (4,0) c AnalysisTime_7 : 0.330715 37.19/6.73 c (4,0) c AnalysisTime_total : 2.672950 37.19/6.73 c (4,0) c AnalysisTime_winner : 0.330715 37.19/6.73 c (4,0) c ReductionTime_0 : 0.030090 37.19/6.73 c (4,0) c ReductionTime_1 : 0.033574 37.19/6.73 c (4,0) c ReductionTime_2 : 0.032653 37.19/6.73 c (4,0) c ReductionTime_3 : 0.032242 37.19/6.73 c (4,0) c ReductionTime_4 : 0.032000 37.19/6.73 c (4,0) c ReductionTime_5 : 0.029757 37.19/6.73 c (4,0) c ReductionTime_6 : 0.029872 37.19/6.73 c (4,0) c ReductionTime_7 : 0.032893 37.19/6.73 c (4,0) c ReductionTime_total : 0.253081 37.19/6.73 c (4,0) c ReductionTime_winner : 0.032893 37.19/6.73 c (4,0) c SimplifyTime_0 : 0.013140 37.19/6.73 c (4,0) c SimplifyTime_1 : 0.013349 37.19/6.73 c (4,0) c SimplifyTime_2 : 0.011772 37.19/6.73 c (4,0) c SimplifyTime_3 : 0.013264 37.19/6.73 c (4,0) c SimplifyTime_4 : 0.014173 37.19/6.73 c (4,0) c SimplifyTime_5 : 0.014881 37.19/6.73 c (4,0) c SimplifyTime_6 : 0.011579 37.19/6.73 c (4,0) c SimplifyTime_7 : 0.013618 37.19/6.73 c (4,0) c SimplifyTime_total : 0.105775 37.19/6.73 c (4,0) c SimplifyTime_winner : 0.013618 37.19/6.73 c (4,0) c UsedRateTime_0 : 0.000000 37.19/6.73 c (4,0) c UsedRateTime_1 : 0.000000 37.19/6.73 c (4,0) c UsedRateTime_2 : 0.000000 37.19/6.73 c (4,0) c UsedRateTime_3 : 0.000000 37.19/6.73 c (4,0) c UsedRateTime_4 : 0.000000 37.19/6.73 c (4,0) c UsedRateTime_5 : 0.000000 37.19/6.73 c (4,0) c UsedRateTime_6 : 0.000000 37.19/6.73 c (4,0) c UsedRateTime_7 : 0.000000 37.19/6.73 c (4,0) c UsedRateTime_total : 0.000000 37.19/6.73 c (4,0) c UsedRateTime_winner : 0.000000 37.19/6.73 c (4,0) c OverlapRateTime_0 : 0.000000 37.19/6.73 c (4,0) c OverlapRateTime_1 : 0.000000 37.19/6.73 c (4,0) c OverlapRateTime_2 : 0.000000 37.19/6.73 c (4,0) c OverlapRateTime_3 : 0.000000 37.19/6.73 c (4,0) c OverlapRateTime_4 : 0.000000 37.19/6.73 c (4,0) c OverlapRateTime_5 : 0.000000 37.19/6.73 c (4,0) c OverlapRateTime_6 : 0.000000 37.19/6.73 c (4,0) c OverlapRateTime_7 : 0.000000 37.19/6.73 c (4,0) c OverlapRateTime_total : 0.000000 37.19/6.73 c (4,0) c OverlapRateTime_winner : 0.000000 37.19/6.73 c (4,0) c 37.19/6.73 c (4,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 37.19/6.73 c (4,0) c 37.19/6.73 c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 37.19/6.73 c (4,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 37.19/6.73 c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 37.19/6.73 c (4,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 37.19/6.73 c (4,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 37.19/6.73 c (4,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 37.19/6.73 c (4,0) c | Initial random_seed | 1214742569 | 1032952667 | 795551827 | 260805886 | 549722243 | 1712335901 | 1344757071 | 1250839664 | 37.19/6.73 c (4,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 37.19/6.73 c (4,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 37.19/6.73 c (4,0) c | glureduce | True | True | True | True | True | True | True | True | 37.19/6.73 c (4,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 37.19/6.73 c (4,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 37.19/6.73 c (4,0) c | luby_restart | False | False | False | False | False | False | False | False | 37.19/6.73 c (4,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 37.19/6.73 c (4,0) c | var_decay | 0.8800 | 0.8800 | 0.8800 | 0.8800 | 0.8800 | 0.8800 | 0.8800 | 0.8800 | 37.19/6.73 c (4,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 37.19/6.73 c (4,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 37.19/6.73 c (4,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 37.19/6.73 c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 37.19/6.73 c (4,0) 37.19/6.73 c (4,0) s UNSATISFIABLE 37.19/6.73 c (4,0) SatSolver.solve End 37.19/6.73 c (4,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 37.19/6.73 c (4,0) Show results Begin 37.19/6.73 s UNSATISFIABLE 37.19/6.73 c (4,0) Show results End 37.19/6.73 c (4,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 37.19/6.74 c (4,0) 4,4,STOP-AFTER(ALL) 37.19/6.74 c END-Prog: Sat Sep 14 06:24:00 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 (14732 MiB free) memory of node 1: 16384 MiB (15175 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392291-1568438711/watcher-4392291-1568438711 -o /tmp/evaluation-result-4392291-1568438711/solver-4392291-1568438711 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1568429735-21457 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392291-1568438711.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=22978, runsolver pid=22975 Current StackSize limit: 8192 KiB [startup+0.100135 s]* /proc/loadavg: 6.45 6.74 6.85 2/211 23000 /proc/meminfo: memFree=30533040/32770624 swapFree=66997772/67108860 [pid=22978] ppid=22975 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/22978/stat : 22978 (scop.sh) S 22975 22978 21430 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 420125716 115843072 348 33554432000 4194304 5098028 140736051891648 140736051888904 140049347904124 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 7340032 140736051893029 140736051893356 140736051893356 140736051896269 0 /proc/22978/statm: 28282 348 296 221 0 87 0 [pid=22981] ppid=22978 vsize=27314120 memory=106120 CPUtime=0.1 cores=0-7 /proc/22981/stat : 22981 (java) S 22978 22978 21430 0 -1 1077944320 6544 0 0 0 8 2 0 0 20 0 20 0 420125716 27969658880 26530 33554432000 4194304 4196468 140730403055120 140730403037664 139954155826935 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 /proc/22981/statm: 6828530 26530 2793 1 0 6790935 0 [pid=22981/tid=22982] ppid=22978 vsize=27314120 memory=576460756329955445 CPUtime=0.08 cores=0-7 /proc/22981/task/22982/stat : 22982 (java) R 22978 22978 21430 0 -1 4202560 4631 0 0 0 7 1 0 0 20 0 20 0 420125716 27969658880 26530 33554432000 4194304 4196468 140730403055120 139954127650880 139954148064062 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 [pid=22981/tid=22983] ppid=22978 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22981/task/22983/stat : 22983 (java) S 22978 22978 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420125719 27969658880 26530 33554432000 4194304 4196468 140730403055120 139954160069136 139954155837141 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 [pid=22981/tid=22984] ppid=22978 vsize=27314120 memory=139760926471722 CPUtime=0 cores=0-7 /proc/22981/task/22984/stat : 22984 (java) S 22978 22978 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420125719 27969658880 26530 33554432000 4194304 4196468 140730403055120 139953993448080 139954155837141 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 [pid=22981/tid=22985] ppid=22978 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22981/task/22985/stat : 22985 (java) S 22978 22978 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420125719 27969658880 26530 33554432000 4194304 4196468 140730403055120 139953577470224 139954155837141 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 [pid=22981/tid=22986] ppid=22978 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22981/task/22986/stat : 22986 (java) S 22978 22978 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420125719 27969658880 26530 33554432000 4194304 4196468 140730403055120 139953576417680 139954155837141 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 [pid=22981/tid=22987] ppid=22978 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22981/task/22987/stat : 22987 (java) S 22978 22978 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420125719 27969658880 26530 33554432000 4194304 4196468 140730403055120 139953575365648 139954155837141 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 [pid=22981/tid=22988] ppid=22978 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/22981/task/22988/stat : 22988 (java) S 22978 22978 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420125719 27969658880 26530 33554432000 4194304 4196468 140730403055120 139953574313104 139954155837141 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 [pid=22981/tid=22989] ppid=22978 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22981/task/22989/stat : 22989 (java) S 22978 22978 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420125719 27969658880 26530 33554432000 4194304 4196468 140730403055120 139953573260048 139954155837141 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 [pid=22981/tid=22990] ppid=22978 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22981/task/22990/stat : 22990 (java) S 22978 22978 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420125719 27969658880 26530 33554432000 4194304 4196468 140730403055120 139953572207504 139954155837141 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 [pid=22981/tid=22991] ppid=22978 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22981/task/22991/stat : 22991 (java) S 22978 22978 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420125720 27969658880 26530 33554432000 4194304 4196468 140730403055120 139953012873456 139954155838082 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 [pid=22981/tid=22992] ppid=22978 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22981/task/22992/stat : 22992 (java) S 22978 22978 21430 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420125721 27969658880 26530 33554432000 4194304 4196468 140730403055120 139952113312928 139954155837141 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 [pid=22981/tid=22993] ppid=22978 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22981/task/22993/stat : 22993 (java) S 22978 22978 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420125721 27969658880 26530 33554432000 4194304 4196468 140730403055120 139951844877040 139954155837141 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 [pid=22981/tid=22994] ppid=22978 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22981/task/22994/stat : 22994 (java) S 22978 22978 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420125723 27969658880 26530 33554432000 4194304 4196468 140730403055120 139951470368720 139954155845531 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 [pid=22981/tid=22995] ppid=22978 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22981/task/22995/stat : 22995 (java) S 22978 22978 21430 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 420125723 27969658880 26530 33554432000 4194304 4196468 140730403055120 139953011821296 139954155838082 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 [pid=22981/tid=22996] ppid=22978 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22981/task/22996/stat : 22996 (java) S 22978 22978 21430 0 -1 1077944384 269 0 0 0 0 0 0 0 20 0 20 0 420125723 27969658880 26530 33554432000 4194304 4196468 140730403055120 139953010768752 139954155838082 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 [pid=22981/tid=22997] ppid=22978 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22981/task/22997/stat : 22997 (java) S 22978 22978 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420125723 27969658880 26530 33554432000 4194304 4196468 140730403055120 139953009715696 139954155838082 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 [pid=22981/tid=22998] ppid=22978 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22981/task/22998/stat : 22998 (java) S 22978 22978 21430 0 -1 1077944384 278 0 0 0 0 0 0 0 20 0 20 0 420125723 27969658880 26530 33554432000 4194304 4196468 140730403055120 139953008663152 139954155838082 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 [pid=22981/tid=22999] ppid=22978 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22981/task/22999/stat : 22999 (java) S 22978 22978 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420125724 27969658880 26530 33554432000 4194304 4196468 140730403055120 139950972463584 139954155837141 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 [pid=22981/tid=23000] ppid=22978 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/22981/task/23000/stat : 23000 (java) S 22978 22978 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420125724 27969658880 26530 33554432000 4194304 4196468 140730403055120 139953007610544 139954155838082 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 107512 KiB [startup+0.210326 s]* /proc/loadavg: 6.45 6.74 6.85 3/211 23000 /proc/meminfo: memFree=30509020/32770624 swapFree=66997772/67108860 [pid=22978] ppid=22975 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/22978/stat : 22978 (scop.sh) S 22975 22978 21430 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 420125716 115843072 348 33554432000 4194304 5098028 140736051891648 140736051888904 140049347904124 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 7340032 140736051893029 140736051893356 140736051893356 140736051896269 0 /proc/22978/statm: 28282 348 296 221 0 87 0 [pid=22981] ppid=22978 vsize=27314120 memory=125232 CPUtime=0.24 cores=0-7 /proc/22981/stat : 22981 (java) S 22978 22978 21430 0 -1 1077944320 12217 0 0 0 20 4 0 0 20 0 20 0 420125716 27969658880 31308 33554432000 4194304 4196468 140730403055120 140730403037664 139954155826935 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 /proc/22981/statm: 6828530 31308 2925 1 0 6790935 0 [pid=22981/tid=22982] ppid=22978 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/22981/task/22982/stat : 22982 (java) R 22978 22978 21430 0 -1 4202560 9877 0 0 0 16 3 0 0 20 0 20 0 420125716 27969658880 31308 33554432000 4194304 4196468 140730403055120 139954127626320 139954137390510 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 [pid=22981/tid=22983] ppid=22978 vsize=27314120 memory=288230591823085922 CPUtime=0 cores=0-7 /proc/22981/task/22983/stat : 22983 (java) S 22978 22978 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420125719 27969658880 31308 33554432000 4194304 4196468 140730403055120 139954160069136 139954155837141 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 [pid=22981/tid=22984] ppid=22978 vsize=27314120 memory=3474159110360319648 CPUtime=0 cores=0-7 /proc/22981/task/22984/stat : 22984 (java) S 22978 22978 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420125719 27969658880 31308 33554432000 4194304 4196468 140730403055120 139953993448080 139954155837141 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 [pid=22981/tid=22985] ppid=22978 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/22981/task/22985/stat : 22985 (java) S 22978 22978 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420125719 27969658880 31308 33554432000 4194304 4196468 140730403055120 139953577470224 139954155837141 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 [pid=22981/tid=22986] ppid=22978 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22981/task/22986/stat : 22986 (java) S 22978 22978 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420125719 27969658880 31308 33554432000 4194304 4196468 140730403055120 139953576417680 139954155837141 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 [pid=22981/tid=22987] ppid=22978 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22981/task/22987/stat : 22987 (java) S 22978 22978 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420125719 27969658880 31308 33554432000 4194304 4196468 140730403055120 139953575365648 139954155837141 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 [pid=22981/tid=22988] ppid=22978 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/22981/task/22988/stat : 22988 (java) S 22978 22978 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420125719 27969658880 31308 33554432000 4194304 4196468 140730403055120 139953574313104 139954155837141 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 [pid=22981/tid=22989] ppid=22978 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22981/task/22989/stat : 22989 (java) S 22978 22978 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420125719 27969658880 31308 33554432000 4194304 4196468 140730403055120 139953573260048 139954155837141 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 [pid=22981/tid=22990] ppid=22978 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22981/task/22990/stat : 22990 (java) S 22978 22978 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420125719 27969658880 31308 33554432000 4194304 4196468 140730403055120 139953572207504 139954155837141 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 [pid=22981/tid=22991] ppid=22978 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22981/task/22991/stat : 22991 (java) S 22978 22978 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420125720 27969658880 31308 33554432000 4194304 4196468 140730403055120 139953012873456 139954155838082 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 [pid=22981/tid=22992] ppid=22978 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22981/task/22992/stat : 22992 (java) S 22978 22978 21430 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420125721 27969658880 31308 33554432000 4194304 4196468 140730403055120 139952113312928 139954155837141 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 [pid=22981/tid=22993] ppid=22978 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22981/task/22993/stat : 22993 (java) S 22978 22978 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420125721 27969658880 31308 33554432000 4194304 4196468 140730403055120 139951844877040 139954155837141 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 [pid=22981/tid=22994] ppid=22978 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22981/task/22994/stat : 22994 (java) S 22978 22978 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420125723 27969658880 31308 33554432000 4194304 4196468 140730403055120 139951470368720 139954155845531 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 [pid=22981/tid=22995] ppid=22978 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22981/task/22995/stat : 22995 (java) S 22978 22978 21430 0 -1 1077944384 175 0 0 0 0 0 0 0 20 0 20 0 420125723 27969658880 31308 33554432000 4194304 4196468 140730403055120 139953011821296 139954155838082 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 [pid=22981/tid=22996] ppid=22978 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22981/task/22996/stat : 22996 (java) S 22978 22978 21430 0 -1 1077944384 269 0 0 0 0 0 0 0 20 0 20 0 420125723 27969658880 31308 33554432000 4194304 4196468 140730403055120 139953010768752 139954155838082 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 [pid=22981/tid=22997] ppid=22978 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/22981/task/22997/stat : 22997 (java) S 22978 22978 21430 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 420125723 27969658880 31308 33554432000 4194304 4196468 140730403055120 139953009715696 139954155838082 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 [pid=22981/tid=22998] ppid=22978 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7 /proc/22981/task/22998/stat : 22998 (java) S 22978 22978 21430 0 -1 1077944384 511 0 0 0 2 0 0 0 20 0 20 0 420125723 27969658880 31308 33554432000 4194304 4196468 140730403055120 139953008663152 139954155838082 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 [pid=22981/tid=22999] ppid=22978 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22981/task/22999/stat : 22999 (java) S 22978 22978 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420125724 27969658880 31308 33554432000 4194304 4196468 140730403055120 139950972463584 139954155837141 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 [pid=22981/tid=23000] ppid=22978 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/22981/task/23000/stat : 23000 (java) S 22978 22978 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420125724 27969658880 31308 33554432000 4194304 4196468 140730403055120 139953007610544 139954155838082 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 126624 KiB [startup+0.309715 s]* /proc/loadavg: 6.45 6.74 6.85 2/211 23000 /proc/meminfo: memFree=30506404/32770624 swapFree=66997772/67108860 [pid=22978] ppid=22975 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/22978/stat : 22978 (scop.sh) S 22975 22978 21430 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 420125716 115843072 348 33554432000 4194304 5098028 140736051891648 140736051888904 140049347904124 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 7340032 140736051893029 140736051893356 140736051893356 140736051896269 0 /proc/22978/statm: 28282 348 296 221 0 87 0 [pid=22981] ppid=22978 vsize=27314120 memory=129136 CPUtime=0.42 cores=0-7 /proc/22981/stat : 22981 (java) S 22978 22978 21430 0 -1 1077944320 12924 0 0 0 37 5 0 0 20 0 20 0 420125716 27969658880 32284 33554432000 4194304 4196468 140730403055120 140730403037664 139954155826935 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 /proc/22981/statm: 6828530 32284 3025 1 0 6790935 0 [pid=22981/tid=22982] ppid=22978 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/22981/task/22982/stat : 22982 (java) R 22978 22978 21430 0 -1 4202560 10312 0 0 0 26 3 0 0 20 0 20 0 420125716 27969658880 32284 33554432000 4194304 4196468 140730403055120 139954127644432 139954155848861 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 [pid=22981/tid=22983] ppid=22978 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22981/task/22983/stat : 22983 (java) S 22978 22978 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420125719 27969658880 32284 33554432000 4194304 4196468 140730403055120 139954160069136 139954155837141 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 [pid=22981/tid=22984] ppid=22978 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22981/task/22984/stat : 22984 (java) S 22978 22978 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420125719 27969658880 32284 33554432000 4194304 4196468 140730403055120 139953993448080 139954155837141 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 [pid=22981/tid=22985] ppid=22978 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22981/task/22985/stat : 22985 (java) S 22978 22978 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420125719 27969658880 32284 33554432000 4194304 4196468 140730403055120 139953577470224 139954155837141 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 [pid=22981/tid=22986] ppid=22978 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22981/task/22986/stat : 22986 (java) S 22978 22978 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420125719 27969658880 32284 33554432000 4194304 4196468 140730403055120 139953576417680 139954155837141 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 [pid=22981/tid=22987] ppid=22978 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22981/task/22987/stat : 22987 (java) S 22978 22978 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420125719 27969658880 32284 33554432000 4194304 4196468 140730403055120 139953575365648 139954155837141 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 [pid=22981/tid=22988] ppid=22978 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22981/task/22988/stat : 22988 (java) S 22978 22978 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420125719 27969658880 32284 33554432000 4194304 4196468 140730403055120 139953574313104 139954155837141 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 [pid=22981/tid=22989] ppid=22978 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22981/task/22989/stat : 22989 (java) S 22978 22978 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420125719 27969658880 32284 33554432000 4194304 4196468 140730403055120 139953573260048 139954155837141 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 [pid=22981/tid=22990] ppid=22978 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22981/task/22990/stat : 22990 (java) S 22978 22978 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420125719 27969658880 32284 33554432000 4194304 4196468 140730403055120 139953572207504 139954155837141 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 [pid=22981/tid=22991] ppid=22978 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22981/task/22991/stat : 22991 (java) S 22978 22978 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420125720 27969658880 32284 33554432000 4194304 4196468 140730403055120 139953012873456 139954155838082 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 [pid=22981/tid=22992] ppid=22978 vsize=27314120 memory=279521572101504 CPUtime=0 cores=0-7 /proc/22981/task/22992/stat : 22992 (java) S 22978 22978 21430 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420125721 27969658880 32284 33554432000 4194304 4196468 140730403055120 139952113312928 139954155837141 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 [pid=22981/tid=22993] ppid=22978 vsize=27314120 memory=279521572106112 CPUtime=0 cores=0-7 /proc/22981/task/22993/stat : 22993 (java) S 22978 22978 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420125721 27969658880 32284 33554432000 4194304 4196468 140730403055120 139951844877040 139954155837141 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 [pid=22981/tid=22994] ppid=22978 vsize=27314120 memory=279521572110720 CPUtime=0 cores=0-7 /proc/22981/task/22994/stat : 22994 (java) S 22978 22978 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420125723 27969658880 32284 33554432000 4194304 4196468 140730403055120 139951470368720 139954155845531 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 [pid=22981/tid=22995] ppid=22978 vsize=27314120 memory=279521572115328 CPUtime=0.01 cores=0-7 /proc/22981/task/22995/stat : 22995 (java) S 22978 22978 21430 0 -1 1077944384 223 0 0 0 1 0 0 0 20 0 20 0 420125723 27969658880 32284 33554432000 4194304 4196468 140730403055120 139953011821296 139954155838082 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 [pid=22981/tid=22996] ppid=22978 vsize=27314120 memory=279521572119936 CPUtime=0.01 cores=0-7 /proc/22981/task/22996/stat : 22996 (java) R 22978 22978 21430 0 -1 1077944384 313 0 0 0 1 0 0 0 20 0 20 0 420125723 27969658880 32284 33554432000 4194304 4196468 140730403055120 139953010768752 139954155838082 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 [pid=22981/tid=22997] ppid=22978 vsize=27314120 memory=279521572124544 CPUtime=0.01 cores=0-7 /proc/22981/task/22997/stat : 22997 (java) R 22978 22978 21430 0 -1 1077944384 130 0 0 0 1 0 0 0 20 0 20 0 420125723 27969658880 32284 33554432000 4194304 4196468 140730403055120 139953009715696 139954155838082 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 [pid=22981/tid=22998] ppid=22978 vsize=27314120 memory=279521572129152 CPUtime=0.07 cores=0-7 /proc/22981/task/22998/stat : 22998 (java) S 22978 22978 21430 0 -1 1077944384 609 0 0 0 7 0 0 0 20 0 20 0 420125723 27969658880 32284 33554432000 4194304 4196468 140730403055120 139953008663152 139954155838082 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 [pid=22981/tid=22999] ppid=22978 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22981/task/22999/stat : 22999 (java) S 22978 22978 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420125724 27969658880 32284 33554432000 4194304 4196468 140730403055120 139950972463584 139954155837141 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 [pid=22981/tid=23000] ppid=22978 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/22981/task/23000/stat : 23000 (java) S 22978 22978 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420125724 27969658880 32284 33554432000 4194304 4196468 140730403055120 139953007610544 139954155838082 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 130528 KiB [startup+0.700933 s] /proc/loadavg: 6.45 6.74 6.85 2/211 23000 /proc/meminfo: memFree=30479544/32770624 swapFree=66997772/67108860 [pid=22978] ppid=22975 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/22978/stat : 22978 (scop.sh) S 22975 22978 21430 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 420125716 115843072 348 33554432000 4194304 5098028 140736051891648 140736051888904 140049347904124 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 7340032 140736051893029 140736051893356 140736051893356 140736051896269 0 /proc/22978/statm: 28282 348 296 221 0 87 0 [pid=22981] ppid=22978 vsize=27320392 memory=164304 CPUtime=0.98 cores=0-7 /proc/22981/stat : 22981 (java) S 22978 22978 21430 0 -1 1077944320 20265 0 0 0 90 8 0 0 20 0 20 0 420125716 27976081408 41076 33554432000 4194304 4196468 140730403055120 140730403037664 139954155826935 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 /proc/22981/statm: 6830098 41076 3179 1 0 6791447 0 [pid=22981/tid=22982] ppid=22978 vsize=27320392 memory=4580 CPUtime=0.68 cores=0-7 /proc/22981/task/22982/stat : 22982 (java) R 22978 22978 21430 0 -1 4202560 17033 0 0 0 62 6 0 0 20 0 20 0 420125716 27976081408 41076 33554432000 4194304 4196468 140730403055120 139954127648080 139954155848861 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 [pid=22981/tid=22983] ppid=22978 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/22981/task/22983/stat : 22983 (java) S 22978 22978 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420125719 27976081408 41076 33554432000 4194304 4196468 140730403055120 139954160069136 139954155837141 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 [pid=22981/tid=22984] ppid=22978 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/22981/task/22984/stat : 22984 (java) S 22978 22978 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420125719 27976081408 41076 33554432000 4194304 4196468 140730403055120 139953993448080 139954155837141 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 [pid=22981/tid=22985] ppid=22978 vsize=27320392 memory=4008 CPUtime=0 cores=0-7 /proc/22981/task/22985/stat : 22985 (java) S 22978 22978 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420125719 27976081408 41076 33554432000 4194304 4196468 140730403055120 139953577470224 139954155837141 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33910784 140730403058411 140730403058838 140730403058838 140730403061711 0 ################ # More data... # ################ [pid=23001/tid=23024] ppid=22978 vsize=8414124 memory=238447994385309 CPUtime=0 cores=0-7 /proc/23001/task/23024/stat : 23024 (java) S 22978 22978 21430 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 420125990 8616062976 30014 33554432000 4194304 4196468 140720916598768 139917686455824 139920845558941 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 33263616 140720916603895 140720916604054 140720916604054 140720916606927 0 [pid=23001/tid=23025] ppid=22978 vsize=8414124 memory=238447994385310 CPUtime=0 cores=0-7 /proc/23001/task/23025/stat : 23025 (java) S 22978 22978 21430 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 420125991 8616062976 30014 33554432000 4194304 4196468 140720916598768 139917954891408 139920845558941 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 33263616 140720916603895 140720916604054 140720916604054 140720916606927 0 [pid=23001/tid=23026] ppid=22978 vsize=8414124 memory=238447994385311 CPUtime=0 cores=0-7 /proc/23001/task/23026/stat : 23026 (java) S 22978 22978 21430 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 420125993 8616062976 30014 33554432000 4194304 4196468 140720916598768 139917418027952 139920845547221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33263616 140720916603895 140720916604054 140720916604054 140720916606927 0 Current children cumulated CPU time: 34.83 s Current children cumulated vsize: 9161300 KiB Current children cumulated memory: 211096 KiB [startup+6.6022 s] /proc/loadavg: 6.65 6.78 6.86 9/224 23034 /proc/meminfo: memFree=30428912/32770624 swapFree=66997772/67108860 [pid=22978] ppid=22975 vsize=113128 memory=1472 CPUtime=4.9 cores=0-7 /proc/22978/stat : 22978 (scop.sh) S 22975 22978 21430 0 -1 4202496 582 28335 0 0 0 0 474 16 20 0 1 0 420125716 115843072 368 33554432000 4194304 5098028 140736051891648 140736051888392 140049347904124 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 7340032 140736051893029 140736051893356 140736051893356 140736051896269 0 /proc/22978/statm: 28282 368 311 221 0 87 0 [pid=23001] ppid=22978 vsize=8414124 memory=120056 CPUtime=1.16 cores=0-7 /proc/23001/stat : 23001 (java) S 22978 22978 21430 0 -1 1077944320 20023 0 0 0 109 7 0 0 20 0 24 0 420125917 8616062976 30014 33554432000 4194304 4196468 140720916598768 140720916581312 139920845537015 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33263616 140720916603895 140720916604054 140720916604054 140720916606927 0 /proc/23001/statm: 2103531 30014 3206 1 0 2064875 0 [pid=23021] ppid=23001 vsize=634192 memory=91008 CPUtime=30.36 cores=0-7 /proc/23021/stat : 23021 (manyglucose-4.1) S 23001 22978 21430 0 -1 1077944320 55105 0 0 0 3027 9 0 0 20 0 9 0 420125990 649412608 22752 33554432000 4194304 4454172 140722046578496 140722046576896 140205552069250 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 19431424 140722046579561 140722046579760 140722046579760 140722046582714 0 /proc/23021/statm: 158548 22752 403 64 0 154216 0 [pid=23021/tid=23027] ppid=23001 vsize=634192 memory=-2023959437020729679 CPUtime=3.79 cores=0-7 /proc/23021/task/23027/stat : 23027 (manyglucose-4.1) R 23001 22978 21430 0 -1 4202560 5735 0 0 0 378 1 0 0 20 0 9 0 420125996 649412608 22752 33554432000 4194304 4454172 140722046578496 140205536840952 4351800 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 19431424 140722046579561 140722046579760 140722046579760 140722046582714 0 [pid=23021/tid=23028] ppid=23001 vsize=634192 memory=6944656592455097440 CPUtime=3.78 cores=0-7 /proc/23021/task/23028/stat : 23028 (manyglucose-4.1) R 23001 22978 21430 0 -1 4202560 4986 0 0 0 378 0 0 0 20 0 9 0 420125996 649412608 22752 33554432000 4194304 4454172 140722046578496 140205528448248 4350933 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 19431424 140722046579561 140722046579760 140722046579760 140722046582714 0 [pid=23021/tid=23029] ppid=23001 vsize=634192 memory=6655300316396806240 CPUtime=3.79 cores=0-7 /proc/23021/task/23029/stat : 23029 (manyglucose-4.1) R 23001 22978 21430 0 -1 4202560 7168 0 0 0 379 0 0 0 20 0 9 0 420125996 649412608 22752 33554432000 4194304 4454172 140722046578496 140205520055544 4351198 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 19431424 140722046579561 140722046579760 140722046579760 140722046582714 0 [pid=23021/tid=23030] ppid=23001 vsize=634192 memory=6944656592455097440 CPUtime=3.79 cores=0-7 /proc/23021/task/23030/stat : 23030 (manyglucose-4.1) R 23001 22978 21430 0 -1 4202560 6250 0 0 0 378 1 0 0 20 0 9 0 420125996 649412608 22752 33554432000 4194304 4454172 140722046578496 140205511662840 4353764 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 19431424 140722046579561 140722046579760 140722046579760 140722046582714 0 [pid=23021/tid=23031] ppid=23001 vsize=634192 memory=4206468019014086714 CPUtime=3.79 cores=0-7 /proc/23021/task/23031/stat : 23031 (manyglucose-4.1) R 23001 22978 21430 0 -1 4202560 6176 0 0 0 379 0 0 0 20 0 9 0 420125996 649412608 22752 33554432000 4194304 4454172 140722046578496 140205503270136 4351800 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 19431424 140722046579561 140722046579760 140722046579760 140722046582714 0 [pid=23021/tid=23032] ppid=23001 vsize=634192 memory=4137287014106042739 CPUtime=3.8 cores=0-7 /proc/23021/task/23032/stat : 23032 (manyglucose-4.1) R 23001 22978 21430 0 -1 4202560 6170 0 0 0 379 1 0 0 20 0 9 0 420125996 649412608 22752 33554432000 4194304 4454172 140722046578496 140205494876920 4351506 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 19431424 140722046579561 140722046579760 140722046579760 140722046582714 0 [pid=23021/tid=23033] ppid=23001 vsize=634192 memory=-7384994778349281184 CPUtime=3.79 cores=0-7 /proc/23021/task/23033/stat : 23033 (manyglucose-4.1) R 23001 22978 21430 0 -1 4202560 6846 0 0 0 379 0 0 0 20 0 9 0 420125996 649412608 22752 33554432000 4194304 4454172 140722046578496 140205486484584 4350933 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 19431424 140722046579561 140722046579760 140722046579760 140722046582714 0 [pid=23021/tid=23034] ppid=23001 vsize=634192 memory=1404238533774188662 CPUtime=3.71 cores=0-7 /proc/23021/task/23034/stat : 23034 (manyglucose-4.1) R 23001 22978 21430 0 -1 4202560 6634 0 0 0 370 1 0 0 20 0 9 0 420125996 649412608 22752 33554432000 4194304 4454172 140722046578496 140205478092024 4351209 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6552832 6554400 19431424 140722046579561 140722046579760 140722046579760 140722046582714 0 [pid=23001/tid=23002] ppid=22978 vsize=8414124 memory=0 CPUtime=0.75 cores=0-7 /proc/23001/task/23002/stat : 23002 (java) S 22978 22978 21430 0 -1 1077944384 16910 0 0 0 70 5 0 0 20 0 24 0 420125918 8616062976 30014 33554432000 4194304 4196468 140720916598768 139920817377184 139920845547221 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33263616 140720916603895 140720916604054 140720916604054 140720916606927 0 [pid=23001/tid=23003] ppid=22978 vsize=8414124 memory=6944656592455360604 CPUtime=0 cores=0-7 /proc/23001/task/23003/stat : 23003 (java) S 22978 22978 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420125919 8616062976 30014 33554432000 4194304 4196468 140720916598768 139920849779728 139920845547221 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33263616 140720916603895 140720916604054 140720916604054 140720916606927 0 [pid=23001/tid=23004] ppid=22978 vsize=8414124 memory=330 CPUtime=0 cores=0-7 /proc/23001/task/23004/stat : 23004 (java) S 22978 22978 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420125919 8616062976 30014 33554432000 4194304 4196468 140720916598768 139920649948304 139920845547221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33263616 140720916603895 140720916604054 140720916604054 140720916606927 0 [pid=23001/tid=23005] ppid=22978 vsize=8414124 memory=330 CPUtime=0 cores=0-7 /proc/23001/task/23005/stat : 23005 (java) S 22978 22978 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420125919 8616062976 30014 33554432000 4194304 4196468 140720916598768 139920648895248 139920845547221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33263616 140720916603895 140720916604054 140720916604054 140720916606927 0 [pid=23001/tid=23006] ppid=22978 vsize=8414124 memory=330 CPUtime=0 cores=0-7 /proc/23001/task/23006/stat : 23006 (java) S 22978 22978 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420125919 8616062976 30014 33554432000 4194304 4196468 140720916598768 139920647842704 139920845547221 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33263616 140720916603895 140720916604054 140720916604054 140720916606927 0 [pid=23001/tid=23007] ppid=22978 vsize=8414124 memory=139760786020007 CPUtime=0 cores=0-7 /proc/23001/task/23007/stat : 23007 (java) S 22978 22978 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420125919 8616062976 30014 33554432000 4194304 4196468 140720916598768 139920646789648 139920845547221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33263616 140720916603895 140720916604054 140720916604054 140720916606927 0 [pid=23001/tid=23008] ppid=22978 vsize=8414124 memory=139760786161328 CPUtime=0 cores=0-7 /proc/23001/task/23008/stat : 23008 (java) S 22978 22978 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420125919 8616062976 30014 33554432000 4194304 4196468 140720916598768 139920645737104 139920845547221 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33263616 140720916603895 140720916604054 140720916604054 140720916606927 0 [pid=23001/tid=23009] ppid=22978 vsize=8414124 memory=139760786161424 CPUtime=0 cores=0-7 /proc/23001/task/23009/stat : 23009 (java) S 22978 22978 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420125919 8616062976 30014 33554432000 4194304 4196468 140720916598768 139920644684048 139920845547221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33263616 140720916603895 140720916604054 140720916604054 140720916606927 0 [pid=23001/tid=23010] ppid=22978 vsize=8414124 memory=139760786161520 CPUtime=0 cores=0-7 /proc/23001/task/23010/stat : 23010 (java) S 22978 22978 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420125919 8616062976 30014 33554432000 4194304 4196468 140720916598768 139920643631504 139920845547221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33263616 140720916603895 140720916604054 140720916604054 140720916606927 0 [pid=23001/tid=23011] ppid=22978 vsize=8414124 memory=139760786161616 CPUtime=0 cores=0-7 /proc/23001/task/23011/stat : 23011 (java) S 22978 22978 21430 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 420125920 8616062976 30014 33554432000 4194304 4196468 140720916598768 139919670635248 139920845548162 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33263616 140720916603895 140720916604054 140720916604054 140720916606927 0 [pid=23001/tid=23012] ppid=22978 vsize=8414124 memory=139760786161712 CPUtime=0 cores=0-7 /proc/23001/task/23012/stat : 23012 (java) S 22978 22978 21430 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420125921 8616062976 30014 33554432000 4194304 4196468 140720916598768 139919498405536 139920845547221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33263616 140720916603895 140720916604054 140720916604054 140720916606927 0 [pid=23001/tid=23013] ppid=22978 vsize=8414124 memory=139760786161808 CPUtime=0 cores=0-7 /proc/23001/task/23013/stat : 23013 (java) S 22978 22978 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420125921 8616062976 30014 33554432000 4194304 4196468 140720916598768 139919229969648 139920845547221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33263616 140720916603895 140720916604054 140720916604054 140720916606927 0 [pid=23001/tid=23014] ppid=22978 vsize=8414124 memory=139760786014720 CPUtime=0 cores=0-7 /proc/23001/task/23014/stat : 23014 (java) S 22978 22978 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420125923 8616062976 30014 33554432000 4194304 4196468 140720916598768 139918855461328 139920845555611 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33263616 140720916603895 140720916604054 140720916604054 140720916606927 0 [pid=23001/tid=23015] ppid=22978 vsize=8414124 memory=0 CPUtime=0.04 cores=0-7 /proc/23001/task/23015/stat : 23015 (java) S 22978 22978 21430 0 -1 1077944384 581 0 0 0 4 0 0 0 20 0 24 0 420125923 8616062976 30014 33554432000 4194304 4196468 140720916598768 139919669582064 139920845548162 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33263616 140720916603895 140720916604054 140720916604054 140720916606927 0 [pid=23001/tid=23016] ppid=22978 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7 /proc/23001/task/23016/stat : 23016 (java) S 22978 22978 21430 0 -1 1077944384 288 0 0 0 7 0 0 0 20 0 24 0 420125923 8616062976 30014 33554432000 4194304 4196468 140720916598768 139919668529520 139920845548162 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33263616 140720916603895 140720916604054 140720916604054 140720916606927 0 [pid=23001/tid=23017] ppid=22978 vsize=8414124 memory=0 CPUtime=0.05 cores=0-7 /proc/23001/task/23017/stat : 23017 (java) S 22978 22978 21430 0 -1 1077944384 292 0 0 0 5 0 0 0 20 0 24 0 420125923 8616062976 30014 33554432000 4194304 4196468 140720916598768 139919667476464 139920845548162 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33263616 140720916603895 140720916604054 140720916604054 140720916606927 0 [pid=23001/tid=23018] ppid=22978 vsize=8414124 memory=0 CPUtime=0.2 cores=0-7 /proc/23001/task/23018/stat : 23018 (java) S 22978 22978 21430 0 -1 1077944384 545 0 0 0 20 0 0 0 20 0 24 0 420125923 8616062976 30014 33554432000 4194304 4196468 140720916598768 139919666423920 139920845548162 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33263616 140720916603895 140720916604054 140720916604054 140720916606927 0 [pid=23001/tid=23019] ppid=22978 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/23001/task/23019/stat : 23019 (java) S 22978 22978 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420125924 8616062976 30014 33554432000 4194304 4196468 140720916598768 139918357556192 139920845547221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33263616 140720916603895 140720916604054 140720916604054 140720916606927 0 [pid=23001/tid=23020] ppid=22978 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/23001/task/23020/stat : 23020 (java) S 22978 22978 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420125924 8616062976 30014 33554432000 4194304 4196468 140720916598768 139919665372336 139920845548162 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33263616 140720916603895 140720916604054 140720916604054 140720916606927 0 [pid=23001/tid=23022] ppid=22978 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/23001/task/23022/stat : 23022 (java) S 22978 22978 21430 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420125990 8616062976 30014 33554432000 4194304 4196468 140720916598768 139919657338304 139920845561625 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 33263616 140720916603895 140720916604054 140720916604054 140720916606927 0 [pid=23001/tid=23024] ppid=22978 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/23001/task/23024/stat : 23024 (java) S 22978 22978 21430 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 420125990 8616062976 30014 33554432000 4194304 4196468 140720916598768 139917686455824 139920845558941 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 33263616 140720916603895 140720916604054 140720916604054 140720916606927 0 [pid=23001/tid=23025] ppid=22978 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/23001/task/23025/stat : 23025 (java) S 22978 22978 21430 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 420125991 8616062976 30014 33554432000 4194304 4196468 140720916598768 139917954891408 139920845558941 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 33263616 140720916603895 140720916604054 140720916604054 140720916606927 0 [pid=23001/tid=23026] ppid=22978 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/23001/task/23026/stat : 23026 (java) S 22978 22978 21430 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 420125993 8616062976 30014 33554432000 4194304 4196468 140720916598768 139917418027952 139920845547221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33263616 140720916603895 140720916604054 140720916604054 140720916606927 0 Current children cumulated CPU time: 36.42 s Current children cumulated vsize: 9161444 KiB Current children cumulated memory: 212536 KiB [startup+6.70134 s] /proc/loadavg: 6.65 6.78 6.86 9/224 23034 /proc/meminfo: memFree=30428912/32770624 swapFree=66997772/67108860 [pid=22978] ppid=22975 vsize=113128 memory=1472 CPUtime=4.9 cores=0-7 /proc/22978/stat : 22978 (scop.sh) S 22975 22978 21430 0 -1 4202496 582 28335 0 0 0 0 474 16 20 0 1 0 420125716 115843072 368 33554432000 4194304 5098028 140736051891648 140736051888392 140049347904124 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 7340032 140736051893029 140736051893356 140736051893356 140736051896269 0 /proc/22978/statm: 28282 368 311 221 0 87 0 [pid=23001] ppid=22978 vsize=8414124 memory=120056 CPUtime=1.16 cores=0-7 /proc/23001/stat : 23001 (java) S 22978 22978 21430 0 -1 1077944320 20023 0 0 0 109 7 0 0 20 0 24 0 420125917 8616062976 30014 33554432000 4194304 4196468 140720916598768 140720916581312 139920845537015 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33263616 140720916603895 140720916604054 140720916604054 140720916606927 0 /proc/23001/statm: 2103531 30014 3206 1 0 2064875 0 [pid=23021] ppid=23001 vsize=634328 memory=92036 CPUtime=31.13 cores=0-7 /proc/23021/stat : 23021 (manyglucose-4.1) S 23001 22978 21430 0 -1 1077944320 55373 0 0 0 3104 9 0 0 20 0 6 0 420125990 649551872 23009 33554432000 4194304 4454172 140722046578496 140722046576880 140205552058103 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 19431424 140722046579561 140722046579760 140722046579760 140722046582714 0 /proc/23021/statm: 158582 23009 416 64 0 154250 0 [pid=23021/tid=23027] ppid=23001 vsize=634328 memory=56 CPUtime=3.89 cores=0-7 /proc/23021/task/23027/stat : 23027 (manyglucose-4.1) R 23001 22978 21430 0 -1 4202560 5769 0 0 0 388 1 0 0 20 0 6 0 420125996 649551872 23009 33554432000 4194304 4454172 140722046578496 140205536840440 4351733 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 19431424 140722046579561 140722046579760 140722046579760 140722046582714 0 [pid=23021/tid=23028] ppid=23001 vsize=634328 memory=7598811100138176585 CPUtime=3.88 cores=0-7 /proc/23021/task/23028/stat : 23028 (manyglucose-4.1) R 23001 22978 21430 0 -1 4202560 5018 0 0 0 388 0 0 0 20 0 6 0 420125996 649551872 23009 33554432000 4194304 4454172 140722046578496 140205528448248 4321898 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 19431424 140722046579561 140722046579760 140722046579760 140722046582714 0 [pid=23021/tid=23029] ppid=23001 vsize=634328 memory=87028 CPUtime=3.89 cores=0-7 /proc/23021/task/23029/stat : 23029 (manyglucose-4.1) R 23001 22978 21430 0 -1 4202560 7190 0 0 0 389 0 0 0 20 0 6 0 420125996 649551872 23009 33554432000 4194304 4454172 140722046578496 140205520055544 4350035 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 19431424 140722046579561 140722046579760 140722046579760 140722046582714 0 [pid=23021/tid=23031] ppid=23001 vsize=634328 memory=76284 CPUtime=3.89 cores=0-7 /proc/23021/task/23031/stat : 23031 (manyglucose-4.1) R 23001 22978 21430 0 -1 4202560 6210 0 0 0 389 0 0 0 20 0 6 0 420125996 649551872 23009 33554432000 4194304 4454172 140722046578496 140205503270136 4351576 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 19431424 140722046579561 140722046579760 140722046579760 140722046582714 0 [pid=23021/tid=23032] ppid=23001 vsize=634328 memory=56 CPUtime=3.9 cores=0-7 /proc/23021/task/23032/stat : 23032 (manyglucose-4.1) R 23001 22978 21430 0 -1 4202560 6206 0 0 0 389 1 0 0 20 0 6 0 420125996 649551872 23009 33554432000 4194304 4454172 140722046578496 140205494876920 4352091 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 19431424 140722046579561 140722046579760 140722046579760 140722046582714 0 [pid=23001/tid=23002] ppid=22978 vsize=8414124 memory=-9117941526592839774 CPUtime=0.75 cores=0-7 /proc/23001/task/23002/stat : 23002 (java) S 22978 22978 21430 0 -1 1077944384 16910 0 0 0 70 5 0 0 20 0 24 0 420125918 8616062976 30014 33554432000 4194304 4196468 140720916598768 139920817377184 139920845547221 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33263616 140720916603895 140720916604054 140720916604054 140720916606927 0 [pid=23001/tid=23003] ppid=22978 vsize=8414124 memory=-8035107114841901037 CPUtime=0 cores=0-7 /proc/23001/task/23003/stat : 23003 (java) S 22978 22978 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420125919 8616062976 30014 33554432000 4194304 4196468 140720916598768 139920849779728 139920845547221 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33263616 140720916603895 140720916604054 140720916604054 140720916606927 0 [pid=23001/tid=23004] ppid=22978 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/23001/task/23004/stat : 23004 (java) S 22978 22978 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420125919 8616062976 30014 33554432000 4194304 4196468 140720916598768 139920649948304 139920845547221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33263616 140720916603895 140720916604054 140720916604054 140720916606927 0 [pid=23001/tid=23005] ppid=22978 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/23001/task/23005/stat : 23005 (java) S 22978 22978 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420125919 8616062976 30014 33554432000 4194304 4196468 140720916598768 139920648895248 139920845547221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33263616 140720916603895 140720916604054 140720916604054 140720916606927 0 [pid=23001/tid=23006] ppid=22978 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/23001/task/23006/stat : 23006 (java) S 22978 22978 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420125919 8616062976 30014 33554432000 4194304 4196468 140720916598768 139920647842704 139920845547221 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33263616 140720916603895 140720916604054 140720916604054 140720916606927 0 [pid=23001/tid=23007] ppid=22978 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/23001/task/23007/stat : 23007 (java) S 22978 22978 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420125919 8616062976 30014 33554432000 4194304 4196468 140720916598768 139920646789648 139920845547221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33263616 140720916603895 140720916604054 140720916604054 140720916606927 0 [pid=23001/tid=23008] ppid=22978 vsize=8414124 memory=7686721470250259862 CPUtime=0 cores=0-7 /proc/23001/task/23008/stat : 23008 (java) S 22978 22978 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420125919 8616062976 30014 33554432000 4194304 4196468 140720916598768 139920645737104 139920845547221 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33263616 140720916603895 140720916604054 140720916604054 140720916606927 0 [pid=23001/tid=23009] ppid=22978 vsize=8414124 memory=7649399384332382770 CPUtime=0 cores=0-7 /proc/23001/task/23009/stat : 23009 (java) S 22978 22978 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420125919 8616062976 30014 33554432000 4194304 4196468 140720916598768 139920644684048 139920845547221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33263616 140720916603895 140720916604054 140720916604054 140720916606927 0 [pid=23001/tid=23010] ppid=22978 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/23001/task/23010/stat : 23010 (java) S 22978 22978 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420125919 8616062976 30014 33554432000 4194304 4196468 140720916598768 139920643631504 139920845547221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33263616 140720916603895 140720916604054 140720916604054 140720916606927 0 [pid=23001/tid=23011] ppid=22978 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/23001/task/23011/stat : 23011 (java) S 22978 22978 21430 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 420125920 8616062976 30014 33554432000 4194304 4196468 140720916598768 139919670635248 139920845548162 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33263616 140720916603895 140720916604054 140720916604054 140720916606927 0 [pid=23001/tid=23012] ppid=22978 vsize=8414124 memory=139760786289424 CPUtime=0 cores=0-7 /proc/23001/task/23012/stat : 23012 (java) S 22978 22978 21430 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420125921 8616062976 30014 33554432000 4194304 4196468 140720916598768 139919498405536 139920845547221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33263616 140720916603895 140720916604054 140720916604054 140720916606927 0 [pid=23001/tid=23013] ppid=22978 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/23001/task/23013/stat : 23013 (java) S 22978 22978 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420125921 8616062976 30014 33554432000 4194304 4196468 140720916598768 139919229969648 139920845547221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33263616 140720916603895 140720916604054 140720916604054 140720916606927 0 [pid=23001/tid=23014] ppid=22978 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/23001/task/23014/stat : 23014 (java) S 22978 22978 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420125923 8616062976 30014 33554432000 4194304 4196468 140720916598768 139918855461328 139920845555611 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33263616 140720916603895 140720916604054 140720916604054 140720916606927 0 [pid=23001/tid=23015] ppid=22978 vsize=8414124 memory=0 CPUtime=0.04 cores=0-7 /proc/23001/task/23015/stat : 23015 (java) S 22978 22978 21430 0 -1 1077944384 581 0 0 0 4 0 0 0 20 0 24 0 420125923 8616062976 30014 33554432000 4194304 4196468 140720916598768 139919669582064 139920845548162 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33263616 140720916603895 140720916604054 140720916604054 140720916606927 0 [pid=23001/tid=23016] ppid=22978 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7 /proc/23001/task/23016/stat : 23016 (java) S 22978 22978 21430 0 -1 1077944384 288 0 0 0 7 0 0 0 20 0 24 0 420125923 8616062976 30014 33554432000 4194304 4196468 140720916598768 139919668529520 139920845548162 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33263616 140720916603895 140720916604054 140720916604054 140720916606927 0 [pid=23001/tid=23017] ppid=22978 vsize=8414124 memory=0 CPUtime=0.05 cores=0-7 /proc/23001/task/23017/stat : 23017 (java) S 22978 22978 21430 0 -1 1077944384 292 0 0 0 5 0 0 0 20 0 24 0 420125923 8616062976 30014 33554432000 4194304 4196468 140720916598768 139919667476464 139920845548162 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33263616 140720916603895 140720916604054 140720916604054 140720916606927 0 [pid=23001/tid=23018] ppid=22978 vsize=8414124 memory=0 CPUtime=0.2 cores=0-7 /proc/23001/task/23018/stat : 23018 (java) S 22978 22978 21430 0 -1 1077944384 545 0 0 0 20 0 0 0 20 0 24 0 420125923 8616062976 30014 33554432000 4194304 4196468 140720916598768 139919666423920 139920845548162 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33263616 140720916603895 140720916604054 140720916604054 140720916606927 0 [pid=23001/tid=23019] ppid=22978 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/23001/task/23019/stat : 23019 (java) S 22978 22978 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420125924 8616062976 30014 33554432000 4194304 4196468 140720916598768 139918357556192 139920845547221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33263616 140720916603895 140720916604054 140720916604054 140720916606927 0 [pid=23001/tid=23020] ppid=22978 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/23001/task/23020/stat : 23020 (java) S 22978 22978 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420125924 8616062976 30014 33554432000 4194304 4196468 140720916598768 139919665372336 139920845548162 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33263616 140720916603895 140720916604054 140720916604054 140720916606927 0 [pid=23001/tid=23022] ppid=22978 vsize=8414124 memory=120056 CPUtime=0 cores=0-7 /proc/23001/task/23022/stat : 23022 (java) S 22978 22978 21430 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420125990 8616062976 30014 33554432000 4194304 4196468 140720916598768 139919657338304 139920845561625 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 33263616 140720916603895 140720916604054 140720916604054 140720916606927 0 [pid=23001/tid=23024] ppid=22978 vsize=8414124 memory=74356 CPUtime=0 cores=0-7 /proc/23001/task/23024/stat : 23024 (java) S 22978 22978 21430 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 420125990 8616062976 30014 33554432000 4194304 4196468 140720916598768 139917686455824 139920845558941 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 33263616 140720916603895 140720916604054 140720916604054 140720916606927 0 [pid=23001/tid=23025] ppid=22978 vsize=8414124 memory=279521571910784 CPUtime=0 cores=0-7 /proc/23001/task/23025/stat : 23025 (java) S 22978 22978 21430 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 420125991 8616062976 30014 33554432000 4194304 4196468 140720916598768 139917954891408 139920845558941 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 33263616 140720916603895 140720916604054 140720916604054 140720916606927 0 [pid=23001/tid=23026] ppid=22978 vsize=8414124 memory=279521572449024 CPUtime=0 cores=0-7 /proc/23001/task/23026/stat : 23026 (java) S 22978 22978 21430 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 420125993 8616062976 30014 33554432000 4194304 4196468 140720916598768 139917418027952 139920845547221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33263616 140720916603895 140720916604054 140720916604054 140720916606927 0 Current children cumulated CPU time: 37.19 s Current children cumulated vsize: 9161580 KiB Current children cumulated memory: 213564 KiB Child status: 0 Real time (s): 6.75847 CPU time (s): 37.3527 CPU user time (s): 36.9871 CPU system time (s): 0.3656 CPU usage (%): 552.68 Max. virtual memory (cumulated for all children) (KiB): 27441856 Max. memory (cumulated for all children) (KiB): 309736 getrusage(RUSAGE_CHILDREN,...) data: user time used= 36.9871 system time used= 0.3656 maximum resident set size= 320292 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 104824 page faults= 0 swaps= 0 block input operations= 0 block output operations= 1560 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7666 involuntary context switches= 350 # summary of solver processes directly reported to runsolver: # pid: 22978 # total CPU time (s): 37.3527 # total CPU user time (s): 36.9871 # total CPU system time (s): 0.3656 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.083712 second user time and 0.117197 second system time The end
Begin job on node106 at 2019-09-14 06:23:53 IDJOB=4392291 IDBENCH=135372 IDSOLVER=2838 FILE ID=node106/4392291-1568438711 RUNJOBID= node106-1568429735-21457 PBS_JOBID= 21702316 Free space on /tmp= 59112 MiB SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15) BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-queen/Pb-queen-0975965.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392291-1568438711/watcher-4392291-1568438711 -o /tmp/evaluation-result-4392291-1568438711/solver-4392291-1568438711 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1568429735-21457 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392291-1568438711.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= a14f05ce5b97c69cdfebe4c47d671ffd RANDOM SEED=713195251 node106.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.79 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.79 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.79 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.79 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: 30624900 kB MemAvailable: 31898780 kB Buffers: 188164 kB Cached: 1366840 kB SwapCached: 9324 kB Active: 486224 kB Inactive: 1085192 kB Active(anon): 15900 kB Inactive(anon): 34544 kB Active(file): 470324 kB Inactive(file): 1050648 kB Unevictable: 107200 kB Mlocked: 107200 kB SwapTotal: 67108860 kB SwapFree: 66997772 kB Dirty: 20888 kB Writeback: 0 kB AnonPages: 124800 kB Mapped: 38440 kB Shmem: 25388 kB Slab: 167216 kB SReclaimable: 137484 kB SUnreclaim: 29732 kB KernelStack: 3712 kB PageTables: 5160 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 490504 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 79872 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 59092 MiB End job on node106 at 2019-09-14 06:24:00