Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP order+ManyGlucose (2019-09-22) | UNSAT | 195.251 | 42.6346 |
Name | SuperSolutions/SuperSolutions-Taillard-os10/ SuperTaillard-os-10-06.xml |
MD5SUM | 6b3d88799df56964f86d557249875b85 |
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 | 56.1836 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 200 |
Number of constraints | 2800 |
Number of domains | 64 |
Minimum domain size | 440 |
Maximum domain size | 538 |
Distribution of domain sizes | [{"size":440,"count":2},{"size":441,"count":2},{"size":442,"count":2},{"size":444,"count":2},{"size":445,"count":4},{"size":447,"count":2},{"size":448,"count":4},{"size":449,"count":4},{"size":450,"count":2},{"size":452,"count":2},{"size":455,"count":4},{"size":457,"count":4},{"size":459,"count":2},{"size":461,"count":2},{"size":462,"count":2},{"size":464,"count":4},{"size":466,"count":2},{"size":467,"count":2},{"size":470,"count":4},{"size":472,"count":8},{"size":474,"count":2},{"size":475,"count":2},{"size":477,"count":2},{"size":480,"count":6},{"size":483,"count":2},"...",{"size":505,"count":2}, {"size":506,"count":2}, {"size":508,"count":10}, {"size":509,"count":2}, {"size":511,"count":2}, {"size":512,"count":2}, {"size":513,"count":6}, {"size":514,"count":2}, {"size":515,"count":2}, {"size":516,"count":2}, {"size":517,"count":4}, {"size":518,"count":4}, {"size":519,"count":4}, {"size":520,"count":2}, {"size":521,"count":2}, {"size":522,"count":4}, {"size":523,"count":4}, {"size":524,"count":2}, {"size":526,"count":4}, {"size":528,"count":2}, {"size":529,"count":4}, {"size":530,"count":8}, {"size":531,"count":4}, {"size":534,"count":2}, {"size":538,"count":4}] |
Minimum variable degree | 19 |
Maximum variable degree | 37 |
Distribution of variable degrees | [{"degree":19,"count":100},{"degree":37,"count":100}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":2800}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 2800 |
Distribution of constraint types | [{"type":"intension","count":2800}] |
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-20163-serial-file.bin HOME/instance-4405228-1569357237.xml 0.64/0.54 0.64/0.54 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 0.64/0.54 0.64/0.56 c BEGIN-Prog: Tue Sep 24 22:33:17 CEST 2019 0.64/0.56 c PID: 20166 0.64/0.56 c IP: 172.20.3.151 0.64/0.56 c HOST: node151.alineos.net 0.64/0.57 c (0,0) Parsing Begin 4.27/1.56 c (1,1) Parsing End 4.27/1.56 c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 538 4.27/1.56 c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 4.27/1.56 c (1,1) Constraint Name Generate Begin 4.27/1.59 c (1,1) Ctr:HOME/instance-4405228-1569357237.xml,Add:Le:Ne:Num:Or:Var 4.27/1.59 c (1,1) Constraint Name Generate End 4.27/1.59 c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 4.27/1.59 c (1,1) CSP to CSPinCNF Begin 5.37/1.82 c (1,1) translated 280 (10%) constraints 5.37/1.87 c (1,1) translated 560 (20%) constraints 5.71/1.90 c (1,1) translated 840 (30%) constraints 5.71/1.93 c (1,1) translated 1120 (40%) constraints 5.71/1.96 c (1,1) translated 1400 (50%) constraints 5.71/1.98 c (1,1) translated 1680 (60%) constraints 5.71/2.00 c (1,1) translated 1960 (70%) constraints 6.10/2.02 c (1,1) translated 2240 (80%) constraints 6.10/2.04 c (1,1) translated 2520 (90%) constraints 6.10/2.06 c (1,1) translated 2800 (100%) constraints 6.10/2.06 c (1,1) =========================================== 6.10/2.06 c (1,1) Order 6.10/2.06 c (1,1) =========================================== 6.10/2.08 c (1,1) translated 280 (10%) constraints 6.10/2.10 c (1,1) translated 560 (20%) constraints 6.50/2.11 c (1,1) translated 840 (30%) constraints 6.50/2.13 c (1,1) translated 1120 (40%) constraints 6.50/2.14 c (1,1) translated 1400 (50%) constraints 6.50/2.15 c (1,1) translated 1680 (60%) constraints 6.50/2.17 c (1,1) translated 1960 (70%) constraints 6.50/2.18 c (1,1) translated 2240 (80%) constraints 6.50/2.19 c (1,1) translated 2520 (90%) constraints 6.88/2.21 c (1,1) translated 2800 (100%) constraints 6.88/2.21 c (1,1) CSP to CSPinCNF End 6.88/2.21 c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 538 6.88/2.21 c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB) 6.88/2.21 c (1,1) CSPinCNF Propagation Begin 6.88/2.28 c (1,1) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed 6.88/2.28 c (1,1) CSPinCNF Propagation End 6.88/2.28 c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 538 6.88/2.28 c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB) 6.88/2.28 c (1,1) Simplify CSPinCNF Begin 7.71/2.48 c (1,1) Simplify CSPinCNF End 7.71/2.48 c (1,1) CSP: 200 int (0 aux), 5600 bool (5600 aux), 8400 ctr, max domain size 538 7.71/2.48 c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 7.71/2.48 c (1,1) Calculate Precise Domain Begin 7.71/2.48 c (1,1) 0 values are removed by re-calculation 7.71/2.48 c (1,1) Calculate Precise Domain End 7.71/2.48 c (1,1) CSP: 200 int (0 aux), 5600 bool (5600 aux), 8400 ctr, max domain size 538 7.71/2.48 c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 7.71/2.48 c (1,1) CSPinCNF to SatSolver Begin 11.14/3.99 c (3,3) 840 (10 %) CSP clauses are encoded (0 SAT variables, 350597 SAT clauses) 12.29/5.01 c (4,4) 1680 (20 %) CSP clauses are encoded (0 SAT variables, 602843 SAT clauses) 13.36/6.02 c (5,5) 2520 (30 %) CSP clauses are encoded (0 SAT variables, 853595 SAT clauses) 14.36/7.02 c (6,6) 3360 (40 %) CSP clauses are encoded (0 SAT variables, 1103069 SAT clauses) 15.38/8.03 c (7,7) 4200 (50 %) CSP clauses are encoded (0 SAT variables, 1355459 SAT clauses) 16.54/9.27 c (8,8) 5040 (60 %) CSP clauses are encoded (0 SAT variables, 1608144 SAT clauses) 17.48/10.14 c (9,9) 5880 (70 %) CSP clauses are encoded (0 SAT variables, 1857511 SAT clauses) 18.32/11.00 c (10,10) 6720 (80 %) CSP clauses are encoded (0 SAT variables, 2105987 SAT clauses) 19.23/11.87 c (11,11) 7560 (90 %) CSP clauses are encoded (0 SAT variables, 2357105 SAT clauses) 20.25/12.78 c (12,11) 8400 (100 %) CSP clauses are encoded (0 SAT variables, 2617437 SAT clauses) 20.25/12.78 c (12,11) CSPinCNF to SatSolver End 20.25/12.78 c (12,11) Heap : 4124 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB) 20.25/12.78 c (12,11) 103984 bool, 2617904 clause 20.25/12.78 c (12,11) Export Begin 20.35/12.88 c (12,12) Export to HOME/scop-20163-serial-file.bin 20.35/12.88 c (12,12) Export End 20.35/12.88 c (12,12) Export File Size: 0.03 MB 20.35/12.88 c (12,12) 1,1,1,1,1,1,12,STOP-AFTER(DIMACS) 20.35/12.88 c END-Prog: Tue Sep 24 22:33:30 CEST 2019 0.00/12.93 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-20163-serial-file.bin 21.11/13.38 c (0,0) Read Serial File Begin 21.11/13.38 c (0,0) HOME/scop-20163-serial-file.bin 21.57/13.60 c (0,0) Read Serial File End 21.57/13.62 21.57/13.62 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 21.57/13.62 (Solving Process) 21.57/13.62 21.57/13.64 c BEGIN-Prog: Tue Sep 24 22:33:31 CEST 2019 21.57/13.64 c PID: 20186 21.57/13.64 c IP: 172.20.3.151 21.57/13.64 c HOST: node151.alineos.net 21.57/13.64 c (0,0) SatSolver.solve Begin 21.57/13.64 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405228-1569357237.xml-scop-20166.cnf 21.57/13.67 c (0,0) c 21.57/13.67 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) 21.57/13.67 c (0,0) c 21.57/13.67 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 21.57/13.67 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 21.57/13.67 c (0,0) c ========================================[ Problem Statistics ]=========================================== 21.57/13.67 c (0,0) c | | 22.78/14.60 c (1,0) c | Number of variables: 103984 | 22.78/14.60 c (1,0) c | Number of clauses: 2617904 | 22.78/14.60 c (1,0) c | Parse time: 0.85 s | 22.78/14.60 c (1,0) c | | 28.10/19.91 c (6,0) c | Simplification time: 5.23 s | 28.10/19.91 c (6,0) c | | 28.10/19.91 c (6,0) c | Generating clones | 28.79/20.61 c (7,0) c | all clones generated. Memory = 1585.62Mb. | 28.79/20.61 c (7,0) c ========================================================================================================| 28.79/20.61 c (7,0) c 28.79/20.61 c (7,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 28.79/20.61 c (7,0) c 28.79/20.61 c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 28.79/20.61 c (7,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 28.79/20.61 c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 28.79/20.61 c (7,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 28.79/20.61 c (7,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 28.79/20.61 c (7,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 28.79/20.61 c (7,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 28.79/20.61 c (7,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 28.79/20.61 c (7,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 28.79/20.61 c (7,0) c | glureduce | True | True | True | True | True | True | True | True | 28.79/20.61 c (7,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 28.79/20.61 c (7,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 28.79/20.61 c (7,0) c | luby_restart | False | False | False | False | False | False | False | False | 28.79/20.61 c (7,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 28.79/20.61 c (7,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 28.79/20.61 c (7,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 28.79/20.61 c (7,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 28.79/20.61 c (7,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 28.79/20.61 c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 195.01/42.51 c (29,0) c 195.01/42.51 c (29,0) c real time : 28.8482 s 195.01/42.51 c (29,0) c cpu time : 170.706 s 195.01/42.51 c (29,0) c 195.01/42.51 c (29,0) c 195.01/42.51 c (29,0) c 195.01/42.51 c (29,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 195.01/42.51 c (29,0) c 195.01/42.51 c (29,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 195.01/42.51 c (29,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 195.01/42.51 c (29,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 195.01/42.51 c (29,0) c | Conflicts | 267570 | 33292 | 34255 | 33670 | 33542 | 34357 | 32317 | 32951 | 33186 | 195.01/42.51 c (29,0) c | Decisions | 371249 | 45439 | 53166 | 45637 | 45678 | 46926 | 44469 | 44795 | 45139 | 195.01/42.51 c (29,0) c | Propagations | 357974093 | 44544823 | 44017242 | 45971003 | 44903213 | 44070039 | 45217685 | 44687923 | 44562165 | 195.01/42.51 c (29,0) c | ReduceDBs | 32 | 4 | 4 | 4 | 4 | 4 | 4 | 4 | 4 | 195.01/42.51 c (29,0) c | SimpDBs | 15 | 2 | 2 | 1 | 2 | 2 | 2 | 2 | 2 | 195.01/42.51 c (29,0) c | Restarts | 337 | 37 | 63 | 40 | 18 | 64 | 20 | 34 | 61 | 195.01/42.51 c (29,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 195.01/42.51 c (29,0) c | PropBinClauses| 381877478 | 47738568 | 46970540 | 48968478 | 47826012 | 46901628 | 48085062 | 47738972 | 47648218 | 195.01/42.51 c (29,0) c | PropPreBlocker| 4670528343 | 579226902 | 580120436 | 586949175 | 591013666 | 579073319 | 593377180 | 584363816 | 576403849 | 195.01/42.51 c (29,0) c | PropNotBlocker| 1286889949 | 162995987 | 156472707 | 163872203 | 154825520 | 163525535 | 156517382 | 159958245 | 168722370 | 195.01/42.51 c (29,0) c | LitFullScans | 6864789037 | 858078311 | 849478040 | 858063290 | 859556670 | 858053466 | 864087253 | 858077089 | 859394918 | 195.01/42.51 c (29,0) c | LitScanFracts | 507768 | 72042 | 56242 | 58834 | 51775 | 47520 | 65635 | 67541 | 88179 | 195.01/42.51 c (29,0) c | DecisionLevel0| 366 | 38 | 73 | 40 | 26 | 67 | 21 | 39 | 62 | 195.01/42.51 c (29,0) c | Periods | 1143 | 143 | 141 | 143 | 143 | 143 | 144 | 143 | 143 | 195.01/42.51 c (29,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 195.01/42.51 c (29,0) c | Avg_Trail | | 8753 | 8137 | 8111 | 8576 | 7896 | 9235 | 7867 | 8045 | 195.01/42.51 c (29,0) c | Avg_DL | | 16 | 15 | 13 | 14 | 12 | 17 | 13 | 13 | 195.01/42.51 c (29,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 195.01/42.51 c (29,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 195.01/42.51 c (29,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 195.01/42.51 c (29,0) c | Exported | 52603 | 6099 | 6511 | 6834 | 6751 | 6481 | 6712 | 6499 | 6716 | 195.01/42.51 c (29,0) c | Imported | 324404 | 40226 | 40770 | 39068 | 41103 | 41076 | 40406 | 41166 | 40589 | 195.01/42.52 c (29,0) c | Good | 53 | 5 | 7 | 4 | 7 | 8 | 6 | 9 | 7 | 195.01/42.52 c (29,0) c | Purge | 324351 | 40221 | 40763 | 39064 | 41096 | 41068 | 40400 | 41157 | 40582 | 195.01/42.52 c (29,0) c | Promoted | 34285 | 4261 | 4609 | 3748 | 4525 | 4593 | 3976 | 4129 | 4444 | 195.01/42.52 c (29,0) c | Remove_Imp | 97064 | 13109 | 10594 | 12987 | 9534 | 11267 | 13585 | 13011 | 12977 | 195.01/42.52 c (29,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 195.01/42.52 c (29,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 195.01/42.52 c (29,0) c | Unaries | | 1 | 10 | 0 | 8 | 3 | 1 | 5 | 1 | 195.01/42.52 c (29,0) c | Binaries | | 13 | 27 | 4 | 33 | 23 | 8 | 23 | 12 | 195.01/42.52 c (29,0) c | Glues | | 957 | 1066 | 936 | 987 | 981 | 892 | 897 | 966 | 195.01/42.52 c (29,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 195.01/42.52 c (29,0) c | Orig_Seen | 2 % | 65463 | 66757 | 60927 | 70697 | 60772 | 64934 | 63375 | 61909 | 195.01/42.52 c (29,0) c | Diff Orig seen| | - 1294 | X | - 5830 | 3940 | - 5985 | - 1823 | - 3382 | - 4848 | 195.01/42.52 c (29,0) c | Hamming | 22 % | 22151 | X | 22839 | 22796 | 23082 | 21237 | 25022 | 23201 | 195.01/42.52 c (29,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 195.01/42.52 c (29,0) c | RunningTime | | 21.6 100%| 21.9 100%| 21.0 100%| 20.5 100%| 20.8 100%| 20.5 100%| 21.2 100%| 21.0 100%| 195.01/42.52 c (29,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%| 195.01/42.52 c (29,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%| 195.01/42.52 c (29,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%| 195.01/42.52 c (29,0) c | SolvingTime | | 21.6 | 21.9 | 21.0 | 20.5 | 20.9 | 20.5 | 21.2 | 21.0 | 195.01/42.52 c (29,0) c | PropagationTim| | 20.3 94%| 20.6 94%| 19.7 94%| 19.2 94%| 19.5 94%| 19.2 94%| 19.8 94%| 19.8 94%| 195.01/42.52 c (29,0) c | AnalysisTime | | 0.8 4%| 0.7 3%| 0.8 4%| 0.8 4%| 0.8 4%| 0.8 4%| 0.8 4%| 0.7 4%| 195.01/42.52 c (29,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%| 195.01/42.52 c (29,0) c | SimplifyTime | | 0.1 0%| 0.1 0%| 0.0 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 195.01/42.52 c (29,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%| 195.01/42.52 c (29,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%| 195.01/42.52 c (29,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 195.01/42.52 c (29,0) c 195.01/42.52 c (29,0) c 195.01/42.52 c (29,0) c Threads : 8 195.01/42.52 c (29,0) c Winner : 1 195.01/42.52 c (29,0) c Conflicts_0 : 33292 195.01/42.52 c (29,0) c Conflicts_1 : 34255 195.01/42.52 c (29,0) c Conflicts_2 : 33670 195.01/42.52 c (29,0) c Conflicts_3 : 33542 195.01/42.52 c (29,0) c Conflicts_4 : 34357 195.01/42.52 c (29,0) c Conflicts_5 : 32317 195.01/42.52 c (29,0) c Conflicts_6 : 32951 195.01/42.52 c (29,0) c Conflicts_7 : 33186 195.01/42.52 c (29,0) c Conflicts_total : 267570 195.01/42.52 c (29,0) c Conflicts_winner : 34255 195.01/42.52 c (29,0) c Decisions_0 : 45439 195.01/42.52 c (29,0) c Decisions_1 : 53166 195.01/42.52 c (29,0) c Decisions_2 : 45637 195.01/42.52 c (29,0) c Decisions_3 : 45678 195.01/42.52 c (29,0) c Decisions_4 : 46926 195.01/42.52 c (29,0) c Decisions_5 : 44469 195.01/42.52 c (29,0) c Decisions_6 : 44795 195.01/42.52 c (29,0) c Decisions_7 : 45139 195.01/42.52 c (29,0) c Decisions_total : 371249 195.01/42.52 c (29,0) c Decisions_winner : 53166 195.01/42.52 c (29,0) c Propagations_0 : 44544823 195.01/42.52 c (29,0) c Propagations_1 : 44017242 195.01/42.52 c (29,0) c Propagations_2 : 45971003 195.01/42.52 c (29,0) c Propagations_3 : 44903213 195.01/42.52 c (29,0) c Propagations_4 : 44070039 195.01/42.52 c (29,0) c Propagations_5 : 45217685 195.01/42.52 c (29,0) c Propagations_6 : 44687923 195.01/42.52 c (29,0) c Propagations_7 : 44562165 195.01/42.52 c (29,0) c Propagations_total : 357974093 195.01/42.52 c (29,0) c Propagations_winner : 44017242 195.01/42.52 c (29,0) c ReduceDBs_0 : 4 195.01/42.52 c (29,0) c ReduceDBs_1 : 4 195.01/42.52 c (29,0) c ReduceDBs_2 : 4 195.01/42.52 c (29,0) c ReduceDBs_3 : 4 195.01/42.52 c (29,0) c ReduceDBs_4 : 4 195.01/42.52 c (29,0) c ReduceDBs_5 : 4 195.01/42.52 c (29,0) c ReduceDBs_6 : 4 195.01/42.52 c (29,0) c ReduceDBs_7 : 4 195.01/42.52 c (29,0) c ReduceDBs_total : 32 195.01/42.52 c (29,0) c ReduceDBs_winner : 4 195.01/42.52 c (29,0) c SimpDBs_0 : 2 195.01/42.52 c (29,0) c SimpDBs_1 : 2 195.01/42.52 c (29,0) c SimpDBs_2 : 1 195.01/42.52 c (29,0) c SimpDBs_3 : 2 195.01/42.52 c (29,0) c SimpDBs_4 : 2 195.01/42.52 c (29,0) c SimpDBs_5 : 2 195.01/42.52 c (29,0) c SimpDBs_6 : 2 195.01/42.52 c (29,0) c SimpDBs_7 : 2 195.01/42.52 c (29,0) c SimpDBs_total : 15 195.01/42.52 c (29,0) c SimpDBs_winner : 2 195.01/42.52 c (29,0) c Restarts_0 : 37 195.01/42.52 c (29,0) c Restarts_1 : 63 195.01/42.52 c (29,0) c Restarts_2 : 40 195.01/42.52 c (29,0) c Restarts_3 : 18 195.01/42.52 c (29,0) c Restarts_4 : 64 195.01/42.52 c (29,0) c Restarts_5 : 20 195.01/42.52 c (29,0) c Restarts_6 : 34 195.01/42.52 c (29,0) c Restarts_7 : 61 195.01/42.52 c (29,0) c Restarts_total : 337 195.01/42.52 c (29,0) c Restarts_winner : 63 195.01/42.52 c (29,0) c ForcedImports_0 : 0 195.01/42.52 c (29,0) c ForcedImports_1 : 0 195.01/42.52 c (29,0) c ForcedImports_2 : 0 195.01/42.52 c (29,0) c ForcedImports_3 : 0 195.01/42.52 c (29,0) c ForcedImports_4 : 0 195.01/42.52 c (29,0) c ForcedImports_5 : 0 195.01/42.52 c (29,0) c ForcedImports_6 : 0 195.01/42.52 c (29,0) c ForcedImports_7 : 0 195.01/42.52 c (29,0) c ForcedImports_total : 0 195.01/42.52 c (29,0) c ForcedImports_winner : 0 195.01/42.52 c (29,0) c PropsBinClauses_0 : 47738568 195.01/42.52 c (29,0) c PropsBinClauses_1 : 46970540 195.01/42.52 c (29,0) c PropsBinClauses_2 : 48968478 195.01/42.52 c (29,0) c PropsBinClauses_3 : 47826012 195.01/42.52 c (29,0) c PropsBinClauses_4 : 46901628 195.01/42.52 c (29,0) c PropsBinClauses_5 : 48085062 195.01/42.52 c (29,0) c PropsBinClauses_6 : 47738972 195.01/42.52 c (29,0) c PropsBinClauses_7 : 47648218 195.01/42.52 c (29,0) c PropsBinClauses_total : 381877478 195.01/42.52 c (29,0) c PropsBinClauses_winner : 46970540 195.01/42.52 c (29,0) c PropsPreBlocker_0 : 579226902 195.01/42.52 c (29,0) c PropsPreBlocker_1 : 580120436 195.01/42.52 c (29,0) c PropsPreBlocker_2 : 586949175 195.01/42.52 c (29,0) c PropsPreBlocker_3 : 591013666 195.01/42.52 c (29,0) c PropsPreBlocker_4 : 579073319 195.01/42.52 c (29,0) c PropsPreBlocker_5 : 593377180 195.01/42.52 c (29,0) c PropsPreBlocker_6 : 584363816 195.01/42.52 c (29,0) c PropsPreBlocker_7 : 576403849 195.01/42.52 c (29,0) c PropsPreBlocker_total : 4670528343 195.01/42.52 c (29,0) c PropsPreBlocker_winner : 580120436 195.01/42.52 c (29,0) c PropsNotBlocker_0 : 162995987 195.01/42.52 c (29,0) c PropsNotBlocker_1 : 156472707 195.01/42.52 c (29,0) c PropsNotBlocker_2 : 163872203 195.01/42.52 c (29,0) c PropsNotBlocker_3 : 154825520 195.01/42.52 c (29,0) c PropsNotBlocker_4 : 163525535 195.01/42.52 c (29,0) c PropsNotBlocker_5 : 156517382 195.01/42.52 c (29,0) c PropsNotBlocker_6 : 159958245 195.01/42.52 c (29,0) c PropsNotBlocker_7 : 168722370 195.01/42.52 c (29,0) c PropsNotBlocker_total : 1286889949 195.01/42.52 c (29,0) c PropsNotBlocker_winner : 156472707 195.01/42.52 c (29,0) c PropsLitFullScans_0 : 858078311 195.01/42.52 c (29,0) c PropsLitFullScans_1 : 849478040 195.01/42.52 c (29,0) c PropsLitFullScans_2 : 858063290 195.01/42.52 c (29,0) c PropsLitFullScans_3 : 859556670 195.01/42.52 c (29,0) c PropsLitFullScans_4 : 858053466 195.01/42.52 c (29,0) c PropsLitFullScans_5 : 864087253 195.01/42.52 c (29,0) c PropsLitFullScans_6 : 858077089 195.01/42.52 c (29,0) c PropsLitFullScans_7 : 859394918 195.01/42.52 c (29,0) c PropsLitFullScans_total : 6864789037 195.01/42.52 c (29,0) c PropsLitFullScans_winner : 849478040 195.01/42.52 c (29,0) c LitScanFractions_0 : 72042 195.01/42.52 c (29,0) c LitScanFractions_1 : 56242 195.01/42.52 c (29,0) c LitScanFractions_2 : 58834 195.01/42.52 c (29,0) c LitScanFractions_3 : 51775 195.01/42.52 c (29,0) c LitScanFractions_4 : 47520 195.01/42.52 c (29,0) c LitScanFractions_5 : 65635 195.01/42.52 c (29,0) c LitScanFractions_6 : 67541 195.01/42.52 c (29,0) c LitScanFractions_7 : 88179 195.01/42.52 c (29,0) c LitScanFractions_total : 507768 195.01/42.52 c (29,0) c LitScanFractions_winner : 56242 195.01/42.52 c (29,0) c DecisionLevel0_0 : 38 195.01/42.52 c (29,0) c DecisionLevel0_1 : 73 195.01/42.52 c (29,0) c DecisionLevel0_2 : 40 195.01/42.52 c (29,0) c DecisionLevel0_3 : 26 195.01/42.52 c (29,0) c DecisionLevel0_4 : 67 195.01/42.52 c (29,0) c DecisionLevel0_5 : 21 195.01/42.52 c (29,0) c DecisionLevel0_6 : 39 195.01/42.52 c (29,0) c DecisionLevel0_7 : 62 195.01/42.52 c (29,0) c DecisionLevel0_total : 366 195.01/42.52 c (29,0) c DecisionLevel0_winner : 73 195.01/42.52 c (29,0) c Periods_0 : 143 195.01/42.52 c (29,0) c Periods_1 : 141 195.01/42.52 c (29,0) c Periods_2 : 143 195.01/42.52 c (29,0) c Periods_3 : 143 195.01/42.52 c (29,0) c Periods_4 : 143 195.01/42.52 c (29,0) c Periods_5 : 144 195.01/42.52 c (29,0) c Periods_6 : 143 195.01/42.52 c (29,0) c Periods_7 : 143 195.01/42.52 c (29,0) c Periods_total : 1143 195.01/42.52 c (29,0) c Periods_winner : 141 195.01/42.52 c (29,0) c Margin_0 : 20 195.01/42.52 c (29,0) c Margin_1 : 20 195.01/42.52 c (29,0) c Margin_2 : 20 195.01/42.52 c (29,0) c Margin_3 : 20 195.01/42.52 c (29,0) c Margin_4 : 20 195.01/42.52 c (29,0) c Margin_5 : 20 195.01/42.52 c (29,0) c Margin_6 : 20 195.01/42.52 c (29,0) c Margin_7 : 20 195.01/42.52 c (29,0) c Margin_total : 160 195.01/42.52 c (29,0) c Margin_winner : 20 195.01/42.52 c (29,0) c Exported_0 : 6099 195.01/42.52 c (29,0) c Exported_1 : 6511 195.01/42.52 c (29,0) c Exported_2 : 6834 195.01/42.52 c (29,0) c Exported_3 : 6751 195.01/42.52 c (29,0) c Exported_4 : 6481 195.01/42.52 c (29,0) c Exported_5 : 6712 195.01/42.52 c (29,0) c Exported_6 : 6499 195.01/42.52 c (29,0) c Exported_7 : 6716 195.01/42.52 c (29,0) c Exported_total : 52603 195.01/42.52 c (29,0) c Exported_winner : 6511 195.01/42.52 c (29,0) c Imported_0 : 40226 195.01/42.52 c (29,0) c Imported_1 : 40770 195.01/42.52 c (29,0) c Imported_2 : 39068 195.01/42.52 c (29,0) c Imported_3 : 41103 195.01/42.52 c (29,0) c Imported_4 : 41076 195.01/42.52 c (29,0) c Imported_5 : 40406 195.01/42.52 c (29,0) c Imported_6 : 41166 195.01/42.52 c (29,0) c Imported_7 : 40589 195.01/42.52 c (29,0) c Imported_total : 324404 195.01/42.52 c (29,0) c Imported_winner : 40770 195.01/42.52 c (29,0) c Good_0 : 5 195.01/42.52 c (29,0) c Good_1 : 7 195.01/42.52 c (29,0) c Good_2 : 4 195.01/42.52 c (29,0) c Good_3 : 7 195.01/42.52 c (29,0) c Good_4 : 8 195.01/42.52 c (29,0) c Good_5 : 6 195.01/42.52 c (29,0) c Good_6 : 9 195.01/42.52 c (29,0) c Good_7 : 7 195.01/42.52 c (29,0) c Good_total : 53 195.01/42.52 c (29,0) c Good_winner : 7 195.01/42.52 c (29,0) c Purge_0 : 40221 195.01/42.52 c (29,0) c Purge_1 : 40763 195.01/42.52 c (29,0) c Purge_2 : 39064 195.01/42.52 c (29,0) c Purge_3 : 41096 195.01/42.52 c (29,0) c Purge_4 : 41068 195.01/42.52 c (29,0) c Purge_5 : 40400 195.01/42.52 c (29,0) c Purge_6 : 41157 195.01/42.52 c (29,0) c Purge_7 : 40582 195.01/42.52 c (29,0) c Purge_total : 324351 195.01/42.52 c (29,0) c Purge_winner : 40763 195.01/42.52 c (29,0) c Promoted_0 : 4261 195.01/42.52 c (29,0) c Promoted_1 : 4609 195.01/42.52 c (29,0) c Promoted_2 : 3748 195.01/42.52 c (29,0) c Promoted_3 : 4525 195.01/42.52 c (29,0) c Promoted_4 : 4593 195.01/42.52 c (29,0) c Promoted_5 : 3976 195.01/42.52 c (29,0) c Promoted_6 : 4129 195.01/42.52 c (29,0) c Promoted_7 : 4444 195.01/42.52 c (29,0) c Promoted_total : 34285 195.01/42.52 c (29,0) c Promoted_winner : 4609 195.01/42.52 c (29,0) c Remove_Imp_0 : 13109 195.01/42.52 c (29,0) c Remove_Imp_1 : 10594 195.01/42.52 c (29,0) c Remove_Imp_2 : 12987 195.01/42.52 c (29,0) c Remove_Imp_3 : 9534 195.01/42.52 c (29,0) c Remove_Imp_4 : 11267 195.01/42.52 c (29,0) c Remove_Imp_5 : 13585 195.01/42.52 c (29,0) c Remove_Imp_6 : 13011 195.01/42.52 c (29,0) c Remove_Imp_7 : 12977 195.01/42.52 c (29,0) c Remove_Imp_total : 97064 195.01/42.52 c (29,0) c Remove_Imp_winner : 10594 195.01/42.52 c (29,0) c Blocked_Reuse_0 : 0 195.01/42.52 c (29,0) c Blocked_Reuse_1 : 0 195.01/42.52 c (29,0) c Blocked_Reuse_2 : 0 195.01/42.52 c (29,0) c Blocked_Reuse_3 : 0 195.01/42.53 c (29,0) c Blocked_Reuse_4 : 0 195.01/42.53 c (29,0) c Blocked_Reuse_5 : 0 195.01/42.53 c (29,0) c Blocked_Reuse_6 : 0 195.01/42.53 c (29,0) c Blocked_Reuse_7 : 0 195.01/42.53 c (29,0) c Blocked_Reuse_total : 0 195.01/42.53 c (29,0) c Blocked_Reuse_winner : 0 195.01/42.53 c (29,0) c Unaries_0 : 1 195.01/42.53 c (29,0) c Unaries_1 : 10 195.01/42.53 c (29,0) c Unaries_2 : 0 195.01/42.53 c (29,0) c Unaries_3 : 8 195.01/42.53 c (29,0) c Unaries_4 : 3 195.01/42.53 c (29,0) c Unaries_5 : 1 195.01/42.53 c (29,0) c Unaries_6 : 5 195.01/42.53 c (29,0) c Unaries_7 : 1 195.01/42.53 c (29,0) c Unaries_total : 29 195.01/42.53 c (29,0) c Unaries_winner : 10 195.01/42.53 c (29,0) c Binaries_0 : 13 195.01/42.53 c (29,0) c Binaries_1 : 27 195.01/42.53 c (29,0) c Binaries_2 : 4 195.01/42.53 c (29,0) c Binaries_3 : 33 195.01/42.53 c (29,0) c Binaries_4 : 23 195.01/42.53 c (29,0) c Binaries_5 : 8 195.01/42.53 c (29,0) c Binaries_6 : 23 195.01/42.53 c (29,0) c Binaries_7 : 12 195.01/42.53 c (29,0) c Binaries_total : 143 195.01/42.53 c (29,0) c Binaries_winner : 27 195.01/42.53 c (29,0) c Glues_0 : 957 195.01/42.53 c (29,0) c Glues_1 : 1066 195.01/42.53 c (29,0) c Glues_2 : 936 195.01/42.53 c (29,0) c Glues_3 : 987 195.01/42.53 c (29,0) c Glues_4 : 981 195.01/42.53 c (29,0) c Glues_5 : 892 195.01/42.53 c (29,0) c Glues_6 : 897 195.01/42.53 c (29,0) c Glues_7 : 966 195.01/42.53 c (29,0) c Glues_total : 7682 195.01/42.53 c (29,0) c Glues_winner : 1066 195.01/42.53 c (29,0) c RunningTime_0 : 21.599603 195.01/42.53 c (29,0) c RunningTime_1 : 21.880622 195.01/42.53 c (29,0) c RunningTime_2 : 20.962280 195.01/42.53 c (29,0) c RunningTime_3 : 20.487677 195.01/42.53 c (29,0) c RunningTime_4 : 20.833435 195.01/42.53 c (29,0) c RunningTime_5 : 20.490691 195.01/42.53 c (29,0) c RunningTime_6 : 21.151274 195.01/42.53 c (29,0) c RunningTime_7 : 21.002307 195.01/42.53 c (29,0) c RunningTime_total : 168.407890 195.01/42.53 c (29,0) c RunningTime_winner : 21.880622 195.01/42.53 c (29,0) c WaitingTime_0 : 0.000250 195.01/42.53 c (29,0) c WaitingTime_1 : 0.000152 195.01/42.53 c (29,0) c WaitingTime_2 : 0.000296 195.01/42.53 c (29,0) c WaitingTime_3 : 0.000248 195.01/42.53 c (29,0) c WaitingTime_4 : 0.000347 195.01/42.53 c (29,0) c WaitingTime_5 : 0.000280 195.01/42.53 c (29,0) c WaitingTime_6 : 0.000234 195.01/42.53 c (29,0) c WaitingTime_7 : 0.000220 195.01/42.53 c (29,0) c WaitingTime_total : 0.002027 195.01/42.53 c (29,0) c WaitingTime_winner : 0.000152 195.01/42.53 c (29,0) c ExchangingTime_0 : 0.018664 195.01/42.53 c (29,0) c ExchangingTime_1 : 0.017912 195.01/42.53 c (29,0) c ExchangingTime_2 : 0.018003 195.01/42.53 c (29,0) c ExchangingTime_3 : 0.017396 195.01/42.53 c (29,0) c ExchangingTime_4 : 0.018019 195.01/42.53 c (29,0) c ExchangingTime_5 : 0.018984 195.01/42.53 c (29,0) c ExchangingTime_6 : 0.017774 195.01/42.53 c (29,0) c ExchangingTime_7 : 0.018318 195.01/42.53 c (29,0) c ExchangingTime_total : 0.145071 195.01/42.53 c (29,0) c ExchangingTime_winner : 0.017912 195.01/42.53 c (29,0) c PeriodProcTime_0 : 0.001901 195.01/42.53 c (29,0) c PeriodProcTime_1 : 0.001727 195.01/42.53 c (29,0) c PeriodProcTime_2 : 0.001874 195.01/42.53 c (29,0) c PeriodProcTime_3 : 0.002050 195.01/42.53 c (29,0) c PeriodProcTime_4 : 0.001869 195.01/42.53 c (29,0) c PeriodProcTime_5 : 0.001896 195.01/42.53 c (29,0) c PeriodProcTime_6 : 0.002069 195.01/42.53 c (29,0) c PeriodProcTime_7 : 0.003734 195.01/42.53 c (29,0) c PeriodProcTime_total : 0.017121 195.01/42.53 c (29,0) c PeriodProcTime_winner : 0.001727 195.01/42.53 c (29,0) c SolvingTime_0 : 21.620419 195.01/42.53 c (29,0) c SolvingTime_1 : 21.900413 195.01/42.53 c (29,0) c SolvingTime_2 : 20.982453 195.01/42.53 c (29,0) c SolvingTime_3 : 20.507371 195.01/42.53 c (29,0) c SolvingTime_4 : 20.853670 195.01/42.53 c (29,0) c SolvingTime_5 : 20.511851 195.01/42.53 c (29,0) c SolvingTime_6 : 21.171351 195.01/42.53 c (29,0) c SolvingTime_7 : 21.024579 195.01/42.53 c (29,0) c SolvingTime_total : 168.572108 195.01/42.53 c (29,0) c SolvingTime_winner : 21.900413 195.01/42.53 c (29,0) c PropagationTime_0 : 20.275126 195.01/42.53 c (29,0) c PropagationTime_1 : 20.622209 195.01/42.53 c (29,0) c PropagationTime_2 : 19.746406 195.01/42.53 c (29,0) c PropagationTime_3 : 19.199091 195.01/42.53 c (29,0) c PropagationTime_4 : 19.519721 195.01/42.53 c (29,0) c PropagationTime_5 : 19.214116 195.01/42.53 c (29,0) c PropagationTime_6 : 19.832242 195.01/42.53 c (29,0) c PropagationTime_7 : 19.754405 195.01/42.53 c (29,0) c PropagationTime_total : 158.163316 195.01/42.53 c (29,0) c PropagationTime_winner : 20.622209 195.01/42.53 c (29,0) c AnalysisTime_0 : 0.792718 195.01/42.53 c (29,0) c AnalysisTime_1 : 0.741287 195.01/42.53 c (29,0) c AnalysisTime_2 : 0.770462 195.01/42.53 c (29,0) c AnalysisTime_3 : 0.759938 195.01/42.53 c (29,0) c AnalysisTime_4 : 0.794630 195.01/42.53 c (29,0) c AnalysisTime_5 : 0.751433 195.01/42.53 c (29,0) c AnalysisTime_6 : 0.784567 195.01/42.53 c (29,0) c AnalysisTime_7 : 0.745159 195.01/42.53 c (29,0) c AnalysisTime_total : 6.140195 195.01/42.53 c (29,0) c AnalysisTime_winner : 0.741287 195.01/42.53 c (29,0) c ReductionTime_0 : 0.014529 195.01/42.53 c (29,0) c ReductionTime_1 : 0.012369 195.01/42.53 c (29,0) c ReductionTime_2 : 0.012813 195.01/42.53 c (29,0) c ReductionTime_3 : 0.011786 195.01/42.53 c (29,0) c ReductionTime_4 : 0.011843 195.01/42.53 c (29,0) c ReductionTime_5 : 0.013017 195.01/42.53 c (29,0) c ReductionTime_6 : 0.012921 195.01/42.53 c (29,0) c ReductionTime_7 : 0.012558 195.01/42.53 c (29,0) c ReductionTime_total : 0.101835 195.01/42.53 c (29,0) c ReductionTime_winner : 0.012369 195.01/42.53 c (29,0) c SimplifyTime_0 : 0.071775 195.01/42.53 c (29,0) c SimplifyTime_1 : 0.071069 195.01/42.53 c (29,0) c SimplifyTime_2 : 0.000001 195.01/42.53 c (29,0) c SimplifyTime_3 : 0.087602 195.01/42.53 c (29,0) c SimplifyTime_4 : 0.086482 195.01/42.53 c (29,0) c SimplifyTime_5 : 0.085849 195.01/42.53 c (29,0) c SimplifyTime_6 : 0.087804 195.01/42.53 c (29,0) c SimplifyTime_7 : 0.066483 195.01/42.53 c (29,0) c SimplifyTime_total : 0.557064 195.01/42.53 c (29,0) c SimplifyTime_winner : 0.071069 195.01/42.53 c (29,0) c UsedRateTime_0 : 0.000000 195.01/42.53 c (29,0) c UsedRateTime_1 : 0.000000 195.01/42.53 c (29,0) c UsedRateTime_2 : 0.000000 195.01/42.53 c (29,0) c UsedRateTime_3 : 0.000000 195.01/42.53 c (29,0) c UsedRateTime_4 : 0.000000 195.01/42.53 c (29,0) c UsedRateTime_5 : 0.000000 195.01/42.53 c (29,0) c UsedRateTime_6 : 0.000000 195.01/42.53 c (29,0) c UsedRateTime_7 : 0.000000 195.01/42.53 c (29,0) c UsedRateTime_total : 0.000000 195.01/42.53 c (29,0) c UsedRateTime_winner : 0.000000 195.01/42.53 c (29,0) c OverlapRateTime_0 : 0.000000 195.01/42.53 c (29,0) c OverlapRateTime_1 : 0.000000 195.01/42.53 c (29,0) c OverlapRateTime_2 : 0.000000 195.01/42.53 c (29,0) c OverlapRateTime_3 : 0.000000 195.01/42.53 c (29,0) c OverlapRateTime_4 : 0.000000 195.01/42.53 c (29,0) c OverlapRateTime_5 : 0.000000 195.01/42.53 c (29,0) c OverlapRateTime_6 : 0.000000 195.01/42.53 c (29,0) c OverlapRateTime_7 : 0.000000 195.01/42.53 c (29,0) c OverlapRateTime_total : 0.000000 195.01/42.53 c (29,0) c OverlapRateTime_winner : 0.000000 195.01/42.53 c (29,0) c 195.01/42.53 c (29,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 195.01/42.53 c (29,0) c 195.01/42.53 c (29,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 195.01/42.53 c (29,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 195.01/42.53 c (29,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 195.01/42.53 c (29,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 195.01/42.53 c (29,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 195.01/42.53 c (29,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 195.01/42.53 c (29,0) c | Initial random_seed | 484505852 | 2086675944 | 1841599909 | 2138165944 | 413863765 | 335234431 | 1533855306 | 826054652 | 195.01/42.53 c (29,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 195.01/42.53 c (29,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 195.01/42.53 c (29,0) c | glureduce | True | True | True | True | True | True | True | True | 195.01/42.53 c (29,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 195.01/42.53 c (29,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 195.01/42.53 c (29,0) c | luby_restart | False | False | False | False | False | False | False | False | 195.01/42.53 c (29,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 195.01/42.53 c (29,0) c | var_decay | 0.8600 | 0.8600 | 0.8600 | 0.8600 | 0.8600 | 0.8600 | 0.8600 | 0.8600 | 195.01/42.53 c (29,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 195.01/42.53 c (29,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 195.01/42.53 c (29,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 195.01/42.53 c (29,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 195.01/42.53 c (29,0) 195.01/42.53 c (29,0) s UNSATISFIABLE 21.96/42.61 c (29,0) SatSolver.solve End 21.96/42.61 c (29,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 21.96/42.61 c (29,0) Show results Begin 21.96/42.61 s UNSATISFIABLE 21.96/42.61 c (29,0) Show results End 21.96/42.61 c (29,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 21.96/42.61 c (29,0) 29,29,STOP-AFTER(ALL) 21.96/42.61 c END-Prog: Tue Sep 24 22:33:59 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 (12722 MiB free) memory of node 1: 16384 MiB (10058 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405228-1569357237/watcher-4405228-1569357237 -o /tmp/evaluation-result-4405228-1569357237/solver-4405228-1569357237 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569351215-14889 --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-4405228-1569357237.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=20163, runsolver pid=20160 [startup+0.100129 s]* /proc/loadavg: 4.83 6.47 7.24 3/212 20185 /proc/meminfo: memFree=23232312/32770624 swapFree=66956516/67108860 [pid=20163] ppid=20160 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/20163/stat : 20163 (scop.sh) S 20160 20163 14862 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 511995053 115843072 349 33554432000 4194304 5098028 140736946963648 140736946960904 139867052212860 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16027648 140736946967333 140736946967660 140736946967660 140736946970573 0 /proc/20163/statm: 28282 349 296 221 0 87 0 [pid=20166] ppid=20163 vsize=27314120 memory=106464 CPUtime=0.1 cores=0-7 /proc/20166/stat : 20166 (java) S 20163 20163 14862 0 -1 1077944320 6163 0 0 0 8 2 0 0 20 0 20 0 511995053 27969658880 26616 33554432000 4194304 4196468 140734874196608 140734874179152 140167176994551 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 /proc/20166/statm: 6828530 26616 2799 1 0 6790935 0 [pid=20166/tid=20167] ppid=20163 vsize=27314120 memory=7751991766239059869 CPUtime=0.09 cores=0-7 /proc/20166/task/20167/stat : 20167 (java) R 20163 20163 14862 0 -1 4202560 4286 0 0 0 7 2 0 0 20 0 20 0 511995053 27969658880 26616 33554432000 4194304 4196468 140734874196608 140167148812928 140167161075038 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 [pid=20166/tid=20168] ppid=20163 vsize=27314120 memory=732370181585296357 CPUtime=0 cores=0-7 /proc/20166/task/20168/stat : 20168 (java) S 20163 20163 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511995056 27969658880 26616 33554432000 4194304 4196468 140734874196608 140167181236624 140167177004757 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 [pid=20166/tid=20169] ppid=20163 vsize=27314120 memory=140043247842944 CPUtime=0 cores=0-7 /proc/20166/task/20169/stat : 20169 (java) S 20163 20163 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511995056 27969658880 26616 33554432000 4194304 4196468 140734874196608 140166999324944 140167177004757 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 [pid=20166/tid=20170] ppid=20163 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20166/task/20170/stat : 20170 (java) S 20163 20163 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511995056 27969658880 26616 33554432000 4194304 4196468 140734874196608 140166998272656 140167177004757 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 [pid=20166/tid=20171] ppid=20163 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20166/task/20171/stat : 20171 (java) S 20163 20163 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511995056 27969658880 26616 33554432000 4194304 4196468 140734874196608 140166997219856 140167177004757 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 [pid=20166/tid=20172] ppid=20163 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20166/task/20172/stat : 20172 (java) S 20163 20163 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511995056 27969658880 26616 33554432000 4194304 4196468 140734874196608 140166596295568 140167177004757 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 [pid=20166/tid=20173] ppid=20163 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/20166/task/20173/stat : 20173 (java) S 20163 20163 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511995056 27969658880 26616 33554432000 4194304 4196468 140734874196608 140166595242768 140167177004757 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 [pid=20166/tid=20174] ppid=20163 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20166/task/20174/stat : 20174 (java) S 20163 20163 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511995056 27969658880 26616 33554432000 4194304 4196468 140734874196608 140166594190480 140167177004757 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 [pid=20166/tid=20175] ppid=20163 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20166/task/20175/stat : 20175 (java) S 20163 20163 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511995056 27969658880 26616 33554432000 4194304 4196468 140734874196608 140166593137680 140167177004757 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 [pid=20166/tid=20176] ppid=20163 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20166/task/20176/stat : 20176 (java) S 20163 20163 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511995057 27969658880 26616 33554432000 4194304 4196468 140734874196608 140165295933552 140167177005698 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 [pid=20166/tid=20177] ppid=20163 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20166/task/20177/stat : 20177 (java) S 20163 20163 14862 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511995058 27969658880 26616 33554432000 4194304 4196468 140734874196608 140165116846880 140167177004757 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 [pid=20166/tid=20178] ppid=20163 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20166/task/20178/stat : 20178 (java) S 20163 20163 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511995058 27969658880 26616 33554432000 4194304 4196468 140734874196608 140164848411760 140167177004757 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 [pid=20166/tid=20179] ppid=20163 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20166/task/20179/stat : 20179 (java) S 20163 20163 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511995060 27969658880 26616 33554432000 4194304 4196468 140734874196608 140164473903184 140167177013147 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 [pid=20166/tid=20180] ppid=20163 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20166/task/20180/stat : 20180 (java) S 20163 20163 14862 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 511995060 27969658880 26616 33554432000 4194304 4196468 140734874196608 140165294881392 140167177005698 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 [pid=20166/tid=20181] ppid=20163 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20166/task/20181/stat : 20181 (java) S 20163 20163 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511995061 27969658880 26616 33554432000 4194304 4196468 140734874196608 140165293828592 140167177005698 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 [pid=20166/tid=20182] ppid=20163 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20166/task/20182/stat : 20182 (java) S 20163 20163 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511995061 27969658880 26616 33554432000 4194304 4196468 140734874196608 140165292776304 140167177005698 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 [pid=20166/tid=20183] ppid=20163 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20166/task/20183/stat : 20183 (java) S 20163 20163 14862 0 -1 1077944384 247 0 0 0 0 0 0 0 20 0 20 0 511995061 27969658880 26616 33554432000 4194304 4196468 140734874196608 140165291723504 140167177005698 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 [pid=20166/tid=20184] ppid=20163 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20166/task/20184/stat : 20184 (java) S 20163 20163 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511995061 27969658880 26616 33554432000 4194304 4196468 140734874196608 140163975997792 140167177004757 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 [pid=20166/tid=20185] ppid=20163 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/20166/task/20185/stat : 20185 (java) S 20163 20163 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511995061 27969658880 26616 33554432000 4194304 4196468 140734874196608 140165290670384 140167177005698 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 107860 KiB [startup+0.209854 s]* /proc/loadavg: 4.83 6.47 7.24 3/212 20185 /proc/meminfo: memFree=23214252/32770624 swapFree=66956516/67108860 [pid=20163] ppid=20160 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/20163/stat : 20163 (scop.sh) S 20160 20163 14862 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 511995053 115843072 349 33554432000 4194304 5098028 140736946963648 140736946960904 139867052212860 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16027648 140736946967333 140736946967660 140736946967660 140736946970573 0 /proc/20163/statm: 28282 349 296 221 0 87 0 [pid=20166] ppid=20163 vsize=27314120 memory=123336 CPUtime=0.24 cores=0-7 /proc/20166/stat : 20166 (java) S 20163 20163 14862 0 -1 1077944320 11165 0 0 0 20 4 0 0 20 0 20 0 511995053 27969658880 30834 33554432000 4194304 4196468 140734874196608 140734874179152 140167176994551 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 /proc/20166/statm: 6828530 30834 2955 1 0 6790935 0 [pid=20166/tid=20167] ppid=20163 vsize=27314120 memory=0 CPUtime=0.19 cores=0-7 /proc/20166/task/20167/stat : 20167 (java) R 20163 20163 14862 0 -1 4202560 8897 0 0 0 16 3 0 0 20 0 20 0 511995053 27969658880 30834 33554432000 4194304 4196468 140734874196608 140167148793936 140167158558107 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 [pid=20166/tid=20168] ppid=20163 vsize=27314120 memory=732370181585296357 CPUtime=0 cores=0-7 /proc/20166/task/20168/stat : 20168 (java) S 20163 20163 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511995056 27969658880 30834 33554432000 4194304 4196468 140734874196608 140167181236624 140167177004757 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 [pid=20166/tid=20169] ppid=20163 vsize=27314120 memory=140043247842944 CPUtime=0 cores=0-7 /proc/20166/task/20169/stat : 20169 (java) S 20163 20163 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511995056 27969658880 30834 33554432000 4194304 4196468 140734874196608 140166999324944 140167177004757 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 [pid=20166/tid=20170] ppid=20163 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20166/task/20170/stat : 20170 (java) S 20163 20163 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511995056 27969658880 30834 33554432000 4194304 4196468 140734874196608 140166998272656 140167177004757 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 [pid=20166/tid=20171] ppid=20163 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20166/task/20171/stat : 20171 (java) S 20163 20163 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511995056 27969658880 30834 33554432000 4194304 4196468 140734874196608 140166997219856 140167177004757 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 [pid=20166/tid=20172] ppid=20163 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20166/task/20172/stat : 20172 (java) S 20163 20163 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511995056 27969658880 30834 33554432000 4194304 4196468 140734874196608 140166596295568 140167177004757 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 [pid=20166/tid=20173] ppid=20163 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/20166/task/20173/stat : 20173 (java) S 20163 20163 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511995056 27969658880 30834 33554432000 4194304 4196468 140734874196608 140166595242768 140167177004757 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 [pid=20166/tid=20174] ppid=20163 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20166/task/20174/stat : 20174 (java) S 20163 20163 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511995056 27969658880 30834 33554432000 4194304 4196468 140734874196608 140166594190480 140167177004757 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 [pid=20166/tid=20175] ppid=20163 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20166/task/20175/stat : 20175 (java) S 20163 20163 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511995056 27969658880 30834 33554432000 4194304 4196468 140734874196608 140166593137680 140167177004757 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 [pid=20166/tid=20176] ppid=20163 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20166/task/20176/stat : 20176 (java) S 20163 20163 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511995057 27969658880 30834 33554432000 4194304 4196468 140734874196608 140165295933552 140167177005698 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 [pid=20166/tid=20177] ppid=20163 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20166/task/20177/stat : 20177 (java) S 20163 20163 14862 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511995058 27969658880 30834 33554432000 4194304 4196468 140734874196608 140165116846880 140167177004757 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 [pid=20166/tid=20178] ppid=20163 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20166/task/20178/stat : 20178 (java) S 20163 20163 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511995058 27969658880 30834 33554432000 4194304 4196468 140734874196608 140164848411760 140167177004757 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 [pid=20166/tid=20179] ppid=20163 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20166/task/20179/stat : 20179 (java) S 20163 20163 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511995060 27969658880 30834 33554432000 4194304 4196468 140734874196608 140164473903184 140167177013147 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 [pid=20166/tid=20180] ppid=20163 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20166/task/20180/stat : 20180 (java) S 20163 20163 14862 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 511995060 27969658880 30834 33554432000 4194304 4196468 140734874196608 140165294881392 140167177005698 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 [pid=20166/tid=20181] ppid=20163 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20166/task/20181/stat : 20181 (java) S 20163 20163 14862 0 -1 1077944384 166 0 0 0 0 0 0 0 20 0 20 0 511995061 27969658880 30834 33554432000 4194304 4196468 140734874196608 140165293828592 140167177005698 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 [pid=20166/tid=20182] ppid=20163 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20166/task/20182/stat : 20182 (java) S 20163 20163 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511995061 27969658880 30834 33554432000 4194304 4196468 140734874196608 140165292776304 140167177005698 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 [pid=20166/tid=20183] ppid=20163 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7 /proc/20166/task/20183/stat : 20183 (java) S 20163 20163 14862 0 -1 1077944384 465 0 0 0 2 0 0 0 20 0 20 0 511995061 27969658880 30834 33554432000 4194304 4196468 140734874196608 140165291723504 140167177005698 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 [pid=20166/tid=20184] ppid=20163 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20166/task/20184/stat : 20184 (java) S 20163 20163 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511995061 27969658880 30834 33554432000 4194304 4196468 140734874196608 140163975997792 140167177004757 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 [pid=20166/tid=20185] ppid=20163 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/20166/task/20185/stat : 20185 (java) S 20163 20163 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511995061 27969658880 30834 33554432000 4194304 4196468 140734874196608 140165290670384 140167177005698 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 124732 KiB [startup+0.309522 s]* /proc/loadavg: 4.83 6.47 7.24 2/212 20185 /proc/meminfo: memFree=23211692/32770624 swapFree=66956516/67108860 [pid=20163] ppid=20160 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/20163/stat : 20163 (scop.sh) S 20160 20163 14862 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 511995053 115843072 349 33554432000 4194304 5098028 140736946963648 140736946960904 139867052212860 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16027648 140736946967333 140736946967660 140736946967660 140736946970573 0 /proc/20163/statm: 28282 349 296 221 0 87 0 [pid=20166] ppid=20163 vsize=27314120 memory=127204 CPUtime=0.41 cores=0-7 /proc/20166/stat : 20166 (java) S 20163 20163 14862 0 -1 1077944320 12245 0 0 0 37 4 0 0 20 0 20 0 511995053 27969658880 31801 33554432000 4194304 4196468 140734874196608 140734874179152 140167176994551 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 /proc/20166/statm: 6828530 31801 3005 1 0 6790935 0 [pid=20166/tid=20167] ppid=20163 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/20166/task/20167/stat : 20167 (java) R 20163 20163 14862 0 -1 4202560 9776 0 0 0 26 4 0 0 20 0 20 0 511995053 27969658880 31801 33554432000 4194304 4196468 140734874196608 140167148777568 140167158558128 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 [pid=20166/tid=20168] ppid=20163 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20166/task/20168/stat : 20168 (java) S 20163 20163 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511995056 27969658880 31801 33554432000 4194304 4196468 140734874196608 140167181236624 140167177004757 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 [pid=20166/tid=20169] ppid=20163 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20166/task/20169/stat : 20169 (java) S 20163 20163 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511995056 27969658880 31801 33554432000 4194304 4196468 140734874196608 140166999324944 140167177004757 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 [pid=20166/tid=20170] ppid=20163 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20166/task/20170/stat : 20170 (java) S 20163 20163 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511995056 27969658880 31801 33554432000 4194304 4196468 140734874196608 140166998272656 140167177004757 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 [pid=20166/tid=20171] ppid=20163 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20166/task/20171/stat : 20171 (java) S 20163 20163 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511995056 27969658880 31801 33554432000 4194304 4196468 140734874196608 140166997219856 140167177004757 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 [pid=20166/tid=20172] ppid=20163 vsize=27314120 memory=2244 CPUtime=0 cores=0-7 /proc/20166/task/20172/stat : 20172 (java) S 20163 20163 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511995056 27969658880 31801 33554432000 4194304 4196468 140734874196608 140166596295568 140167177004757 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 [pid=20166/tid=20173] ppid=20163 vsize=27314120 memory=140043113034671 CPUtime=0 cores=0-7 /proc/20166/task/20173/stat : 20173 (java) S 20163 20163 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511995056 27969658880 31801 33554432000 4194304 4196468 140734874196608 140166595242768 140167177004757 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 [pid=20166/tid=20174] ppid=20163 vsize=27314120 memory=140043113036976 CPUtime=0 cores=0-7 /proc/20166/task/20174/stat : 20174 (java) S 20163 20163 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511995056 27969658880 31801 33554432000 4194304 4196468 140734874196608 140166594190480 140167177004757 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 [pid=20166/tid=20175] ppid=20163 vsize=27314120 memory=140043113039280 CPUtime=0 cores=0-7 /proc/20166/task/20175/stat : 20175 (java) S 20163 20163 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511995056 27969658880 31801 33554432000 4194304 4196468 140734874196608 140166593137680 140167177004757 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 [pid=20166/tid=20176] ppid=20163 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20166/task/20176/stat : 20176 (java) S 20163 20163 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511995057 27969658880 31801 33554432000 4194304 4196468 140734874196608 140165295933552 140167177005698 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 [pid=20166/tid=20177] ppid=20163 vsize=27314120 memory=280086226085520 CPUtime=0 cores=0-7 /proc/20166/task/20177/stat : 20177 (java) S 20163 20163 14862 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511995058 27969658880 31801 33554432000 4194304 4196468 140734874196608 140165116846880 140167177004757 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 [pid=20166/tid=20178] ppid=20163 vsize=27314120 memory=280086226092432 CPUtime=0 cores=0-7 /proc/20166/task/20178/stat : 20178 (java) S 20163 20163 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511995058 27969658880 31801 33554432000 4194304 4196468 140734874196608 140164848411760 140167177004757 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 [pid=20166/tid=20179] ppid=20163 vsize=27314120 memory=280086226033712 CPUtime=0 cores=0-7 /proc/20166/task/20179/stat : 20179 (java) S 20163 20163 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511995060 27969658880 31801 33554432000 4194304 4196468 140734874196608 140164473903184 140167177013147 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 [pid=20166/tid=20180] ppid=20163 vsize=27314120 memory=280086226106256 CPUtime=0 cores=0-7 /proc/20166/task/20180/stat : 20180 (java) R 20163 20163 14862 0 -1 4202560 316 0 0 0 0 0 0 0 20 0 20 0 511995060 27969658880 31801 33554432000 4194304 4196468 140734874196608 140165294881392 140167157694848 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 [pid=20166/tid=20181] ppid=20163 vsize=27314120 memory=280086226113168 CPUtime=0.01 cores=0-7 /proc/20166/task/20181/stat : 20181 (java) S 20163 20163 14862 0 -1 1077944384 188 0 0 0 1 0 0 0 20 0 20 0 511995061 27969658880 31801 33554432000 4194304 4196468 140734874196608 140165293828592 140167177005698 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 [pid=20166/tid=20182] ppid=20163 vsize=27314120 memory=280086226110864 CPUtime=0.01 cores=0-7 /proc/20166/task/20182/stat : 20182 (java) S 20163 20163 14862 0 -1 1077944384 119 0 0 0 1 0 0 0 20 0 20 0 511995061 27969658880 31801 33554432000 4194304 4196468 140734874196608 140165292776304 140167177005698 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 [pid=20166/tid=20183] ppid=20163 vsize=27314120 memory=280086226127024 CPUtime=0.07 cores=0-7 /proc/20166/task/20183/stat : 20183 (java) S 20163 20163 14862 0 -1 1077944384 512 0 0 0 7 0 0 0 20 0 20 0 511995061 27969658880 31801 33554432000 4194304 4196468 140734874196608 140165291723504 140167177005698 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 [pid=20166/tid=20184] ppid=20163 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20166/task/20184/stat : 20184 (java) S 20163 20163 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511995061 27969658880 31801 33554432000 4194304 4196468 140734874196608 140163975997792 140167177004757 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 [pid=20166/tid=20185] ppid=20163 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/20166/task/20185/stat : 20185 (java) S 20163 20163 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511995061 27969658880 31801 33554432000 4194304 4196468 140734874196608 140165290670384 140167177005698 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 Current children cumulated CPU time: 0.41 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 128600 KiB [startup+0.70088 s] /proc/loadavg: 4.83 6.47 7.24 2/212 20185 /proc/meminfo: memFree=23188252/32770624 swapFree=66956516/67108860 [pid=20163] ppid=20160 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/20163/stat : 20163 (scop.sh) S 20160 20163 14862 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 511995053 115843072 349 33554432000 4194304 5098028 140736946963648 140736946960904 139867052212860 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16027648 140736946967333 140736946967660 140736946967660 140736946970573 0 /proc/20163/statm: 28282 349 296 221 0 87 0 [pid=20166] ppid=20163 vsize=27320392 memory=165276 CPUtime=1 cores=0-7 /proc/20166/stat : 20166 (java) S 20163 20163 14862 0 -1 1077944320 19914 0 0 0 93 7 0 0 20 0 20 0 511995053 27976081408 41319 33554432000 4194304 4196468 140734874196608 140734874179152 140167176994551 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 /proc/20166/statm: 6830098 41319 3185 1 0 6791447 0 [pid=20166/tid=20167] ppid=20163 vsize=27320392 memory=280086226421952 CPUtime=0.68 cores=0-7 /proc/20166/task/20167/stat : 20167 (java) R 20163 20163 14862 0 -1 4202560 16869 0 0 0 62 6 0 0 20 0 20 0 511995053 27976081408 41319 33554432000 4194304 4196468 140734874196608 140167148833008 140166679384585 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 [pid=20166/tid=20168] ppid=20163 vsize=27320392 memory=1560 CPUtime=0 cores=0-7 /proc/20166/task/20168/stat : 20168 (java) S 20163 20163 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511995056 27976081408 41319 33554432000 4194304 4196468 140734874196608 140167181236624 140167177004757 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 [pid=20166/tid=20169] ppid=20163 vsize=27320392 memory=976 CPUtime=0 cores=0-7 /proc/20166/task/20169/stat : 20169 (java) S 20163 20163 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511995056 27976081408 41319 33554432000 4194304 4196468 140734874196608 140166999324944 140167177004757 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 [pid=20166/tid=20170] ppid=20163 vsize=27320392 memory=772 CPUtime=0 cores=0-7 /proc/20166/task/20170/stat : 20170 (java) S 20163 20163 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511995056 27976081408 41319 33554432000 4194304 4196468 140734874196608 140166998272656 140167177004757 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35520512 140734874202859 140734874203286 140734874203286 140734874206159 0 ################ # More data... # ################ /proc/20186/task/20193/stat : 20193 (java) S 20163 20163 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511996347 8616062976 30382 33554432000 4194304 4196468 140737367513344 140154510399760 140155029710549 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20194] ppid=20163 vsize=8414124 memory=8102582798439886897 CPUtime=0 cores=0-7 /proc/20186/task/20194/stat : 20194 (java) S 20163 20163 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511996347 8616062976 30382 33554432000 4194304 4196468 140737367513344 140154509347472 140155029710549 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20195] ppid=20163 vsize=8414124 memory=8104553123293508913 CPUtime=0 cores=0-7 /proc/20186/task/20195/stat : 20195 (java) S 20163 20163 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511996347 8616062976 30382 33554432000 4194304 4196468 140737367513344 140154508294672 140155029710549 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20196] ppid=20163 vsize=8414124 memory=7020451556000121593 CPUtime=0 cores=0-7 /proc/20186/task/20196/stat : 20196 (java) S 20163 20163 14862 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 511996349 8616062976 30382 33554432000 4194304 4196468 140737367513344 140154458700400 140155029711490 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20197] ppid=20163 vsize=8414124 memory=7686721470334670483 CPUtime=0 cores=0-7 /proc/20186/task/20197/stat : 20197 (java) S 20163 20163 14862 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511996349 8616062976 30382 33554432000 4194304 4196468 140737367513344 140153708340512 140155029710549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20198] ppid=20163 vsize=8414124 memory=1761688 CPUtime=0 cores=0-7 /proc/20186/task/20198/stat : 20198 (java) S 20163 20163 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511996350 8616062976 30382 33554432000 4194304 4196468 140737367513344 140153439905392 140155029710549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20199] ppid=20163 vsize=8414124 memory=236048 CPUtime=0 cores=0-7 /proc/20186/task/20199/stat : 20199 (java) S 20163 20163 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511996352 8616062976 30382 33554432000 4194304 4196468 140737367513344 140153065396816 140155029718939 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20200] ppid=20163 vsize=8414124 memory=-7824251494390650218 CPUtime=0.07 cores=0-7 /proc/20186/task/20200/stat : 20200 (java) S 20163 20163 14862 0 -1 1077944384 610 0 0 0 7 0 0 0 20 0 24 0 511996352 8616062976 30382 33554432000 4194304 4196468 140737367513344 140154457647216 140155029711490 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20201] ppid=20163 vsize=8414124 memory=-7003737579269690708 CPUtime=0.14 cores=0-7 /proc/20186/task/20201/stat : 20201 (java) S 20163 20163 14862 0 -1 1077944384 746 0 0 0 14 0 0 0 20 0 24 0 511996352 8616062976 30382 33554432000 4194304 4196468 140737367513344 140154456594416 140155029711490 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20202] ppid=20163 vsize=8414124 memory=6172 CPUtime=0.03 cores=0-7 /proc/20186/task/20202/stat : 20202 (java) S 20163 20163 14862 0 -1 1077944384 79 0 0 0 3 0 0 0 20 0 24 0 511996352 8616062976 30382 33554432000 4194304 4196468 140737367513344 140154455542128 140155029711490 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20203] ppid=20163 vsize=8414124 memory=1124 CPUtime=0.21 cores=0-7 /proc/20186/task/20203/stat : 20203 (java) S 20163 20163 14862 0 -1 1077944384 620 0 0 0 21 0 0 0 20 0 24 0 511996352 8616062976 30382 33554432000 4194304 4196468 140737367513344 140154454489328 140155029711490 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20204] ppid=20163 vsize=8414124 memory=14008 CPUtime=0 cores=0-7 /proc/20186/task/20204/stat : 20204 (java) S 20163 20163 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511996352 8616062976 30382 33554432000 4194304 4196468 140737367513344 140152567491424 140155029710549 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20205] ppid=20163 vsize=8414124 memory=121528 CPUtime=0.01 cores=0-7 /proc/20186/task/20205/stat : 20205 (java) S 20163 20163 14862 0 -1 1077944384 3 0 0 0 1 0 0 0 20 0 24 0 511996352 8616062976 30382 33554432000 4194304 4196468 140737367513344 140154453437232 140155029711490 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 27 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20207] ppid=20163 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/20186/task/20207/stat : 20207 (java) S 20163 20163 14862 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511996420 8616062976 30382 33554432000 4194304 4196468 140737367513344 140154447595328 140155029724953 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20209] ppid=20163 vsize=8414124 memory=6935652554312077392 CPUtime=0 cores=0-7 /proc/20186/task/20209/stat : 20209 (java) S 20163 20163 14862 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 511996420 8616062976 30382 33554432000 4194304 4196468 140737367513344 140151896391056 140155029722269 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20210] ppid=20163 vsize=8414124 memory=7295938381028020304 CPUtime=0 cores=0-7 /proc/20186/task/20210/stat : 20210 (java) S 20163 20163 14862 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 511996420 8616062976 30382 33554432000 4194304 4196468 140737367513344 140152164826384 140155029722269 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20211] ppid=20163 vsize=8414124 memory=4639074098508484695 CPUtime=0 cores=0-7 /proc/20186/task/20211/stat : 20211 (java) S 20163 20163 14862 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 511996422 8616062976 30382 33554432000 4194304 4196468 140737367513344 140151627963696 140155029710549 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 Current children cumulated CPU time: 193.25 s Current children cumulated vsize: 10741440 KiB Current children cumulated memory: 1896044 KiB [startup+42.4012 s] /proc/loadavg: 4.93 6.23 7.12 3/219 20221 /proc/meminfo: memFree=21384880/32770624 swapFree=66956516/67108860 [pid=20163] ppid=20160 vsize=113128 memory=1476 CPUtime=20.63 cores=0-7 /proc/20163/stat : 20163 (scop.sh) S 20160 20163 14862 0 -1 4202496 583 32107 0 0 0 0 1948 115 20 0 1 0 511995053 115843072 369 33554432000 4194304 5098028 140736946963648 140736946960392 139867052212860 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16027648 140736946967333 140736946967660 140736946967660 140736946970573 0 /proc/20163/statm: 28282 369 311 221 0 87 0 [pid=20186] ppid=20163 vsize=8414124 memory=121528 CPUtime=1.26 cores=0-7 /proc/20186/stat : 20186 (java) S 20163 20163 14862 0 -1 1077944320 20684 0 0 0 119 7 0 0 20 0 24 0 511996346 8616062976 30382 33554432000 4194304 4196468 140737367513344 140737367495888 140155029700343 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 /proc/20186/statm: 2103531 30382 3211 1 0 2064875 0 [pid=20206] ppid=20186 vsize=2214188 memory=1773352 CPUtime=173.02 cores=0-7 /proc/20206/stat : 20206 (manyglucose-4.1) S 20186 20163 14862 0 -1 1077944320 1198497 0 0 0 17059 243 0 0 20 0 2 0 511996420 2267328512 443338 33554432000 4194304 4454172 140737131976640 140737131975024 139823106957047 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 38092800 140737131983721 140737131983920 140737131983920 140737131986874 0 /proc/20206/statm: 553547 443338 420 64 0 549215 0 [pid=20206/tid=20213] ppid=20186 vsize=2214188 memory=1476 CPUtime=21.51 cores=0-7 /proc/20206/task/20213/stat : 20213 (manyglucose-4.1) R 20186 20163 14862 0 -1 4202560 148524 0 0 0 2106 45 0 0 20 0 2 0 511997114 2267328512 443338 33554432000 4194304 4454172 140737131976640 139822239025912 4349976 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 38092800 140737131983721 140737131983920 140737131983920 140737131986874 0 [pid=20186/tid=20187] ppid=20163 vsize=8414124 memory=1476 CPUtime=0.76 cores=0-7 /proc/20186/task/20187/stat : 20187 (java) S 20163 20163 14862 0 -1 1077944384 17233 0 0 0 71 5 0 0 20 0 24 0 511996346 8616062976 30382 33554432000 4194304 4196468 140737367513344 140155001540512 140155029710549 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20188] ppid=20163 vsize=8414124 memory=121528 CPUtime=0 cores=0-7 /proc/20186/task/20188/stat : 20188 (java) S 20163 20163 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511996347 8616062976 30382 33554432000 4194304 4196468 140737367513344 140155033942928 140155029710549 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20189] ppid=20163 vsize=8414124 memory=1768952 CPUtime=0 cores=0-7 /proc/20186/task/20189/stat : 20189 (java) S 20163 20163 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511996347 8616062976 30382 33554432000 4194304 4196468 140737367513344 140154852031248 140155029710549 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20190] ppid=20163 vsize=8414124 memory=1767512 CPUtime=0 cores=0-7 /proc/20186/task/20190/stat : 20190 (java) S 20163 20163 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511996347 8616062976 30382 33554432000 4194304 4196468 140737367513344 140154850978960 140155029710549 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20191] ppid=20163 vsize=8414124 memory=6943526294502006880 CPUtime=0 cores=0-7 /proc/20186/task/20191/stat : 20191 (java) S 20163 20163 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511996347 8616062976 30382 33554432000 4194304 4196468 140737367513344 140154512505872 140155029710549 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20192] ppid=20163 vsize=8414124 memory=280086226597392 CPUtime=0 cores=0-7 /proc/20186/task/20192/stat : 20192 (java) S 20163 20163 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511996347 8616062976 30382 33554432000 4194304 4196468 140737367513344 140154511452560 140155029710549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20193] ppid=20163 vsize=8414124 memory=3823930181377 CPUtime=0 cores=0-7 /proc/20186/task/20193/stat : 20193 (java) S 20163 20163 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511996347 8616062976 30382 33554432000 4194304 4196468 140737367513344 140154510399760 140155029710549 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20194] ppid=20163 vsize=8414124 memory=3828225148673 CPUtime=0 cores=0-7 /proc/20186/task/20194/stat : 20194 (java) S 20163 20163 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511996347 8616062976 30382 33554432000 4194304 4196468 140737367513344 140154509347472 140155029710549 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20195] ppid=20163 vsize=8414124 memory=3841110050561 CPUtime=0 cores=0-7 /proc/20186/task/20195/stat : 20195 (java) S 20163 20163 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511996347 8616062976 30382 33554432000 4194304 4196468 140737367513344 140154508294672 140155029710549 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20196] ppid=20163 vsize=8414124 memory=4111692989953 CPUtime=0 cores=0-7 /proc/20186/task/20196/stat : 20196 (java) S 20163 20163 14862 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 511996349 8616062976 30382 33554432000 4194304 4196468 140737367513344 140154458700400 140155029711490 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20197] ppid=20163 vsize=8414124 memory=4124577891841 CPUtime=0 cores=0-7 /proc/20186/task/20197/stat : 20197 (java) S 20163 20163 14862 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511996349 8616062976 30382 33554432000 4194304 4196468 140737367513344 140153708340512 140155029710549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20198] ppid=20163 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/20186/task/20198/stat : 20198 (java) S 20163 20163 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511996350 8616062976 30382 33554432000 4194304 4196468 140737367513344 140153439905392 140155029710549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20199] ppid=20163 vsize=8414124 memory=121528 CPUtime=0 cores=0-7 /proc/20186/task/20199/stat : 20199 (java) S 20163 20163 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511996352 8616062976 30382 33554432000 4194304 4196468 140737367513344 140153065396816 140155029718939 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20200] ppid=20163 vsize=8414124 memory=1772292 CPUtime=0.07 cores=0-7 /proc/20186/task/20200/stat : 20200 (java) S 20163 20163 14862 0 -1 1077944384 610 0 0 0 7 0 0 0 20 0 24 0 511996352 8616062976 30382 33554432000 4194304 4196468 140737367513344 140154457647216 140155029711490 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20201] ppid=20163 vsize=8414124 memory=-6447287110554383552 CPUtime=0.14 cores=0-7 /proc/20186/task/20201/stat : 20201 (java) S 20163 20163 14862 0 -1 1077944384 746 0 0 0 14 0 0 0 20 0 24 0 511996352 8616062976 30382 33554432000 4194304 4196468 140737367513344 140154456594416 140155029711490 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20202] ppid=20163 vsize=8414124 memory=0 CPUtime=0.03 cores=0-7 /proc/20186/task/20202/stat : 20202 (java) S 20163 20163 14862 0 -1 1077944384 79 0 0 0 3 0 0 0 20 0 24 0 511996352 8616062976 30382 33554432000 4194304 4196468 140737367513344 140154455542128 140155029711490 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20203] ppid=20163 vsize=8414124 memory=0 CPUtime=0.21 cores=0-7 /proc/20186/task/20203/stat : 20203 (java) S 20163 20163 14862 0 -1 1077944384 620 0 0 0 21 0 0 0 20 0 24 0 511996352 8616062976 30382 33554432000 4194304 4196468 140737367513344 140154454489328 140155029711490 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20204] ppid=20163 vsize=8414124 memory=3545661759039636912 CPUtime=0 cores=0-7 /proc/20186/task/20204/stat : 20204 (java) S 20163 20163 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511996352 8616062976 30382 33554432000 4194304 4196468 140737367513344 140152567491424 140155029710549 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20205] ppid=20163 vsize=8414124 memory=7308305726791051110 CPUtime=0.01 cores=0-7 /proc/20186/task/20205/stat : 20205 (java) S 20163 20163 14862 0 -1 1077944384 3 0 0 0 1 0 0 0 20 0 24 0 511996352 8616062976 30382 33554432000 4194304 4196468 140737367513344 140154453437232 140155029711490 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 27 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20207] ppid=20163 vsize=8414124 memory=6525018278050409017 CPUtime=0 cores=0-7 /proc/20186/task/20207/stat : 20207 (java) S 20163 20163 14862 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511996420 8616062976 30382 33554432000 4194304 4196468 140737367513344 140154447595328 140155029724953 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20209] ppid=20163 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/20186/task/20209/stat : 20209 (java) S 20163 20163 14862 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 511996420 8616062976 30382 33554432000 4194304 4196468 140737367513344 140151896391056 140155029722269 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20210] ppid=20163 vsize=8414124 memory=280086227548416 CPUtime=0 cores=0-7 /proc/20186/task/20210/stat : 20210 (java) S 20163 20163 14862 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 511996420 8616062976 30382 33554432000 4194304 4196468 140737367513344 140152164826384 140155029722269 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20211] ppid=20163 vsize=8414124 memory=3761833415519765657 CPUtime=0 cores=0-7 /proc/20186/task/20211/stat : 20211 (java) S 20163 20163 14862 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 511996422 8616062976 30382 33554432000 4194304 4196468 140737367513344 140151627963696 140155029710549 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 Current children cumulated CPU time: 194.91 s Current children cumulated vsize: 10741440 KiB Current children cumulated memory: 1896356 KiB [startup+42.6012 s] /proc/loadavg: 4.93 6.23 7.12 3/219 20221 /proc/meminfo: memFree=21384880/32770624 swapFree=66956516/67108860 [pid=20163] ppid=20160 vsize=113128 memory=1476 CPUtime=20.63 cores=0-7 /proc/20163/stat : 20163 (scop.sh) S 20160 20163 14862 0 -1 4202496 583 32107 0 0 0 0 1948 115 20 0 1 0 511995053 115843072 369 33554432000 4194304 5098028 140736946963648 140736946960392 139867052212860 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16027648 140736946967333 140736946967660 140736946967660 140736946970573 0 /proc/20163/statm: 28282 369 311 221 0 87 0 [pid=20186] ppid=20163 vsize=8414124 memory=123000 CPUtime=1.33 cores=0-7 /proc/20186/stat : 20186 (java) S 20163 20163 14862 0 -1 1077944320 21053 0 0 0 125 8 0 0 20 0 24 0 511996346 8616062976 30750 33554432000 4194304 4196468 140737367513344 140737367495888 140155029700343 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 /proc/20186/statm: 2103531 30750 3214 1 0 2064875 0 [pid=20186/tid=20187] ppid=20163 vsize=8414124 memory=6945507666079274341 CPUtime=0.76 cores=0-7 /proc/20186/task/20187/stat : 20187 (java) S 20163 20163 14862 0 -1 1077944384 17233 0 0 0 71 5 0 0 20 0 24 0 511996346 8616062976 30750 33554432000 4194304 4196468 140737367513344 140155001540512 140155029710549 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20188] ppid=20163 vsize=8414124 memory=7230638415855315031 CPUtime=0 cores=0-7 /proc/20186/task/20188/stat : 20188 (java) S 20163 20163 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511996347 8616062976 30750 33554432000 4194304 4196468 140737367513344 140155033942928 140155029710549 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20189] ppid=20163 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/20186/task/20189/stat : 20189 (java) S 20163 20163 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511996347 8616062976 30750 33554432000 4194304 4196468 140737367513344 140154852031248 140155029710549 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20190] ppid=20163 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/20186/task/20190/stat : 20190 (java) S 20163 20163 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511996347 8616062976 30750 33554432000 4194304 4196468 140737367513344 140154850978960 140155029710549 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20191] ppid=20163 vsize=8414124 memory=140043114153920 CPUtime=0 cores=0-7 /proc/20186/task/20191/stat : 20191 (java) S 20163 20163 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511996347 8616062976 30750 33554432000 4194304 4196468 140737367513344 140154512505872 140155029710549 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20192] ppid=20163 vsize=8414124 memory=280086228350432 CPUtime=0 cores=0-7 /proc/20186/task/20192/stat : 20192 (java) S 20163 20163 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511996347 8616062976 30750 33554432000 4194304 4196468 140737367513344 140154511452560 140155029710549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20193] ppid=20163 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/20186/task/20193/stat : 20193 (java) S 20163 20163 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511996347 8616062976 30750 33554432000 4194304 4196468 140737367513344 140154510399760 140155029710549 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20194] ppid=20163 vsize=8414124 memory=280086226689304 CPUtime=0 cores=0-7 /proc/20186/task/20194/stat : 20194 (java) S 20163 20163 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511996347 8616062976 30750 33554432000 4194304 4196468 140737367513344 140154509347472 140155029710549 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20195] ppid=20163 vsize=8414124 memory=-2245088631185882904 CPUtime=0 cores=0-7 /proc/20186/task/20195/stat : 20195 (java) S 20163 20163 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511996347 8616062976 30750 33554432000 4194304 4196468 140737367513344 140154508294672 140155029710549 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20196] ppid=20163 vsize=8414124 memory=-7003737579269690708 CPUtime=0 cores=0-7 /proc/20186/task/20196/stat : 20196 (java) S 20163 20163 14862 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 511996349 8616062976 30750 33554432000 4194304 4196468 140737367513344 140154458700400 140155029711490 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20197] ppid=20163 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/20186/task/20197/stat : 20197 (java) S 20163 20163 14862 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511996349 8616062976 30750 33554432000 4194304 4196468 140737367513344 140153708340512 140155029710549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20198] ppid=20163 vsize=8414124 memory=1755292 CPUtime=0 cores=0-7 /proc/20186/task/20198/stat : 20198 (java) S 20163 20163 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511996350 8616062976 30750 33554432000 4194304 4196468 140737367513344 140153439905392 140155029710549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20199] ppid=20163 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/20186/task/20199/stat : 20199 (java) S 20163 20163 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511996352 8616062976 30750 33554432000 4194304 4196468 140737367513344 140153065396816 140155029718939 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20200] ppid=20163 vsize=8414124 memory=6944656592455097440 CPUtime=0.07 cores=0-7 /proc/20186/task/20200/stat : 20200 (java) S 20163 20163 14862 0 -1 1077944384 614 0 0 0 7 0 0 0 20 0 24 0 511996352 8616062976 30750 33554432000 4194304 4196468 140737367513344 140154457647216 140155029711490 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20201] ppid=20163 vsize=8414124 memory=6656426216303648864 CPUtime=0.15 cores=0-7 /proc/20186/task/20201/stat : 20201 (java) S 20163 20163 14862 0 -1 1077944384 759 0 0 0 15 0 0 0 20 0 24 0 511996352 8616062976 30750 33554432000 4194304 4196468 140737367513344 140154456594416 140155029711490 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20202] ppid=20163 vsize=8414124 memory=2001 CPUtime=0.04 cores=0-7 /proc/20186/task/20202/stat : 20202 (java) S 20163 20163 14862 0 -1 1077944384 183 0 0 0 4 0 0 0 20 0 24 0 511996352 8616062976 30750 33554432000 4194304 4196468 140737367513344 140154455542128 140155029711490 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20203] ppid=20163 vsize=8414124 memory=0 CPUtime=0.23 cores=0-7 /proc/20186/task/20203/stat : 20203 (java) S 20163 20163 14862 0 -1 1077944384 857 0 0 0 23 0 0 0 20 0 24 0 511996352 8616062976 30750 33554432000 4194304 4196468 140737367513344 140154454489328 140155029711490 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20204] ppid=20163 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/20186/task/20204/stat : 20204 (java) S 20163 20163 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511996352 8616062976 30750 33554432000 4194304 4196468 140737367513344 140152567491424 140155029710549 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20205] ppid=20163 vsize=8414124 memory=0 CPUtime=0.01 cores=0-7 /proc/20186/task/20205/stat : 20205 (java) S 20163 20163 14862 0 -1 1077944384 3 0 0 0 1 0 0 0 20 0 24 0 511996352 8616062976 30750 33554432000 4194304 4196468 140737367513344 140154453437232 140155029711490 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 27 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20207] ppid=20163 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/20186/task/20207/stat : 20207 (java) S 20163 20163 14862 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511996420 8616062976 30750 33554432000 4194304 4196468 140737367513344 140154447595328 140155029724953 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20209] ppid=20163 vsize=8414124 memory=0 CPUtime=0.01 cores=0-7 /proc/20186/task/20209/stat : 20209 (java) S 20163 20163 14862 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 24 0 511996420 8616062976 30750 33554432000 4194304 4196468 140737367513344 140151896391088 140155029722269 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20210] ppid=20163 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/20186/task/20210/stat : 20210 (java) S 20163 20163 14862 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 511996420 8616062976 30750 33554432000 4194304 4196468 140737367513344 140152164826384 140155029722269 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 [pid=20186/tid=20211] ppid=20163 vsize=8414124 memory=105361 CPUtime=0 cores=0-7 /proc/20186/task/20211/stat : 20211 (java) S 20163 20163 14862 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 511996422 8616062976 30750 33554432000 4194304 4196468 140737367513344 140151627963696 140155029710549 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24924160 140737367516151 140737367516310 140737367516310 140737367519183 0 Current children cumulated CPU time: 21.96 s Current children cumulated vsize: 8527252 KiB Current children cumulated memory: 124476 KiB Child status: 0 Real time (s): 42.6346 CPU time (s): 195.251 CPU user time (s): 191.458 CPU system time (s): 3.79309 CPU usage (%): 457.963 Max. virtual memory (cumulated for all children) (KiB): 27441876 Max. memory (cumulated for all children) (KiB): 5924368 getrusage(RUSAGE_CHILDREN,...) data: user time used= 191.458 system time used= 3.79309 maximum resident set size= 5925088 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1252458 page faults= 0 swaps= 0 block input operations= 8 block output operations= 113864 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 49300 involuntary context switches= 1809 # summary of solver processes directly reported to runsolver: # pid: 20163 # total CPU time (s): 195.251 # total CPU user time (s): 191.458 # total CPU system time (s): 3.79309 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.422764 second user time and 0.519901 second system time The end
Begin job on node151 at 2019-09-24 22:33:17 IDJOB=4405228 IDBENCH=138444 IDSOLVER=2867 FILE ID=node151/4405228-1569357237 RUNJOBID= node151-1569351215-14889 PBS_JOBID= 21705099 Free space on /tmp= 12412 MiB SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22) BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-os10/SuperTaillard-os-10-06.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-4405228-1569357237/watcher-4405228-1569357237 -o /tmp/evaluation-result-4405228-1569357237/solver-4405228-1569357237 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569351215-14889 --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-4405228-1569357237.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 6b3d88799df56964f86d557249875b85 RANDOM SEED=1924887525 node151.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.53 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 : 5335.75 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.53 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 : 5335.75 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.53 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 : 5335.75 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.53 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 : 5335.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 23327760 kB MemAvailable: 31794940 kB Buffers: 102744 kB Cached: 8524824 kB SwapCached: 50724 kB Active: 2760560 kB Inactive: 5923520 kB Active(anon): 5224 kB Inactive(anon): 106076 kB Active(file): 2755336 kB Inactive(file): 5817444 kB Unevictable: 107680 kB Mlocked: 107680 kB SwapTotal: 67108860 kB SwapFree: 66956516 kB Dirty: 20672 kB Writeback: 0 kB AnonPages: 112600 kB Mapped: 53592 kB Shmem: 45980 kB Slab: 351352 kB SReclaimable: 322860 kB SUnreclaim: 28492 kB KernelStack: 3376 kB PageTables: 4532 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514852 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 138624 kB DirectMap2M: 33406976 kB Free space on /tmp at the end= 12392 MiB End job on node151 at 2019-09-24 22:34:00