| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Fun-sCOP hybrid+ManyGlucose (2019-06-15) | SAT | 8.11731 | 3.29796 |
| Name | GracefulGraph/GracefulGraph-m1-s1/ GracefulGraph-K05-P02.xml |
| MD5SUM | 803795f7a37fd3a40686e408980b1bff |
| 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 | 0.274715 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 65 |
| Number of constraints | 27 |
| Number of domains | 2 |
| Minimum domain size | 25 |
| Maximum domain size | 26 |
| Distribution of domain sizes | [{"size":25,"count":25},{"size":26,"count":10}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 6 |
| Distribution of variable degrees | [{"degree":0,"count":30},{"degree":2,"count":25},{"degree":6,"count":10}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 25 |
| Distribution of constraint arities | [{"arity":3,"count":25},{"arity":10,"count":1},{"arity":25,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 25 |
| Distribution of constraint types | [{"type":"intension","count":25},{"type":"allDifferent","count":2}] |
| Optimization problem | NO |
| Type of objective |
0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-19624-serial-file.bin HOME/instance-4392616-1568416814.xml 0.67/0.55 0.67/0.55 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 0.67/0.55 0.67/0.57 c BEGIN-Prog: Sat Sep 14 01:19:35 CEST 2019 0.67/0.57 c PID: 19627 0.67/0.57 c IP: 172.20.3.135 0.67/0.57 c HOST: node135.alineos.net 0.67/0.58 c (0,0) Parsing Begin 1.18/0.87 c (0,0) Parsing End 1.18/0.88 c (0,0) CSP: 35 int (0 aux), 0 bool (0 aux), 27 ctr, max domain size 26 1.18/0.88 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB) 1.18/0.88 c (0,0) Constraint Name Generate Begin 1.18/0.88 c (0,0) Ctr:HOME/instance-4392616-1568416814.xml,AllDifferent:Dist:Eq:Var 1.18/0.88 c (0,0) Constraint Name Generate End 1.18/0.88 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB) 1.18/0.88 c (0,0) CSP to CSPinCNF Begin 1.37/0.99 c (0,0) translated 3 (10%) constraints 1.37/1.00 c (0,0) translated 6 (20%) constraints 1.56/1.01 c (0,0) translated 9 (30%) constraints 1.56/1.02 c (0,0) translated 11 (40%) constraints 1.56/1.03 c (0,0) translated 14 (50%) constraints 1.56/1.04 c (0,0) translated 17 (60%) constraints 1.56/1.04 c (0,0) translated 19 (70%) constraints 1.56/1.05 c (0,0) translated 22 (80%) constraints 1.56/1.06 c (0,0) translated 25 (90%) constraints 1.56/1.09 c (0,0) translated 27 (100%) constraints 2.02/1.22 c (0,0) =========================================== 2.02/1.24 c (0,0) Hybrid: #OE=35, #LE=0 2.02/1.24 c (0,0) Hybrid 2.02/1.24 c (0,0) =========================================== 2.02/1.25 c (0,0) translated 45 (10%) constraints 2.02/1.26 c (0,0) translated 90 (20%) constraints 2.02/1.27 c (0,0) translated 135 (30%) constraints 2.02/1.28 c (0,0) translated 180 (40%) constraints 2.02/1.28 c (0,0) translated 225 (50%) constraints 2.02/1.29 c (0,0) translated 270 (60%) constraints 2.02/1.30 c (0,0) translated 315 (70%) constraints 2.31/1.30 c (0,0) translated 360 (80%) constraints 2.31/1.31 c (0,0) translated 405 (90%) constraints 2.58/1.43 c (0,0) translated 450 (100%) constraints 2.58/1.44 c (0,0) CSP to CSPinCNF End 2.58/1.44 c (0,0) CSP: 35 int (0 aux), 625 bool (625 aux), 1700 ctr, max domain size 26 2.58/1.44 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB) 2.58/1.44 c (0,0) CSPinCNF Propagation Begin 2.58/1.48 c (0,0) 0 values, 0 unsatisfiable literals, and 51 valid clauses are removed 2.58/1.48 c (0,0) CSPinCNF Propagation End 2.58/1.48 c (0,0) CSP: 35 int (0 aux), 625 bool (625 aux), 1649 ctr, max domain size 26 2.58/1.48 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB) 2.58/1.49 c (0,0) Hybrid: #OE=660, #LE=0 2.58/1.49 c (0,0) Simplify CSPinCNF Begin 2.99/1.53 c (0,0) Simplify CSPinCNF End 2.99/1.53 c (0,0) CSP: 35 int (0 aux), 1365 bool (1365 aux), 2389 ctr, max domain size 26 2.99/1.53 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB) 2.99/1.53 c (0,0) Calculate Precise Domain Begin 2.99/1.53 c (0,0) 0 values are removed by re-calculation 2.99/1.53 c (0,0) Calculate Precise Domain End 2.99/1.53 c (0,0) CSP: 35 int (0 aux), 1365 bool (1365 aux), 2389 ctr, max domain size 26 2.99/1.53 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB) 2.99/1.53 c (0,0) CSPinCNF to SatSolver Begin 4.41/1.90 c (1,1) 239 (10 %) CSP clauses are encoded (0 SAT variables, 35328 SAT clauses) 4.41/1.94 c (1,1) 478 (20 %) CSP clauses are encoded (0 SAT variables, 39374 SAT clauses) 4.41/1.98 c (1,1) 717 (30 %) CSP clauses are encoded (0 SAT variables, 43429 SAT clauses) 4.86/2.01 c (1,1) 956 (40 %) CSP clauses are encoded (0 SAT variables, 47508 SAT clauses) 4.86/2.04 c (1,1) 1195 (50 %) CSP clauses are encoded (0 SAT variables, 51059 SAT clauses) 4.86/2.04 c (1,1) 1434 (60 %) CSP clauses are encoded (0 SAT variables, 51298 SAT clauses) 4.86/2.04 c (1,1) 1673 (70 %) CSP clauses are encoded (0 SAT variables, 51537 SAT clauses) 4.86/2.05 c (1,1) 1912 (80 %) CSP clauses are encoded (0 SAT variables, 51776 SAT clauses) 4.86/2.05 c (1,1) 2151 (90 %) CSP clauses are encoded (0 SAT variables, 52015 SAT clauses) 4.86/2.06 c (1,1) 2389 (100 %) CSP clauses are encoded (0 SAT variables, 52253 SAT clauses) 4.86/2.06 c (1,1) CSPinCNF to SatSolver End 4.86/2.06 c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 4.86/2.06 c (1,1) 2215 bool, 52254 clause 4.86/2.06 c (1,1) Export Begin 5.21/2.14 c (1,1) Export to HOME/scop-19624-serial-file.bin 5.21/2.14 c (1,1) Export End 5.21/2.14 c (1,1) Export File Size: 0.01 MB 5.21/2.14 c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS) 5.21/2.14 c END-Prog: Sat Sep 14 01:19:37 CEST 2019 5.21/2.16 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-19624-serial-file.bin 5.29/2.62 c (0,0) Read Serial File Begin 5.29/2.62 c (0,0) HOME/scop-19624-serial-file.bin 5.29/2.81 c (0,0) Read Serial File End 5.29/2.83 5.29/2.83 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 5.29/2.83 (Solving Process) 5.29/2.83 5.29/2.85 c BEGIN-Prog: Sat Sep 14 01:19:37 CEST 2019 5.29/2.85 c PID: 19647 5.29/2.85 c IP: 172.20.3.135 5.29/2.85 c HOST: node135.alineos.net 5.29/2.85 c (0,0) SatSolver.solve Begin 5.29/2.85 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392616-1568416814.xml-scop-19627.cnf 5.29/2.88 c (0,0) c 5.29/2.88 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) 5.29/2.88 c (0,0) c 5.29/2.88 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 5.29/2.88 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 5.29/2.88 c (0,0) c ========================================[ Problem Statistics ]=========================================== 5.29/2.88 c (0,0) c | | 5.29/2.89 c (0,0) c | Number of variables: 2215 | 5.29/2.89 c (0,0) c | Number of clauses: 52254 | 5.29/2.89 c (0,0) c | Parse time: 0.01 s | 5.29/2.89 c (0,0) c | | 5.29/2.95 c (0,0) c | Simplification time: 0.06 s | 5.29/2.95 c (0,0) c | | 5.29/2.95 c (0,0) c | Generating clones | 5.29/2.96 c (0,0) c | all clones generated. Memory = 48.35Mb. | 5.29/2.96 c (0,0) c ========================================================================================================| 5.29/2.96 c (0,0) c 5.29/2.96 c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 5.29/2.96 c (0,0) c 5.29/2.96 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 5.29/2.96 c (0,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 5.29/2.96 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 5.29/2.96 c (0,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 5.29/2.97 c (0,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 5.29/2.97 c (0,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 5.29/2.97 c (0,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 5.29/2.97 c (0,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 5.29/2.97 c (0,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5.29/2.97 c (0,0) c | glureduce | True | True | True | True | True | True | True | True | 5.29/2.97 c (0,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 5.29/2.97 c (0,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 5.29/2.97 c (0,0) c | luby_restart | False | False | False | False | False | False | False | False | 5.29/2.97 c (0,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 5.29/2.97 c (0,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 5.29/2.97 c (0,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 5.29/2.97 c (0,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 5.29/2.97 c (0,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 5.29/2.97 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 7.57/3.15 c (0,0) c 7.57/3.15 c (0,0) c real time : 0.27872 s 7.57/3.15 c (0,0) c cpu time : 1.41106 s 7.57/3.15 c (0,0) c 7.57/3.15 c (0,0) c 7.57/3.15 c (0,0) c 7.57/3.15 c (0,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 7.57/3.15 c (0,0) c 7.57/3.15 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 7.57/3.15 c (0,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 7.57/3.15 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 7.57/3.16 c (0,0) c | Conflicts | 14928 | 1841 | 1686 | 1915 | 2055 | 1864 | 1932 | 1718 | 1917 | 7.57/3.16 c (0,0) c | Decisions | 31365 | 3986 | 3719 | 4114 | 4330 | 3493 | 3641 | 4104 | 3978 | 7.57/3.16 c (0,0) c | Propagations | 3532882 | 410292 | 415812 | 471317 | 478463 | 433344 | 460011 | 401859 | 461784 | 7.57/3.16 c (0,0) c | ReduceDBs | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 7.57/3.16 c (0,0) c | SimpDBs | 8 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 7.57/3.16 c (0,0) c | Restarts | 55 | 6 | 7 | 5 | 10 | 5 | 5 | 9 | 8 | 7.57/3.16 c (0,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 7.57/3.16 c (0,0) c | PropBinClauses| 5395894 | 631476 | 636540 | 724898 | 735842 | 653382 | 700055 | 599685 | 714016 | 7.57/3.16 c (0,0) c | PropPreBlocker| 92227329 | 11229330 | 10678659 | 12334982 | 12379070 | 10889497 | 12362288 | 10211702 | 12141801 | 7.57/3.16 c (0,0) c | PropNotBlocker| 17376296 | 2239301 | 2099202 | 2238282 | 2386879 | 2076415 | 2127887 | 1891158 | 2317172 | 7.57/3.16 c (0,0) c | LitFullScans | 134391193 | 16491026 | 15522919 | 18004681 | 18007050 | 15764898 | 18011135 | 14976592 | 17612892 | 7.57/3.16 c (0,0) c | LitScanFracts | 2990 | 524 | 107 | 405 | 468 | 359 | 204 | 572 | 351 | 7.57/3.16 c (0,0) c | DecisionLevel0| 55 | 6 | 7 | 5 | 10 | 5 | 5 | 9 | 8 | 7.57/3.16 c (0,0) c | Periods | 19 | 2 | 2 | 3 | 3 | 2 | 3 | 2 | 2 | 7.57/3.16 c (0,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 7.57/3.16 c (0,0) c | Avg_Trail | | 1328 | 1336 | 1399 | 1292 | 1243 | 1447 | 1344 | 1320 | 7.57/3.16 c (0,0) c | Avg_DL | | 26 | 41 | 35 | 27 | 25 | 20 | 24 | 27 | 7.57/3.16 c (0,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 7.57/3.16 c (0,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 7.57/3.16 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 7.57/3.16 c (0,0) c | Exported | 308 | 34 | 55 | 28 | 49 | 24 | 29 | 56 | 33 | 7.57/3.16 c (0,0) c | Imported | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 7.57/3.16 c (0,0) c | Good | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 7.57/3.16 c (0,0) c | Purge | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 7.57/3.16 c (0,0) c | Promoted | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 7.57/3.16 c (0,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 7.57/3.16 c (0,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 7.57/3.16 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 7.57/3.16 c (0,0) c | Unaries | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 7.57/3.16 c (0,0) c | Binaries | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 7.57/3.16 c (0,0) c | Glues | | 34 | 55 | 28 | 49 | 24 | 29 | 56 | 33 | 7.57/3.16 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 7.57/3.16 c (0,0) c | Orig_Seen | 28 % | 14724 | 15118 | 15537 | 17358 | 12614 | 14059 | 12514 | 15332 | 7.57/3.16 c (0,0) c | Diff Orig seen| | 2110 | 2504 | 2923 | 4744 | X | 1445 | - 100 | 2718 | 7.57/3.16 c (0,0) c | Hamming | 23 % | 450 | 569 | 519 | 468 | X | 572 | 536 | 518 | 7.57/3.16 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 7.57/3.16 c (0,0) c | RunningTime | | 0.2 100%| 0.2 100%| 0.2 100%| 0.2 100%| 0.2 100%| 0.2 100%| 0.2 100%| 0.2 100%| 7.57/3.16 c (0,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%| 7.57/3.16 c (0,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%| 7.57/3.16 c (0,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%| 7.57/3.16 c (0,0) c | SolvingTime | | 0.2 | 0.2 | 0.2 | 0.2 | 0.2 | 0.2 | 0.2 | 0.2 | 7.57/3.16 c (0,0) c | PropagationTim| | 0.1 83%| 0.1 84%| 0.1 82%| 0.2 82%| 0.1 77%| 0.1 81%| 0.1 83%| 0.1 83%| 7.57/3.16 c (0,0) c | AnalysisTime | | 0.0 13%| 0.0 13%| 0.0 15%| 0.0 14%| 0.0 20%| 0.0 16%| 0.0 14%| 0.0 13%| 7.57/3.16 c (0,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%| 7.57/3.16 c (0,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%| 7.57/3.16 c (0,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%| 7.57/3.16 c (0,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%| 7.57/3.16 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 7.57/3.16 c (0,0) c 7.57/3.16 c (0,0) c 7.57/3.16 c (0,0) c Threads : 8 7.57/3.16 c (0,0) c Winner : 4 7.57/3.16 c (0,0) c Conflicts_0 : 1841 7.57/3.16 c (0,0) c Conflicts_1 : 1686 7.57/3.16 c (0,0) c Conflicts_2 : 1915 7.57/3.16 c (0,0) c Conflicts_3 : 2055 7.57/3.16 c (0,0) c Conflicts_4 : 1864 7.57/3.16 c (0,0) c Conflicts_5 : 1932 7.57/3.16 c (0,0) c Conflicts_6 : 1718 7.57/3.16 c (0,0) c Conflicts_7 : 1917 7.57/3.16 c (0,0) c Conflicts_total : 14928 7.57/3.16 c (0,0) c Conflicts_winner : 1864 7.57/3.16 c (0,0) c Decisions_0 : 3986 7.57/3.16 c (0,0) c Decisions_1 : 3719 7.57/3.16 c (0,0) c Decisions_2 : 4114 7.57/3.16 c (0,0) c Decisions_3 : 4330 7.57/3.16 c (0,0) c Decisions_4 : 3493 7.57/3.16 c (0,0) c Decisions_5 : 3641 7.57/3.16 c (0,0) c Decisions_6 : 4104 7.57/3.16 c (0,0) c Decisions_7 : 3978 7.57/3.16 c (0,0) c Decisions_total : 31365 7.57/3.16 c (0,0) c Decisions_winner : 3493 7.57/3.16 c (0,0) c Propagations_0 : 410292 7.57/3.16 c (0,0) c Propagations_1 : 415812 7.57/3.16 c (0,0) c Propagations_2 : 471317 7.57/3.16 c (0,0) c Propagations_3 : 478463 7.57/3.16 c (0,0) c Propagations_4 : 433344 7.57/3.16 c (0,0) c Propagations_5 : 460011 7.57/3.16 c (0,0) c Propagations_6 : 401859 7.57/3.16 c (0,0) c Propagations_7 : 461784 7.57/3.16 c (0,0) c Propagations_total : 3532882 7.57/3.16 c (0,0) c Propagations_winner : 433344 7.57/3.16 c (0,0) c ReduceDBs_0 : 0 7.57/3.16 c (0,0) c ReduceDBs_1 : 0 7.57/3.16 c (0,0) c ReduceDBs_2 : 0 7.57/3.16 c (0,0) c ReduceDBs_3 : 1 7.57/3.16 c (0,0) c ReduceDBs_4 : 0 7.57/3.16 c (0,0) c ReduceDBs_5 : 0 7.57/3.16 c (0,0) c ReduceDBs_6 : 0 7.57/3.16 c (0,0) c ReduceDBs_7 : 0 7.57/3.16 c (0,0) c ReduceDBs_total : 1 7.57/3.16 c (0,0) c ReduceDBs_winner : 0 7.57/3.16 c (0,0) c SimpDBs_0 : 1 7.57/3.16 c (0,0) c SimpDBs_1 : 1 7.57/3.16 c (0,0) c SimpDBs_2 : 1 7.57/3.16 c (0,0) c SimpDBs_3 : 1 7.57/3.16 c (0,0) c SimpDBs_4 : 1 7.57/3.16 c (0,0) c SimpDBs_5 : 1 7.57/3.16 c (0,0) c SimpDBs_6 : 1 7.57/3.16 c (0,0) c SimpDBs_7 : 1 7.57/3.16 c (0,0) c SimpDBs_total : 8 7.57/3.16 c (0,0) c SimpDBs_winner : 1 7.57/3.16 c (0,0) c Restarts_0 : 6 7.57/3.16 c (0,0) c Restarts_1 : 7 7.57/3.16 c (0,0) c Restarts_2 : 5 7.57/3.16 c (0,0) c Restarts_3 : 10 7.57/3.16 c (0,0) c Restarts_4 : 5 7.57/3.16 c (0,0) c Restarts_5 : 5 7.57/3.16 c (0,0) c Restarts_6 : 9 7.57/3.16 c (0,0) c Restarts_7 : 8 7.57/3.16 c (0,0) c Restarts_total : 55 7.57/3.16 c (0,0) c Restarts_winner : 5 7.57/3.16 c (0,0) c ForcedImports_0 : 0 7.57/3.16 c (0,0) c ForcedImports_1 : 0 7.57/3.16 c (0,0) c ForcedImports_2 : 0 7.57/3.16 c (0,0) c ForcedImports_3 : 0 7.57/3.16 c (0,0) c ForcedImports_4 : 0 7.57/3.16 c (0,0) c ForcedImports_5 : 0 7.57/3.16 c (0,0) c ForcedImports_6 : 0 7.57/3.16 c (0,0) c ForcedImports_7 : 0 7.57/3.16 c (0,0) c ForcedImports_total : 0 7.57/3.16 c (0,0) c ForcedImports_winner : 0 7.57/3.16 c (0,0) c PropsBinClauses_0 : 631476 7.57/3.16 c (0,0) c PropsBinClauses_1 : 636540 7.57/3.16 c (0,0) c PropsBinClauses_2 : 724898 7.57/3.16 c (0,0) c PropsBinClauses_3 : 735842 7.57/3.16 c (0,0) c PropsBinClauses_4 : 653382 7.57/3.16 c (0,0) c PropsBinClauses_5 : 700055 7.57/3.16 c (0,0) c PropsBinClauses_6 : 599685 7.57/3.16 c (0,0) c PropsBinClauses_7 : 714016 7.57/3.16 c (0,0) c PropsBinClauses_total : 5395894 7.57/3.16 c (0,0) c PropsBinClauses_winner : 653382 7.57/3.16 c (0,0) c PropsPreBlocker_0 : 11229330 7.57/3.16 c (0,0) c PropsPreBlocker_1 : 10678659 7.57/3.16 c (0,0) c PropsPreBlocker_2 : 12334982 7.57/3.16 c (0,0) c PropsPreBlocker_3 : 12379070 7.57/3.16 c (0,0) c PropsPreBlocker_4 : 10889497 7.57/3.16 c (0,0) c PropsPreBlocker_5 : 12362288 7.57/3.16 c (0,0) c PropsPreBlocker_6 : 10211702 7.57/3.16 c (0,0) c PropsPreBlocker_7 : 12141801 7.57/3.16 c (0,0) c PropsPreBlocker_total : 92227329 7.57/3.16 c (0,0) c PropsPreBlocker_winner : 10889497 7.57/3.16 c (0,0) c PropsNotBlocker_0 : 2239301 7.57/3.16 c (0,0) c PropsNotBlocker_1 : 2099202 7.57/3.16 c (0,0) c PropsNotBlocker_2 : 2238282 7.57/3.16 c (0,0) c PropsNotBlocker_3 : 2386879 7.57/3.16 c (0,0) c PropsNotBlocker_4 : 2076415 7.57/3.16 c (0,0) c PropsNotBlocker_5 : 2127887 7.57/3.16 c (0,0) c PropsNotBlocker_6 : 1891158 7.57/3.16 c (0,0) c PropsNotBlocker_7 : 2317172 7.57/3.16 c (0,0) c PropsNotBlocker_total : 17376296 7.57/3.16 c (0,0) c PropsNotBlocker_winner : 2076415 7.57/3.16 c (0,0) c PropsLitFullScans_0 : 16491026 7.57/3.16 c (0,0) c PropsLitFullScans_1 : 15522919 7.57/3.16 c (0,0) c PropsLitFullScans_2 : 18004681 7.57/3.16 c (0,0) c PropsLitFullScans_3 : 18007050 7.57/3.16 c (0,0) c PropsLitFullScans_4 : 15764898 7.57/3.16 c (0,0) c PropsLitFullScans_5 : 18011135 7.57/3.16 c (0,0) c PropsLitFullScans_6 : 14976592 7.57/3.16 c (0,0) c PropsLitFullScans_7 : 17612892 7.57/3.16 c (0,0) c PropsLitFullScans_total : 134391193 7.57/3.16 c (0,0) c PropsLitFullScans_winner : 15764898 7.57/3.16 c (0,0) c LitScanFractions_0 : 524 7.57/3.16 c (0,0) c LitScanFractions_1 : 107 7.57/3.16 c (0,0) c LitScanFractions_2 : 405 7.57/3.16 c (0,0) c LitScanFractions_3 : 468 7.57/3.16 c (0,0) c LitScanFractions_4 : 359 7.57/3.16 c (0,0) c LitScanFractions_5 : 204 7.57/3.16 c (0,0) c LitScanFractions_6 : 572 7.57/3.16 c (0,0) c LitScanFractions_7 : 351 7.57/3.16 c (0,0) c LitScanFractions_total : 2990 7.57/3.16 c (0,0) c LitScanFractions_winner : 359 7.57/3.16 c (0,0) c DecisionLevel0_0 : 6 7.57/3.16 c (0,0) c DecisionLevel0_1 : 7 7.57/3.16 c (0,0) c DecisionLevel0_2 : 5 7.57/3.16 c (0,0) c DecisionLevel0_3 : 10 7.57/3.16 c (0,0) c DecisionLevel0_4 : 5 7.57/3.16 c (0,0) c DecisionLevel0_5 : 5 7.57/3.16 c (0,0) c DecisionLevel0_6 : 9 7.57/3.16 c (0,0) c DecisionLevel0_7 : 8 7.57/3.16 c (0,0) c DecisionLevel0_total : 55 7.57/3.16 c (0,0) c DecisionLevel0_winner : 5 7.57/3.16 c (0,0) c Periods_0 : 2 7.57/3.16 c (0,0) c Periods_1 : 2 7.57/3.16 c (0,0) c Periods_2 : 3 7.57/3.16 c (0,0) c Periods_3 : 3 7.57/3.16 c (0,0) c Periods_4 : 2 7.57/3.16 c (0,0) c Periods_5 : 3 7.57/3.16 c (0,0) c Periods_6 : 2 7.57/3.16 c (0,0) c Periods_7 : 2 7.57/3.16 c (0,0) c Periods_total : 19 7.57/3.16 c (0,0) c Periods_winner : 2 7.57/3.16 c (0,0) c Margin_0 : 20 7.57/3.16 c (0,0) c Margin_1 : 20 7.57/3.16 c (0,0) c Margin_2 : 20 7.57/3.16 c (0,0) c Margin_3 : 20 7.57/3.16 c (0,0) c Margin_4 : 20 7.57/3.16 c (0,0) c Margin_5 : 20 7.57/3.16 c (0,0) c Margin_6 : 20 7.57/3.16 c (0,0) c Margin_7 : 20 7.57/3.16 c (0,0) c Margin_total : 160 7.57/3.16 c (0,0) c Margin_winner : 20 7.57/3.16 c (0,0) c Exported_0 : 34 7.57/3.16 c (0,0) c Exported_1 : 55 7.57/3.16 c (0,0) c Exported_2 : 28 7.57/3.16 c (0,0) c Exported_3 : 49 7.57/3.16 c (0,0) c Exported_4 : 24 7.57/3.16 c (0,0) c Exported_5 : 29 7.57/3.16 c (0,0) c Exported_6 : 56 7.57/3.16 c (0,0) c Exported_7 : 33 7.57/3.16 c (0,0) c Exported_total : 308 7.57/3.16 c (0,0) c Exported_winner : 24 7.57/3.16 c (0,0) c Imported_0 : 0 7.57/3.16 c (0,0) c Imported_1 : 0 7.57/3.16 c (0,0) c Imported_2 : 0 7.57/3.16 c (0,0) c Imported_3 : 0 7.57/3.16 c (0,0) c Imported_4 : 0 7.57/3.16 c (0,0) c Imported_5 : 0 7.57/3.16 c (0,0) c Imported_6 : 0 7.57/3.16 c (0,0) c Imported_7 : 0 7.57/3.16 c (0,0) c Imported_total : 0 7.57/3.16 c (0,0) c Imported_winner : 0 7.57/3.16 c (0,0) c Good_0 : 0 7.57/3.16 c (0,0) c Good_1 : 0 7.57/3.16 c (0,0) c Good_2 : 0 7.57/3.16 c (0,0) c Good_3 : 0 7.57/3.16 c (0,0) c Good_4 : 0 7.57/3.16 c (0,0) c Good_5 : 0 7.57/3.16 c (0,0) c Good_6 : 0 7.57/3.16 c (0,0) c Good_7 : 0 7.57/3.16 c (0,0) c Good_total : 0 7.57/3.16 c (0,0) c Good_winner : 0 7.57/3.16 c (0,0) c Purge_0 : 0 7.57/3.16 c (0,0) c Purge_1 : 0 7.57/3.16 c (0,0) c Purge_2 : 0 7.57/3.16 c (0,0) c Purge_3 : 0 7.57/3.17 c (0,0) c Purge_4 : 0 7.57/3.17 c (0,0) c Purge_5 : 0 7.57/3.17 c (0,0) c Purge_6 : 0 7.57/3.17 c (0,0) c Purge_7 : 0 7.57/3.17 c (0,0) c Purge_total : 0 7.57/3.17 c (0,0) c Purge_winner : 0 7.57/3.17 c (0,0) c Promoted_0 : 0 7.57/3.17 c (0,0) c Promoted_1 : 0 7.57/3.17 c (0,0) c Promoted_2 : 0 7.57/3.17 c (0,0) c Promoted_3 : 0 7.57/3.17 c (0,0) c Promoted_4 : 0 7.57/3.17 c (0,0) c Promoted_5 : 0 7.57/3.17 c (0,0) c Promoted_6 : 0 7.57/3.17 c (0,0) c Promoted_7 : 0 7.57/3.17 c (0,0) c Promoted_total : 0 7.57/3.17 c (0,0) c Promoted_winner : 0 7.57/3.17 c (0,0) c Remove_Imp_0 : 0 7.57/3.17 c (0,0) c Remove_Imp_1 : 0 7.57/3.17 c (0,0) c Remove_Imp_2 : 0 7.57/3.17 c (0,0) c Remove_Imp_3 : 0 7.57/3.17 c (0,0) c Remove_Imp_4 : 0 7.57/3.17 c (0,0) c Remove_Imp_5 : 0 7.57/3.17 c (0,0) c Remove_Imp_6 : 0 7.57/3.17 c (0,0) c Remove_Imp_7 : 0 7.57/3.17 c (0,0) c Remove_Imp_total : 0 7.57/3.17 c (0,0) c Remove_Imp_winner : 0 7.57/3.17 c (0,0) c Blocked_Reuse_0 : 0 7.57/3.17 c (0,0) c Blocked_Reuse_1 : 0 7.57/3.17 c (0,0) c Blocked_Reuse_2 : 0 7.57/3.17 c (0,0) c Blocked_Reuse_3 : 0 7.57/3.17 c (0,0) c Blocked_Reuse_4 : 0 7.57/3.17 c (0,0) c Blocked_Reuse_5 : 0 7.57/3.17 c (0,0) c Blocked_Reuse_6 : 0 7.57/3.17 c (0,0) c Blocked_Reuse_7 : 0 7.57/3.17 c (0,0) c Blocked_Reuse_total : 0 7.57/3.17 c (0,0) c Blocked_Reuse_winner : 0 7.57/3.17 c (0,0) c Unaries_0 : 0 7.57/3.17 c (0,0) c Unaries_1 : 0 7.57/3.17 c (0,0) c Unaries_2 : 0 7.57/3.17 c (0,0) c Unaries_3 : 0 7.57/3.17 c (0,0) c Unaries_4 : 0 7.57/3.17 c (0,0) c Unaries_5 : 0 7.57/3.17 c (0,0) c Unaries_6 : 0 7.57/3.17 c (0,0) c Unaries_7 : 0 7.57/3.17 c (0,0) c Unaries_total : 0 7.57/3.17 c (0,0) c Unaries_winner : 0 7.57/3.17 c (0,0) c Binaries_0 : 0 7.57/3.17 c (0,0) c Binaries_1 : 0 7.57/3.17 c (0,0) c Binaries_2 : 0 7.57/3.17 c (0,0) c Binaries_3 : 0 7.57/3.17 c (0,0) c Binaries_4 : 0 7.57/3.17 c (0,0) c Binaries_5 : 0 7.57/3.17 c (0,0) c Binaries_6 : 0 7.57/3.17 c (0,0) c Binaries_7 : 0 7.57/3.17 c (0,0) c Binaries_total : 0 7.57/3.17 c (0,0) c Binaries_winner : 0 7.57/3.17 c (0,0) c Glues_0 : 34 7.57/3.17 c (0,0) c Glues_1 : 55 7.57/3.17 c (0,0) c Glues_2 : 28 7.57/3.17 c (0,0) c Glues_3 : 49 7.57/3.17 c (0,0) c Glues_4 : 24 7.57/3.17 c (0,0) c Glues_5 : 29 7.57/3.17 c (0,0) c Glues_6 : 56 7.57/3.17 c (0,0) c Glues_7 : 33 7.57/3.17 c (0,0) c Glues_total : 308 7.57/3.17 c (0,0) c Glues_winner : 24 7.57/3.17 c (0,0) c RunningTime_0 : 0.175706 7.57/3.17 c (0,0) c RunningTime_1 : 0.168926 7.57/3.17 c (0,0) c RunningTime_2 : 0.172970 7.57/3.17 c (0,0) c RunningTime_3 : 0.186849 7.57/3.17 c (0,0) c RunningTime_4 : 0.162427 7.57/3.17 c (0,0) c RunningTime_5 : 0.178271 7.57/3.17 c (0,0) c RunningTime_6 : 0.158499 7.57/3.17 c (0,0) c RunningTime_7 : 0.175281 7.57/3.17 c (0,0) c RunningTime_total : 1.378928 7.57/3.17 c (0,0) c RunningTime_winner : 0.162427 7.57/3.17 c (0,0) c WaitingTime_0 : 0.000000 7.57/3.17 c (0,0) c WaitingTime_1 : 0.000000 7.57/3.17 c (0,0) c WaitingTime_2 : 0.000000 7.57/3.17 c (0,0) c WaitingTime_3 : 0.000000 7.57/3.17 c (0,0) c WaitingTime_4 : 0.000000 7.57/3.17 c (0,0) c WaitingTime_5 : 0.000000 7.57/3.17 c (0,0) c WaitingTime_6 : 0.000000 7.57/3.17 c (0,0) c WaitingTime_7 : 0.000000 7.57/3.17 c (0,0) c WaitingTime_total : 0.000000 7.57/3.17 c (0,0) c WaitingTime_winner : 0.000000 7.57/3.17 c (0,0) c ExchangingTime_0 : 0.000111 7.57/3.17 c (0,0) c ExchangingTime_1 : 0.000133 7.57/3.17 c (0,0) c ExchangingTime_2 : 0.000130 7.57/3.17 c (0,0) c ExchangingTime_3 : 0.000148 7.57/3.17 c (0,0) c ExchangingTime_4 : 0.000106 7.57/3.17 c (0,0) c ExchangingTime_5 : 0.000143 7.57/3.17 c (0,0) c ExchangingTime_6 : 0.000128 7.57/3.17 c (0,0) c ExchangingTime_7 : 0.000114 7.57/3.17 c (0,0) c ExchangingTime_total : 0.001013 7.57/3.17 c (0,0) c ExchangingTime_winner : 0.000106 7.57/3.17 c (0,0) c PeriodProcTime_0 : 0.000011 7.57/3.17 c (0,0) c PeriodProcTime_1 : 0.000012 7.57/3.17 c (0,0) c PeriodProcTime_2 : 0.000046 7.57/3.17 c (0,0) c PeriodProcTime_3 : 0.000015 7.57/3.17 c (0,0) c PeriodProcTime_4 : 0.000014 7.57/3.17 c (0,0) c PeriodProcTime_5 : 0.000016 7.57/3.17 c (0,0) c PeriodProcTime_6 : 0.000014 7.57/3.17 c (0,0) c PeriodProcTime_7 : 0.000013 7.57/3.17 c (0,0) c PeriodProcTime_total : 0.000142 7.57/3.17 c (0,0) c PeriodProcTime_winner : 0.000014 7.57/3.17 c (0,0) c SolvingTime_0 : 0.175828 7.57/3.17 c (0,0) c SolvingTime_1 : 0.169071 7.57/3.17 c (0,0) c SolvingTime_2 : 0.173146 7.57/3.17 c (0,0) c SolvingTime_3 : 0.187011 7.57/3.17 c (0,0) c SolvingTime_4 : 0.162547 7.57/3.17 c (0,0) c SolvingTime_5 : 0.178431 7.57/3.17 c (0,0) c SolvingTime_6 : 0.158641 7.57/3.17 c (0,0) c SolvingTime_7 : 0.175407 7.57/3.17 c (0,0) c SolvingTime_total : 1.380082 7.57/3.17 c (0,0) c SolvingTime_winner : 0.162547 7.57/3.17 c (0,0) c PropagationTime_0 : 0.145715 7.57/3.17 c (0,0) c PropagationTime_1 : 0.141938 7.57/3.17 c (0,0) c PropagationTime_2 : 0.141464 7.57/3.17 c (0,0) c PropagationTime_3 : 0.154191 7.57/3.17 c (0,0) c PropagationTime_4 : 0.124850 7.57/3.17 c (0,0) c PropagationTime_5 : 0.144770 7.57/3.17 c (0,0) c PropagationTime_6 : 0.130918 7.57/3.17 c (0,0) c PropagationTime_7 : 0.145884 7.57/3.17 c (0,0) c PropagationTime_total : 1.129731 7.57/3.17 c (0,0) c PropagationTime_winner : 0.124850 7.57/3.17 c (0,0) c AnalysisTime_0 : 0.023227 7.57/3.17 c (0,0) c AnalysisTime_1 : 0.021386 7.57/3.17 c (0,0) c AnalysisTime_2 : 0.025487 7.57/3.17 c (0,0) c AnalysisTime_3 : 0.025854 7.57/3.17 c (0,0) c AnalysisTime_4 : 0.032293 7.57/3.17 c (0,0) c AnalysisTime_5 : 0.027783 7.57/3.17 c (0,0) c AnalysisTime_6 : 0.022286 7.57/3.17 c (0,0) c AnalysisTime_7 : 0.023272 7.57/3.17 c (0,0) c AnalysisTime_total : 0.201589 7.57/3.17 c (0,0) c AnalysisTime_winner : 0.032293 7.57/3.17 c (0,0) c ReductionTime_0 : 0.000000 7.57/3.17 c (0,0) c ReductionTime_1 : 0.000000 7.57/3.17 c (0,0) c ReductionTime_2 : 0.000000 7.57/3.17 c (0,0) c ReductionTime_3 : 0.000325 7.57/3.17 c (0,0) c ReductionTime_4 : 0.000000 7.57/3.17 c (0,0) c ReductionTime_5 : 0.000000 7.57/3.17 c (0,0) c ReductionTime_6 : 0.000000 7.57/3.17 c (0,0) c ReductionTime_7 : 0.000000 7.57/3.17 c (0,0) c ReductionTime_total : 0.000325 7.57/3.17 c (0,0) c ReductionTime_winner : 0.000000 7.57/3.17 c (0,0) c SimplifyTime_0 : 0.000000 7.57/3.17 c (0,0) c SimplifyTime_1 : 0.000000 7.57/3.17 c (0,0) c SimplifyTime_2 : 0.000000 7.57/3.17 c (0,0) c SimplifyTime_3 : 0.000000 7.57/3.17 c (0,0) c SimplifyTime_4 : 0.000000 7.57/3.17 c (0,0) c SimplifyTime_5 : 0.000000 7.57/3.17 c (0,0) c SimplifyTime_6 : 0.000001 7.57/3.17 c (0,0) c SimplifyTime_7 : 0.000000 7.57/3.17 c (0,0) c SimplifyTime_total : 0.000001 7.57/3.17 c (0,0) c SimplifyTime_winner : 0.000000 7.57/3.17 c (0,0) c UsedRateTime_0 : 0.000000 7.57/3.17 c (0,0) c UsedRateTime_1 : 0.000000 7.57/3.17 c (0,0) c UsedRateTime_2 : 0.000000 7.57/3.17 c (0,0) c UsedRateTime_3 : 0.000000 7.57/3.17 c (0,0) c UsedRateTime_4 : 0.000000 7.57/3.17 c (0,0) c UsedRateTime_5 : 0.000000 7.57/3.17 c (0,0) c UsedRateTime_6 : 0.000000 7.57/3.17 c (0,0) c UsedRateTime_7 : 0.000000 7.57/3.17 c (0,0) c UsedRateTime_total : 0.000000 7.57/3.17 c (0,0) c UsedRateTime_winner : 0.000000 7.57/3.17 c (0,0) c OverlapRateTime_0 : 0.000000 7.57/3.17 c (0,0) c OverlapRateTime_1 : 0.000000 7.57/3.17 c (0,0) c OverlapRateTime_2 : 0.000000 7.57/3.17 c (0,0) c OverlapRateTime_3 : 0.000000 7.57/3.17 c (0,0) c OverlapRateTime_4 : 0.000000 7.57/3.17 c (0,0) c OverlapRateTime_5 : 0.000000 7.57/3.17 c (0,0) c OverlapRateTime_6 : 0.000000 7.57/3.17 c (0,0) c OverlapRateTime_7 : 0.000000 7.57/3.17 c (0,0) c OverlapRateTime_total : 0.000000 7.57/3.17 c (0,0) c OverlapRateTime_winner : 0.000000 7.57/3.17 c (0,0) c 7.57/3.17 c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 7.57/3.17 c (0,0) c 7.57/3.17 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 7.57/3.17 c (0,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 7.57/3.17 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 7.57/3.17 c (0,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 7.57/3.17 c (0,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 7.57/3.17 c (0,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 7.57/3.17 c (0,0) c | Initial random_seed | 319825391 | 171628192 | 1927066681 | 632584813 | 637567009 | 1716117745 | 1072548224 | 1395374855 | 7.57/3.17 c (0,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 7.57/3.17 c (0,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 7.57/3.17 c (0,0) c | glureduce | True | True | True | True | True | True | True | True | 7.57/3.17 c (0,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 7.57/3.17 c (0,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 7.57/3.17 c (0,0) c | luby_restart | False | False | False | False | False | False | False | False | 7.57/3.17 c (0,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 7.57/3.17 c (0,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 7.57/3.17 c (0,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 7.57/3.17 c (0,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 7.57/3.17 c (0,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 7.57/3.17 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 7.57/3.17 c (0,0) 7.57/3.17 c (0,0) s SATISFIABLE 7.57/3.19 c (0,0) SatSolver.solve End 7.57/3.19 c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 7.57/3.19 c (0,0) Show results Begin 7.95/3.27 c (0,0) ce[0][0][1] = 9 7.95/3.27 c (0,0) ce[0][0][2] = 13 7.95/3.27 c (0,0) ce[0][0][3] = 11 7.95/3.27 c (0,0) ce[0][0][4] = 8 7.95/3.27 c (0,0) ce[0][1][2] = 22 7.95/3.27 c (0,0) ce[0][1][3] = 20 7.95/3.27 c (0,0) ce[0][1][4] = 17 7.95/3.27 c (0,0) ce[0][2][3] = 2 7.95/3.27 c (0,0) ce[0][2][4] = 5 7.95/3.27 c (0,0) ce[0][3][4] = 3 7.95/3.27 c (0,0) ce[1][0][1] = 4 7.95/3.27 c (0,0) ce[1][0][2] = 21 7.95/3.27 c (0,0) ce[1][0][3] = 15 7.95/3.27 c (0,0) ce[1][0][4] = 14 7.95/3.27 c (0,0) ce[1][1][2] = 25 7.95/3.27 c (0,0) ce[1][1][3] = 19 7.95/3.27 c (0,0) ce[1][1][4] = 18 7.95/3.27 c (0,0) ce[1][2][3] = 6 7.95/3.27 c (0,0) ce[1][2][4] = 7 7.95/3.27 c (0,0) ce[1][3][4] = 1 7.95/3.27 c (0,0) cie[0][0] = 10 7.95/3.27 c (0,0) cie[0][1] = 23 7.95/3.27 c (0,0) cie[0][2] = 24 7.95/3.27 c (0,0) cie[0][3] = 16 7.95/3.27 c (0,0) cie[0][4] = 12 7.95/3.27 c (0,0) cn[0][0] = 11 7.95/3.27 c (0,0) cn[0][1] = 2 7.95/3.27 c (0,0) cn[0][2] = 24 7.95/3.27 c (0,0) cn[0][3] = 22 7.95/3.27 c (0,0) cn[0][4] = 19 7.95/3.27 c (0,0) cn[1][0] = 21 7.95/3.27 c (0,0) cn[1][1] = 25 7.95/3.27 c (0,0) cn[1][2] = 0 7.95/3.27 c (0,0) cn[1][3] = 6 7.95/3.27 c (0,0) cn[1][4] = 7 7.95/3.27 s SATISFIABLE 7.95/3.28 v <instantiation> 7.95/3.28 v <list>cn[0][0] cn[0][1] cn[0][2] cn[0][3] cn[0][4] cn[1][0] cn[1][1] cn[1][2] cn[1][3] cn[1][4] ce[0][0][1] ce[0][0][2] ce[0][0][3] ce[0][0][4] ce[0][1][2] ce[0][1][3] ce[0][1][4] ce[0][2][3] ce[0][2][4] ce[0][3][4] ce[1][0][1] ce[1][0][2] ce[1][0][3] ce[1][0][4] ce[1][1][2] ce[1][1][3] ce[1][1][4] ce[1][2][3] ce[1][2][4] ce[1][3][4] cie[0][0] cie[0][1] cie[0][2] cie[0][3] cie[0][4]</list> 7.95/3.28 v <values>11 2 24 22 19 21 25 0 6 7 9 13 11 8 22 20 17 2 5 3 4 21 15 14 25 19 18 6 7 1 10 23 24 16 12</values> 7.95/3.28 v </instantiation> 7.95/3.28 c (0,0) Show results End 7.95/3.28 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB) 7.95/3.28 c (0,0) 0,0,STOP-AFTER(ALL) 7.95/3.28 c END-Prog: Sat Sep 14 01:19:38 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 (15103 MiB free)
memory of node 1: 16384 MiB (15009 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392616-1568416814/watcher-4392616-1568416814 -o /tmp/evaluation-result-4392616-1568416814/solver-4392616-1568416814 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node135-1568416728-19026 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392616-1568416814.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=19624, runsolver pid=19621
Current StackSize limit: 8192 KiB
[startup+0.100133 s]*
/proc/loadavg: 0.63 0.35 0.57 2/218 19646
/proc/meminfo: memFree=30740088/32770624 swapFree=66968076/67108860
[pid=19624] ppid=19621 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19624/stat : 19624 (scop.sh) S 19621 19624 18999 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417931017 115843072 349 33554432000 4194304 5098028 140734832129808 140734832127064 140509937369724 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26759168 140734832136996 140734832137324 140734832137324 140734832140237 0
/proc/19624/statm: 28282 349 296 221 0 87 0
[pid=19627] ppid=19624 vsize=27314120 memory=105684 CPUtime=0.1 cores=0-7
/proc/19627/stat : 19627 (java) S 19624 19624 18999 0 -1 1077944320 6464 0 0 0 8 2 0 0 20 0 20 0 417931017 27969658880 26421 33554432000 4194304 4196468 140724447593136 140724447575680 140314679369463 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
/proc/19627/statm: 6828530 26421 2809 1 0 6790935 0
[pid=19627/tid=19628] ppid=19624 vsize=27314120 memory=-8540663193526752614 CPUtime=0.09 cores=0-7
/proc/19627/task/19628/stat : 19628 (java) R 19624 19624 18999 0 -1 4202560 4534 0 0 0 7 2 0 0 20 0 20 0 417931018 27969658880 26421 33554432000 4194304 4196468 140724447593136 140314651194352 140314663449950 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19629] ppid=19624 vsize=27314120 memory=4211974065278143882 CPUtime=0 cores=0-7
/proc/19627/task/19629/stat : 19629 (java) S 19624 19624 18999 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417931020 27969658880 26421 33554432000 4194304 4196468 140724447593136 140314683611920 140314679379669 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19630] ppid=19624 vsize=27314120 memory=140339073353344 CPUtime=0 cores=0-7
/proc/19627/task/19630/stat : 19630 (java) S 19624 19624 18999 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417931020 27969658880 26421 33554432000 4194304 4196468 140724447593136 140314101578640 140314679379669 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19631] ppid=19624 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19627/task/19631/stat : 19631 (java) S 19624 19624 18999 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417931020 27969658880 26421 33554432000 4194304 4196468 140724447593136 140314100526096 140314679379669 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19632] ppid=19624 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19627/task/19632/stat : 19632 (java) S 19624 19624 18999 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417931020 27969658880 26421 33554432000 4194304 4196468 140724447593136 140314099473552 140314679379669 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19633] ppid=19624 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19627/task/19633/stat : 19633 (java) S 19624 19624 18999 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417931020 27969658880 26421 33554432000 4194304 4196468 140724447593136 140314098419984 140314679379669 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19634] ppid=19624 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19627/task/19634/stat : 19634 (java) S 19624 19624 18999 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417931020 27969658880 26421 33554432000 4194304 4196468 140724447593136 140314097367440 140314679379669 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19635] ppid=19624 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19627/task/19635/stat : 19635 (java) S 19624 19624 18999 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417931020 27969658880 26421 33554432000 4194304 4196468 140724447593136 140314096314896 140314679379669 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19636] ppid=19624 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19627/task/19636/stat : 19636 (java) S 19624 19624 18999 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417931020 27969658880 26421 33554432000 4194304 4196468 140724447593136 140314095262352 140314679379669 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19637] ppid=19624 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19627/task/19637/stat : 19637 (java) S 19624 19624 18999 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417931022 27969658880 26421 33554432000 4194304 4196468 140724447593136 140313939151344 140314679380610 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19638] ppid=19624 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19627/task/19638/stat : 19638 (java) S 19624 19624 18999 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417931022 27969658880 26421 33554432000 4194304 4196468 140724447593136 140312420804000 140314679379669 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19639] ppid=19624 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19627/task/19639/stat : 19639 (java) S 19624 19624 18999 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417931022 27969658880 26421 33554432000 4194304 4196468 140724447593136 140312286582256 140314679379669 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19640] ppid=19624 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19627/task/19640/stat : 19640 (java) S 19624 19624 18999 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417931025 27969658880 26421 33554432000 4194304 4196468 140724447593136 140311912078032 140314679388059 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19641] ppid=19624 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19627/task/19641/stat : 19641 (java) S 19624 19624 18999 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 417931025 27969658880 26421 33554432000 4194304 4196468 140724447593136 140313938098160 140314679380610 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19642] ppid=19624 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19627/task/19642/stat : 19642 (java) S 19624 19624 18999 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417931025 27969658880 26421 33554432000 4194304 4196468 140724447593136 140313937045616 140314679380610 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19643] ppid=19624 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19627/task/19643/stat : 19643 (java) S 19624 19624 18999 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417931025 27969658880 26421 33554432000 4194304 4196468 140724447593136 140313935993072 140314679380610 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19644] ppid=19624 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19627/task/19644/stat : 19644 (java) S 19624 19624 18999 0 -1 1077944384 273 0 0 0 0 0 0 0 20 0 20 0 417931025 27969658880 26421 33554432000 4194304 4196468 140724447593136 140313934940528 140314679380610 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19645] ppid=19624 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19627/task/19645/stat : 19645 (java) S 19624 19624 18999 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417931025 27969658880 26421 33554432000 4194304 4196468 140724447593136 140311414172384 140314679379669 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19646] ppid=19624 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19627/task/19646/stat : 19646 (java) S 19624 19624 18999 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417931025 27969658880 26421 33554432000 4194304 4196468 140724447593136 140313933888432 140314679380610 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107080 KiB
[startup+0.214404 s]*
/proc/loadavg: 0.63 0.35 0.57 3/218 19646
/proc/meminfo: memFree=30718876/32770624 swapFree=66968076/67108860
[pid=19624] ppid=19621 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19624/stat : 19624 (scop.sh) S 19621 19624 18999 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417931017 115843072 349 33554432000 4194304 5098028 140734832129808 140734832127064 140509937369724 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26759168 140734832136996 140734832137324 140734832137324 140734832140237 0
/proc/19624/statm: 28282 349 296 221 0 87 0
[pid=19627] ppid=19624 vsize=27314120 memory=124732 CPUtime=0.25 cores=0-7
/proc/19627/stat : 19627 (java) S 19624 19624 18999 0 -1 1077944320 12066 0 0 0 21 4 0 0 20 0 20 0 417931017 27969658880 31183 33554432000 4194304 4196468 140724447593136 140724447575680 140314679369463 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
/proc/19627/statm: 6828530 31183 2933 1 0 6790935 0
[pid=19627/tid=19628] ppid=19624 vsize=27314120 memory=4871374705135476842 CPUtime=0.2 cores=0-7
/proc/19627/task/19628/stat : 19628 (java) R 19624 19624 18999 0 -1 4202560 9747 0 0 0 17 3 0 0 20 0 20 0 417931018 27969658880 31183 33554432000 4194304 4196468 140724447593136 140314651153024 140314660932992 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19629] ppid=19624 vsize=27314120 memory=4211974065278143882 CPUtime=0 cores=0-7
/proc/19627/task/19629/stat : 19629 (java) S 19624 19624 18999 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417931020 27969658880 31183 33554432000 4194304 4196468 140724447593136 140314683611920 140314679379669 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19630] ppid=19624 vsize=27314120 memory=140339073353344 CPUtime=0 cores=0-7
/proc/19627/task/19630/stat : 19630 (java) S 19624 19624 18999 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417931020 27969658880 31183 33554432000 4194304 4196468 140724447593136 140314101578640 140314679379669 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19631] ppid=19624 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19627/task/19631/stat : 19631 (java) S 19624 19624 18999 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417931020 27969658880 31183 33554432000 4194304 4196468 140724447593136 140314100526096 140314679379669 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19632] ppid=19624 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19627/task/19632/stat : 19632 (java) S 19624 19624 18999 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417931020 27969658880 31183 33554432000 4194304 4196468 140724447593136 140314099473552 140314679379669 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19633] ppid=19624 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19627/task/19633/stat : 19633 (java) S 19624 19624 18999 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417931020 27969658880 31183 33554432000 4194304 4196468 140724447593136 140314098419984 140314679379669 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19634] ppid=19624 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19627/task/19634/stat : 19634 (java) S 19624 19624 18999 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417931020 27969658880 31183 33554432000 4194304 4196468 140724447593136 140314097367440 140314679379669 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19635] ppid=19624 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19627/task/19635/stat : 19635 (java) S 19624 19624 18999 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417931020 27969658880 31183 33554432000 4194304 4196468 140724447593136 140314096314896 140314679379669 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19636] ppid=19624 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19627/task/19636/stat : 19636 (java) S 19624 19624 18999 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417931020 27969658880 31183 33554432000 4194304 4196468 140724447593136 140314095262352 140314679379669 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19637] ppid=19624 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19627/task/19637/stat : 19637 (java) S 19624 19624 18999 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417931022 27969658880 31183 33554432000 4194304 4196468 140724447593136 140313939151344 140314679380610 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19638] ppid=19624 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19627/task/19638/stat : 19638 (java) S 19624 19624 18999 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417931022 27969658880 31183 33554432000 4194304 4196468 140724447593136 140312420804000 140314679379669 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19639] ppid=19624 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19627/task/19639/stat : 19639 (java) S 19624 19624 18999 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417931022 27969658880 31183 33554432000 4194304 4196468 140724447593136 140312286582256 140314679379669 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19640] ppid=19624 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19627/task/19640/stat : 19640 (java) S 19624 19624 18999 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417931025 27969658880 31183 33554432000 4194304 4196468 140724447593136 140311912078032 140314679388059 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19641] ppid=19624 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19627/task/19641/stat : 19641 (java) S 19624 19624 18999 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 417931025 27969658880 31183 33554432000 4194304 4196468 140724447593136 140313938098160 140314679380610 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19642] ppid=19624 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19627/task/19642/stat : 19642 (java) S 19624 19624 18999 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 417931025 27969658880 31183 33554432000 4194304 4196468 140724447593136 140313937045616 140314679380610 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19643] ppid=19624 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19627/task/19643/stat : 19643 (java) S 19624 19624 18999 0 -1 1077944384 150 0 0 0 0 0 0 0 20 0 20 0 417931025 27969658880 31183 33554432000 4194304 4196468 140724447593136 140313935993072 140314679380610 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19644] ppid=19624 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/19627/task/19644/stat : 19644 (java) S 19624 19624 18999 0 -1 1077944384 467 0 0 0 2 0 0 0 20 0 20 0 417931025 27969658880 31183 33554432000 4194304 4196468 140724447593136 140313934940528 140314679380610 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19645] ppid=19624 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19627/task/19645/stat : 19645 (java) S 19624 19624 18999 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417931025 27969658880 31183 33554432000 4194304 4196468 140724447593136 140311414172384 140314679379669 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19646] ppid=19624 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19627/task/19646/stat : 19646 (java) S 19624 19624 18999 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417931025 27969658880 31183 33554432000 4194304 4196468 140724447593136 140313933888432 140314679380610 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126128 KiB
[startup+0.31084 s]*
/proc/loadavg: 0.63 0.35 0.57 2/218 19646
/proc/meminfo: memFree=30716332/32770624 swapFree=66968076/67108860
[pid=19624] ppid=19621 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19624/stat : 19624 (scop.sh) S 19621 19624 18999 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417931017 115843072 349 33554432000 4194304 5098028 140734832129808 140734832127064 140509937369724 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26759168 140734832136996 140734832137324 140734832137324 140734832140237 0
/proc/19624/statm: 28282 349 296 221 0 87 0
[pid=19627] ppid=19624 vsize=27314120 memory=127812 CPUtime=0.42 cores=0-7
/proc/19627/stat : 19627 (java) S 19624 19624 18999 0 -1 1077944320 12408 0 0 0 38 4 0 0 20 0 20 0 417931017 27969658880 31953 33554432000 4194304 4196468 140724447593136 140724447575680 140314679369463 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
/proc/19627/statm: 6828530 31953 2991 1 0 6790935 0
[pid=19627/tid=19628] ppid=19624 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/19627/task/19628/stat : 19628 (java) R 19624 19624 18999 0 -1 4202560 9934 0 0 0 26 4 0 0 20 0 20 0 417931018 27969658880 31953 33554432000 4194304 4196468 140724447593136 140314651169392 140314663449950 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19629] ppid=19624 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19627/task/19629/stat : 19629 (java) S 19624 19624 18999 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417931020 27969658880 31953 33554432000 4194304 4196468 140724447593136 140314683611920 140314679379669 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19630] ppid=19624 vsize=27314120 memory=140338928904879 CPUtime=0 cores=0-7
/proc/19627/task/19630/stat : 19630 (java) S 19624 19624 18999 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417931020 27969658880 31953 33554432000 4194304 4196468 140724447593136 140314101578640 140314679379669 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19631] ppid=19624 vsize=27314120 memory=140338928907184 CPUtime=0 cores=0-7
/proc/19627/task/19631/stat : 19631 (java) S 19624 19624 18999 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417931020 27969658880 31953 33554432000 4194304 4196468 140724447593136 140314100526096 140314679379669 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19632] ppid=19624 vsize=27314120 memory=140338928909488 CPUtime=0 cores=0-7
/proc/19627/task/19632/stat : 19632 (java) S 19624 19624 18999 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417931020 27969658880 31953 33554432000 4194304 4196468 140724447593136 140314099473552 140314679379669 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19633] ppid=19624 vsize=27314120 memory=140338928911792 CPUtime=0 cores=0-7
/proc/19627/task/19633/stat : 19633 (java) S 19624 19624 18999 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417931020 27969658880 31953 33554432000 4194304 4196468 140724447593136 140314098419984 140314679379669 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19634] ppid=19624 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19627/task/19634/stat : 19634 (java) S 19624 19624 18999 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417931020 27969658880 31953 33554432000 4194304 4196468 140724447593136 140314097367440 140314679379669 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19635] ppid=19624 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19627/task/19635/stat : 19635 (java) S 19624 19624 18999 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417931020 27969658880 31953 33554432000 4194304 4196468 140724447593136 140314096314896 140314679379669 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19636] ppid=19624 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19627/task/19636/stat : 19636 (java) S 19624 19624 18999 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417931020 27969658880 31953 33554432000 4194304 4196468 140724447593136 140314095262352 140314679379669 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19637] ppid=19624 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19627/task/19637/stat : 19637 (java) S 19624 19624 18999 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417931022 27969658880 31953 33554432000 4194304 4196468 140724447593136 140313939151344 140314679380610 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19638] ppid=19624 vsize=27314120 memory=2110689536027044 CPUtime=0 cores=0-7
/proc/19627/task/19638/stat : 19638 (java) S 19624 19624 18999 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417931022 27969658880 31953 33554432000 4194304 4196468 140724447593136 140312420804000 140314679379669 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19639] ppid=19624 vsize=27314120 memory=2110689536029348 CPUtime=0 cores=0-7
/proc/19627/task/19639/stat : 19639 (java) S 19624 19624 18999 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417931022 27969658880 31953 33554432000 4194304 4196468 140724447593136 140312286582256 140314679379669 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19640] ppid=19624 vsize=27314120 memory=2110689536052724 CPUtime=0 cores=0-7
/proc/19627/task/19640/stat : 19640 (java) S 19624 19624 18999 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417931025 27969658880 31953 33554432000 4194304 4196468 140724447593136 140311912078032 140314679388059 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19641] ppid=19624 vsize=27314120 memory=2110689536052756 CPUtime=0 cores=0-7
/proc/19627/task/19641/stat : 19641 (java) S 19624 19624 18999 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 417931025 27969658880 31953 33554432000 4194304 4196468 140724447593136 140313938098160 140314679380610 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19642] ppid=19624 vsize=27314120 memory=2110689536052884 CPUtime=0.01 cores=0-7
/proc/19627/task/19642/stat : 19642 (java) R 19624 19624 18999 0 -1 4202560 62 0 0 0 1 0 0 0 20 0 20 0 417931025 27969658880 31953 33554432000 4194304 4196468 140724447593136 140313937045616 140314671610853 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19643] ppid=19624 vsize=27314120 memory=2110689536052820 CPUtime=0.02 cores=0-7
/proc/19627/task/19643/stat : 19643 (java) S 19624 19624 18999 0 -1 1077944384 263 0 0 0 2 0 0 0 20 0 20 0 417931025 27969658880 31953 33554432000 4194304 4196468 140724447593136 140313935993072 140314679380610 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19644] ppid=19624 vsize=27314120 memory=2110689536052852 CPUtime=0.07 cores=0-7
/proc/19627/task/19644/stat : 19644 (java) S 19624 19624 18999 0 -1 1077944384 489 0 0 0 7 0 0 0 20 0 20 0 417931025 27969658880 31953 33554432000 4194304 4196468 140724447593136 140313934940528 140314679380610 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19645] ppid=19624 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19627/task/19645/stat : 19645 (java) S 19624 19624 18999 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417931025 27969658880 31953 33554432000 4194304 4196468 140724447593136 140311414172384 140314679379669 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19646] ppid=19624 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19627/task/19646/stat : 19646 (java) S 19624 19624 18999 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417931025 27969658880 31953 33554432000 4194304 4196468 140724447593136 140313933888432 140314679380610 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129208 KiB
[startup+0.701007 s]
/proc/loadavg: 0.63 0.35 0.57 2/218 19646
/proc/meminfo: memFree=30687720/32770624 swapFree=66968076/67108860
[pid=19624] ppid=19621 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19624/stat : 19624 (scop.sh) S 19621 19624 18999 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417931017 115843072 349 33554432000 4194304 5098028 140734832129808 140734832127064 140509937369724 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26759168 140734832136996 140734832137324 140734832137324 140734832140237 0
/proc/19624/statm: 28282 349 296 221 0 87 0
[pid=19627] ppid=19624 vsize=27322440 memory=165628 CPUtime=0.99 cores=0-7
/proc/19627/stat : 19627 (java) S 19624 19624 18999 0 -1 1077944320 20044 0 0 0 92 7 0 0 20 0 20 0 417931017 27978178560 41407 33554432000 4194304 4196468 140724447593136 140724447575680 140314679369463 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
/proc/19627/statm: 6830610 41407 3180 1 0 6791959 0
[pid=19627/tid=19628] ppid=19624 vsize=27322440 memory=28387589905 CPUtime=0.68 cores=0-7
/proc/19627/task/19628/stat : 19628 (java) R 19624 19624 18999 0 -1 4202560 16956 0 0 0 62 6 0 0 20 0 20 0 417931018 27978178560 41407 33554432000 4194304 4196468 140724447593136 140314651207248 140314663947728 0 2147221247 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19629] ppid=19624 vsize=27322440 memory=140338928931275 CPUtime=0 cores=0-7
/proc/19627/task/19629/stat : 19629 (java) S 19624 19624 18999 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417931020 27978178560 41407 33554432000 4194304 4196468 140724447593136 140314683611920 140314679379669 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19630] ppid=19624 vsize=27322440 memory=280677857832320 CPUtime=0 cores=0-7
/proc/19627/task/19630/stat : 19630 (java) S 19624 19624 18999 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417931020 27978178560 41407 33554432000 4194304 4196468 140724447593136 140314101578640 140314679379669 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19631] ppid=19624 vsize=27322440 memory=0 CPUtime=0 cores=0-7
/proc/19627/task/19631/stat : 19631 (java) S 19624 19624 18999 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417931020 27978178560 41407 33554432000 4194304 4196468 140724447593136 140314100526096 140314679379669 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
################
# More data... #
################
/proc/19627/task/19639/stat : 19639 (java) S 19624 19624 18999 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417931022 27982450688 56108 33554432000 4194304 4196468 140724447593136 140312286582256 140314679379669 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19640] ppid=19624 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/19627/task/19640/stat : 19640 (java) S 19624 19624 18999 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417931025 27982450688 56108 33554432000 4194304 4196468 140724447593136 140311912078032 140314679388059 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19641] ppid=19624 vsize=27326612 memory=0 CPUtime=0.26 cores=0-7
/proc/19627/task/19641/stat : 19641 (java) R 19624 19624 18999 0 -1 4202560 767 0 0 0 25 1 0 0 20 0 20 0 417931025 27982450688 56108 33554432000 4194304 4196468 140724447593136 140313938082992 140314660913186 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19642] ppid=19624 vsize=27326612 memory=0 CPUtime=0.29 cores=0-7
/proc/19627/task/19642/stat : 19642 (java) R 19624 19624 18999 0 -1 4202560 543 0 0 0 29 0 0 0 20 0 20 0 417931025 27982450688 56108 33554432000 4194304 4196468 140724447593136 140313937045616 140314658779248 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19643] ppid=19624 vsize=27326612 memory=0 CPUtime=0.3 cores=0-7
/proc/19627/task/19643/stat : 19643 (java) R 19624 19624 18999 0 -1 4202560 602 0 0 0 30 0 0 0 20 0 20 0 417931025 27982450688 56108 33554432000 4194304 4196468 140724447593136 140313935993072 140314671706372 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19644] ppid=19624 vsize=27326612 memory=3624 CPUtime=0.61 cores=0-7
/proc/19627/task/19644/stat : 19644 (java) R 19624 19624 18999 0 -1 4202560 1921 0 0 0 61 0 0 0 20 0 20 0 417931025 27982450688 56108 33554432000 4194304 4196468 140724447593136 140313934940528 140314658505123 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19645] ppid=19624 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/19627/task/19645/stat : 19645 (java) S 19624 19624 18999 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417931025 27982450688 56108 33554432000 4194304 4196468 140724447593136 140311414172384 140314679379669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
[pid=19627/tid=19646] ppid=19624 vsize=27326612 memory=140338929139392 CPUtime=0 cores=0-7
/proc/19627/task/19646/stat : 19646 (java) S 19624 19624 18999 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417931025 27982450688 56108 33554432000 4194304 4196468 140724447593136 140313933888432 140314679380610 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12386304 140724447601386 140724447601814 140724447601814 140724447604687 0
Current children cumulated CPU time: 2.99 s
Current children cumulated vsize: 27439740 KiB
Current children cumulated memory: 225828 KiB
[startup+3.11141 s]
/proc/loadavg: 0.74 0.38 0.57 9/228 19680
/proc/meminfo: memFree=30690908/32770624 swapFree=66968080/67108860
[pid=19624] ppid=19621 vsize=113128 memory=1476 CPUtime=5.29 cores=0-7
/proc/19624/stat : 19624 (scop.sh) S 19621 19624 18999 0 -1 4202496 583 28320 0 0 0 0 512 17 20 0 1 0 417931017 115843072 369 33554432000 4194304 5098028 140734832129808 140734832126552 140509937369724 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 26759168 140734832136996 140734832137324 140734832137324 140734832140237 0
/proc/19624/statm: 28282 369 311 221 0 87 0
[pid=19647] ppid=19624 vsize=8414124 memory=117436 CPUtime=1.12 cores=0-7
/proc/19647/stat : 19647 (java) S 19624 19624 18999 0 -1 1077944320 19900 0 0 0 106 6 0 0 20 0 24 0 417931234 8616062976 29359 33554432000 4194304 4196468 140735185095344 140735185077888 139832164736759 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32518144 140735185101815 140735185101974 140735185101974 140735185104847 0
/proc/19647/statm: 2103531 29359 3208 1 0 2064875 0
[pid=19667] ppid=19647 vsize=640284 memory=38864 CPUtime=1.16 cores=0-7
/proc/19667/stat : 19667 (manyglucose-4.1) S 19647 19624 18999 0 -1 1077944320 7470 0 0 0 115 1 0 0 20 0 9 0 417931305 655650816 9716 33554432000 4194304 4454172 140728120946464 140728120944864 140389203704450 0 4 0 8388610 18446744073709551615 0 0 17 1 0 0 0 0 0 6552832 6554400 30924800 140728120951657 140728120951856 140728120951856 140728120954810 0
/proc/19667/statm: 160071 9716 398 64 0 155739 0
[pid=19667/tid=19673] ppid=19647 vsize=640284 memory=172100 CPUtime=0.13 cores=0-7
/proc/19667/task/19673/stat : 19673 (manyglucose-4.1) R 19647 19624 18999 0 -1 4202560 230 0 0 0 13 0 0 0 20 0 9 0 417931314 655650816 9716 33554432000 4194304 4454172 140728120946464 140389182323816 4351803 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 30924800 140728120951657 140728120951856 140728120951856 140728120954810 0
[pid=19667/tid=19674] ppid=19647 vsize=640284 memory=280677857820304 CPUtime=0.13 cores=0-7
/proc/19667/task/19674/stat : 19674 (manyglucose-4.1) R 19647 19624 18999 0 -1 4202560 170 0 0 0 13 0 0 0 20 0 9 0 417931314 655650816 9716 33554432000 4194304 4454172 140728120946464 140389173931112 4351129 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 30924800 140728120951657 140728120951856 140728120951856 140728120954810 0
[pid=19667/tid=19675] ppid=19647 vsize=640284 memory=33 CPUtime=0.13 cores=0-7
/proc/19667/task/19675/stat : 19675 (manyglucose-4.1) R 19647 19624 18999 0 -1 4202560 175 0 0 0 13 0 0 0 20 0 9 0 417931314 655650816 9716 33554432000 4194304 4454172 140728120946464 140389165538408 4350902 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 30924800 140728120951657 140728120951856 140728120951856 140728120954810 0
[pid=19667/tid=19676] ppid=19647 vsize=640284 memory=7949504602751397730 CPUtime=0.13 cores=0-7
/proc/19667/task/19676/stat : 19676 (manyglucose-4.1) R 19647 19624 18999 0 -1 4202560 172 0 0 0 13 0 0 0 20 0 9 0 417931314 655650816 9716 33554432000 4194304 4454172 140728120946464 140389157145704 4351564 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 30924800 140728120951657 140728120951856 140728120951856 140728120954810 0
[pid=19667/tid=19677] ppid=19647 vsize=640284 memory=23456 CPUtime=0.12 cores=0-7
/proc/19667/task/19677/stat : 19677 (manyglucose-4.1) R 19647 19624 18999 0 -1 4202560 155 0 0 0 12 0 0 0 20 0 9 0 417931314 655650816 9716 33554432000 4194304 4454172 140728120946464 140389148752808 4332930 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6552832 6554400 30924800 140728120951657 140728120951856 140728120951856 140728120954810 0
[pid=19667/tid=19678] ppid=19647 vsize=640284 memory=984 CPUtime=0.13 cores=0-7
/proc/19667/task/19678/stat : 19678 (manyglucose-4.1) R 19647 19624 18999 0 -1 4202560 156 0 0 0 13 0 0 0 20 0 9 0 417931314 655650816 9716 33554432000 4194304 4454172 140728120946464 140389140360296 4351349 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 30924800 140728120951657 140728120951856 140728120951856 140728120954810 0
[pid=19667/tid=19679] ppid=19647 vsize=640284 memory=2048 CPUtime=0.12 cores=0-7
/proc/19667/task/19679/stat : 19679 (manyglucose-4.1) R 19647 19624 18999 0 -1 4202560 158 0 0 0 12 0 0 0 20 0 9 0 417931314 655650816 9716 33554432000 4194304 4454172 140728120946464 140389131967592 4351305 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 30924800 140728120951657 140728120951856 140728120951856 140728120954810 0
[pid=19667/tid=19680] ppid=19647 vsize=640284 memory=1240 CPUtime=0.13 cores=0-7
/proc/19667/task/19680/stat : 19680 (manyglucose-4.1) R 19647 19624 18999 0 -1 4202560 153 0 0 0 13 0 0 0 20 0 9 0 417931314 655650816 9716 33554432000 4194304 4454172 140728120946464 140388992019240 4351342 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 30924800 140728120951657 140728120951856 140728120951856 140728120954810 0
[pid=19647/tid=19648] ppid=19624 vsize=8414124 memory=3928 CPUtime=0.73 cores=0-7
/proc/19647/task/19648/stat : 19648 (java) S 19624 19624 18999 0 -1 1077944384 16856 0 0 0 69 4 0 0 20 0 24 0 417931234 8616062976 29359 33554432000 4194304 4196468 140735185095344 139832136576928 139832164746965 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32518144 140735185101815 140735185101974 140735185101974 140735185104847 0
[pid=19647/tid=19649] ppid=19624 vsize=8414124 memory=716 CPUtime=0 cores=0-7
/proc/19647/task/19649/stat : 19649 (java) S 19624 19624 18999 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417931235 8616062976 29359 33554432000 4194304 4196468 140735185095344 139832168978704 139832164746965 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32518144 140735185101815 140735185101974 140735185101974 140735185104847 0
[pid=19647/tid=19650] ppid=19624 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/19647/task/19650/stat : 19650 (java) S 19624 19624 18999 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417931235 8616062976 29359 33554432000 4194304 4196468 140735185095344 139831649552784 139832164746965 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32518144 140735185101815 140735185101974 140735185101974 140735185104847 0
[pid=19647/tid=19651] ppid=19624 vsize=8414124 memory=1052 CPUtime=0 cores=0-7
/proc/19647/task/19651/stat : 19651 (java) S 19624 19624 18999 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417931235 8616062976 29359 33554432000 4194304 4196468 140735185095344 139831648500240 139832164746965 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32518144 140735185101815 140735185101974 140735185101974 140735185104847 0
[pid=19647/tid=19652] ppid=19624 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/19647/task/19652/stat : 19652 (java) S 19624 19624 18999 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417931235 8616062976 29359 33554432000 4194304 4196468 140735185095344 139831647447696 139832164746965 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140735185101815 140735185101974 140735185101974 140735185104847 0
[pid=19647/tid=19653] ppid=19624 vsize=8414124 memory=9328 CPUtime=0 cores=0-7
/proc/19647/task/19653/stat : 19653 (java) S 19624 19624 18999 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417931235 8616062976 29359 33554432000 4194304 4196468 140735185095344 139831646395152 139832164746965 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140735185101815 140735185101974 140735185101974 140735185104847 0
[pid=19647/tid=19654] ppid=19624 vsize=8414124 memory=1716 CPUtime=0 cores=0-7
/proc/19647/task/19654/stat : 19654 (java) S 19624 19624 18999 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417931235 8616062976 29359 33554432000 4194304 4196468 140735185095344 139831645342608 139832164746965 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32518144 140735185101815 140735185101974 140735185101974 140735185104847 0
[pid=19647/tid=19655] ppid=19624 vsize=8414124 memory=1216 CPUtime=0 cores=0-7
/proc/19647/task/19655/stat : 19655 (java) S 19624 19624 18999 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417931235 8616062976 29359 33554432000 4194304 4196468 140735185095344 139831644290064 139832164746965 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32518144 140735185101815 140735185101974 140735185101974 140735185104847 0
[pid=19647/tid=19656] ppid=19624 vsize=8414124 memory=1000 CPUtime=0 cores=0-7
/proc/19647/task/19656/stat : 19656 (java) S 19624 19624 18999 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417931235 8616062976 29359 33554432000 4194304 4196468 140735185095344 139831643237520 139832164746965 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32518144 140735185101815 140735185101974 140735185101974 140735185104847 0
[pid=19647/tid=19657] ppid=19624 vsize=8414124 memory=7988 CPUtime=0 cores=0-7
/proc/19647/task/19657/stat : 19657 (java) S 19624 19624 18999 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 417931237 8616062976 29359 33554432000 4194304 4196468 140735185095344 139831593830384 139832164747906 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140735185101815 140735185101974 140735185101974 140735185104847 0
[pid=19647/tid=19658] ppid=19624 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/19647/task/19658/stat : 19658 (java) S 19624 19624 18999 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 417931237 8616062976 29359 33554432000 4194304 4196468 140735185095344 139830780486560 139832164746965 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140735185101815 140735185101974 140735185101974 140735185104847 0
[pid=19647/tid=19659] ppid=19624 vsize=8414124 memory=280677858266080 CPUtime=0 cores=0-7
/proc/19647/task/19659/stat : 19659 (java) S 19624 19624 18999 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 417931237 8616062976 29359 33554432000 4194304 4196468 140735185095344 139830646264816 139832164746965 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140735185101815 140735185101974 140735185101974 140735185104847 0
[pid=19647/tid=19660] ppid=19624 vsize=8414124 memory=3472468635156525744 CPUtime=0 cores=0-7
/proc/19647/task/19660/stat : 19660 (java) S 19624 19624 18999 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417931240 8616062976 29359 33554432000 4194304 4196468 140735185095344 139830271760592 139832164755355 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140735185101815 140735185101974 140735185101974 140735185104847 0
[pid=19647/tid=19661] ppid=19624 vsize=8414124 memory=3054156605335311252 CPUtime=0.05 cores=0-7
/proc/19647/task/19661/stat : 19661 (java) S 19624 19624 18999 0 -1 1077944384 583 0 0 0 5 0 0 0 20 0 24 0 417931240 8616062976 29359 33554432000 4194304 4196468 140735185095344 139831592778224 139832164747906 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32518144 140735185101815 140735185101974 140735185101974 140735185104847 0
[pid=19647/tid=19662] ppid=19624 vsize=8414124 memory=734122130331934768 CPUtime=0.03 cores=0-7
/proc/19647/task/19662/stat : 19662 (java) S 19624 19624 18999 0 -1 1077944384 137 0 0 0 3 0 0 0 20 0 24 0 417931240 8616062976 29359 33554432000 4194304 4196468 140735185095344 139831591725680 139832164747906 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140735185101815 140735185101974 140735185101974 140735185104847 0
[pid=19647/tid=19663] ppid=19624 vsize=8414124 memory=2608 CPUtime=0.07 cores=0-7
/proc/19647/task/19663/stat : 19663 (java) S 19624 19624 18999 0 -1 1077944384 380 0 0 0 7 0 0 0 20 0 24 0 417931240 8616062976 29359 33554432000 4194304 4196468 140735185095344 139831590673136 139832164747906 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32518144 140735185101815 140735185101974 140735185101974 140735185104847 0
[pid=19647/tid=19664] ppid=19624 vsize=8414124 memory=1424 CPUtime=0.18 cores=0-7
/proc/19647/task/19664/stat : 19664 (java) S 19624 19624 18999 0 -1 1077944384 523 0 0 0 18 0 0 0 20 0 24 0 417931240 8616062976 29359 33554432000 4194304 4196468 140735185095344 139831589620592 139832164747906 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32518144 140735185101815 140735185101974 140735185101974 140735185104847 0
[pid=19647/tid=19665] ppid=19624 vsize=8414124 memory=1448 CPUtime=0 cores=0-7
/proc/19647/task/19665/stat : 19665 (java) S 19624 19624 18999 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417931240 8616062976 29359 33554432000 4194304 4196468 140735185095344 139829773854944 139832164746965 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32518144 140735185101815 140735185101974 140735185101974 140735185104847 0
[pid=19647/tid=19666] ppid=19624 vsize=8414124 memory=916 CPUtime=0 cores=0-7
/proc/19647/task/19666/stat : 19666 (java) S 19624 19624 18999 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417931240 8616062976 29359 33554432000 4194304 4196468 140735185095344 139831588567472 139832164747906 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140735185101815 140735185101974 140735185101974 140735185104847 0
[pid=19647/tid=19668] ppid=19624 vsize=8414124 memory=1980 CPUtime=0 cores=0-7
/proc/19647/task/19668/stat : 19668 (java) S 19624 19624 18999 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 417931305 8616062976 29359 33554432000 4194304 4196468 140735185095344 139831586956480 139832164761369 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140735185101815 140735185101974 140735185101974 140735185104847 0
[pid=19647/tid=19670] ppid=19624 vsize=8414124 memory=2404 CPUtime=0 cores=0-7
/proc/19647/task/19670/stat : 19670 (java) S 19624 19624 18999 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 417931305 8616062976 29359 33554432000 4194304 4196468 140735185095344 139829102755600 139832164758685 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 32518144 140735185101815 140735185101974 140735185101974 140735185104847 0
[pid=19647/tid=19671] ppid=19624 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/19647/task/19671/stat : 19671 (java) S 19624 19624 18999 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 417931305 8616062976 29359 33554432000 4194304 4196468 140735185095344 139829371191184 139832164758685 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 32518144 140735185101815 140735185101974 140735185101974 140735185104847 0
[pid=19647/tid=19672] ppid=19624 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/19647/task/19672/stat : 19672 (java) S 19624 19624 18999 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 417931307 8616062976 29359 33554432000 4194304 4196468 140735185095344 139828834328240 139832164746965 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140735185101815 140735185101974 140735185101974 140735185104847 0
Current children cumulated CPU time: 7.57 s
Current children cumulated vsize: 9167536 KiB
Current children cumulated memory: 157776 KiB
[startup+3.29792 s]
# the end of solver process 19624 was just reported to runsolver
# cumulated CPU time of all completed processes: user=7.84052 s, system=0.27679 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20176 s]
/proc/loadavg: 0.74 0.38 0.57 9/228 19680
/proc/meminfo: memFree=30690908/32770624 swapFree=66968080/67108860
[pid=19624] ppid=19621 vsize=113128 memory=1476 CPUtime=5.29 cores=0-7
/proc/19624/stat : 19624 (scop.sh) S 19621 19624 18999 0 -1 4202496 583 28320 0 0 0 0 512 17 20 0 1 0 417931017 115843072 369 33554432000 4194304 5098028 140734832129808 140734832126552 140509937369724 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 26759168 140734832136996 140734832137324 140734832137324 140734832140237 0
/proc/19624/statm: 28282 369 311 221 0 87 0
[pid=19647] ppid=19624 vsize=8283048 memory=118232 CPUtime=2.66 cores=0-7
/proc/19647/stat : 19647 (java) S 19624 19624 18999 0 -1 1077944320 20584 7532 0 0 117 7 141 1 20 0 22 0 417931234 8481841152 29558 33554432000 4194304 4196468 140735185095344 140735185077888 139832164736759 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32518144 140735185101815 140735185101974 140735185101974 140735185104847 0
/proc/19647/statm: 2070762 29558 3209 1 0 2032106 0
[pid=19647/tid=19648] ppid=19624 vsize=8283048 memory=932 CPUtime=2.16 cores=0-7
/proc/19647/task/19648/stat : 19648 (java) R 19624 19624 18999 0 -1 4202560 16880 7532 0 0 70 4 141 1 20 0 22 0 417931234 8481841152 29558 33554432000 4194304 4196468 140735185095344 139832136560192 139832156973886 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32518144 140735185101815 140735185101974 140735185101974 140735185104847 0
[pid=19647/tid=19649] ppid=19624 vsize=8283048 memory=1424 CPUtime=1.42 cores=0-7
/proc/19647/task/19649/stat : 19649 (java) S 19624 19624 18999 0 -1 1077944384 1 7532 0 0 0 0 141 1 20 0 22 0 417931235 8481841152 29558 33554432000 4194304 4196468 140735185095344 139832168978704 139832164746965 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32518144 140735185101815 140735185101974 140735185101974 140735185104847 0
[pid=19647/tid=19650] ppid=19624 vsize=8283048 memory=1448 CPUtime=1.42 cores=0-7
/proc/19647/task/19650/stat : 19650 (java) S 19624 19624 18999 0 -1 1077944384 2 7532 0 0 0 0 141 1 20 0 22 0 417931235 8481841152 29558 33554432000 4194304 4196468 140735185095344 139831649552784 139832164746965 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32518144 140735185101815 140735185101974 140735185101974 140735185104847 0
[pid=19647/tid=19651] ppid=19624 vsize=8283048 memory=916 CPUtime=1.42 cores=0-7
/proc/19647/task/19651/stat : 19651 (java) S 19624 19624 18999 0 -1 1077944384 1 7532 0 0 0 0 141 1 20 0 22 0 417931235 8481841152 29558 33554432000 4194304 4196468 140735185095344 139831648500240 139832164746965 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32518144 140735185101815 140735185101974 140735185101974 140735185104847 0
[pid=19647/tid=19652] ppid=19624 vsize=8283048 memory=1980 CPUtime=1.42 cores=0-7
/proc/19647/task/19652/stat : 19652 (java) S 19624 19624 18999 0 -1 1077944384 3 7532 0 0 0 0 141 1 20 0 22 0 417931235 8481841152 29558 33554432000 4194304 4196468 140735185095344 139831647447696 139832164746965 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140735185101815 140735185101974 140735185101974 140735185104847 0
[pid=19647/tid=19653] ppid=19624 vsize=8283048 memory=2404 CPUtime=1.42 cores=0-7
/proc/19647/task/19653/stat : 19653 (java) S 19624 19624 18999 0 -1 1077944384 2 7532 0 0 0 0 141 1 20 0 22 0 417931235 8481841152 29558 33554432000 4194304 4196468 140735185095344 139831646395152 139832164746965 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140735185101815 140735185101974 140735185101974 140735185104847 0
[pid=19647/tid=19654] ppid=19624 vsize=8283048 memory=1764 CPUtime=1.42 cores=0-7
/proc/19647/task/19654/stat : 19654 (java) S 19624 19624 18999 0 -1 1077944384 2 7532 0 0 0 0 141 1 20 0 22 0 417931235 8481841152 29558 33554432000 4194304 4196468 140735185095344 139831645342608 139832164746965 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32518144 140735185101815 140735185101974 140735185101974 140735185104847 0
[pid=19647/tid=19655] ppid=19624 vsize=8283048 memory=2241 CPUtime=1.42 cores=0-7
/proc/19647/task/19655/stat : 19655 (java) S 19624 19624 18999 0 -1 1077944384 1 7532 0 0 0 0 141 1 20 0 22 0 417931235 8481841152 29558 33554432000 4194304 4196468 140735185095344 139831644290064 139832164746965 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32518144 140735185101815 140735185101974 140735185101974 140735185104847 0
[pid=19647/tid=19656] ppid=19624 vsize=8283048 memory=2244 CPUtime=1.42 cores=0-7
/proc/19647/task/19656/stat : 19656 (java) S 19624 19624 18999 0 -1 1077944384 2 7532 0 0 0 0 141 1 20 0 22 0 417931235 8481841152 29558 33554432000 4194304 4196468 140735185095344 139831643237520 139832164746965 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32518144 140735185101815 140735185101974 140735185101974 140735185104847 0
[pid=19647/tid=19657] ppid=19624 vsize=8283048 memory=6656426216303648864 CPUtime=1.42 cores=0-7
/proc/19647/task/19657/stat : 19657 (java) S 19624 19624 18999 0 -1 1077944384 6 7532 0 0 0 0 141 1 20 0 22 0 417931237 8481841152 29558 33554432000 4194304 4196468 140735185095344 139831593830384 139832164747906 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140735185101815 140735185101974 140735185101974 140735185104847 0
[pid=19647/tid=19658] ppid=19624 vsize=8283048 memory=2220 CPUtime=1.42 cores=0-7
/proc/19647/task/19658/stat : 19658 (java) S 19624 19624 18999 0 -1 1077944384 13 7532 0 0 0 0 141 1 20 0 22 0 417931237 8481841152 29558 33554432000 4194304 4196468 140735185095344 139830780486560 139832164746965 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140735185101815 140735185101974 140735185101974 140735185104847 0
[pid=19647/tid=19659] ppid=19624 vsize=8283048 memory=0 CPUtime=1.42 cores=0-7
/proc/19647/task/19659/stat : 19659 (java) S 19624 19624 18999 0 -1 1077944384 21 7532 0 0 0 0 141 1 20 0 22 0 417931237 8481841152 29558 33554432000 4194304 4196468 140735185095344 139830646264816 139832164746965 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140735185101815 140735185101974 140735185101974 140735185104847 0
[pid=19647/tid=19660] ppid=19624 vsize=8283048 memory=48740 CPUtime=1.42 cores=0-7
/proc/19647/task/19660/stat : 19660 (java) S 19624 19624 18999 0 -1 1077944384 1 7532 0 0 0 0 141 1 20 0 22 0 417931240 8481841152 29558 33554432000 4194304 4196468 140735185095344 139830271760592 139832164755355 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140735185101815 140735185101974 140735185101974 140735185104847 0
[pid=19647/tid=19661] ppid=19624 vsize=8283048 memory=0 CPUtime=1.48 cores=0-7
/proc/19647/task/19661/stat : 19661 (java) S 19624 19624 18999 0 -1 1077944384 588 7532 0 0 6 0 141 1 20 0 22 0 417931240 8481841152 29558 33554432000 4194304 4196468 140735185095344 139831592778224 139832164747906 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32518144 140735185101815 140735185101974 140735185101974 140735185104847 0
[pid=19647/tid=19662] ppid=19624 vsize=8283048 memory=-1161699032756150920 CPUtime=1.46 cores=0-7
/proc/19647/task/19662/stat : 19662 (java) S 19624 19624 18999 0 -1 1077944384 149 7532 0 0 4 0 141 1 20 0 22 0 417931240 8481841152 29594 33554432000 4194304 4196468 140735185095344 139831591725680 139832164747906 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140735185101815 140735185101974 140735185101974 140735185104847 0
[pid=19647/tid=19663] ppid=19624 vsize=8283048 memory=0 CPUtime=1.5 cores=0-7
/proc/19647/task/19663/stat : 19663 (java) S 19624 19624 18999 0 -1 1077944384 386 7532 0 0 8 0 141 1 20 0 22 0 417931240 8481841152 29594 33554432000 4194304 4196468 140735185095344 139831590673136 139832164747906 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32518144 140735185101815 140735185101974 140735185101974 140735185104847 0
[pid=19647/tid=19664] ppid=19624 vsize=8283048 memory=0 CPUtime=1.64 cores=0-7
/proc/19647/task/19664/stat : 19664 (java) R 19624 19624 18999 0 -1 4202560 601 7532 0 0 22 0 141 1 20 0 22 0 417931240 8481841152 29594 33554432000 4194304 4196468 140735185095344 139831589620592 139832143677500 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32518144 140735185101815 140735185101974 140735185101974 140735185104847 0
[pid=19647/tid=19665] ppid=19624 vsize=8283048 memory=486 CPUtime=1.42 cores=0-7
/proc/19647/task/19665/stat : 19665 (java) S 19624 19624 18999 0 -1 1077944384 3 7532 0 0 0 0 141 1 20 0 22 0 417931240 8481841152 29594 33554432000 4194304 4196468 140735185095344 139829773854944 139832164746965 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32518144 140735185101815 140735185101974 140735185101974 140735185104847 0
[pid=19647/tid=19666] ppid=19624 vsize=8283048 memory=197 CPUtime=1.42 cores=0-7
/proc/19647/task/19666/stat : 19666 (java) S 19624 19624 18999 0 -1 1077944384 1 7532 0 0 0 0 141 1 20 0 22 0 417931240 8481841152 29594 33554432000 4194304 4196468 140735185095344 139831588567472 139832164747906 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32518144 140735185101815 140735185101974 140735185101974 140735185104847 0
[pid=19647/tid=19668] ppid=19624 vsize=8283048 memory=0 CPUtime=1.42 cores=0-7
/proc/19647/task/19668/stat : 19668 (java) S 19624 19624 18999 0 -1 1077944384 29 7532 0 0 0 0 141 1 20 0 22 0 417931305 8481841152 29594 33554432000 4194304 4196468 140735185095344 139831586955664 139832164747906 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32518144 140735185101815 140735185101974 140735185101974 140735185104847 0
[pid=19647/tid=19672] ppid=19624 vsize=8283048 memory=0 CPUtime=1.42 cores=0-7
/proc/19647/task/19672/stat : 19672 (java) S 19624 19624 18999 0 -1 1077944384 15 7532 0 0 0 0 141 1 20 0 22 0 417931307 8481841152 29594 33554432000 4194304 4196468 140735185095344 139828834330032 139832164747906 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140735185101815 140735185101974 140735185101974 140735185104847 0
Current children cumulated CPU time: 7.95 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 119708 KiB
Child status: 0
Real time (s): 3.29796
CPU time (s): 8.11731
CPU user time (s): 7.84052
CPU system time (s): 0.27679
CPU usage (%): 246.131
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 412152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.84052
system time used= 0.27679
maximum resident set size= 416308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57452
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8589
involuntary context switches= 54
# summary of solver processes directly reported to runsolver:
# pid: 19624
# total CPU time (s): 8.11731
# total CPU user time (s): 7.84052
# total CPU system time (s): 0.27679
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.045429 second user time and 0.08995 second system time
The end
Begin job on node135 at 2019-09-14 01:19:34 IDJOB=4392616 IDBENCH=120720 IDSOLVER=2839 FILE ID=node135/4392616-1568416814 RUNJOBID= node135-1568416728-19026 PBS_JOBID= 21702256 Free space on /tmp= 61376 MiB SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15) BENCH NAME= XCSP17/GracefulGraph/GracefulGraph-m1-s1/GracefulGraph-K05-P02.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392616-1568416814/watcher-4392616-1568416814 -o /tmp/evaluation-result-4392616-1568416814/solver-4392616-1568416814 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node135-1568416728-19026 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392616-1568416814.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 803795f7a37fd3a40686e408980b1bff RANDOM SEED=666990590 node135.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30835496 kB MemAvailable: 31856444 kB Buffers: 160972 kB Cached: 1128640 kB SwapCached: 34904 kB Active: 559512 kB Inactive: 774576 kB Active(anon): 16776 kB Inactive(anon): 60324 kB Active(file): 542736 kB Inactive(file): 714252 kB Unevictable: 110024 kB Mlocked: 110024 kB SwapTotal: 67108860 kB SwapFree: 66968076 kB Dirty: 20388 kB Writeback: 0 kB AnonPages: 130516 kB Mapped: 38188 kB Shmem: 24020 kB Slab: 190632 kB SReclaimable: 159588 kB SUnreclaim: 31044 kB KernelStack: 3808 kB PageTables: 6436 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 504768 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 81920 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 134528 kB DirectMap2M: 33411072 kB Free space on /tmp at the end= 61356 MiB End job on node135 at 2019-09-14 01:19:38