| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Fun-sCOP order+ManyGlucose (2019-09-22) | SAT | 88.68 | 32.2985 |
| 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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-20855-serial-file.bin HOME/instance-4405170-1569357399.xml 0.66/0.54 0.66/0.54 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 0.66/0.54 0.66/0.56 c BEGIN-Prog: Tue Sep 24 22:35:56 CEST 2019 0.66/0.56 c PID: 20858 0.66/0.56 c IP: 172.20.3.121 0.66/0.56 c HOST: node121.alineos.net 0.66/0.57 c (0,0) Parsing Begin 4.45/1.55 c (1,1) Parsing End 4.45/1.56 c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 643 4.45/1.56 c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 4.45/1.56 c (1,1) Constraint Name Generate Begin 4.45/1.59 c (1,1) Ctr:HOME/instance-4405170-1569357399.xml,Add:Le:Ne:Num:Or:Var 4.45/1.59 c (1,1) Constraint Name Generate End 4.45/1.59 c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 4.45/1.59 c (1,1) CSP to CSPinCNF Begin 5.58/1.81 c (1,1) translated 280 (10%) constraints 5.58/1.86 c (1,1) translated 560 (20%) constraints 5.58/1.89 c (1,1) translated 840 (30%) constraints 5.93/1.92 c (1,1) translated 1120 (40%) constraints 5.93/1.95 c (1,1) translated 1400 (50%) constraints 5.93/1.97 c (1,1) translated 1680 (60%) constraints 5.93/1.99 c (1,1) translated 1960 (70%) constraints 6.35/2.01 c (1,1) translated 2240 (80%) constraints 6.35/2.03 c (1,1) translated 2520 (90%) constraints 6.35/2.05 c (1,1) translated 2800 (100%) constraints 6.35/2.05 c (1,1) =========================================== 6.35/2.05 c (1,1) Order 6.35/2.05 c (1,1) =========================================== 6.35/2.07 c (1,1) translated 280 (10%) constraints 6.35/2.09 c (1,1) translated 560 (20%) constraints 6.35/2.10 c (1,1) translated 840 (30%) constraints 6.78/2.12 c (1,1) translated 1120 (40%) constraints 6.78/2.13 c (1,1) translated 1400 (50%) constraints 6.78/2.14 c (1,1) translated 1680 (60%) constraints 6.78/2.15 c (1,1) translated 1960 (70%) constraints 6.78/2.17 c (1,1) translated 2240 (80%) constraints 6.78/2.18 c (1,1) translated 2520 (90%) constraints 6.78/2.19 c (1,1) translated 2800 (100%) constraints 6.78/2.20 c (1,1) CSP to CSPinCNF End 6.78/2.20 c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 643 6.78/2.20 c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB) 6.78/2.20 c (1,1) CSPinCNF Propagation Begin 7.14/2.26 c (1,1) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed 7.14/2.26 c (1,1) CSPinCNF Propagation End 7.14/2.26 c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 643 7.14/2.26 c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 7.14/2.26 c (1,1) Simplify CSPinCNF Begin 7.86/2.45 c (1,1) Simplify CSPinCNF End 7.86/2.45 c (1,1) CSP: 200 int (0 aux), 5600 bool (5600 aux), 8400 ctr, max domain size 643 7.86/2.45 c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 7.86/2.45 c (1,1) Calculate Precise Domain Begin 7.86/2.45 c (1,1) 0 values are removed by re-calculation 7.86/2.45 c (1,1) Calculate Precise Domain End 7.86/2.45 c (1,1) CSP: 200 int (0 aux), 5600 bool (5600 aux), 8400 ctr, max domain size 643 7.86/2.45 c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 7.86/2.45 c (1,1) CSPinCNF to SatSolver Begin 11.35/4.24 c (3,3) 840 (10 %) CSP clauses are encoded (0 SAT variables, 423492 SAT clauses) 12.60/5.48 c (4,4) 1680 (20 %) CSP clauses are encoded (0 SAT variables, 717714 SAT clauses) 13.96/6.71 c (6,6) 2520 (30 %) CSP clauses are encoded (0 SAT variables, 1014250 SAT clauses) 15.17/7.94 c (7,7) 3360 (40 %) CSP clauses are encoded (0 SAT variables, 1311035 SAT clauses) 16.65/9.22 c (8,8) 4200 (50 %) CSP clauses are encoded (0 SAT variables, 1618554 SAT clauses) 17.77/10.30 c (9,9) 5040 (60 %) CSP clauses are encoded (0 SAT variables, 1919667 SAT clauses) 18.79/11.38 c (10,10) 5880 (70 %) CSP clauses are encoded (0 SAT variables, 2218718 SAT clauses) 19.96/12.47 c (11,11) 6720 (80 %) CSP clauses are encoded (0 SAT variables, 2522742 SAT clauses) 21.02/13.79 c (13,12) 7560 (90 %) CSP clauses are encoded (0 SAT variables, 2822832 SAT clauses) 22.48/14.95 c (14,14) 8400 (100 %) CSP clauses are encoded (0 SAT variables, 3134154 SAT clauses) 22.48/14.95 c (14,14) CSPinCNF to SatSolver End 22.48/14.95 c (14,14) Heap : 352 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB) 22.48/14.95 c (14,14) 123434 bool, 3134704 clause 22.48/14.95 c (14,14) Export Begin 22.62/15.05 c (14,14) Export to HOME/scop-20855-serial-file.bin 22.62/15.05 c (14,14) Export End 22.62/15.05 c (14,14) Export File Size: 0.03 MB 22.62/15.05 c (14,14) 1,1,1,1,1,1,14,STOP-AFTER(DIMACS) 22.62/15.05 c END-Prog: Tue Sep 24 22:36:11 CEST 2019 22.62/15.10 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-20855-serial-file.bin 22.77/15.56 c (0,0) Read Serial File Begin 22.77/15.56 c (0,0) HOME/scop-20855-serial-file.bin 22.77/15.78 c (0,0) Read Serial File End 22.77/15.80 22.77/15.80 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 22.77/15.80 (Solving Process) 22.77/15.80 22.77/15.82 c BEGIN-Prog: Tue Sep 24 22:36:12 CEST 2019 22.77/15.82 c PID: 20878 22.77/15.82 c IP: 172.20.3.121 22.77/15.82 c HOST: node121.alineos.net 22.77/15.82 c (0,0) SatSolver.solve Begin 22.77/15.82 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405170-1569357399.xml-scop-20858.cnf 22.77/15.85 c (0,0) c 22.77/15.85 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) 22.77/15.85 c (0,0) c 22.77/15.85 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 22.77/15.85 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 22.77/15.85 c (0,0) c ========================================[ Problem Statistics ]=========================================== 22.77/15.85 c (0,0) c | | 25.07/16.95 c (1,0) c | Number of variables: 123434 | 25.07/16.95 c (1,0) c | Number of clauses: 3134704 | 25.07/16.95 c (1,0) c | Parse time: 1.01 s | 25.07/16.95 c (1,0) c | | 31.57/23.47 c (7,0) c | Simplification time: 6.42 s | 31.57/23.47 c (7,0) c | | 31.57/23.47 c (7,0) c | Generating clones | 32.47/24.33 c (8,0) c | all clones generated. Memory = 2144.30Mb. | 32.47/24.33 c (8,0) c ========================================================================================================| 32.47/24.33 c (8,0) c 32.47/24.33 c (8,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 32.47/24.33 c (8,0) c 32.47/24.33 c (8,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 32.47/24.33 c (8,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 32.47/24.33 c (8,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 32.47/24.33 c (8,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 32.47/24.33 c (8,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 32.47/24.33 c (8,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 32.47/24.33 c (8,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 32.47/24.33 c (8,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 32.47/24.33 c (8,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 32.47/24.33 c (8,0) c | glureduce | True | True | True | True | True | True | True | True | 32.47/24.33 c (8,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 32.47/24.33 c (8,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 32.47/24.33 c (8,0) c | luby_restart | False | False | False | False | False | False | False | False | 32.47/24.33 c (8,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 32.47/24.33 c (8,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 32.47/24.33 c (8,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 32.47/24.33 c (8,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 32.47/24.33 c (8,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 32.47/24.33 c (8,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 87.78/32.01 c (16,0) c 87.78/32.01 c (16,0) c real time : 16.1583 s 87.78/32.01 c (16,0) c cpu time : 60.7555 s 87.78/32.01 c (16,0) c 87.78/32.01 c (16,0) c 87.78/32.01 c (16,0) c 87.78/32.01 c (16,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 87.78/32.01 c (16,0) c 87.78/32.01 c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 87.78/32.01 c (16,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 87.78/32.01 c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 87.78/32.01 c (16,0) c | Conflicts | 22974 | 3639 | 3345 | 2683 | 2298 | 2205 | 3260 | 2753 | 2791 | 87.78/32.01 c (16,0) c | Decisions | 65383 | 9518 | 10343 | 8246 | 6333 | 7103 | 7692 | 9629 | 6519 | 87.78/32.01 c (16,0) c | Propagations | 72376799 | 9125641 | 8842882 | 8892419 | 9144083 | 9108934 | 9546267 | 8816012 | 8900561 | 87.78/32.01 c (16,0) c | ReduceDBs | 8 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 87.78/32.01 c (16,0) c | SimpDBs | 8 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 87.78/32.01 c (16,0) c | Restarts | 155 | 16 | 27 | 22 | 17 | 14 | 17 | 25 | 17 | 87.78/32.01 c (16,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 87.78/32.01 c (16,0) c | PropBinClauses| 82531225 | 10353931 | 10169979 | 10116889 | 10370392 | 10504520 | 10745268 | 10091916 | 10178330 | 87.78/32.01 c (16,0) c | PropPreBlocker| 1453104884 | 177298027 | 170647532 | 182137896 | 178888345 | 199963680 | 186161167 | 174948852 | 183059385 | 87.78/32.01 c (16,0) c | PropNotBlocker| 394320090 | 48466296 | 49922083 | 50855001 | 46682083 | 49552510 | 50754211 | 49375340 | 48712566 | 87.78/32.01 c (16,0) c | LitFullScans | 2008785425 | 246177013 | 240045103 | 252602693 | 246021071 | 270042976 | 258040442 | 243829138 | 252026989 | 87.78/32.01 c (16,0) c | LitScanFracts | 167240 | 21027 | 20936 | 14640 | 15001 | 26241 | 23876 | 21390 | 24129 | 87.78/32.01 c (16,0) c | DecisionLevel0| 155 | 16 | 27 | 22 | 17 | 14 | 17 | 25 | 17 | 87.89/32.01 c (16,0) c | Periods | 334 | 41 | 40 | 42 | 41 | 45 | 43 | 40 | 42 | 87.89/32.01 c (16,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 87.89/32.01 c (16,0) c | Avg_Trail | | 31729 | 31348 | 36863 | 39593 | 54524 | 39310 | 30056 | 39533 | 87.89/32.01 c (16,0) c | Avg_DL | | 92 | 68 | 69 | 62 | 80 | 63 | 58 | 59 | 87.89/32.01 c (16,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 87.89/32.01 c (16,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 87.89/32.01 c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 87.89/32.01 c (16,0) c | Exported | 1177 | 152 | 211 | 143 | 83 | 111 | 182 | 130 | 165 | 87.89/32.01 c (16,0) c | Imported | 4490 | 556 | 517 | 533 | 588 | 697 | 536 | 503 | 560 | 87.89/32.01 c (16,0) c | Good | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 87.89/32.01 c (16,0) c | Purge | 4490 | 556 | 517 | 533 | 588 | 697 | 536 | 503 | 560 | 87.89/32.01 c (16,0) c | Promoted | 51 | 5 | 5 | 1 | 4 | 18 | 6 | 9 | 3 | 87.89/32.01 c (16,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 87.89/32.01 c (16,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 87.89/32.01 c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 87.89/32.01 c (16,0) c | Unaries | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 87.89/32.01 c (16,0) c | Binaries | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 87.89/32.01 c (16,0) c | Glues | | 152 | 211 | 143 | 83 | 111 | 182 | 130 | 165 | 87.89/32.01 c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 87.89/32.01 c (16,0) c | Orig_Seen | 1 % | 39626 | 35933 | 33634 | 31557 | 32162 | 37363 | 35949 | 34885 | 87.89/32.01 c (16,0) c | Diff Orig seen| | 3677 | - 16 | - 2315 | - 4392 | - 3787 | 1414 | X | - 1064 | 87.89/32.01 c (16,0) c | Hamming | 32 % | 38791 | 39374 | 38471 | 40306 | 43095 | 40098 | X | 40492 | 87.89/32.01 c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 87.89/32.01 c (16,0) c | RunningTime | | 7.2 100%| 7.7 100%| 7.1 100%| 7.2 100%| 7.2 100%| 7.1 100%| 7.1 100%| 7.2 100%| 87.89/32.01 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%| 87.89/32.01 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%| 87.89/32.01 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%| 87.89/32.01 c (16,0) c | SolvingTime | | 7.2 | 7.7 | 7.1 | 7.2 | 7.2 | 7.1 | 7.1 | 7.2 | 87.89/32.01 c (16,0) c | PropagationTim| | 6.9 97%| 7.4 97%| 6.9 97%| 6.9 96%| 7.0 97%| 6.9 96%| 6.9 97%| 6.9 97%| 87.89/32.01 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%| 87.89/32.01 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%| 87.89/32.01 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%| 87.89/32.01 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%| 87.89/32.01 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%| 87.89/32.01 c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 87.89/32.01 c (16,0) c 87.89/32.01 c (16,0) c 87.89/32.01 c (16,0) c Threads : 8 87.89/32.01 c (16,0) c Winner : 6 87.89/32.01 c (16,0) c Conflicts_0 : 3639 87.89/32.01 c (16,0) c Conflicts_1 : 3345 87.89/32.01 c (16,0) c Conflicts_2 : 2683 87.89/32.01 c (16,0) c Conflicts_3 : 2298 87.89/32.01 c (16,0) c Conflicts_4 : 2205 87.89/32.01 c (16,0) c Conflicts_5 : 3260 87.89/32.01 c (16,0) c Conflicts_6 : 2753 87.89/32.01 c (16,0) c Conflicts_7 : 2791 87.89/32.01 c (16,0) c Conflicts_total : 22974 87.89/32.01 c (16,0) c Conflicts_winner : 2753 87.89/32.01 c (16,0) c Decisions_0 : 9518 87.89/32.01 c (16,0) c Decisions_1 : 10343 87.89/32.01 c (16,0) c Decisions_2 : 8246 87.89/32.01 c (16,0) c Decisions_3 : 6333 87.89/32.01 c (16,0) c Decisions_4 : 7103 87.89/32.01 c (16,0) c Decisions_5 : 7692 87.89/32.01 c (16,0) c Decisions_6 : 9629 87.89/32.01 c (16,0) c Decisions_7 : 6519 87.89/32.01 c (16,0) c Decisions_total : 65383 87.89/32.01 c (16,0) c Decisions_winner : 9629 87.89/32.01 c (16,0) c Propagations_0 : 9125641 87.89/32.01 c (16,0) c Propagations_1 : 8842882 87.89/32.01 c (16,0) c Propagations_2 : 8892419 87.89/32.01 c (16,0) c Propagations_3 : 9144083 87.89/32.01 c (16,0) c Propagations_4 : 9108934 87.89/32.01 c (16,0) c Propagations_5 : 9546267 87.89/32.01 c (16,0) c Propagations_6 : 8816012 87.89/32.01 c (16,0) c Propagations_7 : 8900561 87.89/32.01 c (16,0) c Propagations_total : 72376799 87.89/32.01 c (16,0) c Propagations_winner : 8816012 87.89/32.01 c (16,0) c ReduceDBs_0 : 1 87.89/32.01 c (16,0) c ReduceDBs_1 : 1 87.89/32.01 c (16,0) c ReduceDBs_2 : 1 87.89/32.01 c (16,0) c ReduceDBs_3 : 1 87.89/32.01 c (16,0) c ReduceDBs_4 : 1 87.89/32.01 c (16,0) c ReduceDBs_5 : 1 87.89/32.01 c (16,0) c ReduceDBs_6 : 1 87.89/32.01 c (16,0) c ReduceDBs_7 : 1 87.89/32.01 c (16,0) c ReduceDBs_total : 8 87.89/32.01 c (16,0) c ReduceDBs_winner : 1 87.89/32.01 c (16,0) c SimpDBs_0 : 1 87.89/32.01 c (16,0) c SimpDBs_1 : 1 87.89/32.01 c (16,0) c SimpDBs_2 : 1 87.89/32.01 c (16,0) c SimpDBs_3 : 1 87.89/32.01 c (16,0) c SimpDBs_4 : 1 87.89/32.01 c (16,0) c SimpDBs_5 : 1 87.89/32.01 c (16,0) c SimpDBs_6 : 1 87.89/32.01 c (16,0) c SimpDBs_7 : 1 87.89/32.01 c (16,0) c SimpDBs_total : 8 87.89/32.01 c (16,0) c SimpDBs_winner : 1 87.89/32.01 c (16,0) c Restarts_0 : 16 87.89/32.01 c (16,0) c Restarts_1 : 27 87.89/32.01 c (16,0) c Restarts_2 : 22 87.89/32.01 c (16,0) c Restarts_3 : 17 87.89/32.01 c (16,0) c Restarts_4 : 14 87.89/32.01 c (16,0) c Restarts_5 : 17 87.89/32.01 c (16,0) c Restarts_6 : 25 87.89/32.01 c (16,0) c Restarts_7 : 17 87.89/32.01 c (16,0) c Restarts_total : 155 87.89/32.01 c (16,0) c Restarts_winner : 25 87.89/32.01 c (16,0) c ForcedImports_0 : 0 87.89/32.01 c (16,0) c ForcedImports_1 : 0 87.89/32.01 c (16,0) c ForcedImports_2 : 0 87.89/32.01 c (16,0) c ForcedImports_3 : 0 87.89/32.01 c (16,0) c ForcedImports_4 : 0 87.89/32.01 c (16,0) c ForcedImports_5 : 0 87.89/32.01 c (16,0) c ForcedImports_6 : 0 87.89/32.01 c (16,0) c ForcedImports_7 : 0 87.89/32.01 c (16,0) c ForcedImports_total : 0 87.89/32.01 c (16,0) c ForcedImports_winner : 0 87.89/32.01 c (16,0) c PropsBinClauses_0 : 10353931 87.89/32.01 c (16,0) c PropsBinClauses_1 : 10169979 87.89/32.01 c (16,0) c PropsBinClauses_2 : 10116889 87.89/32.01 c (16,0) c PropsBinClauses_3 : 10370392 87.89/32.01 c (16,0) c PropsBinClauses_4 : 10504520 87.89/32.01 c (16,0) c PropsBinClauses_5 : 10745268 87.89/32.01 c (16,0) c PropsBinClauses_6 : 10091916 87.89/32.01 c (16,0) c PropsBinClauses_7 : 10178330 87.89/32.01 c (16,0) c PropsBinClauses_total : 82531225 87.89/32.01 c (16,0) c PropsBinClauses_winner : 10091916 87.89/32.01 c (16,0) c PropsPreBlocker_0 : 177298027 87.89/32.01 c (16,0) c PropsPreBlocker_1 : 170647532 87.89/32.01 c (16,0) c PropsPreBlocker_2 : 182137896 87.89/32.01 c (16,0) c PropsPreBlocker_3 : 178888345 87.89/32.01 c (16,0) c PropsPreBlocker_4 : 199963680 87.89/32.01 c (16,0) c PropsPreBlocker_5 : 186161167 87.89/32.01 c (16,0) c PropsPreBlocker_6 : 174948852 87.89/32.01 c (16,0) c PropsPreBlocker_7 : 183059385 87.89/32.01 c (16,0) c PropsPreBlocker_total : 1453104884 87.89/32.01 c (16,0) c PropsPreBlocker_winner : 174948852 87.89/32.01 c (16,0) c PropsNotBlocker_0 : 48466296 87.89/32.01 c (16,0) c PropsNotBlocker_1 : 49922083 87.89/32.01 c (16,0) c PropsNotBlocker_2 : 50855001 87.89/32.01 c (16,0) c PropsNotBlocker_3 : 46682083 87.89/32.01 c (16,0) c PropsNotBlocker_4 : 49552510 87.89/32.01 c (16,0) c PropsNotBlocker_5 : 50754211 87.89/32.01 c (16,0) c PropsNotBlocker_6 : 49375340 87.89/32.01 c (16,0) c PropsNotBlocker_7 : 48712566 87.89/32.01 c (16,0) c PropsNotBlocker_total : 394320090 87.89/32.01 c (16,0) c PropsNotBlocker_winner : 49375340 87.89/32.01 c (16,0) c PropsLitFullScans_0 : 246177013 87.89/32.01 c (16,0) c PropsLitFullScans_1 : 240045103 87.89/32.01 c (16,0) c PropsLitFullScans_2 : 252602693 87.89/32.01 c (16,0) c PropsLitFullScans_3 : 246021071 87.89/32.01 c (16,0) c PropsLitFullScans_4 : 270042976 87.89/32.01 c (16,0) c PropsLitFullScans_5 : 258040442 87.89/32.01 c (16,0) c PropsLitFullScans_6 : 243829138 87.89/32.01 c (16,0) c PropsLitFullScans_7 : 252026989 87.89/32.01 c (16,0) c PropsLitFullScans_total : 2008785425 87.89/32.01 c (16,0) c PropsLitFullScans_winner : 243829138 87.89/32.01 c (16,0) c LitScanFractions_0 : 21027 87.89/32.01 c (16,0) c LitScanFractions_1 : 20936 87.89/32.01 c (16,0) c LitScanFractions_2 : 14640 87.89/32.01 c (16,0) c LitScanFractions_3 : 15001 87.89/32.01 c (16,0) c LitScanFractions_4 : 26241 87.89/32.01 c (16,0) c LitScanFractions_5 : 23876 87.89/32.01 c (16,0) c LitScanFractions_6 : 21390 87.89/32.01 c (16,0) c LitScanFractions_7 : 24129 87.89/32.01 c (16,0) c LitScanFractions_total : 167240 87.89/32.01 c (16,0) c LitScanFractions_winner : 21390 87.89/32.01 c (16,0) c DecisionLevel0_0 : 16 87.89/32.01 c (16,0) c DecisionLevel0_1 : 27 87.89/32.01 c (16,0) c DecisionLevel0_2 : 22 87.89/32.01 c (16,0) c DecisionLevel0_3 : 17 87.89/32.01 c (16,0) c DecisionLevel0_4 : 14 87.89/32.01 c (16,0) c DecisionLevel0_5 : 17 87.89/32.01 c (16,0) c DecisionLevel0_6 : 25 87.89/32.01 c (16,0) c DecisionLevel0_7 : 17 87.89/32.01 c (16,0) c DecisionLevel0_total : 155 87.89/32.01 c (16,0) c DecisionLevel0_winner : 25 87.89/32.01 c (16,0) c Periods_0 : 41 87.89/32.01 c (16,0) c Periods_1 : 40 87.89/32.01 c (16,0) c Periods_2 : 42 87.89/32.01 c (16,0) c Periods_3 : 41 87.89/32.01 c (16,0) c Periods_4 : 45 87.89/32.01 c (16,0) c Periods_5 : 43 87.89/32.01 c (16,0) c Periods_6 : 40 87.89/32.01 c (16,0) c Periods_7 : 42 87.89/32.01 c (16,0) c Periods_total : 334 87.89/32.01 c (16,0) c Periods_winner : 40 87.89/32.01 c (16,0) c Margin_0 : 20 87.89/32.01 c (16,0) c Margin_1 : 20 87.89/32.01 c (16,0) c Margin_2 : 20 87.89/32.01 c (16,0) c Margin_3 : 20 87.89/32.01 c (16,0) c Margin_4 : 20 87.89/32.01 c (16,0) c Margin_5 : 20 87.89/32.01 c (16,0) c Margin_6 : 20 87.89/32.01 c (16,0) c Margin_7 : 20 87.89/32.01 c (16,0) c Margin_total : 160 87.89/32.01 c (16,0) c Margin_winner : 20 87.89/32.01 c (16,0) c Exported_0 : 152 87.89/32.01 c (16,0) c Exported_1 : 211 87.89/32.01 c (16,0) c Exported_2 : 143 87.89/32.01 c (16,0) c Exported_3 : 83 87.89/32.01 c (16,0) c Exported_4 : 111 87.89/32.01 c (16,0) c Exported_5 : 182 87.89/32.01 c (16,0) c Exported_6 : 130 87.89/32.01 c (16,0) c Exported_7 : 165 87.89/32.01 c (16,0) c Exported_total : 1177 87.89/32.01 c (16,0) c Exported_winner : 130 87.89/32.01 c (16,0) c Imported_0 : 556 87.89/32.02 c (16,0) c Imported_1 : 517 87.89/32.02 c (16,0) c Imported_2 : 533 87.89/32.02 c (16,0) c Imported_3 : 588 87.89/32.02 c (16,0) c Imported_4 : 697 87.89/32.02 c (16,0) c Imported_5 : 536 87.89/32.02 c (16,0) c Imported_6 : 503 87.89/32.02 c (16,0) c Imported_7 : 560 87.89/32.02 c (16,0) c Imported_total : 4490 87.89/32.02 c (16,0) c Imported_winner : 503 87.89/32.02 c (16,0) c Good_0 : 0 87.89/32.02 c (16,0) c Good_1 : 0 87.89/32.02 c (16,0) c Good_2 : 0 87.89/32.02 c (16,0) c Good_3 : 0 87.89/32.02 c (16,0) c Good_4 : 0 87.89/32.02 c (16,0) c Good_5 : 0 87.89/32.02 c (16,0) c Good_6 : 0 87.89/32.02 c (16,0) c Good_7 : 0 87.89/32.02 c (16,0) c Good_total : 0 87.89/32.02 c (16,0) c Good_winner : 0 87.89/32.02 c (16,0) c Purge_0 : 556 87.89/32.02 c (16,0) c Purge_1 : 517 87.89/32.02 c (16,0) c Purge_2 : 533 87.89/32.02 c (16,0) c Purge_3 : 588 87.89/32.02 c (16,0) c Purge_4 : 697 87.89/32.02 c (16,0) c Purge_5 : 536 87.89/32.02 c (16,0) c Purge_6 : 503 87.89/32.02 c (16,0) c Purge_7 : 560 87.89/32.02 c (16,0) c Purge_total : 4490 87.89/32.02 c (16,0) c Purge_winner : 503 87.89/32.02 c (16,0) c Promoted_0 : 5 87.89/32.02 c (16,0) c Promoted_1 : 5 87.89/32.02 c (16,0) c Promoted_2 : 1 87.89/32.02 c (16,0) c Promoted_3 : 4 87.89/32.02 c (16,0) c Promoted_4 : 18 87.89/32.02 c (16,0) c Promoted_5 : 6 87.89/32.02 c (16,0) c Promoted_6 : 9 87.89/32.02 c (16,0) c Promoted_7 : 3 87.89/32.02 c (16,0) c Promoted_total : 51 87.89/32.02 c (16,0) c Promoted_winner : 9 87.89/32.02 c (16,0) c Remove_Imp_0 : 0 87.89/32.02 c (16,0) c Remove_Imp_1 : 0 87.89/32.02 c (16,0) c Remove_Imp_2 : 0 87.89/32.02 c (16,0) c Remove_Imp_3 : 0 87.89/32.02 c (16,0) c Remove_Imp_4 : 0 87.89/32.02 c (16,0) c Remove_Imp_5 : 0 87.89/32.02 c (16,0) c Remove_Imp_6 : 0 87.89/32.02 c (16,0) c Remove_Imp_7 : 0 87.89/32.02 c (16,0) c Remove_Imp_total : 0 87.89/32.02 c (16,0) c Remove_Imp_winner : 0 87.89/32.02 c (16,0) c Blocked_Reuse_0 : 0 87.89/32.02 c (16,0) c Blocked_Reuse_1 : 0 87.89/32.02 c (16,0) c Blocked_Reuse_2 : 0 87.89/32.02 c (16,0) c Blocked_Reuse_3 : 0 87.89/32.02 c (16,0) c Blocked_Reuse_4 : 0 87.89/32.02 c (16,0) c Blocked_Reuse_5 : 0 87.89/32.02 c (16,0) c Blocked_Reuse_6 : 0 87.89/32.02 c (16,0) c Blocked_Reuse_7 : 0 87.89/32.02 c (16,0) c Blocked_Reuse_total : 0 87.89/32.02 c (16,0) c Blocked_Reuse_winner : 0 87.89/32.02 c (16,0) c Unaries_0 : 0 87.89/32.02 c (16,0) c Unaries_1 : 0 87.89/32.02 c (16,0) c Unaries_2 : 0 87.89/32.02 c (16,0) c Unaries_3 : 0 87.89/32.02 c (16,0) c Unaries_4 : 0 87.89/32.02 c (16,0) c Unaries_5 : 0 87.89/32.02 c (16,0) c Unaries_6 : 0 87.89/32.02 c (16,0) c Unaries_7 : 0 87.89/32.02 c (16,0) c Unaries_total : 0 87.89/32.02 c (16,0) c Unaries_winner : 0 87.89/32.02 c (16,0) c Binaries_0 : 0 87.89/32.02 c (16,0) c Binaries_1 : 0 87.89/32.02 c (16,0) c Binaries_2 : 0 87.89/32.02 c (16,0) c Binaries_3 : 0 87.89/32.02 c (16,0) c Binaries_4 : 0 87.89/32.02 c (16,0) c Binaries_5 : 0 87.89/32.02 c (16,0) c Binaries_6 : 0 87.89/32.02 c (16,0) c Binaries_7 : 0 87.89/32.02 c (16,0) c Binaries_total : 0 87.89/32.02 c (16,0) c Binaries_winner : 0 87.89/32.02 c (16,0) c Glues_0 : 152 87.89/32.02 c (16,0) c Glues_1 : 211 87.89/32.02 c (16,0) c Glues_2 : 143 87.89/32.02 c (16,0) c Glues_3 : 83 87.89/32.02 c (16,0) c Glues_4 : 111 87.89/32.02 c (16,0) c Glues_5 : 182 87.89/32.02 c (16,0) c Glues_6 : 130 87.89/32.02 c (16,0) c Glues_7 : 165 87.89/32.02 c (16,0) c Glues_total : 1177 87.89/32.02 c (16,0) c Glues_winner : 130 87.89/32.02 c (16,0) c RunningTime_0 : 7.169126 87.89/32.02 c (16,0) c RunningTime_1 : 7.667770 87.89/32.02 c (16,0) c RunningTime_2 : 7.141297 87.89/32.02 c (16,0) c RunningTime_3 : 7.190066 87.89/32.02 c (16,0) c RunningTime_4 : 7.190423 87.89/32.02 c (16,0) c RunningTime_5 : 7.135972 87.89/32.02 c (16,0) c RunningTime_6 : 7.133670 87.89/32.02 c (16,0) c RunningTime_7 : 7.156790 87.89/32.02 c (16,0) c RunningTime_total : 57.785115 87.89/32.02 c (16,0) c RunningTime_winner : 7.133670 87.89/32.02 c (16,0) c WaitingTime_0 : 0.000040 87.89/32.02 c (16,0) c WaitingTime_1 : 0.000043 87.89/32.02 c (16,0) c WaitingTime_2 : 0.000064 87.89/32.02 c (16,0) c WaitingTime_3 : 0.000053 87.89/32.02 c (16,0) c WaitingTime_4 : 0.000093 87.89/32.02 c (16,0) c WaitingTime_5 : 0.000052 87.89/32.02 c (16,0) c WaitingTime_6 : 0.000049 87.89/32.02 c (16,0) c WaitingTime_7 : 0.000044 87.89/32.02 c (16,0) c WaitingTime_total : 0.000438 87.89/32.02 c (16,0) c WaitingTime_winner : 0.000049 87.89/32.02 c (16,0) c ExchangingTime_0 : 0.001780 87.89/32.02 c (16,0) c ExchangingTime_1 : 0.001685 87.89/32.02 c (16,0) c ExchangingTime_2 : 0.001515 87.89/32.02 c (16,0) c ExchangingTime_3 : 0.002725 87.89/32.02 c (16,0) c ExchangingTime_4 : 0.001561 87.89/32.02 c (16,0) c ExchangingTime_5 : 0.002978 87.89/32.02 c (16,0) c ExchangingTime_6 : 0.001449 87.89/32.02 c (16,0) c ExchangingTime_7 : 0.001597 87.89/32.02 c (16,0) c ExchangingTime_total : 0.015291 87.89/32.02 c (16,0) c ExchangingTime_winner : 0.001449 87.89/32.02 c (16,0) c PeriodProcTime_0 : 0.000672 87.89/32.02 c (16,0) c PeriodProcTime_1 : 0.000524 87.89/32.02 c (16,0) c PeriodProcTime_2 : 0.000600 87.89/32.02 c (16,0) c PeriodProcTime_3 : 0.000553 87.89/32.02 c (16,0) c PeriodProcTime_4 : 0.000670 87.89/32.02 c (16,0) c PeriodProcTime_5 : 0.000908 87.89/32.02 c (16,0) c PeriodProcTime_6 : 0.000577 87.89/32.02 c (16,0) c PeriodProcTime_7 : 0.000566 87.89/32.02 c (16,0) c PeriodProcTime_total : 0.005069 87.89/32.02 c (16,0) c PeriodProcTime_winner : 0.000577 87.89/32.02 c (16,0) c SolvingTime_0 : 7.171618 87.89/32.02 c (16,0) c SolvingTime_1 : 7.670022 87.89/32.02 c (16,0) c SolvingTime_2 : 7.143476 87.89/32.02 c (16,0) c SolvingTime_3 : 7.193398 87.89/32.02 c (16,0) c SolvingTime_4 : 7.192747 87.89/32.02 c (16,0) c SolvingTime_5 : 7.139910 87.89/32.02 c (16,0) c SolvingTime_6 : 7.135745 87.89/32.02 c (16,0) c SolvingTime_7 : 7.158998 87.89/32.02 c (16,0) c SolvingTime_total : 57.805913 87.89/32.02 c (16,0) c SolvingTime_winner : 7.135745 87.89/32.02 c (16,0) c PropagationTime_0 : 6.921778 87.89/32.02 c (16,0) c PropagationTime_1 : 7.424586 87.89/32.02 c (16,0) c PropagationTime_2 : 6.913160 87.89/32.02 c (16,0) c PropagationTime_3 : 6.938447 87.89/32.02 c (16,0) c PropagationTime_4 : 6.950375 87.89/32.02 c (16,0) c PropagationTime_5 : 6.885758 87.89/32.02 c (16,0) c PropagationTime_6 : 6.887808 87.89/32.02 c (16,0) c PropagationTime_7 : 6.912730 87.89/32.02 c (16,0) c PropagationTime_total : 55.834641 87.89/32.02 c (16,0) c PropagationTime_winner : 6.887808 87.89/32.02 c (16,0) c AnalysisTime_0 : 0.120661 87.89/32.02 c (16,0) c AnalysisTime_1 : 0.110110 87.89/32.02 c (16,0) c AnalysisTime_2 : 0.101428 87.89/32.02 c (16,0) c AnalysisTime_3 : 0.128945 87.89/32.02 c (16,0) c AnalysisTime_4 : 0.110513 87.89/32.02 c (16,0) c AnalysisTime_5 : 0.121334 87.89/32.02 c (16,0) c AnalysisTime_6 : 0.110696 87.89/32.02 c (16,0) c AnalysisTime_7 : 0.124811 87.89/32.02 c (16,0) c AnalysisTime_total : 0.928499 87.89/32.02 c (16,0) c AnalysisTime_winner : 0.110696 87.89/32.02 c (16,0) c ReductionTime_0 : 0.000429 87.89/32.02 c (16,0) c ReductionTime_1 : 0.000985 87.89/32.02 c (16,0) c ReductionTime_2 : 0.000426 87.89/32.02 c (16,0) c ReductionTime_3 : 0.001020 87.89/32.02 c (16,0) c ReductionTime_4 : 0.000495 87.89/32.02 c (16,0) c ReductionTime_5 : 0.000467 87.89/32.02 c (16,0) c ReductionTime_6 : 0.000987 87.89/32.02 c (16,0) c ReductionTime_7 : 0.000985 87.89/32.02 c (16,0) c ReductionTime_total : 0.005794 87.89/32.02 c (16,0) c ReductionTime_winner : 0.000987 87.89/32.02 c (16,0) c SimplifyTime_0 : 0.000002 87.89/32.02 c (16,0) c SimplifyTime_1 : 0.000001 87.89/32.02 c (16,0) c SimplifyTime_2 : 0.000003 87.89/32.02 c (16,0) c SimplifyTime_3 : 0.000001 87.89/32.02 c (16,0) c SimplifyTime_4 : 0.000001 87.89/32.02 c (16,0) c SimplifyTime_5 : 0.000001 87.89/32.02 c (16,0) c SimplifyTime_6 : 0.000002 87.89/32.02 c (16,0) c SimplifyTime_7 : 0.000000 87.89/32.02 c (16,0) c SimplifyTime_total : 0.000011 87.89/32.02 c (16,0) c SimplifyTime_winner : 0.000002 87.89/32.02 c (16,0) c UsedRateTime_0 : 0.000000 87.89/32.02 c (16,0) c UsedRateTime_1 : 0.000000 87.89/32.02 c (16,0) c UsedRateTime_2 : 0.000000 87.89/32.02 c (16,0) c UsedRateTime_3 : 0.000000 87.89/32.02 c (16,0) c UsedRateTime_4 : 0.000000 87.89/32.02 c (16,0) c UsedRateTime_5 : 0.000000 87.89/32.02 c (16,0) c UsedRateTime_6 : 0.000000 87.89/32.02 c (16,0) c UsedRateTime_7 : 0.000000 87.89/32.02 c (16,0) c UsedRateTime_total : 0.000000 87.89/32.02 c (16,0) c UsedRateTime_winner : 0.000000 87.89/32.02 c (16,0) c OverlapRateTime_0 : 0.000000 87.89/32.02 c (16,0) c OverlapRateTime_1 : 0.000000 87.89/32.02 c (16,0) c OverlapRateTime_2 : 0.000000 87.89/32.02 c (16,0) c OverlapRateTime_3 : 0.000000 87.89/32.02 c (16,0) c OverlapRateTime_4 : 0.000000 87.89/32.02 c (16,0) c OverlapRateTime_5 : 0.000000 87.89/32.02 c (16,0) c OverlapRateTime_6 : 0.000000 87.89/32.02 c (16,0) c OverlapRateTime_7 : 0.000000 87.89/32.02 c (16,0) c OverlapRateTime_total : 0.000000 87.89/32.02 c (16,0) c OverlapRateTime_winner : 0.000000 87.89/32.02 c (16,0) c 87.89/32.02 c (16,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 87.89/32.02 c (16,0) c 87.89/32.02 c (16,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 87.89/32.02 c (16,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 87.89/32.02 c (16,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 87.89/32.02 c (16,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 87.89/32.02 c (16,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 87.89/32.02 c (16,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 87.89/32.02 c (16,0) c | Initial random_seed | 667508736 | 1403136719 | 134345728 | 1641081174 | 4635171 | 2103976534 | 1184185297 | 303328275 | 87.89/32.02 c (16,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 87.89/32.02 c (16,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 87.89/32.02 c (16,0) c | glureduce | True | True | True | True | True | True | True | True | 87.89/32.02 c (16,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 87.89/32.02 c (16,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 87.89/32.02 c (16,0) c | luby_restart | False | False | False | False | False | False | False | False | 87.89/32.02 c (16,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 87.89/32.02 c (16,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 87.89/32.02 c (16,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 87.89/32.02 c (16,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 87.89/32.02 c (16,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 87.89/32.02 c (16,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 87.89/32.02 c (16,0) 87.89/32.02 c (16,0) s SATISFIABLE 24.31/32.15 c (16,0) SatSolver.solve End 24.31/32.15 c (16,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 24.31/32.15 c (16,0) Show results Begin 88.42/32.26 c (16,0) x0 = 87 88.42/32.26 c (16,0) x1 = 86 88.42/32.26 c (16,0) x10 = 284 88.42/32.26 c (16,0) x100 = 0 88.42/32.26 c (16,0) x101 = 1 88.42/32.26 c (16,0) x102 = 519 88.42/32.26 c (16,0) x103 = 518 88.42/32.26 c (16,0) x104 = 170 88.42/32.26 c (16,0) x105 = 169 88.42/32.26 c (16,0) x106 = 158 88.42/32.26 c (16,0) x107 = 159 88.42/32.26 c (16,0) x108 = 56 88.42/32.26 c (16,0) x109 = 55 88.42/32.26 c (16,0) x11 = 285 88.42/32.26 c (16,0) x110 = 416 88.42/32.26 c (16,0) x111 = 415 88.42/32.26 c (16,0) x112 = 286 88.42/32.26 c (16,0) x113 = 285 88.42/32.26 c (16,0) x114 = 207 88.42/32.26 c (16,0) x115 = 208 88.42/32.26 c (16,0) x116 = 581 88.42/32.26 c (16,0) x117 = 582 88.42/32.26 c (16,0) x118 = 369 88.42/32.26 c (16,0) x119 = 370 88.42/32.26 c (16,0) x12 = 592 88.42/32.26 c (16,0) x120 = 544 88.42/32.26 c (16,0) x121 = 545 88.42/32.26 c (16,0) x122 = 45 88.42/32.26 c (16,0) x123 = 44 88.42/32.26 c (16,0) x124 = 477 88.42/32.26 c (16,0) x125 = 478 88.42/32.26 c (16,0) x126 = 84 88.42/32.26 c (16,0) x127 = 85 88.42/32.26 c (16,0) x128 = 251 88.42/32.26 c (16,0) x129 = 250 88.42/32.26 c (16,0) x13 = 591 88.42/32.26 c (16,0) x130 = 0 88.42/32.26 c (16,0) x131 = 1 88.42/32.26 c (16,0) x132 = 171 88.42/32.26 c (16,0) x133 = 170 88.42/32.26 c (16,0) x134 = 371 88.42/32.26 c (16,0) x135 = 372 88.42/32.26 c (16,0) x136 = 206 88.42/32.26 c (16,0) x137 = 207 88.42/32.26 c (16,0) x138 = 437 88.42/32.26 c (16,0) x139 = 436 88.42/32.26 c (16,0) x14 = 522 88.42/32.26 c (16,0) x140 = 0 88.42/32.26 c (16,0) x141 = 640 88.42/32.26 c (16,0) x142 = 97 88.42/32.26 c (16,0) x143 = 96 88.42/32.26 c (16,0) x144 = 3 88.42/32.26 c (16,0) x145 = 4 88.42/32.26 c (16,0) x146 = 475 88.42/32.26 c (16,0) x147 = 476 88.42/32.26 c (16,0) x148 = 115 88.42/32.26 c (16,0) x149 = 116 88.42/32.26 c (16,0) x15 = 523 88.42/32.26 c (16,0) x150 = 433 88.42/32.26 c (16,0) x151 = 432 88.42/32.26 c (16,0) x152 = 296 88.42/32.26 c (16,0) x153 = 295 88.42/32.26 c (16,0) x154 = 383 88.42/32.26 c (16,0) x155 = 382 88.42/32.26 c (16,0) x156 = 204 88.42/32.26 c (16,0) x157 = 205 88.42/32.26 c (16,0) x158 = 573 88.42/32.26 c (16,0) x159 = 572 88.42/32.26 c (16,0) x16 = 0 88.42/32.26 c (16,0) x160 = 549 88.42/32.26 c (16,0) x161 = 550 88.42/32.26 c (16,0) x162 = 414 88.42/32.26 c (16,0) x163 = 413 88.42/32.26 c (16,0) x164 = 61 88.42/32.26 c (16,0) x165 = 60 88.42/32.26 c (16,0) x166 = 471 88.42/32.26 c (16,0) x167 = 470 88.42/32.26 c (16,0) x168 = 344 88.42/32.26 c (16,0) x169 = 343 88.42/32.26 c (16,0) x17 = 1 88.42/32.26 c (16,0) x170 = 241 88.42/32.26 c (16,0) x171 = 242 88.42/32.26 c (16,0) x172 = 114 88.42/32.26 c (16,0) x173 = 115 88.42/32.26 c (16,0) x174 = 383 88.42/32.26 c (16,0) x175 = 384 88.42/32.27 c (16,0) x176 = 267 88.42/32.27 c (16,0) x177 = 268 88.42/32.27 c (16,0) x178 = 452 88.42/32.27 c (16,0) x179 = 453 88.42/32.27 c (16,0) x18 = 135 88.42/32.27 c (16,0) x180 = 527 88.42/32.27 c (16,0) x181 = 526 88.42/32.27 c (16,0) x182 = 0 88.42/32.27 c (16,0) x183 = 1 88.42/32.27 c (16,0) x184 = 53 88.42/32.27 c (16,0) x185 = 52 88.42/32.27 c (16,0) x186 = 308 88.42/32.27 c (16,0) x187 = 307 88.42/32.27 c (16,0) x188 = 270 88.42/32.27 c (16,0) x189 = 269 88.42/32.27 c (16,0) x19 = 136 88.42/32.27 c (16,0) x190 = 562 88.42/32.27 c (16,0) x191 = 561 88.42/32.27 c (16,0) x192 = 349 88.42/32.27 c (16,0) x193 = 350 88.42/32.27 c (16,0) x194 = 238 88.42/32.27 c (16,0) x195 = 237 88.42/32.27 c (16,0) x196 = 442 88.42/32.27 c (16,0) x197 = 443 88.42/32.27 c (16,0) x198 = 142 88.42/32.27 c (16,0) x199 = 143 88.42/32.27 c (16,0) x2 = 422 88.42/32.27 c (16,0) x20 = 357 88.42/32.27 c (16,0) x21 = 358 88.42/32.27 c (16,0) x22 = 0 88.42/32.27 c (16,0) x23 = 1 88.42/32.27 c (16,0) x24 = 70 88.42/32.27 c (16,0) x25 = 71 88.42/32.27 c (16,0) x26 = 171 88.42/32.27 c (16,0) x27 = 170 88.42/32.27 c (16,0) x28 = 475 88.42/32.27 c (16,0) x29 = 345 88.42/32.27 c (16,0) x3 = 421 88.42/32.27 c (16,0) x30 = 453 88.42/32.27 c (16,0) x31 = 452 88.42/32.27 c (16,0) x32 = 513 88.42/32.27 c (16,0) x33 = 267 88.42/32.27 c (16,0) x34 = 113 88.42/32.27 c (16,0) x35 = 114 88.42/32.27 c (16,0) x36 = 97 88.42/32.27 c (16,0) x37 = 96 88.42/32.27 c (16,0) x38 = 542 88.42/32.27 c (16,0) x39 = 543 88.42/32.27 c (16,0) x4 = 370 88.42/32.27 c (16,0) x40 = 275 88.42/32.27 c (16,0) x41 = 274 88.42/32.27 c (16,0) x42 = 6 88.42/32.27 c (16,0) x43 = 7 88.42/32.27 c (16,0) x44 = 549 88.42/32.27 c (16,0) x45 = 548 88.42/32.27 c (16,0) x46 = 437 88.42/32.27 c (16,0) x47 = 438 88.42/32.27 c (16,0) x48 = 45 88.42/32.27 c (16,0) x49 = 44 88.42/32.27 c (16,0) x5 = 369 88.42/32.27 c (16,0) x50 = 638 88.42/32.27 c (16,0) x51 = 637 88.42/32.27 c (16,0) x52 = 209 88.42/32.27 c (16,0) x53 = 210 88.42/32.27 c (16,0) x54 = 371 88.42/32.27 c (16,0) x55 = 372 88.42/32.27 c (16,0) x56 = 118 88.42/32.27 c (16,0) x57 = 119 88.42/32.27 c (16,0) x58 = 462 88.42/32.27 c (16,0) x59 = 463 88.42/32.27 c (16,0) x6 = 204 88.42/32.27 c (16,0) x60 = 1 88.42/32.27 c (16,0) x61 = 0 88.42/32.27 c (16,0) x62 = 51 88.42/32.27 c (16,0) x63 = 50 88.42/32.27 c (16,0) x64 = 18 88.42/32.27 c (16,0) x65 = 19 88.42/32.27 c (16,0) x66 = 140 88.42/32.27 c (16,0) x67 = 141 88.42/32.27 c (16,0) x68 = 524 88.42/32.27 c (16,0) x69 = 525 88.42/32.27 c (16,0) x7 = 279 88.42/32.27 c (16,0) x70 = 359 88.42/32.27 c (16,0) x71 = 358 88.42/32.27 c (16,0) x72 = 212 88.42/32.27 c (16,0) x73 = 211 88.42/32.27 c (16,0) x74 = 450 88.42/32.27 c (16,0) x75 = 451 88.42/32.27 c (16,0) x76 = 582 88.42/32.27 c (16,0) x77 = 581 88.42/32.27 c (16,0) x78 = 279 88.42/32.27 c (16,0) x79 = 280 88.42/32.27 c (16,0) x8 = 232 88.42/32.27 c (16,0) x80 = 181 88.42/32.27 c (16,0) x81 = 180 88.42/32.27 c (16,0) x82 = 477 88.42/32.27 c (16,0) x83 = 478 88.42/32.27 c (16,0) x84 = 349 88.42/32.27 c (16,0) x85 = 350 88.42/32.27 c (16,0) x86 = 334 88.42/32.27 c (16,0) x87 = 543 88.42/32.27 c (16,0) x88 = 592 88.42/32.27 c (16,0) x89 = 591 88.42/32.27 c (16,0) x9 = 231 88.42/32.27 c (16,0) x90 = 151 88.42/32.27 c (16,0) x91 = 259 88.42/32.27 c (16,0) x92 = 422 88.42/32.27 c (16,0) x93 = 421 88.42/32.27 c (16,0) x94 = 288 88.42/32.27 c (16,0) x95 = 287 88.42/32.27 c (16,0) x96 = 101 88.42/32.27 c (16,0) x97 = 100 88.42/32.27 c (16,0) x98 = 0 88.42/32.27 c (16,0) x99 = 1 88.42/32.27 s SATISFIABLE 88.42/32.27 v <instantiation> 88.42/32.27 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> 88.42/32.27 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> 88.42/32.27 v </instantiation> 88.42/32.27 c (16,0) Show results End 88.42/32.27 c (16,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB) 88.42/32.27 c (16,0) 16,16,STOP-AFTER(ALL) 88.42/32.27 c END-Prog: Tue Sep 24 22:36:28 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 (11820 MiB free)
memory of node 1: 16384 MiB (13062 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405170-1569357399/watcher-4405170-1569357399 -o /var/tmp/evaluation-result-4405170-1569357399/solver-4405170-1569357399 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node121-1569357356-20838 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405170-1569357399.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=20855, runsolver pid=20852
[startup+0.100115 s]*
/proc/loadavg: 7.41 8.07 8.21 2/211 20877
/proc/meminfo: memFree=25387756/32770624 swapFree=66992452/67108860
[pid=20855] ppid=20852 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/20855/stat : 20855 (scop.sh) S 20852 20855 20811 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 512002441 115843072 348 33554432000 4194304 5098028 140731811097552 140731811094808 140564746715772 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8032256 140731811099389 140731811099736 140731811099736 140731811102665 0
/proc/20855/statm: 28282 348 296 221 0 87 0
[pid=20858] ppid=20855 vsize=27314120 memory=106596 CPUtime=0.1 cores=0-7
/proc/20858/stat : 20858 (java) S 20855 20855 20811 0 -1 1077944320 6710 0 0 0 8 2 0 0 20 0 20 0 512002441 27969658880 26649 33554432000 4194304 4196468 140733521721904 140733521704448 139957092626167 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
/proc/20858/statm: 6828530 26649 2815 1 0 6790935 0
[pid=20858/tid=20859] ppid=20855 vsize=27314120 memory=-2177352373413752899 CPUtime=0.09 cores=0-7
/proc/20858/task/20859/stat : 20859 (java) R 20855 20855 20811 0 -1 4202560 4774 0 0 0 7 2 0 0 20 0 20 0 512002442 27969658880 26649 33554432000 4194304 4196468 140733521721904 139957064447488 139957078065328 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
[pid=20858/tid=20860] ppid=20855 vsize=27314120 memory=732370413695130597 CPUtime=0 cores=0-7
/proc/20858/task/20860/stat : 20860 (java) S 20855 20855 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512002444 27969658880 26649 33554432000 4194304 4196468 140733521721904 139957096868752 139957092636373 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
[pid=20858/tid=20861] ppid=20855 vsize=27314120 memory=140275357677184 CPUtime=0 cores=0-7
/proc/20858/task/20861/stat : 20861 (java) S 20855 20855 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512002444 27969658880 26649 33554432000 4194304 4196468 140733521721904 139956880263952 139957092636373 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
[pid=20858/tid=20862] ppid=20855 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20858/task/20862/stat : 20862 (java) S 20855 20855 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512002444 27969658880 26649 33554432000 4194304 4196468 140733521721904 139956879211664 139957092636373 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
[pid=20858/tid=20863] ppid=20855 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20858/task/20863/stat : 20863 (java) S 20855 20855 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512002444 27969658880 26649 33554432000 4194304 4196468 140733521721904 139956513135632 139957092636373 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
[pid=20858/tid=20864] ppid=20855 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20858/task/20864/stat : 20864 (java) S 20855 20855 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512002444 27969658880 26649 33554432000 4194304 4196468 140733521721904 139956512082320 139957092636373 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
[pid=20858/tid=20865] ppid=20855 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20858/task/20865/stat : 20865 (java) S 20855 20855 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512002444 27969658880 26649 33554432000 4194304 4196468 140733521721904 139956511029520 139957092636373 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
[pid=20858/tid=20866] ppid=20855 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20858/task/20866/stat : 20866 (java) S 20855 20855 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512002444 27969658880 26649 33554432000 4194304 4196468 140733521721904 139956509977232 139957092636373 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
[pid=20858/tid=20867] ppid=20855 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20858/task/20867/stat : 20867 (java) S 20855 20855 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512002444 27969658880 26649 33554432000 4194304 4196468 140733521721904 139956508924432 139957092636373 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
[pid=20858/tid=20868] ppid=20855 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20858/task/20868/stat : 20868 (java) S 20855 20855 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512002446 27969658880 26649 33554432000 4194304 4196468 140733521721904 139956083182192 139957092637314 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
[pid=20858/tid=20869] ppid=20855 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20858/task/20869/stat : 20869 (java) S 20855 20855 20811 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512002446 27969658880 26649 33554432000 4194304 4196468 140733521721904 139954998994208 139957092636373 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
[pid=20858/tid=20870] ppid=20855 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20858/task/20870/stat : 20870 (java) S 20855 20855 20811 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512002446 27969658880 26649 33554432000 4194304 4196468 140733521721904 139954864772720 139957092636373 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
[pid=20858/tid=20871] ppid=20855 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20858/task/20871/stat : 20871 (java) S 20855 20855 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512002449 27969658880 26649 33554432000 4194304 4196468 140733521721904 139954490268240 139957092644763 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
[pid=20858/tid=20872] ppid=20855 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20858/task/20872/stat : 20872 (java) S 20855 20855 20811 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 512002449 27969658880 26649 33554432000 4194304 4196468 140733521721904 139956082129008 139957092637314 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
[pid=20858/tid=20873] ppid=20855 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20858/task/20873/stat : 20873 (java) S 20855 20855 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512002449 27969658880 26649 33554432000 4194304 4196468 140733521721904 139956081076208 139957092637314 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
[pid=20858/tid=20874] ppid=20855 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20858/task/20874/stat : 20874 (java) S 20855 20855 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512002449 27969658880 26649 33554432000 4194304 4196468 140733521721904 139956080023920 139957092637314 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
[pid=20858/tid=20875] ppid=20855 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20858/task/20875/stat : 20875 (java) S 20855 20855 20811 0 -1 1077944384 274 0 0 0 0 0 0 0 20 0 20 0 512002449 27969658880 26649 33554432000 4194304 4196468 140733521721904 139956078971120 139957092637314 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
[pid=20858/tid=20876] ppid=20855 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20858/task/20876/stat : 20876 (java) S 20855 20855 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512002449 27969658880 26649 33554432000 4194304 4196468 140733521721904 139953992362848 139957092636373 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
[pid=20858/tid=20877] ppid=20855 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20858/task/20877/stat : 20877 (java) S 20855 20855 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512002449 27969658880 26649 33554432000 4194304 4196468 140733521721904 139956077919024 139957092637314 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107988 KiB
[startup+0.21046 s]*
/proc/loadavg: 7.41 8.07 8.21 3/211 20877
/proc/meminfo: memFree=25366636/32770624 swapFree=66992452/67108860
[pid=20855] ppid=20852 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/20855/stat : 20855 (scop.sh) S 20852 20855 20811 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 512002441 115843072 348 33554432000 4194304 5098028 140731811097552 140731811094808 140564746715772 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8032256 140731811099389 140731811099736 140731811099736 140731811102665 0
/proc/20855/statm: 28282 348 296 221 0 87 0
[pid=20858] ppid=20855 vsize=27314120 memory=123564 CPUtime=0.25 cores=0-7
/proc/20858/stat : 20858 (java) S 20855 20855 20811 0 -1 1077944320 12297 0 0 0 20 5 0 0 20 0 20 0 512002441 27969658880 30891 33554432000 4194304 4196468 140733521721904 140733521704448 139957092626167 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
/proc/20858/statm: 6828530 30891 2923 1 0 6790935 0
[pid=20858/tid=20859] ppid=20855 vsize=27314120 memory=0 CPUtime=0.2 cores=0-7
/proc/20858/task/20859/stat : 20859 (java) R 20855 20855 20811 0 -1 4202560 9968 0 0 0 16 4 0 0 20 0 20 0 512002442 27969658880 30891 33554432000 4194304 4196468 140733521721904 139957064433536 139957072901927 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
[pid=20858/tid=20860] ppid=20855 vsize=27314120 memory=732370413695130597 CPUtime=0 cores=0-7
/proc/20858/task/20860/stat : 20860 (java) S 20855 20855 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512002444 27969658880 30891 33554432000 4194304 4196468 140733521721904 139957096868752 139957092636373 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
[pid=20858/tid=20861] ppid=20855 vsize=27314120 memory=140275357677184 CPUtime=0 cores=0-7
/proc/20858/task/20861/stat : 20861 (java) S 20855 20855 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512002444 27969658880 30891 33554432000 4194304 4196468 140733521721904 139956880263952 139957092636373 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
[pid=20858/tid=20862] ppid=20855 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20858/task/20862/stat : 20862 (java) S 20855 20855 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512002444 27969658880 30891 33554432000 4194304 4196468 140733521721904 139956879211664 139957092636373 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
[pid=20858/tid=20863] ppid=20855 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20858/task/20863/stat : 20863 (java) S 20855 20855 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512002444 27969658880 30891 33554432000 4194304 4196468 140733521721904 139956513135632 139957092636373 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
[pid=20858/tid=20864] ppid=20855 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20858/task/20864/stat : 20864 (java) S 20855 20855 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512002444 27969658880 30891 33554432000 4194304 4196468 140733521721904 139956512082320 139957092636373 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
[pid=20858/tid=20865] ppid=20855 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20858/task/20865/stat : 20865 (java) S 20855 20855 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512002444 27969658880 30891 33554432000 4194304 4196468 140733521721904 139956511029520 139957092636373 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
[pid=20858/tid=20866] ppid=20855 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20858/task/20866/stat : 20866 (java) S 20855 20855 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512002444 27969658880 30891 33554432000 4194304 4196468 140733521721904 139956509977232 139957092636373 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
[pid=20858/tid=20867] ppid=20855 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20858/task/20867/stat : 20867 (java) S 20855 20855 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512002444 27969658880 30891 33554432000 4194304 4196468 140733521721904 139956508924432 139957092636373 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
[pid=20858/tid=20868] ppid=20855 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20858/task/20868/stat : 20868 (java) S 20855 20855 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512002446 27969658880 30891 33554432000 4194304 4196468 140733521721904 139956083182192 139957092637314 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
[pid=20858/tid=20869] ppid=20855 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20858/task/20869/stat : 20869 (java) S 20855 20855 20811 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512002446 27969658880 30891 33554432000 4194304 4196468 140733521721904 139954998994208 139957092636373 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
[pid=20858/tid=20870] ppid=20855 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20858/task/20870/stat : 20870 (java) S 20855 20855 20811 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512002446 27969658880 30891 33554432000 4194304 4196468 140733521721904 139954864772720 139957092636373 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
[pid=20858/tid=20871] ppid=20855 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20858/task/20871/stat : 20871 (java) S 20855 20855 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512002449 27969658880 30891 33554432000 4194304 4196468 140733521721904 139954490268240 139957092644763 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
[pid=20858/tid=20872] ppid=20855 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20858/task/20872/stat : 20872 (java) S 20855 20855 20811 0 -1 1077944384 434 0 0 0 0 0 0 0 20 0 20 0 512002449 27969658880 30891 33554432000 4194304 4196468 140733521721904 139956082129008 139957092637314 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
[pid=20858/tid=20873] ppid=20855 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20858/task/20873/stat : 20873 (java) S 20855 20855 20811 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 512002449 27969658880 30891 33554432000 4194304 4196468 140733521721904 139956081076208 139957092637314 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
[pid=20858/tid=20874] ppid=20855 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20858/task/20874/stat : 20874 (java) S 20855 20855 20811 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 512002449 27969658880 30891 33554432000 4194304 4196468 140733521721904 139956080023920 139957092637314 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
[pid=20858/tid=20875] ppid=20855 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/20858/task/20875/stat : 20875 (java) S 20855 20855 20811 0 -1 1077944384 475 0 0 0 2 0 0 0 20 0 20 0 512002449 27969658880 30891 33554432000 4194304 4196468 140733521721904 139956078971120 139957092637314 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
[pid=20858/tid=20876] ppid=20855 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20858/task/20876/stat : 20876 (java) S 20855 20855 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512002449 27969658880 30891 33554432000 4194304 4196468 140733521721904 139953992362848 139957092636373 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
[pid=20858/tid=20877] ppid=20855 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20858/task/20877/stat : 20877 (java) S 20855 20855 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512002449 27969658880 30891 33554432000 4194304 4196468 140733521721904 139956077919024 139957092637314 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124956 KiB
[startup+0.309739 s]*
/proc/loadavg: 7.41 8.07 8.21 2/211 20877
/proc/meminfo: memFree=25363888/32770624 swapFree=66992452/67108860
[pid=20855] ppid=20852 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/20855/stat : 20855 (scop.sh) S 20852 20855 20811 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 512002441 115843072 348 33554432000 4194304 5098028 140731811097552 140731811094808 140564746715772 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8032256 140731811099389 140731811099736 140731811099736 140731811102665 0
/proc/20855/statm: 28282 348 296 221 0 87 0
[pid=20858] ppid=20855 vsize=27314120 memory=127444 CPUtime=0.42 cores=0-7
/proc/20858/stat : 20858 (java) S 20855 20855 20811 0 -1 1077944320 12812 0 0 0 37 5 0 0 20 0 20 0 512002441 27969658880 31861 33554432000 4194304 4196468 140733521721904 140733521704448 139957092626167 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
/proc/20858/statm: 6828530 31861 3005 1 0 6790935 0
[pid=20858/tid=20859] ppid=20855 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/20858/task/20859/stat : 20859 (java) R 20855 20855 20811 0 -1 4202560 10291 0 0 0 25 4 0 0 20 0 20 0 512002442 27969658880 31861 33554432000 4194304 4196468 140733521721904 139957064411152 139957077791806 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
[pid=20858/tid=20860] ppid=20855 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20858/task/20860/stat : 20860 (java) S 20855 20855 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512002444 27969658880 31861 33554432000 4194304 4196468 140733521721904 139957096868752 139957092636373 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
[pid=20858/tid=20861] ppid=20855 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20858/task/20861/stat : 20861 (java) S 20855 20855 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512002444 27969658880 31861 33554432000 4194304 4196468 140733521721904 139956880263952 139957092636373 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
[pid=20858/tid=20862] ppid=20855 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20858/task/20862/stat : 20862 (java) S 20855 20855 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512002444 27969658880 31861 33554432000 4194304 4196468 140733521721904 139956879211664 139957092636373 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
[pid=20858/tid=20863] ppid=20855 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20858/task/20863/stat : 20863 (java) S 20855 20855 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512002444 27969658880 31861 33554432000 4194304 4196468 140733521721904 139956513135632 139957092636373 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
[pid=20858/tid=20864] ppid=20855 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20858/task/20864/stat : 20864 (java) S 20855 20855 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512002444 27969658880 31861 33554432000 4194304 4196468 140733521721904 139956512082320 139957092636373 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
[pid=20858/tid=20865] ppid=20855 vsize=27314120 memory=140275242592943 CPUtime=0 cores=0-7
/proc/20858/task/20865/stat : 20865 (java) S 20855 20855 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512002444 27969658880 31861 33554432000 4194304 4196468 140733521721904 139956511029520 139957092636373 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
[pid=20858/tid=20866] ppid=20855 vsize=27314120 memory=140275242595248 CPUtime=0 cores=0-7
/proc/20858/task/20866/stat : 20866 (java) S 20855 20855 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512002444 27969658880 31861 33554432000 4194304 4196468 140733521721904 139956509977232 139957092636373 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
[pid=20858/tid=20867] ppid=20855 vsize=27314120 memory=140275242597552 CPUtime=0 cores=0-7
/proc/20858/task/20867/stat : 20867 (java) S 20855 20855 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512002444 27969658880 31861 33554432000 4194304 4196468 140733521721904 139956508924432 139957092636373 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
[pid=20858/tid=20868] ppid=20855 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20858/task/20868/stat : 20868 (java) S 20855 20855 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512002446 27969658880 31861 33554432000 4194304 4196468 140733521721904 139956083182192 139957092637314 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
[pid=20858/tid=20869] ppid=20855 vsize=27314120 memory=280550485208976 CPUtime=0 cores=0-7
/proc/20858/task/20869/stat : 20869 (java) S 20855 20855 20811 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512002446 27969658880 31861 33554432000 4194304 4196468 140733521721904 139954998994208 139957092636373 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
[pid=20858/tid=20870] ppid=20855 vsize=27314120 memory=280550485206672 CPUtime=0 cores=0-7
/proc/20858/task/20870/stat : 20870 (java) S 20855 20855 20811 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512002446 27969658880 31861 33554432000 4194304 4196468 140733521721904 139954864772720 139957092636373 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
[pid=20858/tid=20871] ppid=20855 vsize=27314120 memory=280550485213584 CPUtime=0 cores=0-7
/proc/20858/task/20871/stat : 20871 (java) S 20855 20855 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512002449 27969658880 31861 33554432000 4194304 4196468 140733521721904 139954490268240 139957092644763 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
[pid=20858/tid=20872] ppid=20855 vsize=27314120 memory=280550485154832 CPUtime=0.01 cores=0-7
/proc/20858/task/20872/stat : 20872 (java) S 20855 20855 20811 0 -1 1077944384 455 0 0 0 1 0 0 0 20 0 20 0 512002449 27969658880 31861 33554432000 4194304 4196468 140733521721904 139956082129008 139957092637314 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
[pid=20858/tid=20873] ppid=20855 vsize=27314120 memory=280550485227408 CPUtime=0.01 cores=0-7
/proc/20858/task/20873/stat : 20873 (java) S 20855 20855 20811 0 -1 1077944384 86 0 0 0 1 0 0 0 20 0 20 0 512002449 27969658880 31861 33554432000 4194304 4196468 140733521721904 139956081076208 139957092637314 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
[pid=20858/tid=20874] ppid=20855 vsize=27314120 memory=280550485234320 CPUtime=0.01 cores=0-7
/proc/20858/task/20874/stat : 20874 (java) R 20855 20855 20811 0 -1 4202560 102 0 0 0 1 0 0 0 20 0 20 0 512002449 27969658880 31861 33554432000 4194304 4196468 140733521721904 139956080023920 139957077733596 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
[pid=20858/tid=20875] ppid=20855 vsize=27314120 memory=280550485232016 CPUtime=0.07 cores=0-7
/proc/20858/task/20875/stat : 20875 (java) S 20855 20855 20811 0 -1 1077944384 521 0 0 0 7 0 0 0 20 0 20 0 512002449 27969658880 31861 33554432000 4194304 4196468 140733521721904 139956078971120 139957092637314 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
[pid=20858/tid=20876] ppid=20855 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20858/task/20876/stat : 20876 (java) S 20855 20855 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512002449 27969658880 31861 33554432000 4194304 4196468 140733521721904 139953992362848 139957092636373 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
[pid=20858/tid=20877] ppid=20855 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20858/task/20877/stat : 20877 (java) S 20855 20855 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512002449 27969658880 31861 33554432000 4194304 4196468 140733521721904 139956077919024 139957092637314 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128836 KiB
[startup+0.700972 s]
/proc/loadavg: 7.41 8.07 8.21 2/211 20877
/proc/meminfo: memFree=25343420/32770624 swapFree=66992452/67108860
[pid=20855] ppid=20852 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/20855/stat : 20855 (scop.sh) S 20852 20855 20811 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 512002441 115843072 348 33554432000 4194304 5098028 140731811097552 140731811094808 140564746715772 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8032256 140731811099389 140731811099736 140731811099736 140731811102665 0
/proc/20855/statm: 28282 348 296 221 0 87 0
[pid=20858] ppid=20855 vsize=27320392 memory=163188 CPUtime=0.99 cores=0-7
/proc/20858/stat : 20858 (java) S 20855 20855 20811 0 -1 1077944320 20461 0 0 0 91 8 0 0 20 0 20 0 512002441 27976081408 40797 33554432000 4194304 4196468 140733521721904 140733521704448 139957092626167 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
/proc/20858/statm: 6830098 40797 3171 1 0 6791447 0
[pid=20858/tid=20859] ppid=20855 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/20858/task/20859/stat : 20859 (java) R 20855 20855 20811 0 -1 4202560 17356 0 0 0 61 6 0 0 20 0 20 0 512002442 27976081408 40797 33554432000 4194304 4196468 140733521721904 139957064460192 139956559432717 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
[pid=20858/tid=20860] ppid=20855 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/20858/task/20860/stat : 20860 (java) S 20855 20855 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512002444 27976081408 40797 33554432000 4194304 4196468 140733521721904 139957096868752 139957092636373 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
[pid=20858/tid=20861] ppid=20855 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/20858/task/20861/stat : 20861 (java) S 20855 20855 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512002444 27976081408 40797 33554432000 4194304 4196468 140733521721904 139956880263952 139957092636373 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
[pid=20858/tid=20862] ppid=20855 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/20858/task/20862/stat : 20862 (java) S 20855 20855 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512002444 27976081408 40797 33554432000 4194304 4196468 140733521721904 139956879211664 139957092636373 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8839168 140733521724103 140733521724550 140733521724550 140733521727439 0
################
# More data... #
################
/proc/20878/task/20882/stat : 20882 (java) S 20855 20855 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512003953 8616062976 30464 33554432000 4194304 4196468 140728860457536 140535278316176 140535793817301 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20883] ppid=20855 vsize=8414124 memory=1576 CPUtime=0 cores=0-7
/proc/20878/task/20883/stat : 20883 (java) S 20855 20855 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512003953 8616062976 30464 33554432000 4194304 4196468 140728860457536 140535277263376 140535793817301 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20884] ppid=20855 vsize=8414124 memory=1028 CPUtime=0 cores=0-7
/proc/20878/task/20884/stat : 20884 (java) S 20855 20855 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512003953 8616062976 30464 33554432000 4194304 4196468 140728860457536 140535276211088 140535793817301 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20885] ppid=20855 vsize=8414124 memory=1060 CPUtime=0 cores=0-7
/proc/20878/task/20885/stat : 20885 (java) S 20855 20855 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512003953 8616062976 30464 33554432000 4194304 4196468 140728860457536 140535275158288 140535793817301 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20886] ppid=20855 vsize=8414124 memory=2828 CPUtime=0 cores=0-7
/proc/20878/task/20886/stat : 20886 (java) S 20855 20855 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512003953 8616062976 30464 33554432000 4194304 4196468 140728860457536 140535274106000 140535793817301 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20887] ppid=20855 vsize=8414124 memory=756 CPUtime=0 cores=0-7
/proc/20878/task/20887/stat : 20887 (java) S 20855 20855 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512003953 8616062976 30464 33554432000 4194304 4196468 140728860457536 140535273053200 140535793817301 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20888] ppid=20855 vsize=8414124 memory=1548 CPUtime=0 cores=0-7
/proc/20878/task/20888/stat : 20888 (java) S 20855 20855 20811 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 512003954 8616062976 30464 33554432000 4194304 4196468 140728860457536 140534752471152 140535793818242 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20889] ppid=20855 vsize=8414124 memory=8248 CPUtime=0 cores=0-7
/proc/20878/task/20889/stat : 20889 (java) S 20855 20855 20811 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512003955 8616062976 30464 33554432000 4194304 4196468 140728860457536 140534416925472 140535793817301 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20890] ppid=20855 vsize=8414124 memory=1164 CPUtime=0 cores=0-7
/proc/20878/task/20890/stat : 20890 (java) S 20855 20855 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512003955 8616062976 30464 33554432000 4194304 4196468 140728860457536 140534148490352 140535793817301 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20891] ppid=20855 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20878/task/20891/stat : 20891 (java) S 20855 20855 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512003958 8616062976 30464 33554432000 4194304 4196468 140728860457536 140533773981776 140535793825691 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20892] ppid=20855 vsize=8414124 memory=0 CPUtime=0.08 cores=0-7
/proc/20878/task/20892/stat : 20892 (java) S 20855 20855 20811 0 -1 1077944384 925 0 0 0 8 0 0 0 20 0 24 0 512003958 8616062976 30464 33554432000 4194304 4196468 140728860457536 140534751418992 140535793818242 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20893] ppid=20855 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7
/proc/20878/task/20893/stat : 20893 (java) S 20855 20855 20811 0 -1 1077944384 377 0 0 0 7 0 0 0 20 0 24 0 512003958 8616062976 30464 33554432000 4194304 4196468 140728860457536 140534750366192 140535793818242 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20894] ppid=20855 vsize=8414124 memory=0 CPUtime=0.08 cores=0-7
/proc/20878/task/20894/stat : 20894 (java) S 20855 20855 20811 0 -1 1077944384 274 0 0 0 8 0 0 0 20 0 24 0 512003958 8616062976 30464 33554432000 4194304 4196468 140728860457536 140534749313904 140535793818242 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20895] ppid=20855 vsize=8414124 memory=0 CPUtime=0.2 cores=0-7
/proc/20878/task/20895/stat : 20895 (java) S 20855 20855 20811 0 -1 1077944384 512 0 0 0 20 0 0 0 20 0 24 0 512003958 8616062976 30464 33554432000 4194304 4196468 140728860457536 140534748261104 140535793818242 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20896] ppid=20855 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20878/task/20896/stat : 20896 (java) S 20855 20855 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512003958 8616062976 30464 33554432000 4194304 4196468 140728860457536 140533276076384 140535793817301 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20897] ppid=20855 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20878/task/20897/stat : 20897 (java) S 20855 20855 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512003958 8616062976 30464 33554432000 4194304 4196468 140728860457536 140534747207984 140535793818242 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20899] ppid=20855 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20878/task/20899/stat : 20899 (java) S 20855 20855 20811 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512004026 8616062976 30464 33554432000 4194304 4196468 140728860457536 140534739731776 140535793831705 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20901] ppid=20855 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20878/task/20901/stat : 20901 (java) S 20855 20855 20811 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 512004026 8616062976 30464 33554432000 4194304 4196468 140728860457536 140532604977040 140535793829021 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20902] ppid=20855 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20878/task/20902/stat : 20902 (java) S 20855 20855 20811 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 512004026 8616062976 30464 33554432000 4194304 4196468 140728860457536 140532873412368 140535793829021 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20903] ppid=20855 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20878/task/20903/stat : 20903 (java) S 20855 20855 20811 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 512004029 8616062976 30464 33554432000 4194304 4196468 140728860457536 140532336549680 140535793817301 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
Current children cumulated CPU time: 85.04 s
Current children cumulated vsize: 11312868 KiB
Current children cumulated memory: 2480548 KiB
[startup+32.0012 s]*
/proc/loadavg: 5.96 7.62 8.05 2/217 20913
/proc/meminfo: memFree=22940372/32770624 swapFree=66992452/67108860
[pid=20855] ppid=20852 vsize=113128 memory=1472 CPUtime=22.77 cores=0-7
/proc/20855/stat : 20855 (scop.sh) S 20852 20855 20811 0 -1 4202496 582 33731 0 0 0 0 2147 130 20 0 1 0 512002441 115843072 368 33554432000 4194304 5098028 140731811097552 140731811094296 140564746715772 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8032256 140731811099389 140731811099736 140731811099736 140731811102665 0
/proc/20855/statm: 28282 368 311 221 0 87 0
[pid=20878] ppid=20855 vsize=8414124 memory=121856 CPUtime=1.28 cores=0-7
/proc/20878/stat : 20878 (java) S 20855 20855 20811 0 -1 1077944320 21289 0 0 0 119 9 0 0 20 0 24 0 512003951 8616062976 30464 33554432000 4194304 4196468 140728860457536 140728860440080 140535793807095 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
/proc/20878/statm: 2103531 30464 3211 1 0 2064875 0
[pid=20898] ppid=20878 vsize=2752968 memory=2357720 CPUtime=63.84 cores=0-7
/proc/20898/stat : 20898 (manyglucose-4.1) R 20878 20855 20811 0 -1 4202496 1352208 0 0 0 6075 309 0 0 20 0 1 0 512004026 2819039232 589430 33554432000 4194304 4454172 140731170619472 140731170617856 140141318622048 0 4 0 8388610 0 0 0 17 6 0 0 0 0 0 6552832 6554400 31080448 140731170628429 140731170628636 140731170628636 140731170631606 0
/proc/20898/statm: 688242 589430 422 64 0 683910 0
[pid=20878/tid=20879] ppid=20855 vsize=8414124 memory=0 CPUtime=0.77 cores=0-7
/proc/20878/task/20879/stat : 20879 (java) S 20855 20855 20811 0 -1 1077944384 17802 0 0 0 71 6 0 0 20 0 24 0 512003952 8616062976 30464 33554432000 4194304 4196468 140728860457536 140535765647264 140535793817301 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20880] ppid=20855 vsize=8414124 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/20878/task/20880/stat : 20880 (java) S 20855 20855 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512003953 8616062976 30464 33554432000 4194304 4196468 140728860457536 140535798049168 140535793817301 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20881] ppid=20855 vsize=8414124 memory=2110625850559620 CPUtime=0 cores=0-7
/proc/20878/task/20881/stat : 20881 (java) S 20855 20855 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512003953 8616062976 30464 33554432000 4194304 4196468 140728860457536 140535279368464 140535793817301 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20882] ppid=20855 vsize=8414124 memory=63809 CPUtime=0 cores=0-7
/proc/20878/task/20882/stat : 20882 (java) S 20855 20855 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512003953 8616062976 30464 33554432000 4194304 4196468 140728860457536 140535278316176 140535793817301 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20883] ppid=20855 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20878/task/20883/stat : 20883 (java) S 20855 20855 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512003953 8616062976 30464 33554432000 4194304 4196468 140728860457536 140535277263376 140535793817301 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20884] ppid=20855 vsize=8414124 memory=140275243474880 CPUtime=0 cores=0-7
/proc/20878/task/20884/stat : 20884 (java) S 20855 20855 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512003953 8616062976 30464 33554432000 4194304 4196468 140728860457536 140535276211088 140535793817301 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20885] ppid=20855 vsize=8414124 memory=280550485000432 CPUtime=0 cores=0-7
/proc/20878/task/20885/stat : 20885 (java) S 20855 20855 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512003953 8616062976 30464 33554432000 4194304 4196468 140728860457536 140535275158288 140535793817301 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20886] ppid=20855 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20878/task/20886/stat : 20886 (java) S 20855 20855 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512003953 8616062976 30464 33554432000 4194304 4196468 140728860457536 140535274106000 140535793817301 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20887] ppid=20855 vsize=8414124 memory=140275357676001 CPUtime=0 cores=0-7
/proc/20878/task/20887/stat : 20887 (java) S 20855 20855 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512003953 8616062976 30464 33554432000 4194304 4196468 140728860457536 140535273053200 140535793817301 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20888] ppid=20855 vsize=8414124 memory=1576 CPUtime=0 cores=0-7
/proc/20878/task/20888/stat : 20888 (java) S 20855 20855 20811 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 512003954 8616062976 30464 33554432000 4194304 4196468 140728860457536 140534752471152 140535793818242 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20889] ppid=20855 vsize=8414124 memory=1028 CPUtime=0 cores=0-7
/proc/20878/task/20889/stat : 20889 (java) S 20855 20855 20811 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512003955 8616062976 30464 33554432000 4194304 4196468 140728860457536 140534416925472 140535793817301 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20890] ppid=20855 vsize=8414124 memory=1060 CPUtime=0 cores=0-7
/proc/20878/task/20890/stat : 20890 (java) S 20855 20855 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512003955 8616062976 30464 33554432000 4194304 4196468 140728860457536 140534148490352 140535793817301 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20891] ppid=20855 vsize=8414124 memory=2828 CPUtime=0 cores=0-7
/proc/20878/task/20891/stat : 20891 (java) S 20855 20855 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512003958 8616062976 30464 33554432000 4194304 4196468 140728860457536 140533773981776 140535793825691 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20892] ppid=20855 vsize=8414124 memory=756 CPUtime=0.08 cores=0-7
/proc/20878/task/20892/stat : 20892 (java) S 20855 20855 20811 0 -1 1077944384 925 0 0 0 8 0 0 0 20 0 24 0 512003958 8616062976 30464 33554432000 4194304 4196468 140728860457536 140534751418992 140535793818242 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20893] ppid=20855 vsize=8414124 memory=1548 CPUtime=0.07 cores=0-7
/proc/20878/task/20893/stat : 20893 (java) S 20855 20855 20811 0 -1 1077944384 377 0 0 0 7 0 0 0 20 0 24 0 512003958 8616062976 30464 33554432000 4194304 4196468 140728860457536 140534750366192 140535793818242 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20894] ppid=20855 vsize=8414124 memory=8248 CPUtime=0.08 cores=0-7
/proc/20878/task/20894/stat : 20894 (java) S 20855 20855 20811 0 -1 1077944384 274 0 0 0 8 0 0 0 20 0 24 0 512003958 8616062976 30464 33554432000 4194304 4196468 140728860457536 140534749313904 140535793818242 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20895] ppid=20855 vsize=8414124 memory=1164 CPUtime=0.2 cores=0-7
/proc/20878/task/20895/stat : 20895 (java) R 20855 20855 20811 0 -1 4202560 513 0 0 0 20 0 0 0 20 0 24 0 512003958 8616062976 30464 33554432000 4194304 4196468 140728860457536 140534748261104 140535786903931 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20896] ppid=20855 vsize=8414124 memory=9520 CPUtime=0 cores=0-7
/proc/20878/task/20896/stat : 20896 (java) S 20855 20855 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512003958 8616062976 30464 33554432000 4194304 4196468 140728860457536 140533276076384 140535793817301 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20897] ppid=20855 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/20878/task/20897/stat : 20897 (java) S 20855 20855 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512003958 8616062976 30464 33554432000 4194304 4196468 140728860457536 140534747207984 140535793818242 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20899] ppid=20855 vsize=8414124 memory=21200 CPUtime=0 cores=0-7
/proc/20878/task/20899/stat : 20899 (java) S 20855 20855 20811 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512004026 8616062976 30464 33554432000 4194304 4196468 140728860457536 140534739731776 140535793831705 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20901] ppid=20855 vsize=8414124 memory=512 CPUtime=0 cores=0-7
/proc/20878/task/20901/stat : 20901 (java) R 20855 20855 20811 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 512004026 8616062976 30464 33554432000 4194304 4196468 140728860457536 140532604983360 140535793828925 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20902] ppid=20855 vsize=8414124 memory=1564 CPUtime=0 cores=0-7
/proc/20878/task/20902/stat : 20902 (java) S 20855 20855 20811 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 512004026 8616062976 30464 33554432000 4194304 4196468 140728860457536 140532873412368 140535793829021 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20903] ppid=20855 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/20878/task/20903/stat : 20903 (java) S 20855 20855 20811 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 512004029 8616062976 30464 33554432000 4194304 4196468 140728860457536 140532336549680 140535793817301 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
Current children cumulated CPU time: 87.89 s
Current children cumulated vsize: 11280220 KiB
Current children cumulated memory: 2481048 KiB
[startup+32.201 s]
/proc/loadavg: 5.96 7.62 8.05 2/217 20913
/proc/meminfo: memFree=22940372/32770624 swapFree=66992452/67108860
[pid=20855] ppid=20852 vsize=113128 memory=1472 CPUtime=22.77 cores=0-7
/proc/20855/stat : 20855 (scop.sh) S 20852 20855 20811 0 -1 4202496 582 33731 0 0 0 0 2147 130 20 0 1 0 512002441 115843072 368 33554432000 4194304 5098028 140731811097552 140731811094296 140564746715772 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8032256 140731811099389 140731811099736 140731811099736 140731811102665 0
/proc/20855/statm: 28282 368 311 221 0 87 0
[pid=20878] ppid=20855 vsize=8283048 memory=151536 CPUtime=65.65 cores=0-7
/proc/20878/stat : 20878 (java) S 20855 20855 20811 0 -1 1077944320 22695 1352215 0 0 158 10 6078 319 20 0 22 0 512003951 8481841152 37884 33554432000 4194304 4196468 140728860457536 140728860440080 140535793807095 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
/proc/20878/statm: 2070762 37884 3234 1 0 2032106 0
[pid=20878/tid=20879] ppid=20855 vsize=8283048 memory=1440 CPUtime=64.79 cores=0-7
/proc/20878/task/20879/stat : 20879 (java) R 20855 20855 20811 0 -1 4202560 17959 1352215 0 0 76 6 6078 319 20 0 22 0 512003952 8481841152 37884 33554432000 4194304 4196468 140728860457536 140535765644688 140535793819030 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20880] ppid=20855 vsize=8283048 memory=904 CPUtime=63.97 cores=0-7
/proc/20878/task/20880/stat : 20880 (java) S 20855 20855 20811 0 -1 1077944384 1 1352215 0 0 0 0 6078 319 20 0 22 0 512003953 8481841152 37884 33554432000 4194304 4196468 140728860457536 140535798049168 140535793817301 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20881] ppid=20855 vsize=8283048 memory=1984 CPUtime=63.97 cores=0-7
/proc/20878/task/20881/stat : 20881 (java) S 20855 20855 20811 0 -1 1077944384 1 1352215 0 0 0 0 6078 319 20 0 22 0 512003953 8481841152 37884 33554432000 4194304 4196468 140728860457536 140535279368464 140535793817301 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20882] ppid=20855 vsize=8283048 memory=2528 CPUtime=63.97 cores=0-7
/proc/20878/task/20882/stat : 20882 (java) S 20855 20855 20811 0 -1 1077944384 3 1352215 0 0 0 0 6078 319 20 0 22 0 512003953 8481841152 37884 33554432000 4194304 4196468 140728860457536 140535278316176 140535793817301 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20883] ppid=20855 vsize=8283048 memory=2357552 CPUtime=63.97 cores=0-7
/proc/20878/task/20883/stat : 20883 (java) S 20855 20855 20811 0 -1 1077944384 1 1352215 0 0 0 0 6078 319 20 0 22 0 512003953 8481841152 37884 33554432000 4194304 4196468 140728860457536 140535277263376 140535793817301 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20884] ppid=20855 vsize=8283048 memory=9520 CPUtime=63.97 cores=0-7
/proc/20878/task/20884/stat : 20884 (java) S 20855 20855 20811 0 -1 1077944384 1 1352215 0 0 0 0 6078 319 20 0 22 0 512003953 8481841152 37884 33554432000 4194304 4196468 140728860457536 140535276211088 140535793817301 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20885] ppid=20855 vsize=8283048 memory=14008 CPUtime=63.97 cores=0-7
/proc/20878/task/20885/stat : 20885 (java) S 20855 20855 20811 0 -1 1077944384 1 1352215 0 0 0 0 6078 319 20 0 22 0 512003953 8481841152 37884 33554432000 4194304 4196468 140728860457536 140535275158288 140535793817301 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20886] ppid=20855 vsize=8283048 memory=2120 CPUtime=63.97 cores=0-7
/proc/20878/task/20886/stat : 20886 (java) S 20855 20855 20811 0 -1 1077944384 2 1352215 0 0 0 0 6078 319 20 0 22 0 512003953 8481841152 37884 33554432000 4194304 4196468 140728860457536 140535274106000 140535793817301 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20887] ppid=20855 vsize=8283048 memory=12028 CPUtime=63.97 cores=0-7
/proc/20878/task/20887/stat : 20887 (java) S 20855 20855 20811 0 -1 1077944384 1 1352215 0 0 0 0 6078 319 20 0 22 0 512003953 8481841152 37884 33554432000 4194304 4196468 140728860457536 140535273053200 140535793817301 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20888] ppid=20855 vsize=8283048 memory=21200 CPUtime=63.97 cores=0-7
/proc/20878/task/20888/stat : 20888 (java) S 20855 20855 20811 0 -1 1077944384 5 1352215 0 0 0 0 6078 319 20 0 22 0 512003954 8481841152 37884 33554432000 4194304 4196468 140728860457536 140534752471152 140535793818242 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20889] ppid=20855 vsize=8283048 memory=512 CPUtime=63.97 cores=0-7
/proc/20878/task/20889/stat : 20889 (java) S 20855 20855 20811 0 -1 1077944384 13 1352215 0 0 0 0 6078 319 20 0 22 0 512003955 8481841152 37884 33554432000 4194304 4196468 140728860457536 140534416925472 140535793817301 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20890] ppid=20855 vsize=8283048 memory=1564 CPUtime=63.97 cores=0-7
/proc/20878/task/20890/stat : 20890 (java) S 20855 20855 20811 0 -1 1077944384 1 1352215 0 0 0 0 6078 319 20 0 22 0 512003955 8481841152 37884 33554432000 4194304 4196468 140728860457536 140534148490352 140535793817301 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20891] ppid=20855 vsize=8283048 memory=928 CPUtime=63.97 cores=0-7
/proc/20878/task/20891/stat : 20891 (java) S 20855 20855 20811 0 -1 1077944384 1 1352215 0 0 0 0 6078 319 20 0 22 0 512003958 8481841152 37884 33554432000 4194304 4196468 140728860457536 140533773981776 140535793825691 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20892] ppid=20855 vsize=8283048 memory=3784 CPUtime=64.1 cores=0-7
/proc/20878/task/20892/stat : 20892 (java) S 20855 20855 20811 0 -1 1077944384 999 1352215 0 0 13 0 6078 319 20 0 22 0 512003958 8481841152 37884 33554432000 4194304 4196468 140728860457536 140534751418992 140535793818242 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20893] ppid=20855 vsize=8283048 memory=1440 CPUtime=64.1 cores=0-7
/proc/20878/task/20893/stat : 20893 (java) R 20855 20855 20811 0 -1 4202560 572 1352215 0 0 13 0 6078 319 20 0 22 0 512003958 8481841152 37884 33554432000 4194304 4196468 140728860457536 140534750366192 140535772995323 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20894] ppid=20855 vsize=8283048 memory=904 CPUtime=64.11 cores=0-7
/proc/20878/task/20894/stat : 20894 (java) R 20855 20855 20811 0 -1 1077944384 532 1352215 0 0 14 0 6078 319 20 0 22 0 512003958 8481841152 37884 33554432000 4194304 4196468 140728860457536 140534749313904 140535793818242 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20895] ppid=20855 vsize=8283048 memory=1984 CPUtime=64.24 cores=0-7
/proc/20878/task/20895/stat : 20895 (java) S 20855 20855 20811 0 -1 1077944384 1033 1352215 0 0 27 0 6078 319 20 0 22 0 512003958 8481841152 37884 33554432000 4194304 4196468 140728860457536 140534748261104 140535793818242 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20896] ppid=20855 vsize=8283048 memory=2528 CPUtime=63.97 cores=0-7
/proc/20878/task/20896/stat : 20896 (java) S 20855 20855 20811 0 -1 1077944384 3 1352215 0 0 0 0 6078 319 20 0 22 0 512003958 8481841152 37884 33554432000 4194304 4196468 140728860457536 140533276076384 140535793817301 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20897] ppid=20855 vsize=8283048 memory=1764 CPUtime=63.97 cores=0-7
/proc/20878/task/20897/stat : 20897 (java) S 20855 20855 20811 0 -1 1077944384 3 1352215 0 0 0 0 6078 319 20 0 22 0 512003958 8481841152 37884 33554432000 4194304 4196468 140728860457536 140534747207984 140535793818242 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20899] ppid=20855 vsize=8283048 memory=121856 CPUtime=63.97 cores=0-7
/proc/20878/task/20899/stat : 20899 (java) S 20855 20855 20811 0 -1 1077944384 25 1352215 0 0 0 0 6078 319 20 0 22 0 512004026 8481841152 37884 33554432000 4194304 4196468 140728860457536 140534739730960 140535793818242 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
[pid=20878/tid=20903] ppid=20855 vsize=8283048 memory=1472 CPUtime=63.97 cores=0-7
/proc/20878/task/20903/stat : 20903 (java) S 20855 20855 20811 0 -1 1077944384 13 1352215 0 0 0 0 6078 319 20 0 22 0 512004029 8481841152 37891 33554432000 4194304 4196468 140728860457536 140532336551472 140535793818242 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10428416 140728860464095 140728860464262 140728860464262 140728860467151 0
Current children cumulated CPU time: 88.42 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 153008 KiB
Child status: 0
Real time (s): 32.2985
CPU time (s): 88.68
CPU user time (s): 84.0303
CPU system time (s): 4.6497
CPU usage (%): 274.564
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 5999972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 84.0303
system time used= 4.6497
maximum resident set size= 6000268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1410585
page faults= 0
swaps= 0
block input operations= 8
block output operations= 140016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 74714
involuntary context switches= 562
# summary of solver processes directly reported to runsolver:
# pid: 20855
# total CPU time (s): 88.68
# total CPU user time (s): 84.0303
# total CPU system time (s): 4.6497
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.26899 second user time and 0.400034 second system time
The end
Begin job on node121 at 2019-09-24 22:35:56 IDJOB=4405170 IDBENCH=138445 IDSOLVER=2867 FILE ID=node121/4405170-1569357399 RUNJOBID= node121-1569357356-20838 PBS_JOBID= 21705107 Free space on /var/tmp= 13512 MiB SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22) BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-os10/SuperTaillard-os-10-01.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405170-1569357399/watcher-4405170-1569357399 -o /var/tmp/evaluation-result-4405170-1569357399/solver-4405170-1569357399 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node121-1569357356-20838 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405170-1569357399.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= a0db4e7a601eb58dee5216b17e791c99 RANDOM SEED=2092427798 node121.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 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: 25479832 kB MemAvailable: 31845136 kB Buffers: 151384 kB Cached: 6304048 kB SwapCached: 4604 kB Active: 3202860 kB Inactive: 3260536 kB Active(anon): 4108 kB Inactive(anon): 53636 kB Active(file): 3198752 kB Inactive(file): 3206900 kB Unevictable: 109592 kB Mlocked: 109592 kB SwapTotal: 67108860 kB SwapFree: 66992452 kB Dirty: 20588 kB Writeback: 0 kB AnonPages: 113672 kB Mapped: 52844 kB Shmem: 41140 kB Slab: 417220 kB SReclaimable: 388112 kB SUnreclaim: 29108 kB KernelStack: 3280 kB PageTables: 5768 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514288 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /var/tmp at the end= 13492 MiB End job on node121 at 2019-09-24 22:36:28