Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP hybrid+ManyGlucose (2019-06-15) | UNSAT | 24.1205 | 12.956 |
Name | LatinSquare/LatinSquare-xcsp2-qcp25/ qcp-25-264-12_X2.xml |
MD5SUM | 0da6a8f2891de305d0b0efc67f372d88 |
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 | 3.28665 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 625 |
Number of constraints | 15000 |
Number of domains | 26 |
Minimum domain size | 1 |
Maximum domain size | 25 |
Distribution of domain sizes | [{"size":1,"count":361},{"size":25,"count":264}] |
Minimum variable degree | 48 |
Maximum variable degree | 48 |
Distribution of variable degrees | [{"degree":48,"count":625}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":15000}] |
Number of extensional constraints | 15000 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":15000}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-10921-serial-file.bin HOME/instance-4392645-1568443111.xml 0.66/0.54 0.66/0.54 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 0.66/0.54 0.66/0.56 c BEGIN-Prog: Sat Sep 14 07:36:57 CEST 2019 0.66/0.56 c PID: 10924 0.66/0.56 c IP: 172.20.3.105 0.66/0.56 c HOST: node105.alineos.net 0.66/0.57 c (0,0) Parsing Begin 4.42/1.61 c (1,1) Parsing End 4.42/1.62 c (1,1) CSP: 597 int (0 aux), 28 bool (0 aux), 10142 ctr, max domain size 25 4.42/1.62 c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB) 4.42/1.62 c (1,1) Constraint Name Generate Begin 4.42/1.66 c (1,1) Ctr:HOME/instance-4392645-1568443111.xml,ExtensionConflict:Var 4.42/1.66 c (1,1) Constraint Name Generate End 4.42/1.66 c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB) 4.42/1.66 c (1,1) CSP to CSPinCNF Begin 8.55/2.69 c (2,2) translated 1015 (10%) constraints 10.81/4.17 c (3,3) translated 2029 (20%) constraints 12.36/5.61 c (5,5) translated 3043 (30%) constraints 12.88/6.17 c (5,5) translated 4057 (40%) constraints 12.99/6.24 c (5,5) translated 5071 (50%) constraints 13.17/6.32 c (5,5) translated 6086 (60%) constraints 13.17/6.39 c (5,5) translated 7100 (70%) constraints 13.44/6.46 c (5,5) translated 8114 (80%) constraints 13.63/6.53 c (5,5) translated 9128 (90%) constraints 13.76/6.60 c (6,6) translated 10142 (100%) constraints 13.76/6.60 c (6,6) =========================================== 13.76/6.67 c (6,6) Hybrid: #OE=625, #LE=0 13.76/6.67 c (6,6) Hybrid 13.76/6.67 c (6,6) =========================================== 14.14/6.86 c (6,6) translated 7087 (10%) constraints 14.48/7.02 c (6,6) translated 14173 (20%) constraints 14.59/7.18 c (6,6) translated 21259 (30%) constraints 14.83/7.34 c (6,6) translated 28345 (40%) constraints 15.03/7.50 c (6,6) translated 35431 (50%) constraints 15.13/7.66 c (7,7) translated 42518 (60%) constraints 15.33/7.82 c (7,7) translated 49604 (70%) constraints 15.43/7.98 c (7,7) translated 56690 (80%) constraints 15.64/8.14 c (7,7) translated 63776 (90%) constraints 15.73/8.28 c (7,7) translated 70862 (100%) constraints 15.73/8.28 c (7,7) CSP to CSPinCNF End 15.73/8.28 c (7,7) CSP: 597 int (0 aux), 28 bool (0 aux), 70862 ctr, max domain size 25 15.73/8.28 c (7,7) Heap : 2928 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 15.73/8.28 c (7,7) CSPinCNF Propagation Begin 19.96/10.90 c (10,10) 1815 values, 49152 unsatisfiable literals, and 27346 valid clauses are removed 19.96/10.90 c (10,10) CSPinCNF Propagation End 19.96/10.90 c (10,10) CSP: 597 int (0 aux), 28 bool (0 aux), 43516 ctr, max domain size 25 19.96/10.90 c (10,10) Heap : 4280 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB) 19.96/10.94 c (10,10) Hybrid: #OE=625, #LE=0 19.96/10.94 c (10,10) Simplify CSPinCNF Begin 20.19/11.08 c (10,10) Simplify CSPinCNF End 20.19/11.08 c (10,10) CSP: 597 int (0 aux), 28 bool (0 aux), 43516 ctr, max domain size 25 20.19/11.08 c (10,10) Heap : 4280 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB) 20.19/11.08 c (10,10) Calculate Precise Domain Begin 20.19/11.08 c (10,10) 0 values are removed by re-calculation 20.19/11.08 c (10,10) Calculate Precise Domain End 20.19/11.08 c (10,10) CSP: 597 int (0 aux), 28 bool (0 aux), 43516 ctr, max domain size 25 20.19/11.08 c (10,10) Heap : 4280 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB) 20.19/11.08 c (10,10) CSPinCNF to SatSolver Begin 20.96/11.31 c (10,10) 4352 (10 %) CSP clauses are encoded (0 SAT variables, 8608 SAT clauses) 21.35/11.42 c (10,10) 8704 (20 %) CSP clauses are encoded (0 SAT variables, 12960 SAT clauses) 21.35/11.49 c (10,10) 13055 (30 %) CSP clauses are encoded (0 SAT variables, 17311 SAT clauses) 21.72/11.55 c (11,10) 17407 (40 %) CSP clauses are encoded (0 SAT variables, 21663 SAT clauses) 21.82/11.60 c (11,11) 21758 (50 %) CSP clauses are encoded (0 SAT variables, 26014 SAT clauses) 21.82/11.66 c (11,11) 26110 (60 %) CSP clauses are encoded (0 SAT variables, 30366 SAT clauses) 21.92/11.72 c (11,11) 30462 (70 %) CSP clauses are encoded (0 SAT variables, 34718 SAT clauses) 21.92/11.77 c (11,11) 34813 (80 %) CSP clauses are encoded (0 SAT variables, 39069 SAT clauses) 22.02/11.83 c (11,11) 39165 (90 %) CSP clauses are encoded (0 SAT variables, 43421 SAT clauses) 22.02/11.86 c (11,11) 43516 (100 %) CSP clauses are encoded (0 SAT variables, 47772 SAT clauses) 22.02/11.86 c (11,11) CSPinCNF to SatSolver End 22.02/11.86 c (11,11) Heap : 4730 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB) 22.02/11.86 c (11,11) 4521 bool, 47773 clause 22.02/11.86 c (11,11) Export Begin 22.15/11.98 c (11,11) Export to HOME/scop-10921-serial-file.bin 22.15/11.98 c (11,11) Export End 22.15/11.98 c (11,11) Export File Size: 0.11 MB 22.15/11.98 c (11,11) 1,1,7,10,10,10,11,STOP-AFTER(DIMACS) 22.15/11.98 c END-Prog: Sat Sep 14 07:37:08 CEST 2019 22.40/12.04 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-10921-serial-file.bin 22.43/12.49 c (0,0) Read Serial File Begin 22.43/12.49 c (0,0) HOME/scop-10921-serial-file.bin 22.43/12.75 c (0,0) Read Serial File End 22.43/12.76 22.43/12.76 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 22.43/12.76 (Solving Process) 22.43/12.76 22.43/12.78 c BEGIN-Prog: Sat Sep 14 07:37:09 CEST 2019 22.43/12.78 c PID: 10945 22.43/12.78 c IP: 172.20.3.105 22.43/12.78 c HOST: node105.alineos.net 22.43/12.79 c (0,0) SatSolver.solve Begin 22.43/12.79 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392645-1568443111.xml-scop-10924.cnf 22.43/12.81 c (0,0) c 22.43/12.81 c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 22.43/12.81 c (0,0) c 22.43/12.81 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 22.43/12.81 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 22.43/12.81 c (0,0) c ========================================[ Problem Statistics ]=========================================== 22.43/12.81 c (0,0) c | | 22.43/12.83 c (0,0) c | Number of variables: 4521 | 22.43/12.83 c (0,0) c | Number of clauses: 47773 | 22.43/12.83 c (0,0) c | Parse time: 0.02 s | 22.43/12.83 c (0,0) c | | 22.43/12.86 c (0,0) c | Simplification time: 0.03 s | 22.43/12.86 c (0,0) c | | 22.43/12.86 c (0,0) c | Generating clones | 22.43/12.87 c (0,0) c | all clones generated. Memory = 36.81Mb. | 22.43/12.87 c (0,0) c ========================================================================================================| 22.43/12.87 c (0,0) c 22.43/12.87 c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 22.43/12.87 c (0,0) c 22.43/12.87 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 22.43/12.87 c (0,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 22.43/12.87 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 22.43/12.87 c (0,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 22.43/12.87 c (0,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 22.43/12.87 c (0,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 22.43/12.87 c (0,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 22.43/12.87 c (0,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 22.43/12.87 c (0,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 22.43/12.87 c (0,0) c | glureduce | True | True | True | True | True | True | True | True | 22.43/12.87 c (0,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 22.43/12.87 c (0,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 22.43/12.87 c (0,0) c | luby_restart | False | False | False | False | False | False | False | False | 22.43/12.87 c (0,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 22.43/12.87 c (0,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 22.43/12.87 c (0,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 22.43/12.87 c (0,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 22.43/12.87 c (0,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 22.43/12.87 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 22.43/12.91 c (0,0) c 22.43/12.91 c (0,0) c real time : 0.103392 s 22.43/12.91 c (0,0) c cpu time : 0.239317 s 22.43/12.91 c (0,0) c 22.43/12.91 c (0,0) c 22.43/12.91 c (0,0) c 22.43/12.91 c (0,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 22.43/12.91 c (0,0) c 22.43/12.91 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 22.43/12.91 c (0,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 22.43/12.91 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 22.43/12.91 c (0,0) c | Conflicts | 22944 | 2688 | 2819 | 4022 | 1644 | 1846 | 2449 | 3584 | 3892 | 22.43/12.91 c (0,0) c | Decisions | 31477 | 3621 | 3900 | 5239 | 2369 | 2699 | 3272 | 4786 | 5591 | 22.43/12.91 c (0,0) c | Propagations | 497107 | 57115 | 66808 | 86714 | 34359 | 40569 | 44489 | 72364 | 94689 | 22.43/12.91 c (0,0) c | ReduceDBs | 6 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 1 | 22.43/12.91 c (0,0) c | SimpDBs | 8 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 22.43/12.91 c (0,0) c | Restarts | 25 | 1 | 1 | 3 | 3 | 3 | 4 | 4 | 6 | 22.43/12.91 c (0,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 22.43/12.91 c (0,0) c | PropBinClauses| 566173 | 65253 | 75067 | 96775 | 40369 | 46346 | 51632 | 82907 | 107824 | 22.43/12.91 c (0,0) c | PropPreBlocker| 4478609 | 503747 | 545216 | 985020 | 209923 | 273999 | 355944 | 808950 | 795810 | 22.43/12.91 c (0,0) c | PropNotBlocker| 2136878 | 253473 | 251030 | 456484 | 111715 | 136552 | 179631 | 380921 | 367072 | 22.43/12.91 c (0,0) c | LitFullScans | 10611166 | 1231447 | 1274245 | 2274633 | 535797 | 662656 | 857553 | 1877666 | 1897169 | 22.43/12.91 c (0,0) c | LitScanFracts | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 22.43/12.91 c (0,0) c | DecisionLevel0| 82 | 6 | 10 | 11 | 9 | 10 | 14 | 10 | 12 | 22.43/12.91 c (0,0) c | Periods | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 22.43/12.91 c (0,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 22.43/12.91 c (0,0) c | Avg_Trail | | 128 | 140 | 123 | 146 | 139 | 129 | 129 | 140 | 22.43/12.91 c (0,0) c | Avg_DL | | 15 | 20 | 14 | 19 | 19 | 18 | 15 | 17 | 22.43/12.91 c (0,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 22.43/12.91 c (0,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 22.43/12.91 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 22.43/12.91 c (0,0) c | Exported | 723 | 89 | 84 | 102 | 85 | 88 | 113 | 92 | 70 | 22.43/12.91 c (0,0) c | Imported | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 22.43/12.91 c (0,0) c | Good | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 22.43/12.91 c (0,0) c | Purge | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 22.43/12.91 c (0,0) c | Promoted | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 22.43/12.91 c (0,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 22.43/12.91 c (0,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 22.43/12.91 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 22.43/12.91 c (0,0) c | Unaries | | 5 | 9 | 8 | 6 | 7 | 10 | 6 | 6 | 22.43/12.91 c (0,0) c | Binaries | | 26 | 29 | 26 | 25 | 18 | 20 | 28 | 27 | 22.43/12.91 c (0,0) c | Glues | | 89 | 84 | 102 | 85 | 88 | 113 | 92 | 70 | 22.43/12.91 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 22.43/12.91 c (0,0) c | Orig_Seen | 15 % | 870 | 674 | 1118 | 863 | 1082 | 767 | 888 | 1557 | 22.43/12.91 c (0,0) c | Diff Orig seen| | X | - 196 | 248 | - 7 | 212 | - 103 | 18 | 687 | 22.43/12.91 c (0,0) c | Hamming | 5 % | X | 219 | 221 | 244 | 235 | 252 | 213 | 260 | 22.43/12.91 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 22.43/12.91 c (0,0) c | RunningTime | | 0.0 99%| 0.0 99%| 0.0 99%| 0.0 99%| 0.0 99%| 0.0 99%| 0.0 100%| 0.0 99%| 22.43/12.91 c (0,0) c | WaitingTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 22.43/12.91 c (0,0) c | ExchangingTime| | 0.0 1%| 0.0 1%| 0.0 1%| 0.0 1%| 0.0 1%| 0.0 1%| 0.0 0%| 0.0 1%| 22.43/12.91 c (0,0) c | PeriodProcTime| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 22.43/12.91 c (0,0) c | SolvingTime | | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 22.43/12.91 c (0,0) c | PropagationTim| | 0.0 61%| 0.0 66%| 0.0 64%| 0.0 66%| 0.0 63%| 0.0 63%| 0.0 66%| 0.0 66%| 22.43/12.91 c (0,0) c | AnalysisTime | | 0.0 24%| 0.0 20%| 0.0 23%| 0.0 23%| 0.0 24%| 0.0 21%| 0.0 21%| 0.0 21%| 22.43/12.91 c (0,0) c | ReductionTime | | 0.0 4%| 0.0 4%| 0.0 3%| 0.0 0%| 0.0 0%| 0.0 6%| 0.0 3%| 0.0 3%| 22.43/12.91 c (0,0) c | SimplifyTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 22.43/12.91 c (0,0) c | UsedRateTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 22.43/12.91 c (0,0) c | OverlapRateTim| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 22.43/12.92 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 22.43/12.92 c (0,0) c 22.43/12.92 c (0,0) c 22.43/12.92 c (0,0) c Threads : 8 22.43/12.92 c (0,0) c Winner : 0 22.43/12.92 c (0,0) c Conflicts_0 : 2688 22.43/12.92 c (0,0) c Conflicts_1 : 2819 22.43/12.92 c (0,0) c Conflicts_2 : 4022 22.43/12.92 c (0,0) c Conflicts_3 : 1644 22.43/12.92 c (0,0) c Conflicts_4 : 1846 22.43/12.92 c (0,0) c Conflicts_5 : 2449 22.43/12.92 c (0,0) c Conflicts_6 : 3584 22.43/12.92 c (0,0) c Conflicts_7 : 3892 22.43/12.92 c (0,0) c Conflicts_total : 22944 22.43/12.92 c (0,0) c Conflicts_winner : 2688 22.43/12.92 c (0,0) c Decisions_0 : 3621 22.43/12.92 c (0,0) c Decisions_1 : 3900 22.43/12.92 c (0,0) c Decisions_2 : 5239 22.43/12.92 c (0,0) c Decisions_3 : 2369 22.43/12.92 c (0,0) c Decisions_4 : 2699 22.43/12.92 c (0,0) c Decisions_5 : 3272 22.43/12.92 c (0,0) c Decisions_6 : 4786 22.43/12.92 c (0,0) c Decisions_7 : 5591 22.43/12.92 c (0,0) c Decisions_total : 31477 22.43/12.92 c (0,0) c Decisions_winner : 3621 22.43/12.92 c (0,0) c Propagations_0 : 57115 22.43/12.92 c (0,0) c Propagations_1 : 66808 22.43/12.92 c (0,0) c Propagations_2 : 86714 22.43/12.92 c (0,0) c Propagations_3 : 34359 22.43/12.92 c (0,0) c Propagations_4 : 40569 22.43/12.92 c (0,0) c Propagations_5 : 44489 22.43/12.92 c (0,0) c Propagations_6 : 72364 22.43/12.92 c (0,0) c Propagations_7 : 94689 22.43/12.92 c (0,0) c Propagations_total : 497107 22.43/12.92 c (0,0) c Propagations_winner : 57115 22.43/12.92 c (0,0) c ReduceDBs_0 : 1 22.43/12.92 c (0,0) c ReduceDBs_1 : 1 22.43/12.92 c (0,0) c ReduceDBs_2 : 1 22.43/12.92 c (0,0) c ReduceDBs_3 : 0 22.43/12.92 c (0,0) c ReduceDBs_4 : 0 22.43/12.92 c (0,0) c ReduceDBs_5 : 1 22.43/12.92 c (0,0) c ReduceDBs_6 : 1 22.43/12.92 c (0,0) c ReduceDBs_7 : 1 22.43/12.92 c (0,0) c ReduceDBs_total : 6 22.43/12.92 c (0,0) c ReduceDBs_winner : 1 22.43/12.92 c (0,0) c SimpDBs_0 : 1 22.43/12.92 c (0,0) c SimpDBs_1 : 1 22.43/12.92 c (0,0) c SimpDBs_2 : 1 22.43/12.92 c (0,0) c SimpDBs_3 : 1 22.43/12.92 c (0,0) c SimpDBs_4 : 1 22.43/12.92 c (0,0) c SimpDBs_5 : 1 22.43/12.92 c (0,0) c SimpDBs_6 : 1 22.43/12.92 c (0,0) c SimpDBs_7 : 1 22.43/12.92 c (0,0) c SimpDBs_total : 8 22.43/12.92 c (0,0) c SimpDBs_winner : 1 22.43/12.92 c (0,0) c Restarts_0 : 1 22.43/12.92 c (0,0) c Restarts_1 : 1 22.43/12.92 c (0,0) c Restarts_2 : 3 22.43/12.92 c (0,0) c Restarts_3 : 3 22.43/12.92 c (0,0) c Restarts_4 : 3 22.43/12.92 c (0,0) c Restarts_5 : 4 22.43/12.92 c (0,0) c Restarts_6 : 4 22.43/12.92 c (0,0) c Restarts_7 : 6 22.43/12.92 c (0,0) c Restarts_total : 25 22.43/12.92 c (0,0) c Restarts_winner : 1 22.43/12.92 c (0,0) c ForcedImports_0 : 0 22.43/12.92 c (0,0) c ForcedImports_1 : 0 22.43/12.92 c (0,0) c ForcedImports_2 : 0 22.43/12.92 c (0,0) c ForcedImports_3 : 0 22.43/12.92 c (0,0) c ForcedImports_4 : 0 22.43/12.92 c (0,0) c ForcedImports_5 : 0 22.43/12.92 c (0,0) c ForcedImports_6 : 0 22.43/12.92 c (0,0) c ForcedImports_7 : 0 22.43/12.92 c (0,0) c ForcedImports_total : 0 22.43/12.92 c (0,0) c ForcedImports_winner : 0 22.43/12.92 c (0,0) c PropsBinClauses_0 : 65253 22.43/12.92 c (0,0) c PropsBinClauses_1 : 75067 22.43/12.92 c (0,0) c PropsBinClauses_2 : 96775 22.43/12.92 c (0,0) c PropsBinClauses_3 : 40369 22.43/12.92 c (0,0) c PropsBinClauses_4 : 46346 22.43/12.92 c (0,0) c PropsBinClauses_5 : 51632 22.43/12.92 c (0,0) c PropsBinClauses_6 : 82907 22.43/12.92 c (0,0) c PropsBinClauses_7 : 107824 22.43/12.92 c (0,0) c PropsBinClauses_total : 566173 22.43/12.92 c (0,0) c PropsBinClauses_winner : 65253 22.43/12.92 c (0,0) c PropsPreBlocker_0 : 503747 22.43/12.92 c (0,0) c PropsPreBlocker_1 : 545216 22.43/12.92 c (0,0) c PropsPreBlocker_2 : 985020 22.43/12.92 c (0,0) c PropsPreBlocker_3 : 209923 22.43/12.92 c (0,0) c PropsPreBlocker_4 : 273999 22.43/12.92 c (0,0) c PropsPreBlocker_5 : 355944 22.43/12.92 c (0,0) c PropsPreBlocker_6 : 808950 22.43/12.92 c (0,0) c PropsPreBlocker_7 : 795810 22.43/12.92 c (0,0) c PropsPreBlocker_total : 4478609 22.43/12.92 c (0,0) c PropsPreBlocker_winner : 503747 22.43/12.92 c (0,0) c PropsNotBlocker_0 : 253473 22.43/12.92 c (0,0) c PropsNotBlocker_1 : 251030 22.43/12.92 c (0,0) c PropsNotBlocker_2 : 456484 22.43/12.92 c (0,0) c PropsNotBlocker_3 : 111715 22.43/12.92 c (0,0) c PropsNotBlocker_4 : 136552 22.43/12.92 c (0,0) c PropsNotBlocker_5 : 179631 22.43/12.92 c (0,0) c PropsNotBlocker_6 : 380921 22.43/12.92 c (0,0) c PropsNotBlocker_7 : 367072 22.43/12.92 c (0,0) c PropsNotBlocker_total : 2136878 22.43/12.92 c (0,0) c PropsNotBlocker_winner : 253473 22.43/12.92 c (0,0) c PropsLitFullScans_0 : 1231447 22.43/12.92 c (0,0) c PropsLitFullScans_1 : 1274245 22.43/12.92 c (0,0) c PropsLitFullScans_2 : 2274633 22.43/12.92 c (0,0) c PropsLitFullScans_3 : 535797 22.43/12.92 c (0,0) c PropsLitFullScans_4 : 662656 22.43/12.92 c (0,0) c PropsLitFullScans_5 : 857553 22.43/12.92 c (0,0) c PropsLitFullScans_6 : 1877666 22.43/12.92 c (0,0) c PropsLitFullScans_7 : 1897169 22.43/12.92 c (0,0) c PropsLitFullScans_total : 10611166 22.43/12.92 c (0,0) c PropsLitFullScans_winner : 1231447 22.43/12.92 c (0,0) c LitScanFractions_0 : 0 22.43/12.92 c (0,0) c LitScanFractions_1 : 0 22.43/12.92 c (0,0) c LitScanFractions_2 : 0 22.43/12.92 c (0,0) c LitScanFractions_3 : 0 22.43/12.92 c (0,0) c LitScanFractions_4 : 0 22.43/12.92 c (0,0) c LitScanFractions_5 : 0 22.43/12.92 c (0,0) c LitScanFractions_6 : 0 22.43/12.92 c (0,0) c LitScanFractions_7 : 0 22.43/12.92 c (0,0) c LitScanFractions_total : 0 22.43/12.92 c (0,0) c LitScanFractions_winner : 0 22.43/12.92 c (0,0) c DecisionLevel0_0 : 6 22.43/12.92 c (0,0) c DecisionLevel0_1 : 10 22.43/12.92 c (0,0) c DecisionLevel0_2 : 11 22.43/12.92 c (0,0) c DecisionLevel0_3 : 9 22.43/12.92 c (0,0) c DecisionLevel0_4 : 10 22.43/12.92 c (0,0) c DecisionLevel0_5 : 14 22.43/12.92 c (0,0) c DecisionLevel0_6 : 10 22.43/12.92 c (0,0) c DecisionLevel0_7 : 12 22.43/12.92 c (0,0) c DecisionLevel0_total : 82 22.43/12.92 c (0,0) c DecisionLevel0_winner : 6 22.43/12.92 c (0,0) c Periods_0 : 0 22.43/12.92 c (0,0) c Periods_1 : 0 22.43/12.92 c (0,0) c Periods_2 : 0 22.43/12.92 c (0,0) c Periods_3 : 0 22.43/12.92 c (0,0) c Periods_4 : 0 22.43/12.92 c (0,0) c Periods_5 : 0 22.43/12.92 c (0,0) c Periods_6 : 0 22.43/12.92 c (0,0) c Periods_7 : 0 22.43/12.92 c (0,0) c Periods_total : 0 22.43/12.92 c (0,0) c Periods_winner : 0 22.43/12.92 c (0,0) c Margin_0 : 20 22.43/12.92 c (0,0) c Margin_1 : 20 22.43/12.92 c (0,0) c Margin_2 : 20 22.43/12.92 c (0,0) c Margin_3 : 20 22.43/12.92 c (0,0) c Margin_4 : 20 22.43/12.92 c (0,0) c Margin_5 : 20 22.43/12.92 c (0,0) c Margin_6 : 20 22.43/12.92 c (0,0) c Margin_7 : 20 22.43/12.92 c (0,0) c Margin_total : 160 22.43/12.92 c (0,0) c Margin_winner : 20 22.43/12.92 c (0,0) c Exported_0 : 89 22.43/12.92 c (0,0) c Exported_1 : 84 22.43/12.92 c (0,0) c Exported_2 : 102 22.43/12.92 c (0,0) c Exported_3 : 85 22.43/12.92 c (0,0) c Exported_4 : 88 22.43/12.92 c (0,0) c Exported_5 : 113 22.43/12.92 c (0,0) c Exported_6 : 92 22.43/12.92 c (0,0) c Exported_7 : 70 22.43/12.92 c (0,0) c Exported_total : 723 22.43/12.92 c (0,0) c Exported_winner : 89 22.43/12.92 c (0,0) c Imported_0 : 0 22.43/12.92 c (0,0) c Imported_1 : 0 22.43/12.92 c (0,0) c Imported_2 : 0 22.43/12.92 c (0,0) c Imported_3 : 0 22.43/12.92 c (0,0) c Imported_4 : 0 22.43/12.92 c (0,0) c Imported_5 : 0 22.43/12.92 c (0,0) c Imported_6 : 0 22.43/12.92 c (0,0) c Imported_7 : 0 22.43/12.92 c (0,0) c Imported_total : 0 22.43/12.92 c (0,0) c Imported_winner : 0 22.43/12.92 c (0,0) c Good_0 : 0 22.43/12.92 c (0,0) c Good_1 : 0 22.43/12.92 c (0,0) c Good_2 : 0 22.43/12.92 c (0,0) c Good_3 : 0 22.43/12.92 c (0,0) c Good_4 : 0 22.43/12.92 c (0,0) c Good_5 : 0 22.43/12.92 c (0,0) c Good_6 : 0 22.43/12.92 c (0,0) c Good_7 : 0 22.43/12.92 c (0,0) c Good_total : 0 22.43/12.92 c (0,0) c Good_winner : 0 22.43/12.92 c (0,0) c Purge_0 : 0 22.43/12.92 c (0,0) c Purge_1 : 0 22.43/12.92 c (0,0) c Purge_2 : 0 22.43/12.92 c (0,0) c Purge_3 : 0 22.43/12.92 c (0,0) c Purge_4 : 0 22.43/12.92 c (0,0) c Purge_5 : 0 22.43/12.92 c (0,0) c Purge_6 : 0 22.43/12.92 c (0,0) c Purge_7 : 0 22.43/12.92 c (0,0) c Purge_total : 0 22.43/12.92 c (0,0) c Purge_winner : 0 22.43/12.92 c (0,0) c Promoted_0 : 0 22.43/12.92 c (0,0) c Promoted_1 : 0 22.43/12.92 c (0,0) c Promoted_2 : 0 22.43/12.92 c (0,0) c Promoted_3 : 0 22.43/12.92 c (0,0) c Promoted_4 : 0 22.43/12.92 c (0,0) c Promoted_5 : 0 22.43/12.92 c (0,0) c Promoted_6 : 0 22.43/12.92 c (0,0) c Promoted_7 : 0 22.43/12.92 c (0,0) c Promoted_total : 0 22.43/12.92 c (0,0) c Promoted_winner : 0 22.43/12.92 c (0,0) c Remove_Imp_0 : 0 22.43/12.92 c (0,0) c Remove_Imp_1 : 0 22.43/12.92 c (0,0) c Remove_Imp_2 : 0 22.43/12.92 c (0,0) c Remove_Imp_3 : 0 22.43/12.92 c (0,0) c Remove_Imp_4 : 0 22.43/12.92 c (0,0) c Remove_Imp_5 : 0 22.43/12.92 c (0,0) c Remove_Imp_6 : 0 22.43/12.92 c (0,0) c Remove_Imp_7 : 0 22.43/12.92 c (0,0) c Remove_Imp_total : 0 22.43/12.92 c (0,0) c Remove_Imp_winner : 0 22.43/12.92 c (0,0) c Blocked_Reuse_0 : 0 22.43/12.92 c (0,0) c Blocked_Reuse_1 : 0 22.43/12.92 c (0,0) c Blocked_Reuse_2 : 0 22.43/12.92 c (0,0) c Blocked_Reuse_3 : 0 22.43/12.92 c (0,0) c Blocked_Reuse_4 : 0 22.43/12.92 c (0,0) c Blocked_Reuse_5 : 0 22.43/12.92 c (0,0) c Blocked_Reuse_6 : 0 22.43/12.92 c (0,0) c Blocked_Reuse_7 : 0 22.43/12.92 c (0,0) c Blocked_Reuse_total : 0 22.43/12.92 c (0,0) c Blocked_Reuse_winner : 0 22.43/12.92 c (0,0) c Unaries_0 : 5 22.43/12.92 c (0,0) c Unaries_1 : 9 22.43/12.92 c (0,0) c Unaries_2 : 8 22.43/12.92 c (0,0) c Unaries_3 : 6 22.43/12.92 c (0,0) c Unaries_4 : 7 22.43/12.92 c (0,0) c Unaries_5 : 10 22.43/12.92 c (0,0) c Unaries_6 : 6 22.43/12.92 c (0,0) c Unaries_7 : 6 22.43/12.92 c (0,0) c Unaries_total : 57 22.43/12.92 c (0,0) c Unaries_winner : 5 22.43/12.92 c (0,0) c Binaries_0 : 26 22.43/12.92 c (0,0) c Binaries_1 : 29 22.43/12.92 c (0,0) c Binaries_2 : 26 22.43/12.92 c (0,0) c Binaries_3 : 25 22.43/12.92 c (0,0) c Binaries_4 : 18 22.43/12.92 c (0,0) c Binaries_5 : 20 22.43/12.92 c (0,0) c Binaries_6 : 28 22.43/12.92 c (0,0) c Binaries_7 : 27 22.43/12.92 c (0,0) c Binaries_total : 199 22.43/12.92 c (0,0) c Binaries_winner : 26 22.43/12.92 c (0,0) c Glues_0 : 89 22.43/12.92 c (0,0) c Glues_1 : 84 22.43/12.92 c (0,0) c Glues_2 : 102 22.43/12.92 c (0,0) c Glues_3 : 85 22.43/12.92 c (0,0) c Glues_4 : 88 22.43/12.92 c (0,0) c Glues_5 : 113 22.43/12.92 c (0,0) c Glues_6 : 92 22.43/12.92 c (0,0) c Glues_7 : 70 22.43/12.92 c (0,0) c Glues_total : 723 22.43/12.92 c (0,0) c Glues_winner : 89 22.43/12.92 c (0,0) c RunningTime_0 : 0.022203 22.43/12.92 c (0,0) c RunningTime_1 : 0.027134 22.43/12.92 c (0,0) c RunningTime_2 : 0.034743 22.43/12.92 c (0,0) c RunningTime_3 : 0.012969 22.43/12.92 c (0,0) c RunningTime_4 : 0.013801 22.43/12.92 c (0,0) c RunningTime_5 : 0.020421 22.43/12.92 c (0,0) c RunningTime_6 : 0.034049 22.43/12.92 c (0,0) c RunningTime_7 : 0.037080 22.43/12.92 c (0,0) c RunningTime_total : 0.202398 22.43/12.92 c (0,0) c RunningTime_winner : 0.022203 22.43/12.93 c (0,0) c WaitingTime_0 : 0.000000 22.43/12.93 c (0,0) c WaitingTime_1 : 0.000000 22.43/12.93 c (0,0) c WaitingTime_2 : 0.000000 22.43/12.93 c (0,0) c WaitingTime_3 : 0.000000 22.43/12.93 c (0,0) c WaitingTime_4 : 0.000000 22.43/12.93 c (0,0) c WaitingTime_5 : 0.000000 22.43/12.93 c (0,0) c WaitingTime_6 : 0.000000 22.43/12.93 c (0,0) c WaitingTime_7 : 0.000000 22.43/12.93 c (0,0) c WaitingTime_total : 0.000000 22.43/12.93 c (0,0) c WaitingTime_winner : 0.000000 22.43/12.93 c (0,0) c ExchangingTime_0 : 0.000139 22.43/12.93 c (0,0) c ExchangingTime_1 : 0.000156 22.43/12.93 c (0,0) c ExchangingTime_2 : 0.000234 22.43/12.93 c (0,0) c ExchangingTime_3 : 0.000108 22.43/12.93 c (0,0) c ExchangingTime_4 : 0.000109 22.43/12.93 c (0,0) c ExchangingTime_5 : 0.000148 22.43/12.93 c (0,0) c ExchangingTime_6 : 0.000157 22.43/12.93 c (0,0) c ExchangingTime_7 : 0.000191 22.43/12.93 c (0,0) c ExchangingTime_total : 0.001243 22.43/12.93 c (0,0) c ExchangingTime_winner : 0.000139 22.43/12.93 c (0,0) c PeriodProcTime_0 : 0.000000 22.43/12.93 c (0,0) c PeriodProcTime_1 : 0.000000 22.43/12.93 c (0,0) c PeriodProcTime_2 : 0.000000 22.43/12.93 c (0,0) c PeriodProcTime_3 : 0.000000 22.43/12.93 c (0,0) c PeriodProcTime_4 : 0.000000 22.43/12.93 c (0,0) c PeriodProcTime_5 : 0.000000 22.43/12.93 c (0,0) c PeriodProcTime_6 : 0.000000 22.43/12.93 c (0,0) c PeriodProcTime_7 : 0.000000 22.43/12.93 c (0,0) c PeriodProcTime_total : 0.000000 22.43/12.93 c (0,0) c PeriodProcTime_winner : 0.000000 22.43/12.93 c (0,0) c SolvingTime_0 : 0.022343 22.43/12.93 c (0,0) c SolvingTime_1 : 0.027290 22.43/12.93 c (0,0) c SolvingTime_2 : 0.034977 22.43/12.93 c (0,0) c SolvingTime_3 : 0.013077 22.43/12.93 c (0,0) c SolvingTime_4 : 0.013910 22.43/12.93 c (0,0) c SolvingTime_5 : 0.020568 22.43/12.93 c (0,0) c SolvingTime_6 : 0.034205 22.43/12.93 c (0,0) c SolvingTime_7 : 0.037271 22.43/12.93 c (0,0) c SolvingTime_total : 0.203641 22.43/12.93 c (0,0) c SolvingTime_winner : 0.022343 22.43/12.93 c (0,0) c PropagationTime_0 : 0.013732 22.43/12.93 c (0,0) c PropagationTime_1 : 0.018084 22.43/12.93 c (0,0) c PropagationTime_2 : 0.022402 22.43/12.93 c (0,0) c PropagationTime_3 : 0.008610 22.43/12.93 c (0,0) c PropagationTime_4 : 0.008773 22.43/12.93 c (0,0) c PropagationTime_5 : 0.012927 22.43/12.93 c (0,0) c PropagationTime_6 : 0.022440 22.43/12.93 c (0,0) c PropagationTime_7 : 0.024538 22.43/12.93 c (0,0) c PropagationTime_total : 0.131506 22.43/12.93 c (0,0) c PropagationTime_winner : 0.013732 22.43/12.93 c (0,0) c AnalysisTime_0 : 0.005400 22.43/12.93 c (0,0) c AnalysisTime_1 : 0.005440 22.43/12.93 c (0,0) c AnalysisTime_2 : 0.008208 22.43/12.93 c (0,0) c AnalysisTime_3 : 0.002965 22.43/12.93 c (0,0) c AnalysisTime_4 : 0.003384 22.43/12.93 c (0,0) c AnalysisTime_5 : 0.004419 22.43/12.93 c (0,0) c AnalysisTime_6 : 0.007172 22.43/12.93 c (0,0) c AnalysisTime_7 : 0.007940 22.43/12.93 c (0,0) c AnalysisTime_total : 0.044927 22.43/12.93 c (0,0) c AnalysisTime_winner : 0.005400 22.43/12.93 c (0,0) c ReductionTime_0 : 0.000959 22.43/12.93 c (0,0) c ReductionTime_1 : 0.001213 22.43/12.93 c (0,0) c ReductionTime_2 : 0.001083 22.43/12.93 c (0,0) c ReductionTime_3 : 0.000000 22.43/12.93 c (0,0) c ReductionTime_4 : 0.000000 22.43/12.93 c (0,0) c ReductionTime_5 : 0.001140 22.43/12.93 c (0,0) c ReductionTime_6 : 0.001130 22.43/12.93 c (0,0) c ReductionTime_7 : 0.001194 22.43/12.93 c (0,0) c ReductionTime_total : 0.006719 22.43/12.93 c (0,0) c ReductionTime_winner : 0.000959 22.43/12.93 c (0,0) c SimplifyTime_0 : 0.000000 22.43/12.93 c (0,0) c SimplifyTime_1 : 0.000001 22.43/12.93 c (0,0) c SimplifyTime_2 : 0.000000 22.43/12.93 c (0,0) c SimplifyTime_3 : 0.000000 22.43/12.93 c (0,0) c SimplifyTime_4 : 0.000000 22.43/12.93 c (0,0) c SimplifyTime_5 : 0.000001 22.43/12.93 c (0,0) c SimplifyTime_6 : 0.000000 22.43/12.93 c (0,0) c SimplifyTime_7 : 0.000002 22.43/12.93 c (0,0) c SimplifyTime_total : 0.000004 22.43/12.93 c (0,0) c SimplifyTime_winner : 0.000000 22.43/12.93 c (0,0) c UsedRateTime_0 : 0.000000 22.43/12.93 c (0,0) c UsedRateTime_1 : 0.000000 22.43/12.93 c (0,0) c UsedRateTime_2 : 0.000000 22.43/12.93 c (0,0) c UsedRateTime_3 : 0.000000 22.43/12.93 c (0,0) c UsedRateTime_4 : 0.000000 22.43/12.93 c (0,0) c UsedRateTime_5 : 0.000000 22.43/12.93 c (0,0) c UsedRateTime_6 : 0.000000 22.43/12.93 c (0,0) c UsedRateTime_7 : 0.000000 22.43/12.93 c (0,0) c UsedRateTime_total : 0.000000 22.43/12.93 c (0,0) c UsedRateTime_winner : 0.000000 22.43/12.93 c (0,0) c OverlapRateTime_0 : 0.000000 22.43/12.93 c (0,0) c OverlapRateTime_1 : 0.000000 22.43/12.93 c (0,0) c OverlapRateTime_2 : 0.000000 22.43/12.93 c (0,0) c OverlapRateTime_3 : 0.000000 22.43/12.93 c (0,0) c OverlapRateTime_4 : 0.000000 22.43/12.93 c (0,0) c OverlapRateTime_5 : 0.000000 22.43/12.93 c (0,0) c OverlapRateTime_6 : 0.000000 22.43/12.93 c (0,0) c OverlapRateTime_7 : 0.000000 22.43/12.93 c (0,0) c OverlapRateTime_total : 0.000000 22.43/12.93 c (0,0) c OverlapRateTime_winner : 0.000000 22.43/12.93 c (0,0) c 22.43/12.93 c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 22.43/12.93 c (0,0) c 22.43/12.93 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 22.43/12.93 c (0,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 22.43/12.93 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 22.43/12.93 c (0,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 22.43/12.93 c (0,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 22.43/12.93 c (0,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 22.43/12.93 c (0,0) c | Initial random_seed | 1425824736 | 493692453 | 285515130 | 1336035274 | 432559168 | 83386439 | 1018891244 | 935842877 | 22.43/12.93 c (0,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 22.43/12.93 c (0,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 22.43/12.93 c (0,0) c | glureduce | True | True | True | True | True | True | True | True | 22.43/12.93 c (0,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 22.43/12.93 c (0,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 22.43/12.93 c (0,0) c | luby_restart | False | False | False | False | False | False | False | False | 22.43/12.93 c (0,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 22.43/12.93 c (0,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 22.43/12.93 c (0,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 22.43/12.93 c (0,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 22.43/12.93 c (0,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 22.43/12.93 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 22.43/12.93 c (0,0) 22.43/12.93 c (0,0) s UNSATISFIABLE 22.43/12.93 c (0,0) SatSolver.solve End 22.43/12.93 c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 22.43/12.93 c (0,0) Show results Begin 22.43/12.93 s UNSATISFIABLE 22.43/12.93 c (0,0) Show results End 22.43/12.93 c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 22.43/12.93 c (0,0) 0,0,STOP-AFTER(ALL) 22.43/12.93 c END-Prog: Sat Sep 14 07:37:09 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 (15173 MiB free) memory of node 1: 16384 MiB (15472 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392645-1568443111/watcher-4392645-1568443111 -o /tmp/evaluation-result-4392645-1568443111/solver-4392645-1568443111 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1568433701-9897 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392645-1568443111.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=10921, runsolver pid=10918 Current StackSize limit: 8192 KiB [startup+0.100153 s]* /proc/loadavg: 6.44 3.79 5.37 2/210 10943 /proc/meminfo: memFree=31289188/32770624 swapFree=66937168/67108860 [pid=10921] ppid=10918 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/10921/stat : 10921 (scop.sh) S 10918 10921 9870 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 420569464 115843072 349 33554432000 4194304 5098028 140720599566592 140720599563848 139743032197756 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26116096 140720599573284 140720599573612 140720599573612 140720599576525 0 /proc/10921/statm: 28282 349 296 221 0 87 0 [pid=10924] ppid=10921 vsize=27314120 memory=105608 CPUtime=0.11 cores=0-7 /proc/10924/stat : 10924 (java) S 10921 10921 9870 0 -1 1077944320 6500 0 0 0 8 3 0 0 20 0 20 0 420569464 27969658880 26402 33554432000 4194304 4196468 140731713120160 140731713102704 140062760558327 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 /proc/10924/statm: 6828530 26402 2797 1 0 6790935 0 [pid=10924/tid=10925] ppid=10921 vsize=27314120 memory=8317482817917895235 CPUtime=0.08 cores=0-7 /proc/10924/task/10925/stat : 10925 (java) R 10921 10921 9870 0 -1 4202560 4597 0 0 0 6 2 0 0 20 0 20 0 420569465 27969658880 26402 33554432000 4194304 4196468 140731713120160 140062732383184 140062744601957 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10926] ppid=10921 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/10924/task/10926/stat : 10926 (java) S 10921 10921 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420569467 27969658880 26402 33554432000 4194304 4196468 140731713120160 140062764800656 140062760568533 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10927] ppid=10921 vsize=27314120 memory=140289230702208 CPUtime=0 cores=0-7 /proc/10924/task/10927/stat : 10927 (java) S 10921 10921 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420569467 27969658880 26402 33554432000 4194304 4196468 140731713120160 140062578956816 140062760568533 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10928] ppid=10921 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10924/task/10928/stat : 10928 (java) S 10921 10921 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420569467 27969658880 26402 33554432000 4194304 4196468 140731713120160 140062577904016 140062760568533 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10929] ppid=10921 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10924/task/10929/stat : 10929 (java) S 10921 10921 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420569467 27969658880 26402 33554432000 4194304 4196468 140731713120160 140062576851216 140062760568533 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10930] ppid=10921 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10924/task/10930/stat : 10930 (java) S 10921 10921 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420569467 27969658880 26402 33554432000 4194304 4196468 140731713120160 140062575799440 140062760568533 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10931] ppid=10921 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10924/task/10931/stat : 10931 (java) S 10921 10921 9870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420569467 27969658880 26402 33554432000 4194304 4196468 140731713120160 140062178835472 140062760568533 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10932] ppid=10921 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10924/task/10932/stat : 10932 (java) S 10921 10921 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420569467 27969658880 26402 33554432000 4194304 4196468 140731713120160 140062177782672 140062760568533 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10933] ppid=10921 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10924/task/10933/stat : 10933 (java) S 10921 10921 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420569467 27969658880 26402 33554432000 4194304 4196468 140731713120160 140062176729872 140062760568533 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10934] ppid=10921 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10924/task/10934/stat : 10934 (java) S 10921 10921 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420569469 27969658880 26402 33554432000 4194304 4196468 140731713120160 140061953005936 140062760569474 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10935] ppid=10921 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10924/task/10935/stat : 10935 (java) S 10921 10921 9870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420569469 27969658880 26402 33554432000 4194304 4196468 140731713120160 140060427019296 140062760568533 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10936] ppid=10921 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10924/task/10936/stat : 10936 (java) S 10921 10921 9870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420569469 27969658880 26402 33554432000 4194304 4196468 140731713120160 140060292797296 140062760568533 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10937] ppid=10921 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10924/task/10937/stat : 10937 (java) S 10921 10921 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420569472 27969658880 26402 33554432000 4194304 4196468 140731713120160 140059918292816 140062760576923 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10938] ppid=10921 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10924/task/10938/stat : 10938 (java) S 10921 10921 9870 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 20 0 420569472 27969658880 26402 33554432000 4194304 4196468 140731713120160 140061951953776 140062760569474 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10939] ppid=10921 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10924/task/10939/stat : 10939 (java) S 10921 10921 9870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420569472 27969658880 26402 33554432000 4194304 4196468 140731713120160 140061950900976 140062760569474 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10940] ppid=10921 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10924/task/10940/stat : 10940 (java) S 10921 10921 9870 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420569472 27969658880 26914 33554432000 4194304 4196468 140731713120160 140061949848176 140062760569474 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10941] ppid=10921 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10924/task/10941/stat : 10941 (java) S 10921 10921 9870 0 -1 1077944384 245 0 0 0 0 0 0 0 20 0 20 0 420569472 27969658880 26914 33554432000 4194304 4196468 140731713120160 140061948795376 140062760569474 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10942] ppid=10921 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10924/task/10942/stat : 10942 (java) S 10921 10921 9870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420569472 27969658880 26914 33554432000 4194304 4196468 140731713120160 140059420387936 140062760568533 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10943] ppid=10921 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10924/task/10943/stat : 10943 (java) S 10921 10921 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420569472 27969658880 26914 33554432000 4194304 4196468 140731713120160 140061947742768 140062760569474 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 107004 KiB [startup+0.210273 s]* /proc/loadavg: 6.44 3.79 5.37 3/210 10943 /proc/meminfo: memFree=31270472/32770624 swapFree=66937168/67108860 [pid=10921] ppid=10918 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/10921/stat : 10921 (scop.sh) S 10918 10921 9870 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 420569464 115843072 349 33554432000 4194304 5098028 140720599566592 140720599563848 139743032197756 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26116096 140720599573284 140720599573612 140720599573612 140720599576525 0 /proc/10921/statm: 28282 349 296 221 0 87 0 [pid=10924] ppid=10921 vsize=27314120 memory=122492 CPUtime=0.24 cores=0-7 /proc/10924/stat : 10924 (java) S 10921 10921 9870 0 -1 1077944320 11497 0 0 0 20 4 0 0 20 0 20 0 420569464 27969658880 30623 33554432000 4194304 4196468 140731713120160 140731713102704 140062760558327 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 /proc/10924/statm: 6828530 30623 2931 1 0 6790935 0 [pid=10924/tid=10925] ppid=10921 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/10924/task/10925/stat : 10925 (java) R 10921 10921 9870 0 -1 4202560 9197 0 0 0 16 3 0 0 20 0 20 0 420569465 27969658880 30623 33554432000 4194304 4196468 140731713120160 140062732357712 140062740833462 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10926] ppid=10921 vsize=27314120 memory=331 CPUtime=0 cores=0-7 /proc/10924/task/10926/stat : 10926 (java) S 10921 10921 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420569467 27969658880 30623 33554432000 4194304 4196468 140731713120160 140062764800656 140062760568533 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10927] ppid=10921 vsize=27314120 memory=140289230713031 CPUtime=0 cores=0-7 /proc/10924/task/10927/stat : 10927 (java) S 10921 10921 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420569467 27969658880 30623 33554432000 4194304 4196468 140731713120160 140062578956816 140062760568533 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10928] ppid=10921 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10924/task/10928/stat : 10928 (java) S 10921 10921 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420569467 27969658880 30623 33554432000 4194304 4196468 140731713120160 140062577904016 140062760568533 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10929] ppid=10921 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10924/task/10929/stat : 10929 (java) S 10921 10921 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420569467 27969658880 30623 33554432000 4194304 4196468 140731713120160 140062576851216 140062760568533 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10930] ppid=10921 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10924/task/10930/stat : 10930 (java) S 10921 10921 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420569467 27969658880 30623 33554432000 4194304 4196468 140731713120160 140062575799440 140062760568533 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10931] ppid=10921 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10924/task/10931/stat : 10931 (java) S 10921 10921 9870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420569467 27969658880 30623 33554432000 4194304 4196468 140731713120160 140062178835472 140062760568533 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10932] ppid=10921 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10924/task/10932/stat : 10932 (java) S 10921 10921 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420569467 27969658880 30623 33554432000 4194304 4196468 140731713120160 140062177782672 140062760568533 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10933] ppid=10921 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10924/task/10933/stat : 10933 (java) S 10921 10921 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420569467 27969658880 30623 33554432000 4194304 4196468 140731713120160 140062176729872 140062760568533 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10934] ppid=10921 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10924/task/10934/stat : 10934 (java) S 10921 10921 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420569469 27969658880 30623 33554432000 4194304 4196468 140731713120160 140061953005936 140062760569474 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10935] ppid=10921 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10924/task/10935/stat : 10935 (java) S 10921 10921 9870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420569469 27969658880 30623 33554432000 4194304 4196468 140731713120160 140060427019296 140062760568533 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10936] ppid=10921 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10924/task/10936/stat : 10936 (java) S 10921 10921 9870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420569469 27969658880 30623 33554432000 4194304 4196468 140731713120160 140060292797296 140062760568533 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10937] ppid=10921 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10924/task/10937/stat : 10937 (java) S 10921 10921 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420569472 27969658880 30623 33554432000 4194304 4196468 140731713120160 140059918292816 140062760576923 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10938] ppid=10921 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10924/task/10938/stat : 10938 (java) S 10921 10921 9870 0 -1 1077944384 410 0 0 0 0 0 0 0 20 0 20 0 420569472 27969658880 30623 33554432000 4194304 4196468 140731713120160 140061951953776 140062760569474 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10939] ppid=10921 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10924/task/10939/stat : 10939 (java) S 10921 10921 9870 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 420569472 27969658880 30623 33554432000 4194304 4196468 140731713120160 140061950900976 140062760569474 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10940] ppid=10921 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10924/task/10940/stat : 10940 (java) S 10921 10921 9870 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 420569472 27969658880 30623 33554432000 4194304 4196468 140731713120160 140061949848176 140062760569474 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10941] ppid=10921 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7 /proc/10924/task/10941/stat : 10941 (java) S 10921 10921 9870 0 -1 1077944384 469 0 0 0 2 0 0 0 20 0 20 0 420569472 27969658880 30623 33554432000 4194304 4196468 140731713120160 140061948795376 140062760569474 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10942] ppid=10921 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10924/task/10942/stat : 10942 (java) S 10921 10921 9870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420569472 27969658880 30623 33554432000 4194304 4196468 140731713120160 140059420387936 140062760568533 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10943] ppid=10921 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10924/task/10943/stat : 10943 (java) S 10921 10921 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420569472 27969658880 30623 33554432000 4194304 4196468 140731713120160 140061947742768 140062760569474 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 123888 KiB [startup+0.310138 s]* /proc/loadavg: 6.44 3.79 5.37 2/210 10943 /proc/meminfo: memFree=31267184/32770624 swapFree=66937168/67108860 [pid=10921] ppid=10918 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/10921/stat : 10921 (scop.sh) S 10918 10921 9870 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 420569464 115843072 349 33554432000 4194304 5098028 140720599566592 140720599563848 139743032197756 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26116096 140720599573284 140720599573612 140720599573612 140720599576525 0 /proc/10921/statm: 28282 349 296 221 0 87 0 [pid=10924] ppid=10921 vsize=27314120 memory=126164 CPUtime=0.43 cores=0-7 /proc/10924/stat : 10924 (java) S 10921 10921 9870 0 -1 1077944320 11967 0 0 0 38 5 0 0 20 0 20 0 420569464 27969658880 31541 33554432000 4194304 4196468 140731713120160 140731713102704 140062760558327 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 /proc/10924/statm: 6828530 31541 3025 1 0 6790935 0 [pid=10924/tid=10925] ppid=10921 vsize=27314120 memory=8317482817917895235 CPUtime=0.3 cores=0-7 /proc/10924/task/10925/stat : 10925 (java) R 10921 10921 9870 0 -1 4202560 9468 0 0 0 26 4 0 0 20 0 20 0 420569465 27969658880 31541 33554432000 4194304 4196468 140731713120160 140062732371040 140062745723966 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10926] ppid=10921 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10924/task/10926/stat : 10926 (java) S 10921 10921 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420569467 27969658880 31541 33554432000 4194304 4196468 140731713120160 140062764800656 140062760568533 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10927] ppid=10921 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10924/task/10927/stat : 10927 (java) S 10921 10921 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420569467 27969658880 31541 33554432000 4194304 4196468 140731713120160 140062578956816 140062760568533 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10928] ppid=10921 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10924/task/10928/stat : 10928 (java) S 10921 10921 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420569467 27969658880 31541 33554432000 4194304 4196468 140731713120160 140062577904016 140062760568533 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10929] ppid=10921 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10924/task/10929/stat : 10929 (java) S 10921 10921 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420569467 27969658880 31541 33554432000 4194304 4196468 140731713120160 140062576851216 140062760568533 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10930] ppid=10921 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10924/task/10930/stat : 10930 (java) S 10921 10921 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420569467 27969658880 31541 33554432000 4194304 4196468 140731713120160 140062575799440 140062760568533 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10931] ppid=10921 vsize=27314120 memory=140289134127791 CPUtime=0 cores=0-7 /proc/10924/task/10931/stat : 10931 (java) S 10921 10921 9870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420569467 27969658880 31541 33554432000 4194304 4196468 140731713120160 140062178835472 140062760568533 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10932] ppid=10921 vsize=27314120 memory=140289134130096 CPUtime=0 cores=0-7 /proc/10924/task/10932/stat : 10932 (java) S 10921 10921 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420569467 27969658880 31541 33554432000 4194304 4196468 140731713120160 140062177782672 140062760568533 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10933] ppid=10921 vsize=27314120 memory=140289134132400 CPUtime=0 cores=0-7 /proc/10924/task/10933/stat : 10933 (java) S 10921 10921 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420569467 27969658880 31541 33554432000 4194304 4196468 140731713120160 140062176729872 140062760568533 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10934] ppid=10921 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10924/task/10934/stat : 10934 (java) S 10921 10921 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420569469 27969658880 31541 33554432000 4194304 4196468 140731713120160 140061953005936 140062760569474 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10935] ppid=10921 vsize=27314120 memory=280578268278672 CPUtime=0 cores=0-7 /proc/10924/task/10935/stat : 10935 (java) S 10921 10921 9870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420569469 27969658880 31541 33554432000 4194304 4196468 140731713120160 140060427019296 140062760568533 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10936] ppid=10921 vsize=27314120 memory=280578268276368 CPUtime=0 cores=0-7 /proc/10924/task/10936/stat : 10936 (java) S 10921 10921 9870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420569469 27969658880 31541 33554432000 4194304 4196468 140731713120160 140060292797296 140062760568533 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10937] ppid=10921 vsize=27314120 memory=280578268283280 CPUtime=0 cores=0-7 /proc/10924/task/10937/stat : 10937 (java) S 10921 10921 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420569472 27969658880 31541 33554432000 4194304 4196468 140731713120160 140059918292816 140062760576923 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10938] ppid=10921 vsize=27314120 memory=280578268224560 CPUtime=0.01 cores=0-7 /proc/10924/task/10938/stat : 10938 (java) S 10921 10921 9870 0 -1 1077944384 455 0 0 0 1 0 0 0 20 0 20 0 420569472 27969658880 31541 33554432000 4194304 4196468 140731713120160 140061951953776 140062760569474 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10939] ppid=10921 vsize=27314120 memory=280578268297104 CPUtime=0.01 cores=0-7 /proc/10924/task/10939/stat : 10939 (java) S 10921 10921 9870 0 -1 1077944384 68 0 0 0 1 0 0 0 20 0 20 0 420569472 27969658880 31541 33554432000 4194304 4196468 140731713120160 140061950900976 140062760569474 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10940] ppid=10921 vsize=27314120 memory=280578268304016 CPUtime=0.01 cores=0-7 /proc/10924/task/10940/stat : 10940 (java) S 10921 10921 9870 0 -1 1077944384 126 0 0 0 1 0 0 0 20 0 20 0 420569472 27969658880 31541 33554432000 4194304 4196468 140731713120160 140061949848176 140062760569474 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10941] ppid=10921 vsize=27314120 memory=280578268301712 CPUtime=0.07 cores=0-7 /proc/10924/task/10941/stat : 10941 (java) S 10921 10921 9870 0 -1 1077944384 491 0 0 0 7 0 0 0 20 0 20 0 420569472 27969658880 31541 33554432000 4194304 4196468 140731713120160 140061948795376 140062760569474 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10942] ppid=10921 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10924/task/10942/stat : 10942 (java) S 10921 10921 9870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420569472 27969658880 31541 33554432000 4194304 4196468 140731713120160 140059420387936 140062760568533 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10943] ppid=10921 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10924/task/10943/stat : 10943 (java) S 10921 10921 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420569472 27969658880 31541 33554432000 4194304 4196468 140731713120160 140061947742768 140062760569474 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 Current children cumulated CPU time: 0.43 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 127560 KiB [startup+0.700963 s] /proc/loadavg: 6.44 3.79 5.37 2/210 10943 /proc/meminfo: memFree=31243000/32770624 swapFree=66937168/67108860 [pid=10921] ppid=10918 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/10921/stat : 10921 (scop.sh) S 10918 10921 9870 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 420569464 115843072 349 33554432000 4194304 5098028 140720599566592 140720599563848 139743032197756 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26116096 140720599573284 140720599573612 140720599573612 140720599576525 0 /proc/10921/statm: 28282 349 296 221 0 87 0 [pid=10924] ppid=10921 vsize=27320392 memory=163720 CPUtime=1 cores=0-7 /proc/10924/stat : 10924 (java) S 10921 10921 9870 0 -1 1077944320 19959 0 0 0 93 7 0 0 20 0 20 0 420569464 27976081408 40930 33554432000 4194304 4196468 140731713120160 140731713102704 140062760558327 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 /proc/10924/statm: 6830098 40930 3192 1 0 6791447 0 [pid=10924/tid=10925] ppid=10921 vsize=27320392 memory=0 CPUtime=0.68 cores=0-7 /proc/10924/task/10925/stat : 10925 (java) R 10921 10921 9870 0 -1 4202560 16917 0 0 0 62 6 0 0 20 0 20 0 420569465 27976081408 40930 33554432000 4194304 4196468 140731713120160 140062732395216 140062255891730 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10926] ppid=10921 vsize=27320392 memory=140289134338928 CPUtime=0 cores=0-7 /proc/10924/task/10926/stat : 10926 (java) S 10921 10921 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420569467 27976081408 40930 33554432000 4194304 4196468 140731713120160 140062764800656 140062760568533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10927] ppid=10921 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/10924/task/10927/stat : 10927 (java) S 10921 10921 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420569467 27976081408 40930 33554432000 4194304 4196468 140731713120160 140062578956816 140062760568533 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10928] ppid=10921 vsize=27320392 memory=784 CPUtime=0 cores=0-7 /proc/10924/task/10928/stat : 10928 (java) S 10921 10921 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420569467 27976081408 40930 33554432000 4194304 4196468 140731713120160 140062577904016 140062760568533 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 ################ # More data... # ################ [pid=10924/tid=10936] ppid=10921 vsize=27324564 memory=0 CPUtime=0 cores=0-7 /proc/10924/task/10936/stat : 10936 (java) S 10921 10921 9870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420569469 27980353536 66989 33554432000 4194304 4196468 140731713120160 140060292797296 140062760568533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10937] ppid=10921 vsize=27324564 memory=0 CPUtime=0 cores=0-7 /proc/10924/task/10937/stat : 10937 (java) S 10921 10921 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420569472 27980353536 66989 33554432000 4194304 4196468 140731713120160 140059918292816 140062760576923 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10938] ppid=10921 vsize=27324564 memory=6943526294502006880 CPUtime=0.64 cores=0-7 /proc/10924/task/10938/stat : 10938 (java) R 10921 10921 9870 0 -1 4202560 1157 0 0 0 64 0 0 0 20 0 20 0 420569472 27980353536 66989 33554432000 4194304 4196468 140731713120160 140061951942656 140062744055067 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10939] ppid=10921 vsize=27324564 memory=6944656592455088490 CPUtime=0.68 cores=0-7 /proc/10924/task/10939/stat : 10939 (java) R 10921 10921 9870 0 -1 4202560 1156 0 0 0 68 0 0 0 20 0 20 0 420569472 27980353536 66989 33554432000 4194304 4196468 140731713120160 140061950881992 140062744055115 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10940] ppid=10921 vsize=27324564 memory=6791534058613427641 CPUtime=0.7 cores=0-7 /proc/10924/task/10940/stat : 10940 (java) R 10921 10921 9870 0 -1 4202560 894 0 0 0 70 0 0 0 20 0 20 0 420569472 27980353536 66989 33554432000 4194304 4196468 140731713120160 140061949830640 140062744041751 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10941] ppid=10921 vsize=27324564 memory=5787213852867907920 CPUtime=0.48 cores=0-7 /proc/10924/task/10941/stat : 10941 (java) S 10921 10921 9870 0 -1 1077944384 1368 0 0 0 48 0 0 0 20 0 20 0 420569472 27980353536 66989 33554432000 4194304 4196468 140731713120160 140061948795376 140062760569474 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10942] ppid=10921 vsize=27324564 memory=6935649255759568960 CPUtime=0 cores=0-7 /proc/10924/task/10942/stat : 10942 (java) S 10921 10921 9870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420569472 27980353536 66989 33554432000 4194304 4196468 140731713120160 140059420387936 140062760568533 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10943] ppid=10921 vsize=27324564 memory=7301858164987948385 CPUtime=0 cores=0-7 /proc/10924/task/10943/stat : 10943 (java) S 10921 10921 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420569472 27980353536 66989 33554432000 4194304 4196468 140731713120160 140061947742768 140062760569474 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 Current children cumulated CPU time: 4.02 s Current children cumulated vsize: 27437692 KiB Current children cumulated memory: 269352 KiB [startup+3.11016 s] /proc/loadavg: 6.16 3.78 5.36 4/210 10944 /proc/meminfo: memFree=30826436/32770624 swapFree=66937168/67108860 [pid=10921] ppid=10918 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/10921/stat : 10921 (scop.sh) S 10918 10921 9870 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 420569464 115843072 349 33554432000 4194304 5098028 140720599566592 140720599563848 139743032197756 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26116096 140720599573284 140720599573612 140720599573612 140720599576525 0 /proc/10921/statm: 28282 349 296 221 0 87 0 [pid=10924] ppid=10921 vsize=27326612 memory=613368 CPUtime=9.76 cores=0-7 /proc/10924/stat : 10924 (java) S 10921 10921 9870 0 -1 1077944320 33941 0 0 0 957 19 0 0 20 0 20 0 420569464 27982450688 153342 33554432000 4194304 4196468 140731713120160 140731713102704 140062760558327 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 /proc/10924/statm: 6831653 153342 3262 1 0 6792983 0 [pid=10924/tid=10925] ppid=10921 vsize=27326612 memory=56 CPUtime=3.08 cores=0-7 /proc/10924/task/10925/stat : 10925 (java) R 10921 10921 9870 0 -1 4202560 22816 0 0 0 294 14 0 0 20 0 20 0 420569465 27982450688 153342 33554432000 4194304 4196468 140731713120160 140062732394888 140062265229377 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10926] ppid=10921 vsize=27326612 memory=1899429 CPUtime=0 cores=0-7 /proc/10924/task/10926/stat : 10926 (java) S 10921 10921 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420569467 27982450688 153342 33554432000 4194304 4196468 140731713120160 140062764800656 140062760568533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10927] ppid=10921 vsize=27326612 memory=1900674 CPUtime=0 cores=0-7 /proc/10924/task/10927/stat : 10927 (java) S 10921 10921 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420569467 27982450688 153342 33554432000 4194304 4196468 140731713120160 140062578956816 140062760568533 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10928] ppid=10921 vsize=27326612 memory=0 CPUtime=0 cores=0-7 /proc/10924/task/10928/stat : 10928 (java) S 10921 10921 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420569467 27982450688 153342 33554432000 4194304 4196468 140731713120160 140062577904016 140062760568533 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10929] ppid=10921 vsize=27326612 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/10924/task/10929/stat : 10929 (java) S 10921 10921 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420569467 27982450688 153342 33554432000 4194304 4196468 140731713120160 140062576851216 140062760568533 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10930] ppid=10921 vsize=27326612 memory=0 CPUtime=0 cores=0-7 /proc/10924/task/10930/stat : 10930 (java) S 10921 10921 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420569467 27982450688 153342 33554432000 4194304 4196468 140731713120160 140062575799440 140062760568533 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10931] ppid=10921 vsize=27326612 memory=0 CPUtime=0 cores=0-7 /proc/10924/task/10931/stat : 10931 (java) S 10921 10921 9870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420569467 27982450688 153342 33554432000 4194304 4196468 140731713120160 140062178835472 140062760568533 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10932] ppid=10921 vsize=27326612 memory=0 CPUtime=0 cores=0-7 /proc/10924/task/10932/stat : 10932 (java) S 10921 10921 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420569467 27982450688 153342 33554432000 4194304 4196468 140731713120160 140062177782672 140062760568533 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10933] ppid=10921 vsize=27326612 memory=0 CPUtime=0 cores=0-7 /proc/10924/task/10933/stat : 10933 (java) S 10921 10921 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420569467 27982450688 153342 33554432000 4194304 4196468 140731713120160 140062176729872 140062760568533 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10934] ppid=10921 vsize=27326612 memory=1396 CPUtime=0 cores=0-7 /proc/10924/task/10934/stat : 10934 (java) S 10921 10921 9870 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420569469 27982450688 153342 33554432000 4194304 4196468 140731713120160 140061953005936 140062760569474 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10935] ppid=10921 vsize=27326612 memory=1396 CPUtime=0 cores=0-7 /proc/10924/task/10935/stat : 10935 (java) S 10921 10921 9870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420569469 27982450688 153342 33554432000 4194304 4196468 140731713120160 140060427019296 140062760568533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10936] ppid=10921 vsize=27326612 memory=411792 CPUtime=0 cores=0-7 /proc/10924/task/10936/stat : 10936 (java) S 10921 10921 9870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420569469 27982450688 153854 33554432000 4194304 4196468 140731713120160 140060292797296 140062760568533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10937] ppid=10921 vsize=27326612 memory=6296147008013816162 CPUtime=0 cores=0-7 /proc/10924/task/10937/stat : 10937 (java) S 10921 10921 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420569472 27982450688 153854 33554432000 4194304 4196468 140731713120160 140059918292816 140062760576923 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10938] ppid=10921 vsize=27326612 memory=3834030169651163443 CPUtime=1.88 cores=0-7 /proc/10924/task/10938/stat : 10938 (java) S 10921 10921 9870 0 -1 1077944384 2220 0 0 0 187 1 0 0 20 0 20 0 420569472 27982450688 153854 33554432000 4194304 4196468 140731713120160 140061951953776 140062760569474 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10939] ppid=10921 vsize=27326612 memory=2241 CPUtime=2 cores=0-7 /proc/10924/task/10939/stat : 10939 (java) S 10921 10921 9870 0 -1 1077944384 2637 0 0 0 200 0 0 0 20 0 20 0 420569472 27982450688 153854 33554432000 4194304 4196468 140731713120160 140061950900976 140062760569474 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10940] ppid=10921 vsize=27326612 memory=2244 CPUtime=1.95 cores=0-7 /proc/10924/task/10940/stat : 10940 (java) S 10921 10921 9870 0 -1 1077944384 2432 0 0 0 194 1 0 0 20 0 20 0 420569472 27982450688 153854 33554432000 4194304 4196468 140731713120160 140061949848176 140062760569474 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10941] ppid=10921 vsize=27326612 memory=2832 CPUtime=0.81 cores=0-7 /proc/10924/task/10941/stat : 10941 (java) S 10921 10921 9870 0 -1 1077944384 2474 0 0 0 80 1 0 0 20 0 20 0 420569472 27982450688 153854 33554432000 4194304 4196468 140731713120160 140061948795376 140062760569474 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10942] ppid=10921 vsize=27326612 memory=1624 CPUtime=0 cores=0-7 /proc/10924/task/10942/stat : 10942 (java) S 10921 10921 9870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420569472 27982450688 153854 33554432000 4194304 4196468 140731713120160 140059420387936 140062760568533 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10943] ppid=10921 vsize=27326612 memory=1136 CPUtime=0 cores=0-7 /proc/10924/task/10943/stat : 10943 (java) S 10921 10921 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420569472 27982450688 153854 33554432000 4194304 4196468 140731713120160 140061947742768 140062760569474 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 Current children cumulated CPU time: 9.76 s Current children cumulated vsize: 27439740 KiB Current children cumulated memory: 614764 KiB [startup+6.30121 s] /proc/loadavg: 6.16 3.78 5.36 2/210 10944 /proc/meminfo: memFree=29465468/32770624 swapFree=66937168/67108860 [pid=10921] ppid=10918 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/10921/stat : 10921 (scop.sh) S 10918 10921 9870 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 420569464 115843072 349 33554432000 4194304 5098028 140720599566592 140720599563848 139743032197756 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26116096 140720599573284 140720599573612 140720599573612 140720599576525 0 /proc/10921/statm: 28282 349 296 221 0 87 0 [pid=10924] ppid=10921 vsize=27326612 memory=2034252 CPUtime=13.17 cores=0-7 /proc/10924/stat : 10924 (java) S 10921 10921 9870 0 -1 1077944320 35050 0 0 0 1277 40 0 0 20 0 20 0 420569464 27982450688 508563 33554432000 4194304 4196468 140731713120160 140731713102704 140062760558327 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 /proc/10924/statm: 6831653 508563 3263 1 0 6792983 0 [pid=10924/tid=10925] ppid=10921 vsize=27326612 memory=8546823402028195750 CPUtime=6.27 cores=0-7 /proc/10924/task/10925/stat : 10925 (java) R 10921 10921 9870 0 -1 4202560 23513 0 0 0 592 35 0 0 20 0 20 0 420569465 27982450688 508563 33554432000 4194304 4196468 140731713120160 140062732388832 140062256876400 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10926] ppid=10921 vsize=27326612 memory=-2461829820114675750 CPUtime=0 cores=0-7 /proc/10924/task/10926/stat : 10926 (java) S 10921 10921 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420569467 27982450688 508563 33554432000 4194304 4196468 140731713120160 140062764800656 140062760568533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10927] ppid=10921 vsize=27326612 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/10924/task/10927/stat : 10927 (java) S 10921 10921 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420569467 27982450688 508563 33554432000 4194304 4196468 140731713120160 140062578956816 140062760568533 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10928] ppid=10921 vsize=27326612 memory=5450909908396308010 CPUtime=0 cores=0-7 /proc/10924/task/10928/stat : 10928 (java) S 10921 10921 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420569467 27982450688 508563 33554432000 4194304 4196468 140731713120160 140062577904016 140062760568533 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10929] ppid=10921 vsize=27326612 memory=-7028383565733675155 CPUtime=0 cores=0-7 /proc/10924/task/10929/stat : 10929 (java) S 10921 10921 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420569467 27982450688 508563 33554432000 4194304 4196468 140731713120160 140062576851216 140062760568533 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10930] ppid=10921 vsize=27326612 memory=-7028383565733675155 CPUtime=0 cores=0-7 /proc/10924/task/10930/stat : 10930 (java) S 10921 10921 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420569467 27982450688 508563 33554432000 4194304 4196468 140731713120160 140062575799440 140062760568533 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10931] ppid=10921 vsize=27326612 memory=56 CPUtime=0 cores=0-7 /proc/10924/task/10931/stat : 10931 (java) S 10921 10921 9870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420569467 27982450688 508563 33554432000 4194304 4196468 140731713120160 140062178835472 140062760568533 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10932] ppid=10921 vsize=27326612 memory=1899429 CPUtime=0 cores=0-7 /proc/10924/task/10932/stat : 10932 (java) S 10921 10921 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420569467 27982450688 508563 33554432000 4194304 4196468 140731713120160 140062177782672 140062760568533 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10933] ppid=10921 vsize=27326612 memory=1900674 CPUtime=0 cores=0-7 /proc/10924/task/10933/stat : 10933 (java) S 10921 10921 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420569467 27982450688 508563 33554432000 4194304 4196468 140731713120160 140062176729872 140062760568533 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10934] ppid=10921 vsize=27326612 memory=0 CPUtime=0 cores=0-7 /proc/10924/task/10934/stat : 10934 (java) S 10921 10921 9870 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 420569469 27982450688 508563 33554432000 4194304 4196468 140731713120160 140061953005936 140062760569474 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10935] ppid=10921 vsize=27326612 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/10924/task/10935/stat : 10935 (java) S 10921 10921 9870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420569469 27982450688 508563 33554432000 4194304 4196468 140731713120160 140060427019296 140062760568533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10936] ppid=10921 vsize=27326612 memory=0 CPUtime=0 cores=0-7 /proc/10924/task/10936/stat : 10936 (java) S 10921 10921 9870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420569469 27982450688 508563 33554432000 4194304 4196468 140731713120160 140060292797296 140062760568533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10937] ppid=10921 vsize=27326612 memory=0 CPUtime=0 cores=0-7 /proc/10924/task/10937/stat : 10937 (java) S 10921 10921 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420569472 27982450688 508563 33554432000 4194304 4196468 140731713120160 140059918292816 140062760576923 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10938] ppid=10921 vsize=27326612 memory=0 CPUtime=1.92 cores=0-7 /proc/10924/task/10938/stat : 10938 (java) R 10921 10921 9870 0 -1 4202560 2248 0 0 0 191 1 0 0 20 0 20 0 420569472 27982450688 508563 33554432000 4194304 4196468 140731713120160 140061951953776 140062738305833 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10939] ppid=10921 vsize=27326612 memory=0 CPUtime=2.08 cores=0-7 /proc/10924/task/10939/stat : 10939 (java) R 10921 10921 9870 0 -1 4202560 2656 0 0 0 208 0 0 0 20 0 20 0 420569472 27982450688 508563 33554432000 4194304 4196468 140731713120160 140061950889264 140062745477204 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10940] ppid=10921 vsize=27326612 memory=0 CPUtime=2.04 cores=0-7 /proc/10924/task/10940/stat : 10940 (java) R 10921 10921 9870 0 -1 4202560 2771 0 0 0 203 1 0 0 20 0 20 0 420569472 27982450688 508563 33554432000 4194304 4196468 140731713120160 140061949834464 140062739804175 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10941] ppid=10921 vsize=27326612 memory=0 CPUtime=0.83 cores=0-7 /proc/10924/task/10941/stat : 10941 (java) S 10921 10921 9870 0 -1 1077944384 2497 0 0 0 82 1 0 0 20 0 20 0 420569472 27982450688 508563 33554432000 4194304 4196468 140731713120160 140061948795376 140062760569474 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10942] ppid=10921 vsize=27326612 memory=0 CPUtime=0 cores=0-7 /proc/10924/task/10942/stat : 10942 (java) S 10921 10921 9870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420569472 27982450688 508563 33554432000 4194304 4196468 140731713120160 140059420387936 140062760568533 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 [pid=10924/tid=10943] ppid=10921 vsize=27326612 memory=0 CPUtime=0 cores=0-7 /proc/10924/task/10943/stat : 10943 (java) S 10921 10921 9870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420569472 27982450688 508563 33554432000 4194304 4196468 140731713120160 140061947742768 140062760569474 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 29 0 0 6293624 6294260 16580608 140731713127146 140731713127574 140731713127574 140731713130447 0 Current children cumulated CPU time: 13.17 s Current children cumulated vsize: 27439740 KiB Current children cumulated memory: 2035648 KiB [startup+12.7004 s] /proc/loadavg: 5.52 3.72 5.32 2/209 10944 /proc/meminfo: memFree=26717488/32770624 swapFree=66937168/67108860 [pid=10921] ppid=10918 vsize=113128 memory=1476 CPUtime=22.43 cores=0-7 /proc/10921/stat : 10921 (scop.sh) S 10918 10921 9870 0 -1 4202496 582 41837 0 0 0 0 2157 86 20 0 1 0 420569464 115843072 369 33554432000 4194304 5098028 140720599566592 140720599563336 139743032197756 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 26116096 140720599573284 140720599573612 140720599573612 140720599576525 0 /proc/10921/statm: 28282 369 311 221 0 87 0 Current children cumulated CPU time: 22.43 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1476 KiB [startup+12.9559 s] # the end of solver process 10921 was just reported to runsolver # cumulated CPU time of all completed processes: user=23.146 s, system=0.974532 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+12.8053 s] /proc/loadavg: 5.52 3.72 5.32 2/209 10944 /proc/meminfo: memFree=26717488/32770624 swapFree=66937168/67108860 [pid=10921] ppid=10918 vsize=113128 memory=1476 CPUtime=22.43 cores=0-7 /proc/10921/stat : 10921 (scop.sh) S 10918 10921 9870 0 -1 4202496 582 41837 0 0 0 0 2157 86 20 0 1 0 420569464 115843072 369 33554432000 4194304 5098028 140720599566592 140720599563336 139743032197756 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 26116096 140720599573284 140720599573612 140720599573612 140720599576525 0 /proc/10921/statm: 28282 369 311 221 0 87 0 Current children cumulated CPU time: 22.43 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1476 KiB [startup+12.9082 s] /proc/loadavg: 5.52 3.72 5.32 2/209 10944 /proc/meminfo: memFree=26717488/32770624 swapFree=66937168/67108860 [pid=10921] ppid=10918 vsize=113128 memory=1476 CPUtime=22.43 cores=0-7 /proc/10921/stat : 10921 (scop.sh) S 10918 10921 9870 0 -1 4202496 582 41837 0 0 0 0 2157 86 20 0 1 0 420569464 115843072 369 33554432000 4194304 5098028 140720599566592 140720599563336 139743032197756 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 26116096 140720599573284 140720599573612 140720599573612 140720599576525 0 /proc/10921/statm: 28282 369 311 221 0 87 0 Current children cumulated CPU time: 22.43 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1476 KiB Child status: 0 Real time (s): 12.956 CPU time (s): 24.1205 CPU user time (s): 23.146 CPU system time (s): 0.974532 CPU usage (%): 186.172 Max. virtual memory (cumulated for all children) (KiB): 27443924 Max. memory (cumulated for all children) (KiB): 4671960 getrusage(RUSAGE_CHILDREN,...) data: user time used= 23.146 system time used= 0.974532 maximum resident set size= 4670900 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 69321 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2312 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8586 involuntary context switches= 45 # summary of solver processes directly reported to runsolver: # pid: 10921 # total CPU time (s): 24.1205 # total CPU user time (s): 23.146 # total CPU system time (s): 0.974532 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.107592 second user time and 0.183499 second system time The end
Begin job on node105 at 2019-09-14 07:36:56 IDJOB=4392645 IDBENCH=139116 IDSOLVER=2839 FILE ID=node105/4392645-1568443111 RUNJOBID= node105-1568433701-9897 PBS_JOBID= 21702321 Free space on /tmp= 60864 MiB SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15) BENCH NAME= XCSP17/LatinSquare/LatinSquare-xcsp2-qcp25/qcp-25-264-12_X2.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392645-1568443111/watcher-4392645-1568443111 -o /tmp/evaluation-result-4392645-1568443111/solver-4392645-1568443111 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1568433701-9897 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392645-1568443111.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 0da6a8f2891de305d0b0efc67f372d88 RANDOM SEED=2105555359 node105.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 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: 31381356 kB MemAvailable: 31856332 kB Buffers: 190668 kB Cached: 576312 kB SwapCached: 67728 kB Active: 428496 kB Inactive: 410480 kB Active(anon): 12104 kB Inactive(anon): 93572 kB Active(file): 416392 kB Inactive(file): 316908 kB Unevictable: 107584 kB Mlocked: 107584 kB SwapTotal: 67108860 kB SwapFree: 66937168 kB Dirty: 21088 kB Writeback: 0 kB AnonPages: 60076 kB Mapped: 37880 kB Shmem: 24816 kB Slab: 143772 kB SReclaimable: 115024 kB SUnreclaim: 28748 kB KernelStack: 3856 kB PageTables: 5232 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 489928 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 14336 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 60844 MiB End job on node105 at 2019-09-14 07:37:09