Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP hybrid+ManyGlucose (2019-09-22) | UNSAT | 157.049 | 40.2378 |
Name | SuperSolutions/SuperSolutions-Taillard-os10/ SuperTaillard-os-10-21.xml |
MD5SUM | ab3cfdf6220e1af184bc3e02e1fbde1d |
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 | 45.669 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 200 |
Number of constraints | 2800 |
Number of domains | 65 |
Minimum domain size | 516 |
Maximum domain size | 611 |
Distribution of domain sizes | [{"size":516,"count":6},{"size":517,"count":6},{"size":518,"count":4},{"size":519,"count":2},{"size":520,"count":4},{"size":521,"count":2},{"size":522,"count":2},{"size":523,"count":2},{"size":524,"count":2},{"size":526,"count":2},{"size":527,"count":8},{"size":528,"count":2},{"size":529,"count":2},{"size":530,"count":6},{"size":531,"count":2},{"size":533,"count":2},{"size":540,"count":2},{"size":541,"count":4},{"size":542,"count":2},{"size":543,"count":2},{"size":544,"count":4},{"size":545,"count":2},{"size":546,"count":8},{"size":547,"count":2},{"size":548,"count":2},"...",{"size":571,"count":2}, {"size":572,"count":2}, {"size":573,"count":2}, {"size":574,"count":2}, {"size":575,"count":6}, {"size":576,"count":4}, {"size":579,"count":4}, {"size":580,"count":2}, {"size":582,"count":4}, {"size":584,"count":6}, {"size":585,"count":2}, {"size":587,"count":2}, {"size":588,"count":2}, {"size":589,"count":2}, {"size":591,"count":2}, {"size":593,"count":2}, {"size":595,"count":4}, {"size":596,"count":2}, {"size":597,"count":2}, {"size":601,"count":6}, {"size":602,"count":2}, {"size":605,"count":2}, {"size":607,"count":4}, {"size":610,"count":2}, {"size":611,"count":2}] |
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 -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-20039-serial-file.bin HOME/instance-4405523-1569357196.xml 0.65/0.54 0.65/0.54 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 0.65/0.54 0.65/0.56 c BEGIN-Prog: Tue Sep 24 22:32:36 CEST 2019 0.65/0.56 c PID: 20042 0.65/0.56 c IP: 172.20.3.151 0.65/0.56 c HOST: node151.alineos.net 0.65/0.57 c (0,0) Parsing Begin 4.43/1.56 c (1,1) Parsing End 4.43/1.57 c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 611 4.43/1.57 c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 4.43/1.57 c (1,1) Constraint Name Generate Begin 4.83/1.60 c (1,1) Ctr:HOME/instance-4405523-1569357196.xml,Add:Le:Ne:Num:Or:Var 4.83/1.60 c (1,1) Constraint Name Generate End 4.83/1.60 c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 4.83/1.60 c (1,1) CSP to CSPinCNF Begin 5.38/1.81 c (1,1) translated 280 (10%) constraints 5.38/1.86 c (1,1) translated 560 (20%) constraints 5.38/1.90 c (1,1) translated 840 (30%) constraints 5.72/1.92 c (1,1) translated 1120 (40%) constraints 5.72/1.95 c (1,1) translated 1400 (50%) constraints 5.72/1.97 c (1,1) translated 1680 (60%) constraints 5.72/1.99 c (1,1) translated 1960 (70%) constraints 6.10/2.01 c (1,1) translated 2240 (80%) constraints 6.10/2.03 c (1,1) translated 2520 (90%) constraints 6.10/2.05 c (1,1) translated 2800 (100%) constraints 6.10/2.05 c (1,1) =========================================== 6.10/2.08 c (1,1) Hybrid: #OE=200, #LE=0 6.10/2.08 c (1,1) Hybrid 6.10/2.08 c (1,1) =========================================== 6.52/2.11 c (1,1) translated 280 (10%) constraints 6.52/2.13 c (1,1) translated 560 (20%) constraints 6.52/2.15 c (1,1) translated 840 (30%) constraints 6.52/2.16 c (1,1) translated 1120 (40%) constraints 6.52/2.18 c (1,1) translated 1400 (50%) constraints 6.52/2.19 c (1,1) translated 1680 (60%) constraints 6.90/2.21 c (1,1) translated 1960 (70%) constraints 6.90/2.22 c (1,1) translated 2240 (80%) constraints 6.90/2.24 c (1,1) translated 2520 (90%) constraints 6.90/2.25 c (1,1) translated 2800 (100%) constraints 6.90/2.26 c (1,1) CSP to CSPinCNF End 6.90/2.26 c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 611 6.90/2.26 c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB) 6.90/2.26 c (1,1) CSPinCNF Propagation Begin 7.27/2.31 c (1,1) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed 7.27/2.31 c (1,1) CSPinCNF Propagation End 7.27/2.32 c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 611 7.27/2.32 c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 7.27/2.33 c (1,1) Hybrid: #OE=200, #LE=0 7.27/2.33 c (1,1) Simplify CSPinCNF Begin 7.94/2.52 c (1,1) Simplify CSPinCNF End 7.94/2.52 c (1,1) CSP: 200 int (0 aux), 5600 bool (5600 aux), 8400 ctr, max domain size 611 7.94/2.52 c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 7.94/2.52 c (1,1) Calculate Precise Domain Begin 7.94/2.52 c (1,1) 0 values are removed by re-calculation 7.94/2.52 c (1,1) Calculate Precise Domain End 7.94/2.52 c (1,1) CSP: 200 int (0 aux), 5600 bool (5600 aux), 8400 ctr, max domain size 611 7.94/2.52 c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 7.94/2.52 c (1,1) CSPinCNF to SatSolver Begin 11.17/4.21 c (3,3) 840 (10 %) CSP clauses are encoded (0 SAT variables, 399204 SAT clauses) 12.34/5.56 c (5,4) 1680 (20 %) CSP clauses are encoded (0 SAT variables, 675506 SAT clauses) 13.61/6.75 c (6,6) 2520 (30 %) CSP clauses are encoded (0 SAT variables, 954122 SAT clauses) 14.82/7.94 c (7,7) 3360 (40 %) CSP clauses are encoded (0 SAT variables, 1232987 SAT clauses) 16.28/9.20 c (8,8) 4200 (50 %) CSP clauses are encoded (0 SAT variables, 1522586 SAT clauses) 17.30/10.30 c (9,9) 5040 (60 %) CSP clauses are encoded (0 SAT variables, 1805779 SAT clauses) 18.43/11.35 c (10,10) 5880 (70 %) CSP clauses are encoded (0 SAT variables, 2086910 SAT clauses) 19.60/12.41 c (11,11) 6720 (80 %) CSP clauses are encoded (0 SAT variables, 2373014 SAT clauses) 20.60/13.46 c (12,12) 7560 (90 %) CSP clauses are encoded (0 SAT variables, 2655184 SAT clauses) 21.80/14.56 c (14,13) 8400 (100 %) CSP clauses are encoded (0 SAT variables, 2948586 SAT clauses) 21.80/14.58 c (14,13) CSPinCNF to SatSolver End 21.80/14.58 c (14,13) Heap : 5108 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB) 21.80/14.58 c (14,13) 117034 bool, 2949104 clause 21.80/14.58 c (14,13) Export Begin 21.94/14.65 c (14,13) Export to HOME/scop-20039-serial-file.bin 21.94/14.65 c (14,13) Export End 21.94/14.66 c (14,13) Export File Size: 0.03 MB 21.94/14.66 c (14,13) 1,1,1,1,1,1,14,STOP-AFTER(DIMACS) 21.94/14.66 c END-Prog: Tue Sep 24 22:32:50 CEST 2019 22.11/14.70 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-20039-serial-file.bin 22.64/15.15 c (0,0) Read Serial File Begin 22.64/15.15 c (0,0) HOME/scop-20039-serial-file.bin 22.90/15.37 c (0,0) Read Serial File End 22.90/15.38 22.90/15.38 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 22.90/15.38 (Solving Process) 22.90/15.38 23.13/15.40 c BEGIN-Prog: Tue Sep 24 22:32:51 CEST 2019 23.13/15.40 c PID: 20062 23.13/15.40 c IP: 172.20.3.151 23.13/15.40 c HOST: node151.alineos.net 23.13/15.41 c (0,0) SatSolver.solve Begin 23.13/15.41 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405523-1569357196.xml-scop-20042.cnf 23.13/15.43 c (0,0) c 23.13/15.43 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) 23.13/15.43 c (0,0) c 23.13/15.43 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 23.13/15.44 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 23.13/15.44 c (0,0) c ========================================[ Problem Statistics ]=========================================== 23.13/15.44 c (0,0) c | | 24.30/16.48 c (1,0) c | Number of variables: 117034 | 24.30/16.48 c (1,0) c | Number of clauses: 2949104 | 24.30/16.48 c (1,0) c | Parse time: 0.94 s | 24.30/16.48 c (1,0) c | | 30.52/22.60 c (7,0) c | Simplification time: 6.03 s | 30.52/22.60 c (7,0) c | | 30.52/22.60 c (7,0) c | Generating clones | 31.21/23.35 c (8,0) c | all clones generated. Memory = 1681.84Mb. | 31.21/23.35 c (8,0) c ========================================================================================================| 31.21/23.35 c (8,0) c 31.21/23.35 c (8,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 31.21/23.35 c (8,0) c 31.21/23.35 c (8,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 31.21/23.35 c (8,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 31.21/23.35 c (8,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 31.21/23.35 c (8,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 31.21/23.35 c (8,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 31.21/23.35 c (8,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 31.21/23.35 c (8,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 31.21/23.35 c (8,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 31.21/23.35 c (8,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 31.21/23.35 c (8,0) c | glureduce | True | True | True | True | True | True | True | True | 31.21/23.35 c (8,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 31.21/23.35 c (8,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 31.21/23.35 c (8,0) c | luby_restart | False | False | False | False | False | False | False | False | 31.21/23.35 c (8,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 31.21/23.35 c (8,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 31.21/23.35 c (8,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 31.21/23.35 c (8,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 31.21/23.35 c (8,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 31.21/23.35 c (8,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 156.72/40.11 c (25,0) c 156.72/40.11 c (25,0) c real time : 24.6756 s 156.72/40.11 c (25,0) c cpu time : 130.682 s 156.72/40.11 c (25,0) c 156.83/40.11 c (25,0) c 156.83/40.11 c (25,0) c 156.83/40.11 c (25,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 156.83/40.11 c (25,0) c 156.83/40.11 c (25,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 156.83/40.11 c (25,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 156.83/40.11 c (25,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 156.83/40.11 c (25,0) c | Conflicts | 238195 | 27312 | 27943 | 30303 | 31539 | 39063 | 27832 | 27268 | 26935 | 156.83/40.11 c (25,0) c | Decisions | 312546 | 36569 | 36296 | 38360 | 40301 | 52133 | 36692 | 36006 | 36189 | 156.83/40.11 c (25,0) c | Propagations | 261103088 | 30857210 | 32798336 | 34614603 | 32256756 | 35285493 | 31525216 | 32729170 | 31036304 | 156.83/40.11 c (25,0) c | ReduceDBs | 33 | 4 | 4 | 4 | 4 | 5 | 4 | 4 | 4 | 156.83/40.11 c (25,0) c | SimpDBs | 14 | 1 | 2 | 2 | 2 | 2 | 2 | 2 | 1 | 156.83/40.11 c (25,0) c | Restarts | 126 | 29 | 10 | 8 | 6 | 15 | 15 | 22 | 21 | 156.83/40.11 c (25,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 156.83/40.11 c (25,0) c | PropBinClauses| 287671542 | 35151819 | 35881037 | 37495823 | 35111820 | 37501628 | 34337482 | 36795759 | 35396174 | 156.83/40.11 c (25,0) c | PropPreBlocker| 3436408318 | 424586352 | 409059683 | 418872713 | 406800786 | 455077882 | 409084763 | 461292125 | 451634014 | 156.83/40.11 c (25,0) c | PropNotBlocker| 1038618796 | 124641345 | 128756620 | 134904280 | 134795274 | 129432005 | 130924495 | 129368790 | 125795987 | 156.83/40.11 c (25,0) c | LitFullScans | 5155398908 | 624051167 | 624104306 | 644566184 | 628364087 | 678098366 | 624033839 | 678114025 | 654066934 | 156.83/40.11 c (25,0) c | LitScanFracts | 482435 | 43038 | 86126 | 58690 | 48621 | 82796 | 26554 | 94357 | 42253 | 156.83/40.11 c (25,0) c | DecisionLevel0| 140 | 29 | 13 | 9 | 13 | 15 | 18 | 22 | 21 | 156.83/40.11 c (25,0) c | Periods | 858 | 104 | 104 | 107 | 104 | 113 | 104 | 113 | 109 | 156.83/40.11 c (25,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 156.83/40.11 c (25,0) c | Avg_Trail | | 6802 | 6211 | 6044 | 5519 | 6044 | 6042 | 7361 | 8054 | 156.83/40.11 c (25,0) c | Avg_DL | | 19 | 11 | 12 | 11 | 14 | 12 | 17 | 19 | 156.83/40.11 c (25,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 156.83/40.11 c (25,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 156.83/40.11 c (25,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 156.83/40.11 c (25,0) c | Exported | 54288 | 6108 | 6355 | 6819 | 7524 | 9057 | 6369 | 6127 | 5929 | 156.83/40.11 c (25,0) c | Imported | 308322 | 38245 | 37158 | 38225 | 37095 | 39319 | 37754 | 40812 | 39714 | 156.83/40.11 c (25,0) c | Good | 109 | 11 | 9 | 10 | 7 | 27 | 8 | 25 | 12 | 156.83/40.11 c (25,0) c | Purge | 308213 | 38234 | 37149 | 38215 | 37088 | 39292 | 37746 | 40787 | 39702 | 156.83/40.11 c (25,0) c | Promoted | 6377 | 406 | 1305 | 1186 | 952 | 0 | 1049 | 800 | 679 | 156.83/40.11 c (25,0) c | Remove_Imp | 64245 | 14291 | 0 | 0 | 0 | 16579 | 0 | 17999 | 15376 | 156.83/40.11 c (25,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 156.83/40.11 c (25,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 156.83/40.11 c (25,0) c | Unaries | | 0 | 3 | 1 | 7 | 0 | 3 | 0 | 0 | 156.83/40.11 c (25,0) c | Binaries | | 0 | 21 | 6 | 50 | 1 | 26 | 0 | 0 | 156.83/40.11 c (25,0) c | Glues | | 456 | 492 | 428 | 545 | 377 | 494 | 482 | 452 | 156.83/40.11 c (25,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 156.83/40.11 c (25,0) c | Orig_Seen | 1 % | 52471 | 48029 | 38147 | 39734 | 43298 | 47855 | 59736 | 59724 | 156.83/40.11 c (25,0) c | Diff Orig seen| | 12737 | 8295 | - 1587 | X | 3564 | 8121 | 20002 | 19990 | 156.83/40.11 c (25,0) c | Hamming | 19 % | 22224 | 19858 | 19077 | X | 22861 | 26187 | 24961 | 22865 | 156.83/40.11 c (25,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 156.83/40.11 c (25,0) c | RunningTime | | 16.4 100%| 16.7 100%| 15.9 100%| 15.8 100%| 15.1 95%| 15.9 100%| 15.9 100%| 15.8 100%| 156.83/40.11 c (25,0) c | WaitingTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.8 5%| 0.0 0%| 0.0 0%| 0.0 0%| 156.83/40.11 c (25,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%| 156.83/40.11 c (25,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%| 156.83/40.11 c (25,0) c | SolvingTime | | 16.5 | 16.8 | 15.9 | 15.8 | 15.9 | 15.9 | 15.9 | 15.8 | 156.83/40.11 c (25,0) c | PropagationTim| | 15.6 95%| 15.9 95%| 15.1 95%| 14.9 94%| 14.8 93%| 15.1 95%| 15.0 94%| 15.0 95%| 156.83/40.11 c (25,0) c | AnalysisTime | | 0.5 3%| 0.4 3%| 0.4 3%| 0.4 3%| 0.5 3%| 0.4 3%| 0.4 3%| 0.5 3%| 156.83/40.11 c (25,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%| 156.83/40.11 c (25,0) c | SimplifyTime | | 0.0 0%| 0.1 0%| 0.1 0%| 0.1 1%| 0.2 1%| 0.1 1%| 0.1 1%| 0.0 0%| 156.83/40.11 c (25,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%| 156.83/40.11 c (25,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%| 156.83/40.11 c (25,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 156.83/40.11 c (25,0) c 156.83/40.11 c (25,0) c 156.83/40.11 c (25,0) c Threads : 8 156.83/40.11 c (25,0) c Winner : 3 156.83/40.11 c (25,0) c Conflicts_0 : 27312 156.83/40.11 c (25,0) c Conflicts_1 : 27943 156.83/40.11 c (25,0) c Conflicts_2 : 30303 156.83/40.11 c (25,0) c Conflicts_3 : 31539 156.83/40.11 c (25,0) c Conflicts_4 : 39063 156.83/40.11 c (25,0) c Conflicts_5 : 27832 156.83/40.11 c (25,0) c Conflicts_6 : 27268 156.83/40.11 c (25,0) c Conflicts_7 : 26935 156.83/40.11 c (25,0) c Conflicts_total : 238195 156.83/40.11 c (25,0) c Conflicts_winner : 31539 156.83/40.11 c (25,0) c Decisions_0 : 36569 156.83/40.11 c (25,0) c Decisions_1 : 36296 156.83/40.11 c (25,0) c Decisions_2 : 38360 156.83/40.11 c (25,0) c Decisions_3 : 40301 156.83/40.11 c (25,0) c Decisions_4 : 52133 156.83/40.11 c (25,0) c Decisions_5 : 36692 156.83/40.11 c (25,0) c Decisions_6 : 36006 156.83/40.11 c (25,0) c Decisions_7 : 36189 156.83/40.11 c (25,0) c Decisions_total : 312546 156.83/40.11 c (25,0) c Decisions_winner : 40301 156.83/40.11 c (25,0) c Propagations_0 : 30857210 156.83/40.11 c (25,0) c Propagations_1 : 32798336 156.83/40.11 c (25,0) c Propagations_2 : 34614603 156.83/40.11 c (25,0) c Propagations_3 : 32256756 156.83/40.11 c (25,0) c Propagations_4 : 35285493 156.83/40.11 c (25,0) c Propagations_5 : 31525216 156.83/40.11 c (25,0) c Propagations_6 : 32729170 156.83/40.11 c (25,0) c Propagations_7 : 31036304 156.83/40.11 c (25,0) c Propagations_total : 261103088 156.83/40.11 c (25,0) c Propagations_winner : 32256756 156.83/40.11 c (25,0) c ReduceDBs_0 : 4 156.83/40.11 c (25,0) c ReduceDBs_1 : 4 156.83/40.11 c (25,0) c ReduceDBs_2 : 4 156.83/40.11 c (25,0) c ReduceDBs_3 : 4 156.83/40.11 c (25,0) c ReduceDBs_4 : 5 156.83/40.11 c (25,0) c ReduceDBs_5 : 4 156.83/40.11 c (25,0) c ReduceDBs_6 : 4 156.83/40.11 c (25,0) c ReduceDBs_7 : 4 156.83/40.11 c (25,0) c ReduceDBs_total : 33 156.83/40.11 c (25,0) c ReduceDBs_winner : 4 156.83/40.11 c (25,0) c SimpDBs_0 : 1 156.83/40.11 c (25,0) c SimpDBs_1 : 2 156.83/40.11 c (25,0) c SimpDBs_2 : 2 156.83/40.11 c (25,0) c SimpDBs_3 : 2 156.83/40.11 c (25,0) c SimpDBs_4 : 2 156.83/40.11 c (25,0) c SimpDBs_5 : 2 156.83/40.11 c (25,0) c SimpDBs_6 : 2 156.83/40.11 c (25,0) c SimpDBs_7 : 1 156.83/40.11 c (25,0) c SimpDBs_total : 14 156.83/40.11 c (25,0) c SimpDBs_winner : 2 156.83/40.11 c (25,0) c Restarts_0 : 29 156.83/40.11 c (25,0) c Restarts_1 : 10 156.83/40.11 c (25,0) c Restarts_2 : 8 156.83/40.11 c (25,0) c Restarts_3 : 6 156.83/40.11 c (25,0) c Restarts_4 : 15 156.83/40.11 c (25,0) c Restarts_5 : 15 156.83/40.11 c (25,0) c Restarts_6 : 22 156.83/40.11 c (25,0) c Restarts_7 : 21 156.83/40.11 c (25,0) c Restarts_total : 126 156.83/40.11 c (25,0) c Restarts_winner : 6 156.83/40.11 c (25,0) c ForcedImports_0 : 0 156.83/40.11 c (25,0) c ForcedImports_1 : 0 156.83/40.11 c (25,0) c ForcedImports_2 : 0 156.83/40.11 c (25,0) c ForcedImports_3 : 0 156.83/40.11 c (25,0) c ForcedImports_4 : 0 156.83/40.11 c (25,0) c ForcedImports_5 : 0 156.83/40.11 c (25,0) c ForcedImports_6 : 0 156.83/40.11 c (25,0) c ForcedImports_7 : 0 156.83/40.11 c (25,0) c ForcedImports_total : 0 156.83/40.11 c (25,0) c ForcedImports_winner : 0 156.83/40.11 c (25,0) c PropsBinClauses_0 : 35151819 156.83/40.11 c (25,0) c PropsBinClauses_1 : 35881037 156.83/40.11 c (25,0) c PropsBinClauses_2 : 37495823 156.83/40.11 c (25,0) c PropsBinClauses_3 : 35111820 156.83/40.11 c (25,0) c PropsBinClauses_4 : 37501628 156.83/40.11 c (25,0) c PropsBinClauses_5 : 34337482 156.83/40.11 c (25,0) c PropsBinClauses_6 : 36795759 156.83/40.11 c (25,0) c PropsBinClauses_7 : 35396174 156.83/40.11 c (25,0) c PropsBinClauses_total : 287671542 156.83/40.11 c (25,0) c PropsBinClauses_winner : 35111820 156.83/40.11 c (25,0) c PropsPreBlocker_0 : 424586352 156.83/40.11 c (25,0) c PropsPreBlocker_1 : 409059683 156.83/40.11 c (25,0) c PropsPreBlocker_2 : 418872713 156.83/40.11 c (25,0) c PropsPreBlocker_3 : 406800786 156.83/40.11 c (25,0) c PropsPreBlocker_4 : 455077882 156.83/40.11 c (25,0) c PropsPreBlocker_5 : 409084763 156.83/40.11 c (25,0) c PropsPreBlocker_6 : 461292125 156.83/40.11 c (25,0) c PropsPreBlocker_7 : 451634014 156.83/40.11 c (25,0) c PropsPreBlocker_total : 3436408318 156.83/40.11 c (25,0) c PropsPreBlocker_winner : 406800786 156.83/40.11 c (25,0) c PropsNotBlocker_0 : 124641345 156.83/40.11 c (25,0) c PropsNotBlocker_1 : 128756620 156.83/40.11 c (25,0) c PropsNotBlocker_2 : 134904280 156.83/40.11 c (25,0) c PropsNotBlocker_3 : 134795274 156.83/40.11 c (25,0) c PropsNotBlocker_4 : 129432005 156.83/40.11 c (25,0) c PropsNotBlocker_5 : 130924495 156.83/40.11 c (25,0) c PropsNotBlocker_6 : 129368790 156.83/40.11 c (25,0) c PropsNotBlocker_7 : 125795987 156.83/40.11 c (25,0) c PropsNotBlocker_total : 1038618796 156.83/40.11 c (25,0) c PropsNotBlocker_winner : 134795274 156.83/40.11 c (25,0) c PropsLitFullScans_0 : 624051167 156.83/40.11 c (25,0) c PropsLitFullScans_1 : 624104306 156.83/40.11 c (25,0) c PropsLitFullScans_2 : 644566184 156.83/40.11 c (25,0) c PropsLitFullScans_3 : 628364087 156.83/40.11 c (25,0) c PropsLitFullScans_4 : 678098366 156.83/40.11 c (25,0) c PropsLitFullScans_5 : 624033839 156.83/40.11 c (25,0) c PropsLitFullScans_6 : 678114025 156.83/40.11 c (25,0) c PropsLitFullScans_7 : 654066934 156.83/40.11 c (25,0) c PropsLitFullScans_total : 5155398908 156.83/40.11 c (25,0) c PropsLitFullScans_winner : 628364087 156.83/40.11 c (25,0) c LitScanFractions_0 : 43038 156.83/40.11 c (25,0) c LitScanFractions_1 : 86126 156.83/40.11 c (25,0) c LitScanFractions_2 : 58690 156.83/40.11 c (25,0) c LitScanFractions_3 : 48621 156.83/40.11 c (25,0) c LitScanFractions_4 : 82796 156.83/40.11 c (25,0) c LitScanFractions_5 : 26554 156.83/40.11 c (25,0) c LitScanFractions_6 : 94357 156.83/40.11 c (25,0) c LitScanFractions_7 : 42253 156.83/40.11 c (25,0) c LitScanFractions_total : 482435 156.83/40.11 c (25,0) c LitScanFractions_winner : 48621 156.83/40.11 c (25,0) c DecisionLevel0_0 : 29 156.83/40.11 c (25,0) c DecisionLevel0_1 : 13 156.83/40.11 c (25,0) c DecisionLevel0_2 : 9 156.83/40.11 c (25,0) c DecisionLevel0_3 : 13 156.83/40.11 c (25,0) c DecisionLevel0_4 : 15 156.83/40.11 c (25,0) c DecisionLevel0_5 : 18 156.83/40.11 c (25,0) c DecisionLevel0_6 : 22 156.83/40.11 c (25,0) c DecisionLevel0_7 : 21 156.83/40.11 c (25,0) c DecisionLevel0_total : 140 156.83/40.11 c (25,0) c DecisionLevel0_winner : 13 156.83/40.11 c (25,0) c Periods_0 : 104 156.83/40.11 c (25,0) c Periods_1 : 104 156.83/40.11 c (25,0) c Periods_2 : 107 156.83/40.11 c (25,0) c Periods_3 : 104 156.83/40.11 c (25,0) c Periods_4 : 113 156.83/40.11 c (25,0) c Periods_5 : 104 156.83/40.11 c (25,0) c Periods_6 : 113 156.83/40.12 c (25,0) c Periods_7 : 109 156.83/40.12 c (25,0) c Periods_total : 858 156.83/40.12 c (25,0) c Periods_winner : 104 156.83/40.12 c (25,0) c Margin_0 : 20 156.83/40.12 c (25,0) c Margin_1 : 20 156.83/40.12 c (25,0) c Margin_2 : 20 156.83/40.12 c (25,0) c Margin_3 : 20 156.83/40.12 c (25,0) c Margin_4 : 20 156.83/40.12 c (25,0) c Margin_5 : 20 156.83/40.12 c (25,0) c Margin_6 : 20 156.83/40.12 c (25,0) c Margin_7 : 20 156.83/40.12 c (25,0) c Margin_total : 160 156.83/40.12 c (25,0) c Margin_winner : 20 156.83/40.12 c (25,0) c Exported_0 : 6108 156.83/40.12 c (25,0) c Exported_1 : 6355 156.83/40.12 c (25,0) c Exported_2 : 6819 156.83/40.12 c (25,0) c Exported_3 : 7524 156.83/40.12 c (25,0) c Exported_4 : 9057 156.83/40.12 c (25,0) c Exported_5 : 6369 156.83/40.12 c (25,0) c Exported_6 : 6127 156.83/40.12 c (25,0) c Exported_7 : 5929 156.83/40.12 c (25,0) c Exported_total : 54288 156.83/40.12 c (25,0) c Exported_winner : 7524 156.83/40.12 c (25,0) c Imported_0 : 38245 156.83/40.12 c (25,0) c Imported_1 : 37158 156.83/40.12 c (25,0) c Imported_2 : 38225 156.83/40.12 c (25,0) c Imported_3 : 37095 156.83/40.12 c (25,0) c Imported_4 : 39319 156.83/40.12 c (25,0) c Imported_5 : 37754 156.83/40.12 c (25,0) c Imported_6 : 40812 156.83/40.12 c (25,0) c Imported_7 : 39714 156.83/40.12 c (25,0) c Imported_total : 308322 156.83/40.12 c (25,0) c Imported_winner : 37095 156.83/40.12 c (25,0) c Good_0 : 11 156.83/40.12 c (25,0) c Good_1 : 9 156.83/40.12 c (25,0) c Good_2 : 10 156.83/40.12 c (25,0) c Good_3 : 7 156.83/40.12 c (25,0) c Good_4 : 27 156.83/40.12 c (25,0) c Good_5 : 8 156.83/40.12 c (25,0) c Good_6 : 25 156.83/40.12 c (25,0) c Good_7 : 12 156.83/40.12 c (25,0) c Good_total : 109 156.83/40.12 c (25,0) c Good_winner : 7 156.83/40.12 c (25,0) c Purge_0 : 38234 156.83/40.12 c (25,0) c Purge_1 : 37149 156.83/40.12 c (25,0) c Purge_2 : 38215 156.83/40.12 c (25,0) c Purge_3 : 37088 156.83/40.12 c (25,0) c Purge_4 : 39292 156.83/40.12 c (25,0) c Purge_5 : 37746 156.83/40.12 c (25,0) c Purge_6 : 40787 156.83/40.12 c (25,0) c Purge_7 : 39702 156.83/40.12 c (25,0) c Purge_total : 308213 156.83/40.12 c (25,0) c Purge_winner : 37088 156.83/40.12 c (25,0) c Promoted_0 : 406 156.83/40.12 c (25,0) c Promoted_1 : 1305 156.83/40.12 c (25,0) c Promoted_2 : 1186 156.83/40.12 c (25,0) c Promoted_3 : 952 156.83/40.12 c (25,0) c Promoted_4 : 0 156.83/40.12 c (25,0) c Promoted_5 : 1049 156.83/40.12 c (25,0) c Promoted_6 : 800 156.83/40.12 c (25,0) c Promoted_7 : 679 156.83/40.12 c (25,0) c Promoted_total : 6377 156.83/40.12 c (25,0) c Promoted_winner : 952 156.83/40.12 c (25,0) c Remove_Imp_0 : 14291 156.83/40.12 c (25,0) c Remove_Imp_1 : 0 156.83/40.12 c (25,0) c Remove_Imp_2 : 0 156.83/40.12 c (25,0) c Remove_Imp_3 : 0 156.83/40.12 c (25,0) c Remove_Imp_4 : 16579 156.83/40.12 c (25,0) c Remove_Imp_5 : 0 156.83/40.12 c (25,0) c Remove_Imp_6 : 17999 156.83/40.12 c (25,0) c Remove_Imp_7 : 15376 156.83/40.12 c (25,0) c Remove_Imp_total : 64245 156.83/40.12 c (25,0) c Remove_Imp_winner : 0 156.83/40.12 c (25,0) c Blocked_Reuse_0 : 0 156.83/40.12 c (25,0) c Blocked_Reuse_1 : 0 156.83/40.12 c (25,0) c Blocked_Reuse_2 : 0 156.83/40.12 c (25,0) c Blocked_Reuse_3 : 0 156.83/40.12 c (25,0) c Blocked_Reuse_4 : 0 156.83/40.12 c (25,0) c Blocked_Reuse_5 : 0 156.83/40.12 c (25,0) c Blocked_Reuse_6 : 0 156.83/40.12 c (25,0) c Blocked_Reuse_7 : 0 156.83/40.12 c (25,0) c Blocked_Reuse_total : 0 156.83/40.12 c (25,0) c Blocked_Reuse_winner : 0 156.83/40.12 c (25,0) c Unaries_0 : 0 156.83/40.12 c (25,0) c Unaries_1 : 3 156.83/40.12 c (25,0) c Unaries_2 : 1 156.83/40.12 c (25,0) c Unaries_3 : 7 156.83/40.12 c (25,0) c Unaries_4 : 0 156.83/40.12 c (25,0) c Unaries_5 : 3 156.83/40.12 c (25,0) c Unaries_6 : 0 156.83/40.12 c (25,0) c Unaries_7 : 0 156.83/40.12 c (25,0) c Unaries_total : 14 156.83/40.12 c (25,0) c Unaries_winner : 7 156.83/40.12 c (25,0) c Binaries_0 : 0 156.83/40.12 c (25,0) c Binaries_1 : 21 156.83/40.12 c (25,0) c Binaries_2 : 6 156.83/40.12 c (25,0) c Binaries_3 : 50 156.83/40.12 c (25,0) c Binaries_4 : 1 156.83/40.12 c (25,0) c Binaries_5 : 26 156.83/40.12 c (25,0) c Binaries_6 : 0 156.83/40.12 c (25,0) c Binaries_7 : 0 156.83/40.12 c (25,0) c Binaries_total : 104 156.83/40.12 c (25,0) c Binaries_winner : 50 156.83/40.12 c (25,0) c Glues_0 : 456 156.83/40.12 c (25,0) c Glues_1 : 492 156.83/40.12 c (25,0) c Glues_2 : 428 156.83/40.12 c (25,0) c Glues_3 : 545 156.83/40.12 c (25,0) c Glues_4 : 377 156.83/40.12 c (25,0) c Glues_5 : 494 156.83/40.12 c (25,0) c Glues_6 : 482 156.83/40.12 c (25,0) c Glues_7 : 452 156.83/40.12 c (25,0) c Glues_total : 3726 156.83/40.12 c (25,0) c Glues_winner : 545 156.83/40.12 c (25,0) c RunningTime_0 : 16.431249 156.83/40.12 c (25,0) c RunningTime_1 : 16.737028 156.83/40.12 c (25,0) c RunningTime_2 : 15.923804 156.83/40.12 c (25,0) c RunningTime_3 : 15.782081 156.83/40.12 c (25,0) c RunningTime_4 : 15.104784 156.83/40.12 c (25,0) c RunningTime_5 : 15.916483 156.83/40.12 c (25,0) c RunningTime_6 : 15.856062 156.83/40.12 c (25,0) c RunningTime_7 : 15.812998 156.83/40.12 c (25,0) c RunningTime_total : 127.564488 156.83/40.12 c (25,0) c RunningTime_winner : 15.782081 156.83/40.12 c (25,0) c WaitingTime_0 : 0.000293 156.83/40.12 c (25,0) c WaitingTime_1 : 0.000118 156.83/40.12 c (25,0) c WaitingTime_2 : 0.000219 156.83/40.12 c (25,0) c WaitingTime_3 : 0.000206 156.83/40.12 c (25,0) c WaitingTime_4 : 0.764627 156.83/40.12 c (25,0) c WaitingTime_5 : 0.000262 156.83/40.12 c (25,0) c WaitingTime_6 : 0.015011 156.83/40.12 c (25,0) c WaitingTime_7 : 0.000238 156.83/40.12 c (25,0) c WaitingTime_total : 0.780974 156.83/40.12 c (25,0) c WaitingTime_winner : 0.000206 156.83/40.12 c (25,0) c ExchangingTime_0 : 0.017846 156.83/40.12 c (25,0) c ExchangingTime_1 : 0.014482 156.83/40.12 c (25,0) c ExchangingTime_2 : 0.014402 156.83/40.12 c (25,0) c ExchangingTime_3 : 0.017072 156.83/40.12 c (25,0) c ExchangingTime_4 : 0.018606 156.83/40.12 c (25,0) c ExchangingTime_5 : 0.015146 156.83/40.12 c (25,0) c ExchangingTime_6 : 0.018260 156.83/40.12 c (25,0) c ExchangingTime_7 : 0.018421 156.83/40.12 c (25,0) c ExchangingTime_total : 0.134235 156.83/40.12 c (25,0) c ExchangingTime_winner : 0.017072 156.83/40.12 c (25,0) c PeriodProcTime_0 : 0.001808 156.83/40.12 c (25,0) c PeriodProcTime_1 : 0.001883 156.83/40.12 c (25,0) c PeriodProcTime_2 : 0.005608 156.83/40.12 c (25,0) c PeriodProcTime_3 : 0.002219 156.83/40.12 c (25,0) c PeriodProcTime_4 : 0.001961 156.83/40.12 c (25,0) c PeriodProcTime_5 : 0.001548 156.83/40.12 c (25,0) c PeriodProcTime_6 : 0.001823 156.83/40.12 c (25,0) c PeriodProcTime_7 : 0.002087 156.83/40.12 c (25,0) c PeriodProcTime_total : 0.018936 156.83/40.12 c (25,0) c PeriodProcTime_winner : 0.002219 156.83/40.12 c (25,0) c SolvingTime_0 : 16.451197 156.83/40.12 c (25,0) c SolvingTime_1 : 16.753510 156.83/40.12 c (25,0) c SolvingTime_2 : 15.944032 156.83/40.12 c (25,0) c SolvingTime_3 : 15.801577 156.83/40.12 c (25,0) c SolvingTime_4 : 15.889978 156.83/40.12 c (25,0) c SolvingTime_5 : 15.933439 156.83/40.12 c (25,0) c SolvingTime_6 : 15.891156 156.83/40.12 c (25,0) c SolvingTime_7 : 15.833744 156.83/40.12 c (25,0) c SolvingTime_total : 128.498634 156.83/40.12 c (25,0) c SolvingTime_winner : 15.801577 156.83/40.12 c (25,0) c PropagationTime_0 : 15.629887 156.83/40.12 c (25,0) c PropagationTime_1 : 15.913188 156.83/40.12 c (25,0) c PropagationTime_2 : 15.088897 156.83/40.12 c (25,0) c PropagationTime_3 : 14.908949 156.83/40.12 c (25,0) c PropagationTime_4 : 14.818248 156.83/40.12 c (25,0) c PropagationTime_5 : 15.072771 156.83/40.12 c (25,0) c PropagationTime_6 : 14.998207 156.83/40.12 c (25,0) c PropagationTime_7 : 14.972434 156.83/40.12 c (25,0) c PropagationTime_total : 121.402581 156.83/40.12 c (25,0) c PropagationTime_winner : 14.908949 156.83/40.12 c (25,0) c AnalysisTime_0 : 0.457826 156.83/40.12 c (25,0) c AnalysisTime_1 : 0.421200 156.83/40.12 c (25,0) c AnalysisTime_2 : 0.427598 156.83/40.12 c (25,0) c AnalysisTime_3 : 0.449137 156.83/40.12 c (25,0) c AnalysisTime_4 : 0.472523 156.83/40.12 c (25,0) c AnalysisTime_5 : 0.428145 156.83/40.12 c (25,0) c AnalysisTime_6 : 0.438453 156.83/40.12 c (25,0) c AnalysisTime_7 : 0.495059 156.83/40.12 c (25,0) c AnalysisTime_total : 3.589941 156.83/40.12 c (25,0) c AnalysisTime_winner : 0.449137 156.83/40.12 c (25,0) c ReductionTime_0 : 0.012519 156.83/40.12 c (25,0) c ReductionTime_1 : 0.007199 156.83/40.12 c (25,0) c ReductionTime_2 : 0.006706 156.83/40.12 c (25,0) c ReductionTime_3 : 0.006899 156.83/40.12 c (25,0) c ReductionTime_4 : 0.020316 156.83/40.12 c (25,0) c ReductionTime_5 : 0.006942 156.83/40.12 c (25,0) c ReductionTime_6 : 0.013131 156.83/40.12 c (25,0) c ReductionTime_7 : 0.013232 156.83/40.12 c (25,0) c ReductionTime_total : 0.086943 156.83/40.12 c (25,0) c ReductionTime_winner : 0.006899 156.83/40.12 c (25,0) c SimplifyTime_0 : 0.000002 156.83/40.12 c (25,0) c SimplifyTime_1 : 0.067216 156.83/40.12 c (25,0) c SimplifyTime_2 : 0.076040 156.83/40.12 c (25,0) c SimplifyTime_3 : 0.096210 156.83/40.12 c (25,0) c SimplifyTime_4 : 0.223399 156.83/40.12 c (25,0) c SimplifyTime_5 : 0.092668 156.83/40.12 c (25,0) c SimplifyTime_6 : 0.096351 156.83/40.12 c (25,0) c SimplifyTime_7 : 0.000003 156.83/40.12 c (25,0) c SimplifyTime_total : 0.651889 156.83/40.12 c (25,0) c SimplifyTime_winner : 0.096210 156.83/40.12 c (25,0) c UsedRateTime_0 : 0.000000 156.83/40.12 c (25,0) c UsedRateTime_1 : 0.000000 156.83/40.12 c (25,0) c UsedRateTime_2 : 0.000000 156.83/40.12 c (25,0) c UsedRateTime_3 : 0.000000 156.83/40.12 c (25,0) c UsedRateTime_4 : 0.000000 156.83/40.12 c (25,0) c UsedRateTime_5 : 0.000000 156.83/40.12 c (25,0) c UsedRateTime_6 : 0.000000 156.83/40.12 c (25,0) c UsedRateTime_7 : 0.000000 156.83/40.12 c (25,0) c UsedRateTime_total : 0.000000 156.83/40.12 c (25,0) c UsedRateTime_winner : 0.000000 156.83/40.12 c (25,0) c OverlapRateTime_0 : 0.000000 156.83/40.12 c (25,0) c OverlapRateTime_1 : 0.000000 156.83/40.12 c (25,0) c OverlapRateTime_2 : 0.000000 156.83/40.12 c (25,0) c OverlapRateTime_3 : 0.000000 156.83/40.12 c (25,0) c OverlapRateTime_4 : 0.000000 156.83/40.12 c (25,0) c OverlapRateTime_5 : 0.000000 156.83/40.12 c (25,0) c OverlapRateTime_6 : 0.000000 156.83/40.12 c (25,0) c OverlapRateTime_7 : 0.000000 156.83/40.12 c (25,0) c OverlapRateTime_total : 0.000000 156.83/40.12 c (25,0) c OverlapRateTime_winner : 0.000000 156.83/40.12 c (25,0) c 156.83/40.12 c (25,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 156.83/40.12 c (25,0) c 156.83/40.12 c (25,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 156.83/40.12 c (25,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 156.83/40.12 c (25,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 156.83/40.12 c (25,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 156.83/40.12 c (25,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 156.83/40.12 c (25,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 156.83/40.12 c (25,0) c | Initial random_seed | 2063561171 | 845958432 | 1044138245 | 1034142593 | 1218106831 | 351147553 | 228088944 | 1192457960 | 156.83/40.12 c (25,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 156.83/40.12 c (25,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 156.83/40.12 c (25,0) c | glureduce | True | True | True | True | True | True | True | True | 156.83/40.12 c (25,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 156.83/40.12 c (25,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 156.83/40.12 c (25,0) c | luby_restart | False | False | False | False | False | False | False | False | 156.83/40.12 c (25,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 156.83/40.12 c (25,0) c | var_decay | 0.8500 | 0.8500 | 0.8600 | 0.8600 | 0.8700 | 0.8500 | 0.8500 | 0.8500 | 156.83/40.12 c (25,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 156.83/40.12 c (25,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 156.83/40.12 c (25,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 156.83/40.12 c (25,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 156.83/40.12 c (25,0) 156.83/40.12 c (25,0) s UNSATISFIABLE 23.43/40.21 c (25,0) SatSolver.solve End 23.43/40.21 c (25,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 23.43/40.21 c (25,0) Show results Begin 23.43/40.21 s UNSATISFIABLE 23.43/40.21 c (25,0) Show results End 23.43/40.21 c (25,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 23.43/40.21 c (25,0) 25,25,STOP-AFTER(ALL) 23.43/40.21 c END-Prog: Tue Sep 24 22:33:16 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 (12723 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-4405523-1569357196/watcher-4405523-1569357196 -o /tmp/evaluation-result-4405523-1569357196/solver-4405523-1569357196 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569351215-14889 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405523-1569357196.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=20039, runsolver pid=20036 [startup+0.100141 s]* /proc/loadavg: 5.22 6.80 7.37 3/212 20061 /proc/meminfo: memFree=23232796/32770624 swapFree=66956516/67108860 [pid=20039] ppid=20036 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/20039/stat : 20039 (scop.sh) S 20036 20039 14862 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 511990915 115843072 349 33554432000 4194304 5098028 140720538120640 140720538117896 139995456828028 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40681472 140720538125092 140720538125420 140720538125420 140720538128333 0 /proc/20039/statm: 28282 349 296 221 0 87 0 [pid=20042] ppid=20039 vsize=27314120 memory=106368 CPUtime=0.11 cores=0-7 /proc/20042/stat : 20042 (java) S 20039 20039 14862 0 -1 1077944320 6630 0 0 0 9 2 0 0 20 0 20 0 511990915 27969658880 26592 33554432000 4194304 4196468 140721160813936 140721160796480 139923394731767 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 /proc/20042/statm: 6828530 26592 2812 1 0 6790935 0 [pid=20042/tid=20043] ppid=20039 vsize=27314120 memory=7679934172201130907 CPUtime=0.09 cores=0-7 /proc/20042/task/20043/stat : 20043 (java) R 20039 20039 14862 0 -1 4202560 4709 0 0 0 7 2 0 0 20 0 20 0 511990915 27969658880 26592 33554432000 4194304 4196468 140721160813936 139923366554048 139923394753693 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 [pid=20042/tid=20044] ppid=20039 vsize=27314120 memory=732369982978132965 CPUtime=0 cores=0-7 /proc/20042/task/20044/stat : 20044 (java) S 20039 20039 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511990918 27969658880 26592 33554432000 4194304 4196468 140721160813936 139923398974352 139923394741973 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 [pid=20042/tid=20045] ppid=20039 vsize=27314120 memory=139844640679552 CPUtime=0 cores=0-7 /proc/20042/task/20045/stat : 20045 (java) S 20039 20039 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511990918 27969658880 26592 33554432000 4194304 4196468 140721160813936 139923213130512 139923394741973 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 [pid=20042/tid=20046] ppid=20039 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20042/task/20046/stat : 20046 (java) S 20039 20039 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511990918 27969658880 26592 33554432000 4194304 4196468 140721160813936 139923212078224 139923394741973 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 [pid=20042/tid=20047] ppid=20039 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20042/task/20047/stat : 20047 (java) S 20039 20039 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511990918 27969658880 26592 33554432000 4194304 4196468 140721160813936 139923211025424 139923394741973 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 [pid=20042/tid=20048] ppid=20039 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20042/task/20048/stat : 20048 (java) S 20039 20039 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511990918 27969658880 26592 33554432000 4194304 4196468 140721160813936 139923209972112 139923394741973 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 [pid=20042/tid=20049] ppid=20039 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/20042/task/20049/stat : 20049 (java) S 20039 20039 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511990918 27969658880 26592 33554432000 4194304 4196468 140721160813936 139923208919312 139923394741973 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 [pid=20042/tid=20050] ppid=20039 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20042/task/20050/stat : 20050 (java) S 20039 20039 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511990918 27969658880 26592 33554432000 4194304 4196468 140721160813936 139923207867024 139923394741973 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 [pid=20042/tid=20051] ppid=20039 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20042/task/20051/stat : 20051 (java) S 20039 20039 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511990918 27969658880 26592 33554432000 4194304 4196468 140721160813936 139923206814224 139923394741973 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 [pid=20042/tid=20052] ppid=20039 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20042/task/20052/stat : 20052 (java) S 20039 20039 14862 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 511990919 27969658880 26592 33554432000 4194304 4196468 140721160813936 139921781996144 139923394742914 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 [pid=20042/tid=20053] ppid=20039 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20042/task/20053/stat : 20053 (java) S 20039 20039 14862 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511990920 27969658880 26592 33554432000 4194304 4196468 140721160813936 139921176126752 139923394741973 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 [pid=20042/tid=20054] ppid=20039 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20042/task/20054/stat : 20054 (java) S 20039 20039 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511990920 27969658880 26592 33554432000 4194304 4196468 140721160813936 139920907691632 139923394741973 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 [pid=20042/tid=20055] ppid=20039 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20042/task/20055/stat : 20055 (java) S 20039 20039 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511990922 27969658880 26592 33554432000 4194304 4196468 140721160813936 139920533183056 139923394750363 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 [pid=20042/tid=20056] ppid=20039 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20042/task/20056/stat : 20056 (java) S 20039 20039 14862 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 511990922 27969658880 26592 33554432000 4194304 4196468 140721160813936 139921712998512 139923394742914 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 [pid=20042/tid=20057] ppid=20039 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20042/task/20057/stat : 20057 (java) S 20039 20039 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511990922 27969658880 26592 33554432000 4194304 4196468 140721160813936 139921711945712 139923394742914 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 [pid=20042/tid=20058] ppid=20039 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20042/task/20058/stat : 20058 (java) S 20039 20039 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511990922 27969658880 26592 33554432000 4194304 4196468 140721160813936 139921710893424 139923394742914 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 [pid=20042/tid=20059] ppid=20039 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20042/task/20059/stat : 20059 (java) S 20039 20039 14862 0 -1 1077944384 268 0 0 0 0 0 0 0 20 0 20 0 511990922 27969658880 26592 33554432000 4194304 4196468 140721160813936 139921709840624 139923394742914 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 [pid=20042/tid=20060] ppid=20039 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20042/task/20060/stat : 20060 (java) S 20039 20039 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511990923 27969658880 26592 33554432000 4194304 4196468 140721160813936 139920035277664 139923394741973 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 [pid=20042/tid=20061] ppid=20039 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/20042/task/20061/stat : 20061 (java) S 20039 20039 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511990923 27969658880 26592 33554432000 4194304 4196468 140721160813936 139921708788528 139923394742914 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 107764 KiB [startup+0.210323 s]* /proc/loadavg: 5.22 6.80 7.37 2/212 20061 /proc/meminfo: memFree=23210524/32770624 swapFree=66956516/67108860 [pid=20039] ppid=20036 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/20039/stat : 20039 (scop.sh) S 20036 20039 14862 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 511990915 115843072 349 33554432000 4194304 5098028 140720538120640 140720538117896 139995456828028 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40681472 140720538125092 140720538125420 140720538125420 140720538128333 0 /proc/20039/statm: 28282 349 296 221 0 87 0 [pid=20042] ppid=20039 vsize=27314120 memory=125376 CPUtime=0.25 cores=0-7 /proc/20042/stat : 20042 (java) S 20039 20039 14862 0 -1 1077944320 12237 0 0 0 21 4 0 0 20 0 20 0 511990915 27969658880 31344 33554432000 4194304 4196468 140721160813936 140721160796480 139923394731767 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 /proc/20042/statm: 6828530 31344 2936 1 0 6790935 0 [pid=20042/tid=20043] ppid=20039 vsize=27314120 memory=0 CPUtime=0.19 cores=0-7 /proc/20042/task/20043/stat : 20043 (java) R 20039 20039 14862 0 -1 4202560 9910 0 0 0 16 3 0 0 20 0 20 0 511990915 27969658880 31344 33554432000 4194304 4196468 140721160813936 139923366545200 139923375007070 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 [pid=20042/tid=20044] ppid=20039 vsize=27314120 memory=732369982978132965 CPUtime=0 cores=0-7 /proc/20042/task/20044/stat : 20044 (java) S 20039 20039 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511990918 27969658880 31344 33554432000 4194304 4196468 140721160813936 139923398974352 139923394741973 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 [pid=20042/tid=20045] ppid=20039 vsize=27314120 memory=139844640679552 CPUtime=0 cores=0-7 /proc/20042/task/20045/stat : 20045 (java) S 20039 20039 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511990918 27969658880 31344 33554432000 4194304 4196468 140721160813936 139923213130512 139923394741973 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 [pid=20042/tid=20046] ppid=20039 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20042/task/20046/stat : 20046 (java) S 20039 20039 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511990918 27969658880 31344 33554432000 4194304 4196468 140721160813936 139923212078224 139923394741973 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 [pid=20042/tid=20047] ppid=20039 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20042/task/20047/stat : 20047 (java) S 20039 20039 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511990918 27969658880 31344 33554432000 4194304 4196468 140721160813936 139923211025424 139923394741973 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 [pid=20042/tid=20048] ppid=20039 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20042/task/20048/stat : 20048 (java) S 20039 20039 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511990918 27969658880 31344 33554432000 4194304 4196468 140721160813936 139923209972112 139923394741973 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 [pid=20042/tid=20049] ppid=20039 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/20042/task/20049/stat : 20049 (java) S 20039 20039 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511990918 27969658880 31344 33554432000 4194304 4196468 140721160813936 139923208919312 139923394741973 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 [pid=20042/tid=20050] ppid=20039 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20042/task/20050/stat : 20050 (java) S 20039 20039 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511990918 27969658880 31344 33554432000 4194304 4196468 140721160813936 139923207867024 139923394741973 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 [pid=20042/tid=20051] ppid=20039 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20042/task/20051/stat : 20051 (java) S 20039 20039 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511990918 27969658880 31344 33554432000 4194304 4196468 140721160813936 139923206814224 139923394741973 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 [pid=20042/tid=20052] ppid=20039 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20042/task/20052/stat : 20052 (java) S 20039 20039 14862 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 511990919 27969658880 31344 33554432000 4194304 4196468 140721160813936 139921781996144 139923394742914 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 [pid=20042/tid=20053] ppid=20039 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20042/task/20053/stat : 20053 (java) S 20039 20039 14862 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511990920 27969658880 31344 33554432000 4194304 4196468 140721160813936 139921176126752 139923394741973 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 [pid=20042/tid=20054] ppid=20039 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20042/task/20054/stat : 20054 (java) S 20039 20039 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511990920 27969658880 31344 33554432000 4194304 4196468 140721160813936 139920907691632 139923394741973 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 [pid=20042/tid=20055] ppid=20039 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20042/task/20055/stat : 20055 (java) S 20039 20039 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511990922 27969658880 31344 33554432000 4194304 4196468 140721160813936 139920533183056 139923394750363 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 [pid=20042/tid=20056] ppid=20039 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20042/task/20056/stat : 20056 (java) S 20039 20039 14862 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 511990922 27969658880 31344 33554432000 4194304 4196468 140721160813936 139921712998512 139923394742914 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 [pid=20042/tid=20057] ppid=20039 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20042/task/20057/stat : 20057 (java) S 20039 20039 14862 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 20 0 511990922 27969658880 31344 33554432000 4194304 4196468 140721160813936 139921711945712 139923394742914 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 [pid=20042/tid=20058] ppid=20039 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20042/task/20058/stat : 20058 (java) S 20039 20039 14862 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 20 0 511990922 27969658880 31344 33554432000 4194304 4196468 140721160813936 139921710893424 139923394742914 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 [pid=20042/tid=20059] ppid=20039 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7 /proc/20042/task/20059/stat : 20059 (java) S 20039 20039 14862 0 -1 1077944384 487 0 0 0 2 0 0 0 20 0 20 0 511990922 27969658880 31344 33554432000 4194304 4196468 140721160813936 139921709840624 139923394742914 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 [pid=20042/tid=20060] ppid=20039 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20042/task/20060/stat : 20060 (java) S 20039 20039 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511990923 27969658880 31344 33554432000 4194304 4196468 140721160813936 139920035277664 139923394741973 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 [pid=20042/tid=20061] ppid=20039 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/20042/task/20061/stat : 20061 (java) S 20039 20039 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511990923 27969658880 31344 33554432000 4194304 4196468 140721160813936 139921708788528 139923394742914 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 Current children cumulated CPU time: 0.25 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 126772 KiB [startup+0.309634 s]* /proc/loadavg: 5.22 6.80 7.37 2/212 20061 /proc/meminfo: memFree=23206864/32770624 swapFree=66956516/67108860 [pid=20039] ppid=20036 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/20039/stat : 20039 (scop.sh) S 20036 20039 14862 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 511990915 115843072 349 33554432000 4194304 5098028 140720538120640 140720538117896 139995456828028 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40681472 140720538125092 140720538125420 140720538125420 140720538128333 0 /proc/20039/statm: 28282 349 296 221 0 87 0 [pid=20042] ppid=20039 vsize=27314120 memory=129924 CPUtime=0.42 cores=0-7 /proc/20042/stat : 20042 (java) S 20039 20039 14862 0 -1 1077944320 13019 0 0 0 38 4 0 0 20 0 20 0 511990915 27969658880 32481 33554432000 4194304 4196468 140721160813936 140721160796480 139923394731767 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 /proc/20042/statm: 6828530 32481 3062 1 0 6790935 0 [pid=20042/tid=20043] ppid=20039 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/20042/task/20043/stat : 20043 (java) R 20039 20039 14862 0 -1 4202560 10516 0 0 0 26 3 0 0 20 0 20 0 511990915 27969658880 32481 33554432000 4194304 4196468 140721160813936 139923366549264 139923377918576 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 [pid=20042/tid=20044] ppid=20039 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20042/task/20044/stat : 20044 (java) S 20039 20039 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511990918 27969658880 32481 33554432000 4194304 4196468 140721160813936 139923398974352 139923394741973 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 [pid=20042/tid=20045] ppid=20039 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20042/task/20045/stat : 20045 (java) S 20039 20039 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511990918 27969658880 32481 33554432000 4194304 4196468 140721160813936 139923213130512 139923394741973 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 [pid=20042/tid=20046] ppid=20039 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20042/task/20046/stat : 20046 (java) S 20039 20039 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511990918 27969658880 32481 33554432000 4194304 4196468 140721160813936 139923212078224 139923394741973 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 [pid=20042/tid=20047] ppid=20039 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20042/task/20047/stat : 20047 (java) S 20039 20039 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511990918 27969658880 32481 33554432000 4194304 4196468 140721160813936 139923211025424 139923394741973 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 [pid=20042/tid=20048] ppid=20039 vsize=27314120 memory=2244 CPUtime=0 cores=0-7 /proc/20042/task/20048/stat : 20048 (java) S 20039 20039 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511990918 27969658880 32481 33554432000 4194304 4196468 140721160813936 139923209972112 139923394741973 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 [pid=20042/tid=20049] ppid=20039 vsize=27314120 memory=139844537906095 CPUtime=0 cores=0-7 /proc/20042/task/20049/stat : 20049 (java) S 20039 20039 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511990918 27969658880 32481 33554432000 4194304 4196468 140721160813936 139923208919312 139923394741973 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 [pid=20042/tid=20050] ppid=20039 vsize=27314120 memory=139844537908400 CPUtime=0 cores=0-7 /proc/20042/task/20050/stat : 20050 (java) S 20039 20039 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511990918 27969658880 32481 33554432000 4194304 4196468 140721160813936 139923207867024 139923394741973 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 [pid=20042/tid=20051] ppid=20039 vsize=27314120 memory=139844537910704 CPUtime=0 cores=0-7 /proc/20042/task/20051/stat : 20051 (java) S 20039 20039 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511990918 27969658880 32481 33554432000 4194304 4196468 140721160813936 139923206814224 139923394741973 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 [pid=20042/tid=20052] ppid=20039 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20042/task/20052/stat : 20052 (java) S 20039 20039 14862 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 511990919 27969658880 32481 33554432000 4194304 4196468 140721160813936 139921781996144 139923394742914 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 [pid=20042/tid=20053] ppid=20039 vsize=27314120 memory=279689075828368 CPUtime=0 cores=0-7 /proc/20042/task/20053/stat : 20053 (java) S 20039 20039 14862 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511990920 27969658880 32481 33554432000 4194304 4196468 140721160813936 139921176126752 139923394741973 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 [pid=20042/tid=20054] ppid=20039 vsize=27314120 memory=279689075835280 CPUtime=0 cores=0-7 /proc/20042/task/20054/stat : 20054 (java) S 20039 20039 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511990920 27969658880 32481 33554432000 4194304 4196468 140721160813936 139920907691632 139923394741973 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 [pid=20042/tid=20055] ppid=20039 vsize=27314120 memory=279689075776560 CPUtime=0 cores=0-7 /proc/20042/task/20055/stat : 20055 (java) S 20039 20039 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511990922 27969658880 32481 33554432000 4194304 4196468 140721160813936 139920533183056 139923394750363 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 [pid=20042/tid=20056] ppid=20039 vsize=27314120 memory=279689075849104 CPUtime=0.01 cores=0-7 /proc/20042/task/20056/stat : 20056 (java) S 20039 20039 14862 0 -1 1077944384 334 0 0 0 1 0 0 0 20 0 20 0 511990922 27969658880 32481 33554432000 4194304 4196468 140721160813936 139921712998512 139923394742914 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 [pid=20042/tid=20057] ppid=20039 vsize=27314120 memory=279689075856016 CPUtime=0.02 cores=0-7 /proc/20042/task/20057/stat : 20057 (java) S 20039 20039 14862 0 -1 1077944384 155 0 0 0 2 0 0 0 20 0 20 0 511990922 27969658880 32481 33554432000 4194304 4196468 140721160813936 139921711945712 139923394742914 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 [pid=20042/tid=20058] ppid=20039 vsize=27314120 memory=279689075853712 CPUtime=0 cores=0-7 /proc/20042/task/20058/stat : 20058 (java) S 20039 20039 14862 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 20 0 511990922 27969658880 32481 33554432000 4194304 4196468 140721160813936 139921710893424 139923394742914 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 [pid=20042/tid=20059] ppid=20039 vsize=27314120 memory=279689075869872 CPUtime=0.07 cores=0-7 /proc/20042/task/20059/stat : 20059 (java) S 20039 20039 14862 0 -1 1077944384 535 0 0 0 7 0 0 0 20 0 20 0 511990922 27969658880 32481 33554432000 4194304 4196468 140721160813936 139921709840624 139923394742914 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 [pid=20042/tid=20060] ppid=20039 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/20042/task/20060/stat : 20060 (java) S 20039 20039 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511990923 27969658880 32481 33554432000 4194304 4196468 140721160813936 139920035277664 139923394741973 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 [pid=20042/tid=20061] ppid=20039 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/20042/task/20061/stat : 20061 (java) S 20039 20039 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511990923 27969658880 32481 33554432000 4194304 4196468 140721160813936 139921708788528 139923394742914 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 131320 KiB [startup+0.700936 s] /proc/loadavg: 5.22 6.80 7.37 2/212 20061 /proc/meminfo: memFree=23186140/32770624 swapFree=66956516/67108860 [pid=20039] ppid=20036 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/20039/stat : 20039 (scop.sh) S 20036 20039 14862 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 511990915 115843072 349 33554432000 4194304 5098028 140720538120640 140720538117896 139995456828028 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40681472 140720538125092 140720538125420 140720538125420 140720538128333 0 /proc/20039/statm: 28282 349 296 221 0 87 0 [pid=20042] ppid=20039 vsize=27320392 memory=165376 CPUtime=0.99 cores=0-7 /proc/20042/stat : 20042 (java) S 20039 20039 14862 0 -1 1077944320 20454 0 0 0 93 6 0 0 20 0 20 0 511990915 27976081408 41344 33554432000 4194304 4196468 140721160813936 140721160796480 139923394731767 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 /proc/20042/statm: 6830098 41344 3158 1 0 6791447 0 [pid=20042/tid=20043] ppid=20039 vsize=27320392 memory=279689076164800 CPUtime=0.67 cores=0-7 /proc/20042/task/20043/stat : 20043 (java) R 20039 20039 14862 0 -1 4202560 17328 0 0 0 62 5 0 0 20 0 20 0 511990915 27976081408 41344 33554432000 4194304 4196468 140721160813936 139923366567440 139922870774593 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 [pid=20042/tid=20044] ppid=20039 vsize=27320392 memory=1560 CPUtime=0 cores=0-7 /proc/20042/task/20044/stat : 20044 (java) S 20039 20039 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511990918 27976081408 41344 33554432000 4194304 4196468 140721160813936 139923398974352 139923394741973 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 [pid=20042/tid=20045] ppid=20039 vsize=27320392 memory=976 CPUtime=0 cores=0-7 /proc/20042/task/20045/stat : 20045 (java) S 20039 20039 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511990918 27976081408 41344 33554432000 4194304 4196468 140721160813936 139923213130512 139923394741973 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 [pid=20042/tid=20046] ppid=20039 vsize=27320392 memory=772 CPUtime=0 cores=0-7 /proc/20042/task/20046/stat : 20046 (java) S 20039 20039 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511990918 27976081408 41344 33554432000 4194304 4196468 140721160813936 139923212078224 139923394741973 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30740480 140721160815338 140721160815766 140721160815766 140721160818639 0 ################ # More data... # ################ /proc/20062/task/20069/stat : 20069 (java) S 20039 20039 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511992386 8616062976 30442 33554432000 4194304 4196468 140723108837088 140247207844624 140247407654613 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20070] ppid=20039 vsize=8414124 memory=524 CPUtime=0 cores=0-7 /proc/20062/task/20070/stat : 20070 (java) S 20039 20039 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511992386 8616062976 30442 33554432000 4194304 4196468 140723108837088 140247206792336 140247407654613 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20071] ppid=20039 vsize=8414124 memory=279689076512096 CPUtime=0 cores=0-7 /proc/20062/task/20071/stat : 20071 (java) S 20039 20039 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511992386 8616062976 30442 33554432000 4194304 4196468 140723108837088 140247205739536 140247407654613 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20072] ppid=20039 vsize=8414124 memory=279689076241904 CPUtime=0 cores=0-7 /proc/20062/task/20072/stat : 20072 (java) S 20039 20039 14862 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 511992388 8616062976 30442 33554432000 4194304 4196468 140723108837088 140246568061040 140247407655554 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20073] ppid=20039 vsize=8414124 memory=4639622827774857296 CPUtime=0 cores=0-7 /proc/20062/task/20073/stat : 20073 (java) S 20039 20039 14862 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511992388 8616062976 30442 33554432000 4194304 4196468 140723108837088 140246050136864 140247407654613 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20074] ppid=20039 vsize=8414124 memory=7380671248541445222 CPUtime=0 cores=0-7 /proc/20062/task/20074/stat : 20074 (java) S 20039 20039 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511992388 8616062976 30442 33554432000 4194304 4196468 140723108837088 140245781701744 140247407654613 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20075] ppid=20039 vsize=8414124 memory=7090733330714356051 CPUtime=0 cores=0-7 /proc/20062/task/20075/stat : 20075 (java) S 20039 20039 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511992391 8616062976 30442 33554432000 4194304 4196468 140723108837088 140245407193168 140247407663003 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20076] ppid=20039 vsize=8414124 memory=-1 CPUtime=0.09 cores=0-7 /proc/20062/task/20076/stat : 20076 (java) S 20039 20039 14862 0 -1 1077944384 988 0 0 0 9 0 0 0 20 0 24 0 511992391 8616062976 30442 33554432000 4194304 4196468 140723108837088 140246567008880 140247407655554 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20077] ppid=20039 vsize=8414124 memory=2241 CPUtime=0.06 cores=0-7 /proc/20062/task/20077/stat : 20077 (java) S 20039 20039 14862 0 -1 1077944384 317 0 0 0 6 0 0 0 20 0 24 0 511992391 8616062976 30442 33554432000 4194304 4196468 140723108837088 140246565956080 140247407655554 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20078] ppid=20039 vsize=8414124 memory=2244 CPUtime=0.09 cores=0-7 /proc/20062/task/20078/stat : 20078 (java) S 20039 20039 14862 0 -1 1077944384 282 0 0 0 9 0 0 0 20 0 24 0 511992391 8616062976 30442 33554432000 4194304 4196468 140723108837088 140246564903792 140247407655554 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20079] ppid=20039 vsize=8414124 memory=0 CPUtime=0.2 cores=0-7 /proc/20062/task/20079/stat : 20079 (java) S 20039 20039 14862 0 -1 1077944384 575 0 0 0 20 0 0 0 20 0 24 0 511992391 8616062976 30442 33554432000 4194304 4196468 140723108837088 140246563850992 140247407655554 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20080] ppid=20039 vsize=8414124 memory=2032 CPUtime=0 cores=0-7 /proc/20062/task/20080/stat : 20080 (java) S 20039 20039 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511992391 8616062976 30442 33554432000 4194304 4196468 140723108837088 140244909287776 140247407654613 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20081] ppid=20039 vsize=8414124 memory=1328 CPUtime=0 cores=0-7 /proc/20062/task/20081/stat : 20081 (java) S 20039 20039 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511992391 8616062976 30442 33554432000 4194304 4196468 140723108837088 140246562797872 140247407655554 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20083] ppid=20039 vsize=8414124 memory=1560 CPUtime=0 cores=0-7 /proc/20062/task/20083/stat : 20083 (java) S 20039 20039 14862 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511992458 8616062976 30442 33554432000 4194304 4196468 140723108837088 140246554764608 140247407669017 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20085] ppid=20039 vsize=8414124 memory=976 CPUtime=0 cores=0-7 /proc/20062/task/20085/stat : 20085 (java) S 20039 20039 14862 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 511992458 8616062976 30442 33554432000 4194304 4196468 140723108837088 140244238188432 140247407666333 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20086] ppid=20039 vsize=8414124 memory=772 CPUtime=0 cores=0-7 /proc/20062/task/20086/stat : 20086 (java) S 20039 20039 14862 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 511992458 8616062976 30442 33554432000 4194304 4196468 140723108837088 140244506623760 140247407666333 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20087] ppid=20039 vsize=8414124 memory=3616 CPUtime=0 cores=0-7 /proc/20062/task/20087/stat : 20087 (java) S 20039 20039 14862 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 511992460 8616062976 30442 33554432000 4194304 4196468 140723108837088 140243969761072 140247407654613 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 Current children cumulated CPU time: 155.06 s Current children cumulated vsize: 10839436 KiB Current children cumulated memory: 2014400 KiB [startup+40.0012 s]* /proc/loadavg: 4.83 6.47 7.24 2/218 20098 /proc/meminfo: memFree=21257668/32770624 swapFree=66956516/67108860 [pid=20039] ppid=20036 vsize=113128 memory=1476 CPUtime=22.11 cores=0-7 /proc/20039/stat : 20039 (scop.sh) S 20036 20039 14862 0 -1 4202496 581 33992 0 0 0 0 2099 112 20 0 1 0 511990915 115843072 369 33554432000 4194304 5098028 140720538120640 140720538117384 139995456828028 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 40681472 140720538125092 140720538125420 140720538125420 140720538128333 0 /proc/20039/statm: 28282 369 311 221 0 87 0 [pid=20062] ppid=20039 vsize=8414124 memory=121768 CPUtime=1.26 cores=0-7 /proc/20062/stat : 20062 (java) S 20039 20039 14862 0 -1 1077944320 20856 0 0 0 118 8 0 0 20 0 24 0 511992385 8616062976 30442 33554432000 4194304 4196468 140723108837088 140723108819632 140247407644407 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 /proc/20062/statm: 2103531 30442 3207 1 0 2064875 0 [pid=20082] ppid=20062 vsize=2312184 memory=1891184 CPUtime=133.35 cores=0-7 /proc/20082/stat : 20082 (manyglucose-4.1) S 20062 20039 14862 0 -1 1077944320 1136575 0 0 0 13058 277 0 0 20 0 2 0 511992458 2367676416 472796 33554432000 4194304 4454172 140733759039456 140733759037840 140522246991607 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 26267648 140733759042409 140733759042608 140733759042608 140733759045562 0 /proc/20082/statm: 578046 472796 420 64 0 573714 0 [pid=20082/tid=20091] ppid=20062 vsize=2312184 memory=1724 CPUtime=16.42 cores=0-7 /proc/20082/task/20091/stat : 20091 (manyglucose-4.1) R 20062 20039 14862 0 -1 4202560 124188 0 0 0 1608 34 0 0 20 0 2 0 511993250 2367676416 472796 33554432000 4194304 4454172 140733759039456 140521379060872 4350400 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 26267648 140733759042409 140733759042608 140733759042608 140733759045562 0 [pid=20062/tid=20063] ppid=20039 vsize=8414124 memory=7686721470267430291 CPUtime=0.76 cores=0-7 /proc/20062/task/20063/stat : 20063 (java) S 20039 20039 14862 0 -1 1077944384 17291 0 0 0 71 5 0 0 20 0 24 0 511992385 8616062976 30442 33554432000 4194304 4196468 140723108837088 140247379484576 140247407654613 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20064] ppid=20039 vsize=8414124 memory=-7003737579269690708 CPUtime=0 cores=0-7 /proc/20062/task/20064/stat : 20064 (java) S 20039 20039 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511992386 8616062976 30442 33554432000 4194304 4196468 140723108837088 140247411886480 140247407654613 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20065] ppid=20039 vsize=8414124 memory=111632 CPUtime=0 cores=0-7 /proc/20062/task/20065/stat : 20065 (java) S 20039 20039 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511992386 8616062976 30442 33554432000 4194304 4196468 140723108837088 140247212054800 140247407654613 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20066] ppid=20039 vsize=8414124 memory=804 CPUtime=0 cores=0-7 /proc/20062/task/20066/stat : 20066 (java) S 20039 20039 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511992386 8616062976 30442 33554432000 4194304 4196468 140723108837088 140247211002512 140247407654613 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20067] ppid=20039 vsize=8414124 memory=1724 CPUtime=0 cores=0-7 /proc/20062/task/20067/stat : 20067 (java) S 20039 20039 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511992386 8616062976 30442 33554432000 4194304 4196468 140723108837088 140247209949712 140247407654613 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20068] ppid=20039 vsize=8414124 memory=1808 CPUtime=0 cores=0-7 /proc/20062/task/20068/stat : 20068 (java) S 20039 20039 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511992386 8616062976 30442 33554432000 4194304 4196468 140723108837088 140247208897424 140247407654613 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20069] ppid=20039 vsize=8414124 memory=920 CPUtime=0 cores=0-7 /proc/20062/task/20069/stat : 20069 (java) S 20039 20039 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511992386 8616062976 30442 33554432000 4194304 4196468 140723108837088 140247207844624 140247407654613 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20070] ppid=20039 vsize=8414124 memory=1124 CPUtime=0 cores=0-7 /proc/20062/task/20070/stat : 20070 (java) S 20039 20039 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511992386 8616062976 30442 33554432000 4194304 4196468 140723108837088 140247206792336 140247407654613 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20071] ppid=20039 vsize=8414124 memory=14008 CPUtime=0 cores=0-7 /proc/20062/task/20071/stat : 20071 (java) S 20039 20039 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511992386 8616062976 30442 33554432000 4194304 4196468 140723108837088 140247205739536 140247407654613 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20072] ppid=20039 vsize=8414124 memory=12024 CPUtime=0 cores=0-7 /proc/20062/task/20072/stat : 20072 (java) S 20039 20039 14862 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 511992388 8616062976 30442 33554432000 4194304 4196468 140723108837088 140246568061040 140247407655554 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20073] ppid=20039 vsize=8414124 memory=2124 CPUtime=0 cores=0-7 /proc/20062/task/20073/stat : 20073 (java) S 20039 20039 14862 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511992388 8616062976 30442 33554432000 4194304 4196468 140723108837088 140246050136864 140247407654613 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20074] ppid=20039 vsize=8414124 memory=22216 CPUtime=0 cores=0-7 /proc/20062/task/20074/stat : 20074 (java) S 20039 20039 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511992388 8616062976 30442 33554432000 4194304 4196468 140723108837088 140245781701744 140247407654613 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20075] ppid=20039 vsize=8414124 memory=504 CPUtime=0 cores=0-7 /proc/20062/task/20075/stat : 20075 (java) S 20039 20039 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511992391 8616062976 30442 33554432000 4194304 4196468 140723108837088 140245407193168 140247407663003 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20076] ppid=20039 vsize=8414124 memory=1564 CPUtime=0.09 cores=0-7 /proc/20062/task/20076/stat : 20076 (java) S 20039 20039 14862 0 -1 1077944384 988 0 0 0 9 0 0 0 20 0 24 0 511992391 8616062976 30442 33554432000 4194304 4196468 140723108837088 140246567008880 140247407655554 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20077] ppid=20039 vsize=8414124 memory=924 CPUtime=0.06 cores=0-7 /proc/20062/task/20077/stat : 20077 (java) S 20039 20039 14862 0 -1 1077944384 317 0 0 0 6 0 0 0 20 0 24 0 511992391 8616062976 30442 33554432000 4194304 4196468 140723108837088 140246565956080 140247407655554 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20078] ppid=20039 vsize=8414124 memory=1420 CPUtime=0.09 cores=0-7 /proc/20062/task/20078/stat : 20078 (java) S 20039 20039 14862 0 -1 1077944384 282 0 0 0 9 0 0 0 20 0 24 0 511992391 8616062976 30442 33554432000 4194304 4196468 140723108837088 140246564903792 140247407655554 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20079] ppid=20039 vsize=8414124 memory=1984 CPUtime=0.2 cores=0-7 /proc/20062/task/20079/stat : 20079 (java) S 20039 20039 14862 0 -1 1077944384 575 0 0 0 20 0 0 0 20 0 24 0 511992391 8616062976 30442 33554432000 4194304 4196468 140723108837088 140246563850992 140247407655554 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20080] ppid=20039 vsize=8414124 memory=2532 CPUtime=0 cores=0-7 /proc/20062/task/20080/stat : 20080 (java) S 20039 20039 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511992391 8616062976 30442 33554432000 4194304 4196468 140723108837088 140244909287776 140247407654613 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20081] ppid=20039 vsize=8414124 memory=1440 CPUtime=0 cores=0-7 /proc/20062/task/20081/stat : 20081 (java) S 20039 20039 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511992391 8616062976 30442 33554432000 4194304 4196468 140723108837088 140246562797872 140247407655554 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20083] ppid=20039 vsize=8414124 memory=800 CPUtime=0 cores=0-7 /proc/20062/task/20083/stat : 20083 (java) S 20039 20039 14862 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511992458 8616062976 30442 33554432000 4194304 4196468 140723108837088 140246554764608 140247407669017 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20085] ppid=20039 vsize=8414124 memory=1772 CPUtime=0 cores=0-7 /proc/20062/task/20085/stat : 20085 (java) S 20039 20039 14862 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 511992458 8616062976 30442 33554432000 4194304 4196468 140723108837088 140244238188432 140247407666333 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20086] ppid=20039 vsize=8414124 memory=111632 CPUtime=0 cores=0-7 /proc/20062/task/20086/stat : 20086 (java) S 20039 20039 14862 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 511992458 8616062976 30442 33554432000 4194304 4196468 140723108837088 140244506623760 140247407666333 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20087] ppid=20039 vsize=8414124 memory=804 CPUtime=0 cores=0-7 /proc/20062/task/20087/stat : 20087 (java) S 20039 20039 14862 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 511992460 8616062976 30442 33554432000 4194304 4196468 140723108837088 140243969761072 140247407654613 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 Current children cumulated CPU time: 156.72 s Current children cumulated vsize: 10839436 KiB Current children cumulated memory: 2014428 KiB [startup+40.2012 s] /proc/loadavg: 4.83 6.47 7.24 2/218 20098 /proc/meminfo: memFree=21257668/32770624 swapFree=66956516/67108860 [pid=20039] ppid=20036 vsize=113128 memory=1476 CPUtime=22.11 cores=0-7 /proc/20039/stat : 20039 (scop.sh) S 20036 20039 14862 0 -1 4202496 581 33992 0 0 0 0 2099 112 20 0 1 0 511990915 115843072 369 33554432000 4194304 5098028 140720538120640 140720538117384 139995456828028 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 40681472 140720538125092 140720538125420 140720538125420 140720538128333 0 /proc/20039/statm: 28282 369 311 221 0 87 0 [pid=20062] ppid=20039 vsize=8414124 memory=122808 CPUtime=1.32 cores=0-7 /proc/20062/stat : 20062 (java) S 20039 20039 14862 0 -1 1077944320 21150 0 0 0 124 8 0 0 20 0 24 0 511992385 8616062976 30702 33554432000 4194304 4196468 140723108837088 140723108819632 140247407644407 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 /proc/20062/statm: 2103531 30702 3207 1 0 2064875 0 [pid=20062/tid=20063] ppid=20039 vsize=8414124 memory=14133350919046965 CPUtime=0.76 cores=0-7 /proc/20062/task/20063/stat : 20063 (java) S 20039 20039 14862 0 -1 1077944384 17291 0 0 0 71 5 0 0 20 0 24 0 511992385 8616062976 30702 33554432000 4194304 4196468 140723108837088 140247379484576 140247407654613 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20064] ppid=20039 vsize=8414124 memory=279689077795808 CPUtime=0 cores=0-7 /proc/20062/task/20064/stat : 20064 (java) S 20039 20039 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511992386 8616062976 30702 33554432000 4194304 4196468 140723108837088 140247411886480 140247407654613 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20065] ppid=20039 vsize=8414124 memory=7309178837960058450 CPUtime=0 cores=0-7 /proc/20062/task/20065/stat : 20065 (java) S 20039 20039 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511992386 8616062976 30702 33554432000 4194304 4196468 140723108837088 140247212054800 140247407654613 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20066] ppid=20039 vsize=8414124 memory=7594878121047048300 CPUtime=0 cores=0-7 /proc/20062/task/20066/stat : 20066 (java) S 20039 20039 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511992386 8616062976 30702 33554432000 4194304 4196468 140723108837088 140247211002512 140247407654613 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20067] ppid=20039 vsize=8414124 memory=7228928657758118464 CPUtime=0 cores=0-7 /proc/20062/task/20067/stat : 20067 (java) S 20039 20039 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511992386 8616062976 30702 33554432000 4194304 4196468 140723108837088 140247209949712 140247407654613 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20068] ppid=20039 vsize=8414124 memory=7649399388593205298 CPUtime=0 cores=0-7 /proc/20062/task/20068/stat : 20068 (java) S 20039 20039 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511992386 8616062976 30702 33554432000 4194304 4196468 140723108837088 140247208897424 140247407654613 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20069] ppid=20039 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/20062/task/20069/stat : 20069 (java) S 20039 20039 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511992386 8616062976 30702 33554432000 4194304 4196468 140723108837088 140247207844624 140247407654613 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20070] ppid=20039 vsize=8414124 memory=3472873653726619857 CPUtime=0 cores=0-7 /proc/20062/task/20070/stat : 20070 (java) S 20039 20039 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511992386 8616062976 30702 33554432000 4194304 4196468 140723108837088 140247206792336 140247407654613 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20071] ppid=20039 vsize=8414124 memory=15908 CPUtime=0 cores=0-7 /proc/20062/task/20071/stat : 20071 (java) S 20039 20039 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511992386 8616062976 30702 33554432000 4194304 4196468 140723108837088 140247205739536 140247407654613 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20072] ppid=20039 vsize=8414124 memory=5789774589928170073 CPUtime=0 cores=0-7 /proc/20062/task/20072/stat : 20072 (java) S 20039 20039 14862 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 511992388 8616062976 30702 33554432000 4194304 4196468 140723108837088 140246568061040 140247407655554 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20073] ppid=20039 vsize=8414124 memory=7588953776216631360 CPUtime=0 cores=0-7 /proc/20062/task/20073/stat : 20073 (java) S 20039 20039 14862 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511992388 8616062976 30702 33554432000 4194304 4196468 140723108837088 140246050136864 140247407654613 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20074] ppid=20039 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/20062/task/20074/stat : 20074 (java) S 20039 20039 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511992388 8616062976 30702 33554432000 4194304 4196468 140723108837088 140245781701744 140247407654613 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20075] ppid=20039 vsize=8414124 memory=1560 CPUtime=0 cores=0-7 /proc/20062/task/20075/stat : 20075 (java) S 20039 20039 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511992391 8616062976 30702 33554432000 4194304 4196468 140723108837088 140245407193168 140247407663003 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20076] ppid=20039 vsize=8414124 memory=976 CPUtime=0.1 cores=0-7 /proc/20062/task/20076/stat : 20076 (java) S 20039 20039 14862 0 -1 1077944384 1002 0 0 0 10 0 0 0 20 0 24 0 511992391 8616062976 30702 33554432000 4194304 4196468 140723108837088 140246567008880 140247407655554 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20077] ppid=20039 vsize=8414124 memory=772 CPUtime=0.07 cores=0-7 /proc/20062/task/20077/stat : 20077 (java) S 20039 20039 14862 0 -1 1077944384 318 0 0 0 7 0 0 0 20 0 24 0 511992391 8616062976 30702 33554432000 4194304 4196468 140723108837088 140246565956080 140247407655554 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20078] ppid=20039 vsize=8414124 memory=3616 CPUtime=0.09 cores=0-7 /proc/20062/task/20078/stat : 20078 (java) S 20039 20039 14862 0 -1 1077944384 288 0 0 0 9 0 0 0 20 0 24 0 511992391 8616062976 30702 33554432000 4194304 4196468 140723108837088 140246564903792 140247407655554 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20079] ppid=20039 vsize=8414124 memory=2832 CPUtime=0.22 cores=0-7 /proc/20062/task/20079/stat : 20079 (java) S 20039 20039 14862 0 -1 1077944384 839 0 0 0 22 0 0 0 20 0 24 0 511992391 8616062976 30702 33554432000 4194304 4196468 140723108837088 140246563850992 140247407655554 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20080] ppid=20039 vsize=8414124 memory=1548 CPUtime=0 cores=0-7 /proc/20062/task/20080/stat : 20080 (java) S 20039 20039 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511992391 8616062976 30702 33554432000 4194304 4196468 140723108837088 140244909287776 140247407654613 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20081] ppid=20039 vsize=8414124 memory=1056 CPUtime=0 cores=0-7 /proc/20062/task/20081/stat : 20081 (java) S 20039 20039 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511992391 8616062976 30702 33554432000 4194304 4196468 140723108837088 140246562797872 140247407655554 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20083] ppid=20039 vsize=8414124 memory=744 CPUtime=0 cores=0-7 /proc/20062/task/20083/stat : 20083 (java) S 20039 20039 14862 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511992458 8616062976 30702 33554432000 4194304 4196468 140723108837088 140246554764608 140247407669017 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20085] ppid=20039 vsize=8414124 memory=8444 CPUtime=0.01 cores=0-7 /proc/20062/task/20085/stat : 20085 (java) S 20039 20039 14862 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 24 0 511992458 8616062976 30702 33554432000 4194304 4196468 140723108837088 140244238188464 140247407666333 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20086] ppid=20039 vsize=8414124 memory=6172 CPUtime=0 cores=0-7 /proc/20062/task/20086/stat : 20086 (java) S 20039 20039 14862 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 511992458 8616062976 30702 33554432000 4194304 4196468 140723108837088 140244506623760 140247407666333 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 [pid=20062/tid=20087] ppid=20039 vsize=8414124 memory=139844538727217 CPUtime=0 cores=0-7 /proc/20062/task/20087/stat : 20087 (java) S 20039 20039 14862 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 511992460 8616062976 30702 33554432000 4194304 4196468 140723108837088 140243969761072 140247407654613 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17801216 140723108844535 140723108844694 140723108844694 140723108847567 0 Current children cumulated CPU time: 23.43 s Current children cumulated vsize: 8527252 KiB Current children cumulated memory: 124284 KiB Child status: 0 Real time (s): 40.2378 CPU time (s): 157.049 CPU user time (s): 152.93 CPU system time (s): 4.11936 CPU usage (%): 390.302 Max. virtual memory (cumulated for all children) (KiB): 27441876 Max. memory (cumulated for all children) (KiB): 5923856 getrusage(RUSAGE_CHILDREN,...) data: user time used= 152.93 system time used= 4.11935 maximum resident set size= 5923992 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1193088 page faults= 0 swaps= 0 block input operations= 0 block output operations= 131128 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 46368 involuntary context switches= 1334 # summary of solver processes directly reported to runsolver: # pid: 20039 # total CPU time (s): 157.049 # total CPU user time (s): 152.93 # total CPU system time (s): 4.11936 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.33838 second user time and 0.529368 second system time The end
Begin job on node151 at 2019-09-24 22:32:35 IDJOB=4405523 IDBENCH=138439 IDSOLVER=2868 FILE ID=node151/4405523-1569357196 RUNJOBID= node151-1569351215-14889 PBS_JOBID= 21705099 Free space on /tmp= 12412 MiB SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22) BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-os10/SuperTaillard-os-10-21.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405523-1569357196/watcher-4405523-1569357196 -o /tmp/evaluation-result-4405523-1569357196/solver-4405523-1569357196 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569351215-14889 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405523-1569357196.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= ab3cfdf6220e1af184bc3e02e1fbde1d RANDOM SEED=1341098531 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: 23328400 kB MemAvailable: 31795544 kB Buffers: 102696 kB Cached: 8524256 kB SwapCached: 50724 kB Active: 2759840 kB Inactive: 5923636 kB Active(anon): 4624 kB Inactive(anon): 106076 kB Active(file): 2755216 kB Inactive(file): 5817560 kB Unevictable: 107680 kB Mlocked: 107680 kB SwapTotal: 67108860 kB SwapFree: 66956516 kB Dirty: 20296 kB Writeback: 0 kB AnonPages: 121700 kB Mapped: 54424 kB Shmem: 45980 kB Slab: 351900 kB SReclaimable: 322828 kB SUnreclaim: 29072 kB KernelStack: 3728 kB PageTables: 5684 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: 77824 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:33:16