Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP order+ManyGlucose (2019-09-22) | UNSAT | 23.0478 | 5.05894 |
Name | KnightTour/KnightTour-int-s1/ KnightTour-05-int.xml |
MD5SUM | 5aa02d8e33e0310131c8602cbce67fff |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.033151 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 25 |
Number of constraints | 27 |
Number of domains | 1 |
Minimum domain size | 25 |
Maximum domain size | 25 |
Distribution of domain sizes | [{"size":25,"count":25}] |
Minimum variable degree | 2 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":2,"count":23},{"degree":3,"count":2}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 25 |
Distribution of constraint arities | [{"arity":2,"count":26},{"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":1},{"type":"instantiation","count":1}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-7023-serial-file.bin HOME/instance-4405210-1569343311.xml 0.65/0.55 0.65/0.55 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 0.65/0.55 0.65/0.58 c BEGIN-Prog: Tue Sep 24 17:31:28 CEST 2019 0.65/0.58 c PID: 7026 0.65/0.58 c IP: 172.20.3.104 0.65/0.58 c HOST: node104.alineos.net 0.65/0.58 c (0,0) Parsing Begin 1.39/0.98 c (0,0) Parsing End 1.39/0.99 c (0,0) CSP: 24 int (0 aux), 1 bool (0 aux), 27 ctr, max domain size 25 1.39/0.99 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB) 1.39/0.99 c (0,0) Constraint Name Generate Begin 1.39/0.99 c (0,0) Ctr:HOME/instance-4405210-1569343311.xml,AllDifferent:And:Dist:Div:Eq:Instantiation:Mod:Num:Or:Var 1.39/0.99 c (0,0) Constraint Name Generate End 1.39/0.99 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB) 1.39/0.99 c (0,0) CSP to CSPinCNF Begin 2.06/1.29 c (0,0) translated 3 (10%) constraints 2.32/1.31 c (0,0) translated 6 (20%) constraints 2.32/1.32 c (0,0) translated 9 (30%) constraints 2.32/1.33 c (0,0) translated 11 (40%) constraints 2.32/1.35 c (0,0) translated 14 (50%) constraints 2.32/1.36 c (0,0) translated 17 (60%) constraints 2.32/1.37 c (0,0) translated 19 (70%) constraints 2.32/1.38 c (0,0) translated 22 (80%) constraints 2.32/1.39 c (0,0) translated 25 (90%) constraints 2.32/1.40 c (0,0) translated 27 (100%) constraints 2.61/1.40 c (0,0) =========================================== 2.61/1.40 c (0,0) Order 2.61/1.40 c (0,0) =========================================== 2.61/1.42 c (0,0) translated 81 (10%) constraints 2.61/1.43 c (0,0) translated 161 (20%) constraints 2.61/1.44 c (0,0) translated 242 (30%) constraints 2.87/1.52 c (0,0) translated 322 (40%) constraints 2.87/1.54 c (0,0) translated 402 (50%) constraints 2.87/1.55 c (0,0) translated 483 (60%) constraints 2.87/1.55 c (0,0) translated 563 (70%) constraints 2.87/1.56 c (1,0) translated 644 (80%) constraints 2.87/1.56 c (1,1) translated 724 (90%) constraints 2.87/1.57 c (1,1) translated 804 (100%) constraints 2.87/1.57 c (1,1) CSP to CSPinCNF End 2.87/1.57 c (1,1) CSP: 118 int (94 aux), 682 bool (681 aux), 2106 ctr, max domain size 24 2.87/1.57 c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB) 2.87/1.57 c (1,1) CSPinCNF Propagation Begin 3.24/1.63 c (1,1) 74 values, 212 unsatisfiable literals, and 351 valid clauses are removed 3.24/1.63 c (1,1) CSPinCNF Propagation End 3.24/1.63 c (1,1) CSP: 118 int (94 aux), 682 bool (681 aux), 1755 ctr, max domain size 24 3.24/1.63 c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB) 3.24/1.63 c (1,1) Simplify CSPinCNF Begin 3.24/1.67 c (1,1) Simplify CSPinCNF End 3.24/1.67 c (1,1) CSP: 118 int (94 aux), 1416 bool (1415 aux), 2489 ctr, max domain size 24 3.24/1.67 c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB) 3.24/1.67 c (1,1) Calculate Precise Domain Begin 3.24/1.67 c (1,1) 0 values are removed by re-calculation 3.24/1.67 c (1,1) Calculate Precise Domain End 3.24/1.67 c (1,1) CSP: 118 int (94 aux), 1416 bool (1415 aux), 2489 ctr, max domain size 24 3.24/1.67 c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB) 3.24/1.67 c (1,1) CSPinCNF to SatSolver Begin 3.87/1.85 c (1,1) 249 (10 %) CSP clauses are encoded (0 SAT variables, 3767 SAT clauses) 4.30/1.92 c (1,1) 498 (20 %) CSP clauses are encoded (0 SAT variables, 7834 SAT clauses) 4.30/1.97 c (1,1) 747 (30 %) CSP clauses are encoded (0 SAT variables, 11901 SAT clauses) 4.30/1.99 c (1,1) 996 (40 %) CSP clauses are encoded (0 SAT variables, 13415 SAT clauses) 4.30/1.99 c (1,1) 1245 (50 %) CSP clauses are encoded (0 SAT variables, 13664 SAT clauses) 4.30/2.00 c (1,1) 1494 (60 %) CSP clauses are encoded (0 SAT variables, 13913 SAT clauses) 4.30/2.00 c (1,1) 1743 (70 %) CSP clauses are encoded (0 SAT variables, 14162 SAT clauses) 4.75/2.02 c (1,1) 1992 (80 %) CSP clauses are encoded (0 SAT variables, 14781 SAT clauses) 4.75/2.04 c (1,1) 2241 (90 %) CSP clauses are encoded (0 SAT variables, 16327 SAT clauses) 4.75/2.06 c (1,1) 2489 (100 %) CSP clauses are encoded (0 SAT variables, 17858 SAT clauses) 4.75/2.06 c (1,1) CSPinCNF to SatSolver End 4.75/2.06 c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 4.75/2.06 c (1,1) 2232 bool, 17859 clause 4.75/2.06 c (1,1) Export Begin 5.19/2.15 c (1,1) Export to HOME/scop-7023-serial-file.bin 5.19/2.15 c (1,1) Export End 5.19/2.15 c (1,1) Export File Size: 0.01 MB 5.19/2.15 c (1,1) 0,0,1,1,1,1,1,STOP-AFTER(DIMACS) 5.19/2.15 c END-Prog: Tue Sep 24 17:31:29 CEST 2019 5.19/2.17 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-7023-serial-file.bin 5.36/2.63 c (0,0) Read Serial File Begin 5.36/2.63 c (0,0) HOME/scop-7023-serial-file.bin 5.36/2.82 c (0,0) Read Serial File End 5.36/2.83 5.36/2.83 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 5.36/2.83 (Solving Process) 5.36/2.83 5.36/2.86 c BEGIN-Prog: Tue Sep 24 17:31:30 CEST 2019 5.36/2.86 c PID: 7046 5.36/2.86 c IP: 172.20.3.104 5.36/2.86 c HOST: node104.alineos.net 5.36/2.86 c (0,0) SatSolver.solve Begin 5.36/2.86 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405210-1569343311.xml-scop-7026.cnf 5.36/2.89 c (0,0) c 5.36/2.89 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.36/2.89 c (0,0) c 5.36/2.89 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 5.36/2.89 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 5.36/2.89 c (0,0) c ========================================[ Problem Statistics ]=========================================== 5.36/2.89 c (0,0) c | | 5.36/2.89 c (0,0) c | Number of variables: 2232 | 5.36/2.89 c (0,0) c | Number of clauses: 17859 | 5.36/2.89 c (0,0) c | Parse time: 0.01 s | 5.36/2.89 c (0,0) c | | 5.36/2.90 c (0,0) c | Simplification time: 0.01 s | 5.36/2.90 c (0,0) c | | 5.36/2.90 c (0,0) c | Generating clones | 5.36/2.91 c (0,0) c | all clones generated. Memory = 34.36Mb. | 5.36/2.91 c (0,0) c ========================================================================================================| 5.36/2.91 c (0,0) c 5.36/2.91 c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 5.36/2.91 c (0,0) c 5.36/2.91 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 5.36/2.91 c (0,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 5.36/2.91 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 5.36/2.91 c (0,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 5.36/2.91 c (0,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 5.36/2.91 c (0,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 5.36/2.91 c (0,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 5.36/2.91 c (0,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 5.36/2.91 c (0,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5.36/2.91 c (0,0) c | glureduce | True | True | True | True | True | True | True | True | 5.36/2.91 c (0,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 5.36/2.91 c (0,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 5.36/2.91 c (0,0) c | luby_restart | False | False | False | False | False | False | False | False | 5.36/2.91 c (0,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 5.36/2.91 c (0,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 5.36/2.91 c (0,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 5.36/2.91 c (0,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 5.36/2.91 c (0,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 5.36/2.91 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 22.92/5.02 c (2,0) c 22.92/5.02 c (2,0) c real time : 2.14019 s 22.92/5.02 c (2,0) c cpu time : 16.3942 s 22.92/5.02 c (2,0) c 22.92/5.02 c (2,0) c 22.92/5.02 c (2,0) c 22.92/5.02 c (2,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 22.92/5.02 c (2,0) c 22.92/5.02 c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 22.92/5.02 c (2,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 22.92/5.02 c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 22.92/5.02 c (2,0) c | Conflicts | 318854 | 39352 | 42361 | 39280 | 40531 | 38759 | 40288 | 38836 | 39447 | 22.92/5.02 c (2,0) c | Decisions | 425937 | 51585 | 57244 | 52975 | 54985 | 51688 | 53590 | 52510 | 51360 | 22.92/5.02 c (2,0) c | Propagations | 53358670 | 6727247 | 6564116 | 6916402 | 6550848 | 6617114 | 6611799 | 6557756 | 6813388 | 22.92/5.02 c (2,0) c | ReduceDBs | 40 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 22.92/5.02 c (2,0) c | SimpDBs | 73 | 5 | 16 | 13 | 13 | 2 | 8 | 12 | 4 | 22.92/5.02 c (2,0) c | Restarts | 436 | 31 | 80 | 44 | 73 | 75 | 38 | 50 | 45 | 22.92/5.02 c (2,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 22.92/5.02 c (2,0) c | PropBinClauses| 85218029 | 10764541 | 10478237 | 11074676 | 10468366 | 10509261 | 10613856 | 10588253 | 10720839 | 22.92/5.02 c (2,0) c | PropPreBlocker| 667046148 | 81291575 | 83056668 | 88323039 | 81305389 | 82867788 | 81140915 | 83879722 | 85181052 | 22.92/5.02 c (2,0) c | PropNotBlocker| 212799127 | 26525505 | 27913224 | 26872524 | 26330182 | 26240983 | 25345054 | 26397943 | 27173712 | 22.92/5.02 c (2,0) c | LitFullScans | 1181659823 | 144038248 | 150093963 | 156032676 | 144050537 | 144051974 | 144038042 | 149289688 | 150064695 | 22.92/5.02 c (2,0) c | LitScanFracts | 102151 | 2488 | 53515 | 2809 | 10372 | 2911 | 2330 | 3070 | 24656 | 22.92/5.02 c (2,0) c | DecisionLevel0| 563 | 33 | 107 | 69 | 96 | 77 | 53 | 80 | 48 | 22.92/5.02 c (2,0) c | Periods | 196 | 24 | 25 | 26 | 24 | 24 | 24 | 24 | 25 | 22.92/5.02 c (2,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 22.92/5.02 c (2,0) c | Avg_Trail | | 938 | 962 | 1049 | 971 | 1025 | 1001 | 1032 | 978 | 22.92/5.02 c (2,0) c | Avg_DL | | 13 | 14 | 14 | 14 | 14 | 13 | 13 | 14 | 22.92/5.02 c (2,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 22.92/5.02 c (2,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 22.92/5.02 c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 22.92/5.02 c (2,0) c | Exported | 68928 | 8188 | 9011 | 8701 | 8881 | 7982 | 8837 | 8672 | 8656 | 22.92/5.02 c (2,0) c | Imported | 76743 | 9259 | 9269 | 18690 | 2511 | 0 | 9202 | 13757 | 14055 | 22.92/5.02 c (2,0) c | Good | 1774 | 219 | 227 | 342 | 163 | 0 | 218 | 297 | 308 | 22.92/5.02 c (2,0) c | Purge | 74969 | 9040 | 9042 | 18348 | 2348 | 0 | 8984 | 13460 | 13747 | 22.92/5.02 c (2,0) c | Promoted | 1539 | 174 | 206 | 328 | 76 | 0 | 276 | 223 | 256 | 22.92/5.02 c (2,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 22.92/5.02 c (2,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 22.92/5.02 c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 22.92/5.02 c (2,0) c | Unaries | | 2 | 27 | 25 | 23 | 2 | 15 | 30 | 3 | 22.92/5.02 c (2,0) c | Binaries | | 102 | 123 | 150 | 150 | 92 | 136 | 195 | 80 | 22.92/5.02 c (2,0) c | Glues | | 732 | 917 | 900 | 934 | 810 | 797 | 925 | 669 | 22.92/5.02 c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 22.92/5.02 c (2,0) c | Orig_Seen | 73 % | 11848 | 12144 | 12218 | 12070 | 12052 | 12097 | 12263 | 11661 | 22.92/5.02 c (2,0) c | Diff Orig seen| | - 415 | - 119 | - 45 | - 193 | - 211 | - 166 | X | - 602 | 22.92/5.02 c (2,0) c | Hamming | 24 % | 554 | 548 | 609 | 545 | 496 | 515 | X | 485 | 22.92/5.02 c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 22.92/5.02 c (2,0) c | RunningTime | | 2.1 100%| 2.1 100%| 2.1 100%| 2.1 100%| 2.0 100%| 2.0 100%| 2.0 100%| 2.0 100%| 22.92/5.02 c (2,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%| 22.92/5.02 c (2,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%| 22.92/5.03 c (2,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%| 22.92/5.03 c (2,0) c | SolvingTime | | 2.1 | 2.1 | 2.1 | 2.1 | 2.0 | 2.0 | 2.0 | 2.0 | 22.92/5.03 c (2,0) c | PropagationTim| | 1.7 82%| 1.7 82%| 1.7 80%| 1.7 81%| 1.7 82%| 1.7 81%| 1.6 81%| 1.7 82%| 22.92/5.03 c (2,0) c | AnalysisTime | | 0.2 12%| 0.3 12%| 0.3 13%| 0.3 13%| 0.3 13%| 0.3 13%| 0.3 13%| 0.3 13%| 22.92/5.03 c (2,0) c | ReductionTime | | 0.0 1%| 0.0 1%| 0.0 1%| 0.0 1%| 0.0 1%| 0.0 1%| 0.0 1%| 0.0 1%| 22.92/5.03 c (2,0) c | SimplifyTime | | 0.0 0%| 0.0 1%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 1%| 0.0 0%| 22.92/5.03 c (2,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%| 22.92/5.03 c (2,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%| 22.92/5.03 c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 22.92/5.03 c (2,0) c 22.92/5.03 c (2,0) c 22.92/5.03 c (2,0) c Threads : 8 22.92/5.03 c (2,0) c Winner : 6 22.92/5.03 c (2,0) c Conflicts_0 : 39352 22.92/5.03 c (2,0) c Conflicts_1 : 42361 22.92/5.03 c (2,0) c Conflicts_2 : 39280 22.92/5.03 c (2,0) c Conflicts_3 : 40531 22.92/5.03 c (2,0) c Conflicts_4 : 38759 22.92/5.03 c (2,0) c Conflicts_5 : 40288 22.92/5.03 c (2,0) c Conflicts_6 : 38836 22.92/5.03 c (2,0) c Conflicts_7 : 39447 22.92/5.03 c (2,0) c Conflicts_total : 318854 22.92/5.03 c (2,0) c Conflicts_winner : 38836 22.92/5.03 c (2,0) c Decisions_0 : 51585 22.92/5.03 c (2,0) c Decisions_1 : 57244 22.92/5.03 c (2,0) c Decisions_2 : 52975 22.92/5.03 c (2,0) c Decisions_3 : 54985 22.92/5.03 c (2,0) c Decisions_4 : 51688 22.92/5.03 c (2,0) c Decisions_5 : 53590 22.92/5.03 c (2,0) c Decisions_6 : 52510 22.92/5.03 c (2,0) c Decisions_7 : 51360 22.92/5.03 c (2,0) c Decisions_total : 425937 22.92/5.03 c (2,0) c Decisions_winner : 52510 22.92/5.03 c (2,0) c Propagations_0 : 6727247 22.92/5.03 c (2,0) c Propagations_1 : 6564116 22.92/5.03 c (2,0) c Propagations_2 : 6916402 22.92/5.03 c (2,0) c Propagations_3 : 6550848 22.92/5.03 c (2,0) c Propagations_4 : 6617114 22.92/5.03 c (2,0) c Propagations_5 : 6611799 22.92/5.03 c (2,0) c Propagations_6 : 6557756 22.92/5.03 c (2,0) c Propagations_7 : 6813388 22.92/5.03 c (2,0) c Propagations_total : 53358670 22.92/5.03 c (2,0) c Propagations_winner : 6557756 22.92/5.03 c (2,0) c ReduceDBs_0 : 5 22.92/5.03 c (2,0) c ReduceDBs_1 : 5 22.92/5.03 c (2,0) c ReduceDBs_2 : 5 22.92/5.03 c (2,0) c ReduceDBs_3 : 5 22.92/5.03 c (2,0) c ReduceDBs_4 : 5 22.92/5.03 c (2,0) c ReduceDBs_5 : 5 22.92/5.03 c (2,0) c ReduceDBs_6 : 5 22.92/5.03 c (2,0) c ReduceDBs_7 : 5 22.92/5.03 c (2,0) c ReduceDBs_total : 40 22.92/5.03 c (2,0) c ReduceDBs_winner : 5 22.92/5.03 c (2,0) c SimpDBs_0 : 5 22.92/5.03 c (2,0) c SimpDBs_1 : 16 22.92/5.03 c (2,0) c SimpDBs_2 : 13 22.92/5.03 c (2,0) c SimpDBs_3 : 13 22.92/5.03 c (2,0) c SimpDBs_4 : 2 22.92/5.03 c (2,0) c SimpDBs_5 : 8 22.92/5.03 c (2,0) c SimpDBs_6 : 12 22.92/5.03 c (2,0) c SimpDBs_7 : 4 22.92/5.03 c (2,0) c SimpDBs_total : 73 22.92/5.03 c (2,0) c SimpDBs_winner : 12 22.92/5.03 c (2,0) c Restarts_0 : 31 22.92/5.03 c (2,0) c Restarts_1 : 80 22.92/5.03 c (2,0) c Restarts_2 : 44 22.92/5.03 c (2,0) c Restarts_3 : 73 22.92/5.03 c (2,0) c Restarts_4 : 75 22.92/5.03 c (2,0) c Restarts_5 : 38 22.92/5.03 c (2,0) c Restarts_6 : 50 22.92/5.03 c (2,0) c Restarts_7 : 45 22.92/5.03 c (2,0) c Restarts_total : 436 22.92/5.03 c (2,0) c Restarts_winner : 50 22.92/5.03 c (2,0) c ForcedImports_0 : 0 22.92/5.03 c (2,0) c ForcedImports_1 : 0 22.92/5.03 c (2,0) c ForcedImports_2 : 0 22.92/5.03 c (2,0) c ForcedImports_3 : 0 22.92/5.03 c (2,0) c ForcedImports_4 : 0 22.92/5.03 c (2,0) c ForcedImports_5 : 0 22.92/5.03 c (2,0) c ForcedImports_6 : 0 22.92/5.03 c (2,0) c ForcedImports_7 : 0 22.92/5.03 c (2,0) c ForcedImports_total : 0 22.92/5.03 c (2,0) c ForcedImports_winner : 0 22.92/5.03 c (2,0) c PropsBinClauses_0 : 10764541 22.92/5.03 c (2,0) c PropsBinClauses_1 : 10478237 22.92/5.03 c (2,0) c PropsBinClauses_2 : 11074676 22.92/5.03 c (2,0) c PropsBinClauses_3 : 10468366 22.92/5.03 c (2,0) c PropsBinClauses_4 : 10509261 22.92/5.03 c (2,0) c PropsBinClauses_5 : 10613856 22.92/5.03 c (2,0) c PropsBinClauses_6 : 10588253 22.92/5.03 c (2,0) c PropsBinClauses_7 : 10720839 22.92/5.03 c (2,0) c PropsBinClauses_total : 85218029 22.92/5.03 c (2,0) c PropsBinClauses_winner : 10588253 22.92/5.03 c (2,0) c PropsPreBlocker_0 : 81291575 22.92/5.03 c (2,0) c PropsPreBlocker_1 : 83056668 22.92/5.03 c (2,0) c PropsPreBlocker_2 : 88323039 22.92/5.03 c (2,0) c PropsPreBlocker_3 : 81305389 22.92/5.03 c (2,0) c PropsPreBlocker_4 : 82867788 22.92/5.03 c (2,0) c PropsPreBlocker_5 : 81140915 22.92/5.03 c (2,0) c PropsPreBlocker_6 : 83879722 22.92/5.03 c (2,0) c PropsPreBlocker_7 : 85181052 22.92/5.03 c (2,0) c PropsPreBlocker_total : 667046148 22.92/5.03 c (2,0) c PropsPreBlocker_winner : 83879722 22.92/5.03 c (2,0) c PropsNotBlocker_0 : 26525505 22.92/5.03 c (2,0) c PropsNotBlocker_1 : 27913224 22.92/5.03 c (2,0) c PropsNotBlocker_2 : 26872524 22.92/5.03 c (2,0) c PropsNotBlocker_3 : 26330182 22.92/5.03 c (2,0) c PropsNotBlocker_4 : 26240983 22.92/5.03 c (2,0) c PropsNotBlocker_5 : 25345054 22.92/5.03 c (2,0) c PropsNotBlocker_6 : 26397943 22.92/5.03 c (2,0) c PropsNotBlocker_7 : 27173712 22.92/5.03 c (2,0) c PropsNotBlocker_total : 212799127 22.92/5.03 c (2,0) c PropsNotBlocker_winner : 26397943 22.92/5.03 c (2,0) c PropsLitFullScans_0 : 144038248 22.92/5.03 c (2,0) c PropsLitFullScans_1 : 150093963 22.92/5.03 c (2,0) c PropsLitFullScans_2 : 156032676 22.92/5.03 c (2,0) c PropsLitFullScans_3 : 144050537 22.92/5.03 c (2,0) c PropsLitFullScans_4 : 144051974 22.92/5.03 c (2,0) c PropsLitFullScans_5 : 144038042 22.92/5.03 c (2,0) c PropsLitFullScans_6 : 149289688 22.92/5.03 c (2,0) c PropsLitFullScans_7 : 150064695 22.92/5.03 c (2,0) c PropsLitFullScans_total : 1181659823 22.92/5.03 c (2,0) c PropsLitFullScans_winner : 149289688 22.92/5.03 c (2,0) c LitScanFractions_0 : 2488 22.92/5.03 c (2,0) c LitScanFractions_1 : 53515 22.92/5.03 c (2,0) c LitScanFractions_2 : 2809 22.92/5.03 c (2,0) c LitScanFractions_3 : 10372 22.92/5.03 c (2,0) c LitScanFractions_4 : 2911 22.92/5.03 c (2,0) c LitScanFractions_5 : 2330 22.92/5.03 c (2,0) c LitScanFractions_6 : 3070 22.92/5.03 c (2,0) c LitScanFractions_7 : 24656 22.92/5.03 c (2,0) c LitScanFractions_total : 102151 22.92/5.03 c (2,0) c LitScanFractions_winner : 3070 22.92/5.03 c (2,0) c DecisionLevel0_0 : 33 22.92/5.03 c (2,0) c DecisionLevel0_1 : 107 22.92/5.03 c (2,0) c DecisionLevel0_2 : 69 22.92/5.03 c (2,0) c DecisionLevel0_3 : 96 22.92/5.03 c (2,0) c DecisionLevel0_4 : 77 22.92/5.03 c (2,0) c DecisionLevel0_5 : 53 22.92/5.03 c (2,0) c DecisionLevel0_6 : 80 22.92/5.03 c (2,0) c DecisionLevel0_7 : 48 22.92/5.03 c (2,0) c DecisionLevel0_total : 563 22.92/5.03 c (2,0) c DecisionLevel0_winner : 80 22.92/5.03 c (2,0) c Periods_0 : 24 22.92/5.03 c (2,0) c Periods_1 : 25 22.92/5.03 c (2,0) c Periods_2 : 26 22.92/5.03 c (2,0) c Periods_3 : 24 22.92/5.03 c (2,0) c Periods_4 : 24 22.92/5.03 c (2,0) c Periods_5 : 24 22.92/5.03 c (2,0) c Periods_6 : 24 22.92/5.03 c (2,0) c Periods_7 : 25 22.92/5.03 c (2,0) c Periods_total : 196 22.92/5.03 c (2,0) c Periods_winner : 24 22.92/5.03 c (2,0) c Margin_0 : 20 22.92/5.03 c (2,0) c Margin_1 : 20 22.92/5.03 c (2,0) c Margin_2 : 20 22.92/5.03 c (2,0) c Margin_3 : 20 22.92/5.03 c (2,0) c Margin_4 : 20 22.92/5.03 c (2,0) c Margin_5 : 20 22.92/5.03 c (2,0) c Margin_6 : 20 22.92/5.03 c (2,0) c Margin_7 : 20 22.92/5.03 c (2,0) c Margin_total : 160 22.92/5.03 c (2,0) c Margin_winner : 20 22.92/5.03 c (2,0) c Exported_0 : 8188 22.92/5.03 c (2,0) c Exported_1 : 9011 22.92/5.03 c (2,0) c Exported_2 : 8701 22.92/5.03 c (2,0) c Exported_3 : 8881 22.92/5.03 c (2,0) c Exported_4 : 7982 22.92/5.03 c (2,0) c Exported_5 : 8837 22.92/5.03 c (2,0) c Exported_6 : 8672 22.92/5.03 c (2,0) c Exported_7 : 8656 22.92/5.03 c (2,0) c Exported_total : 68928 22.92/5.03 c (2,0) c Exported_winner : 8672 22.92/5.03 c (2,0) c Imported_0 : 9259 22.92/5.03 c (2,0) c Imported_1 : 9269 22.92/5.03 c (2,0) c Imported_2 : 18690 22.92/5.03 c (2,0) c Imported_3 : 2511 22.92/5.03 c (2,0) c Imported_4 : 0 22.92/5.03 c (2,0) c Imported_5 : 9202 22.92/5.03 c (2,0) c Imported_6 : 13757 22.92/5.03 c (2,0) c Imported_7 : 14055 22.92/5.03 c (2,0) c Imported_total : 76743 22.92/5.03 c (2,0) c Imported_winner : 13757 22.92/5.03 c (2,0) c Good_0 : 219 22.92/5.03 c (2,0) c Good_1 : 227 22.92/5.03 c (2,0) c Good_2 : 342 22.92/5.03 c (2,0) c Good_3 : 163 22.92/5.03 c (2,0) c Good_4 : 0 22.92/5.03 c (2,0) c Good_5 : 218 22.92/5.03 c (2,0) c Good_6 : 297 22.92/5.03 c (2,0) c Good_7 : 308 22.92/5.03 c (2,0) c Good_total : 1774 22.92/5.03 c (2,0) c Good_winner : 297 22.92/5.03 c (2,0) c Purge_0 : 9040 22.92/5.03 c (2,0) c Purge_1 : 9042 22.92/5.03 c (2,0) c Purge_2 : 18348 22.92/5.03 c (2,0) c Purge_3 : 2348 22.92/5.03 c (2,0) c Purge_4 : 0 22.92/5.03 c (2,0) c Purge_5 : 8984 22.92/5.03 c (2,0) c Purge_6 : 13460 22.92/5.03 c (2,0) c Purge_7 : 13747 22.92/5.03 c (2,0) c Purge_total : 74969 22.92/5.03 c (2,0) c Purge_winner : 13460 22.92/5.03 c (2,0) c Promoted_0 : 174 22.92/5.03 c (2,0) c Promoted_1 : 206 22.92/5.03 c (2,0) c Promoted_2 : 328 22.92/5.03 c (2,0) c Promoted_3 : 76 22.92/5.03 c (2,0) c Promoted_4 : 0 22.92/5.03 c (2,0) c Promoted_5 : 276 22.92/5.03 c (2,0) c Promoted_6 : 223 22.92/5.03 c (2,0) c Promoted_7 : 256 22.92/5.03 c (2,0) c Promoted_total : 1539 22.92/5.03 c (2,0) c Promoted_winner : 223 22.92/5.03 c (2,0) c Remove_Imp_0 : 0 22.92/5.03 c (2,0) c Remove_Imp_1 : 0 22.92/5.03 c (2,0) c Remove_Imp_2 : 0 22.92/5.03 c (2,0) c Remove_Imp_3 : 0 22.92/5.03 c (2,0) c Remove_Imp_4 : 0 22.92/5.03 c (2,0) c Remove_Imp_5 : 0 22.92/5.03 c (2,0) c Remove_Imp_6 : 0 22.92/5.03 c (2,0) c Remove_Imp_7 : 0 22.92/5.03 c (2,0) c Remove_Imp_total : 0 22.92/5.03 c (2,0) c Remove_Imp_winner : 0 22.92/5.03 c (2,0) c Blocked_Reuse_0 : 0 22.92/5.03 c (2,0) c Blocked_Reuse_1 : 0 22.92/5.03 c (2,0) c Blocked_Reuse_2 : 0 22.92/5.03 c (2,0) c Blocked_Reuse_3 : 0 22.92/5.03 c (2,0) c Blocked_Reuse_4 : 0 22.92/5.03 c (2,0) c Blocked_Reuse_5 : 0 22.92/5.03 c (2,0) c Blocked_Reuse_6 : 0 22.92/5.03 c (2,0) c Blocked_Reuse_7 : 0 22.92/5.03 c (2,0) c Blocked_Reuse_total : 0 22.92/5.03 c (2,0) c Blocked_Reuse_winner : 0 22.92/5.03 c (2,0) c Unaries_0 : 2 22.92/5.03 c (2,0) c Unaries_1 : 27 22.92/5.03 c (2,0) c Unaries_2 : 25 22.92/5.03 c (2,0) c Unaries_3 : 23 22.92/5.03 c (2,0) c Unaries_4 : 2 22.92/5.03 c (2,0) c Unaries_5 : 15 22.92/5.03 c (2,0) c Unaries_6 : 30 22.92/5.03 c (2,0) c Unaries_7 : 3 22.92/5.03 c (2,0) c Unaries_total : 127 22.92/5.03 c (2,0) c Unaries_winner : 30 22.92/5.03 c (2,0) c Binaries_0 : 102 22.92/5.03 c (2,0) c Binaries_1 : 123 22.92/5.03 c (2,0) c Binaries_2 : 150 22.92/5.03 c (2,0) c Binaries_3 : 150 22.92/5.03 c (2,0) c Binaries_4 : 92 22.92/5.03 c (2,0) c Binaries_5 : 136 22.92/5.03 c (2,0) c Binaries_6 : 195 22.92/5.03 c (2,0) c Binaries_7 : 80 22.92/5.03 c (2,0) c Binaries_total : 1028 22.92/5.04 c (2,0) c Binaries_winner : 195 22.92/5.04 c (2,0) c Glues_0 : 732 22.92/5.04 c (2,0) c Glues_1 : 917 22.92/5.04 c (2,0) c Glues_2 : 900 22.92/5.04 c (2,0) c Glues_3 : 934 22.92/5.04 c (2,0) c Glues_4 : 810 22.92/5.04 c (2,0) c Glues_5 : 797 22.92/5.04 c (2,0) c Glues_6 : 925 22.92/5.04 c (2,0) c Glues_7 : 669 22.92/5.04 c (2,0) c Glues_total : 6684 22.92/5.04 c (2,0) c Glues_winner : 925 22.92/5.04 c (2,0) c RunningTime_0 : 2.060002 22.92/5.04 c (2,0) c RunningTime_1 : 2.101707 22.92/5.04 c (2,0) c RunningTime_2 : 2.063637 22.92/5.04 c (2,0) c RunningTime_3 : 2.067868 22.92/5.04 c (2,0) c RunningTime_4 : 2.039601 22.92/5.04 c (2,0) c RunningTime_5 : 2.038868 22.92/5.04 c (2,0) c RunningTime_6 : 2.033840 22.92/5.04 c (2,0) c RunningTime_7 : 2.033993 22.92/5.04 c (2,0) c RunningTime_total : 16.439516 22.92/5.04 c (2,0) c RunningTime_winner : 2.033840 22.92/5.04 c (2,0) c WaitingTime_0 : 0.000004 22.92/5.04 c (2,0) c WaitingTime_1 : 0.000007 22.92/5.04 c (2,0) c WaitingTime_2 : 0.000007 22.92/5.04 c (2,0) c WaitingTime_3 : 0.000004 22.92/5.04 c (2,0) c WaitingTime_4 : 0.000005 22.92/5.04 c (2,0) c WaitingTime_5 : 0.000003 22.92/5.04 c (2,0) c WaitingTime_6 : 0.000006 22.92/5.04 c (2,0) c WaitingTime_7 : 0.000006 22.92/5.04 c (2,0) c WaitingTime_total : 0.000041 22.92/5.04 c (2,0) c WaitingTime_winner : 0.000006 22.92/5.04 c (2,0) c ExchangingTime_0 : 0.004438 22.92/5.04 c (2,0) c ExchangingTime_1 : 0.004802 22.92/5.04 c (2,0) c ExchangingTime_2 : 0.007797 22.92/5.04 c (2,0) c ExchangingTime_3 : 0.003637 22.92/5.04 c (2,0) c ExchangingTime_4 : 0.003593 22.92/5.04 c (2,0) c ExchangingTime_5 : 0.004871 22.92/5.04 c (2,0) c ExchangingTime_6 : 0.005166 22.92/5.04 c (2,0) c ExchangingTime_7 : 0.006163 22.92/5.04 c (2,0) c ExchangingTime_total : 0.040468 22.92/5.04 c (2,0) c ExchangingTime_winner : 0.005166 22.92/5.04 c (2,0) c PeriodProcTime_0 : 0.000143 22.92/5.04 c (2,0) c PeriodProcTime_1 : 0.000187 22.92/5.04 c (2,0) c PeriodProcTime_2 : 0.000212 22.92/5.04 c (2,0) c PeriodProcTime_3 : 0.000170 22.92/5.04 c (2,0) c PeriodProcTime_4 : 0.000154 22.92/5.04 c (2,0) c PeriodProcTime_5 : 0.000216 22.92/5.04 c (2,0) c PeriodProcTime_6 : 0.000139 22.92/5.04 c (2,0) c PeriodProcTime_7 : 0.000165 22.92/5.04 c (2,0) c PeriodProcTime_total : 0.001386 22.92/5.04 c (2,0) c PeriodProcTime_winner : 0.000139 22.92/5.04 c (2,0) c SolvingTime_0 : 2.064586 22.92/5.04 c (2,0) c SolvingTime_1 : 2.106703 22.92/5.04 c (2,0) c SolvingTime_2 : 2.071653 22.92/5.04 c (2,0) c SolvingTime_3 : 2.071679 22.92/5.04 c (2,0) c SolvingTime_4 : 2.043352 22.92/5.04 c (2,0) c SolvingTime_5 : 2.043959 22.92/5.04 c (2,0) c SolvingTime_6 : 2.039151 22.92/5.04 c (2,0) c SolvingTime_7 : 2.040327 22.92/5.04 c (2,0) c SolvingTime_total : 16.481411 22.92/5.04 c (2,0) c SolvingTime_winner : 2.039151 22.92/5.04 c (2,0) c PropagationTime_0 : 1.703036 22.92/5.04 c (2,0) c PropagationTime_1 : 1.720396 22.92/5.04 c (2,0) c PropagationTime_2 : 1.666638 22.92/5.04 c (2,0) c PropagationTime_3 : 1.679182 22.92/5.04 c (2,0) c PropagationTime_4 : 1.670976 22.92/5.04 c (2,0) c PropagationTime_5 : 1.657058 22.92/5.04 c (2,0) c PropagationTime_6 : 1.647581 22.92/5.04 c (2,0) c PropagationTime_7 : 1.666438 22.92/5.04 c (2,0) c PropagationTime_total : 13.411304 22.92/5.04 c (2,0) c PropagationTime_winner : 1.647581 22.92/5.04 c (2,0) c AnalysisTime_0 : 0.246740 22.92/5.04 c (2,0) c AnalysisTime_1 : 0.258744 22.92/5.04 c (2,0) c AnalysisTime_2 : 0.278676 22.92/5.04 c (2,0) c AnalysisTime_3 : 0.268708 22.92/5.04 c (2,0) c AnalysisTime_4 : 0.260324 22.92/5.04 c (2,0) c AnalysisTime_5 : 0.264629 22.92/5.04 c (2,0) c AnalysisTime_6 : 0.267544 22.92/5.04 c (2,0) c AnalysisTime_7 : 0.256268 22.92/5.04 c (2,0) c AnalysisTime_total : 2.101634 22.92/5.04 c (2,0) c AnalysisTime_winner : 0.267544 22.92/5.04 c (2,0) c ReductionTime_0 : 0.019952 22.92/5.04 c (2,0) c ReductionTime_1 : 0.019310 22.92/5.04 c (2,0) c ReductionTime_2 : 0.019378 22.92/5.04 c (2,0) c ReductionTime_3 : 0.020386 22.92/5.04 c (2,0) c ReductionTime_4 : 0.020580 22.92/5.04 c (2,0) c ReductionTime_5 : 0.023162 22.92/5.04 c (2,0) c ReductionTime_6 : 0.018293 22.92/5.04 c (2,0) c ReductionTime_7 : 0.019634 22.92/5.04 c (2,0) c ReductionTime_total : 0.160695 22.92/5.04 c (2,0) c ReductionTime_winner : 0.018293 22.92/5.04 c (2,0) c SimplifyTime_0 : 0.003818 22.92/5.04 c (2,0) c SimplifyTime_1 : 0.010844 22.92/5.04 c (2,0) c SimplifyTime_2 : 0.008568 22.92/5.04 c (2,0) c SimplifyTime_3 : 0.008540 22.92/5.04 c (2,0) c SimplifyTime_4 : 0.000280 22.92/5.04 c (2,0) c SimplifyTime_5 : 0.006031 22.92/5.04 c (2,0) c SimplifyTime_6 : 0.012985 22.92/5.04 c (2,0) c SimplifyTime_7 : 0.003292 22.92/5.04 c (2,0) c SimplifyTime_total : 0.054358 22.92/5.04 c (2,0) c SimplifyTime_winner : 0.012985 22.92/5.04 c (2,0) c UsedRateTime_0 : 0.000000 22.92/5.04 c (2,0) c UsedRateTime_1 : 0.000000 22.92/5.04 c (2,0) c UsedRateTime_2 : 0.000000 22.92/5.04 c (2,0) c UsedRateTime_3 : 0.000000 22.92/5.04 c (2,0) c UsedRateTime_4 : 0.000000 22.92/5.04 c (2,0) c UsedRateTime_5 : 0.000000 22.92/5.04 c (2,0) c UsedRateTime_6 : 0.000000 22.92/5.04 c (2,0) c UsedRateTime_7 : 0.000000 22.92/5.04 c (2,0) c UsedRateTime_total : 0.000000 22.92/5.04 c (2,0) c UsedRateTime_winner : 0.000000 22.92/5.04 c (2,0) c OverlapRateTime_0 : 0.000000 22.92/5.04 c (2,0) c OverlapRateTime_1 : 0.000000 22.92/5.04 c (2,0) c OverlapRateTime_2 : 0.000000 22.92/5.04 c (2,0) c OverlapRateTime_3 : 0.000000 22.92/5.04 c (2,0) c OverlapRateTime_4 : 0.000000 22.92/5.04 c (2,0) c OverlapRateTime_5 : 0.000000 22.92/5.04 c (2,0) c OverlapRateTime_6 : 0.000000 22.92/5.04 c (2,0) c OverlapRateTime_7 : 0.000000 22.92/5.04 c (2,0) c OverlapRateTime_total : 0.000000 22.92/5.04 c (2,0) c OverlapRateTime_winner : 0.000000 22.92/5.04 c (2,0) c 22.92/5.04 c (2,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 22.92/5.04 c (2,0) c 22.92/5.04 c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 22.92/5.04 c (2,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 22.92/5.04 c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 22.92/5.04 c (2,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 22.92/5.04 c (2,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 22.92/5.04 c (2,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 22.92/5.04 c (2,0) c | Initial random_seed | 1288900983 | 2065252151 | 222951419 | 196734900 | 216340275 | 407023639 | 922384536 | 456972400 | 22.92/5.04 c (2,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 22.92/5.04 c (2,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 22.92/5.04 c (2,0) c | glureduce | True | True | True | True | True | True | True | True | 22.92/5.04 c (2,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 22.92/5.04 c (2,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 22.92/5.04 c (2,0) c | luby_restart | False | False | False | False | False | False | False | False | 22.92/5.04 c (2,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 22.92/5.04 c (2,0) c | var_decay | 0.8700 | 0.8800 | 0.8700 | 0.8800 | 0.8700 | 0.8800 | 0.8700 | 0.8700 | 22.92/5.04 c (2,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 22.92/5.04 c (2,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 22.92/5.04 c (2,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 22.92/5.04 c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 22.92/5.04 c (2,0) 22.92/5.04 c (2,0) s UNSATISFIABLE 22.92/5.04 c (2,0) SatSolver.solve End 22.92/5.04 c (2,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB) 22.92/5.04 c (2,0) Show results Begin 22.92/5.04 s UNSATISFIABLE 22.92/5.04 c (2,0) Show results End 22.92/5.04 c (2,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB) 22.92/5.05 c (2,0) 2,2,STOP-AFTER(ALL) 22.92/5.05 c END-Prog: Tue Sep 24 17:31:32 CEST 2019
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (13808 MiB free) memory of node 1: 16384 MiB (12344 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405210-1569343311/watcher-4405210-1569343311 -o /tmp/evaluation-result-4405210-1569343311/solver-4405210-1569343311 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569331756-4801 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405210-1569343311.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=7023, runsolver pid=7020 [startup+0.100115 s]* /proc/loadavg: 6.04 6.62 6.89 2/211 7045 /proc/meminfo: memFree=26685368/32770624 swapFree=66986400/67108860 [pid=7023] ppid=7020 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/7023/stat : 7023 (scop.sh) S 7020 7023 4774 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510587693 115843072 349 33554432000 4194304 5098028 140729086388080 140729086385336 139977864028796 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26017792 140729086395173 140729086395500 140729086395500 140729086398413 0 /proc/7023/statm: 28282 349 296 221 0 87 0 [pid=7026] ppid=7023 vsize=27314120 memory=107660 CPUtime=0.1 cores=0-7 /proc/7026/stat : 7026 (java) S 7023 7023 4774 0 -1 1077944320 6461 0 0 0 8 2 0 0 20 0 20 0 510587693 27969658880 26915 33554432000 4194304 4196468 140727232632592 140727232615136 139912301457143 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 /proc/7026/statm: 6828530 26915 2801 1 0 6790935 0 [pid=7026/tid=7027] ppid=7023 vsize=27314120 memory=576460756329955445 CPUtime=0.09 cores=0-7 /proc/7026/task/7027/stat : 7027 (java) R 7023 7023 4774 0 -1 4202560 4573 0 0 0 7 2 0 0 20 0 20 0 510587693 27969658880 26915 33554432000 4194304 4196468 140727232632592 139912273283472 139912301479069 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 [pid=7026/tid=7028] ppid=7023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7026/task/7028/stat : 7028 (java) S 7023 7023 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510587696 27969658880 26915 33554432000 4194304 4196468 140727232632592 139912305699728 139912301467349 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 [pid=7026/tid=7029] ppid=7023 vsize=27314120 memory=15958155595802264 CPUtime=0 cores=0-7 /proc/7026/task/7029/stat : 7029 (java) S 7023 7023 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510587696 27969658880 26915 33554432000 4194304 4196468 140727232632592 139912119855888 139912301467349 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 [pid=7026/tid=7030] ppid=7023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7026/task/7030/stat : 7030 (java) S 7023 7023 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510587696 27969658880 26915 33554432000 4194304 4196468 140727232632592 139912118803600 139912301467349 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 [pid=7026/tid=7031] ppid=7023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7026/task/7031/stat : 7031 (java) S 7023 7023 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510587696 27969658880 26915 33554432000 4194304 4196468 140727232632592 139912117750800 139912301467349 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 [pid=7026/tid=7032] ppid=7023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7026/task/7032/stat : 7032 (java) S 7023 7023 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510587696 27969658880 26915 33554432000 4194304 4196468 140727232632592 139911720761744 139912301467349 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 [pid=7026/tid=7033] ppid=7023 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/7026/task/7033/stat : 7033 (java) S 7023 7023 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510587696 27969658880 26915 33554432000 4194304 4196468 140727232632592 139911719708944 139912301467349 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 [pid=7026/tid=7034] ppid=7023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7026/task/7034/stat : 7034 (java) S 7023 7023 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510587696 27969658880 26915 33554432000 4194304 4196468 140727232632592 139911718656656 139912301467349 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 [pid=7026/tid=7035] ppid=7023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7026/task/7035/stat : 7035 (java) S 7023 7023 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510587696 27969658880 26915 33554432000 4194304 4196468 140727232632592 139911717603856 139912301467349 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 [pid=7026/tid=7036] ppid=7023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7026/task/7036/stat : 7036 (java) S 7023 7023 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510587697 27969658880 26915 33554432000 4194304 4196468 140727232632592 139910353029744 139912301468290 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 [pid=7026/tid=7037] ppid=7023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7026/task/7037/stat : 7037 (java) S 7023 7023 4774 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510587698 27969658880 26915 33554432000 4194304 4196468 140727232632592 139910237381920 139912301467349 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 [pid=7026/tid=7038] ppid=7023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7026/task/7038/stat : 7038 (java) S 7023 7023 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510587698 27969658880 26915 33554432000 4194304 4196468 140727232632592 139909968946800 139912301467349 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 [pid=7026/tid=7039] ppid=7023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7026/task/7039/stat : 7039 (java) S 7023 7023 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510587700 27969658880 26915 33554432000 4194304 4196468 140727232632592 139909594438224 139912301475739 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 [pid=7026/tid=7040] ppid=7023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7026/task/7040/stat : 7040 (java) S 7023 7023 4774 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 510587700 27969658880 26915 33554432000 4194304 4196468 140727232632592 139910351976560 139912301468290 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 [pid=7026/tid=7041] ppid=7023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7026/task/7041/stat : 7041 (java) R 7023 7023 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510587700 27969658880 26915 33554432000 4194304 4196468 140727232632592 139910350923760 139912301468290 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 [pid=7026/tid=7042] ppid=7023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7026/task/7042/stat : 7042 (java) S 7023 7023 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510587700 27969658880 26915 33554432000 4194304 4196468 140727232632592 139910349871472 139912301468290 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 [pid=7026/tid=7043] ppid=7023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7026/task/7043/stat : 7043 (java) S 7023 7023 4774 0 -1 1077944384 250 0 0 0 0 0 0 0 20 0 20 0 510587700 27969658880 26915 33554432000 4194304 4196468 140727232632592 139910348818672 139912301468290 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 [pid=7026/tid=7044] ppid=7023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7026/task/7044/stat : 7044 (java) S 7023 7023 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510587701 27969658880 26915 33554432000 4194304 4196468 140727232632592 139909096532832 139912301467349 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 [pid=7026/tid=7045] ppid=7023 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/7026/task/7045/stat : 7045 (java) S 7023 7023 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510587701 27969658880 26915 33554432000 4194304 4196468 140727232632592 139910347766576 139912301468290 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 109056 KiB [startup+0.210339 s]* /proc/loadavg: 6.04 6.62 6.89 3/211 7045 /proc/meminfo: memFree=26659524/32770624 swapFree=66986400/67108860 [pid=7023] ppid=7020 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/7023/stat : 7023 (scop.sh) S 7020 7023 4774 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510587693 115843072 349 33554432000 4194304 5098028 140729086388080 140729086385336 139977864028796 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26017792 140729086395173 140729086395500 140729086395500 140729086398413 0 /proc/7023/statm: 28282 349 296 221 0 87 0 [pid=7026] ppid=7023 vsize=27314120 memory=124732 CPUtime=0.25 cores=0-7 /proc/7026/stat : 7026 (java) S 7023 7023 4774 0 -1 1077944320 11458 0 0 0 20 5 0 0 20 0 20 0 510587693 27969658880 31183 33554432000 4194304 4196468 140727232632592 140727232615136 139912301457143 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 /proc/7026/statm: 6828530 31183 2975 1 0 6790935 0 [pid=7026/tid=7027] ppid=7023 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/7026/task/7027/stat : 7027 (java) R 7023 7023 4774 0 -1 4202560 9169 0 0 0 16 4 0 0 20 0 20 0 510587693 27969658880 31183 33554432000 4194304 4196468 140727232632592 139912273264704 139912281732992 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 [pid=7026/tid=7028] ppid=7023 vsize=27314120 memory=288230604707987820 CPUtime=0 cores=0-7 /proc/7026/task/7028/stat : 7028 (java) S 7023 7023 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510587696 27969658880 31183 33554432000 4194304 4196468 140727232632592 139912305699728 139912301467349 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 [pid=7026/tid=7029] ppid=7023 vsize=27314120 memory=13711853340255896 CPUtime=0 cores=0-7 /proc/7026/task/7029/stat : 7029 (java) S 7023 7023 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510587696 27969658880 31183 33554432000 4194304 4196468 140727232632592 139912119855888 139912301467349 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 [pid=7026/tid=7030] ppid=7023 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/7026/task/7030/stat : 7030 (java) S 7023 7023 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510587696 27969658880 31183 33554432000 4194304 4196468 140727232632592 139912118803600 139912301467349 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 [pid=7026/tid=7031] ppid=7023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7026/task/7031/stat : 7031 (java) S 7023 7023 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510587696 27969658880 31183 33554432000 4194304 4196468 140727232632592 139912117750800 139912301467349 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 [pid=7026/tid=7032] ppid=7023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7026/task/7032/stat : 7032 (java) S 7023 7023 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510587696 27969658880 31183 33554432000 4194304 4196468 140727232632592 139911720761744 139912301467349 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 [pid=7026/tid=7033] ppid=7023 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/7026/task/7033/stat : 7033 (java) S 7023 7023 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510587696 27969658880 31183 33554432000 4194304 4196468 140727232632592 139911719708944 139912301467349 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 [pid=7026/tid=7034] ppid=7023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7026/task/7034/stat : 7034 (java) S 7023 7023 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510587696 27969658880 31183 33554432000 4194304 4196468 140727232632592 139911718656656 139912301467349 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 [pid=7026/tid=7035] ppid=7023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7026/task/7035/stat : 7035 (java) S 7023 7023 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510587696 27969658880 31183 33554432000 4194304 4196468 140727232632592 139911717603856 139912301467349 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 [pid=7026/tid=7036] ppid=7023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7026/task/7036/stat : 7036 (java) S 7023 7023 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510587697 27969658880 31183 33554432000 4194304 4196468 140727232632592 139910353029744 139912301468290 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 [pid=7026/tid=7037] ppid=7023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7026/task/7037/stat : 7037 (java) S 7023 7023 4774 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510587698 27969658880 31183 33554432000 4194304 4196468 140727232632592 139910237381920 139912301467349 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 [pid=7026/tid=7038] ppid=7023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7026/task/7038/stat : 7038 (java) S 7023 7023 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510587698 27969658880 31183 33554432000 4194304 4196468 140727232632592 139909968946800 139912301467349 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 [pid=7026/tid=7039] ppid=7023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7026/task/7039/stat : 7039 (java) S 7023 7023 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510587700 27969658880 31183 33554432000 4194304 4196468 140727232632592 139909594438224 139912301475739 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 [pid=7026/tid=7040] ppid=7023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7026/task/7040/stat : 7040 (java) R 7023 7023 4774 0 -1 4202560 344 0 0 0 0 0 0 0 20 0 20 0 510587700 27969658880 31183 33554432000 4194304 4196468 140727232632592 139910351976560 139912301468290 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 [pid=7026/tid=7041] ppid=7023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7026/task/7041/stat : 7041 (java) S 7023 7023 4774 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 20 0 510587700 27969658880 31183 33554432000 4194304 4196468 140727232632592 139910350923760 139912301468290 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 [pid=7026/tid=7042] ppid=7023 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/7026/task/7042/stat : 7042 (java) S 7023 7023 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510587700 27969658880 31183 33554432000 4194304 4196468 140727232632592 139910349871472 139912301468290 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 [pid=7026/tid=7043] ppid=7023 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7 /proc/7026/task/7043/stat : 7043 (java) R 7023 7023 4774 0 -1 4202560 472 0 0 0 2 0 0 0 20 0 20 0 510587700 27969658880 31183 33554432000 4194304 4196468 140727232632592 139910348818672 139912301469078 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 [pid=7026/tid=7044] ppid=7023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7026/task/7044/stat : 7044 (java) S 7023 7023 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510587701 27969658880 31183 33554432000 4194304 4196468 140727232632592 139909096532832 139912301467349 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 [pid=7026/tid=7045] ppid=7023 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/7026/task/7045/stat : 7045 (java) S 7023 7023 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510587701 27969658880 31183 33554432000 4194304 4196468 140727232632592 139910347766576 139912301468290 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 Current children cumulated CPU time: 0.25 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 126128 KiB [startup+0.309423 s]* /proc/loadavg: 6.04 6.62 6.89 3/211 7045 /proc/meminfo: memFree=26658996/32770624 swapFree=66986400/67108860 [pid=7023] ppid=7020 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/7023/stat : 7023 (scop.sh) S 7020 7023 4774 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510587693 115843072 349 33554432000 4194304 5098028 140729086388080 140729086385336 139977864028796 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26017792 140729086395173 140729086395500 140729086395500 140729086398413 0 /proc/7023/statm: 28282 349 296 221 0 87 0 [pid=7026] ppid=7023 vsize=27314120 memory=128148 CPUtime=0.43 cores=0-7 /proc/7026/stat : 7026 (java) S 7023 7023 4774 0 -1 1077944320 12405 0 0 0 37 6 0 0 20 0 20 0 510587693 27969658880 32037 33554432000 4194304 4196468 140727232632592 140727232615136 139912301457143 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 /proc/7026/statm: 6828530 32037 3022 1 0 6790935 0 [pid=7026/tid=7027] ppid=7023 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/7026/task/7027/stat : 7027 (java) R 7023 7023 4774 0 -1 4202560 9932 0 0 0 25 4 0 0 20 0 20 0 510587693 27969658880 32037 33554432000 4194304 4196468 140727232632592 139912273287216 139912285537630 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 [pid=7026/tid=7028] ppid=7023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7026/task/7028/stat : 7028 (java) S 7023 7023 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510587696 27969658880 32037 33554432000 4194304 4196468 140727232632592 139912305699728 139912301467349 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 [pid=7026/tid=7029] ppid=7023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7026/task/7029/stat : 7029 (java) S 7023 7023 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510587696 27969658880 32037 33554432000 4194304 4196468 140727232632592 139912119855888 139912301467349 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 [pid=7026/tid=7030] ppid=7023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7026/task/7030/stat : 7030 (java) S 7023 7023 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510587696 27969658880 32037 33554432000 4194304 4196468 140727232632592 139912118803600 139912301467349 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 [pid=7026/tid=7031] ppid=7023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7026/task/7031/stat : 7031 (java) S 7023 7023 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510587696 27969658880 32037 33554432000 4194304 4196468 140727232632592 139912117750800 139912301467349 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 [pid=7026/tid=7032] ppid=7023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7026/task/7032/stat : 7032 (java) S 7023 7023 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510587696 27969658880 32037 33554432000 4194304 4196468 140727232632592 139911720761744 139912301467349 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 [pid=7026/tid=7033] ppid=7023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7026/task/7033/stat : 7033 (java) S 7023 7023 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510587696 27969658880 32037 33554432000 4194304 4196468 140727232632592 139911719708944 139912301467349 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 [pid=7026/tid=7034] ppid=7023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7026/task/7034/stat : 7034 (java) S 7023 7023 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510587696 27969658880 32037 33554432000 4194304 4196468 140727232632592 139911718656656 139912301467349 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 [pid=7026/tid=7035] ppid=7023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7026/task/7035/stat : 7035 (java) S 7023 7023 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510587696 27969658880 32037 33554432000 4194304 4196468 140727232632592 139911717603856 139912301467349 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 [pid=7026/tid=7036] ppid=7023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7026/task/7036/stat : 7036 (java) S 7023 7023 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510587697 27969658880 32037 33554432000 4194304 4196468 140727232632592 139910353029744 139912301468290 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 [pid=7026/tid=7037] ppid=7023 vsize=27314120 memory=280713828179328 CPUtime=0 cores=0-7 /proc/7026/task/7037/stat : 7037 (java) S 7023 7023 4774 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510587698 27969658880 32037 33554432000 4194304 4196468 140727232632592 139910237381920 139912301467349 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 [pid=7026/tid=7038] ppid=7023 vsize=27314120 memory=280713828183936 CPUtime=0 cores=0-7 /proc/7026/task/7038/stat : 7038 (java) S 7023 7023 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510587698 27969658880 32037 33554432000 4194304 4196468 140727232632592 139909968946800 139912301467349 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 [pid=7026/tid=7039] ppid=7023 vsize=27314120 memory=280713828188544 CPUtime=0 cores=0-7 /proc/7026/task/7039/stat : 7039 (java) S 7023 7023 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510587700 27969658880 32037 33554432000 4194304 4196468 140727232632592 139909594438224 139912301475739 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 [pid=7026/tid=7040] ppid=7023 vsize=27314120 memory=280713828193152 CPUtime=0.01 cores=0-7 /proc/7026/task/7040/stat : 7040 (java) S 7023 7023 4774 0 -1 1077944384 439 0 0 0 1 0 0 0 20 0 20 0 510587700 27969658880 32037 33554432000 4194304 4196468 140727232632592 139910351976560 139912301468290 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 [pid=7026/tid=7041] ppid=7023 vsize=27314120 memory=280713828197760 CPUtime=0.01 cores=0-7 /proc/7026/task/7041/stat : 7041 (java) S 7023 7023 4774 0 -1 1077944384 155 0 0 0 1 0 0 0 20 0 20 0 510587700 27969658880 32037 33554432000 4194304 4196468 140727232632592 139910350923760 139912301468290 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 [pid=7026/tid=7042] ppid=7023 vsize=27314120 memory=280713828202368 CPUtime=0 cores=0-7 /proc/7026/task/7042/stat : 7042 (java) S 7023 7023 4774 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 510587700 27969658880 32037 33554432000 4194304 4196468 140727232632592 139910349871472 139912301468290 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 [pid=7026/tid=7043] ppid=7023 vsize=27314120 memory=280713828206976 CPUtime=0.07 cores=0-7 /proc/7026/task/7043/stat : 7043 (java) R 7023 7023 4774 0 -1 4202560 496 0 0 0 7 0 0 0 20 0 20 0 510587700 27969658880 32037 33554432000 4194304 4196468 140727232632592 139910348818672 139912280441920 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 [pid=7026/tid=7044] ppid=7023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7026/task/7044/stat : 7044 (java) S 7023 7023 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510587701 27969658880 32037 33554432000 4194304 4196468 140727232632592 139909096532832 139912301467349 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 [pid=7026/tid=7045] ppid=7023 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/7026/task/7045/stat : 7045 (java) S 7023 7023 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510587701 27969658880 32037 33554432000 4194304 4196468 140727232632592 139910347766576 139912301468290 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 Current children cumulated CPU time: 0.43 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 129544 KiB [startup+0.700922 s] /proc/loadavg: 6.04 6.62 6.89 3/211 7045 /proc/meminfo: memFree=26640940/32770624 swapFree=66986400/67108860 [pid=7023] ppid=7020 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/7023/stat : 7023 (scop.sh) S 7020 7023 4774 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510587693 115843072 349 33554432000 4194304 5098028 140729086388080 140729086385336 139977864028796 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26017792 140729086395173 140729086395500 140729086395500 140729086398413 0 /proc/7023/statm: 28282 349 296 221 0 87 0 [pid=7026] ppid=7023 vsize=27320392 memory=165244 CPUtime=1 cores=0-7 /proc/7026/stat : 7026 (java) S 7023 7023 4774 0 -1 1077944320 19980 0 0 0 93 7 0 0 20 0 20 0 510587693 27976081408 41311 33554432000 4194304 4196468 140727232632592 140727232615136 139912301457143 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 /proc/7026/statm: 6830098 41311 3183 1 0 6791447 0 [pid=7026/tid=7027] ppid=7023 vsize=27320392 memory=4580 CPUtime=0.68 cores=0-7 /proc/7026/task/7027/stat : 7027 (java) R 7023 7023 4774 0 -1 4202560 16962 0 0 0 62 6 0 0 20 0 20 0 510587693 27976081408 41311 33554432000 4194304 4196468 140727232632592 139912273293344 139912301479069 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 [pid=7026/tid=7028] ppid=7023 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/7026/task/7028/stat : 7028 (java) S 7023 7023 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510587696 27976081408 41311 33554432000 4194304 4196468 140727232632592 139912305699728 139912301467349 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 [pid=7026/tid=7029] ppid=7023 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/7026/task/7029/stat : 7029 (java) S 7023 7023 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510587696 27976081408 41311 33554432000 4194304 4196468 140727232632592 139912119855888 139912301467349 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 [pid=7026/tid=7030] ppid=7023 vsize=27320392 memory=1056 CPUtime=0 cores=0-7 /proc/7026/task/7030/stat : 7030 (java) S 7023 7023 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510587696 27976081408 41311 33554432000 4194304 4196468 140727232632592 139912118803600 139912301467349 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19550208 140727232635628 140727232636054 140727232636054 140727232638927 0 ################ # More data... # ################ [pid=7046/tid=7063] ppid=7023 vsize=8414124 memory=0 CPUtime=0.18 cores=0-7 /proc/7046/task/7063/stat : 7063 (java) S 7023 7023 4774 0 -1 1077944384 487 0 0 0 18 0 0 0 20 0 24 0 510587916 8616062976 29473 33554432000 4194304 4196468 140729019058048 139700739992304 139701516683906 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35332096 140729019065336 140729019065494 140729019065494 140729019068367 0 [pid=7046/tid=7064] ppid=7023 vsize=8414124 memory=-1 CPUtime=0 cores=0-7 /proc/7046/task/7064/stat : 7064 (java) S 7023 7023 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510587916 8616062976 29473 33554432000 4194304 4196468 140729019058048 139698844461408 139701516682965 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140729019065336 140729019065494 140729019065494 140729019068367 0 [pid=7046/tid=7065] ppid=7023 vsize=8414124 memory=-1 CPUtime=0 cores=0-7 /proc/7046/task/7065/stat : 7065 (java) S 7023 7023 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510587916 8616062976 29473 33554432000 4194304 4196468 140729019058048 139700738939184 139701516683906 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35332096 140729019065336 140729019065494 140729019065494 140729019068367 0 [pid=7046/tid=7067] ppid=7023 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/7046/task/7067/stat : 7067 (java) S 7023 7023 4774 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510587981 8616062976 29473 33554432000 4194304 4196468 140729019058048 139700730905920 139701516697369 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140729019065336 140729019065494 140729019065494 140729019068367 0 [pid=7046/tid=7069] ppid=7023 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/7046/task/7069/stat : 7069 (java) S 7023 7023 4774 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 510587981 8616062976 29473 33554432000 4194304 4196468 140729019058048 139698173362064 139701516694685 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140729019065336 140729019065494 140729019065494 140729019068367 0 [pid=7046/tid=7070] ppid=7023 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/7046/task/7070/stat : 7070 (java) S 7023 7023 4774 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 510587981 8616062976 29473 33554432000 4194304 4196468 140729019058048 139698441797392 139701516694685 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140729019065336 140729019065494 140729019065494 140729019068367 0 [pid=7046/tid=7071] ppid=7023 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/7046/task/7071/stat : 7071 (java) S 7023 7023 4774 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 510587984 8616062976 29473 33554432000 4194304 4196468 140729019058048 139697904934704 139701516682965 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35332096 140729019065336 140729019065494 140729019065494 140729019068367 0 Current children cumulated CPU time: 15.2 s Current children cumulated vsize: 9155628 KiB Current children cumulated memory: 169112 KiB [startup+4.80168 s] /proc/loadavg: 6.04 6.62 6.89 9/224 7079 /proc/meminfo: memFree=26627804/32770624 swapFree=66986400/67108860 [pid=7023] ppid=7020 vsize=113128 memory=1476 CPUtime=5.36 cores=0-7 /proc/7023/stat : 7023 (scop.sh) S 7020 7023 4774 0 -1 4202496 583 27009 0 0 0 0 521 15 20 0 1 0 510587693 115843072 369 33554432000 4194304 5098028 140729086388080 140729086384824 139977864028796 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 26017792 140729086395173 140729086395500 140729086395500 140729086398413 0 /proc/7023/statm: 28282 369 311 221 0 87 0 [pid=7046] ppid=7023 vsize=8414124 memory=117892 CPUtime=1.13 cores=0-7 /proc/7046/stat : 7046 (java) S 7023 7023 4774 0 -1 1077944320 19447 0 0 0 106 7 0 0 20 0 24 0 510587910 8616062976 29473 33554432000 4194304 4196468 140729019058048 140729019040592 139701516672759 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35332096 140729019065336 140729019065494 140729019065494 140729019068367 0 /proc/7046/statm: 2103531 29473 3201 1 0 2064875 0 [pid=7066] ppid=7046 vsize=628376 memory=56416 CPUtime=15.02 cores=0-7 /proc/7066/stat : 7066 (manyglucose-4.1) S 7046 7023 4774 0 -1 1077944320 24223 0 0 0 1497 5 0 0 20 0 9 0 510587981 643457024 14104 33554432000 4194304 4454172 140725640784368 140725640782768 139771239471746 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6552832 6554400 38518784 140725640790890 140725640791088 140725640791088 140725640794042 0 /proc/7066/statm: 157094 14104 402 64 0 152762 0 [pid=7066/tid=7072] ppid=7046 vsize=628376 memory=280713828169744 CPUtime=1.87 cores=0-7 /proc/7066/task/7072/stat : 7072 (manyglucose-4.1) R 7046 7023 4774 0 -1 4202560 2439 0 0 0 186 1 0 0 20 0 9 0 510587984 643457024 14104 33554432000 4194304 4454172 140725640784368 139771224243128 4321746 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 38518784 140725640790890 140725640791088 140725640791088 140725640794042 0 [pid=7066/tid=7073] ppid=7046 vsize=628376 memory=32351371397866 CPUtime=1.86 cores=0-7 /proc/7066/task/7073/stat : 7073 (manyglucose-4.1) R 7046 7023 4774 0 -1 4202560 2576 0 0 0 186 0 0 0 20 0 9 0 510587984 643457024 14104 33554432000 4194304 4454172 140725640784368 139771215850600 4329340 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 38518784 140725640790890 140725640791088 140725640791088 140725640794042 0 [pid=7066/tid=7074] ppid=7046 vsize=628376 memory=32351371397866 CPUtime=1.87 cores=0-7 /proc/7066/task/7074/stat : 7074 (manyglucose-4.1) R 7046 7023 4774 0 -1 4202560 2948 0 0 0 187 0 0 0 20 0 9 0 510587984 643457024 14104 33554432000 4194304 4454172 140725640784368 139771207457896 4351800 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 38518784 140725640790890 140725640791088 140725640791088 140725640794042 0 [pid=7066/tid=7075] ppid=7046 vsize=628376 memory=32351371397866 CPUtime=1.83 cores=0-7 /proc/7066/task/7075/stat : 7075 (manyglucose-4.1) R 7046 7023 4774 0 -1 4202560 2248 0 0 0 183 0 0 0 20 0 9 0 510587984 643457024 14104 33554432000 4194304 4454172 140725640784368 139771199065016 4351305 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6552832 6554400 38518784 140725640790890 140725640791088 140725640791088 140725640794042 0 [pid=7066/tid=7076] ppid=7046 vsize=628376 memory=120 CPUtime=1.87 cores=0-7 /proc/7066/task/7076/stat : 7076 (manyglucose-4.1) R 7046 7023 4774 0 -1 4202560 2341 0 0 0 187 0 0 0 20 0 9 0 510587984 643457024 14104 33554432000 4194304 4454172 140725640784368 139771190672312 4351338 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 38518784 140725640790890 140725640791088 140725640791088 140725640794042 0 [pid=7066/tid=7077] ppid=7046 vsize=628376 memory=78 CPUtime=1.87 cores=0-7 /proc/7066/task/7077/stat : 7077 (manyglucose-4.1) R 7046 7023 4774 0 -1 4202560 2571 0 0 0 187 0 0 0 20 0 9 0 510587984 643457024 14104 33554432000 4194304 4454172 140725640784368 139771182279784 4333021 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 38518784 140725640790890 140725640791088 140725640791088 140725640794042 0 [pid=7066/tid=7078] ppid=7046 vsize=628376 memory=0 CPUtime=1.88 cores=0-7 /proc/7066/task/7078/stat : 7078 (manyglucose-4.1) R 7046 7023 4774 0 -1 4202560 2691 0 0 0 188 0 0 0 20 0 9 0 510587984 643457024 14104 33554432000 4194304 4454172 140725640784368 139771173887080 4351725 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 38518784 140725640790890 140725640791088 140725640791088 140725640794042 0 [pid=7066/tid=7079] ppid=7046 vsize=628376 memory=0 CPUtime=1.87 cores=0-7 /proc/7066/task/7079/stat : 7079 (manyglucose-4.1) R 7046 7023 4774 0 -1 4202560 2708 0 0 0 187 0 0 0 20 0 9 0 510587984 643457024 14104 33554432000 4194304 4454172 140725640784368 139771165494376 4351305 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 38518784 140725640790890 140725640791088 140725640791088 140725640794042 0 [pid=7046/tid=7047] ppid=7023 vsize=8414124 memory=0 CPUtime=0.74 cores=0-7 /proc/7046/task/7047/stat : 7047 (java) S 7023 7023 4774 0 -1 1077944384 16390 0 0 0 69 5 0 0 20 0 24 0 510587910 8616062976 29473 33554432000 4194304 4196468 140729019058048 139701488512928 139701516682965 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140729019065336 140729019065494 140729019065494 140729019068367 0 [pid=7046/tid=7048] ppid=7023 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/7046/task/7048/stat : 7048 (java) S 7023 7023 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510587911 8616062976 29473 33554432000 4194304 4196468 140729019058048 139701520914832 139701516682965 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35332096 140729019065336 140729019065494 140729019065494 140729019068367 0 [pid=7046/tid=7049] ppid=7023 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/7046/task/7049/stat : 7049 (java) S 7023 7023 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510587911 8616062976 29473 33554432000 4194304 4196468 140729019058048 139701329475856 139701516682965 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35332096 140729019065336 140729019065494 140729019065494 140729019068367 0 [pid=7046/tid=7050] ppid=7023 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/7046/task/7050/stat : 7050 (java) S 7023 7023 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510587911 8616062976 29473 33554432000 4194304 4196468 140729019058048 139701000329872 139701516682965 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35332096 140729019065336 140729019065494 140729019065494 140729019068367 0 [pid=7046/tid=7051] ppid=7023 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/7046/task/7051/stat : 7051 (java) S 7023 7023 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510587911 8616062976 29473 33554432000 4194304 4196468 140729019058048 139700999277072 139701516682965 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35332096 140729019065336 140729019065494 140729019065494 140729019068367 0 [pid=7046/tid=7052] ppid=7023 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/7046/task/7052/stat : 7052 (java) S 7023 7023 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510587911 8616062976 29473 33554432000 4194304 4196468 140729019058048 139700998224784 139701516682965 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35332096 140729019065336 140729019065494 140729019065494 140729019068367 0 [pid=7046/tid=7053] ppid=7023 vsize=8414124 memory=4104 CPUtime=0 cores=0-7 /proc/7046/task/7053/stat : 7053 (java) S 7023 7023 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510587911 8616062976 29473 33554432000 4194304 4196468 140729019058048 139700997171984 139701516682965 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140729019065336 140729019065494 140729019065494 140729019068367 0 [pid=7046/tid=7054] ppid=7023 vsize=8414124 memory=1412 CPUtime=0 cores=0-7 /proc/7046/task/7054/stat : 7054 (java) S 7023 7023 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510587911 8616062976 29473 33554432000 4194304 4196468 140729019058048 139700996119696 139701516682965 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140729019065336 140729019065494 140729019065494 140729019068367 0 [pid=7046/tid=7055] ppid=7023 vsize=8414124 memory=2436 CPUtime=0 cores=0-7 /proc/7046/task/7055/stat : 7055 (java) S 7023 7023 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510587911 8616062976 29473 33554432000 4194304 4196468 140729019058048 139700995066896 139701516682965 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35332096 140729019065336 140729019065494 140729019065494 140729019068367 0 [pid=7046/tid=7056] ppid=7023 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/7046/task/7056/stat : 7056 (java) S 7023 7023 4774 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 510587913 8616062976 29473 33554432000 4194304 4196468 140729019058048 139700744202352 139701516683906 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140729019065336 140729019065494 140729019065494 140729019068367 0 [pid=7046/tid=7057] ppid=7023 vsize=8414124 memory=117892 CPUtime=0 cores=0-7 /proc/7046/task/7057/stat : 7057 (java) S 7023 7023 4774 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510587913 8616062976 29473 33554432000 4194304 4196468 140729019058048 139699851092768 139701516682965 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140729019065336 140729019065494 140729019065494 140729019068367 0 [pid=7046/tid=7058] ppid=7023 vsize=8414124 memory=17628 CPUtime=0 cores=0-7 /proc/7046/task/7058/stat : 7058 (java) S 7023 7023 4774 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510587914 8616062976 29473 33554432000 4194304 4196468 140729019058048 139699716871280 139701516682965 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140729019065336 140729019065494 140729019065494 140729019068367 0 [pid=7046/tid=7059] ppid=7023 vsize=8414124 memory=1164 CPUtime=0 cores=0-7 /proc/7046/task/7059/stat : 7059 (java) S 7023 7023 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510587916 8616062976 29473 33554432000 4194304 4196468 140729019058048 139699342366800 139701516691355 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140729019065336 140729019065494 140729019065494 140729019068367 0 [pid=7046/tid=7060] ppid=7023 vsize=8414124 memory=-4075877051373423738 CPUtime=0.05 cores=0-7 /proc/7046/task/7060/stat : 7060 (java) S 7023 7023 4774 0 -1 1077944384 573 0 0 0 5 0 0 0 20 0 24 0 510587916 8616062976 29473 33554432000 4194304 4196468 140729019058048 139700743150192 139701516683906 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35332096 140729019065336 140729019065494 140729019065494 140729019068367 0 [pid=7046/tid=7061] ppid=7023 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7 /proc/7046/task/7061/stat : 7061 (java) S 7023 7023 4774 0 -1 1077944384 434 0 0 0 7 0 0 0 20 0 24 0 510587916 8616062976 29473 33554432000 4194304 4196468 140729019058048 139700742097392 139701516683906 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140729019065336 140729019065494 140729019065494 140729019068367 0 [pid=7046/tid=7062] ppid=7023 vsize=8414124 memory=0 CPUtime=0.04 cores=0-7 /proc/7046/task/7062/stat : 7062 (java) S 7023 7023 4774 0 -1 1077944384 149 0 0 0 4 0 0 0 20 0 24 0 510587916 8616062976 29473 33554432000 4194304 4196468 140729019058048 139700741045104 139701516683906 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35332096 140729019065336 140729019065494 140729019065494 140729019068367 0 [pid=7046/tid=7063] ppid=7023 vsize=8414124 memory=0 CPUtime=0.18 cores=0-7 /proc/7046/task/7063/stat : 7063 (java) S 7023 7023 4774 0 -1 1077944384 487 0 0 0 18 0 0 0 20 0 24 0 510587916 8616062976 29473 33554432000 4194304 4196468 140729019058048 139700739992304 139701516683906 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35332096 140729019065336 140729019065494 140729019065494 140729019068367 0 [pid=7046/tid=7064] ppid=7023 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/7046/task/7064/stat : 7064 (java) S 7023 7023 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510587916 8616062976 29473 33554432000 4194304 4196468 140729019058048 139698844461408 139701516682965 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140729019065336 140729019065494 140729019065494 140729019068367 0 [pid=7046/tid=7065] ppid=7023 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/7046/task/7065/stat : 7065 (java) S 7023 7023 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510587916 8616062976 29473 33554432000 4194304 4196468 140729019058048 139700738939184 139701516683906 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35332096 140729019065336 140729019065494 140729019065494 140729019068367 0 [pid=7046/tid=7067] ppid=7023 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/7046/task/7067/stat : 7067 (java) S 7023 7023 4774 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510587981 8616062976 29473 33554432000 4194304 4196468 140729019058048 139700730905920 139701516697369 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140729019065336 140729019065494 140729019065494 140729019068367 0 [pid=7046/tid=7069] ppid=7023 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/7046/task/7069/stat : 7069 (java) S 7023 7023 4774 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 510587981 8616062976 29473 33554432000 4194304 4196468 140729019058048 139698173362064 139701516694685 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140729019065336 140729019065494 140729019065494 140729019068367 0 [pid=7046/tid=7070] ppid=7023 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/7046/task/7070/stat : 7070 (java) S 7023 7023 4774 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 510587981 8616062976 29473 33554432000 4194304 4196468 140729019058048 139698441797392 139701516694685 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140729019065336 140729019065494 140729019065494 140729019068367 0 [pid=7046/tid=7071] ppid=7023 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/7046/task/7071/stat : 7071 (java) S 7023 7023 4774 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 510587984 8616062976 29473 33554432000 4194304 4196468 140729019058048 139697904934704 139701516682965 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35332096 140729019065336 140729019065494 140729019065494 140729019068367 0 Current children cumulated CPU time: 21.51 s Current children cumulated vsize: 9155628 KiB Current children cumulated memory: 175784 KiB [startup+5.00138 s]* /proc/loadavg: 6.28 6.66 6.90 2/217 7079 /proc/meminfo: memFree=26610332/32770624 swapFree=66986400/67108860 [pid=7023] ppid=7020 vsize=113128 memory=1476 CPUtime=5.36 cores=0-7 /proc/7023/stat : 7023 (scop.sh) S 7020 7023 4774 0 -1 4202496 583 27009 0 0 0 0 521 15 20 0 1 0 510587693 115843072 369 33554432000 4194304 5098028 140729086388080 140729086384824 139977864028796 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 26017792 140729086395173 140729086395500 140729086395500 140729086398413 0 /proc/7023/statm: 28282 369 311 221 0 87 0 [pid=7046] ppid=7023 vsize=8414124 memory=117892 CPUtime=1.13 cores=0-7 /proc/7046/stat : 7046 (java) S 7023 7023 4774 0 -1 1077944320 19447 0 0 0 106 7 0 0 20 0 24 0 510587910 8616062976 29473 33554432000 4194304 4196468 140729019058048 140729019040592 139701516672759 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35332096 140729019065336 140729019065494 140729019065494 140729019068367 0 /proc/7046/statm: 2103531 29473 3201 1 0 2064875 0 [pid=7066] ppid=7046 vsize=628376 memory=66776 CPUtime=16.43 cores=0-7 /proc/7066/stat : 7066 (manyglucose-4.1) S 7046 7023 4774 0 -1 1077944320 26086 0 0 0 1637 6 0 0 20 0 2 0 510587981 643457024 16694 33554432000 4194304 4454172 140725640784368 140725640782752 139771239460599 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6552832 6554400 38518784 140725640790890 140725640791088 140725640791088 140725640794042 0 /proc/7066/statm: 157094 16694 415 64 0 152762 0 [pid=7066/tid=7073] ppid=7046 vsize=628376 memory=0 CPUtime=2.07 cores=0-7 /proc/7066/task/7073/stat : 7073 (manyglucose-4.1) R 7046 7023 4774 0 -1 4202560 2609 0 0 0 207 0 0 0 20 0 2 0 510587984 643457024 16694 33554432000 4194304 4454172 140725640784368 139771215850600 4351591 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 38518784 140725640790890 140725640791088 140725640791088 140725640794042 0 [pid=7046/tid=7047] ppid=7023 vsize=8414124 memory=8390339637985935414 CPUtime=0.74 cores=0-7 /proc/7046/task/7047/stat : 7047 (java) S 7023 7023 4774 0 -1 1077944384 16390 0 0 0 69 5 0 0 20 0 24 0 510587910 8616062976 29473 33554432000 4194304 4196468 140729019058048 139701488512928 139701516682965 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140729019065336 140729019065494 140729019065494 140729019068367 0 [pid=7046/tid=7048] ppid=7023 vsize=8414124 memory=288230604707987479 CPUtime=0 cores=0-7 /proc/7046/task/7048/stat : 7048 (java) S 7023 7023 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510587911 8616062976 29473 33554432000 4194304 4196468 140729019058048 139701520914832 139701516682965 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35332096 140729019065336 140729019065494 140729019065494 140729019068367 0 [pid=7046/tid=7049] ppid=7023 vsize=8414124 memory=6713 CPUtime=0 cores=0-7 /proc/7046/task/7049/stat : 7049 (java) S 7023 7023 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510587911 8616062976 29473 33554432000 4194304 4196468 140729019058048 139701329475856 139701516682965 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35332096 140729019065336 140729019065494 140729019065494 140729019068367 0 [pid=7046/tid=7050] ppid=7023 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/7046/task/7050/stat : 7050 (java) S 7023 7023 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510587911 8616062976 29473 33554432000 4194304 4196468 140729019058048 139701000329872 139701516682965 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35332096 140729019065336 140729019065494 140729019065494 140729019068367 0 [pid=7046/tid=7051] ppid=7023 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/7046/task/7051/stat : 7051 (java) S 7023 7023 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510587911 8616062976 29473 33554432000 4194304 4196468 140729019058048 139700999277072 139701516682965 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35332096 140729019065336 140729019065494 140729019065494 140729019068367 0 [pid=7046/tid=7052] ppid=7023 vsize=8414124 memory=-1 CPUtime=0 cores=0-7 /proc/7046/task/7052/stat : 7052 (java) S 7023 7023 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510587911 8616062976 29473 33554432000 4194304 4196468 140729019058048 139700998224784 139701516682965 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35332096 140729019065336 140729019065494 140729019065494 140729019068367 0 [pid=7046/tid=7053] ppid=7023 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/7046/task/7053/stat : 7053 (java) S 7023 7023 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510587911 8616062976 29473 33554432000 4194304 4196468 140729019058048 139700997171984 139701516682965 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140729019065336 140729019065494 140729019065494 140729019068367 0 [pid=7046/tid=7054] ppid=7023 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/7046/task/7054/stat : 7054 (java) S 7023 7023 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510587911 8616062976 29473 33554432000 4194304 4196468 140729019058048 139700996119696 139701516682965 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140729019065336 140729019065494 140729019065494 140729019068367 0 [pid=7046/tid=7055] ppid=7023 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/7046/task/7055/stat : 7055 (java) S 7023 7023 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510587911 8616062976 29473 33554432000 4194304 4196468 140729019058048 139700995066896 139701516682965 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35332096 140729019065336 140729019065494 140729019065494 140729019068367 0 [pid=7046/tid=7056] ppid=7023 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/7046/task/7056/stat : 7056 (java) S 7023 7023 4774 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 510587913 8616062976 29473 33554432000 4194304 4196468 140729019058048 139700744202352 139701516683906 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140729019065336 140729019065494 140729019065494 140729019068367 0 [pid=7046/tid=7057] ppid=7023 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/7046/task/7057/stat : 7057 (java) S 7023 7023 4774 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510587913 8616062976 29473 33554432000 4194304 4196468 140729019058048 139699851092768 139701516682965 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140729019065336 140729019065494 140729019065494 140729019068367 0 [pid=7046/tid=7058] ppid=7023 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/7046/task/7058/stat : 7058 (java) S 7023 7023 4774 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510587914 8616062976 29473 33554432000 4194304 4196468 140729019058048 139699716871280 139701516682965 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140729019065336 140729019065494 140729019065494 140729019068367 0 [pid=7046/tid=7059] ppid=7023 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/7046/task/7059/stat : 7059 (java) S 7023 7023 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510587916 8616062976 29473 33554432000 4194304 4196468 140729019058048 139699342366800 139701516691355 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140729019065336 140729019065494 140729019065494 140729019068367 0 [pid=7046/tid=7060] ppid=7023 vsize=8414124 memory=0 CPUtime=0.05 cores=0-7 /proc/7046/task/7060/stat : 7060 (java) S 7023 7023 4774 0 -1 1077944384 573 0 0 0 5 0 0 0 20 0 24 0 510587916 8616062976 29473 33554432000 4194304 4196468 140729019058048 139700743150192 139701516683906 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35332096 140729019065336 140729019065494 140729019065494 140729019068367 0 [pid=7046/tid=7061] ppid=7023 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7 /proc/7046/task/7061/stat : 7061 (java) S 7023 7023 4774 0 -1 1077944384 434 0 0 0 7 0 0 0 20 0 24 0 510587916 8616062976 29473 33554432000 4194304 4196468 140729019058048 139700742097392 139701516683906 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140729019065336 140729019065494 140729019065494 140729019068367 0 [pid=7046/tid=7062] ppid=7023 vsize=8414124 memory=-1 CPUtime=0.04 cores=0-7 /proc/7046/task/7062/stat : 7062 (java) S 7023 7023 4774 0 -1 1077944384 149 0 0 0 4 0 0 0 20 0 24 0 510587916 8616062976 29473 33554432000 4194304 4196468 140729019058048 139700741045104 139701516683906 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35332096 140729019065336 140729019065494 140729019065494 140729019068367 0 [pid=7046/tid=7063] ppid=7023 vsize=8414124 memory=0 CPUtime=0.18 cores=0-7 /proc/7046/task/7063/stat : 7063 (java) S 7023 7023 4774 0 -1 1077944384 487 0 0 0 18 0 0 0 20 0 24 0 510587916 8616062976 29473 33554432000 4194304 4196468 140729019058048 139700739992304 139701516683906 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35332096 140729019065336 140729019065494 140729019065494 140729019068367 0 [pid=7046/tid=7064] ppid=7023 vsize=8414124 memory=-1 CPUtime=0 cores=0-7 /proc/7046/task/7064/stat : 7064 (java) S 7023 7023 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510587916 8616062976 29473 33554432000 4194304 4196468 140729019058048 139698844461408 139701516682965 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140729019065336 140729019065494 140729019065494 140729019068367 0 [pid=7046/tid=7065] ppid=7023 vsize=8414124 memory=-1 CPUtime=0 cores=0-7 /proc/7046/task/7065/stat : 7065 (java) S 7023 7023 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510587916 8616062976 29473 33554432000 4194304 4196468 140729019058048 139700738939184 139701516683906 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35332096 140729019065336 140729019065494 140729019065494 140729019068367 0 [pid=7046/tid=7067] ppid=7023 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/7046/task/7067/stat : 7067 (java) S 7023 7023 4774 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510587981 8616062976 29473 33554432000 4194304 4196468 140729019058048 139700730905920 139701516697369 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140729019065336 140729019065494 140729019065494 140729019068367 0 [pid=7046/tid=7069] ppid=7023 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/7046/task/7069/stat : 7069 (java) S 7023 7023 4774 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 510587981 8616062976 29473 33554432000 4194304 4196468 140729019058048 139698173362064 139701516694685 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140729019065336 140729019065494 140729019065494 140729019068367 0 [pid=7046/tid=7070] ppid=7023 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/7046/task/7070/stat : 7070 (java) S 7023 7023 4774 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 510587981 8616062976 29473 33554432000 4194304 4196468 140729019058048 139698441797392 139701516694685 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140729019065336 140729019065494 140729019065494 140729019068367 0 [pid=7046/tid=7071] ppid=7023 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/7046/task/7071/stat : 7071 (java) S 7023 7023 4774 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 510587984 8616062976 29473 33554432000 4194304 4196468 140729019058048 139697904934704 139701516682965 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35332096 140729019065336 140729019065494 140729019065494 140729019068367 0 Current children cumulated CPU time: 22.92 s Current children cumulated vsize: 9155628 KiB Current children cumulated memory: 186144 KiB Child status: 0 Real time (s): 5.05894 CPU time (s): 23.0478 CPU user time (s): 22.7408 CPU system time (s): 0.307022 CPU usage (%): 455.586 Max. virtual memory (cumulated for all children) (KiB): 27441876 Max. memory (cumulated for all children) (KiB): 331492 getrusage(RUSAGE_CHILDREN,...) data: user time used= 22.7408 system time used= 0.307022 maximum resident set size= 335432 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 73359 page faults= 0 swaps= 0 block input operations= 0 block output operations= 792 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7861 involuntary context switches= 184 # summary of solver processes directly reported to runsolver: # pid: 7023 # total CPU time (s): 23.0478 # total CPU user time (s): 22.7408 # total CPU system time (s): 0.307022 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.067281 second user time and 0.102523 second system time The end
Begin job on node104 at 2019-09-24 17:31:27 IDJOB=4405210 IDBENCH=134597 IDSOLVER=2867 FILE ID=node104/4405210-1569343311 RUNJOBID= node104-1569331756-4801 PBS_JOBID= 21705071 Free space on /tmp= 9836 MiB SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22) BENCH NAME= XCSP17/KnightTour/KnightTour-int-s1/KnightTour-05-int.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405210-1569343311/watcher-4405210-1569343311 -o /tmp/evaluation-result-4405210-1569343311/solver-4405210-1569343311 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569331756-4801 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405210-1569343311.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 5aa02d8e33e0310131c8602cbce67fff RANDOM SEED=1301745985 node104.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 : 5334.09 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 : 5334.09 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 : 5334.09 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 : 5334.09 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: 26780956 kB MemAvailable: 31819120 kB Buffers: 92748 kB Cached: 5036012 kB SwapCached: 22640 kB Active: 3164164 kB Inactive: 1992628 kB Active(anon): 3992 kB Inactive(anon): 81584 kB Active(file): 3160172 kB Inactive(file): 1911044 kB Unevictable: 109716 kB Mlocked: 109716 kB SwapTotal: 67108860 kB SwapFree: 66986400 kB Dirty: 20632 kB Writeback: 0 kB AnonPages: 168904 kB Mapped: 57172 kB Shmem: 49032 kB Slab: 425168 kB SReclaimable: 395408 kB SUnreclaim: 29760 kB KernelStack: 3840 kB PageTables: 5848 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506684 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 122880 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 9812 MiB End job on node104 at 2019-09-24 17:31:32