Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP hybrid+ManyGlucose (2019-06-15) | SAT | 92.9069 | 32.249 |
Name | SuperSolutions/SuperSolutions-Taillard-os10/ SuperTaillard-os-10-01.xml |
MD5SUM | a0db4e7a601eb58dee5216b17e791c99 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 41.2819 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 200 |
Number of constraints | 2800 |
Number of domains | 65 |
Minimum domain size | 548 |
Maximum domain size | 643 |
Distribution of domain sizes | [{"size":548,"count":6},{"size":549,"count":6},{"size":550,"count":4},{"size":551,"count":2},{"size":552,"count":4},{"size":553,"count":2},{"size":554,"count":2},{"size":555,"count":2},{"size":556,"count":2},{"size":558,"count":2},{"size":559,"count":8},{"size":560,"count":2},{"size":561,"count":2},{"size":562,"count":6},{"size":563,"count":2},{"size":565,"count":2},{"size":572,"count":2},{"size":573,"count":4},{"size":574,"count":2},{"size":575,"count":2},{"size":576,"count":4},{"size":577,"count":2},{"size":578,"count":8},{"size":579,"count":2},{"size":580,"count":2},"...",{"size":603,"count":2}, {"size":604,"count":2}, {"size":605,"count":2}, {"size":606,"count":2}, {"size":607,"count":6}, {"size":608,"count":4}, {"size":611,"count":4}, {"size":612,"count":2}, {"size":614,"count":4}, {"size":616,"count":6}, {"size":617,"count":2}, {"size":619,"count":2}, {"size":620,"count":2}, {"size":621,"count":2}, {"size":623,"count":2}, {"size":625,"count":2}, {"size":627,"count":4}, {"size":628,"count":2}, {"size":629,"count":2}, {"size":633,"count":6}, {"size":634,"count":2}, {"size":637,"count":2}, {"size":639,"count":4}, {"size":642,"count":2}, {"size":643,"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-16543-serial-file.bin HOME/instance-4392610-1568441960.xml 0.64/0.54 0.64/0.54 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 0.64/0.54 0.64/0.56 c BEGIN-Prog: Sat Sep 14 08:18:39 CEST 2019 0.64/0.56 c PID: 16546 0.64/0.56 c IP: 172.20.3.141 0.64/0.56 c HOST: node141.alineos.net 0.64/0.57 c (0,0) Parsing Begin 4.39/1.58 c (1,1) Parsing End 4.39/1.59 c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 643 4.39/1.59 c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 4.39/1.59 c (1,1) Constraint Name Generate Begin 4.81/1.62 c (1,1) Ctr:HOME/instance-4392610-1568441960.xml,Add:Le:Ne:Num:Or:Var 4.81/1.62 c (1,1) Constraint Name Generate End 4.81/1.62 c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 4.81/1.62 c (1,1) CSP to CSPinCNF Begin 5.57/1.85 c (1,1) translated 280 (10%) constraints 5.57/1.90 c (1,1) translated 560 (20%) constraints 5.86/1.93 c (1,1) translated 840 (30%) constraints 5.86/1.96 c (1,1) translated 1120 (40%) constraints 5.86/1.98 c (1,1) translated 1400 (50%) constraints 5.86/2.00 c (1,1) translated 1680 (60%) constraints 6.26/2.03 c (1,1) translated 1960 (70%) constraints 6.26/2.05 c (1,1) translated 2240 (80%) constraints 6.26/2.07 c (1,1) translated 2520 (90%) constraints 6.26/2.09 c (1,1) translated 2800 (100%) constraints 6.26/2.09 c (1,1) =========================================== 6.65/2.11 c (1,1) Hybrid: #OE=200, #LE=0 6.65/2.11 c (1,1) Hybrid 6.65/2.11 c (1,1) =========================================== 6.65/2.14 c (1,1) translated 280 (10%) constraints 6.65/2.16 c (1,1) translated 560 (20%) constraints 6.65/2.17 c (1,1) translated 840 (30%) constraints 6.65/2.18 c (1,1) translated 1120 (40%) constraints 7.04/2.20 c (1,1) translated 1400 (50%) constraints 7.04/2.21 c (1,1) translated 1680 (60%) constraints 7.04/2.23 c (1,1) translated 1960 (70%) constraints 7.04/2.24 c (1,1) translated 2240 (80%) constraints 7.04/2.25 c (1,1) translated 2520 (90%) constraints 7.04/2.27 c (1,1) translated 2800 (100%) constraints 7.04/2.28 c (1,1) CSP to CSPinCNF End 7.04/2.28 c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 643 7.04/2.28 c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB) 7.04/2.28 c (1,1) CSPinCNF Propagation Begin 7.47/2.34 c (1,1) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed 7.47/2.34 c (1,1) CSPinCNF Propagation End 7.47/2.34 c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 643 7.47/2.34 c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 7.47/2.35 c (1,1) Hybrid: #OE=200, #LE=0 7.47/2.35 c (1,1) Simplify CSPinCNF Begin 8.17/2.54 c (1,1) Simplify CSPinCNF End 8.17/2.54 c (2,1) CSP: 200 int (0 aux), 5600 bool (5600 aux), 8400 ctr, max domain size 643 8.17/2.54 c (2,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 8.17/2.54 c (2,1) Calculate Precise Domain Begin 8.17/2.54 c (2,1) 0 values are removed by re-calculation 8.17/2.54 c (2,1) Calculate Precise Domain End 8.17/2.54 c (2,1) CSP: 200 int (0 aux), 5600 bool (5600 aux), 8400 ctr, max domain size 643 8.17/2.54 c (2,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 8.17/2.55 c (2,1) CSPinCNF to SatSolver Begin 11.85/4.32 c (3,3) 840 (10 %) CSP clauses are encoded (0 SAT variables, 423492 SAT clauses) 13.08/5.54 c (4,4) 1680 (20 %) CSP clauses are encoded (0 SAT variables, 717714 SAT clauses) 14.34/6.76 c (6,6) 2520 (30 %) CSP clauses are encoded (0 SAT variables, 1014250 SAT clauses) 15.56/7.99 c (7,7) 3360 (40 %) CSP clauses are encoded (0 SAT variables, 1311035 SAT clauses) 17.06/9.27 c (8,8) 4200 (50 %) CSP clauses are encoded (0 SAT variables, 1618554 SAT clauses) 18.16/10.36 c (9,9) 5040 (60 %) CSP clauses are encoded (0 SAT variables, 1919667 SAT clauses) 19.29/11.43 c (10,10) 5880 (70 %) CSP clauses are encoded (0 SAT variables, 2218718 SAT clauses) 20.45/12.53 c (11,11) 6720 (80 %) CSP clauses are encoded (0 SAT variables, 2522742 SAT clauses) 21.54/13.60 c (13,13) 7560 (90 %) CSP clauses are encoded (0 SAT variables, 2822832 SAT clauses) 22.92/14.75 c (14,14) 8400 (100 %) CSP clauses are encoded (0 SAT variables, 3134154 SAT clauses) 22.92/14.75 c (14,14) CSPinCNF to SatSolver End 22.92/14.75 c (14,14) Heap : 245 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB) 22.92/14.75 c (14,14) 123434 bool, 3134704 clause 22.92/14.75 c (14,14) Export Begin 23.03/14.85 c (14,14) Export to HOME/scop-16543-serial-file.bin 23.03/14.85 c (14,14) Export End 23.03/14.85 c (14,14) Export File Size: 0.03 MB 23.03/14.85 c (14,14) 1,1,1,1,2,2,14,STOP-AFTER(DIMACS) 23.03/14.85 c END-Prog: Sat Sep 14 08:18:53 CEST 2019 23.03/14.89 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-16543-serial-file.bin 23.72/15.35 c (0,0) Read Serial File Begin 23.72/15.35 c (0,0) HOME/scop-16543-serial-file.bin 23.98/15.57 c (0,0) Read Serial File End 23.98/15.58 23.98/15.58 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 23.98/15.58 (Solving Process) 23.98/15.58 24.22/15.60 c BEGIN-Prog: Sat Sep 14 08:18:54 CEST 2019 24.22/15.60 c PID: 16568 24.22/15.61 c IP: 172.20.3.141 24.22/15.61 c HOST: node141.alineos.net 24.22/15.61 c (0,0) SatSolver.solve Begin 24.22/15.61 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392610-1568441960.xml-scop-16546.cnf 24.22/15.64 c (0,0) c 24.22/15.64 c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 24.22/15.64 c (0,0) c 24.22/15.64 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 24.22/15.64 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 24.22/15.64 c (0,0) c ========================================[ Problem Statistics ]=========================================== 24.22/15.64 c (0,0) c | | 25.50/16.74 c (1,0) c | Number of variables: 123434 | 25.50/16.74 c (1,0) c | Number of clauses: 3134704 | 25.70/16.91 c (1,0) c | Parse time: 1.02 s | 25.70/16.91 c (1,0) c | | 32.00/23.28 c (7,0) c | Simplification time: 6.44 s | 32.00/23.28 c (7,0) c | | 32.00/23.28 c (7,0) c | Generating clones | 32.91/24.13 c (8,0) c | all clones generated. Memory = 2144.30Mb. | 32.91/24.13 c (8,0) c ========================================================================================================| 32.91/24.13 c (8,0) c 32.91/24.13 c (8,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 32.91/24.13 c (8,0) c 32.91/24.13 c (8,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 32.91/24.13 c (8,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 32.91/24.13 c (8,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 32.91/24.13 c (8,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 32.91/24.13 c (8,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 32.91/24.13 c (8,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 32.91/24.13 c (8,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 32.91/24.13 c (8,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 32.91/24.13 c (8,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 32.91/24.13 c (8,0) c | glureduce | True | True | True | True | True | True | True | True | 32.91/24.13 c (8,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 32.91/24.13 c (8,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 32.91/24.13 c (8,0) c | luby_restart | False | False | False | False | False | False | False | False | 32.91/24.13 c (8,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 32.91/24.13 c (8,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 32.91/24.13 c (8,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 32.91/24.13 c (8,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 32.91/24.13 c (8,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 32.91/24.13 c (8,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 92.06/31.96 c (16,0) c 92.06/31.96 c (16,0) c real time : 16.3257 s 92.06/31.96 c (16,0) c cpu time : 64.1422 s 92.06/31.96 c (16,0) c 92.06/31.96 c (16,0) c 92.06/31.96 c (16,0) c 92.06/31.96 c (16,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 92.06/31.96 c (16,0) c 92.06/31.96 c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 92.06/31.96 c (16,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 92.06/31.96 c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 92.06/31.96 c (16,0) c | Conflicts | 25160 | 3700 | 3719 | 2733 | 2386 | 2345 | 4492 | 2753 | 3032 | 92.06/31.96 c (16,0) c | Decisions | 70375 | 9750 | 11095 | 8420 | 7392 | 7548 | 9337 | 9629 | 7204 | 92.06/31.96 c (16,0) c | Propagations | 76995219 | 9479222 | 9573651 | 9192465 | 9776499 | 9725300 | 10880983 | 8816012 | 9551087 | 92.06/31.96 c (16,0) c | ReduceDBs | 8 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 92.06/31.96 c (16,0) c | SimpDBs | 8 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 92.06/31.96 c (16,0) c | Restarts | 165 | 17 | 30 | 23 | 18 | 16 | 18 | 25 | 18 | 92.06/31.96 c (16,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 92.06/31.96 c (16,0) c | PropBinClauses| 87626146 | 10744948 | 11004838 | 10468570 | 11035047 | 11188868 | 12181637 | 10091916 | 10910322 | 92.06/31.96 c (16,0) c | PropPreBlocker| 1535915868 | 184576645 | 183210773 | 189030764 | 191504028 | 213062502 | 203146894 | 174948852 | 196435410 | 92.06/31.96 c (16,0) c | PropNotBlocker| 415503949 | 50218292 | 53661813 | 52986245 | 49390137 | 53137622 | 54820315 | 49375340 | 51914185 | 92.06/31.96 c (16,0) c | LitFullScans | 2122936139 | 255970196 | 258024834 | 262309795 | 262588691 | 288120893 | 282033533 | 243829138 | 270059059 | 92.06/31.96 c (16,0) c | LitScanFracts | 174840 | 21519 | 22263 | 14733 | 15086 | 28834 | 24692 | 21390 | 26323 | 92.06/31.96 c (16,0) c | DecisionLevel0| 165 | 17 | 30 | 23 | 18 | 16 | 18 | 25 | 18 | 92.06/31.96 c (16,0) c | Periods | 351 | 42 | 43 | 43 | 43 | 48 | 47 | 40 | 45 | 92.06/31.96 c (16,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 92.06/31.96 c (16,0) c | Avg_Trail | | 32236 | 31554 | 37103 | 40486 | 54481 | 31098 | 30056 | 40863 | 92.06/31.96 c (16,0) c | Avg_DL | | 92 | 68 | 69 | 64 | 81 | 52 | 58 | 60 | 92.06/31.96 c (16,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 92.06/31.96 c (16,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 92.06/31.96 c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 92.06/31.96 c (16,0) c | Exported | 1249 | 157 | 228 | 144 | 95 | 117 | 204 | 130 | 174 | 92.06/31.96 c (16,0) c | Imported | 4998 | 596 | 578 | 603 | 666 | 776 | 645 | 503 | 631 | 92.06/31.96 c (16,0) c | Good | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 92.06/31.96 c (16,0) c | Purge | 4998 | 596 | 578 | 603 | 666 | 776 | 645 | 503 | 631 | 92.06/31.96 c (16,0) c | Promoted | 67 | 5 | 11 | 1 | 5 | 23 | 8 | 9 | 5 | 92.06/31.96 c (16,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 92.06/31.96 c (16,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 92.06/31.96 c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 92.06/31.96 c (16,0) c | Unaries | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 92.06/31.96 c (16,0) c | Binaries | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 92.06/31.96 c (16,0) c | Glues | | 157 | 228 | 144 | 95 | 117 | 204 | 130 | 174 | 92.06/31.96 c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 92.06/31.96 c (16,0) c | Orig_Seen | 1 % | 40812 | 39275 | 34638 | 32758 | 34412 | 43905 | 35949 | 37429 | 92.06/31.96 c (16,0) c | Diff Orig seen| | 4863 | 3326 | - 1311 | - 3191 | - 1537 | 7956 | X | 1480 | 92.06/31.96 c (16,0) c | Hamming | 32 % | 36669 | 38598 | 39712 | 47137 | 39585 | 38066 | X | 37181 | 92.06/31.96 c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 92.06/31.96 c (16,0) c | RunningTime | | 7.8 100%| 7.7 100%| 7.5 100%| 7.5 100%| 7.6 100%| 7.6 100%| 7.8 100%| 7.5 100%| 92.06/31.96 c (16,0) c | WaitingTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 92.06/31.96 c (16,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%| 92.06/31.96 c (16,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%| 92.06/31.96 c (16,0) c | SolvingTime | | 7.8 | 7.8 | 7.5 | 7.5 | 7.6 | 7.6 | 7.8 | 7.5 | 92.06/31.96 c (16,0) c | PropagationTim| | 7.5 96%| 7.5 97%| 7.3 97%| 7.2 96%| 7.3 97%| 7.3 96%| 7.5 97%| 7.3 97%| 92.06/31.96 c (16,0) c | AnalysisTime | | 0.1 2%| 0.1 1%| 0.1 1%| 0.1 2%| 0.1 2%| 0.1 2%| 0.1 2%| 0.1 2%| 92.06/31.96 c (16,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%| 92.06/31.96 c (16,0) c | SimplifyTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 92.06/31.96 c (16,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%| 92.06/31.96 c (16,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%| 92.06/31.96 c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 92.06/31.96 c (16,0) c 92.06/31.96 c (16,0) c 92.06/31.96 c (16,0) c Threads : 8 92.06/31.96 c (16,0) c Winner : 6 92.06/31.96 c (16,0) c Conflicts_0 : 3700 92.06/31.96 c (16,0) c Conflicts_1 : 3719 92.06/31.96 c (16,0) c Conflicts_2 : 2733 92.06/31.96 c (16,0) c Conflicts_3 : 2386 92.06/31.96 c (16,0) c Conflicts_4 : 2345 92.06/31.96 c (16,0) c Conflicts_5 : 4492 92.06/31.96 c (16,0) c Conflicts_6 : 2753 92.06/31.96 c (16,0) c Conflicts_7 : 3032 92.06/31.96 c (16,0) c Conflicts_total : 25160 92.06/31.96 c (16,0) c Conflicts_winner : 2753 92.06/31.96 c (16,0) c Decisions_0 : 9750 92.06/31.96 c (16,0) c Decisions_1 : 11095 92.06/31.96 c (16,0) c Decisions_2 : 8420 92.06/31.96 c (16,0) c Decisions_3 : 7392 92.06/31.96 c (16,0) c Decisions_4 : 7548 92.06/31.96 c (16,0) c Decisions_5 : 9337 92.06/31.96 c (16,0) c Decisions_6 : 9629 92.06/31.96 c (16,0) c Decisions_7 : 7204 92.06/31.96 c (16,0) c Decisions_total : 70375 92.06/31.96 c (16,0) c Decisions_winner : 9629 92.06/31.96 c (16,0) c Propagations_0 : 9479222 92.06/31.96 c (16,0) c Propagations_1 : 9573651 92.06/31.96 c (16,0) c Propagations_2 : 9192465 92.06/31.96 c (16,0) c Propagations_3 : 9776499 92.06/31.96 c (16,0) c Propagations_4 : 9725300 92.06/31.96 c (16,0) c Propagations_5 : 10880983 92.06/31.96 c (16,0) c Propagations_6 : 8816012 92.06/31.96 c (16,0) c Propagations_7 : 9551087 92.06/31.96 c (16,0) c Propagations_total : 76995219 92.06/31.96 c (16,0) c Propagations_winner : 8816012 92.06/31.96 c (16,0) c ReduceDBs_0 : 1 92.06/31.96 c (16,0) c ReduceDBs_1 : 1 92.06/31.96 c (16,0) c ReduceDBs_2 : 1 92.06/31.96 c (16,0) c ReduceDBs_3 : 1 92.06/31.96 c (16,0) c ReduceDBs_4 : 1 92.06/31.96 c (16,0) c ReduceDBs_5 : 1 92.06/31.96 c (16,0) c ReduceDBs_6 : 1 92.06/31.96 c (16,0) c ReduceDBs_7 : 1 92.06/31.96 c (16,0) c ReduceDBs_total : 8 92.06/31.96 c (16,0) c ReduceDBs_winner : 1 92.06/31.96 c (16,0) c SimpDBs_0 : 1 92.06/31.96 c (16,0) c SimpDBs_1 : 1 92.06/31.96 c (16,0) c SimpDBs_2 : 1 92.06/31.96 c (16,0) c SimpDBs_3 : 1 92.06/31.96 c (16,0) c SimpDBs_4 : 1 92.06/31.96 c (16,0) c SimpDBs_5 : 1 92.06/31.96 c (16,0) c SimpDBs_6 : 1 92.06/31.96 c (16,0) c SimpDBs_7 : 1 92.06/31.96 c (16,0) c SimpDBs_total : 8 92.06/31.96 c (16,0) c SimpDBs_winner : 1 92.06/31.96 c (16,0) c Restarts_0 : 17 92.06/31.96 c (16,0) c Restarts_1 : 30 92.06/31.96 c (16,0) c Restarts_2 : 23 92.06/31.96 c (16,0) c Restarts_3 : 18 92.06/31.96 c (16,0) c Restarts_4 : 16 92.06/31.96 c (16,0) c Restarts_5 : 18 92.06/31.96 c (16,0) c Restarts_6 : 25 92.06/31.96 c (16,0) c Restarts_7 : 18 92.06/31.96 c (16,0) c Restarts_total : 165 92.06/31.96 c (16,0) c Restarts_winner : 25 92.06/31.96 c (16,0) c ForcedImports_0 : 0 92.06/31.96 c (16,0) c ForcedImports_1 : 0 92.06/31.96 c (16,0) c ForcedImports_2 : 0 92.06/31.96 c (16,0) c ForcedImports_3 : 0 92.06/31.96 c (16,0) c ForcedImports_4 : 0 92.06/31.96 c (16,0) c ForcedImports_5 : 0 92.06/31.96 c (16,0) c ForcedImports_6 : 0 92.06/31.96 c (16,0) c ForcedImports_7 : 0 92.06/31.96 c (16,0) c ForcedImports_total : 0 92.06/31.96 c (16,0) c ForcedImports_winner : 0 92.06/31.96 c (16,0) c PropsBinClauses_0 : 10744948 92.06/31.96 c (16,0) c PropsBinClauses_1 : 11004838 92.06/31.96 c (16,0) c PropsBinClauses_2 : 10468570 92.06/31.96 c (16,0) c PropsBinClauses_3 : 11035047 92.06/31.96 c (16,0) c PropsBinClauses_4 : 11188868 92.06/31.96 c (16,0) c PropsBinClauses_5 : 12181637 92.06/31.97 c (16,0) c PropsBinClauses_6 : 10091916 92.06/31.97 c (16,0) c PropsBinClauses_7 : 10910322 92.06/31.97 c (16,0) c PropsBinClauses_total : 87626146 92.06/31.97 c (16,0) c PropsBinClauses_winner : 10091916 92.06/31.97 c (16,0) c PropsPreBlocker_0 : 184576645 92.06/31.97 c (16,0) c PropsPreBlocker_1 : 183210773 92.06/31.97 c (16,0) c PropsPreBlocker_2 : 189030764 92.06/31.97 c (16,0) c PropsPreBlocker_3 : 191504028 92.06/31.97 c (16,0) c PropsPreBlocker_4 : 213062502 92.06/31.97 c (16,0) c PropsPreBlocker_5 : 203146894 92.06/31.97 c (16,0) c PropsPreBlocker_6 : 174948852 92.06/31.97 c (16,0) c PropsPreBlocker_7 : 196435410 92.06/31.97 c (16,0) c PropsPreBlocker_total : 1535915868 92.06/31.97 c (16,0) c PropsPreBlocker_winner : 174948852 92.06/31.97 c (16,0) c PropsNotBlocker_0 : 50218292 92.06/31.97 c (16,0) c PropsNotBlocker_1 : 53661813 92.06/31.97 c (16,0) c PropsNotBlocker_2 : 52986245 92.06/31.97 c (16,0) c PropsNotBlocker_3 : 49390137 92.06/31.97 c (16,0) c PropsNotBlocker_4 : 53137622 92.06/31.97 c (16,0) c PropsNotBlocker_5 : 54820315 92.06/31.97 c (16,0) c PropsNotBlocker_6 : 49375340 92.06/31.97 c (16,0) c PropsNotBlocker_7 : 51914185 92.06/31.97 c (16,0) c PropsNotBlocker_total : 415503949 92.06/31.97 c (16,0) c PropsNotBlocker_winner : 49375340 92.06/31.97 c (16,0) c PropsLitFullScans_0 : 255970196 92.06/31.97 c (16,0) c PropsLitFullScans_1 : 258024834 92.06/31.97 c (16,0) c PropsLitFullScans_2 : 262309795 92.06/31.97 c (16,0) c PropsLitFullScans_3 : 262588691 92.06/31.97 c (16,0) c PropsLitFullScans_4 : 288120893 92.06/31.97 c (16,0) c PropsLitFullScans_5 : 282033533 92.06/31.97 c (16,0) c PropsLitFullScans_6 : 243829138 92.06/31.97 c (16,0) c PropsLitFullScans_7 : 270059059 92.06/31.97 c (16,0) c PropsLitFullScans_total : 2122936139 92.06/31.97 c (16,0) c PropsLitFullScans_winner : 243829138 92.06/31.97 c (16,0) c LitScanFractions_0 : 21519 92.06/31.97 c (16,0) c LitScanFractions_1 : 22263 92.06/31.97 c (16,0) c LitScanFractions_2 : 14733 92.06/31.97 c (16,0) c LitScanFractions_3 : 15086 92.06/31.97 c (16,0) c LitScanFractions_4 : 28834 92.06/31.97 c (16,0) c LitScanFractions_5 : 24692 92.06/31.97 c (16,0) c LitScanFractions_6 : 21390 92.06/31.97 c (16,0) c LitScanFractions_7 : 26323 92.06/31.97 c (16,0) c LitScanFractions_total : 174840 92.06/31.97 c (16,0) c LitScanFractions_winner : 21390 92.06/31.97 c (16,0) c DecisionLevel0_0 : 17 92.06/31.97 c (16,0) c DecisionLevel0_1 : 30 92.06/31.97 c (16,0) c DecisionLevel0_2 : 23 92.06/31.97 c (16,0) c DecisionLevel0_3 : 18 92.06/31.97 c (16,0) c DecisionLevel0_4 : 16 92.06/31.97 c (16,0) c DecisionLevel0_5 : 18 92.06/31.97 c (16,0) c DecisionLevel0_6 : 25 92.06/31.97 c (16,0) c DecisionLevel0_7 : 18 92.06/31.97 c (16,0) c DecisionLevel0_total : 165 92.06/31.97 c (16,0) c DecisionLevel0_winner : 25 92.06/31.97 c (16,0) c Periods_0 : 42 92.06/31.97 c (16,0) c Periods_1 : 43 92.06/31.97 c (16,0) c Periods_2 : 43 92.06/31.97 c (16,0) c Periods_3 : 43 92.06/31.97 c (16,0) c Periods_4 : 48 92.06/31.97 c (16,0) c Periods_5 : 47 92.06/31.97 c (16,0) c Periods_6 : 40 92.06/31.97 c (16,0) c Periods_7 : 45 92.06/31.97 c (16,0) c Periods_total : 351 92.06/31.97 c (16,0) c Periods_winner : 40 92.06/31.97 c (16,0) c Margin_0 : 20 92.06/31.97 c (16,0) c Margin_1 : 20 92.06/31.97 c (16,0) c Margin_2 : 20 92.06/31.97 c (16,0) c Margin_3 : 20 92.06/31.97 c (16,0) c Margin_4 : 20 92.06/31.97 c (16,0) c Margin_5 : 20 92.06/31.97 c (16,0) c Margin_6 : 20 92.06/31.97 c (16,0) c Margin_7 : 20 92.06/31.97 c (16,0) c Margin_total : 160 92.06/31.97 c (16,0) c Margin_winner : 20 92.06/31.97 c (16,0) c Exported_0 : 157 92.06/31.97 c (16,0) c Exported_1 : 228 92.06/31.97 c (16,0) c Exported_2 : 144 92.06/31.97 c (16,0) c Exported_3 : 95 92.06/31.97 c (16,0) c Exported_4 : 117 92.06/31.97 c (16,0) c Exported_5 : 204 92.06/31.97 c (16,0) c Exported_6 : 130 92.06/31.97 c (16,0) c Exported_7 : 174 92.06/31.97 c (16,0) c Exported_total : 1249 92.06/31.97 c (16,0) c Exported_winner : 130 92.06/31.97 c (16,0) c Imported_0 : 596 92.06/31.97 c (16,0) c Imported_1 : 578 92.06/31.97 c (16,0) c Imported_2 : 603 92.06/31.97 c (16,0) c Imported_3 : 666 92.06/31.97 c (16,0) c Imported_4 : 776 92.06/31.97 c (16,0) c Imported_5 : 645 92.06/31.97 c (16,0) c Imported_6 : 503 92.06/31.97 c (16,0) c Imported_7 : 631 92.06/31.97 c (16,0) c Imported_total : 4998 92.06/31.97 c (16,0) c Imported_winner : 503 92.06/31.97 c (16,0) c Good_0 : 0 92.06/31.97 c (16,0) c Good_1 : 0 92.06/31.97 c (16,0) c Good_2 : 0 92.06/31.97 c (16,0) c Good_3 : 0 92.06/31.97 c (16,0) c Good_4 : 0 92.06/31.97 c (16,0) c Good_5 : 0 92.06/31.97 c (16,0) c Good_6 : 0 92.06/31.97 c (16,0) c Good_7 : 0 92.06/31.97 c (16,0) c Good_total : 0 92.06/31.97 c (16,0) c Good_winner : 0 92.06/31.97 c (16,0) c Purge_0 : 596 92.06/31.97 c (16,0) c Purge_1 : 578 92.06/31.97 c (16,0) c Purge_2 : 603 92.06/31.97 c (16,0) c Purge_3 : 666 92.06/31.97 c (16,0) c Purge_4 : 776 92.06/31.97 c (16,0) c Purge_5 : 645 92.06/31.97 c (16,0) c Purge_6 : 503 92.06/31.97 c (16,0) c Purge_7 : 631 92.06/31.97 c (16,0) c Purge_total : 4998 92.06/31.97 c (16,0) c Purge_winner : 503 92.06/31.97 c (16,0) c Promoted_0 : 5 92.06/31.97 c (16,0) c Promoted_1 : 11 92.06/31.97 c (16,0) c Promoted_2 : 1 92.06/31.97 c (16,0) c Promoted_3 : 5 92.06/31.97 c (16,0) c Promoted_4 : 23 92.06/31.97 c (16,0) c Promoted_5 : 8 92.06/31.97 c (16,0) c Promoted_6 : 9 92.06/31.97 c (16,0) c Promoted_7 : 5 92.06/31.97 c (16,0) c Promoted_total : 67 92.06/31.97 c (16,0) c Promoted_winner : 9 92.06/31.97 c (16,0) c Remove_Imp_0 : 0 92.06/31.97 c (16,0) c Remove_Imp_1 : 0 92.06/31.97 c (16,0) c Remove_Imp_2 : 0 92.06/31.97 c (16,0) c Remove_Imp_3 : 0 92.06/31.97 c (16,0) c Remove_Imp_4 : 0 92.06/31.97 c (16,0) c Remove_Imp_5 : 0 92.06/31.97 c (16,0) c Remove_Imp_6 : 0 92.06/31.97 c (16,0) c Remove_Imp_7 : 0 92.06/31.97 c (16,0) c Remove_Imp_total : 0 92.06/31.97 c (16,0) c Remove_Imp_winner : 0 92.06/31.97 c (16,0) c Blocked_Reuse_0 : 0 92.06/31.97 c (16,0) c Blocked_Reuse_1 : 0 92.06/31.97 c (16,0) c Blocked_Reuse_2 : 0 92.06/31.97 c (16,0) c Blocked_Reuse_3 : 0 92.06/31.97 c (16,0) c Blocked_Reuse_4 : 0 92.06/31.97 c (16,0) c Blocked_Reuse_5 : 0 92.06/31.97 c (16,0) c Blocked_Reuse_6 : 0 92.06/31.97 c (16,0) c Blocked_Reuse_7 : 0 92.06/31.97 c (16,0) c Blocked_Reuse_total : 0 92.06/31.97 c (16,0) c Blocked_Reuse_winner : 0 92.06/31.97 c (16,0) c Unaries_0 : 0 92.06/31.97 c (16,0) c Unaries_1 : 0 92.06/31.97 c (16,0) c Unaries_2 : 0 92.06/31.97 c (16,0) c Unaries_3 : 0 92.06/31.97 c (16,0) c Unaries_4 : 0 92.06/31.97 c (16,0) c Unaries_5 : 0 92.06/31.97 c (16,0) c Unaries_6 : 0 92.06/31.97 c (16,0) c Unaries_7 : 0 92.06/31.97 c (16,0) c Unaries_total : 0 92.06/31.97 c (16,0) c Unaries_winner : 0 92.06/31.97 c (16,0) c Binaries_0 : 0 92.06/31.97 c (16,0) c Binaries_1 : 0 92.06/31.97 c (16,0) c Binaries_2 : 0 92.06/31.97 c (16,0) c Binaries_3 : 0 92.06/31.97 c (16,0) c Binaries_4 : 0 92.06/31.97 c (16,0) c Binaries_5 : 0 92.06/31.97 c (16,0) c Binaries_6 : 0 92.06/31.97 c (16,0) c Binaries_7 : 0 92.06/31.97 c (16,0) c Binaries_total : 0 92.06/31.97 c (16,0) c Binaries_winner : 0 92.06/31.97 c (16,0) c Glues_0 : 157 92.06/31.97 c (16,0) c Glues_1 : 228 92.06/31.97 c (16,0) c Glues_2 : 144 92.06/31.97 c (16,0) c Glues_3 : 95 92.06/31.97 c (16,0) c Glues_4 : 117 92.06/31.97 c (16,0) c Glues_5 : 204 92.06/31.97 c (16,0) c Glues_6 : 130 92.06/31.97 c (16,0) c Glues_7 : 174 92.06/31.97 c (16,0) c Glues_total : 1249 92.06/31.97 c (16,0) c Glues_winner : 130 92.06/31.97 c (16,0) c RunningTime_0 : 7.814060 92.06/31.97 c (16,0) c RunningTime_1 : 7.747707 92.06/31.97 c (16,0) c RunningTime_2 : 7.496153 92.06/31.97 c (16,0) c RunningTime_3 : 7.477450 92.06/31.97 c (16,0) c RunningTime_4 : 7.556468 92.06/31.97 c (16,0) c RunningTime_5 : 7.552343 92.06/31.97 c (16,0) c RunningTime_6 : 7.777148 92.06/31.97 c (16,0) c RunningTime_7 : 7.520653 92.06/31.97 c (16,0) c RunningTime_total : 60.941982 92.06/31.97 c (16,0) c RunningTime_winner : 7.777148 92.06/31.97 c (16,0) c WaitingTime_0 : 0.000057 92.06/31.97 c (16,0) c WaitingTime_1 : 0.000074 92.06/31.97 c (16,0) c WaitingTime_2 : 0.000057 92.06/31.97 c (16,0) c WaitingTime_3 : 0.000061 92.06/31.97 c (16,0) c WaitingTime_4 : 0.000174 92.06/31.97 c (16,0) c WaitingTime_5 : 0.000088 92.06/31.97 c (16,0) c WaitingTime_6 : 0.000028 92.06/31.97 c (16,0) c WaitingTime_7 : 0.000057 92.06/31.97 c (16,0) c WaitingTime_total : 0.000597 92.06/31.97 c (16,0) c WaitingTime_winner : 0.000028 92.06/31.97 c (16,0) c ExchangingTime_0 : 0.002529 92.06/31.97 c (16,0) c ExchangingTime_1 : 0.002322 92.06/31.97 c (16,0) c ExchangingTime_2 : 0.001755 92.06/31.97 c (16,0) c ExchangingTime_3 : 0.001798 92.06/31.97 c (16,0) c ExchangingTime_4 : 0.001820 92.06/31.97 c (16,0) c ExchangingTime_5 : 0.002024 92.06/31.97 c (16,0) c ExchangingTime_6 : 0.001993 92.06/31.97 c (16,0) c ExchangingTime_7 : 0.001736 92.06/31.97 c (16,0) c ExchangingTime_total : 0.015977 92.06/31.97 c (16,0) c ExchangingTime_winner : 0.001993 92.06/31.97 c (16,0) c PeriodProcTime_0 : 0.001038 92.06/31.97 c (16,0) c PeriodProcTime_1 : 0.000767 92.06/31.97 c (16,0) c PeriodProcTime_2 : 0.000631 92.06/31.97 c (16,0) c PeriodProcTime_3 : 0.001550 92.06/31.97 c (16,0) c PeriodProcTime_4 : 0.000702 92.06/31.97 c (16,0) c PeriodProcTime_5 : 0.000705 92.06/31.97 c (16,0) c PeriodProcTime_6 : 0.001316 92.06/31.97 c (16,0) c PeriodProcTime_7 : 0.000701 92.06/31.97 c (16,0) c PeriodProcTime_total : 0.007410 92.06/31.97 c (16,0) c PeriodProcTime_winner : 0.001316 92.06/31.97 c (16,0) c SolvingTime_0 : 7.817684 92.06/31.97 c (16,0) c SolvingTime_1 : 7.750869 92.06/31.97 c (16,0) c SolvingTime_2 : 7.498596 92.06/31.97 c (16,0) c SolvingTime_3 : 7.480859 92.06/31.97 c (16,0) c SolvingTime_4 : 7.559164 92.06/31.97 c (16,0) c SolvingTime_5 : 7.555161 92.06/31.97 c (16,0) c SolvingTime_6 : 7.780485 92.06/31.97 c (16,0) c SolvingTime_7 : 7.523147 92.06/31.97 c (16,0) c SolvingTime_total : 60.965965 92.06/31.97 c (16,0) c SolvingTime_winner : 7.780485 92.06/31.97 c (16,0) c PropagationTime_0 : 7.532670 92.06/31.97 c (16,0) c PropagationTime_1 : 7.485267 92.06/31.97 c (16,0) c PropagationTime_2 : 7.259567 92.06/31.97 c (16,0) c PropagationTime_3 : 7.213200 92.06/31.97 c (16,0) c PropagationTime_4 : 7.299493 92.06/31.97 c (16,0) c PropagationTime_5 : 7.273915 92.06/31.97 c (16,0) c PropagationTime_6 : 7.509231 92.06/31.97 c (16,0) c PropagationTime_7 : 7.261832 92.06/31.97 c (16,0) c PropagationTime_total : 58.835174 92.06/31.97 c (16,0) c PropagationTime_winner : 7.509231 92.06/31.97 c (16,0) c AnalysisTime_0 : 0.141899 92.06/31.97 c (16,0) c AnalysisTime_1 : 0.115926 92.06/31.97 c (16,0) c AnalysisTime_2 : 0.107100 92.06/31.97 c (16,0) c AnalysisTime_3 : 0.127266 92.06/31.97 c (16,0) c AnalysisTime_4 : 0.120370 92.06/31.97 c (16,0) c AnalysisTime_5 : 0.134024 92.06/31.97 c (16,0) c AnalysisTime_6 : 0.123911 92.06/31.97 c (16,0) c AnalysisTime_7 : 0.132600 92.06/31.97 c (16,0) c AnalysisTime_total : 1.003096 92.06/31.97 c (16,0) c AnalysisTime_winner : 0.123911 92.06/31.97 c (16,0) c ReductionTime_0 : 0.000439 92.06/31.97 c (16,0) c ReductionTime_1 : 0.000522 92.06/31.97 c (16,0) c ReductionTime_2 : 0.000964 92.06/31.97 c (16,0) c ReductionTime_3 : 0.000479 92.06/31.97 c (16,0) c ReductionTime_4 : 0.000489 92.06/31.97 c (16,0) c ReductionTime_5 : 0.000483 92.06/31.97 c (16,0) c ReductionTime_6 : 0.000476 92.06/31.97 c (16,0) c ReductionTime_7 : 0.000948 92.06/31.97 c (16,0) c ReductionTime_total : 0.004800 92.06/31.97 c (16,0) c ReductionTime_winner : 0.000476 92.06/31.97 c (16,0) c SimplifyTime_0 : 0.000002 92.06/31.97 c (16,0) c SimplifyTime_1 : 0.000004 92.06/31.97 c (16,0) c SimplifyTime_2 : 0.000001 92.06/31.97 c (16,0) c SimplifyTime_3 : 0.000003 92.06/31.97 c (16,0) c SimplifyTime_4 : 0.000001 92.06/31.97 c (16,0) c SimplifyTime_5 : 0.000002 92.06/31.97 c (16,0) c SimplifyTime_6 : 0.000004 92.06/31.97 c (16,0) c SimplifyTime_7 : 0.000002 92.06/31.97 c (16,0) c SimplifyTime_total : 0.000019 92.06/31.97 c (16,0) c SimplifyTime_winner : 0.000004 92.06/31.97 c (16,0) c UsedRateTime_0 : 0.000000 92.06/31.97 c (16,0) c UsedRateTime_1 : 0.000000 92.06/31.97 c (16,0) c UsedRateTime_2 : 0.000000 92.06/31.97 c (16,0) c UsedRateTime_3 : 0.000000 92.06/31.97 c (16,0) c UsedRateTime_4 : 0.000000 92.06/31.97 c (16,0) c UsedRateTime_5 : 0.000000 92.06/31.97 c (16,0) c UsedRateTime_6 : 0.000000 92.06/31.97 c (16,0) c UsedRateTime_7 : 0.000000 92.06/31.97 c (16,0) c UsedRateTime_total : 0.000000 92.06/31.97 c (16,0) c UsedRateTime_winner : 0.000000 92.06/31.97 c (16,0) c OverlapRateTime_0 : 0.000000 92.06/31.97 c (16,0) c OverlapRateTime_1 : 0.000000 92.06/31.97 c (16,0) c OverlapRateTime_2 : 0.000000 92.06/31.97 c (16,0) c OverlapRateTime_3 : 0.000000 92.06/31.97 c (16,0) c OverlapRateTime_4 : 0.000000 92.06/31.97 c (16,0) c OverlapRateTime_5 : 0.000000 92.06/31.97 c (16,0) c OverlapRateTime_6 : 0.000000 92.06/31.97 c (16,0) c OverlapRateTime_7 : 0.000000 92.06/31.97 c (16,0) c OverlapRateTime_total : 0.000000 92.06/31.97 c (16,0) c OverlapRateTime_winner : 0.000000 92.06/31.97 c (16,0) c 92.06/31.97 c (16,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 92.06/31.97 c (16,0) c 92.06/31.97 c (16,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 92.06/31.97 c (16,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 92.06/31.97 c (16,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 92.06/31.97 c (16,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 92.06/31.97 c (16,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 92.06/31.97 c (16,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 92.06/31.97 c (16,0) c | Initial random_seed | 1436199642 | 603651057 | 1180671853 | 255349969 | 1183812532 | 711955772 | 1184185297 | 450537782 | 92.06/31.97 c (16,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 92.06/31.97 c (16,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 92.06/31.97 c (16,0) c | glureduce | True | True | True | True | True | True | True | True | 92.06/31.97 c (16,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 92.06/31.97 c (16,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 92.06/31.97 c (16,0) c | luby_restart | False | False | False | False | False | False | False | False | 92.06/31.97 c (16,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 92.06/31.97 c (16,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 92.06/31.97 c (16,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 92.06/31.97 c (16,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 92.06/31.97 c (16,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 92.06/31.97 c (16,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 92.06/31.97 c (16,0) 92.06/31.98 c (16,0) s SATISFIABLE 24.60/32.10 c (16,0) SatSolver.solve End 24.60/32.10 c (16,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 24.60/32.10 c (16,0) Show results Begin 92.81/32.21 c (16,0) x0 = 87 92.81/32.21 c (16,0) x1 = 86 92.81/32.21 c (16,0) x10 = 284 92.81/32.21 c (16,0) x100 = 0 92.81/32.21 c (16,0) x101 = 1 92.81/32.21 c (16,0) x102 = 519 92.81/32.21 c (16,0) x103 = 518 92.81/32.21 c (16,0) x104 = 170 92.81/32.21 c (16,0) x105 = 169 92.81/32.21 c (16,0) x106 = 158 92.81/32.21 c (16,0) x107 = 159 92.81/32.21 c (16,0) x108 = 56 92.81/32.21 c (16,0) x109 = 55 92.81/32.21 c (16,0) x11 = 285 92.81/32.21 c (16,0) x110 = 416 92.81/32.21 c (16,0) x111 = 415 92.81/32.21 c (16,0) x112 = 286 92.81/32.21 c (16,0) x113 = 285 92.81/32.21 c (16,0) x114 = 207 92.81/32.21 c (16,0) x115 = 208 92.81/32.21 c (16,0) x116 = 581 92.81/32.21 c (16,0) x117 = 582 92.81/32.21 c (16,0) x118 = 369 92.81/32.21 c (16,0) x119 = 370 92.81/32.21 c (16,0) x12 = 592 92.81/32.21 c (16,0) x120 = 544 92.81/32.21 c (16,0) x121 = 545 92.81/32.21 c (16,0) x122 = 45 92.81/32.21 c (16,0) x123 = 44 92.81/32.21 c (16,0) x124 = 477 92.81/32.21 c (16,0) x125 = 478 92.81/32.21 c (16,0) x126 = 84 92.81/32.21 c (16,0) x127 = 85 92.81/32.21 c (16,0) x128 = 251 92.81/32.21 c (16,0) x129 = 250 92.81/32.21 c (16,0) x13 = 591 92.81/32.21 c (16,0) x130 = 0 92.81/32.21 c (16,0) x131 = 1 92.81/32.21 c (16,0) x132 = 171 92.81/32.21 c (16,0) x133 = 170 92.81/32.21 c (16,0) x134 = 371 92.81/32.21 c (16,0) x135 = 372 92.81/32.21 c (16,0) x136 = 206 92.81/32.21 c (16,0) x137 = 207 92.81/32.21 c (16,0) x138 = 437 92.81/32.21 c (16,0) x139 = 436 92.81/32.21 c (16,0) x14 = 522 92.81/32.21 c (16,0) x140 = 0 92.81/32.21 c (16,0) x141 = 640 92.81/32.21 c (16,0) x142 = 97 92.81/32.21 c (16,0) x143 = 96 92.81/32.21 c (16,0) x144 = 3 92.81/32.21 c (16,0) x145 = 4 92.81/32.21 c (16,0) x146 = 475 92.81/32.21 c (16,0) x147 = 476 92.81/32.21 c (16,0) x148 = 115 92.81/32.21 c (16,0) x149 = 116 92.81/32.21 c (16,0) x15 = 523 92.81/32.21 c (16,0) x150 = 433 92.81/32.21 c (16,0) x151 = 432 92.81/32.21 c (16,0) x152 = 296 92.81/32.21 c (16,0) x153 = 295 92.81/32.21 c (16,0) x154 = 383 92.81/32.21 c (16,0) x155 = 382 92.81/32.21 c (16,0) x156 = 204 92.81/32.21 c (16,0) x157 = 205 92.81/32.21 c (16,0) x158 = 573 92.81/32.21 c (16,0) x159 = 572 92.81/32.21 c (16,0) x16 = 0 92.81/32.21 c (16,0) x160 = 549 92.81/32.21 c (16,0) x161 = 550 92.81/32.21 c (16,0) x162 = 414 92.81/32.21 c (16,0) x163 = 413 92.81/32.21 c (16,0) x164 = 61 92.81/32.21 c (16,0) x165 = 60 92.81/32.21 c (16,0) x166 = 471 92.81/32.21 c (16,0) x167 = 470 92.81/32.21 c (16,0) x168 = 344 92.81/32.21 c (16,0) x169 = 343 92.81/32.21 c (16,0) x17 = 1 92.81/32.21 c (16,0) x170 = 241 92.81/32.21 c (16,0) x171 = 242 92.81/32.21 c (16,0) x172 = 114 92.81/32.21 c (16,0) x173 = 115 92.81/32.21 c (16,0) x174 = 383 92.81/32.21 c (16,0) x175 = 384 92.81/32.22 c (16,0) x176 = 267 92.81/32.22 c (16,0) x177 = 268 92.81/32.22 c (16,0) x178 = 452 92.81/32.22 c (16,0) x179 = 453 92.81/32.22 c (16,0) x18 = 135 92.81/32.22 c (16,0) x180 = 527 92.81/32.22 c (16,0) x181 = 526 92.81/32.22 c (16,0) x182 = 0 92.81/32.22 c (16,0) x183 = 1 92.81/32.22 c (16,0) x184 = 53 92.81/32.22 c (16,0) x185 = 52 92.81/32.22 c (16,0) x186 = 308 92.81/32.22 c (16,0) x187 = 307 92.81/32.22 c (16,0) x188 = 270 92.81/32.22 c (16,0) x189 = 269 92.81/32.22 c (16,0) x19 = 136 92.81/32.22 c (16,0) x190 = 562 92.81/32.22 c (16,0) x191 = 561 92.81/32.22 c (16,0) x192 = 349 92.81/32.22 c (16,0) x193 = 350 92.81/32.22 c (16,0) x194 = 238 92.81/32.22 c (16,0) x195 = 237 92.81/32.22 c (16,0) x196 = 442 92.81/32.22 c (16,0) x197 = 443 92.81/32.22 c (16,0) x198 = 142 92.81/32.22 c (16,0) x199 = 143 92.81/32.22 c (16,0) x2 = 422 92.81/32.22 c (16,0) x20 = 357 92.81/32.22 c (16,0) x21 = 358 92.81/32.22 c (16,0) x22 = 0 92.81/32.22 c (16,0) x23 = 1 92.81/32.22 c (16,0) x24 = 70 92.81/32.22 c (16,0) x25 = 71 92.81/32.22 c (16,0) x26 = 171 92.81/32.22 c (16,0) x27 = 170 92.81/32.22 c (16,0) x28 = 475 92.81/32.22 c (16,0) x29 = 345 92.81/32.22 c (16,0) x3 = 421 92.81/32.22 c (16,0) x30 = 453 92.81/32.22 c (16,0) x31 = 452 92.81/32.22 c (16,0) x32 = 513 92.81/32.22 c (16,0) x33 = 267 92.81/32.22 c (16,0) x34 = 113 92.81/32.22 c (16,0) x35 = 114 92.81/32.22 c (16,0) x36 = 97 92.81/32.22 c (16,0) x37 = 96 92.81/32.22 c (16,0) x38 = 542 92.81/32.22 c (16,0) x39 = 543 92.81/32.22 c (16,0) x4 = 370 92.81/32.22 c (16,0) x40 = 275 92.81/32.22 c (16,0) x41 = 274 92.81/32.22 c (16,0) x42 = 6 92.81/32.22 c (16,0) x43 = 7 92.81/32.22 c (16,0) x44 = 549 92.81/32.22 c (16,0) x45 = 548 92.81/32.22 c (16,0) x46 = 437 92.81/32.22 c (16,0) x47 = 438 92.81/32.22 c (16,0) x48 = 45 92.81/32.22 c (16,0) x49 = 44 92.81/32.22 c (16,0) x5 = 369 92.81/32.22 c (16,0) x50 = 638 92.81/32.22 c (16,0) x51 = 637 92.81/32.22 c (16,0) x52 = 209 92.81/32.22 c (16,0) x53 = 210 92.81/32.22 c (16,0) x54 = 371 92.81/32.22 c (16,0) x55 = 372 92.81/32.22 c (16,0) x56 = 118 92.81/32.22 c (16,0) x57 = 119 92.81/32.22 c (16,0) x58 = 462 92.81/32.22 c (16,0) x59 = 463 92.81/32.22 c (16,0) x6 = 204 92.81/32.22 c (16,0) x60 = 1 92.81/32.22 c (16,0) x61 = 0 92.81/32.22 c (16,0) x62 = 51 92.81/32.22 c (16,0) x63 = 50 92.81/32.22 c (16,0) x64 = 18 92.81/32.22 c (16,0) x65 = 19 92.81/32.22 c (16,0) x66 = 140 92.81/32.22 c (16,0) x67 = 141 92.81/32.22 c (16,0) x68 = 524 92.81/32.22 c (16,0) x69 = 525 92.81/32.22 c (16,0) x7 = 279 92.81/32.22 c (16,0) x70 = 359 92.81/32.22 c (16,0) x71 = 358 92.81/32.22 c (16,0) x72 = 212 92.81/32.22 c (16,0) x73 = 211 92.81/32.22 c (16,0) x74 = 450 92.81/32.22 c (16,0) x75 = 451 92.81/32.22 c (16,0) x76 = 582 92.81/32.22 c (16,0) x77 = 581 92.81/32.22 c (16,0) x78 = 279 92.81/32.22 c (16,0) x79 = 280 92.81/32.22 c (16,0) x8 = 232 92.81/32.22 c (16,0) x80 = 181 92.81/32.22 c (16,0) x81 = 180 92.81/32.22 c (16,0) x82 = 477 92.81/32.22 c (16,0) x83 = 478 92.81/32.22 c (16,0) x84 = 349 92.81/32.22 c (16,0) x85 = 350 92.81/32.22 c (16,0) x86 = 334 92.81/32.22 c (16,0) x87 = 543 92.81/32.22 c (16,0) x88 = 592 92.81/32.22 c (16,0) x89 = 591 92.81/32.22 c (16,0) x9 = 231 92.81/32.22 c (16,0) x90 = 151 92.81/32.22 c (16,0) x91 = 259 92.81/32.22 c (16,0) x92 = 422 92.81/32.22 c (16,0) x93 = 421 92.81/32.22 c (16,0) x94 = 288 92.81/32.22 c (16,0) x95 = 287 92.81/32.22 c (16,0) x96 = 101 92.81/32.22 c (16,0) x97 = 100 92.81/32.22 c (16,0) x98 = 0 92.81/32.22 c (16,0) x99 = 1 92.81/32.22 s SATISFIABLE 92.81/32.22 v <instantiation> 92.81/32.22 v <list>x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 x138 x139 x140 x141 x142 x143 x144 x145 x146 x147 x148 x149 x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 x177 x178 x179 x180 x181 x182 x183 x184 x185 x186 x187 x188 x189 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199</list> 92.81/32.22 v <values>87 86 422 421 370 369 204 279 232 231 284 285 592 591 522 523 0 1 135 136 357 358 0 1 70 71 171 170 475 345 453 452 513 267 113 114 97 96 542 543 275 274 6 7 549 548 437 438 45 44 638 637 209 210 371 372 118 119 462 463 1 0 51 50 18 19 140 141 524 525 359 358 212 211 450 451 582 581 279 280 181 180 477 478 349 350 334 543 592 591 151 259 422 421 288 287 101 100 0 1 0 1 519 518 170 169 158 159 56 55 416 415 286 285 207 208 581 582 369 370 544 545 45 44 477 478 84 85 251 250 0 1 171 170 371 372 206 207 437 436 0 640 97 96 3 4 475 476 115 116 433 432 296 295 383 382 204 205 573 572 549 550 414 413 61 60 471 470 344 343 241 242 114 115 383 384 267 268 452 453 527 526 0 1 53 52 308 307 270 269 562 561 349 350 238 237 442 443 142 143</values> 92.81/32.22 v </instantiation> 92.81/32.22 c (16,0) Show results End 92.81/32.22 c (16,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB) 92.81/32.23 c (16,0) 16,16,STOP-AFTER(ALL) 92.81/32.23 c END-Prog: Sat Sep 14 08:19:11 CEST 2019
OK
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 (15082 MiB free) memory of node 1: 16384 MiB (15466 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392610-1568441960/watcher-4392610-1568441960 -o /tmp/evaluation-result-4392610-1568441960/solver-4392610-1568441960 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1568439039-12728 --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-4392610-1568441960.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=16543, runsolver pid=16540 [startup+0.100158 s]* /proc/loadavg: 4.74 6.96 7.78 2/211 16565 /proc/meminfo: memFree=31186848/32770624 swapFree=66919440/67108860 [pid=16543] ppid=16540 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/16543/stat : 16543 (scop.sh) S 16540 16543 12701 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420133909 115843072 349 33554432000 4194304 5098028 140732608438128 140732608435384 140151251063420 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8761344 140732608443172 140732608443500 140732608443500 140732608446413 0 /proc/16543/statm: 28282 349 296 221 0 87 0 [pid=16546] ppid=16543 vsize=27314120 memory=106260 CPUtime=0.1 cores=0-7 /proc/16546/stat : 16546 (java) S 16543 16543 12701 0 -1 1077944320 6668 0 0 0 8 2 0 0 20 0 20 0 420133909 27969658880 26565 33554432000 4194304 4196468 140727463745248 140727463727792 140098141183735 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 /proc/16546/statm: 6828530 26565 2777 1 0 6790935 0 [pid=16546/tid=16547] ppid=16543 vsize=27314120 memory=8317482817917895235 CPUtime=0.09 cores=0-7 /proc/16546/task/16547/stat : 16547 (java) R 16543 16543 12701 0 -1 4202560 4784 0 0 0 7 2 0 0 20 0 20 0 420133910 27969658880 26565 33554432000 4194304 4196468 140727463745248 140098113008592 140098141195670 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 [pid=16546/tid=16548] ppid=16543 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/16546/task/16548/stat : 16548 (java) S 16543 16543 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420133912 27969658880 26565 33554432000 4194304 4196468 140727463745248 140098145426320 140098141193941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 [pid=16546/tid=16549] ppid=16543 vsize=27314120 memory=140130658776704 CPUtime=0 cores=0-7 /proc/16546/task/16549/stat : 16549 (java) S 16543 16543 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420133912 27969658880 26565 33554432000 4194304 4196468 140727463745248 140097959582480 140098141193941 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 [pid=16546/tid=16550] ppid=16543 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16546/task/16550/stat : 16550 (java) S 16543 16543 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420133912 27969658880 26565 33554432000 4194304 4196468 140727463745248 140097958530192 140098141193941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 [pid=16546/tid=16551] ppid=16543 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16546/task/16551/stat : 16551 (java) S 16543 16543 12701 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420133912 27969658880 26565 33554432000 4194304 4196468 140727463745248 140097957477392 140098141193941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 [pid=16546/tid=16552] ppid=16543 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16546/task/16552/stat : 16552 (java) S 16543 16543 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420133912 27969658880 26565 33554432000 4194304 4196468 140727463745248 140097956424080 140098141193941 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 [pid=16546/tid=16553] ppid=16543 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/16546/task/16553/stat : 16553 (java) S 16543 16543 12701 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420133912 27969658880 26565 33554432000 4194304 4196468 140727463745248 140097955371280 140098141193941 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 [pid=16546/tid=16554] ppid=16543 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16546/task/16554/stat : 16554 (java) S 16543 16543 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420133912 27969658880 26565 33554432000 4194304 4196468 140727463745248 140097954318992 140098141193941 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 [pid=16546/tid=16555] ppid=16543 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16546/task/16555/stat : 16555 (java) S 16543 16543 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420133912 27969658880 26565 33554432000 4194304 4196468 140727463745248 140097953266192 140098141193941 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 [pid=16546/tid=16556] ppid=16543 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16546/task/16556/stat : 16556 (java) S 16543 16543 12701 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420133914 27969658880 26565 33554432000 4194304 4196468 140727463745248 140097064249968 140098141194882 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 [pid=16546/tid=16557] ppid=16543 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16546/task/16557/stat : 16557 (java) S 16543 16543 12701 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420133914 27969658880 26565 33554432000 4194304 4196468 140727463745248 140096061826336 140098141193941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 [pid=16546/tid=16558] ppid=16543 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16546/task/16558/stat : 16558 (java) S 16543 16543 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420133914 27969658880 26565 33554432000 4194304 4196468 140727463745248 140095793391216 140098141193941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 [pid=16546/tid=16559] ppid=16543 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16546/task/16559/stat : 16559 (java) S 16543 16543 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420133917 27969658880 26565 33554432000 4194304 4196468 140727463745248 140095418882640 140098141202331 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 [pid=16546/tid=16560] ppid=16543 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16546/task/16560/stat : 16560 (java) S 16543 16543 12701 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 420133917 27969658880 26565 33554432000 4194304 4196468 140727463745248 140097063196784 140098141194882 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 [pid=16546/tid=16561] ppid=16543 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16546/task/16561/stat : 16561 (java) S 16543 16543 12701 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420133917 27969658880 26565 33554432000 4194304 4196468 140727463745248 140097062143984 140098141194882 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 [pid=16546/tid=16562] ppid=16543 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16546/task/16562/stat : 16562 (java) S 16543 16543 12701 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420133917 27969658880 26565 33554432000 4194304 4196468 140727463745248 140097061091696 140098141194882 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 [pid=16546/tid=16563] ppid=16543 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16546/task/16563/stat : 16563 (java) S 16543 16543 12701 0 -1 1077944384 260 0 0 0 0 0 0 0 20 0 20 0 420133917 27969658880 26630 33554432000 4194304 4196468 140727463745248 140097060038896 140098141194882 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 [pid=16546/tid=16564] ppid=16543 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16546/task/16564/stat : 16564 (java) S 16543 16543 12701 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420133917 27969658880 26630 33554432000 4194304 4196468 140727463745248 140094920977248 140098141193941 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 [pid=16546/tid=16565] ppid=16543 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/16546/task/16565/stat : 16565 (java) S 16543 16543 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420133917 27969658880 26630 33554432000 4194304 4196468 140727463745248 140097058986800 140098141194882 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 107656 KiB [startup+0.210297 s]* /proc/loadavg: 4.74 6.96 7.78 2/211 16565 /proc/meminfo: memFree=31168000/32770624 swapFree=66919440/67108860 [pid=16543] ppid=16540 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/16543/stat : 16543 (scop.sh) S 16540 16543 12701 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420133909 115843072 349 33554432000 4194304 5098028 140732608438128 140732608435384 140151251063420 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8761344 140732608443172 140732608443500 140732608443500 140732608446413 0 /proc/16543/statm: 28282 349 296 221 0 87 0 [pid=16546] ppid=16543 vsize=27314120 memory=123488 CPUtime=0.24 cores=0-7 /proc/16546/stat : 16546 (java) S 16543 16543 12701 0 -1 1077944320 11580 0 0 0 20 4 0 0 20 0 20 0 420133909 27969658880 30872 33554432000 4194304 4196468 140727463745248 140727463727792 140098141183735 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 /proc/16546/statm: 6828530 30872 2926 1 0 6790935 0 [pid=16546/tid=16547] ppid=16543 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/16546/task/16547/stat : 16547 (java) R 16543 16543 12701 0 -1 4202560 9288 0 0 0 16 3 0 0 20 0 20 0 420133910 27969658880 30872 33554432000 4194304 4196468 140727463745248 140098113003520 140098121459073 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 [pid=16546/tid=16548] ppid=16543 vsize=27314120 memory=331 CPUtime=0 cores=0-7 /proc/16546/task/16548/stat : 16548 (java) S 16543 16543 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420133912 27969658880 30872 33554432000 4194304 4196468 140727463745248 140098145426320 140098141193941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 [pid=16546/tid=16549] ppid=16543 vsize=27314120 memory=140130658790299 CPUtime=0 cores=0-7 /proc/16546/task/16549/stat : 16549 (java) S 16543 16543 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420133912 27969658880 30872 33554432000 4194304 4196468 140727463745248 140097959582480 140098141193941 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 [pid=16546/tid=16550] ppid=16543 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/16546/task/16550/stat : 16550 (java) S 16543 16543 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420133912 27969658880 30872 33554432000 4194304 4196468 140727463745248 140097958530192 140098141193941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 [pid=16546/tid=16551] ppid=16543 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16546/task/16551/stat : 16551 (java) S 16543 16543 12701 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420133912 27969658880 30872 33554432000 4194304 4196468 140727463745248 140097957477392 140098141193941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 [pid=16546/tid=16552] ppid=16543 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16546/task/16552/stat : 16552 (java) S 16543 16543 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420133912 27969658880 30872 33554432000 4194304 4196468 140727463745248 140097956424080 140098141193941 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 [pid=16546/tid=16553] ppid=16543 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/16546/task/16553/stat : 16553 (java) S 16543 16543 12701 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420133912 27969658880 30872 33554432000 4194304 4196468 140727463745248 140097955371280 140098141193941 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 [pid=16546/tid=16554] ppid=16543 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16546/task/16554/stat : 16554 (java) S 16543 16543 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420133912 27969658880 30872 33554432000 4194304 4196468 140727463745248 140097954318992 140098141193941 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 [pid=16546/tid=16555] ppid=16543 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16546/task/16555/stat : 16555 (java) S 16543 16543 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420133912 27969658880 30872 33554432000 4194304 4196468 140727463745248 140097953266192 140098141193941 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 [pid=16546/tid=16556] ppid=16543 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16546/task/16556/stat : 16556 (java) S 16543 16543 12701 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420133914 27969658880 30872 33554432000 4194304 4196468 140727463745248 140097064249968 140098141194882 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 [pid=16546/tid=16557] ppid=16543 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16546/task/16557/stat : 16557 (java) S 16543 16543 12701 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420133914 27969658880 30872 33554432000 4194304 4196468 140727463745248 140096061826336 140098141193941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 [pid=16546/tid=16558] ppid=16543 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16546/task/16558/stat : 16558 (java) S 16543 16543 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420133914 27969658880 30872 33554432000 4194304 4196468 140727463745248 140095793391216 140098141193941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 [pid=16546/tid=16559] ppid=16543 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16546/task/16559/stat : 16559 (java) S 16543 16543 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420133917 27969658880 30872 33554432000 4194304 4196468 140727463745248 140095418882640 140098141202331 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 [pid=16546/tid=16560] ppid=16543 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16546/task/16560/stat : 16560 (java) S 16543 16543 12701 0 -1 1077944384 416 0 0 0 0 0 0 0 20 0 20 0 420133917 27969658880 30872 33554432000 4194304 4196468 140727463745248 140097063196784 140098141194882 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 [pid=16546/tid=16561] ppid=16543 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16546/task/16561/stat : 16561 (java) S 16543 16543 12701 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 420133917 27969658880 30872 33554432000 4194304 4196468 140727463745248 140097062143984 140098141194882 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 [pid=16546/tid=16562] ppid=16543 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/16546/task/16562/stat : 16562 (java) S 16543 16543 12701 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 420133917 27969658880 30872 33554432000 4194304 4196468 140727463745248 140097061091696 140098141194882 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 [pid=16546/tid=16563] ppid=16543 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7 /proc/16546/task/16563/stat : 16563 (java) S 16543 16543 12701 0 -1 1077944384 478 0 0 0 2 0 0 0 20 0 20 0 420133917 27969658880 30872 33554432000 4194304 4196468 140727463745248 140097060038896 140098141194882 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 [pid=16546/tid=16564] ppid=16543 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16546/task/16564/stat : 16564 (java) S 16543 16543 12701 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420133917 27969658880 30872 33554432000 4194304 4196468 140727463745248 140094920977248 140098141193941 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 [pid=16546/tid=16565] ppid=16543 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/16546/task/16565/stat : 16565 (java) S 16543 16543 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420133917 27969658880 30872 33554432000 4194304 4196468 140727463745248 140097058986800 140098141194882 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 124884 KiB [startup+0.309572 s]* /proc/loadavg: 4.74 6.96 7.78 3/211 16565 /proc/meminfo: memFree=31164712/32770624 swapFree=66919440/67108860 [pid=16543] ppid=16540 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/16543/stat : 16543 (scop.sh) S 16540 16543 12701 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420133909 115843072 349 33554432000 4194304 5098028 140732608438128 140732608435384 140151251063420 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8761344 140732608443172 140732608443500 140732608443500 140732608446413 0 /proc/16543/statm: 28282 349 296 221 0 87 0 [pid=16546] ppid=16543 vsize=27314120 memory=127148 CPUtime=0.42 cores=0-7 /proc/16546/stat : 16546 (java) S 16543 16543 12701 0 -1 1077944320 12740 0 0 0 37 5 0 0 20 0 20 0 420133909 27969658880 31787 33554432000 4194304 4196468 140727463745248 140727463727792 140098141183735 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 /proc/16546/statm: 6828530 31787 2977 1 0 6790935 0 [pid=16546/tid=16547] ppid=16543 vsize=27314120 memory=8317482817917895235 CPUtime=0.3 cores=0-7 /proc/16546/task/16547/stat : 16547 (java) R 16543 16543 12701 0 -1 4202560 10263 0 0 0 26 4 0 0 20 0 20 0 420133910 27969658880 31787 33554432000 4194304 4196468 140727463745248 140098112966752 140098122748726 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 [pid=16546/tid=16548] ppid=16543 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16546/task/16548/stat : 16548 (java) S 16543 16543 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420133912 27969658880 31787 33554432000 4194304 4196468 140727463745248 140098145426320 140098141193941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 [pid=16546/tid=16549] ppid=16543 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16546/task/16549/stat : 16549 (java) S 16543 16543 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420133912 27969658880 31787 33554432000 4194304 4196468 140727463745248 140097959582480 140098141193941 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 [pid=16546/tid=16550] ppid=16543 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16546/task/16550/stat : 16550 (java) S 16543 16543 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420133912 27969658880 31787 33554432000 4194304 4196468 140727463745248 140097958530192 140098141193941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 [pid=16546/tid=16551] ppid=16543 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16546/task/16551/stat : 16551 (java) S 16543 16543 12701 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420133912 27969658880 31787 33554432000 4194304 4196468 140727463745248 140097957477392 140098141193941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 [pid=16546/tid=16552] ppid=16543 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16546/task/16552/stat : 16552 (java) S 16543 16543 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420133912 27969658880 31787 33554432000 4194304 4196468 140727463745248 140097956424080 140098141193941 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 [pid=16546/tid=16553] ppid=16543 vsize=27314120 memory=140130555882159 CPUtime=0 cores=0-7 /proc/16546/task/16553/stat : 16553 (java) S 16543 16543 12701 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420133912 27969658880 31787 33554432000 4194304 4196468 140727463745248 140097955371280 140098141193941 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 [pid=16546/tid=16554] ppid=16543 vsize=27314120 memory=140130555884464 CPUtime=0 cores=0-7 /proc/16546/task/16554/stat : 16554 (java) S 16543 16543 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420133912 27969658880 31787 33554432000 4194304 4196468 140727463745248 140097954318992 140098141193941 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 [pid=16546/tid=16555] ppid=16543 vsize=27314120 memory=140130555886768 CPUtime=0 cores=0-7 /proc/16546/task/16555/stat : 16555 (java) S 16543 16543 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420133912 27969658880 31787 33554432000 4194304 4196468 140727463745248 140097953266192 140098141193941 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 [pid=16546/tid=16556] ppid=16543 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16546/task/16556/stat : 16556 (java) S 16543 16543 12701 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420133914 27969658880 31787 33554432000 4194304 4196468 140727463745248 140097064249968 140098141194882 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 [pid=16546/tid=16557] ppid=16543 vsize=27314120 memory=280261111787408 CPUtime=0 cores=0-7 /proc/16546/task/16557/stat : 16557 (java) S 16543 16543 12701 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420133914 27969658880 31787 33554432000 4194304 4196468 140727463745248 140096061826336 140098141193941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 [pid=16546/tid=16558] ppid=16543 vsize=27314120 memory=280261111785104 CPUtime=0 cores=0-7 /proc/16546/task/16558/stat : 16558 (java) S 16543 16543 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420133914 27969658880 31787 33554432000 4194304 4196468 140727463745248 140095793391216 140098141193941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 [pid=16546/tid=16559] ppid=16543 vsize=27314120 memory=280261111792016 CPUtime=0 cores=0-7 /proc/16546/task/16559/stat : 16559 (java) S 16543 16543 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420133917 27969658880 31787 33554432000 4194304 4196468 140727463745248 140095418882640 140098141202331 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 [pid=16546/tid=16560] ppid=16543 vsize=27314120 memory=280261111733296 CPUtime=0.01 cores=0-7 /proc/16546/task/16560/stat : 16560 (java) S 16543 16543 12701 0 -1 1077944384 438 0 0 0 1 0 0 0 20 0 20 0 420133917 27969658880 31787 33554432000 4194304 4196468 140727463745248 140097063196784 140098141194882 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 [pid=16546/tid=16561] ppid=16543 vsize=27314120 memory=280261111805840 CPUtime=0 cores=0-7 /proc/16546/task/16561/stat : 16561 (java) S 16543 16543 12701 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 420133917 27969658880 31787 33554432000 4194304 4196468 140727463745248 140097062143984 140098141194882 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 [pid=16546/tid=16562] ppid=16543 vsize=27314120 memory=280261111812752 CPUtime=0.01 cores=0-7 /proc/16546/task/16562/stat : 16562 (java) S 16543 16543 12701 0 -1 1077944384 121 0 0 0 1 0 0 0 20 0 20 0 420133917 27969658880 31787 33554432000 4194304 4196468 140727463745248 140097061091696 140098141194882 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 [pid=16546/tid=16563] ppid=16543 vsize=27314120 memory=280261111810448 CPUtime=0.07 cores=0-7 /proc/16546/task/16563/stat : 16563 (java) S 16543 16543 12701 0 -1 1077944384 524 0 0 0 7 0 0 0 20 0 20 0 420133917 27969658880 31787 33554432000 4194304 4196468 140727463745248 140097060038896 140098141194882 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 [pid=16546/tid=16564] ppid=16543 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16546/task/16564/stat : 16564 (java) S 16543 16543 12701 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420133917 27969658880 31787 33554432000 4194304 4196468 140727463745248 140094920977248 140098141193941 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 [pid=16546/tid=16565] ppid=16543 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/16546/task/16565/stat : 16565 (java) S 16543 16543 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420133917 27969658880 31787 33554432000 4194304 4196468 140727463745248 140097058986800 140098141194882 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 128544 KiB [startup+0.700948 s] /proc/loadavg: 4.74 6.96 7.78 2/211 16565 /proc/meminfo: memFree=31141368/32770624 swapFree=66919440/67108860 [pid=16543] ppid=16540 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/16543/stat : 16543 (scop.sh) S 16540 16543 12701 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420133909 115843072 349 33554432000 4194304 5098028 140732608438128 140732608435384 140151251063420 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8761344 140732608443172 140732608443500 140732608443500 140732608446413 0 /proc/16543/statm: 28282 349 296 221 0 87 0 [pid=16546] ppid=16543 vsize=27320392 memory=165544 CPUtime=1 cores=0-7 /proc/16546/stat : 16546 (java) S 16543 16543 12701 0 -1 1077944320 20498 0 0 0 94 6 0 0 20 0 20 0 420133909 27976081408 41386 33554432000 4194304 4196468 140727463745248 140727463727792 140098141183735 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 /proc/16546/statm: 6830098 41386 3182 1 0 6791447 0 [pid=16546/tid=16547] ppid=16543 vsize=27320392 memory=0 CPUtime=0.68 cores=0-7 /proc/16546/task/16547/stat : 16547 (java) R 16543 16543 12701 0 -1 4202560 17363 0 0 0 63 5 0 0 20 0 20 0 420133910 27976081408 41386 33554432000 4194304 4196468 140727463745248 140098113021024 140097622244929 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 [pid=16546/tid=16548] ppid=16543 vsize=27320392 memory=140130556093296 CPUtime=0 cores=0-7 /proc/16546/task/16548/stat : 16548 (java) S 16543 16543 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420133912 27976081408 41386 33554432000 4194304 4196468 140727463745248 140098145426320 140098141193941 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 [pid=16546/tid=16549] ppid=16543 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/16546/task/16549/stat : 16549 (java) S 16543 16543 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420133912 27976081408 41386 33554432000 4194304 4196468 140727463745248 140097959582480 140098141193941 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 [pid=16546/tid=16550] ppid=16543 vsize=27320392 memory=1560 CPUtime=0 cores=0-7 /proc/16546/task/16550/stat : 16550 (java) S 16543 16543 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420133912 27976081408 41386 33554432000 4194304 4196468 140727463745248 140097958530192 140098141193941 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10874880 140727463748330 140727463748758 140727463748758 140727463751631 0 ################ # More data... # ################ [pid=16568/tid=16571] ppid=16543 vsize=8414124 memory=2012 CPUtime=0 cores=0-7 /proc/16568/task/16571/stat : 16571 (java) S 16543 16543 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420135400 8616062976 29977 33554432000 4194304 4196468 140727558452496 139684497972240 139684693571285 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16572] ppid=16543 vsize=8414124 memory=1324 CPUtime=0 cores=0-7 /proc/16568/task/16572/stat : 16572 (java) S 16543 16543 12701 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420135400 8616062976 29977 33554432000 4194304 4196468 140727558452496 139684496919440 139684693571285 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16573] ppid=16543 vsize=8414124 memory=1704 CPUtime=0 cores=0-7 /proc/16568/task/16573/stat : 16573 (java) S 16543 16543 12701 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420135400 8616062976 29977 33554432000 4194304 4196468 140727558452496 139684495866640 139684693571285 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16574] ppid=16543 vsize=8414124 memory=5936 CPUtime=0 cores=0-7 /proc/16568/task/16574/stat : 16574 (java) S 16543 16543 12701 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420135400 8616062976 29977 33554432000 4194304 4196468 140727558452496 139684494813840 139684693571285 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16575] ppid=16543 vsize=8414124 memory=588 CPUtime=0 cores=0-7 /proc/16568/task/16575/stat : 16575 (java) S 16543 16543 12701 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420135400 8616062976 29977 33554432000 4194304 4196468 140727558452496 139684493761040 139684693571285 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16576] ppid=16543 vsize=8414124 memory=780 CPUtime=0 cores=0-7 /proc/16568/task/16576/stat : 16576 (java) S 16543 16543 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420135400 8616062976 29977 33554432000 4194304 4196468 140727558452496 139684492708240 139684693571285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16577] ppid=16543 vsize=8414124 memory=1056 CPUtime=0 cores=0-7 /proc/16568/task/16577/stat : 16577 (java) S 16543 16543 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420135400 8616062976 29977 33554432000 4194304 4196468 140727558452496 139684491655440 139684693571285 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16578] ppid=16543 vsize=8414124 memory=11464 CPUtime=0 cores=0-7 /proc/16568/task/16578/stat : 16578 (java) S 16543 16543 12701 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 420135402 8616062976 29977 33554432000 4194304 4196468 140727558452496 139683719945072 139684693572226 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 27 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16579] ppid=16543 vsize=8414124 memory=4004 CPUtime=0 cores=0-7 /proc/16568/task/16579/stat : 16579 (java) S 16543 16543 12701 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420135402 8616062976 29977 33554432000 4194304 4196468 140727558452496 139683208095264 139684693571285 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16580] ppid=16543 vsize=8414124 memory=2828 CPUtime=0 cores=0-7 /proc/16568/task/16580/stat : 16580 (java) S 16543 16543 12701 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 420135402 8616062976 29977 33554432000 4194304 4196468 140727558452496 139683073873264 139684693571285 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16581] ppid=16543 vsize=8414124 memory=1000 CPUtime=0 cores=0-7 /proc/16568/task/16581/stat : 16581 (java) S 16543 16543 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420135405 8616062976 29977 33554432000 4194304 4196468 140727558452496 139682699368784 139684693579675 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16582] ppid=16543 vsize=8414124 memory=1560 CPUtime=0.09 cores=0-7 /proc/16568/task/16582/stat : 16582 (java) S 16543 16543 12701 0 -1 1077944384 918 0 0 0 9 0 0 0 20 0 24 0 420135405 8616062976 29977 33554432000 4194304 4196468 140727558452496 139683718891888 139684693572226 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16583] ppid=16543 vsize=8414124 memory=1172 CPUtime=0.08 cores=0-7 /proc/16568/task/16583/stat : 16583 (java) S 16543 16543 12701 0 -1 1077944384 433 0 0 0 8 0 0 0 20 0 24 0 420135405 8616062976 29977 33554432000 4194304 4196468 140727558452496 139683717839088 139684693572226 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16584] ppid=16543 vsize=8414124 memory=7686721470368094873 CPUtime=0.07 cores=0-7 /proc/16568/task/16584/stat : 16584 (java) S 16543 16543 12701 0 -1 1077944384 252 0 0 0 7 0 0 0 20 0 24 0 420135405 8616062976 29977 33554432000 4194304 4196468 140727558452496 139683716786288 139684693572226 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16585] ppid=16543 vsize=8414124 memory=4456 CPUtime=0.2 cores=0-7 /proc/16568/task/16585/stat : 16585 (java) S 16543 16543 12701 0 -1 1077944384 553 0 0 0 20 0 0 0 20 0 24 0 420135405 8616062976 29977 33554432000 4194304 4196468 140727558452496 139683715733488 139684693572226 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16586] ppid=16543 vsize=8414124 memory=1412 CPUtime=0 cores=0-7 /proc/16568/task/16586/stat : 16586 (java) S 16543 16543 12701 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420135405 8616062976 29977 33554432000 4194304 4196468 140727558452496 139682201463904 139684693571285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16587] ppid=16543 vsize=8414124 memory=3108 CPUtime=0 cores=0-7 /proc/16568/task/16587/stat : 16587 (java) S 16543 16543 12701 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420135405 8616062976 29977 33554432000 4194304 4196468 140727558452496 139683714681904 139684693572226 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 29 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16589] ppid=16543 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/16568/task/16589/stat : 16589 (java) S 16543 16543 12701 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420135473 8616062976 29977 33554432000 4194304 4196468 140727558452496 139683706648128 139684693585689 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16591] ppid=16543 vsize=8414124 memory=119908 CPUtime=0 cores=0-7 /proc/16568/task/16591/stat : 16591 (java) S 16543 16543 12701 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 420135473 8616062976 29977 33554432000 4194304 4196468 140727558452496 139681530363536 139684693583005 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16592] ppid=16543 vsize=8414124 memory=2357424 CPUtime=0 cores=0-7 /proc/16568/task/16592/stat : 16592 (java) S 16543 16543 12701 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 420135473 8616062976 29977 33554432000 4194304 4196468 140727558452496 139681798798864 139684693583005 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16593] ppid=16543 vsize=8414124 memory=1580 CPUtime=0 cores=0-7 /proc/16568/task/16593/stat : 16593 (java) S 16543 16543 12701 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 420135475 8616062976 29977 33554432000 4194304 4196468 140727558452496 139681261935664 139684693571285 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 Current children cumulated CPU time: 87.73 s Current children cumulated vsize: 11312864 KiB Current children cumulated memory: 2479660 KiB [startup+32.0012 s]* /proc/loadavg: 5.13 6.80 7.69 6/216 16602 /proc/meminfo: memFree=28735948/32770624 swapFree=66919440/67108860 [pid=16543] ppid=16540 vsize=113128 memory=1476 CPUtime=23.19 cores=0-7 /proc/16543/stat : 16543 (scop.sh) S 16540 16543 12701 0 -1 4202496 582 35370 0 0 0 0 2196 123 20 0 1 0 420133909 115843072 369 33554432000 4194304 5098028 140732608438128 140732608434872 140151251063420 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 8761344 140732608443172 140732608443500 140732608443500 140732608446413 0 /proc/16543/statm: 28282 369 311 221 0 87 0 [pid=16568] ppid=16543 vsize=8414124 memory=129104 CPUtime=1.41 cores=0-7 /proc/16568/stat : 16568 (java) S 16543 16543 12701 0 -1 1077944320 21635 0 0 0 132 9 0 0 20 0 24 0 420135398 8616062976 32276 33554432000 4194304 4196468 140727558452496 140727558435040 139684693561079 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 /proc/16568/statm: 2103531 32276 3223 1 0 2064875 0 [pid=16568/tid=16569] ppid=16543 vsize=8414124 memory=0 CPUtime=0.77 cores=0-7 /proc/16568/task/16569/stat : 16569 (java) S 16543 16543 12701 0 -1 1077944384 17286 0 0 0 71 6 0 0 20 0 24 0 420135399 8616062976 32276 33554432000 4194304 4196468 140727558452496 139684665401248 139684693571285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16570] ppid=16543 vsize=8414124 memory=126 CPUtime=0 cores=0-7 /proc/16568/task/16570/stat : 16570 (java) S 16543 16543 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420135400 8616062976 32276 33554432000 4194304 4196468 140727558452496 139684697803920 139684693571285 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16571] ppid=16543 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/16568/task/16571/stat : 16571 (java) S 16543 16543 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420135400 8616062976 32276 33554432000 4194304 4196468 140727558452496 139684497972240 139684693571285 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16572] ppid=16543 vsize=8414124 memory=119908 CPUtime=0 cores=0-7 /proc/16568/task/16572/stat : 16572 (java) S 16543 16543 12701 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420135400 8616062976 32276 33554432000 4194304 4196468 140727558452496 139684496919440 139684693571285 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16573] ppid=16543 vsize=8414124 memory=2358148 CPUtime=0 cores=0-7 /proc/16568/task/16573/stat : 16573 (java) S 16543 16543 12701 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420135400 8616062976 32276 33554432000 4194304 4196468 140727558452496 139684495866640 139684693571285 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16574] ppid=16543 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/16568/task/16574/stat : 16574 (java) S 16543 16543 12701 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420135400 8616062976 32276 33554432000 4194304 4196468 140727558452496 139684494813840 139684693571285 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16575] ppid=16543 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/16568/task/16575/stat : 16575 (java) S 16543 16543 12701 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420135400 8616062976 32276 33554432000 4194304 4196468 140727558452496 139684493761040 139684693571285 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16576] ppid=16543 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/16568/task/16576/stat : 16576 (java) S 16543 16543 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420135400 8616062976 32276 33554432000 4194304 4196468 140727558452496 139684492708240 139684693571285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16577] ppid=16543 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/16568/task/16577/stat : 16577 (java) S 16543 16543 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420135400 8616062976 32276 33554432000 4194304 4196468 140727558452496 139684491655440 139684693571285 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16578] ppid=16543 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/16568/task/16578/stat : 16578 (java) S 16543 16543 12701 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 420135402 8616062976 32276 33554432000 4194304 4196468 140727558452496 139683719945072 139684693572226 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 27 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16579] ppid=16543 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/16568/task/16579/stat : 16579 (java) S 16543 16543 12701 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420135402 8616062976 32276 33554432000 4194304 4196468 140727558452496 139683208095264 139684693571285 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16580] ppid=16543 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/16568/task/16580/stat : 16580 (java) S 16543 16543 12701 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 420135402 8616062976 32276 33554432000 4194304 4196468 140727558452496 139683073873264 139684693571285 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16581] ppid=16543 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/16568/task/16581/stat : 16581 (java) S 16543 16543 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420135405 8616062976 32276 33554432000 4194304 4196468 140727558452496 139682699368784 139684693579675 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16582] ppid=16543 vsize=8414124 memory=0 CPUtime=0.12 cores=0-7 /proc/16568/task/16582/stat : 16582 (java) S 16543 16543 12701 0 -1 1077944384 981 0 0 0 12 0 0 0 20 0 24 0 420135405 8616062976 32276 33554432000 4194304 4196468 140727558452496 139683718891888 139684693572226 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16583] ppid=16543 vsize=8414124 memory=0 CPUtime=0.11 cores=0-7 /proc/16568/task/16583/stat : 16583 (java) S 16543 16543 12701 0 -1 1077944384 640 0 0 0 11 0 0 0 20 0 24 0 420135405 8616062976 32276 33554432000 4194304 4196468 140727558452496 139683717839088 139684693572226 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16584] ppid=16543 vsize=8414124 memory=0 CPUtime=0.09 cores=0-7 /proc/16568/task/16584/stat : 16584 (java) S 16543 16543 12701 0 -1 1077944384 262 0 0 0 9 0 0 0 20 0 24 0 420135405 8616062976 32276 33554432000 4194304 4196468 140727558452496 139683716786288 139684693572226 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16585] ppid=16543 vsize=8414124 memory=4004 CPUtime=0.23 cores=0-7 /proc/16568/task/16585/stat : 16585 (java) S 16543 16543 12701 0 -1 1077944384 1033 0 0 0 23 0 0 0 20 0 24 0 420135405 8616062976 32276 33554432000 4194304 4196468 140727558452496 139683715733488 139684693572226 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16586] ppid=16543 vsize=8414124 memory=2828 CPUtime=0 cores=0-7 /proc/16568/task/16586/stat : 16586 (java) S 16543 16543 12701 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420135405 8616062976 32276 33554432000 4194304 4196468 140727558452496 139682201463904 139684693571285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16587] ppid=16543 vsize=8414124 memory=1000 CPUtime=0 cores=0-7 /proc/16568/task/16587/stat : 16587 (java) S 16543 16543 12701 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420135405 8616062976 32276 33554432000 4194304 4196468 140727558452496 139683714681904 139684693572226 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 29 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16589] ppid=16543 vsize=8414124 memory=1560 CPUtime=0 cores=0-7 /proc/16568/task/16589/stat : 16589 (java) S 16543 16543 12701 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420135473 8616062976 32276 33554432000 4194304 4196468 140727558452496 139683706648128 139684693585689 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16591] ppid=16543 vsize=8414124 memory=1172 CPUtime=0.04 cores=0-7 /proc/16568/task/16591/stat : 16591 (java) R 16543 16543 12701 0 -1 4202560 22 0 0 0 4 0 0 0 20 0 24 0 420135473 8616062976 32276 33554432000 4194304 4196468 140727558452496 139681530367776 139684164553578 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16592] ppid=16543 vsize=8414124 memory=14008 CPUtime=0 cores=0-7 /proc/16568/task/16592/stat : 16592 (java) S 16543 16543 12701 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 420135473 8616062976 32276 33554432000 4194304 4196468 140727558452496 139681798798864 139684693583005 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16593] ppid=16543 vsize=8414124 memory=14072 CPUtime=0 cores=0-7 /proc/16568/task/16593/stat : 16593 (java) S 16543 16543 12701 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 420135475 8616062976 32276 33554432000 4194304 4196468 140727558452496 139681261935664 139684693571285 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 Current children cumulated CPU time: 24.6 s Current children cumulated vsize: 8527252 KiB Current children cumulated memory: 130580 KiB [startup+32.201 s] /proc/loadavg: 5.13 6.80 7.69 6/216 16602 /proc/meminfo: memFree=28735948/32770624 swapFree=66919440/67108860 [pid=16543] ppid=16540 vsize=113128 memory=1476 CPUtime=23.19 cores=0-7 /proc/16543/stat : 16543 (scop.sh) S 16540 16543 12701 0 -1 4202496 582 35370 0 0 0 0 2196 123 20 0 1 0 420133909 115843072 369 33554432000 4194304 5098028 140732608438128 140732608434872 140151251063420 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 8761344 140732608443172 140732608443500 140732608443500 140732608446413 0 /proc/16543/statm: 28282 369 311 221 0 87 0 [pid=16568] ppid=16543 vsize=8283048 memory=155764 CPUtime=69.62 cores=0-7 /proc/16568/stat : 16568 (java) S 16543 16543 12701 0 -1 1077944320 22265 1503028 0 0 170 10 6417 365 20 0 22 0 420135398 8481841152 38941 33554432000 4194304 4196468 140727558452496 140727558435040 139684693561079 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 /proc/16568/statm: 2070762 38941 3230 1 0 2032106 0 [pid=16568/tid=16569] ppid=16543 vsize=8283048 memory=6791534058613427641 CPUtime=68.68 cores=0-7 /proc/16568/task/16569/stat : 16569 (java) R 16543 16543 12701 0 -1 4202560 17545 1503028 0 0 80 6 6417 365 20 0 22 0 420135399 8481841152 38941 33554432000 4194304 4196468 140727558452496 139684665385408 139684693573014 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16570] ppid=16543 vsize=8283048 memory=119908 CPUtime=67.82 cores=0-7 /proc/16568/task/16570/stat : 16570 (java) S 16543 16543 12701 0 -1 1077944384 1 1503028 0 0 0 0 6417 365 20 0 22 0 420135400 8481841152 38941 33554432000 4194304 4196468 140727558452496 139684697803920 139684693571285 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16571] ppid=16543 vsize=8283048 memory=3616 CPUtime=67.82 cores=0-7 /proc/16568/task/16571/stat : 16571 (java) S 16543 16543 12701 0 -1 1077944384 1 1503028 0 0 0 0 6417 365 20 0 22 0 420135400 8481841152 38941 33554432000 4194304 4196468 140727558452496 139684497972240 139684693571285 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16572] ppid=16543 vsize=8283048 memory=23408 CPUtime=67.82 cores=0-7 /proc/16568/task/16572/stat : 16572 (java) S 16543 16543 12701 0 -1 1077944384 3 1503028 0 0 0 0 6417 365 20 0 22 0 420135400 8481841152 38941 33554432000 4194304 4196468 140727558452496 139684496919440 139684693571285 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16573] ppid=16543 vsize=8283048 memory=7686721470368094873 CPUtime=67.82 cores=0-7 /proc/16568/task/16573/stat : 16573 (java) S 16543 16543 12701 0 -1 1077944384 2 1503028 0 0 0 0 6417 365 20 0 22 0 420135400 8481841152 38941 33554432000 4194304 4196468 140727558452496 139684495866640 139684693571285 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16574] ppid=16543 vsize=8283048 memory=7597401508804979820 CPUtime=67.82 cores=0-7 /proc/16568/task/16574/stat : 16574 (java) S 16543 16543 12701 0 -1 1077944384 2 1503028 0 0 0 0 6417 365 20 0 22 0 420135400 8481841152 38941 33554432000 4194304 4196468 140727558452496 139684494813840 139684693571285 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16575] ppid=16543 vsize=8283048 memory=7523376918531162212 CPUtime=67.82 cores=0-7 /proc/16568/task/16575/stat : 16575 (java) S 16543 16543 12701 0 -1 1077944384 2 1503028 0 0 0 0 6417 365 20 0 22 0 420135400 8481841152 38941 33554432000 4194304 4196468 140727558452496 139684493761040 139684693571285 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16576] ppid=16543 vsize=8283048 memory=7733645181417972332 CPUtime=67.82 cores=0-7 /proc/16568/task/16576/stat : 16576 (java) S 16543 16543 12701 0 -1 1077944384 1 1503028 0 0 0 0 6417 365 20 0 22 0 420135400 8481841152 38941 33554432000 4194304 4196468 140727558452496 139684492708240 139684693571285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16577] ppid=16543 vsize=8283048 memory=7162531440177276211 CPUtime=67.82 cores=0-7 /proc/16568/task/16577/stat : 16577 (java) S 16543 16543 12701 0 -1 1077944384 1 1503028 0 0 0 0 6417 365 20 0 22 0 420135400 8481841152 38941 33554432000 4194304 4196468 140727558452496 139684491655440 139684693571285 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16578] ppid=16543 vsize=8283048 memory=6082202987142080599 CPUtime=67.82 cores=0-7 /proc/16568/task/16578/stat : 16578 (java) S 16543 16543 12701 0 -1 1077944384 7 1503028 0 0 0 0 6417 365 20 0 22 0 420135402 8481841152 38941 33554432000 4194304 4196468 140727558452496 139683719945072 139684693572226 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 27 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16579] ppid=16543 vsize=8283048 memory=0 CPUtime=67.82 cores=0-7 /proc/16568/task/16579/stat : 16579 (java) S 16543 16543 12701 0 -1 1077944384 13 1503028 0 0 0 0 6417 365 20 0 22 0 420135402 8481841152 38941 33554432000 4194304 4196468 140727558452496 139683208095264 139684693571285 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16580] ppid=16543 vsize=8283048 memory=-7241597079701628969 CPUtime=67.82 cores=0-7 /proc/16568/task/16580/stat : 16580 (java) S 16543 16543 12701 0 -1 1077944384 21 1503028 0 0 0 0 6417 365 20 0 22 0 420135402 8481841152 38941 33554432000 4194304 4196468 140727558452496 139683073873264 139684693571285 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16581] ppid=16543 vsize=8283048 memory=-6081658763295948627 CPUtime=67.82 cores=0-7 /proc/16568/task/16581/stat : 16581 (java) S 16543 16543 12701 0 -1 1077944384 1 1503028 0 0 0 0 6417 365 20 0 22 0 420135405 8481841152 38941 33554432000 4194304 4196468 140727558452496 139682699368784 139684693579675 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16582] ppid=16543 vsize=8283048 memory=-6511742717999787150 CPUtime=67.98 cores=0-7 /proc/16568/task/16582/stat : 16582 (java) S 16543 16543 12701 0 -1 1077944384 1013 1503028 0 0 16 0 6417 365 20 0 22 0 420135405 8481841152 38941 33554432000 4194304 4196468 140727558452496 139683718891888 139684693572226 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16583] ppid=16543 vsize=8283048 memory=280261112603968 CPUtime=67.99 cores=0-7 /proc/16568/task/16583/stat : 16583 (java) S 16543 16543 12701 0 -1 1077944384 671 1503028 0 0 17 0 6417 365 20 0 22 0 420135405 8481841152 38941 33554432000 4194304 4196468 140727558452496 139683717839088 139684693572226 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16584] ppid=16543 vsize=8283048 memory=0 CPUtime=67.96 cores=0-7 /proc/16568/task/16584/stat : 16584 (java) S 16543 16543 12701 0 -1 1077944384 280 1503028 0 0 14 0 6417 365 20 0 22 0 420135405 8481841152 38941 33554432000 4194304 4196468 140727558452496 139683716786288 139684693572226 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16585] ppid=16543 vsize=8283048 memory=0 CPUtime=68.11 cores=0-7 /proc/16568/task/16585/stat : 16585 (java) R 16543 16543 12701 0 -1 4202560 1143 1503028 0 0 29 0 6417 365 20 0 22 0 420135405 8481841152 38941 33554432000 4194304 4196468 140727558452496 139683715733488 139684693573014 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16586] ppid=16543 vsize=8283048 memory=0 CPUtime=67.82 cores=0-7 /proc/16568/task/16586/stat : 16586 (java) S 16543 16543 12701 0 -1 1077944384 3 1503028 0 0 0 0 6417 365 20 0 22 0 420135405 8481841152 38941 33554432000 4194304 4196468 140727558452496 139682201463904 139684693571285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16587] ppid=16543 vsize=8283048 memory=0 CPUtime=67.82 cores=0-7 /proc/16568/task/16587/stat : 16587 (java) S 16543 16543 12701 0 -1 1077944384 3 1503028 0 0 0 0 6417 365 20 0 22 0 420135405 8481841152 38941 33554432000 4194304 4196468 140727558452496 139683714681904 139684693572226 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 29 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16589] ppid=16543 vsize=8283048 memory=0 CPUtime=67.82 cores=0-7 /proc/16568/task/16589/stat : 16589 (java) S 16543 16543 12701 0 -1 1077944384 24 1503028 0 0 0 0 6417 365 20 0 22 0 420135473 8481841152 38941 33554432000 4194304 4196468 140727558452496 139683706647312 139684693572226 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 [pid=16568/tid=16593] ppid=16543 vsize=8283048 memory=0 CPUtime=67.82 cores=0-7 /proc/16568/task/16593/stat : 16593 (java) S 16543 16543 12701 0 -1 1077944384 11 1503028 0 0 0 0 6417 365 20 0 22 0 420135475 8481841152 38941 33554432000 4194304 4196468 140727558452496 139681261937456 139684693572226 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140727558456311 140727558456470 140727558456470 140727558459343 0 Current children cumulated CPU time: 92.81 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 157240 KiB Child status: 0 Real time (s): 32.249 CPU time (s): 92.9069 CPU user time (s): 87.8819 CPU system time (s): 5.02505 CPU usage (%): 288.092 Max. virtual memory (cumulated for all children) (KiB): 27441876 Max. memory (cumulated for all children) (KiB): 5952744 getrusage(RUSAGE_CHILDREN,...) data: user time used= 87.8819 system time used= 5.02505 maximum resident set size= 5952580 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1562435 page faults= 0 swaps= 0 block input operations= 0 block output operations= 140024 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 60363 involuntary context switches= 601 # summary of solver processes directly reported to runsolver: # pid: 16543 # total CPU time (s): 92.9069 # total CPU user time (s): 87.8819 # total CPU system time (s): 5.02505 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.319391 second user time and 0.356163 second system time The end
Begin job on node141 at 2019-09-14 08:18:38 IDJOB=4392610 IDBENCH=138445 IDSOLVER=2839 FILE ID=node141/4392610-1568441960 RUNJOBID= node141-1568439039-12728 PBS_JOBID= 21702329 Free space on /tmp= 58540 MiB SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15) BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-os10/SuperTaillard-os-10-01.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-4392610-1568441960/watcher-4392610-1568441960 -o /tmp/evaluation-result-4392610-1568441960/solver-4392610-1568441960 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1568439039-12728 --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-4392610-1568441960.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= a0db4e7a601eb58dee5216b17e791c99 RANDOM SEED=1276835558 node141.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 : 5332.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31283684 kB MemAvailable: 31839876 kB Buffers: 186096 kB Cached: 658176 kB SwapCached: 80180 kB Active: 444228 kB Inactive: 483372 kB Active(anon): 9392 kB Inactive(anon): 106280 kB Active(file): 434836 kB Inactive(file): 377092 kB Unevictable: 109316 kB Mlocked: 109316 kB SwapTotal: 67108860 kB SwapFree: 66919440 kB Dirty: 20752 kB Writeback: 0 kB AnonPages: 122340 kB Mapped: 36596 kB Shmem: 23468 kB Slab: 150708 kB SReclaimable: 120196 kB SUnreclaim: 30512 kB KernelStack: 3712 kB PageTables: 6004 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498576 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: 128384 kB DirectMap2M: 33417216 kB Free space on /tmp at the end= 58520 MiB End job on node141 at 2019-09-14 08:19:11