Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP order+ManyGlucose (2019-06-15) | UNSAT | 60.6255 | 19.8571 |
Name | QueensKnights/QueensKnights-m1-s1/ QueensKnights-080-05-add.xml |
MD5SUM | 18e8c61317b2c078d14d7e9ead8d31e0 |
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 | 25.0904 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 85 |
Number of constraints | 3170 |
Number of domains | 2 |
Minimum domain size | 80 |
Maximum domain size | 6400 |
Distribution of domain sizes | [{"size":80,"count":80},{"size":6400,"count":5}] |
Minimum variable degree | 4 |
Maximum variable degree | 79 |
Distribution of variable degrees | [{"degree":4,"count":5},{"degree":79,"count":80}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":3170}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 3170 |
Distribution of constraint types | [{"type":"intension","count":3170}] |
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-25485-serial-file.bin HOME/instance-4392374-1568416840.xml 0.66/0.54 0.66/0.54 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 0.66/0.54 0.66/0.56 c BEGIN-Prog: Sat Sep 14 01:19:59 CEST 2019 0.66/0.56 c PID: 25488 0.66/0.56 c IP: 172.20.3.134 0.66/0.56 c HOST: node134.alineos.net 0.66/0.57 c (0,0) Parsing Begin 4.44/1.68 c (1,1) Parsing End 4.44/1.69 c (1,1) CSP: 85 int (0 aux), 0 bool (0 aux), 3170 ctr, max domain size 6400 4.44/1.69 c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 4.44/1.69 c (1,1) Constraint Name Generate Begin 4.87/1.72 c (1,1) Ctr:HOME/instance-4392374-1568416840.xml,And:Dist:Div:Eq:Mod:Ne:Num:Or:Var 4.87/1.72 c (1,1) Constraint Name Generate End 4.87/1.72 c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 4.87/1.72 c (1,1) CSP to CSPinCNF Begin 5.89/2.10 c (1,1) translated 317 (10%) constraints 6.47/2.23 c (1,1) translated 634 (20%) constraints 6.86/2.33 c (1,1) translated 951 (30%) constraints 7.23/2.42 c (1,1) translated 1268 (40%) constraints 7.57/2.50 c (1,1) translated 1585 (50%) constraints 7.57/2.58 c (2,2) translated 1902 (60%) constraints 7.78/2.65 c (2,2) translated 2219 (70%) constraints 8.02/2.72 c (2,2) translated 2536 (80%) constraints 8.02/2.78 c (2,2) translated 2853 (90%) constraints 8.25/2.89 c (2,2) translated 3170 (100%) constraints 8.25/2.89 c (2,2) =========================================== 8.25/2.89 c (2,2) Order 8.25/2.89 c (2,2) =========================================== 8.47/2.98 c (2,2) translated 1274 (10%) constraints 8.93/3.04 c (2,2) translated 2548 (20%) constraints 8.93/3.10 c (2,2) translated 3822 (30%) constraints 9.32/3.15 c (2,2) translated 5096 (40%) constraints 9.32/3.19 c (2,2) translated 6370 (50%) constraints 9.67/3.24 c (2,2) translated 7644 (60%) constraints 9.67/3.28 c (2,2) translated 8918 (70%) constraints 10.07/3.32 c (2,2) translated 10192 (80%) constraints 10.07/3.36 c (2,2) translated 11466 (90%) constraints 10.44/3.40 c (2,2) translated 12740 (100%) constraints 10.44/3.41 c (2,2) CSP to CSPinCNF End 10.44/3.42 c (2,2) CSP: 105 int (20 aux), 3170 bool (3170 aux), 12750 ctr, max domain size 6400 10.44/3.42 c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 10.44/3.42 c (2,2) CSPinCNF Propagation Begin 10.86/3.54 c (3,2) 1 values, 4 unsatisfiable literals, and 21 valid clauses are removed 10.86/3.54 c (3,2) CSPinCNF Propagation End 10.86/3.55 c (3,2) CSP: 105 int (20 aux), 3170 bool (3170 aux), 12729 ctr, max domain size 6400 10.86/3.55 c (3,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 10.86/3.55 c (3,2) Simplify CSPinCNF Begin 12.01/3.87 c (3,3) Simplify CSPinCNF End 12.01/3.87 c (3,3) CSP: 105 int (20 aux), 15858 bool (15858 aux), 25417 ctr, max domain size 6400 12.01/3.87 c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB) 12.01/3.87 c (3,3) Calculate Precise Domain Begin 12.01/3.87 c (3,3) 0 values are removed by re-calculation 12.01/3.87 c (3,3) Calculate Precise Domain End 12.01/3.88 c (3,3) CSP: 105 int (20 aux), 15858 bool (15858 aux), 25417 ctr, max domain size 6400 12.01/3.88 c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB) 12.01/3.88 c (3,3) CSPinCNF to SatSolver Begin 14.95/4.88 c (4,4) 2542 (10 %) CSP clauses are encoded (0 SAT variables, 144239 SAT clauses) 15.70/5.51 c (4,4) 5084 (20 %) CSP clauses are encoded (0 SAT variables, 251571 SAT clauses) 16.46/6.13 c (5,5) 7626 (30 %) CSP clauses are encoded (0 SAT variables, 358503 SAT clauses) 17.08/6.76 c (6,6) 10167 (40 %) CSP clauses are encoded (0 SAT variables, 469962 SAT clauses) 17.83/7.41 c (6,6) 12709 (50 %) CSP clauses are encoded (0 SAT variables, 586449 SAT clauses) 18.45/8.07 c (7,7) 15251 (60 %) CSP clauses are encoded (0 SAT variables, 704908 SAT clauses) 19.15/8.75 c (8,8) 17792 (70 %) CSP clauses are encoded (0 SAT variables, 827085 SAT clauses) 19.85/9.46 c (8,8) 20334 (80 %) CSP clauses are encoded (0 SAT variables, 954519 SAT clauses) 20.56/10.19 c (9,9) 22876 (90 %) CSP clauses are encoded (0 SAT variables, 1087267 SAT clauses) 22.64/11.64 c (11,11) 25417 (100 %) CSP clauses are encoded (0 SAT variables, 1413517 SAT clauses) 22.95/11.73 c (11,11) CSPinCNF to SatSolver End 22.95/11.73 c (11,11) Heap : 207 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB) 22.95/11.73 c (11,11) 55752 bool, 1419917 clause 22.95/11.73 c (11,11) Export Begin 23.21/11.82 c (11,11) Export to HOME/scop-25485-serial-file.bin 23.21/11.82 c (11,11) Export End 23.21/11.82 c (11,11) Export File Size: 0.02 MB 23.21/11.82 c (11,11) 1,1,2,3,3,3,11,STOP-AFTER(DIMACS) 23.21/11.82 c END-Prog: Sat Sep 14 01:20:10 CEST 2019 23.21/11.86 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-25485-serial-file.bin 23.87/12.31 c (0,0) Read Serial File Begin 23.87/12.31 c (0,0) HOME/scop-25485-serial-file.bin 24.16/12.52 c (0,0) Read Serial File End 24.16/12.53 24.16/12.53 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 24.16/12.53 (Solving Process) 24.16/12.53 24.16/12.55 c BEGIN-Prog: Sat Sep 14 01:20:11 CEST 2019 24.16/12.55 c PID: 25518 24.16/12.55 c IP: 172.20.3.134 24.16/12.55 c HOST: node134.alineos.net 24.16/12.55 c (0,0) SatSolver.solve Begin 24.16/12.55 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392374-1568416840.xml-scop-25488.cnf 24.16/12.58 c (0,0) c 24.16/12.58 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) 24.16/12.58 c (0,0) c 24.16/12.58 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 24.16/12.58 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 24.16/12.58 c (0,0) c ========================================[ Problem Statistics ]=========================================== 24.16/12.58 c (0,0) c | | 24.42/13.01 c (0,0) c | Number of variables: 55752 | 24.42/13.01 c (0,0) c | Number of clauses: 1419917 | 24.42/13.01 c (0,0) c | Parse time: 0.39 s | 24.42/13.01 c (0,0) c | | 26.85/15.05 c (2,0) c | Simplification time: 2.01 s | 26.85/15.05 c (2,0) c | | 26.85/15.05 c (2,0) c | Generating clones | 27.24/15.41 c (3,0) c | all clones generated. Memory = 846.05Mb. | 27.24/15.41 c (3,0) c ========================================================================================================| 27.24/15.41 c (3,0) c 27.24/15.41 c (3,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 27.24/15.41 c (3,0) c 27.24/15.41 c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 27.24/15.41 c (3,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 27.24/15.41 c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 27.24/15.41 c (3,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 27.24/15.41 c (3,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 27.24/15.41 c (3,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 27.24/15.41 c (3,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 27.24/15.41 c (3,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 27.24/15.41 c (3,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 27.24/15.41 c (3,0) c | glureduce | True | True | True | True | True | True | True | True | 27.24/15.41 c (3,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 27.24/15.41 c (3,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 27.24/15.41 c (3,0) c | luby_restart | False | False | False | False | False | False | False | False | 27.24/15.41 c (3,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 27.24/15.41 c (3,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 27.24/15.41 c (3,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 27.24/15.41 c (3,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 27.24/15.41 c (3,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 27.24/15.41 c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 60.30/19.79 c (7,0) c 60.30/19.79 c (7,0) c real time : 7.21584 s 60.30/19.79 c (7,0) c cpu time : 35.1014 s 60.30/19.79 c (7,0) c 60.30/19.79 c (7,0) c 60.30/19.79 c (7,0) c 60.30/19.79 c (7,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 60.30/19.79 c (7,0) c 60.30/19.79 c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 60.30/19.79 c (7,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 60.30/19.79 c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 60.30/19.79 c (7,0) c | Conflicts | 42712 | 5656 | 6756 | 4074 | 4273 | 5393 | 7019 | 6771 | 2770 | 60.30/19.79 c (7,0) c | Decisions | 104546 | 7991 | 9795 | 8088 | 5813 | 22936 | 21666 | 23317 | 4940 | 60.30/19.79 c (7,0) c | Propagations | 101366016 | 11915136 | 13778339 | 10494074 | 13427295 | 11291537 | 14479970 | 13732753 | 12246912 | 60.30/19.79 c (7,0) c | ReduceDBs | 11 | 1 | 2 | 1 | 1 | 1 | 2 | 2 | 1 | 60.30/19.79 c (7,0) c | SimpDBs | 19 | 2 | 2 | 2 | 3 | 3 | 2 | 3 | 2 | 60.30/19.79 c (7,0) c | Restarts | 48 | 5 | 3 | 12 | 2 | 9 | 5 | 8 | 4 | 60.30/19.79 c (7,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 60.30/19.79 c (7,0) c | PropBinClauses| 112427509 | 12987570 | 15173953 | 11691907 | 14915864 | 12647261 | 15657496 | 15362096 | 13991362 | 60.30/19.79 c (7,0) c | PropPreBlocker| 737375183 | 72796063 | 89089287 | 125339563 | 67627429 | 112960909 | 72105170 | 127943889 | 69512873 | 60.30/19.79 c (7,0) c | PropNotBlocker| 135078444 | 16279505 | 16499307 | 14694166 | 19846984 | 11714694 | 23623898 | 12390339 | 20029551 | 60.30/19.79 c (7,0) c | LitFullScans | 1087670362 | 114062003 | 132030360 | 162121693 | 117390931 | 150940724 | 126414187 | 170686431 | 114024033 | 60.30/19.79 c (7,0) c | LitScanFracts | 236053 | 36770 | 29673 | 18456 | 21182 | 48202 | 18836 | 48737 | 14197 | 60.30/19.79 c (7,0) c | DecisionLevel0| 83 | 6 | 6 | 16 | 13 | 12 | 13 | 12 | 5 | 60.30/19.79 c (7,0) c | Periods | 180 | 19 | 22 | 27 | 19 | 25 | 21 | 28 | 19 | 60.30/19.79 c (7,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 60.30/19.79 c (7,0) c | Avg_Trail | | 38167 | 40211 | 33212 | 26213 | 42052 | 22736 | 42049 | 40506 | 60.30/19.79 c (7,0) c | Avg_DL | | 154 | 537 | 98 | 22 | 2048 | 184 | 743 | 166 | 60.30/19.79 c (7,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 60.30/19.79 c (7,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 60.30/19.79 c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 60.30/19.79 c (7,0) c | Exported | 1724 | 242 | 351 | 67 | 71 | 121 | 479 | 374 | 19 | 60.30/19.79 c (7,0) c | Imported | 193 | 0 | 10 | 58 | 0 | 34 | 10 | 81 | 0 | 60.30/19.79 c (7,0) c | Good | 16 | 0 | 0 | 6 | 0 | 3 | 0 | 7 | 0 | 60.30/19.79 c (7,0) c | Purge | 177 | 0 | 10 | 52 | 0 | 31 | 10 | 74 | 0 | 60.30/19.79 c (7,0) c | Promoted | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 60.30/19.79 c (7,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 60.30/19.79 c (7,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 60.30/19.79 c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 60.30/19.79 c (7,0) c | Unaries | | 1 | 3 | 4 | 11 | 3 | 8 | 4 | 1 | 60.30/19.79 c (7,0) c | Binaries | | 6 | 21 | 31 | 45 | 23 | 61 | 32 | 10 | 60.30/19.79 c (7,0) c | Glues | | 41 | 95 | 67 | 71 | 99 | 198 | 111 | 19 | 60.30/19.79 c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 60.30/19.79 c (7,0) c | Orig_Seen | 1 % | 17302 | 14378 | 29599 | 15611 | 21086 | 15689 | 22118 | 34657 | 60.30/19.79 c (7,0) c | Diff Orig seen| | 1691 | - 1233 | 13988 | X | 5475 | 78 | 6507 | 19046 | 60.30/19.79 c (7,0) c | Hamming | 31 % | 11346 | 19024 | 12777 | X | 14694 | 24132 | 15750 | 23435 | 60.30/19.79 c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 60.30/19.79 c (7,0) c | RunningTime | | 4.4 100%| 4.2 100%| 4.1 100%| 4.2 100%| 4.1 100%| 4.1 100%| 4.2 100%| 4.3 100%| 60.30/19.79 c (7,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%| 60.30/19.79 c (7,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%| 60.30/19.79 c (7,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%| 60.30/19.79 c (7,0) c | SolvingTime | | 4.4 | 4.2 | 4.1 | 4.2 | 4.1 | 4.1 | 4.2 | 4.3 | 60.30/19.79 c (7,0) c | PropagationTim| | 4.1 95%| 4.0 95%| 3.8 93%| 4.0 94%| 3.8 93%| 3.8 94%| 3.9 93%| 4.1 95%| 60.30/19.79 c (7,0) c | AnalysisTime | | 0.1 2%| 0.1 2%| 0.1 3%| 0.1 2%| 0.1 3%| 0.1 2%| 0.1 3%| 0.1 2%| 60.30/19.79 c (7,0) c | ReductionTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 60.30/19.79 c (7,0) c | SimplifyTime | | 0.0 1%| 0.0 1%| 0.0 1%| 0.1 2%| 0.1 2%| 0.0 1%| 0.1 1%| 0.0 1%| 60.30/19.79 c (7,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%| 60.30/19.79 c (7,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%| 60.30/19.79 c (7,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 60.30/19.79 c (7,0) c 60.30/19.79 c (7,0) c 60.30/19.79 c (7,0) c Threads : 8 60.30/19.79 c (7,0) c Winner : 3 60.30/19.80 c (7,0) c Conflicts_0 : 5656 60.30/19.80 c (7,0) c Conflicts_1 : 6756 60.30/19.80 c (7,0) c Conflicts_2 : 4074 60.30/19.80 c (7,0) c Conflicts_3 : 4273 60.30/19.80 c (7,0) c Conflicts_4 : 5393 60.30/19.80 c (7,0) c Conflicts_5 : 7019 60.30/19.80 c (7,0) c Conflicts_6 : 6771 60.30/19.80 c (7,0) c Conflicts_7 : 2770 60.30/19.80 c (7,0) c Conflicts_total : 42712 60.30/19.80 c (7,0) c Conflicts_winner : 4273 60.30/19.80 c (7,0) c Decisions_0 : 7991 60.30/19.80 c (7,0) c Decisions_1 : 9795 60.30/19.80 c (7,0) c Decisions_2 : 8088 60.30/19.80 c (7,0) c Decisions_3 : 5813 60.30/19.80 c (7,0) c Decisions_4 : 22936 60.30/19.80 c (7,0) c Decisions_5 : 21666 60.30/19.80 c (7,0) c Decisions_6 : 23317 60.30/19.80 c (7,0) c Decisions_7 : 4940 60.30/19.80 c (7,0) c Decisions_total : 104546 60.30/19.80 c (7,0) c Decisions_winner : 5813 60.30/19.80 c (7,0) c Propagations_0 : 11915136 60.30/19.80 c (7,0) c Propagations_1 : 13778339 60.30/19.80 c (7,0) c Propagations_2 : 10494074 60.30/19.80 c (7,0) c Propagations_3 : 13427295 60.30/19.80 c (7,0) c Propagations_4 : 11291537 60.30/19.80 c (7,0) c Propagations_5 : 14479970 60.30/19.80 c (7,0) c Propagations_6 : 13732753 60.30/19.80 c (7,0) c Propagations_7 : 12246912 60.30/19.80 c (7,0) c Propagations_total : 101366016 60.30/19.80 c (7,0) c Propagations_winner : 13427295 60.30/19.80 c (7,0) c ReduceDBs_0 : 1 60.30/19.80 c (7,0) c ReduceDBs_1 : 2 60.30/19.80 c (7,0) c ReduceDBs_2 : 1 60.30/19.80 c (7,0) c ReduceDBs_3 : 1 60.30/19.80 c (7,0) c ReduceDBs_4 : 1 60.30/19.80 c (7,0) c ReduceDBs_5 : 2 60.30/19.80 c (7,0) c ReduceDBs_6 : 2 60.30/19.80 c (7,0) c ReduceDBs_7 : 1 60.30/19.80 c (7,0) c ReduceDBs_total : 11 60.30/19.80 c (7,0) c ReduceDBs_winner : 1 60.30/19.80 c (7,0) c SimpDBs_0 : 2 60.30/19.80 c (7,0) c SimpDBs_1 : 2 60.30/19.80 c (7,0) c SimpDBs_2 : 2 60.30/19.80 c (7,0) c SimpDBs_3 : 3 60.30/19.80 c (7,0) c SimpDBs_4 : 3 60.30/19.80 c (7,0) c SimpDBs_5 : 2 60.30/19.80 c (7,0) c SimpDBs_6 : 3 60.30/19.80 c (7,0) c SimpDBs_7 : 2 60.30/19.80 c (7,0) c SimpDBs_total : 19 60.30/19.80 c (7,0) c SimpDBs_winner : 3 60.30/19.80 c (7,0) c Restarts_0 : 5 60.30/19.80 c (7,0) c Restarts_1 : 3 60.30/19.80 c (7,0) c Restarts_2 : 12 60.30/19.80 c (7,0) c Restarts_3 : 2 60.30/19.80 c (7,0) c Restarts_4 : 9 60.30/19.80 c (7,0) c Restarts_5 : 5 60.30/19.80 c (7,0) c Restarts_6 : 8 60.30/19.80 c (7,0) c Restarts_7 : 4 60.30/19.80 c (7,0) c Restarts_total : 48 60.30/19.80 c (7,0) c Restarts_winner : 2 60.30/19.80 c (7,0) c ForcedImports_0 : 0 60.30/19.80 c (7,0) c ForcedImports_1 : 0 60.30/19.80 c (7,0) c ForcedImports_2 : 0 60.30/19.80 c (7,0) c ForcedImports_3 : 0 60.30/19.80 c (7,0) c ForcedImports_4 : 0 60.30/19.80 c (7,0) c ForcedImports_5 : 0 60.30/19.80 c (7,0) c ForcedImports_6 : 0 60.30/19.80 c (7,0) c ForcedImports_7 : 0 60.30/19.80 c (7,0) c ForcedImports_total : 0 60.30/19.80 c (7,0) c ForcedImports_winner : 0 60.30/19.80 c (7,0) c PropsBinClauses_0 : 12987570 60.30/19.80 c (7,0) c PropsBinClauses_1 : 15173953 60.30/19.80 c (7,0) c PropsBinClauses_2 : 11691907 60.30/19.80 c (7,0) c PropsBinClauses_3 : 14915864 60.30/19.80 c (7,0) c PropsBinClauses_4 : 12647261 60.30/19.80 c (7,0) c PropsBinClauses_5 : 15657496 60.30/19.80 c (7,0) c PropsBinClauses_6 : 15362096 60.30/19.80 c (7,0) c PropsBinClauses_7 : 13991362 60.30/19.80 c (7,0) c PropsBinClauses_total : 112427509 60.30/19.80 c (7,0) c PropsBinClauses_winner : 14915864 60.30/19.80 c (7,0) c PropsPreBlocker_0 : 72796063 60.30/19.80 c (7,0) c PropsPreBlocker_1 : 89089287 60.30/19.80 c (7,0) c PropsPreBlocker_2 : 125339563 60.30/19.80 c (7,0) c PropsPreBlocker_3 : 67627429 60.30/19.80 c (7,0) c PropsPreBlocker_4 : 112960909 60.30/19.80 c (7,0) c PropsPreBlocker_5 : 72105170 60.30/19.80 c (7,0) c PropsPreBlocker_6 : 127943889 60.30/19.80 c (7,0) c PropsPreBlocker_7 : 69512873 60.30/19.80 c (7,0) c PropsPreBlocker_total : 737375183 60.30/19.80 c (7,0) c PropsPreBlocker_winner : 67627429 60.30/19.80 c (7,0) c PropsNotBlocker_0 : 16279505 60.30/19.80 c (7,0) c PropsNotBlocker_1 : 16499307 60.30/19.80 c (7,0) c PropsNotBlocker_2 : 14694166 60.30/19.80 c (7,0) c PropsNotBlocker_3 : 19846984 60.30/19.80 c (7,0) c PropsNotBlocker_4 : 11714694 60.30/19.80 c (7,0) c PropsNotBlocker_5 : 23623898 60.30/19.80 c (7,0) c PropsNotBlocker_6 : 12390339 60.30/19.80 c (7,0) c PropsNotBlocker_7 : 20029551 60.30/19.80 c (7,0) c PropsNotBlocker_total : 135078444 60.30/19.80 c (7,0) c PropsNotBlocker_winner : 19846984 60.30/19.80 c (7,0) c PropsLitFullScans_0 : 114062003 60.30/19.80 c (7,0) c PropsLitFullScans_1 : 132030360 60.30/19.80 c (7,0) c PropsLitFullScans_2 : 162121693 60.30/19.80 c (7,0) c PropsLitFullScans_3 : 117390931 60.30/19.80 c (7,0) c PropsLitFullScans_4 : 150940724 60.30/19.80 c (7,0) c PropsLitFullScans_5 : 126414187 60.30/19.80 c (7,0) c PropsLitFullScans_6 : 170686431 60.30/19.80 c (7,0) c PropsLitFullScans_7 : 114024033 60.30/19.80 c (7,0) c PropsLitFullScans_total : 1087670362 60.30/19.80 c (7,0) c PropsLitFullScans_winner : 117390931 60.30/19.80 c (7,0) c LitScanFractions_0 : 36770 60.30/19.80 c (7,0) c LitScanFractions_1 : 29673 60.30/19.80 c (7,0) c LitScanFractions_2 : 18456 60.30/19.80 c (7,0) c LitScanFractions_3 : 21182 60.30/19.80 c (7,0) c LitScanFractions_4 : 48202 60.30/19.80 c (7,0) c LitScanFractions_5 : 18836 60.30/19.80 c (7,0) c LitScanFractions_6 : 48737 60.30/19.80 c (7,0) c LitScanFractions_7 : 14197 60.30/19.80 c (7,0) c LitScanFractions_total : 236053 60.30/19.80 c (7,0) c LitScanFractions_winner : 21182 60.30/19.80 c (7,0) c DecisionLevel0_0 : 6 60.30/19.80 c (7,0) c DecisionLevel0_1 : 6 60.30/19.80 c (7,0) c DecisionLevel0_2 : 16 60.30/19.80 c (7,0) c DecisionLevel0_3 : 13 60.30/19.80 c (7,0) c DecisionLevel0_4 : 12 60.30/19.80 c (7,0) c DecisionLevel0_5 : 13 60.30/19.80 c (7,0) c DecisionLevel0_6 : 12 60.30/19.80 c (7,0) c DecisionLevel0_7 : 5 60.30/19.80 c (7,0) c DecisionLevel0_total : 83 60.30/19.80 c (7,0) c DecisionLevel0_winner : 13 60.30/19.80 c (7,0) c Periods_0 : 19 60.30/19.80 c (7,0) c Periods_1 : 22 60.30/19.80 c (7,0) c Periods_2 : 27 60.30/19.80 c (7,0) c Periods_3 : 19 60.30/19.80 c (7,0) c Periods_4 : 25 60.30/19.80 c (7,0) c Periods_5 : 21 60.30/19.80 c (7,0) c Periods_6 : 28 60.30/19.80 c (7,0) c Periods_7 : 19 60.30/19.80 c (7,0) c Periods_total : 180 60.30/19.80 c (7,0) c Periods_winner : 19 60.30/19.80 c (7,0) c Margin_0 : 20 60.30/19.80 c (7,0) c Margin_1 : 20 60.30/19.80 c (7,0) c Margin_2 : 20 60.30/19.80 c (7,0) c Margin_3 : 20 60.30/19.80 c (7,0) c Margin_4 : 20 60.30/19.80 c (7,0) c Margin_5 : 20 60.30/19.80 c (7,0) c Margin_6 : 20 60.30/19.80 c (7,0) c Margin_7 : 20 60.30/19.80 c (7,0) c Margin_total : 160 60.30/19.80 c (7,0) c Margin_winner : 20 60.30/19.80 c (7,0) c Exported_0 : 242 60.30/19.80 c (7,0) c Exported_1 : 351 60.30/19.80 c (7,0) c Exported_2 : 67 60.30/19.80 c (7,0) c Exported_3 : 71 60.30/19.80 c (7,0) c Exported_4 : 121 60.30/19.80 c (7,0) c Exported_5 : 479 60.30/19.80 c (7,0) c Exported_6 : 374 60.30/19.80 c (7,0) c Exported_7 : 19 60.30/19.80 c (7,0) c Exported_total : 1724 60.30/19.80 c (7,0) c Exported_winner : 71 60.30/19.80 c (7,0) c Imported_0 : 0 60.30/19.80 c (7,0) c Imported_1 : 10 60.30/19.80 c (7,0) c Imported_2 : 58 60.30/19.80 c (7,0) c Imported_3 : 0 60.30/19.80 c (7,0) c Imported_4 : 34 60.30/19.80 c (7,0) c Imported_5 : 10 60.30/19.80 c (7,0) c Imported_6 : 81 60.30/19.80 c (7,0) c Imported_7 : 0 60.30/19.80 c (7,0) c Imported_total : 193 60.30/19.80 c (7,0) c Imported_winner : 0 60.30/19.80 c (7,0) c Good_0 : 0 60.30/19.80 c (7,0) c Good_1 : 0 60.30/19.80 c (7,0) c Good_2 : 6 60.30/19.80 c (7,0) c Good_3 : 0 60.30/19.80 c (7,0) c Good_4 : 3 60.30/19.80 c (7,0) c Good_5 : 0 60.30/19.80 c (7,0) c Good_6 : 7 60.30/19.80 c (7,0) c Good_7 : 0 60.30/19.80 c (7,0) c Good_total : 16 60.30/19.80 c (7,0) c Good_winner : 0 60.30/19.80 c (7,0) c Purge_0 : 0 60.30/19.80 c (7,0) c Purge_1 : 10 60.30/19.80 c (7,0) c Purge_2 : 52 60.30/19.80 c (7,0) c Purge_3 : 0 60.30/19.80 c (7,0) c Purge_4 : 31 60.30/19.80 c (7,0) c Purge_5 : 10 60.30/19.80 c (7,0) c Purge_6 : 74 60.30/19.80 c (7,0) c Purge_7 : 0 60.30/19.80 c (7,0) c Purge_total : 177 60.30/19.80 c (7,0) c Purge_winner : 0 60.30/19.80 c (7,0) c Promoted_0 : 0 60.30/19.80 c (7,0) c Promoted_1 : 0 60.30/19.80 c (7,0) c Promoted_2 : 0 60.30/19.80 c (7,0) c Promoted_3 : 0 60.30/19.80 c (7,0) c Promoted_4 : 0 60.30/19.80 c (7,0) c Promoted_5 : 0 60.30/19.80 c (7,0) c Promoted_6 : 1 60.30/19.80 c (7,0) c Promoted_7 : 0 60.30/19.80 c (7,0) c Promoted_total : 1 60.30/19.80 c (7,0) c Promoted_winner : 0 60.30/19.80 c (7,0) c Remove_Imp_0 : 0 60.30/19.80 c (7,0) c Remove_Imp_1 : 0 60.30/19.80 c (7,0) c Remove_Imp_2 : 0 60.30/19.80 c (7,0) c Remove_Imp_3 : 0 60.30/19.80 c (7,0) c Remove_Imp_4 : 0 60.30/19.80 c (7,0) c Remove_Imp_5 : 0 60.30/19.80 c (7,0) c Remove_Imp_6 : 0 60.30/19.80 c (7,0) c Remove_Imp_7 : 0 60.30/19.80 c (7,0) c Remove_Imp_total : 0 60.30/19.80 c (7,0) c Remove_Imp_winner : 0 60.30/19.80 c (7,0) c Blocked_Reuse_0 : 0 60.30/19.80 c (7,0) c Blocked_Reuse_1 : 0 60.30/19.80 c (7,0) c Blocked_Reuse_2 : 0 60.30/19.80 c (7,0) c Blocked_Reuse_3 : 0 60.30/19.80 c (7,0) c Blocked_Reuse_4 : 0 60.30/19.80 c (7,0) c Blocked_Reuse_5 : 0 60.30/19.80 c (7,0) c Blocked_Reuse_6 : 0 60.30/19.80 c (7,0) c Blocked_Reuse_7 : 0 60.30/19.80 c (7,0) c Blocked_Reuse_total : 0 60.30/19.80 c (7,0) c Blocked_Reuse_winner : 0 60.30/19.80 c (7,0) c Unaries_0 : 1 60.30/19.80 c (7,0) c Unaries_1 : 3 60.30/19.80 c (7,0) c Unaries_2 : 4 60.30/19.80 c (7,0) c Unaries_3 : 11 60.30/19.80 c (7,0) c Unaries_4 : 3 60.30/19.80 c (7,0) c Unaries_5 : 8 60.30/19.80 c (7,0) c Unaries_6 : 4 60.30/19.80 c (7,0) c Unaries_7 : 1 60.30/19.80 c (7,0) c Unaries_total : 35 60.30/19.80 c (7,0) c Unaries_winner : 11 60.30/19.80 c (7,0) c Binaries_0 : 6 60.30/19.80 c (7,0) c Binaries_1 : 21 60.30/19.80 c (7,0) c Binaries_2 : 31 60.30/19.80 c (7,0) c Binaries_3 : 45 60.30/19.80 c (7,0) c Binaries_4 : 23 60.30/19.80 c (7,0) c Binaries_5 : 61 60.30/19.80 c (7,0) c Binaries_6 : 32 60.30/19.80 c (7,0) c Binaries_7 : 10 60.30/19.80 c (7,0) c Binaries_total : 229 60.30/19.80 c (7,0) c Binaries_winner : 45 60.30/19.80 c (7,0) c Glues_0 : 41 60.30/19.80 c (7,0) c Glues_1 : 95 60.30/19.80 c (7,0) c Glues_2 : 67 60.30/19.80 c (7,0) c Glues_3 : 71 60.30/19.80 c (7,0) c Glues_4 : 99 60.30/19.80 c (7,0) c Glues_5 : 198 60.30/19.80 c (7,0) c Glues_6 : 111 60.30/19.80 c (7,0) c Glues_7 : 19 60.30/19.80 c (7,0) c Glues_total : 701 60.30/19.80 c (7,0) c Glues_winner : 71 60.30/19.80 c (7,0) c RunningTime_0 : 4.377496 60.30/19.80 c (7,0) c RunningTime_1 : 4.201109 60.30/19.80 c (7,0) c RunningTime_2 : 4.099523 60.30/19.80 c (7,0) c RunningTime_3 : 4.235215 60.30/19.80 c (7,0) c RunningTime_4 : 4.066924 60.30/19.80 c (7,0) c RunningTime_5 : 4.063076 60.30/19.80 c (7,0) c RunningTime_6 : 4.184018 60.30/19.80 c (7,0) c RunningTime_7 : 4.346946 60.30/19.80 c (7,0) c RunningTime_total : 33.574306 60.30/19.80 c (7,0) c RunningTime_winner : 4.235215 60.30/19.80 c (7,0) c WaitingTime_0 : 0.000000 60.30/19.80 c (7,0) c WaitingTime_1 : 0.000011 60.30/19.80 c (7,0) c WaitingTime_2 : 0.000029 60.30/19.80 c (7,0) c WaitingTime_3 : 0.000000 60.30/19.80 c (7,0) c WaitingTime_4 : 0.000017 60.30/19.81 c (7,0) c WaitingTime_5 : 0.000002 60.30/19.81 c (7,0) c WaitingTime_6 : 0.000091 60.30/19.81 c (7,0) c WaitingTime_7 : 0.000000 60.30/19.81 c (7,0) c WaitingTime_total : 0.000150 60.30/19.81 c (7,0) c WaitingTime_winner : 0.000000 60.30/19.81 c (7,0) c ExchangingTime_0 : 0.000686 60.30/19.81 c (7,0) c ExchangingTime_1 : 0.000926 60.30/19.81 c (7,0) c ExchangingTime_2 : 0.000716 60.30/19.81 c (7,0) c ExchangingTime_3 : 0.000506 60.30/19.81 c (7,0) c ExchangingTime_4 : 0.000974 60.30/19.81 c (7,0) c ExchangingTime_5 : 0.000784 60.30/19.81 c (7,0) c ExchangingTime_6 : 0.001136 60.30/19.81 c (7,0) c ExchangingTime_7 : 0.000375 60.30/19.81 c (7,0) c ExchangingTime_total : 0.006103 60.30/19.81 c (7,0) c ExchangingTime_winner : 0.000506 60.30/19.81 c (7,0) c PeriodProcTime_0 : 0.000277 60.30/19.81 c (7,0) c PeriodProcTime_1 : 0.000311 60.30/19.81 c (7,0) c PeriodProcTime_2 : 0.000334 60.30/19.81 c (7,0) c PeriodProcTime_3 : 0.000301 60.30/19.81 c (7,0) c PeriodProcTime_4 : 0.000354 60.30/19.81 c (7,0) c PeriodProcTime_5 : 0.000333 60.30/19.81 c (7,0) c PeriodProcTime_6 : 0.000378 60.30/19.81 c (7,0) c PeriodProcTime_7 : 0.000313 60.30/19.81 c (7,0) c PeriodProcTime_total : 0.002600 60.30/19.81 c (7,0) c PeriodProcTime_winner : 0.000301 60.30/19.81 c (7,0) c SolvingTime_0 : 4.378459 60.30/19.81 c (7,0) c SolvingTime_1 : 4.202358 60.30/19.81 c (7,0) c SolvingTime_2 : 4.100602 60.30/19.81 c (7,0) c SolvingTime_3 : 4.236022 60.30/19.81 c (7,0) c SolvingTime_4 : 4.068269 60.30/19.81 c (7,0) c SolvingTime_5 : 4.064194 60.30/19.81 c (7,0) c SolvingTime_6 : 4.185623 60.30/19.81 c (7,0) c SolvingTime_7 : 4.347633 60.30/19.81 c (7,0) c SolvingTime_total : 33.583159 60.30/19.81 c (7,0) c SolvingTime_winner : 4.236022 60.30/19.81 c (7,0) c PropagationTime_0 : 4.138739 60.30/19.81 c (7,0) c PropagationTime_1 : 3.992656 60.30/19.81 c (7,0) c PropagationTime_2 : 3.821582 60.30/19.81 c (7,0) c PropagationTime_3 : 3.977283 60.30/19.81 c (7,0) c PropagationTime_4 : 3.782935 60.30/19.81 c (7,0) c PropagationTime_5 : 3.827557 60.30/19.81 c (7,0) c PropagationTime_6 : 3.894869 60.30/19.81 c (7,0) c PropagationTime_7 : 4.125009 60.30/19.81 c (7,0) c PropagationTime_total : 31.560629 60.30/19.81 c (7,0) c PropagationTime_winner : 3.977283 60.30/19.81 c (7,0) c AnalysisTime_0 : 0.081835 60.30/19.81 c (7,0) c AnalysisTime_1 : 0.067819 60.30/19.81 c (7,0) c AnalysisTime_2 : 0.131955 60.30/19.81 c (7,0) c AnalysisTime_3 : 0.069240 60.30/19.81 c (7,0) c AnalysisTime_4 : 0.104966 60.30/19.81 c (7,0) c AnalysisTime_5 : 0.083446 60.30/19.81 c (7,0) c AnalysisTime_6 : 0.111874 60.30/19.81 c (7,0) c AnalysisTime_7 : 0.073345 60.30/19.81 c (7,0) c AnalysisTime_total : 0.724479 60.30/19.81 c (7,0) c AnalysisTime_winner : 0.069240 60.30/19.81 c (7,0) c ReductionTime_0 : 0.000380 60.30/19.81 c (7,0) c ReductionTime_1 : 0.001121 60.30/19.81 c (7,0) c ReductionTime_2 : 0.000419 60.30/19.81 c (7,0) c ReductionTime_3 : 0.000472 60.30/19.81 c (7,0) c ReductionTime_4 : 0.000506 24.46/19.81 c (7,0) c ReductionTime_5 : 0.001664 24.46/19.81 c (7,0) c ReductionTime_6 : 0.001007 24.46/19.81 c (7,0) c ReductionTime_7 : 0.000377 24.46/19.81 c (7,0) c ReductionTime_total : 0.005946 24.46/19.81 c (7,0) c ReductionTime_winner : 0.000472 24.46/19.81 c (7,0) c SimplifyTime_0 : 0.048756 24.46/19.81 c (7,0) c SimplifyTime_1 : 0.032933 24.46/19.81 c (7,0) c SimplifyTime_2 : 0.032337 24.46/19.81 c (7,0) c SimplifyTime_3 : 0.081491 24.46/19.81 c (7,0) c SimplifyTime_4 : 0.066228 24.46/19.81 c (7,0) c SimplifyTime_5 : 0.036577 24.46/19.81 c (7,0) c SimplifyTime_6 : 0.060901 24.46/19.81 c (7,0) c SimplifyTime_7 : 0.038391 24.46/19.81 c (7,0) c SimplifyTime_total : 0.397615 24.46/19.81 c (7,0) c SimplifyTime_winner : 0.081491 24.46/19.81 c (7,0) c UsedRateTime_0 : 0.000000 24.46/19.81 c (7,0) c UsedRateTime_1 : 0.000000 24.46/19.81 c (7,0) c UsedRateTime_2 : 0.000000 24.46/19.81 c (7,0) c UsedRateTime_3 : 0.000000 24.46/19.81 c (7,0) c UsedRateTime_4 : 0.000000 24.46/19.81 c (7,0) c UsedRateTime_5 : 0.000000 24.46/19.81 c (7,0) c UsedRateTime_6 : 0.000000 24.46/19.81 c (7,0) c UsedRateTime_7 : 0.000000 24.46/19.81 c (7,0) c UsedRateTime_total : 0.000000 24.46/19.81 c (7,0) c UsedRateTime_winner : 0.000000 24.46/19.81 c (7,0) c OverlapRateTime_0 : 0.000000 24.46/19.81 c (7,0) c OverlapRateTime_1 : 0.000000 24.46/19.81 c (7,0) c OverlapRateTime_2 : 0.000000 24.46/19.81 c (7,0) c OverlapRateTime_3 : 0.000000 24.46/19.81 c (7,0) c OverlapRateTime_4 : 0.000000 24.46/19.81 c (7,0) c OverlapRateTime_5 : 0.000000 24.46/19.81 c (7,0) c OverlapRateTime_6 : 0.000000 24.46/19.81 c (7,0) c OverlapRateTime_7 : 0.000000 24.46/19.81 c (7,0) c OverlapRateTime_total : 0.000000 24.46/19.81 c (7,0) c OverlapRateTime_winner : 0.000000 24.46/19.81 c (7,0) c 24.46/19.81 c (7,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 24.46/19.81 c (7,0) c 24.46/19.81 c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 24.46/19.81 c (7,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 24.46/19.81 c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 24.46/19.81 c (7,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 24.46/19.81 c (7,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 24.46/19.81 c (7,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 24.46/19.81 c (7,0) c | Initial random_seed | 664956514 | 208116132 | 2141254881 | 1652992206 | 19645999 | 81691757 | 1958675035 | 257594422 | 24.46/19.81 c (7,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 24.46/19.81 c (7,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 24.46/19.81 c (7,0) c | glureduce | True | True | True | True | True | True | True | True | 24.46/19.81 c (7,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 24.46/19.81 c (7,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 24.46/19.81 c (7,0) c | luby_restart | False | False | False | False | False | False | False | False | 24.46/19.81 c (7,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 24.46/19.81 c (7,0) c | var_decay | 0.8100 | 0.8100 | 0.8000 | 0.8000 | 0.8100 | 0.8100 | 0.8100 | 0.8000 | 24.46/19.81 c (7,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 24.46/19.81 c (7,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 24.46/19.81 c (7,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 24.46/19.81 c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 24.46/19.81 c (7,0) 24.46/19.81 c (7,0) s UNSATISFIABLE 24.46/19.84 c (7,0) SatSolver.solve End 24.46/19.84 c (7,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 24.46/19.84 c (7,0) Show results Begin 24.46/19.84 s UNSATISFIABLE 24.46/19.84 c (7,0) Show results End 24.46/19.84 c (7,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 24.46/19.84 c (7,0) 7,7,STOP-AFTER(ALL) 24.46/19.84 c END-Prog: Sat Sep 14 01:20:18 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 (14385 MiB free) memory of node 1: 16384 MiB (15173 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392374-1568416840/watcher-4392374-1568416840 -o /tmp/evaluation-result-4392374-1568416840/solver-4392374-1568416840 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1568416726-24393 --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-4392374-1568416840.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=25485, runsolver pid=25482 Current StackSize limit: 8192 KiB [startup+0.100131 s]* /proc/loadavg: 4.63 1.45 0.93 2/216 25507 /proc/meminfo: memFree=30174256/32770624 swapFree=66916596/67108860 [pid=25485] ppid=25482 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/25485/stat : 25485 (scop.sh) S 25482 25485 24366 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 417934506 115843072 349 33554432000 4194304 5098028 140730775671808 140730775669064 140309796582012 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13705216 140730775679781 140730775680108 140730775680108 140730775683021 0 /proc/25485/statm: 28282 349 296 221 0 87 0 [pid=25488] ppid=25485 vsize=27314120 memory=106552 CPUtime=0.11 cores=0-7 /proc/25488/stat : 25488 (java) S 25485 25485 24366 0 -1 1077944320 6199 0 0 0 9 2 0 0 20 0 20 0 417934506 27969658880 26638 33554432000 4194304 4196468 140727539933920 140727539916464 140492311883511 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 /proc/25488/statm: 6828530 26638 2816 1 0 6790935 0 [pid=25488/tid=25489] ppid=25485 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/25488/task/25489/stat : 25489 (java) R 25485 25485 24366 0 -1 4202560 4280 0 0 0 7 2 0 0 20 0 20 0 417934506 27969658880 26638 33554432000 4194304 4196468 140727539933920 140492283707064 140492295963998 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 [pid=25488/tid=25490] ppid=25485 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/25488/task/25490/stat : 25490 (java) S 25485 25485 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417934509 27969658880 26638 33554432000 4194304 4196468 140727539933920 140492316126352 140492311893717 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 [pid=25488/tid=25491] ppid=25485 vsize=27314120 memory=139868468086400 CPUtime=0 cores=0-7 /proc/25488/task/25491/stat : 25491 (java) S 25485 25485 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417934509 27969658880 26638 33554432000 4194304 4196468 140727539933920 140491734334480 140492311893717 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 [pid=25488/tid=25492] ppid=25485 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/25488/task/25492/stat : 25492 (java) S 25485 25485 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417934509 27969658880 26638 33554432000 4194304 4196468 140727539933920 140491733281680 140492311893717 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 [pid=25488/tid=25493] ppid=25485 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/25488/task/25493/stat : 25493 (java) S 25485 25485 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417934509 27969658880 26638 33554432000 4194304 4196468 140727539933920 140491732228880 140492311893717 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 [pid=25488/tid=25494] ppid=25485 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/25488/task/25494/stat : 25494 (java) S 25485 25485 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417934509 27969658880 26638 33554432000 4194304 4196468 140727539933920 140491731176080 140492311893717 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 [pid=25488/tid=25495] ppid=25485 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/25488/task/25495/stat : 25495 (java) S 25485 25485 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417934509 27969658880 26638 33554432000 4194304 4196468 140727539933920 140491730123280 140492311893717 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 [pid=25488/tid=25496] ppid=25485 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/25488/task/25496/stat : 25496 (java) S 25485 25485 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417934509 27969658880 26638 33554432000 4194304 4196468 140727539933920 140491729070480 140492311893717 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 [pid=25488/tid=25497] ppid=25485 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/25488/task/25497/stat : 25497 (java) S 25485 25485 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417934509 27969658880 26638 33554432000 4194304 4196468 140727539933920 140491728017680 140492311893717 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 [pid=25488/tid=25498] ppid=25485 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/25488/task/25498/stat : 25498 (java) S 25485 25485 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417934510 27969658880 26638 33554432000 4194304 4196468 140727539933920 140490833427312 140492311894658 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 [pid=25488/tid=25499] ppid=25485 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/25488/task/25499/stat : 25499 (java) S 25485 25485 24366 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417934511 27969658880 26638 33554432000 4194304 4196468 140727539933920 140489923749408 140492311893717 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 [pid=25488/tid=25500] ppid=25485 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/25488/task/25500/stat : 25500 (java) S 25485 25485 24366 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417934511 27969658880 26638 33554432000 4194304 4196468 140727539933920 140489789527408 140492311893717 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 [pid=25488/tid=25501] ppid=25485 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/25488/task/25501/stat : 25501 (java) S 25485 25485 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417934513 27969658880 26638 33554432000 4194304 4196468 140727539933920 140489415022928 140492311902107 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 [pid=25488/tid=25502] ppid=25485 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/25488/task/25502/stat : 25502 (java) S 25485 25485 24366 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 417934513 27969658880 26638 33554432000 4194304 4196468 140727539933920 140490832374128 140492311894658 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 [pid=25488/tid=25503] ppid=25485 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/25488/task/25503/stat : 25503 (java) S 25485 25485 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417934513 27969658880 26638 33554432000 4194304 4196468 140727539933920 140490831321328 140492311894658 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 [pid=25488/tid=25504] ppid=25485 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/25488/task/25504/stat : 25504 (java) S 25485 25485 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417934513 27969658880 26638 33554432000 4194304 4196468 140727539933920 140490830268528 140492311894658 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 [pid=25488/tid=25505] ppid=25485 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/25488/task/25505/stat : 25505 (java) S 25485 25485 24366 0 -1 1077944384 290 0 0 0 0 0 0 0 20 0 20 0 417934513 27969658880 26638 33554432000 4194304 4196468 140727539933920 140490829215728 140492311894658 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 [pid=25488/tid=25506] ppid=25485 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/25488/task/25506/stat : 25506 (java) S 25485 25485 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417934513 27969658880 26638 33554432000 4194304 4196468 140727539933920 140488917118048 140492311893717 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 [pid=25488/tid=25507] ppid=25485 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/25488/task/25507/stat : 25507 (java) S 25485 25485 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417934514 27969658880 26638 33554432000 4194304 4196468 140727539933920 140490828164144 140492311894658 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 107948 KiB [startup+0.210982 s]* /proc/loadavg: 4.63 1.45 0.93 2/216 25507 /proc/meminfo: memFree=30153464/32770624 swapFree=66916596/67108860 [pid=25485] ppid=25482 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/25485/stat : 25485 (scop.sh) S 25482 25485 24366 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 417934506 115843072 349 33554432000 4194304 5098028 140730775671808 140730775669064 140309796582012 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13705216 140730775679781 140730775680108 140730775680108 140730775683021 0 /proc/25485/statm: 28282 349 296 221 0 87 0 [pid=25488] ppid=25485 vsize=27314120 memory=123608 CPUtime=0.24 cores=0-7 /proc/25488/stat : 25488 (java) S 25485 25485 24366 0 -1 1077944320 11792 0 0 0 21 3 0 0 20 0 20 0 417934506 27969658880 30902 33554432000 4194304 4196468 140727539933920 140727539916464 140492311883511 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 /proc/25488/statm: 6828530 30902 2939 1 0 6790935 0 [pid=25488/tid=25489] ppid=25485 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/25488/task/25489/stat : 25489 (java) R 25485 25485 24366 0 -1 4202560 9483 0 0 0 17 3 0 0 20 0 20 0 417934506 27969658880 30902 33554432000 4194304 4196468 140727539933920 140492283682896 140492295963998 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 [pid=25488/tid=25490] ppid=25485 vsize=27314120 memory=342 CPUtime=0 cores=0-7 /proc/25488/task/25490/stat : 25490 (java) S 25485 25485 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417934509 27969658880 30902 33554432000 4194304 4196468 140727539933920 140492316126352 140492311893717 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 [pid=25488/tid=25491] ppid=25485 vsize=27314120 memory=139868468109537 CPUtime=0 cores=0-7 /proc/25488/task/25491/stat : 25491 (java) S 25485 25485 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417934509 27969658880 30902 33554432000 4194304 4196468 140727539933920 140491734334480 140492311893717 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 [pid=25488/tid=25492] ppid=25485 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/25488/task/25492/stat : 25492 (java) S 25485 25485 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417934509 27969658880 30902 33554432000 4194304 4196468 140727539933920 140491733281680 140492311893717 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 [pid=25488/tid=25493] ppid=25485 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/25488/task/25493/stat : 25493 (java) S 25485 25485 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417934509 27969658880 30902 33554432000 4194304 4196468 140727539933920 140491732228880 140492311893717 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 [pid=25488/tid=25494] ppid=25485 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/25488/task/25494/stat : 25494 (java) S 25485 25485 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417934509 27969658880 30902 33554432000 4194304 4196468 140727539933920 140491731176080 140492311893717 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 [pid=25488/tid=25495] ppid=25485 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/25488/task/25495/stat : 25495 (java) S 25485 25485 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417934509 27969658880 30902 33554432000 4194304 4196468 140727539933920 140491730123280 140492311893717 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 [pid=25488/tid=25496] ppid=25485 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/25488/task/25496/stat : 25496 (java) S 25485 25485 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417934509 27969658880 30902 33554432000 4194304 4196468 140727539933920 140491729070480 140492311893717 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 [pid=25488/tid=25497] ppid=25485 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/25488/task/25497/stat : 25497 (java) S 25485 25485 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417934509 27969658880 30902 33554432000 4194304 4196468 140727539933920 140491728017680 140492311893717 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 [pid=25488/tid=25498] ppid=25485 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/25488/task/25498/stat : 25498 (java) S 25485 25485 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417934510 27969658880 30902 33554432000 4194304 4196468 140727539933920 140490833427312 140492311894658 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 [pid=25488/tid=25499] ppid=25485 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/25488/task/25499/stat : 25499 (java) S 25485 25485 24366 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417934511 27969658880 30902 33554432000 4194304 4196468 140727539933920 140489923749408 140492311893717 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 [pid=25488/tid=25500] ppid=25485 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/25488/task/25500/stat : 25500 (java) S 25485 25485 24366 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417934511 27969658880 30902 33554432000 4194304 4196468 140727539933920 140489789527408 140492311893717 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 [pid=25488/tid=25501] ppid=25485 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/25488/task/25501/stat : 25501 (java) S 25485 25485 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417934513 27969658880 30902 33554432000 4194304 4196468 140727539933920 140489415022928 140492311902107 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 [pid=25488/tid=25502] ppid=25485 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/25488/task/25502/stat : 25502 (java) S 25485 25485 24366 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 417934513 27969658880 30902 33554432000 4194304 4196468 140727539933920 140490832374128 140492311894658 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 [pid=25488/tid=25503] ppid=25485 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/25488/task/25503/stat : 25503 (java) S 25485 25485 24366 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 417934513 27969658880 30902 33554432000 4194304 4196468 140727539933920 140490831321328 140492311894658 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 [pid=25488/tid=25504] ppid=25485 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/25488/task/25504/stat : 25504 (java) S 25485 25485 24366 0 -1 1077944384 172 0 0 0 0 0 0 0 20 0 20 0 417934513 27969658880 30902 33554432000 4194304 4196468 140727539933920 140490830268528 140492311894658 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 [pid=25488/tid=25505] ppid=25485 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7 /proc/25488/task/25505/stat : 25505 (java) S 25485 25485 24366 0 -1 1077944384 465 0 0 0 2 0 0 0 20 0 20 0 417934513 27969658880 30902 33554432000 4194304 4196468 140727539933920 140490829215728 140492311894658 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 [pid=25488/tid=25506] ppid=25485 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/25488/task/25506/stat : 25506 (java) S 25485 25485 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417934513 27969658880 30902 33554432000 4194304 4196468 140727539933920 140488917118048 140492311893717 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 [pid=25488/tid=25507] ppid=25485 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/25488/task/25507/stat : 25507 (java) S 25485 25485 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417934514 27969658880 30902 33554432000 4194304 4196468 140727539933920 140490828164144 140492311894658 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 125004 KiB [startup+0.310683 s]* /proc/loadavg: 4.63 1.45 0.93 2/216 25507 /proc/meminfo: memFree=30149804/32770624 swapFree=66916596/67108860 [pid=25485] ppid=25482 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/25485/stat : 25485 (scop.sh) S 25482 25485 24366 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 417934506 115843072 349 33554432000 4194304 5098028 140730775671808 140730775669064 140309796582012 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13705216 140730775679781 140730775680108 140730775680108 140730775683021 0 /proc/25485/statm: 28282 349 296 221 0 87 0 [pid=25488] ppid=25485 vsize=27314120 memory=127912 CPUtime=0.43 cores=0-7 /proc/25488/stat : 25488 (java) S 25485 25485 24366 0 -1 1077944320 12360 0 0 0 39 4 0 0 20 0 20 0 417934506 27969658880 31978 33554432000 4194304 4196468 140727539933920 140727539916464 140492311883511 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 /proc/25488/statm: 6828530 31978 3045 1 0 6790935 0 [pid=25488/tid=25489] ppid=25485 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/25488/task/25489/stat : 25489 (java) R 25485 25485 24366 0 -1 4202560 9832 0 0 0 27 3 0 0 20 0 20 0 417934506 27969658880 31978 33554432000 4194304 4196468 140727539933920 140492283710688 140492289107664 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 [pid=25488/tid=25490] ppid=25485 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/25488/task/25490/stat : 25490 (java) S 25485 25485 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417934509 27969658880 31978 33554432000 4194304 4196468 140727539933920 140492316126352 140492311893717 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 [pid=25488/tid=25491] ppid=25485 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/25488/task/25491/stat : 25491 (java) S 25485 25485 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417934509 27969658880 31978 33554432000 4194304 4196468 140727539933920 140491734334480 140492311893717 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 [pid=25488/tid=25492] ppid=25485 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/25488/task/25492/stat : 25492 (java) S 25485 25485 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417934509 27969658880 31978 33554432000 4194304 4196468 140727539933920 140491733281680 140492311893717 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 [pid=25488/tid=25493] ppid=25485 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/25488/task/25493/stat : 25493 (java) S 25485 25485 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417934509 27969658880 31978 33554432000 4194304 4196468 140727539933920 140491732228880 140492311893717 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 [pid=25488/tid=25494] ppid=25485 vsize=27314120 memory=2244 CPUtime=0 cores=0-7 /proc/25488/task/25494/stat : 25494 (java) S 25485 25485 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417934509 27969658880 31978 33554432000 4194304 4196468 140727539933920 140491731176080 140492311893717 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 [pid=25488/tid=25495] ppid=25485 vsize=27314120 memory=139868361552815 CPUtime=0 cores=0-7 /proc/25488/task/25495/stat : 25495 (java) S 25485 25485 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417934509 27969658880 31978 33554432000 4194304 4196468 140727539933920 140491730123280 140492311893717 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 [pid=25488/tid=25496] ppid=25485 vsize=27314120 memory=139868361555120 CPUtime=0 cores=0-7 /proc/25488/task/25496/stat : 25496 (java) S 25485 25485 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417934509 27969658880 31978 33554432000 4194304 4196468 140727539933920 140491729070480 140492311893717 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 [pid=25488/tid=25497] ppid=25485 vsize=27314120 memory=139868361557424 CPUtime=0 cores=0-7 /proc/25488/task/25497/stat : 25497 (java) S 25485 25485 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417934509 27969658880 31978 33554432000 4194304 4196468 140727539933920 140491728017680 140492311893717 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 [pid=25488/tid=25498] ppid=25485 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/25488/task/25498/stat : 25498 (java) S 25485 25485 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417934510 27969658880 31978 33554432000 4194304 4196468 140727539933920 140490833427312 140492311894658 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 [pid=25488/tid=25499] ppid=25485 vsize=27314120 memory=279736723121808 CPUtime=0 cores=0-7 /proc/25488/task/25499/stat : 25499 (java) S 25485 25485 24366 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417934511 27969658880 31978 33554432000 4194304 4196468 140727539933920 140489923749408 140492311893717 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 [pid=25488/tid=25500] ppid=25485 vsize=27314120 memory=279736723128720 CPUtime=0 cores=0-7 /proc/25488/task/25500/stat : 25500 (java) S 25485 25485 24366 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417934511 27969658880 31978 33554432000 4194304 4196468 140727539933920 140489789527408 140492311893717 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 [pid=25488/tid=25501] ppid=25485 vsize=27314120 memory=279736723069872 CPUtime=0 cores=0-7 /proc/25488/task/25501/stat : 25501 (java) S 25485 25485 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417934513 27969658880 31978 33554432000 4194304 4196468 140727539933920 140489415022928 140492311902107 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 [pid=25488/tid=25502] ppid=25485 vsize=27314120 memory=279736723142544 CPUtime=0.01 cores=0-7 /proc/25488/task/25502/stat : 25502 (java) S 25485 25485 24366 0 -1 1077944384 336 0 0 0 1 0 0 0 20 0 20 0 417934513 27969658880 31978 33554432000 4194304 4196468 140727539933920 140490832374128 140492311894658 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 [pid=25488/tid=25503] ppid=25485 vsize=27314120 memory=279736723149456 CPUtime=0.01 cores=0-7 /proc/25488/task/25503/stat : 25503 (java) S 25485 25485 24366 0 -1 1077944384 100 0 0 0 1 0 0 0 20 0 20 0 417934513 27969658880 31978 33554432000 4194304 4196468 140727539933920 140490831321328 140492311894658 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 [pid=25488/tid=25504] ppid=25485 vsize=27314120 memory=279736723147152 CPUtime=0.01 cores=0-7 /proc/25488/task/25504/stat : 25504 (java) S 25485 25485 24366 0 -1 1077944384 226 0 0 0 1 0 0 0 20 0 20 0 417934513 27969658880 31978 33554432000 4194304 4196468 140727539933920 140490830268528 140492311894658 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 [pid=25488/tid=25505] ppid=25485 vsize=27314120 memory=279736723163312 CPUtime=0.07 cores=0-7 /proc/25488/task/25505/stat : 25505 (java) S 25485 25485 24366 0 -1 1077944384 509 0 0 0 7 0 0 0 20 0 20 0 417934513 27969658880 31978 33554432000 4194304 4196468 140727539933920 140490829215728 140492311894658 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 [pid=25488/tid=25506] ppid=25485 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/25488/task/25506/stat : 25506 (java) S 25485 25485 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417934513 27969658880 31978 33554432000 4194304 4196468 140727539933920 140488917118048 140492311893717 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 [pid=25488/tid=25507] ppid=25485 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/25488/task/25507/stat : 25507 (java) S 25485 25485 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417934514 27969658880 31978 33554432000 4194304 4196468 140727539933920 140490828164144 140492311894658 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 Current children cumulated CPU time: 0.43 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 129308 KiB [startup+0.700872 s] /proc/loadavg: 4.63 1.45 0.93 3/216 25507 /proc/meminfo: memFree=30128100/32770624 swapFree=66916596/67108860 [pid=25485] ppid=25482 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/25485/stat : 25485 (scop.sh) S 25482 25485 24366 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 417934506 115843072 349 33554432000 4194304 5098028 140730775671808 140730775669064 140309796582012 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13705216 140730775679781 140730775680108 140730775680108 140730775683021 0 /proc/25485/statm: 28282 349 296 221 0 87 0 [pid=25488] ppid=25485 vsize=27320392 memory=163636 CPUtime=1.02 cores=0-7 /proc/25488/stat : 25488 (java) S 25485 25485 24366 0 -1 1077944320 20008 0 0 0 96 6 0 0 20 0 20 0 417934506 27976081408 40909 33554432000 4194304 4196468 140727539933920 140727539916464 140492311883511 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 /proc/25488/statm: 6830098 40909 3183 1 0 6791447 0 [pid=25488/tid=25489] ppid=25485 vsize=27320392 memory=279736723521200 CPUtime=0.68 cores=0-7 /proc/25488/task/25489/stat : 25489 (java) R 25485 25485 24366 0 -1 4202560 16889 0 0 0 63 5 0 0 20 0 20 0 417934506 27976081408 40909 33554432000 4194304 4196468 140727539933920 140492283721664 140492311895446 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 [pid=25488/tid=25490] ppid=25485 vsize=27320392 memory=139868361761648 CPUtime=0 cores=0-7 /proc/25488/task/25490/stat : 25490 (java) S 25485 25485 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417934509 27976081408 40909 33554432000 4194304 4196468 140727539933920 140492316126352 140492311893717 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 [pid=25488/tid=25491] ppid=25485 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/25488/task/25491/stat : 25491 (java) S 25485 25485 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417934509 27976081408 40909 33554432000 4194304 4196468 140727539933920 140491734334480 140492311893717 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 [pid=25488/tid=25492] ppid=25485 vsize=27320392 memory=5996 CPUtime=0 cores=0-7 /proc/25488/task/25492/stat : 25492 (java) S 25485 25485 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417934509 27976081408 40909 33554432000 4194304 4196468 140727539933920 140491733281680 140492311893717 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8069120 140727539942123 140727539942550 140727539942550 140727539945423 0 ################ # More data... # ################ /proc/25518/task/25529/stat : 25529 (java) S 25485 25485 24366 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 417935695 8616062976 29514 33554432000 4194304 4196468 140729638663520 139848430117664 139850156250837 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 [pid=25518/tid=25530] ppid=25485 vsize=8414124 memory=919752 CPUtime=0 cores=0-7 /proc/25518/task/25530/stat : 25530 (java) S 25485 25485 24366 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 417935695 8616062976 29514 33554432000 4194304 4196468 140729638663520 139848295896176 139850156250837 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 [pid=25518/tid=25531] ppid=25485 vsize=8414124 memory=928 CPUtime=0 cores=0-7 /proc/25518/task/25531/stat : 25531 (java) S 25485 25485 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417935698 8616062976 29514 33554432000 4194304 4196468 140729638663520 139847921391696 139850156259227 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 [pid=25518/tid=25532] ppid=25485 vsize=8414124 memory=1460 CPUtime=0.06 cores=0-7 /proc/25518/task/25532/stat : 25532 (java) S 25485 25485 24366 0 -1 1077944384 571 0 0 0 6 0 0 0 20 0 24 0 417935698 8616062976 29514 33554432000 4194304 4196468 140729638663520 139849450011248 139850156251778 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 [pid=25518/tid=25533] ppid=25485 vsize=8414124 memory=912 CPUtime=0.04 cores=0-7 /proc/25518/task/25533/stat : 25533 (java) S 25485 25485 24366 0 -1 1077944384 281 0 0 0 4 0 0 0 20 0 24 0 417935698 8616062976 29514 33554432000 4194304 4196468 140729638663520 139849448958448 139850156251778 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 [pid=25518/tid=25534] ppid=25485 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7 /proc/25518/task/25534/stat : 25534 (java) S 25485 25485 24366 0 -1 1077944384 305 0 0 0 6 0 0 0 20 0 24 0 417935698 8616062976 29514 33554432000 4194304 4196468 140729638663520 139849447906160 139850156251778 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 [pid=25518/tid=25535] ppid=25485 vsize=8414124 memory=102 CPUtime=0.19 cores=0-7 /proc/25518/task/25535/stat : 25535 (java) S 25485 25485 24366 0 -1 1077944384 582 0 0 0 19 0 0 0 20 0 24 0 417935698 8616062976 29514 33554432000 4194304 4196468 140729638663520 139849446853360 139850156251778 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 [pid=25518/tid=25536] ppid=25485 vsize=8414124 memory=107 CPUtime=0 cores=0-7 /proc/25518/task/25536/stat : 25536 (java) S 25485 25485 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417935698 8616062976 29514 33554432000 4194304 4196468 140729638663520 139847423486304 139850156250837 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 [pid=25518/tid=25537] ppid=25485 vsize=8414124 memory=116 CPUtime=0 cores=0-7 /proc/25518/task/25537/stat : 25537 (java) S 25485 25485 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417935698 8616062976 29514 33554432000 4194304 4196468 140729638663520 139849445800240 139850156251778 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 [pid=25518/tid=25539] ppid=25485 vsize=8414124 memory=82 CPUtime=0 cores=0-7 /proc/25518/task/25539/stat : 25539 (java) S 25485 25485 24366 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 417935764 8616062976 29514 33554432000 4194304 4196468 140729638663520 139849437766976 139850156265241 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 [pid=25518/tid=25541] ppid=25485 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/25518/task/25541/stat : 25541 (java) S 25485 25485 24366 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 417935764 8616062976 29514 33554432000 4194304 4196468 140729638663520 139846752386960 139850156262557 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 [pid=25518/tid=25542] ppid=25485 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/25518/task/25542/stat : 25542 (java) S 25485 25485 24366 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 417935764 8616062976 29514 33554432000 4194304 4196468 140729638663520 139847020822288 139850156262557 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 [pid=25518/tid=25543] ppid=25485 vsize=8414124 memory=139868361719377 CPUtime=0 cores=0-7 /proc/25518/task/25543/stat : 25543 (java) S 25485 25485 24366 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 417935766 8616062976 29514 33554432000 4194304 4196468 140729638663520 139846483959600 139850156250837 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 Current children cumulated CPU time: 57.16 s Current children cumulated vsize: 10005136 KiB Current children cumulated memory: 1044020 KiB [startup+19.6014 s] /proc/loadavg: 4.06 1.52 0.96 9/229 25551 /proc/meminfo: memFree=29208632/32770624 swapFree=66916596/67108860 [pid=25485] ppid=25482 vsize=113128 memory=1476 CPUtime=23.29 cores=0-7 /proc/25485/stat : 25485 (scop.sh) S 25482 25485 24366 0 -1 4202496 584 37491 0 0 0 0 2214 115 20 0 1 0 417934506 115843072 369 33554432000 4194304 5098028 140730775671808 140730775668552 140309796582012 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13705216 140730775679781 140730775680108 140730775680108 140730775683021 0 /proc/25485/statm: 28282 369 311 221 0 87 0 [pid=25518] ppid=25485 vsize=8414124 memory=118056 CPUtime=1.14 cores=0-7 /proc/25518/stat : 25518 (java) S 25485 25485 24366 0 -1 1077944320 20525 0 0 0 108 6 0 0 20 0 24 0 417935692 8616062976 29514 33554432000 4194304 4196468 140729638663520 140729638646064 139850156240631 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 /proc/25518/statm: 2103531 29514 3198 1 0 2064875 0 [pid=25538] ppid=25518 vsize=1477884 memory=925220 CPUtime=35.6 cores=0-7 /proc/25538/stat : 25538 (manyglucose-4.1) S 25518 25485 24366 0 -1 1077944320 299315 0 0 0 3469 91 0 0 20 0 6 0 417935763 1513353216 231305 33554432000 4194304 4454172 140734581502464 140734581500848 140400866774775 0 4 0 8388610 18446744073709551615 0 0 17 7 0 0 0 0 0 6552832 6554400 20996096 140734581506921 140734581507120 140734581507120 140734581510074 0 /proc/25538/statm: 369471 231305 420 64 0 365139 0 [pid=25538/tid=25544] ppid=25518 vsize=1477884 memory=0 CPUtime=4.15 cores=0-7 /proc/25538/task/25544/stat : 25544 (manyglucose-4.1) R 25518 25485 24366 0 -1 4202560 19835 0 0 0 405 10 0 0 20 0 6 0 417936047 1513353216 231305 33554432000 4194304 4454172 140734581502464 140400363719784 4351289 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 20996096 140734581506921 140734581507120 140734581507120 140734581510074 0 [pid=25538/tid=25545] ppid=25518 vsize=1477884 memory=944 CPUtime=4.13 cores=0-7 /proc/25538/task/25545/stat : 25545 (manyglucose-4.1) R 25518 25485 24366 0 -1 4202560 25910 0 0 0 408 5 0 0 20 0 6 0 417936047 1513353216 231305 33554432000 4194304 4454172 140734581502464 140400355326712 4329122 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 20996096 140734581506921 140734581507120 140734581507120 140734581510074 0 [pid=25538/tid=25547] ppid=25518 vsize=1477884 memory=1052 CPUtime=4.17 cores=0-7 /proc/25538/task/25547/stat : 25547 (manyglucose-4.1) R 25518 25485 24366 0 -1 4202560 12506 0 0 0 412 5 0 0 20 0 6 0 417936047 1513353216 231305 33554432000 4194304 4454172 140734581502464 140400338541304 4351099 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 20996096 140734581506921 140734581507120 140734581507120 140734581510074 0 [pid=25538/tid=25550] ppid=25518 vsize=1477884 memory=5996 CPUtime=4.13 cores=0-7 /proc/25538/task/25550/stat : 25550 (manyglucose-4.1) R 25518 25485 24366 0 -1 4202560 14781 0 0 0 408 5 0 0 20 0 6 0 417936047 1513353216 231305 33554432000 4194304 4454172 140734581502464 140400313363192 4367312 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 20996096 140734581506921 140734581507120 140734581507120 140734581510074 0 [pid=25538/tid=25551] ppid=25518 vsize=1477884 memory=8300 CPUtime=4.04 cores=0-7 /proc/25538/task/25551/stat : 25551 (manyglucose-4.1) R 25518 25485 24366 0 -1 4202560 14637 0 0 0 400 4 0 0 20 0 6 0 417936047 1513353216 231305 33554432000 4194304 4454172 140734581502464 140400304970536 4349826 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 20996096 140734581506921 140734581507120 140734581507120 140734581510074 0 [pid=25518/tid=25519] ppid=25485 vsize=8414124 memory=776 CPUtime=0.74 cores=0-7 /proc/25518/task/25519/stat : 25519 (java) S 25485 25485 24366 0 -1 1077944384 17361 0 0 0 69 5 0 0 20 0 24 0 417935692 8616062976 29514 33554432000 4194304 4196468 140729638663520 139850128080800 139850156250837 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 [pid=25518/tid=25520] ppid=25485 vsize=8414124 memory=14012 CPUtime=0 cores=0-7 /proc/25518/task/25520/stat : 25520 (java) S 25485 25485 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417935693 8616062976 29514 33554432000 4194304 4196468 140729638663520 139850160482704 139850156250837 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 [pid=25518/tid=25521] ppid=25485 vsize=8414124 memory=20568 CPUtime=0 cores=0-7 /proc/25518/task/25521/stat : 25521 (java) S 25485 25485 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417935693 8616062976 29514 33554432000 4194304 4196468 140729638663520 139849640868112 139850156250837 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 [pid=25518/tid=25522] ppid=25485 vsize=8414124 memory=12036 CPUtime=0 cores=0-7 /proc/25518/task/25522/stat : 25522 (java) S 25485 25485 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417935693 8616062976 29514 33554432000 4194304 4196468 140729638663520 139849639815824 139850156250837 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 [pid=25518/tid=25523] ppid=25485 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/25518/task/25523/stat : 25523 (java) S 25485 25485 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417935693 8616062976 29514 33554432000 4194304 4196468 140729638663520 139849638763024 139850156250837 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 [pid=25518/tid=25524] ppid=25485 vsize=8414124 memory=22244 CPUtime=0 cores=0-7 /proc/25518/task/25524/stat : 25524 (java) S 25485 25485 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417935693 8616062976 29514 33554432000 4194304 4196468 140729638663520 139849637710736 139850156250837 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 [pid=25518/tid=25525] ppid=25485 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/25518/task/25525/stat : 25525 (java) S 25485 25485 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417935693 8616062976 29514 33554432000 4194304 4196468 140729638663520 139849636657936 139850156250837 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 [pid=25518/tid=25526] ppid=25485 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/25518/task/25526/stat : 25526 (java) S 25485 25485 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417935693 8616062976 29514 33554432000 4194304 4196468 140729638663520 139849635605648 139850156250837 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 [pid=25518/tid=25527] ppid=25485 vsize=8414124 memory=279736724594752 CPUtime=0 cores=0-7 /proc/25518/task/25527/stat : 25527 (java) S 25485 25485 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417935693 8616062976 29514 33554432000 4194304 4196468 140729638663520 139849634552848 139850156250837 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 [pid=25518/tid=25528] ppid=25485 vsize=8414124 memory=288230574492221466 CPUtime=0 cores=0-7 /proc/25518/task/25528/stat : 25528 (java) S 25485 25485 24366 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 417935695 8616062976 29514 33554432000 4194304 4196468 140729638663520 139849451063408 139850156251778 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 [pid=25518/tid=25529] ppid=25485 vsize=8414124 memory=288230596050944315 CPUtime=0 cores=0-7 /proc/25518/task/25529/stat : 25529 (java) S 25485 25485 24366 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 417935695 8616062976 29514 33554432000 4194304 4196468 140729638663520 139848430117664 139850156250837 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 [pid=25518/tid=25530] ppid=25485 vsize=8414124 memory=15815590841420219 CPUtime=0 cores=0-7 /proc/25518/task/25530/stat : 25530 (java) S 25485 25485 24366 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 417935695 8616062976 29514 33554432000 4194304 4196468 140729638663520 139848295896176 139850156250837 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 [pid=25518/tid=25531] ppid=25485 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/25518/task/25531/stat : 25531 (java) S 25485 25485 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417935698 8616062976 29514 33554432000 4194304 4196468 140729638663520 139847921391696 139850156259227 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 [pid=25518/tid=25532] ppid=25485 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7 /proc/25518/task/25532/stat : 25532 (java) S 25485 25485 24366 0 -1 1077944384 571 0 0 0 6 0 0 0 20 0 24 0 417935698 8616062976 29514 33554432000 4194304 4196468 140729638663520 139849450011248 139850156251778 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 [pid=25518/tid=25533] ppid=25485 vsize=8414124 memory=0 CPUtime=0.04 cores=0-7 /proc/25518/task/25533/stat : 25533 (java) S 25485 25485 24366 0 -1 1077944384 281 0 0 0 4 0 0 0 20 0 24 0 417935698 8616062976 29514 33554432000 4194304 4196468 140729638663520 139849448958448 139850156251778 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 [pid=25518/tid=25534] ppid=25485 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7 /proc/25518/task/25534/stat : 25534 (java) S 25485 25485 24366 0 -1 1077944384 305 0 0 0 6 0 0 0 20 0 24 0 417935698 8616062976 29514 33554432000 4194304 4196468 140729638663520 139849447906160 139850156251778 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 [pid=25518/tid=25535] ppid=25485 vsize=8414124 memory=0 CPUtime=0.19 cores=0-7 /proc/25518/task/25535/stat : 25535 (java) S 25485 25485 24366 0 -1 1077944384 582 0 0 0 19 0 0 0 20 0 24 0 417935698 8616062976 29514 33554432000 4194304 4196468 140729638663520 139849446853360 139850156251778 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 [pid=25518/tid=25536] ppid=25485 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/25518/task/25536/stat : 25536 (java) S 25485 25485 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417935698 8616062976 29514 33554432000 4194304 4196468 140729638663520 139847423486304 139850156250837 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 [pid=25518/tid=25537] ppid=25485 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/25518/task/25537/stat : 25537 (java) S 25485 25485 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417935698 8616062976 29514 33554432000 4194304 4196468 140729638663520 139849445800240 139850156251778 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 [pid=25518/tid=25539] ppid=25485 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/25518/task/25539/stat : 25539 (java) S 25485 25485 24366 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 417935764 8616062976 29514 33554432000 4194304 4196468 140729638663520 139849437766976 139850156265241 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 [pid=25518/tid=25541] ppid=25485 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/25518/task/25541/stat : 25541 (java) S 25485 25485 24366 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 417935764 8616062976 29514 33554432000 4194304 4196468 140729638663520 139846752386960 139850156262557 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 [pid=25518/tid=25542] ppid=25485 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/25518/task/25542/stat : 25542 (java) S 25485 25485 24366 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 417935764 8616062976 29514 33554432000 4194304 4196468 140729638663520 139847020822288 139850156262557 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 [pid=25518/tid=25543] ppid=25485 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/25518/task/25543/stat : 25543 (java) S 25485 25485 24366 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 417935766 8616062976 29514 33554432000 4194304 4196468 140729638663520 139846483959600 139850156250837 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 Current children cumulated CPU time: 60.03 s Current children cumulated vsize: 10005136 KiB Current children cumulated memory: 1044752 KiB [startup+19.8103 s] /proc/loadavg: 4.06 1.52 0.96 9/229 25551 /proc/meminfo: memFree=29208632/32770624 swapFree=66916596/67108860 [pid=25485] ppid=25482 vsize=113128 memory=1476 CPUtime=23.29 cores=0-7 /proc/25485/stat : 25485 (scop.sh) S 25482 25485 24366 0 -1 4202496 584 37491 0 0 0 0 2214 115 20 0 1 0 417934506 115843072 369 33554432000 4194304 5098028 140730775671808 140730775668552 140309796582012 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13705216 140730775679781 140730775680108 140730775680108 140730775683021 0 /proc/25485/statm: 28282 369 311 221 0 87 0 [pid=25518] ppid=25485 vsize=8414124 memory=118892 CPUtime=1.17 cores=0-7 /proc/25518/stat : 25518 (java) S 25485 25485 24366 0 -1 1077944320 20743 0 0 0 111 6 0 0 20 0 24 0 417935692 8616062976 29723 33554432000 4194304 4196468 140729638663520 140729638646064 139850156240631 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 /proc/25518/statm: 2103531 29723 3198 1 0 2064875 0 [pid=25518/tid=25519] ppid=25485 vsize=8414124 memory=-4866526899798303339 CPUtime=0.74 cores=0-7 /proc/25518/task/25519/stat : 25519 (java) S 25485 25485 24366 0 -1 1077944384 17361 0 0 0 69 5 0 0 20 0 24 0 417935692 8616062976 29723 33554432000 4194304 4196468 140729638663520 139850128080800 139850156250837 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 [pid=25518/tid=25520] ppid=25485 vsize=8414124 memory=-4695052241013923951 CPUtime=0 cores=0-7 /proc/25518/task/25520/stat : 25520 (java) S 25485 25485 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417935693 8616062976 29723 33554432000 4194304 4196468 140729638663520 139850160482704 139850156250837 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 [pid=25518/tid=25521] ppid=25485 vsize=8414124 memory=-2317720213663851332 CPUtime=0 cores=0-7 /proc/25518/task/25521/stat : 25521 (java) S 25485 25485 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417935693 8616062976 29723 33554432000 4194304 4196468 140729638663520 139849640868112 139850156250837 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 [pid=25518/tid=25522] ppid=25485 vsize=8414124 memory=6944656592452807316 CPUtime=0 cores=0-7 /proc/25518/task/25522/stat : 25522 (java) S 25485 25485 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417935693 8616062976 29723 33554432000 4194304 4196468 140729638663520 139849639815824 139850156250837 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 [pid=25518/tid=25523] ppid=25485 vsize=8414124 memory=6933690287860520088 CPUtime=0 cores=0-7 /proc/25518/task/25523/stat : 25523 (java) S 25485 25485 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417935693 8616062976 29723 33554432000 4194304 4196468 140729638663520 139849638763024 139850156250837 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 [pid=25518/tid=25524] ppid=25485 vsize=8414124 memory=-9181546050914066336 CPUtime=0 cores=0-7 /proc/25518/task/25524/stat : 25524 (java) S 25485 25485 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417935693 8616062976 29723 33554432000 4194304 4196468 140729638663520 139849637710736 139850156250837 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 [pid=25518/tid=25525] ppid=25485 vsize=8414124 memory=-7739291840220455296 CPUtime=0 cores=0-7 /proc/25518/task/25525/stat : 25525 (java) S 25485 25485 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417935693 8616062976 29723 33554432000 4194304 4196468 140729638663520 139849636657936 139850156250837 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 [pid=25518/tid=25526] ppid=25485 vsize=8414124 memory=4137282616176187523 CPUtime=0 cores=0-7 /proc/25518/task/25526/stat : 25526 (java) S 25485 25485 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417935693 8616062976 29723 33554432000 4194304 4196468 140729638663520 139849635605648 139850156250837 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 [pid=25518/tid=25527] ppid=25485 vsize=8414124 memory=279736723533264 CPUtime=0 cores=0-7 /proc/25518/task/25527/stat : 25527 (java) S 25485 25485 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417935693 8616062976 29723 33554432000 4194304 4196468 140729638663520 139849634552848 139850156250837 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 [pid=25518/tid=25528] ppid=25485 vsize=8414124 memory=279736722915568 CPUtime=0 cores=0-7 /proc/25518/task/25528/stat : 25528 (java) S 25485 25485 24366 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 417935695 8616062976 29723 33554432000 4194304 4196468 140729638663520 139849451063408 139850156251778 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 [pid=25518/tid=25529] ppid=25485 vsize=8414124 memory=3472328296227683313 CPUtime=0 cores=0-7 /proc/25518/task/25529/stat : 25529 (java) S 25485 25485 24366 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 417935695 8616062976 29723 33554432000 4194304 4196468 140729638663520 139848430117664 139850156250837 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 [pid=25518/tid=25530] ppid=25485 vsize=8414124 memory=912 CPUtime=0 cores=0-7 /proc/25518/task/25530/stat : 25530 (java) S 25485 25485 24366 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 417935695 8616062976 29723 33554432000 4194304 4196468 140729638663520 139848295896176 139850156250837 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 [pid=25518/tid=25531] ppid=25485 vsize=8414124 memory=1444 CPUtime=0 cores=0-7 /proc/25518/task/25531/stat : 25531 (java) S 25485 25485 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417935698 8616062976 29723 33554432000 4194304 4196468 140729638663520 139847921391696 139850156259227 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 [pid=25518/tid=25532] ppid=25485 vsize=8414124 memory=1984 CPUtime=0.06 cores=0-7 /proc/25518/task/25532/stat : 25532 (java) S 25485 25485 24366 0 -1 1077944384 571 0 0 0 6 0 0 0 20 0 24 0 417935698 8616062976 29723 33554432000 4194304 4196468 140729638663520 139849450011248 139850156251778 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 [pid=25518/tid=25533] ppid=25485 vsize=8414124 memory=0 CPUtime=0.05 cores=0-7 /proc/25518/task/25533/stat : 25533 (java) R 25485 25485 24366 0 -1 4202560 281 0 0 0 5 0 0 0 20 0 24 0 417935698 8616062976 29723 33554432000 4194304 4196468 140729638663520 139849448958448 139850134257614 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 [pid=25518/tid=25534] ppid=25485 vsize=8414124 memory=8996 CPUtime=0.07 cores=0-7 /proc/25518/task/25534/stat : 25534 (java) S 25485 25485 24366 0 -1 1077944384 307 0 0 0 7 0 0 0 20 0 24 0 417935698 8616062976 29723 33554432000 4194304 4196468 140729638663520 139849447906160 139850156251778 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 [pid=25518/tid=25535] ppid=25485 vsize=8414124 memory=6656426216303648864 CPUtime=0.2 cores=0-7 /proc/25518/task/25535/stat : 25535 (java) R 25485 25485 24366 0 -1 4202560 796 0 0 0 20 0 0 0 20 0 24 0 417935698 8616062976 29723 33554432000 4194304 4196468 140729638663520 139849446849728 139850148477758 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 [pid=25518/tid=25536] ppid=25485 vsize=8414124 memory=6944656592455360569 CPUtime=0 cores=0-7 /proc/25518/task/25536/stat : 25536 (java) S 25485 25485 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417935698 8616062976 29723 33554432000 4194304 4196468 140729638663520 139847423486304 139850156250837 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 [pid=25518/tid=25537] ppid=25485 vsize=8414124 memory=6944656592455360608 CPUtime=0 cores=0-7 /proc/25518/task/25537/stat : 25537 (java) S 25485 25485 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417935698 8616062976 29723 33554432000 4194304 4196468 140729638663520 139849445800240 139850156251778 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 [pid=25518/tid=25539] ppid=25485 vsize=8414124 memory=4137282616176187523 CPUtime=0 cores=0-7 /proc/25518/task/25539/stat : 25539 (java) S 25485 25485 24366 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 417935764 8616062976 29723 33554432000 4194304 4196468 140729638663520 139849437766976 139850156265241 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 [pid=25518/tid=25541] ppid=25485 vsize=8414124 memory=-9001734043636558696 CPUtime=0.01 cores=0-7 /proc/25518/task/25541/stat : 25541 (java) R 25485 25485 24366 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 24 0 417935764 8616062976 29723 33554432000 4194304 4196468 140729638663520 139846752392960 139850156262461 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 [pid=25518/tid=25542] ppid=25485 vsize=8414124 memory=4137282616176187523 CPUtime=0 cores=0-7 /proc/25518/task/25542/stat : 25542 (java) S 25485 25485 24366 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 417935764 8616062976 29723 33554432000 4194304 4196468 140729638663520 139847020822288 139850156262557 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 [pid=25518/tid=25543] ppid=25485 vsize=8414124 memory=9023629670928638048 CPUtime=0 cores=0-7 /proc/25518/task/25543/stat : 25543 (java) S 25485 25485 24366 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 417935766 8616062976 29723 33554432000 4194304 4196468 140729638663520 139846483959600 139850156250837 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25272320 140729638671351 140729638671510 140729638671510 140729638674383 0 Current children cumulated CPU time: 24.46 s Current children cumulated vsize: 8527252 KiB Current children cumulated memory: 120368 KiB Child status: 0 Real time (s): 19.8571 CPU time (s): 60.6255 CPU user time (s): 58.4074 CPU system time (s): 2.21804 CPU usage (%): 305.309 Max. virtual memory (cumulated for all children) (KiB): 27443924 Max. memory (cumulated for all children) (KiB): 5667296 getrusage(RUSAGE_CHILDREN,...) data: user time used= 58.4074 system time used= 2.21805 maximum resident set size= 5668952 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 359970 page faults= 0 swaps= 0 block input operations= 0 block output operations= 55448 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 58240 involuntary context switches= 381 # summary of solver processes directly reported to runsolver: # pid: 25485 # total CPU time (s): 60.6255 # total CPU user time (s): 58.4074 # total CPU system time (s): 2.21804 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.202391 second user time and 0.260363 second system time The end
Begin job on node134 at 2019-09-14 01:19:58 IDJOB=4392374 IDBENCH=120889 IDSOLVER=2838 FILE ID=node134/4392374-1568416840 RUNJOBID= node134-1568416726-24393 PBS_JOBID= 21702257 Free space on /tmp= 59576 MiB SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15) BENCH NAME= XCSP17/QueensKnights/QueensKnights-m1-s1/QueensKnights-080-05-add.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-4392374-1568416840/watcher-4392374-1568416840 -o /tmp/evaluation-result-4392374-1568416840/solver-4392374-1568416840 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1568416726-24393 --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-4392374-1568416840.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 18e8c61317b2c078d14d7e9ead8d31e0 RANDOM SEED=1450637892 node134.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.76 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.76 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.76 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.76 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: 30269292 kB MemAvailable: 31795728 kB Buffers: 191484 kB Cached: 1601964 kB SwapCached: 90632 kB Active: 475032 kB Inactive: 1409364 kB Active(anon): 24140 kB Inactive(anon): 106568 kB Active(file): 450892 kB Inactive(file): 1302796 kB Unevictable: 110920 kB Mlocked: 110920 kB SwapTotal: 67108860 kB SwapFree: 66916596 kB Dirty: 20364 kB Writeback: 0 kB AnonPages: 123328 kB Mapped: 43696 kB Shmem: 31048 kB Slab: 207200 kB SReclaimable: 177164 kB SUnreclaim: 30036 kB KernelStack: 3792 kB PageTables: 4840 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497784 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 77824 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 59556 MiB End job on node134 at 2019-09-14 01:20:18