Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP hybrid+ManyGlucose (2019-09-22) | SAT | 17.6894 | 7.13405 |
Name | QRandom/ QRandom-geometric-rw/geometric-50-20-d4-75-08.xml |
MD5SUM | ee1da6b537c1ecd46a877bd70c24ae39 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.402036 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 50 |
Number of constraints | 477 |
Number of domains | 1 |
Minimum domain size | 20 |
Maximum domain size | 20 |
Distribution of domain sizes | [{"size":20,"count":50}] |
Minimum variable degree | 8 |
Maximum variable degree | 30 |
Distribution of variable degrees | [{"degree":8,"count":1},{"degree":9,"count":2},{"degree":10,"count":3},{"degree":12,"count":2},{"degree":13,"count":2},{"degree":14,"count":2},{"degree":17,"count":5},{"degree":18,"count":4},{"degree":19,"count":4},{"degree":20,"count":6},{"degree":22,"count":5},{"degree":23,"count":2},{"degree":24,"count":5},{"degree":25,"count":1},{"degree":26,"count":1},{"degree":27,"count":2},{"degree":28,"count":2},{"degree":30,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":477}] |
Number of extensional constraints | 477 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":477}] |
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-10022-serial-file.bin HOME/instance-4405431-1569335993.xml 0.65/0.54 0.65/0.54 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 0.65/0.54 0.65/0.56 c BEGIN-Prog: Tue Sep 24 16:42:06 CEST 2019 0.65/0.56 c PID: 10025 0.65/0.56 c IP: 172.20.3.139 0.65/0.56 c HOST: node139.alineos.net 0.65/0.57 c (0,0) Parsing Begin 2.64/1.18 c (0,0) Parsing End 2.64/1.18 c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 477 ctr, max domain size 20 2.64/1.18 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 2.64/1.18 c (0,0) Constraint Name Generate Begin 2.64/1.19 c (0,0) Ctr:HOME/instance-4405431-1569335993.xml,ExtensionConflict:Var 2.64/1.19 c (0,0) Constraint Name Generate End 2.64/1.19 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 2.64/1.19 c (0,0) CSP to CSPinCNF Begin 5.51/1.94 c (1,1) translated 48 (10%) constraints 6.72/2.20 c (1,1) translated 96 (20%) constraints 7.53/2.45 c (1,1) translated 144 (30%) constraints 8.73/2.71 c (2,2) translated 191 (40%) constraints 9.27/2.91 c (2,2) translated 239 (50%) constraints 9.42/3.10 c (2,2) translated 287 (60%) constraints 9.67/3.29 c (2,2) translated 334 (70%) constraints 9.90/3.48 c (2,2) translated 382 (80%) constraints 10.16/3.66 c (3,3) translated 430 (90%) constraints 10.37/3.85 c (3,3) translated 477 (100%) constraints 10.37/3.86 c (3,3) =========================================== 10.37/3.90 c (3,3) Hybrid: #OE=50, #LE=0 10.37/3.90 c (3,3) Hybrid 10.37/3.90 c (3,3) =========================================== 10.84/4.02 c (3,3) translated 3616 (10%) constraints 11.10/4.11 c (3,3) translated 7232 (20%) constraints 11.10/4.19 c (3,3) translated 10848 (30%) constraints 11.21/4.27 c (3,3) translated 14464 (40%) constraints 11.31/4.36 c (3,3) translated 18080 (50%) constraints 11.40/4.44 c (3,3) translated 21696 (60%) constraints 11.51/4.52 c (3,3) translated 25312 (70%) constraints 11.60/4.60 c (4,4) translated 28928 (80%) constraints 11.60/4.68 c (4,4) translated 32544 (90%) constraints 11.72/4.77 c (4,4) translated 36159 (100%) constraints 11.72/4.77 c (4,4) CSP to CSPinCNF End 11.72/4.77 c (4,4) CSP: 50 int (0 aux), 0 bool (0 aux), 36159 ctr, max domain size 20 11.72/4.77 c (4,4) Heap : 1576 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 11.72/4.77 c (4,4) CSPinCNF Propagation Begin 12.45/5.04 c (4,4) 0 values, 4172 unsatisfiable literals, and 0 valid clauses are removed 12.45/5.04 c (4,4) CSPinCNF Propagation End 12.45/5.04 c (4,4) CSP: 50 int (0 aux), 0 bool (0 aux), 36159 ctr, max domain size 20 12.45/5.04 c (4,4) Heap : 1802 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 12.45/5.08 c (4,4) Hybrid: #OE=50, #LE=0 12.45/5.08 c (4,4) Simplify CSPinCNF Begin 12.74/5.20 c (4,4) Simplify CSPinCNF End 12.74/5.20 c (4,4) CSP: 50 int (0 aux), 0 bool (0 aux), 36159 ctr, max domain size 20 12.74/5.20 c (4,4) Heap : 1802 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 12.74/5.20 c (4,4) Calculate Precise Domain Begin 12.74/5.20 c (4,4) 0 values are removed by re-calculation 12.74/5.20 c (4,4) Calculate Precise Domain End 12.74/5.21 c (4,4) CSP: 50 int (0 aux), 0 bool (0 aux), 36159 ctr, max domain size 20 12.74/5.21 c (4,4) Heap : 1802 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 12.74/5.21 c (4,4) CSPinCNF to SatSolver Begin 13.43/5.41 c (4,4) 3616 (10 %) CSP clauses are encoded (0 SAT variables, 4515 SAT clauses) 13.85/5.50 c (4,4) 7232 (20 %) CSP clauses are encoded (0 SAT variables, 8131 SAT clauses) 13.85/5.56 c (5,5) 10848 (30 %) CSP clauses are encoded (0 SAT variables, 11747 SAT clauses) 14.19/5.61 c (5,5) 14464 (40 %) CSP clauses are encoded (0 SAT variables, 15363 SAT clauses) 14.19/5.66 c (5,5) 18080 (50 %) CSP clauses are encoded (0 SAT variables, 18979 SAT clauses) 14.29/5.70 c (5,5) 21696 (60 %) CSP clauses are encoded (0 SAT variables, 22595 SAT clauses) 14.29/5.75 c (5,5) 25312 (70 %) CSP clauses are encoded (0 SAT variables, 26211 SAT clauses) 14.29/5.79 c (5,5) 28928 (80 %) CSP clauses are encoded (0 SAT variables, 29827 SAT clauses) 14.40/5.84 c (5,5) 32544 (90 %) CSP clauses are encoded (0 SAT variables, 33443 SAT clauses) 14.40/5.88 c (5,5) 36159 (100 %) CSP clauses are encoded (0 SAT variables, 37058 SAT clauses) 14.40/5.88 c (5,5) CSPinCNF to SatSolver End 14.40/5.88 c (5,5) Heap : 2140 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB) 14.40/5.88 c (5,5) 950 bool, 37059 clause 14.40/5.88 c (5,5) Export Begin 14.53/5.97 c (5,5) Export to HOME/scop-10022-serial-file.bin 14.53/5.97 c (5,5) Export End 14.53/5.98 c (5,5) Export File Size: 0.01 MB 14.53/5.98 c (5,5) 0,0,4,4,4,4,5,STOP-AFTER(DIMACS) 14.53/5.98 c END-Prog: Tue Sep 24 16:42:12 CEST 2019 14.53/5.99 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-10022-serial-file.bin 15.26/6.46 c (0,0) Read Serial File Begin 15.26/6.46 c (0,0) HOME/scop-10022-serial-file.bin 15.54/6.67 c (0,0) Read Serial File End 15.54/6.68 15.54/6.68 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 15.54/6.68 (Solving Process) 15.54/6.68 15.70/6.70 c BEGIN-Prog: Tue Sep 24 16:42:12 CEST 2019 15.70/6.70 c PID: 10047 15.70/6.70 c IP: 172.20.3.139 15.70/6.70 c HOST: node139.alineos.net 15.70/6.71 c (0,0) SatSolver.solve Begin 15.70/6.71 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405431-1569335993.xml-scop-10025.cnf 15.70/6.74 c (0,0) c 15.70/6.74 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) 15.70/6.74 c (0,0) c 15.70/6.74 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 15.70/6.74 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 15.70/6.74 c (0,0) c ========================================[ Problem Statistics ]=========================================== 15.70/6.74 c (0,0) c | | 15.70/6.74 c (0,0) c | Number of variables: 950 | 15.70/6.74 c (0,0) c | Number of clauses: 37059 | 15.70/6.74 c (0,0) c | Parse time: 0.01 s | 15.70/6.74 c (0,0) c | | 15.70/6.78 c (0,0) c | Simplification time: 0.04 s | 15.70/6.78 c (0,0) c | | 15.70/6.78 c (0,0) c | Generating clones | 15.70/6.79 c (0,0) c | all clones generated. Memory = 41.87Mb. | 15.70/6.79 c (0,0) c ========================================================================================================| 15.70/6.79 c (0,0) c 15.70/6.79 c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 15.70/6.79 c (0,0) c 15.70/6.79 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 15.70/6.79 c (0,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 15.70/6.79 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 15.70/6.79 c (0,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 15.70/6.79 c (0,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 15.70/6.79 c (0,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 15.70/6.79 c (0,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 15.70/6.79 c (0,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 15.70/6.79 c (0,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 15.70/6.79 c (0,0) c | glureduce | True | True | True | True | True | True | True | True | 15.70/6.79 c (0,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 15.70/6.79 c (0,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 15.70/6.79 c (0,0) c | luby_restart | False | False | False | False | False | False | False | False | 15.70/6.79 c (0,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 15.70/6.79 c (0,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 15.70/6.79 c (0,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 15.70/6.79 c (0,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 15.70/6.79 c (0,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 15.70/6.79 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 15.92/7.00 c (0,0) c 15.92/7.00 c (0,0) c real time : 0.270211 s 15.92/7.00 c (0,0) c cpu time : 1.44504 s 15.92/7.00 c (0,0) c 15.92/7.00 c (0,0) c 15.92/7.00 c (0,0) c 15.92/7.00 c (0,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 15.92/7.00 c (0,0) c 15.92/7.00 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 15.92/7.00 c (0,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 15.92/7.00 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 15.92/7.00 c (0,0) c | Conflicts | 43644 | 5740 | 4897 | 6850 | 5150 | 6016 | 5090 | 4971 | 4930 | 15.92/7.00 c (0,0) c | Decisions | 53525 | 6957 | 6002 | 8432 | 6248 | 7272 | 6350 | 6187 | 6077 | 15.92/7.00 c (0,0) c | Propagations | 4063763 | 571812 | 454264 | 595582 | 451363 | 562835 | 497111 | 471891 | 458905 | 15.92/7.00 c (0,0) c | ReduceDBs | 9 | 1 | 1 | 2 | 1 | 1 | 1 | 1 | 1 | 15.92/7.00 c (0,0) c | SimpDBs | 8 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 15.92/7.00 c (0,0) c | Restarts | 29 | 2 | 6 | 3 | 5 | 2 | 3 | 3 | 5 | 15.92/7.00 c (0,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 15.92/7.00 c (0,0) c | PropBinClauses| 3942111 | 547558 | 445376 | 583566 | 441746 | 539784 | 483479 | 454383 | 446219 | 15.92/7.00 c (0,0) c | PropPreBlocker| 113008729 | 17095070 | 12794693 | 16611137 | 12523551 | 17351752 | 11954182 | 12155871 | 12522473 | 15.92/7.00 c (0,0) c | PropNotBlocker| 24021949 | 3350856 | 2679009 | 3410348 | 2662822 | 3240121 | 2990437 | 2876699 | 2811657 | 15.92/7.00 c (0,0) c | LitFullScans | 162122311 | 24002106 | 18107717 | 24001826 | 18000885 | 24002780 | 18001933 | 18000526 | 18004538 | 15.92/7.00 c (0,0) c | LitScanFracts | 5560 | 617 | 303 | 875 | 712 | 1632 | 631 | 526 | 264 | 15.92/7.00 c (0,0) c | DecisionLevel0| 29 | 2 | 6 | 3 | 5 | 2 | 3 | 3 | 5 | 15.92/7.00 c (0,0) c | Periods | 27 | 4 | 3 | 4 | 3 | 4 | 3 | 3 | 3 | 15.92/7.00 c (0,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 15.92/7.00 c (0,0) c | Avg_Trail | | 389 | 355 | 367 | 370 | 358 | 408 | 418 | 359 | 15.92/7.00 c (0,0) c | Avg_DL | | 33 | 15 | 20 | 24 | 22 | 22 | 21 | 13 | 15.92/7.00 c (0,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 15.92/7.00 c (0,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 15.92/7.00 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 15.92/7.00 c (0,0) c | Exported | 1324 | 266 | 12 | 538 | 56 | 369 | 59 | 12 | 12 | 15.92/7.00 c (0,0) c | Imported | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 15.92/7.00 c (0,0) c | Good | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 15.92/7.00 c (0,0) c | Purge | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 15.92/7.00 c (0,0) c | Promoted | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 15.92/7.00 c (0,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 15.92/7.00 c (0,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 15.92/7.00 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 15.92/7.00 c (0,0) c | Unaries | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 15.92/7.00 c (0,0) c | Binaries | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 15.92/7.00 c (0,0) c | Glues | | 10 | 12 | 17 | 10 | 11 | 22 | 12 | 12 | 15.92/7.00 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 15.92/7.00 c (0,0) c | Orig_Seen | 25 % | 9737 | 10161 | 8976 | 8592 | 6468 | 9793 | 10741 | 10309 | 15.92/7.00 c (0,0) c | Diff Orig seen| | - 424 | X | - 1185 | - 1569 | - 3693 | - 368 | 580 | 148 | 15.92/7.00 c (0,0) c | Hamming | 33 % | 308 | X | 294 | 328 | 352 | 322 | 341 | 293 | 15.92/7.00 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 15.92/7.00 c (0,0) c | RunningTime | | 0.2 100%| 0.2 100%| 0.2 100%| 0.2 100%| 0.2 100%| 0.2 100%| 0.2 100%| 0.2 100%| 15.92/7.00 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%| 15.92/7.00 c (0,0) c | ExchangingTime| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 15.92/7.00 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%| 15.92/7.00 c (0,0) c | SolvingTime | | 0.2 | 0.2 | 0.2 | 0.2 | 0.2 | 0.2 | 0.2 | 0.2 | 15.92/7.00 c (0,0) c | PropagationTim| | 0.2 82%| 0.1 82%| 0.2 79%| 0.1 81%| 0.2 81%| 0.1 82%| 0.1 81%| 0.1 82%| 15.92/7.00 c (0,0) c | AnalysisTime | | 0.0 14%| 0.0 14%| 0.0 15%| 0.0 15%| 0.0 15%| 0.0 14%| 0.0 15%| 0.0 14%| 15.92/7.00 c (0,0) c | ReductionTime | | 0.0 0%| 0.0 0%| 0.0 2%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 15.92/7.00 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%| 15.92/7.00 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%| 15.92/7.00 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%| 15.92/7.00 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 15.92/7.00 c (0,0) c 15.92/7.00 c (0,0) c 15.92/7.00 c (0,0) c Threads : 8 15.92/7.00 c (0,0) c Winner : 1 15.92/7.00 c (0,0) c Conflicts_0 : 5740 15.92/7.00 c (0,0) c Conflicts_1 : 4897 15.92/7.00 c (0,0) c Conflicts_2 : 6850 15.92/7.00 c (0,0) c Conflicts_3 : 5150 15.92/7.00 c (0,0) c Conflicts_4 : 6016 15.92/7.00 c (0,0) c Conflicts_5 : 5090 15.92/7.00 c (0,0) c Conflicts_6 : 4971 15.92/7.00 c (0,0) c Conflicts_7 : 4930 15.92/7.00 c (0,0) c Conflicts_total : 43644 15.92/7.00 c (0,0) c Conflicts_winner : 4897 15.92/7.00 c (0,0) c Decisions_0 : 6957 15.92/7.01 c (0,0) c Decisions_1 : 6002 15.92/7.01 c (0,0) c Decisions_2 : 8432 15.92/7.01 c (0,0) c Decisions_3 : 6248 15.92/7.01 c (0,0) c Decisions_4 : 7272 15.92/7.01 c (0,0) c Decisions_5 : 6350 15.92/7.01 c (0,0) c Decisions_6 : 6187 15.92/7.01 c (0,0) c Decisions_7 : 6077 15.92/7.01 c (0,0) c Decisions_total : 53525 15.92/7.01 c (0,0) c Decisions_winner : 6002 15.92/7.01 c (0,0) c Propagations_0 : 571812 15.92/7.01 c (0,0) c Propagations_1 : 454264 15.92/7.01 c (0,0) c Propagations_2 : 595582 15.92/7.01 c (0,0) c Propagations_3 : 451363 15.92/7.01 c (0,0) c Propagations_4 : 562835 15.92/7.01 c (0,0) c Propagations_5 : 497111 15.92/7.01 c (0,0) c Propagations_6 : 471891 15.92/7.01 c (0,0) c Propagations_7 : 458905 15.92/7.01 c (0,0) c Propagations_total : 4063763 15.92/7.01 c (0,0) c Propagations_winner : 454264 15.92/7.01 c (0,0) c ReduceDBs_0 : 1 15.92/7.01 c (0,0) c ReduceDBs_1 : 1 15.92/7.01 c (0,0) c ReduceDBs_2 : 2 15.92/7.01 c (0,0) c ReduceDBs_3 : 1 15.92/7.01 c (0,0) c ReduceDBs_4 : 1 15.92/7.01 c (0,0) c ReduceDBs_5 : 1 15.92/7.01 c (0,0) c ReduceDBs_6 : 1 15.92/7.01 c (0,0) c ReduceDBs_7 : 1 15.92/7.01 c (0,0) c ReduceDBs_total : 9 15.92/7.01 c (0,0) c ReduceDBs_winner : 1 17.43/7.01 c (0,0) c SimpDBs_0 : 1 17.43/7.01 c (0,0) c SimpDBs_1 : 1 17.43/7.01 c (0,0) c SimpDBs_2 : 1 17.43/7.01 c (0,0) c SimpDBs_3 : 1 17.43/7.01 c (0,0) c SimpDBs_4 : 1 17.43/7.01 c (0,0) c SimpDBs_5 : 1 17.43/7.01 c (0,0) c SimpDBs_6 : 1 17.43/7.01 c (0,0) c SimpDBs_7 : 1 17.43/7.01 c (0,0) c SimpDBs_total : 8 17.43/7.01 c (0,0) c SimpDBs_winner : 1 17.43/7.01 c (0,0) c Restarts_0 : 2 17.43/7.01 c (0,0) c Restarts_1 : 6 17.43/7.01 c (0,0) c Restarts_2 : 3 17.43/7.01 c (0,0) c Restarts_3 : 5 17.43/7.01 c (0,0) c Restarts_4 : 2 17.43/7.01 c (0,0) c Restarts_5 : 3 17.43/7.01 c (0,0) c Restarts_6 : 3 17.43/7.01 c (0,0) c Restarts_7 : 5 17.43/7.01 c (0,0) c Restarts_total : 29 17.43/7.01 c (0,0) c Restarts_winner : 6 17.43/7.01 c (0,0) c ForcedImports_0 : 0 17.43/7.01 c (0,0) c ForcedImports_1 : 0 17.43/7.01 c (0,0) c ForcedImports_2 : 0 17.43/7.01 c (0,0) c ForcedImports_3 : 0 17.43/7.01 c (0,0) c ForcedImports_4 : 0 17.43/7.01 c (0,0) c ForcedImports_5 : 0 17.43/7.01 c (0,0) c ForcedImports_6 : 0 17.43/7.01 c (0,0) c ForcedImports_7 : 0 17.43/7.01 c (0,0) c ForcedImports_total : 0 17.43/7.01 c (0,0) c ForcedImports_winner : 0 17.43/7.01 c (0,0) c PropsBinClauses_0 : 547558 17.43/7.01 c (0,0) c PropsBinClauses_1 : 445376 17.43/7.01 c (0,0) c PropsBinClauses_2 : 583566 17.43/7.01 c (0,0) c PropsBinClauses_3 : 441746 17.43/7.01 c (0,0) c PropsBinClauses_4 : 539784 17.43/7.01 c (0,0) c PropsBinClauses_5 : 483479 17.43/7.01 c (0,0) c PropsBinClauses_6 : 454383 17.43/7.01 c (0,0) c PropsBinClauses_7 : 446219 17.43/7.01 c (0,0) c PropsBinClauses_total : 3942111 17.43/7.01 c (0,0) c PropsBinClauses_winner : 445376 17.43/7.01 c (0,0) c PropsPreBlocker_0 : 17095070 17.43/7.01 c (0,0) c PropsPreBlocker_1 : 12794693 17.43/7.01 c (0,0) c PropsPreBlocker_2 : 16611137 17.43/7.01 c (0,0) c PropsPreBlocker_3 : 12523551 17.43/7.01 c (0,0) c PropsPreBlocker_4 : 17351752 17.43/7.01 c (0,0) c PropsPreBlocker_5 : 11954182 17.43/7.01 c (0,0) c PropsPreBlocker_6 : 12155871 17.43/7.01 c (0,0) c PropsPreBlocker_7 : 12522473 17.43/7.01 c (0,0) c PropsPreBlocker_total : 113008729 17.43/7.01 c (0,0) c PropsPreBlocker_winner : 12794693 17.43/7.01 c (0,0) c PropsNotBlocker_0 : 3350856 17.43/7.01 c (0,0) c PropsNotBlocker_1 : 2679009 17.43/7.01 c (0,0) c PropsNotBlocker_2 : 3410348 17.43/7.01 c (0,0) c PropsNotBlocker_3 : 2662822 17.43/7.01 c (0,0) c PropsNotBlocker_4 : 3240121 17.43/7.01 c (0,0) c PropsNotBlocker_5 : 2990437 17.43/7.01 c (0,0) c PropsNotBlocker_6 : 2876699 17.43/7.01 c (0,0) c PropsNotBlocker_7 : 2811657 17.43/7.01 c (0,0) c PropsNotBlocker_total : 24021949 17.43/7.01 c (0,0) c PropsNotBlocker_winner : 2679009 17.43/7.01 c (0,0) c PropsLitFullScans_0 : 24002106 17.43/7.01 c (0,0) c PropsLitFullScans_1 : 18107717 17.43/7.01 c (0,0) c PropsLitFullScans_2 : 24001826 17.43/7.01 c (0,0) c PropsLitFullScans_3 : 18000885 17.43/7.01 c (0,0) c PropsLitFullScans_4 : 24002780 17.43/7.01 c (0,0) c PropsLitFullScans_5 : 18001933 17.43/7.01 c (0,0) c PropsLitFullScans_6 : 18000526 17.43/7.01 c (0,0) c PropsLitFullScans_7 : 18004538 17.43/7.01 c (0,0) c PropsLitFullScans_total : 162122311 17.43/7.01 c (0,0) c PropsLitFullScans_winner : 18107717 17.43/7.01 c (0,0) c LitScanFractions_0 : 617 17.43/7.01 c (0,0) c LitScanFractions_1 : 303 17.43/7.01 c (0,0) c LitScanFractions_2 : 875 17.43/7.01 c (0,0) c LitScanFractions_3 : 712 17.43/7.01 c (0,0) c LitScanFractions_4 : 1632 17.43/7.01 c (0,0) c LitScanFractions_5 : 631 17.43/7.01 c (0,0) c LitScanFractions_6 : 526 17.43/7.01 c (0,0) c LitScanFractions_7 : 264 17.43/7.01 c (0,0) c LitScanFractions_total : 5560 17.43/7.01 c (0,0) c LitScanFractions_winner : 303 17.43/7.01 c (0,0) c DecisionLevel0_0 : 2 17.43/7.01 c (0,0) c DecisionLevel0_1 : 6 17.43/7.01 c (0,0) c DecisionLevel0_2 : 3 17.43/7.01 c (0,0) c DecisionLevel0_3 : 5 17.43/7.01 c (0,0) c DecisionLevel0_4 : 2 17.43/7.01 c (0,0) c DecisionLevel0_5 : 3 17.43/7.01 c (0,0) c DecisionLevel0_6 : 3 17.43/7.01 c (0,0) c DecisionLevel0_7 : 5 17.43/7.01 c (0,0) c DecisionLevel0_total : 29 17.43/7.01 c (0,0) c DecisionLevel0_winner : 6 17.43/7.01 c (0,0) c Periods_0 : 4 17.43/7.01 c (0,0) c Periods_1 : 3 17.43/7.01 c (0,0) c Periods_2 : 4 17.43/7.01 c (0,0) c Periods_3 : 3 17.43/7.01 c (0,0) c Periods_4 : 4 17.43/7.01 c (0,0) c Periods_5 : 3 17.43/7.01 c (0,0) c Periods_6 : 3 17.43/7.01 c (0,0) c Periods_7 : 3 17.43/7.01 c (0,0) c Periods_total : 27 17.43/7.01 c (0,0) c Periods_winner : 3 17.43/7.01 c (0,0) c Margin_0 : 20 17.43/7.01 c (0,0) c Margin_1 : 20 17.43/7.01 c (0,0) c Margin_2 : 20 17.43/7.01 c (0,0) c Margin_3 : 20 17.43/7.01 c (0,0) c Margin_4 : 20 17.43/7.01 c (0,0) c Margin_5 : 20 17.43/7.01 c (0,0) c Margin_6 : 20 17.43/7.01 c (0,0) c Margin_7 : 20 17.43/7.01 c (0,0) c Margin_total : 160 17.43/7.01 c (0,0) c Margin_winner : 20 17.43/7.01 c (0,0) c Exported_0 : 266 17.43/7.01 c (0,0) c Exported_1 : 12 17.43/7.01 c (0,0) c Exported_2 : 538 17.43/7.01 c (0,0) c Exported_3 : 56 17.43/7.01 c (0,0) c Exported_4 : 369 17.43/7.01 c (0,0) c Exported_5 : 59 17.43/7.01 c (0,0) c Exported_6 : 12 17.43/7.01 c (0,0) c Exported_7 : 12 17.43/7.01 c (0,0) c Exported_total : 1324 17.43/7.01 c (0,0) c Exported_winner : 12 17.43/7.01 c (0,0) c Imported_0 : 0 17.43/7.01 c (0,0) c Imported_1 : 0 17.43/7.01 c (0,0) c Imported_2 : 0 17.43/7.01 c (0,0) c Imported_3 : 0 17.43/7.01 c (0,0) c Imported_4 : 0 17.43/7.01 c (0,0) c Imported_5 : 0 17.43/7.01 c (0,0) c Imported_6 : 0 17.43/7.01 c (0,0) c Imported_7 : 0 17.43/7.01 c (0,0) c Imported_total : 0 17.43/7.01 c (0,0) c Imported_winner : 0 17.43/7.01 c (0,0) c Good_0 : 0 17.43/7.01 c (0,0) c Good_1 : 0 17.43/7.01 c (0,0) c Good_2 : 0 17.43/7.01 c (0,0) c Good_3 : 0 17.43/7.01 c (0,0) c Good_4 : 0 17.43/7.01 c (0,0) c Good_5 : 0 17.43/7.01 c (0,0) c Good_6 : 0 17.43/7.01 c (0,0) c Good_7 : 0 17.43/7.01 c (0,0) c Good_total : 0 17.43/7.01 c (0,0) c Good_winner : 0 17.43/7.01 c (0,0) c Purge_0 : 0 17.43/7.01 c (0,0) c Purge_1 : 0 17.43/7.01 c (0,0) c Purge_2 : 0 17.43/7.01 c (0,0) c Purge_3 : 0 17.43/7.01 c (0,0) c Purge_4 : 0 17.43/7.01 c (0,0) c Purge_5 : 0 17.43/7.01 c (0,0) c Purge_6 : 0 17.43/7.01 c (0,0) c Purge_7 : 0 17.43/7.01 c (0,0) c Purge_total : 0 17.43/7.01 c (0,0) c Purge_winner : 0 17.43/7.01 c (0,0) c Promoted_0 : 0 17.43/7.01 c (0,0) c Promoted_1 : 0 17.43/7.01 c (0,0) c Promoted_2 : 0 17.43/7.01 c (0,0) c Promoted_3 : 0 17.43/7.01 c (0,0) c Promoted_4 : 0 17.43/7.01 c (0,0) c Promoted_5 : 0 17.43/7.01 c (0,0) c Promoted_6 : 0 17.43/7.01 c (0,0) c Promoted_7 : 0 17.43/7.01 c (0,0) c Promoted_total : 0 17.43/7.01 c (0,0) c Promoted_winner : 0 17.43/7.01 c (0,0) c Remove_Imp_0 : 0 17.43/7.01 c (0,0) c Remove_Imp_1 : 0 17.43/7.01 c (0,0) c Remove_Imp_2 : 0 17.43/7.01 c (0,0) c Remove_Imp_3 : 0 17.43/7.01 c (0,0) c Remove_Imp_4 : 0 17.43/7.01 c (0,0) c Remove_Imp_5 : 0 17.43/7.01 c (0,0) c Remove_Imp_6 : 0 17.43/7.01 c (0,0) c Remove_Imp_7 : 0 17.43/7.01 c (0,0) c Remove_Imp_total : 0 17.43/7.01 c (0,0) c Remove_Imp_winner : 0 17.43/7.01 c (0,0) c Blocked_Reuse_0 : 0 17.43/7.01 c (0,0) c Blocked_Reuse_1 : 0 17.43/7.01 c (0,0) c Blocked_Reuse_2 : 0 17.43/7.01 c (0,0) c Blocked_Reuse_3 : 0 17.43/7.01 c (0,0) c Blocked_Reuse_4 : 0 17.43/7.01 c (0,0) c Blocked_Reuse_5 : 0 17.43/7.01 c (0,0) c Blocked_Reuse_6 : 0 17.43/7.01 c (0,0) c Blocked_Reuse_7 : 0 17.43/7.01 c (0,0) c Blocked_Reuse_total : 0 17.43/7.01 c (0,0) c Blocked_Reuse_winner : 0 17.43/7.01 c (0,0) c Unaries_0 : 0 17.43/7.01 c (0,0) c Unaries_1 : 0 17.43/7.01 c (0,0) c Unaries_2 : 0 17.43/7.01 c (0,0) c Unaries_3 : 0 17.43/7.01 c (0,0) c Unaries_4 : 0 17.43/7.01 c (0,0) c Unaries_5 : 0 17.43/7.01 c (0,0) c Unaries_6 : 0 17.43/7.01 c (0,0) c Unaries_7 : 0 17.43/7.01 c (0,0) c Unaries_total : 0 17.43/7.01 c (0,0) c Unaries_winner : 0 17.43/7.01 c (0,0) c Binaries_0 : 0 17.43/7.01 c (0,0) c Binaries_1 : 0 17.43/7.01 c (0,0) c Binaries_2 : 0 17.43/7.01 c (0,0) c Binaries_3 : 0 17.43/7.01 c (0,0) c Binaries_4 : 0 17.43/7.01 c (0,0) c Binaries_5 : 0 17.43/7.01 c (0,0) c Binaries_6 : 0 17.43/7.01 c (0,0) c Binaries_7 : 0 17.43/7.01 c (0,0) c Binaries_total : 0 17.43/7.01 c (0,0) c Binaries_winner : 0 17.43/7.01 c (0,0) c Glues_0 : 10 17.43/7.01 c (0,0) c Glues_1 : 12 17.43/7.01 c (0,0) c Glues_2 : 17 17.43/7.01 c (0,0) c Glues_3 : 10 17.43/7.01 c (0,0) c Glues_4 : 11 17.43/7.01 c (0,0) c Glues_5 : 22 17.43/7.01 c (0,0) c Glues_6 : 12 17.43/7.01 c (0,0) c Glues_7 : 12 17.43/7.01 c (0,0) c Glues_total : 106 17.43/7.01 c (0,0) c Glues_winner : 12 17.43/7.01 c (0,0) c RunningTime_0 : 0.208652 17.43/7.01 c (0,0) c RunningTime_1 : 0.161406 17.43/7.01 c (0,0) c RunningTime_2 : 0.209038 17.43/7.01 c (0,0) c RunningTime_3 : 0.161945 17.43/7.01 c (0,0) c RunningTime_4 : 0.206237 17.43/7.01 c (0,0) c RunningTime_5 : 0.173427 17.43/7.01 c (0,0) c RunningTime_6 : 0.169225 17.43/7.01 c (0,0) c RunningTime_7 : 0.165956 17.43/7.01 c (0,0) c RunningTime_total : 1.455887 17.43/7.01 c (0,0) c RunningTime_winner : 0.161406 17.43/7.01 c (0,0) c WaitingTime_0 : 0.000000 17.43/7.01 c (0,0) c WaitingTime_1 : 0.000000 17.43/7.01 c (0,0) c WaitingTime_2 : 0.000000 17.43/7.01 c (0,0) c WaitingTime_3 : 0.000000 17.43/7.01 c (0,0) c WaitingTime_4 : 0.000000 17.43/7.01 c (0,0) c WaitingTime_5 : 0.000000 17.43/7.01 c (0,0) c WaitingTime_6 : 0.000000 17.43/7.01 c (0,0) c WaitingTime_7 : 0.000000 17.43/7.01 c (0,0) c WaitingTime_total : 0.000000 17.43/7.01 c (0,0) c WaitingTime_winner : 0.000000 17.43/7.01 c (0,0) c ExchangingTime_0 : 0.000284 17.43/7.01 c (0,0) c ExchangingTime_1 : 0.000244 17.43/7.01 c (0,0) c ExchangingTime_2 : 0.000335 17.43/7.01 c (0,0) c ExchangingTime_3 : 0.000217 17.43/7.01 c (0,0) c ExchangingTime_4 : 0.000318 17.43/7.01 c (0,0) c ExchangingTime_5 : 0.000248 17.43/7.01 c (0,0) c ExchangingTime_6 : 0.000236 17.43/7.02 c (0,0) c ExchangingTime_7 : 0.000221 17.43/7.02 c (0,0) c ExchangingTime_total : 0.002103 17.43/7.02 c (0,0) c ExchangingTime_winner : 0.000244 17.43/7.02 c (0,0) c PeriodProcTime_0 : 0.000020 17.43/7.02 c (0,0) c PeriodProcTime_1 : 0.000016 17.43/7.02 c (0,0) c PeriodProcTime_2 : 0.000017 17.43/7.02 c (0,0) c PeriodProcTime_3 : 0.000012 17.43/7.02 c (0,0) c PeriodProcTime_4 : 0.000050 17.43/7.02 c (0,0) c PeriodProcTime_5 : 0.000011 17.43/7.02 c (0,0) c PeriodProcTime_6 : 0.000012 17.43/7.02 c (0,0) c PeriodProcTime_7 : 0.000010 17.43/7.02 c (0,0) c PeriodProcTime_total : 0.000149 17.43/7.02 c (0,0) c PeriodProcTime_winner : 0.000016 17.43/7.02 c (0,0) c SolvingTime_0 : 0.208956 17.43/7.02 c (0,0) c SolvingTime_1 : 0.161666 17.43/7.02 c (0,0) c SolvingTime_2 : 0.209391 17.43/7.02 c (0,0) c SolvingTime_3 : 0.162174 17.43/7.02 c (0,0) c SolvingTime_4 : 0.206604 17.43/7.02 c (0,0) c SolvingTime_5 : 0.173687 17.43/7.02 c (0,0) c SolvingTime_6 : 0.169472 17.43/7.02 c (0,0) c SolvingTime_7 : 0.166188 17.43/7.02 c (0,0) c SolvingTime_total : 1.458139 17.43/7.02 c (0,0) c SolvingTime_winner : 0.161666 17.43/7.02 c (0,0) c PropagationTime_0 : 0.171124 17.43/7.02 c (0,0) c PropagationTime_1 : 0.133350 17.43/7.02 c (0,0) c PropagationTime_2 : 0.166466 17.43/7.02 c (0,0) c PropagationTime_3 : 0.132135 17.43/7.02 c (0,0) c PropagationTime_4 : 0.168019 17.43/7.02 c (0,0) c PropagationTime_5 : 0.142414 17.43/7.02 c (0,0) c PropagationTime_6 : 0.137618 17.43/7.02 c (0,0) c PropagationTime_7 : 0.136644 17.43/7.02 c (0,0) c PropagationTime_total : 1.187770 17.43/7.02 c (0,0) c PropagationTime_winner : 0.133350 17.43/7.02 c (0,0) c AnalysisTime_0 : 0.029323 17.43/7.02 c (0,0) c AnalysisTime_1 : 0.021858 17.43/7.02 c (0,0) c AnalysisTime_2 : 0.031358 17.43/7.02 c (0,0) c AnalysisTime_3 : 0.023666 17.43/7.02 c (0,0) c AnalysisTime_4 : 0.031126 17.43/7.02 c (0,0) c AnalysisTime_5 : 0.024250 17.43/7.02 c (0,0) c AnalysisTime_6 : 0.024767 17.43/7.02 c (0,0) c AnalysisTime_7 : 0.023157 17.43/7.02 c (0,0) c AnalysisTime_total : 0.209507 17.43/7.02 c (0,0) c AnalysisTime_winner : 0.021858 17.43/7.02 c (0,0) c ReductionTime_0 : 0.000311 17.43/7.02 c (0,0) c ReductionTime_1 : 0.000300 17.43/7.02 c (0,0) c ReductionTime_2 : 0.003926 17.43/7.02 c (0,0) c ReductionTime_3 : 0.000323 17.43/7.02 c (0,0) c ReductionTime_4 : 0.000319 17.43/7.02 c (0,0) c ReductionTime_5 : 0.000315 17.43/7.02 c (0,0) c ReductionTime_6 : 0.000322 17.43/7.02 c (0,0) c ReductionTime_7 : 0.000302 17.43/7.02 c (0,0) c ReductionTime_total : 0.006118 17.43/7.02 c (0,0) c ReductionTime_winner : 0.000300 17.43/7.02 c (0,0) c SimplifyTime_0 : 0.000000 17.43/7.02 c (0,0) c SimplifyTime_1 : 0.000003 17.43/7.02 c (0,0) c SimplifyTime_2 : 0.000000 17.43/7.02 c (0,0) c SimplifyTime_3 : 0.000001 17.43/7.02 c (0,0) c SimplifyTime_4 : 0.000000 17.43/7.02 c (0,0) c SimplifyTime_5 : 0.000001 17.43/7.02 c (0,0) c SimplifyTime_6 : 0.000000 17.43/7.02 c (0,0) c SimplifyTime_7 : 0.000000 17.43/7.02 c (0,0) c SimplifyTime_total : 0.000005 17.43/7.02 c (0,0) c SimplifyTime_winner : 0.000003 17.43/7.02 c (0,0) c UsedRateTime_0 : 0.000000 17.43/7.02 c (0,0) c UsedRateTime_1 : 0.000000 17.43/7.02 c (0,0) c UsedRateTime_2 : 0.000000 17.43/7.02 c (0,0) c UsedRateTime_3 : 0.000000 17.43/7.02 c (0,0) c UsedRateTime_4 : 0.000000 17.43/7.02 c (0,0) c UsedRateTime_5 : 0.000000 17.43/7.02 c (0,0) c UsedRateTime_6 : 0.000000 17.43/7.02 c (0,0) c UsedRateTime_7 : 0.000000 17.43/7.02 c (0,0) c UsedRateTime_total : 0.000000 17.43/7.02 c (0,0) c UsedRateTime_winner : 0.000000 17.43/7.02 c (0,0) c OverlapRateTime_0 : 0.000000 17.43/7.02 c (0,0) c OverlapRateTime_1 : 0.000000 17.43/7.02 c (0,0) c OverlapRateTime_2 : 0.000000 17.43/7.02 c (0,0) c OverlapRateTime_3 : 0.000000 17.43/7.02 c (0,0) c OverlapRateTime_4 : 0.000000 17.43/7.02 c (0,0) c OverlapRateTime_5 : 0.000000 17.43/7.02 c (0,0) c OverlapRateTime_6 : 0.000000 17.43/7.02 c (0,0) c OverlapRateTime_7 : 0.000000 17.43/7.02 c (0,0) c OverlapRateTime_total : 0.000000 17.43/7.02 c (0,0) c OverlapRateTime_winner : 0.000000 17.43/7.02 c (0,0) c 17.43/7.02 c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 17.43/7.02 c (0,0) c 17.43/7.02 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 17.43/7.02 c (0,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 17.43/7.02 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 17.43/7.02 c (0,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 17.43/7.02 c (0,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 17.43/7.02 c (0,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 17.43/7.02 c (0,0) c | Initial random_seed | 1423095042 | 321122546 | 661552271 | 106066119 | 1760814296 | 523201872 | 1937757103 | 893659072 | 17.43/7.02 c (0,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 17.43/7.02 c (0,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 17.43/7.02 c (0,0) c | glureduce | True | True | True | True | True | True | True | True | 17.43/7.02 c (0,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 17.43/7.02 c (0,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 17.43/7.02 c (0,0) c | luby_restart | False | False | False | False | False | False | False | False | 17.43/7.02 c (0,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 17.43/7.02 c (0,0) c | var_decay | 0.8100 | 0.8000 | 0.8100 | 0.8100 | 0.8100 | 0.8100 | 0.8000 | 0.8000 | 17.43/7.02 c (0,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 17.43/7.02 c (0,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 17.43/7.02 c (0,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 17.43/7.02 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 17.43/7.02 c (0,0) 17.43/7.02 c (0,0) s SATISFIABLE 17.43/7.03 c (0,0) SatSolver.solve End 17.43/7.03 c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 17.43/7.03 c (0,0) Show results Begin 17.62/7.12 c (0,0) x[0] = 19 17.62/7.12 c (0,0) x[1] = 11 17.62/7.12 c (0,0) x[2] = 5 17.62/7.12 c (0,0) x[3] = 20 17.62/7.12 c (0,0) x[4] = 8 17.62/7.12 c (0,0) x[5] = 8 17.62/7.12 c (0,0) x[6] = 10 17.62/7.12 c (0,0) x[7] = 8 17.62/7.12 c (0,0) x[8] = 1 17.62/7.12 c (0,0) x[9] = 7 17.62/7.12 c (0,0) x[10] = 2 17.62/7.12 c (0,0) x[11] = 1 17.62/7.12 c (0,0) x[12] = 4 17.62/7.12 c (0,0) x[13] = 15 17.62/7.12 c (0,0) x[14] = 10 17.62/7.12 c (0,0) x[15] = 15 17.62/7.12 c (0,0) x[16] = 20 17.62/7.12 c (0,0) x[17] = 15 17.62/7.12 c (0,0) x[18] = 1 17.62/7.12 c (0,0) x[19] = 15 17.62/7.12 c (0,0) x[20] = 9 17.62/7.12 c (0,0) x[21] = 3 17.62/7.12 c (0,0) x[22] = 15 17.62/7.12 c (0,0) x[23] = 13 17.62/7.12 c (0,0) x[24] = 7 17.62/7.12 c (0,0) x[25] = 4 17.62/7.12 c (0,0) x[26] = 20 17.62/7.12 c (0,0) x[27] = 4 17.62/7.12 c (0,0) x[28] = 8 17.62/7.12 c (0,0) x[29] = 5 17.62/7.12 c (0,0) x[30] = 9 17.62/7.12 c (0,0) x[31] = 6 17.62/7.12 c (0,0) x[32] = 2 17.62/7.12 c (0,0) x[33] = 5 17.62/7.12 c (0,0) x[34] = 8 17.62/7.12 c (0,0) x[35] = 17 17.62/7.12 c (0,0) x[36] = 17 17.62/7.12 c (0,0) x[37] = 11 17.62/7.12 c (0,0) x[38] = 17 17.62/7.12 c (0,0) x[39] = 15 17.62/7.12 c (0,0) x[40] = 11 17.62/7.12 c (0,0) x[41] = 11 17.62/7.12 c (0,0) x[42] = 16 17.62/7.12 c (0,0) x[43] = 1 17.62/7.12 c (0,0) x[44] = 15 17.62/7.12 c (0,0) x[45] = 4 17.62/7.12 c (0,0) x[46] = 3 17.62/7.12 c (0,0) x[47] = 20 17.62/7.12 c (0,0) x[48] = 18 17.62/7.12 c (0,0) x[49] = 15 17.62/7.12 s SATISFIABLE 17.62/7.12 v <instantiation> 17.62/7.12 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49]</list> 17.62/7.12 v <values>19 11 5 20 8 8 10 8 1 7 2 1 4 15 10 15 20 15 1 15 9 3 15 13 7 4 20 4 8 5 9 6 2 5 8 17 17 11 17 15 11 11 16 1 15 4 3 20 18 15</values> 17.62/7.12 v </instantiation> 17.62/7.12 c (0,0) Show results End 17.62/7.12 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB) 17.62/7.12 c (0,0) 0,0,STOP-AFTER(ALL) 17.62/7.12 c END-Prog: Tue Sep 24 16:42:13 CEST 2019
OK
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (13220 MiB free) memory of node 1: 16384 MiB (11510 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405431-1569335993/watcher-4405431-1569335993 -o /tmp/evaluation-result-4405431-1569335993/solver-4405431-1569335993 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1569336112-9884 --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-4405431-1569335993.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=10022, runsolver pid=10019 Current StackSize limit: 8192 KiB [startup+0.100158 s]* /proc/loadavg: 0.74 0.18 0.10 2/209 10044 /proc/meminfo: memFree=25228332/32770624 swapFree=66941020/67108860 [pid=10022] ppid=10019 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/10022/stat : 10022 (scop.sh) S 10019 10022 9857 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 509870036 115843072 349 33554432000 4194304 5098028 140735493109152 140735493106408 139700012757628 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18038784 140735493112612 140735493112940 140735493112940 140735493115853 0 /proc/10022/statm: 28282 349 296 221 0 87 0 [pid=10025] ppid=10022 vsize=27314120 memory=107628 CPUtime=0.1 cores=0-7 /proc/10025/stat : 10025 (java) S 10022 10022 9857 0 -1 1077944320 6476 0 0 0 7 3 0 0 20 0 20 0 509870036 27969658880 26907 33554432000 4194304 4196468 140726834968672 140726834951216 139892908654327 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 /proc/10025/statm: 6828530 26907 2794 1 0 6790935 0 [pid=10025/tid=10026] ppid=10022 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/10025/task/10026/stat : 10026 (java) R 10022 10022 9857 0 -1 4202560 4574 0 0 0 6 3 0 0 20 0 20 0 509870036 27969658880 26907 33554432000 4194304 4196468 140726834968672 139892880479184 139892894722446 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 [pid=10025/tid=10027] ppid=10022 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/10025/task/10027/stat : 10027 (java) S 10022 10022 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509870039 27969658880 26907 33554432000 4194304 4196468 140726834968672 139892912897040 139892908664533 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 [pid=10025/tid=10028] ppid=10022 vsize=27314120 memory=140289966179968 CPUtime=0 cores=0-7 /proc/10025/task/10028/stat : 10028 (java) S 10022 10022 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509870039 27969658880 26907 33554432000 4194304 4196468 140726834968672 139892727053456 139892908664533 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 [pid=10025/tid=10029] ppid=10022 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10025/task/10029/stat : 10029 (java) S 10022 10022 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509870039 27969658880 26907 33554432000 4194304 4196468 140726834968672 139892726000400 139892908664533 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 [pid=10025/tid=10030] ppid=10022 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10025/task/10030/stat : 10030 (java) S 10022 10022 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509870039 27969658880 26907 33554432000 4194304 4196468 140726834968672 139892724947856 139892908664533 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 [pid=10025/tid=10031] ppid=10022 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10025/task/10031/stat : 10031 (java) S 10022 10022 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509870039 27969658880 26907 33554432000 4194304 4196468 140726834968672 139892723894800 139892908664533 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 [pid=10025/tid=10032] ppid=10022 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10025/task/10032/stat : 10032 (java) S 10022 10022 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509870039 27969658880 26907 33554432000 4194304 4196468 140726834968672 139892326300304 139892908664533 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 [pid=10025/tid=10033] ppid=10022 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10025/task/10033/stat : 10033 (java) S 10022 10022 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509870039 27969658880 26907 33554432000 4194304 4196468 140726834968672 139892325247248 139892908664533 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 [pid=10025/tid=10034] ppid=10022 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10025/task/10034/stat : 10034 (java) S 10022 10022 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509870039 27969658880 26907 33554432000 4194304 4196468 140726834968672 139892324194704 139892908664533 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 [pid=10025/tid=10035] ppid=10022 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10025/task/10035/stat : 10035 (java) S 10022 10022 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509870040 27969658880 27419 33554432000 4194304 4196468 140726834968672 139891765603056 139892908665474 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 [pid=10025/tid=10036] ppid=10022 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10025/task/10036/stat : 10036 (java) S 10022 10022 9857 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509870041 27969658880 27419 33554432000 4194304 4196468 140726834968672 139890842920608 139892908664533 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 [pid=10025/tid=10037] ppid=10022 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10025/task/10037/stat : 10037 (java) S 10022 10022 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509870041 27969658880 27419 33554432000 4194304 4196468 140726834968672 139890574484720 139892908664533 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 [pid=10025/tid=10038] ppid=10022 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10025/task/10038/stat : 10038 (java) S 10022 10022 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509870043 27969658880 27419 33554432000 4194304 4196468 140726834968672 139890199976400 139892908672923 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 [pid=10025/tid=10039] ppid=10022 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10025/task/10039/stat : 10039 (java) S 10022 10022 9857 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 509870044 27969658880 27419 33554432000 4194304 4196468 140726834968672 139891764549872 139892908665474 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 [pid=10025/tid=10040] ppid=10022 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10025/task/10040/stat : 10040 (java) S 10022 10022 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509870044 27969658880 27419 33554432000 4194304 4196468 140726834968672 139891763497328 139892908665474 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 [pid=10025/tid=10041] ppid=10022 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10025/task/10041/stat : 10041 (java) S 10022 10022 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509870044 27969658880 27419 33554432000 4194304 4196468 140726834968672 139891762444272 139892908665474 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 [pid=10025/tid=10042] ppid=10022 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10025/task/10042/stat : 10042 (java) S 10022 10022 9857 0 -1 1077944384 262 0 0 0 0 0 0 0 20 0 20 0 509870044 27969658880 27419 33554432000 4194304 4196468 140726834968672 139891761391728 139892908665474 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 [pid=10025/tid=10043] ppid=10022 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10025/task/10043/stat : 10043 (java) S 10022 10022 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509870044 27969658880 27419 33554432000 4194304 4196468 140726834968672 139889702071264 139892908664533 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 [pid=10025/tid=10044] ppid=10022 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10025/task/10044/stat : 10044 (java) S 10022 10022 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509870044 27969658880 27419 33554432000 4194304 4196468 140726834968672 139891760340144 139892908665474 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 109024 KiB [startup+0.210257 s]* /proc/loadavg: 0.74 0.18 0.10 2/209 10044 /proc/meminfo: memFree=25206660/32770624 swapFree=66941020/67108860 [pid=10022] ppid=10019 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/10022/stat : 10022 (scop.sh) S 10019 10022 9857 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 509870036 115843072 349 33554432000 4194304 5098028 140735493109152 140735493106408 139700012757628 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18038784 140735493112612 140735493112940 140735493112940 140735493115853 0 /proc/10022/statm: 28282 349 296 221 0 87 0 [pid=10025] ppid=10022 vsize=27314120 memory=126748 CPUtime=0.24 cores=0-7 /proc/10025/stat : 10025 (java) S 10022 10022 9857 0 -1 1077944320 12084 0 0 0 19 5 0 0 20 0 20 0 509870036 27969658880 31687 33554432000 4194304 4196468 140726834968672 140726834951216 139892908654327 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 /proc/10025/statm: 6828530 31687 2923 1 0 6790935 0 [pid=10025/tid=10026] ppid=10022 vsize=27314120 memory=29681743523217448 CPUtime=0.19 cores=0-7 /proc/10025/task/10026/stat : 10026 (java) R 10022 10022 9857 0 -1 4202560 9807 0 0 0 15 4 0 0 20 0 20 0 509870036 27969658880 31687 33554432000 4194304 4196468 140726834968672 139892880453712 139892888929661 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 [pid=10025/tid=10027] ppid=10022 vsize=27314120 memory=288230587528118625 CPUtime=0 cores=0-7 /proc/10025/task/10027/stat : 10027 (java) S 10022 10022 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509870039 27969658880 31687 33554432000 4194304 4196468 140726834968672 139892912897040 139892908664533 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 [pid=10025/tid=10028] ppid=10022 vsize=27314120 memory=140289966190247 CPUtime=0 cores=0-7 /proc/10025/task/10028/stat : 10028 (java) S 10022 10022 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509870039 27969658880 31687 33554432000 4194304 4196468 140726834968672 139892727053456 139892908664533 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 [pid=10025/tid=10029] ppid=10022 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10025/task/10029/stat : 10029 (java) S 10022 10022 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509870039 27969658880 31687 33554432000 4194304 4196468 140726834968672 139892726000400 139892908664533 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 [pid=10025/tid=10030] ppid=10022 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10025/task/10030/stat : 10030 (java) S 10022 10022 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509870039 27969658880 31687 33554432000 4194304 4196468 140726834968672 139892724947856 139892908664533 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 [pid=10025/tid=10031] ppid=10022 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10025/task/10031/stat : 10031 (java) S 10022 10022 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509870039 27969658880 31687 33554432000 4194304 4196468 140726834968672 139892723894800 139892908664533 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 [pid=10025/tid=10032] ppid=10022 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10025/task/10032/stat : 10032 (java) S 10022 10022 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509870039 27969658880 31687 33554432000 4194304 4196468 140726834968672 139892326300304 139892908664533 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 [pid=10025/tid=10033] ppid=10022 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10025/task/10033/stat : 10033 (java) S 10022 10022 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509870039 27969658880 31687 33554432000 4194304 4196468 140726834968672 139892325247248 139892908664533 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 [pid=10025/tid=10034] ppid=10022 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10025/task/10034/stat : 10034 (java) S 10022 10022 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509870039 27969658880 31687 33554432000 4194304 4196468 140726834968672 139892324194704 139892908664533 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 [pid=10025/tid=10035] ppid=10022 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10025/task/10035/stat : 10035 (java) S 10022 10022 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509870040 27969658880 31687 33554432000 4194304 4196468 140726834968672 139891765603056 139892908665474 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 [pid=10025/tid=10036] ppid=10022 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10025/task/10036/stat : 10036 (java) S 10022 10022 9857 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509870041 27969658880 31687 33554432000 4194304 4196468 140726834968672 139890842920608 139892908664533 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 [pid=10025/tid=10037] ppid=10022 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10025/task/10037/stat : 10037 (java) S 10022 10022 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509870041 27969658880 31687 33554432000 4194304 4196468 140726834968672 139890574484720 139892908664533 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 [pid=10025/tid=10038] ppid=10022 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10025/task/10038/stat : 10038 (java) S 10022 10022 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509870043 27969658880 31687 33554432000 4194304 4196468 140726834968672 139890199976400 139892908672923 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 [pid=10025/tid=10039] ppid=10022 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10025/task/10039/stat : 10039 (java) S 10022 10022 9857 0 -1 1077944384 460 0 0 0 0 0 0 0 20 0 20 0 509870044 27969658880 31687 33554432000 4194304 4196468 140726834968672 139891764549872 139892908665474 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 [pid=10025/tid=10040] ppid=10022 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10025/task/10040/stat : 10040 (java) S 10022 10022 9857 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 509870044 27969658880 31687 33554432000 4194304 4196468 140726834968672 139891763497328 139892908665474 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 [pid=10025/tid=10041] ppid=10022 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10025/task/10041/stat : 10041 (java) S 10022 10022 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509870044 27969658880 31687 33554432000 4194304 4196468 140726834968672 139891762444272 139892908665474 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 [pid=10025/tid=10042] ppid=10022 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7 /proc/10025/task/10042/stat : 10042 (java) S 10022 10022 9857 0 -1 1077944384 455 0 0 0 2 0 0 0 20 0 20 0 509870044 27969658880 31687 33554432000 4194304 4196468 140726834968672 139891761391728 139892908665474 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 [pid=10025/tid=10043] ppid=10022 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10025/task/10043/stat : 10043 (java) S 10022 10022 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509870044 27969658880 31687 33554432000 4194304 4196468 140726834968672 139889702071264 139892908664533 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 [pid=10025/tid=10044] ppid=10022 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10025/task/10044/stat : 10044 (java) S 10022 10022 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509870044 27969658880 31687 33554432000 4194304 4196468 140726834968672 139891760340144 139892908665474 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 128144 KiB [startup+0.310083 s]* /proc/loadavg: 0.74 0.18 0.10 2/209 10044 /proc/meminfo: memFree=25204116/32770624 swapFree=66941020/67108860 [pid=10022] ppid=10019 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/10022/stat : 10022 (scop.sh) S 10019 10022 9857 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 509870036 115843072 349 33554432000 4194304 5098028 140735493109152 140735493106408 139700012757628 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18038784 140735493112612 140735493112940 140735493112940 140735493115853 0 /proc/10022/statm: 28282 349 296 221 0 87 0 [pid=10025] ppid=10022 vsize=27314120 memory=130352 CPUtime=0.42 cores=0-7 /proc/10025/stat : 10025 (java) S 10022 10022 9857 0 -1 1077944320 12930 0 0 0 36 6 0 0 20 0 20 0 509870036 27969658880 32588 33554432000 4194304 4196468 140726834968672 140726834951216 139892908654327 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 /proc/10025/statm: 6828530 32588 3027 1 0 6790935 0 [pid=10025/tid=10026] ppid=10022 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/10025/task/10026/stat : 10026 (java) R 10022 10022 9857 0 -1 4202560 10487 0 0 0 24 5 0 0 20 0 20 0 509870036 27969658880 32588 33554432000 4194304 4196468 140726834968672 139892880484400 139892888929462 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 [pid=10025/tid=10027] ppid=10022 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10025/task/10027/stat : 10027 (java) S 10022 10022 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509870039 27969658880 32588 33554432000 4194304 4196468 140726834968672 139892912897040 139892908664533 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 [pid=10025/tid=10028] ppid=10022 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10025/task/10028/stat : 10028 (java) S 10022 10022 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509870039 27969658880 32588 33554432000 4194304 4196468 140726834968672 139892727053456 139892908664533 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 [pid=10025/tid=10029] ppid=10022 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10025/task/10029/stat : 10029 (java) S 10022 10022 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509870039 27969658880 32588 33554432000 4194304 4196468 140726834968672 139892726000400 139892908664533 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 [pid=10025/tid=10030] ppid=10022 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10025/task/10030/stat : 10030 (java) S 10022 10022 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509870039 27969658880 32588 33554432000 4194304 4196468 140726834968672 139892724947856 139892908664533 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 [pid=10025/tid=10031] ppid=10022 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10025/task/10031/stat : 10031 (java) S 10022 10022 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509870039 27969658880 32588 33554432000 4194304 4196468 140726834968672 139892723894800 139892908664533 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 [pid=10025/tid=10032] ppid=10022 vsize=27314120 memory=140289805216431 CPUtime=0 cores=0-7 /proc/10025/task/10032/stat : 10032 (java) S 10022 10022 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509870039 27969658880 32588 33554432000 4194304 4196468 140726834968672 139892326300304 139892908664533 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 [pid=10025/tid=10033] ppid=10022 vsize=27314120 memory=140289805218736 CPUtime=0 cores=0-7 /proc/10025/task/10033/stat : 10033 (java) S 10022 10022 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509870039 27969658880 32588 33554432000 4194304 4196468 140726834968672 139892325247248 139892908664533 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 [pid=10025/tid=10034] ppid=10022 vsize=27314120 memory=140289805221040 CPUtime=0 cores=0-7 /proc/10025/task/10034/stat : 10034 (java) S 10022 10022 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509870039 27969658880 32588 33554432000 4194304 4196468 140726834968672 139892324194704 139892908664533 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 [pid=10025/tid=10035] ppid=10022 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10025/task/10035/stat : 10035 (java) S 10022 10022 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509870040 27969658880 32588 33554432000 4194304 4196468 140726834968672 139891765603056 139892908665474 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 [pid=10025/tid=10036] ppid=10022 vsize=27314120 memory=280579610455952 CPUtime=0 cores=0-7 /proc/10025/task/10036/stat : 10036 (java) S 10022 10022 9857 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509870041 27969658880 32588 33554432000 4194304 4196468 140726834968672 139890842920608 139892908664533 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 [pid=10025/tid=10037] ppid=10022 vsize=27314120 memory=280579610453648 CPUtime=0 cores=0-7 /proc/10025/task/10037/stat : 10037 (java) S 10022 10022 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509870041 27969658880 32588 33554432000 4194304 4196468 140726834968672 139890574484720 139892908664533 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 [pid=10025/tid=10038] ppid=10022 vsize=27314120 memory=280579610460560 CPUtime=0 cores=0-7 /proc/10025/task/10038/stat : 10038 (java) S 10022 10022 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509870043 27969658880 32588 33554432000 4194304 4196468 140726834968672 139890199976400 139892908672923 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 [pid=10025/tid=10039] ppid=10022 vsize=27314120 memory=280579610401840 CPUtime=0 cores=0-7 /proc/10025/task/10039/stat : 10039 (java) S 10022 10022 9857 0 -1 1077944384 477 0 0 0 0 0 0 0 20 0 20 0 509870044 27969658880 32588 33554432000 4194304 4196468 140726834968672 139891764549872 139892908665474 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 [pid=10025/tid=10040] ppid=10022 vsize=27314120 memory=280579610474384 CPUtime=0.01 cores=0-7 /proc/10025/task/10040/stat : 10040 (java) S 10022 10022 9857 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 20 0 509870044 27969658880 32588 33554432000 4194304 4196468 140726834968672 139891763497328 139892908665474 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 [pid=10025/tid=10041] ppid=10022 vsize=27314120 memory=280579610481296 CPUtime=0.01 cores=0-7 /proc/10025/task/10041/stat : 10041 (java) R 10022 10022 9857 0 -1 4202560 111 0 0 0 1 0 0 0 20 0 20 0 509870044 27969658880 32588 33554432000 4194304 4196468 140726834968672 139891762444272 139892892943185 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 [pid=10025/tid=10042] ppid=10022 vsize=27314120 memory=280579610478992 CPUtime=0.07 cores=0-7 /proc/10025/task/10042/stat : 10042 (java) S 10022 10022 9857 0 -1 1077944384 477 0 0 0 7 0 0 0 20 0 20 0 509870044 27969658880 32588 33554432000 4194304 4196468 140726834968672 139891761391728 139892908665474 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 [pid=10025/tid=10043] ppid=10022 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10025/task/10043/stat : 10043 (java) S 10022 10022 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509870044 27969658880 32588 33554432000 4194304 4196468 140726834968672 139889702071264 139892908664533 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 [pid=10025/tid=10044] ppid=10022 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10025/task/10044/stat : 10044 (java) S 10022 10022 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509870044 27969658880 32588 33554432000 4194304 4196468 140726834968672 139891760340144 139892908665474 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 131748 KiB [startup+0.701001 s] /proc/loadavg: 0.74 0.18 0.10 2/209 10044 /proc/meminfo: memFree=25183360/32770624 swapFree=66941020/67108860 [pid=10022] ppid=10019 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/10022/stat : 10022 (scop.sh) S 10019 10022 9857 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 509870036 115843072 349 33554432000 4194304 5098028 140735493109152 140735493106408 139700012757628 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18038784 140735493112612 140735493112940 140735493112940 140735493115853 0 /proc/10022/statm: 28282 349 296 221 0 87 0 [pid=10025] ppid=10022 vsize=27320392 memory=164708 CPUtime=1 cores=0-7 /proc/10025/stat : 10025 (java) S 10022 10022 9857 0 -1 1077944320 19828 0 0 0 92 8 0 0 20 0 20 0 509870036 27976081408 41177 33554432000 4194304 4196468 140726834968672 140726834951216 139892908654327 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 /proc/10025/statm: 6830098 41177 3181 1 0 6791447 0 [pid=10025/tid=10026] ppid=10022 vsize=27320392 memory=0 CPUtime=0.68 cores=0-7 /proc/10025/task/10026/stat : 10026 (java) R 10022 10022 9857 0 -1 4202560 16911 0 0 0 61 7 0 0 20 0 20 0 509870036 27976081408 41177 33554432000 4194304 4196468 140726834968672 139892880491744 139892908666262 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 [pid=10025/tid=10027] ppid=10022 vsize=27320392 memory=2353 CPUtime=0 cores=0-7 /proc/10025/task/10027/stat : 10027 (java) S 10022 10022 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509870039 27976081408 41177 33554432000 4194304 4196468 140726834968672 139892912897040 139892908664533 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 [pid=10025/tid=10028] ppid=10022 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/10025/task/10028/stat : 10028 (java) S 10022 10022 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509870039 27976081408 41177 33554432000 4194304 4196468 140726834968672 139892727053456 139892908664533 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 [pid=10025/tid=10029] ppid=10022 vsize=27320392 memory=1416 CPUtime=0 cores=0-7 /proc/10025/task/10029/stat : 10029 (java) S 10022 10022 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509870039 27976081408 41177 33554432000 4194304 4196468 140726834968672 139892726000400 139892908664533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14446592 140726834975466 140726834975894 140726834975894 140726834978767 0 ################ # More data... # ################ /proc/10022/statm: 28282 369 311 221 0 87 0 [pid=10047] ppid=10022 vsize=7750184 memory=64492 CPUtime=0.41 cores=0-7 /proc/10047/stat : 10047 (java) S 10022 10022 9857 0 -1 1077944320 12332 0 0 0 37 4 0 0 20 0 20 0 509870636 7936188416 16123 33554432000 4194304 4196468 140734605181088 140734605163632 139622642425591 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36147200 140734605190135 140734605190294 140734605190294 140734605193167 0 /proc/10047/statm: 1937546 16123 3057 1 0 1899951 0 [pid=10047/tid=10048] ppid=10022 vsize=7750184 memory=0 CPUtime=0.28 cores=0-7 /proc/10047/task/10048/stat : 10048 (java) R 10022 10022 9857 0 -1 4202560 9889 0 0 0 25 3 0 0 20 0 20 0 509870636 7936188416 16123 33554432000 4194304 4196468 140734605181088 139622614213216 139622622701708 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36147200 140734605190135 140734605190294 140734605190294 140734605193167 0 Current children cumulated CPU time: 15.15 s Current children cumulated vsize: 7863312 KiB Current children cumulated memory: 65968 KiB [startup+7.134 s] # the end of solver process 10022 was just reported to runsolver # cumulated CPU time of all completed processes: user=17.0674 s, system=0.621988 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+6.40052 s] /proc/loadavg: 0.68 0.17 0.10 2/191 10047 /proc/meminfo: memFree=25324676/32770624 swapFree=66941020/67108860 [pid=10022] ppid=10019 vsize=113128 memory=1476 CPUtime=14.74 cores=0-7 /proc/10022/stat : 10022 (scop.sh) S 10019 10022 9857 0 -1 4202496 582 36121 0 0 0 0 1429 45 20 0 1 0 509870036 115843072 369 33554432000 4194304 5098028 140735493109152 140735493105896 139700012757628 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18038784 140735493112612 140735493112940 140735493112940 140735493115853 0 /proc/10022/statm: 28282 369 311 221 0 87 0 [pid=10047] ppid=10022 vsize=7752268 memory=68964 CPUtime=0.52 cores=0-7 /proc/10047/stat : 10047 (java) S 10022 10022 9857 0 -1 1077944320 13388 0 0 0 48 4 0 0 20 0 20 0 509870636 7938322432 17241 33554432000 4194304 4196468 140734605181088 140734605163632 139622642425591 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36147200 140734605190135 140734605190294 140734605190294 140734605193167 0 /proc/10047/statm: 1938067 17241 3068 1 0 1899951 0 [pid=10047/tid=10048] ppid=10022 vsize=7752268 memory=6525018278055875452 CPUtime=0.37 cores=0-7 /proc/10047/task/10048/stat : 10048 (java) R 10022 10022 9857 0 -1 4202560 10922 0 0 0 34 3 0 0 20 0 20 0 509870636 7938322432 17241 33554432000 4194304 4196468 140734605181088 139622614254264 139622623989166 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36147200 140734605190135 140734605190294 140734605190294 140734605193167 0 Current children cumulated CPU time: 15.26 s Current children cumulated vsize: 7865396 KiB Current children cumulated memory: 70440 KiB [startup+6.80031 s] /proc/loadavg: 0.68 0.17 0.10 2/191 10047 /proc/meminfo: memFree=25324676/32770624 swapFree=66941020/67108860 [pid=10022] ppid=10019 vsize=113128 memory=1476 CPUtime=14.74 cores=0-7 /proc/10022/stat : 10022 (scop.sh) S 10019 10022 9857 0 -1 4202496 582 36121 0 0 0 0 1429 45 20 0 1 0 509870036 115843072 369 33554432000 4194304 5098028 140735493109152 140735493105896 139700012757628 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18038784 140735493112612 140735493112940 140735493112940 140735493115853 0 /proc/10022/statm: 28282 369 311 221 0 87 0 [pid=10047] ppid=10022 vsize=8414124 memory=119456 CPUtime=1.18 cores=0-7 /proc/10047/stat : 10047 (java) S 10022 10022 9857 0 -1 1077944320 21402 0 0 0 110 8 0 0 20 0 24 0 509870636 8616062976 29864 33554432000 4194304 4196468 140734605181088 140734605163632 139622642425591 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36147200 140734605190135 140734605190294 140734605190294 140734605193167 0 /proc/10047/statm: 2103531 29864 3205 1 0 2064875 0 [pid=10047/tid=10048] ppid=10022 vsize=8414124 memory=58756 CPUtime=0.76 cores=0-7 /proc/10047/task/10048/stat : 10048 (java) S 10022 10022 9857 0 -1 1077944384 18031 0 0 0 70 6 0 0 20 0 24 0 509870636 8616062976 29864 33554432000 4194304 4196468 140734605181088 139622614265760 139622642435797 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36147200 140734605190135 140734605190294 140734605190294 140734605193167 0 Current children cumulated CPU time: 15.92 s Current children cumulated vsize: 8527252 KiB Current children cumulated memory: 120932 KiB [startup+7.00115 s]* /proc/loadavg: 0.68 0.17 0.10 4/218 10080 /proc/meminfo: memFree=25188408/32770624 swapFree=66941020/67108860 [pid=10022] ppid=10019 vsize=113128 memory=1476 CPUtime=14.74 cores=0-7 /proc/10022/stat : 10022 (scop.sh) S 10019 10022 9857 0 -1 4202496 582 36121 0 0 0 0 1429 45 20 0 1 0 509870036 115843072 369 33554432000 4194304 5098028 140735493109152 140735493105896 139700012757628 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18038784 140735493112612 140735493112940 140735493112940 140735493115853 0 /proc/10022/statm: 28282 369 311 221 0 87 0 [pid=10047] ppid=10022 vsize=8414124 memory=121512 CPUtime=2.69 cores=0-7 /proc/10047/stat : 10047 (java) S 10022 10022 9857 0 -1 1077944320 21411 5802 0 0 111 8 144 6 20 0 23 0 509870636 8616062976 30378 33554432000 4194304 4196468 140734605181088 140734605163632 139622642425591 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36147200 140734605190135 140734605190294 140734605190294 140734605193167 0 /proc/10047/statm: 2103531 30378 3205 1 0 2064875 0 [pid=10047/tid=10048] ppid=10022 vsize=8414124 memory=6791534058613427641 CPUtime=2.26 cores=0-7 /proc/10047/task/10048/stat : 10048 (java) S 10022 10022 9857 0 -1 1077944384 18031 5802 0 0 70 6 144 6 20 0 23 0 509870636 8616062976 30378 33554432000 4194304 4196468 140734605181088 139622614265760 139622642435797 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36147200 140734605190135 140734605190294 140734605190294 140734605193167 0 [pid=10047/tid=10049] ppid=10022 vsize=8414124 memory=4126316290023845779 CPUtime=1.5 cores=0-7 /proc/10047/task/10049/stat : 10049 (java) S 10022 10022 9857 0 -1 1077944384 1 5802 0 0 0 0 144 6 20 0 23 0 509870637 8616062976 30378 33554432000 4194304 4196468 140734605181088 139622646667536 139622642435797 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36147200 140734605190135 140734605190294 140734605190294 140734605193167 0 [pid=10047/tid=10050] ppid=10022 vsize=8414124 memory=0 CPUtime=1.5 cores=0-7 /proc/10047/task/10050/stat : 10050 (java) S 10022 10022 9857 0 -1 1077944384 1 5802 0 0 0 0 144 6 20 0 23 0 509870637 8616062976 30378 33554432000 4194304 4196468 140734605181088 139622475762064 139622642435797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36147200 140734605190135 140734605190294 140734605190294 140734605193167 0 [pid=10047/tid=10051] ppid=10022 vsize=8414124 memory=0 CPUtime=1.5 cores=0-7 /proc/10047/task/10051/stat : 10051 (java) S 10022 10022 9857 0 -1 1077944384 2 5802 0 0 0 0 144 6 20 0 23 0 509870637 8616062976 30378 33554432000 4194304 4196468 140734605181088 139622126881296 139622642435797 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36147200 140734605190135 140734605190294 140734605190294 140734605193167 0 [pid=10047/tid=10052] ppid=10022 vsize=8414124 memory=0 CPUtime=1.5 cores=0-7 /proc/10047/task/10052/stat : 10052 (java) S 10022 10022 9857 0 -1 1077944384 1 5802 0 0 0 0 144 6 20 0 23 0 509870637 8616062976 30378 33554432000 4194304 4196468 140734605181088 139622125828752 139622642435797 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36147200 140734605190135 140734605190294 140734605190294 140734605193167 0 [pid=10047/tid=10053] ppid=10022 vsize=8414124 memory=0 CPUtime=1.5 cores=0-7 /proc/10047/task/10053/stat : 10053 (java) S 10022 10022 9857 0 -1 1077944384 1 5802 0 0 0 0 144 6 20 0 23 0 509870637 8616062976 30378 33554432000 4194304 4196468 140734605181088 139622124776208 139622642435797 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36147200 140734605190135 140734605190294 140734605190294 140734605193167 0 [pid=10047/tid=10054] ppid=10022 vsize=8414124 memory=0 CPUtime=1.5 cores=0-7 /proc/10047/task/10054/stat : 10054 (java) S 10022 10022 9857 0 -1 1077944384 2 5802 0 0 0 0 144 6 20 0 23 0 509870637 8616062976 30378 33554432000 4194304 4196468 140734605181088 139622123723664 139622642435797 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36147200 140734605190135 140734605190294 140734605190294 140734605193167 0 [pid=10047/tid=10055] ppid=10022 vsize=8414124 memory=2241 CPUtime=1.5 cores=0-7 /proc/10047/task/10055/stat : 10055 (java) S 10022 10022 9857 0 -1 1077944384 2 5802 0 0 0 0 144 6 20 0 23 0 509870637 8616062976 30378 33554432000 4194304 4196468 140734605181088 139622122671120 139622642435797 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36147200 140734605190135 140734605190294 140734605190294 140734605193167 0 [pid=10047/tid=10056] ppid=10022 vsize=8414124 memory=2244 CPUtime=1.5 cores=0-7 /proc/10047/task/10056/stat : 10056 (java) S 10022 10022 9857 0 -1 1077944384 3 5802 0 0 0 0 144 6 20 0 23 0 509870637 8616062976 30378 33554432000 4194304 4196468 140734605181088 139622121618576 139622642435797 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36147200 140734605190135 140734605190294 140734605190294 140734605193167 0 [pid=10047/tid=10057] ppid=10022 vsize=8414124 memory=288287792113660286 CPUtime=1.5 cores=0-7 /proc/10047/task/10057/stat : 10057 (java) S 10022 10022 9857 0 -1 1077944384 6 5802 0 0 0 0 144 6 20 0 23 0 509870639 8616062976 30378 33554432000 4194304 4196468 140734605181088 139621668214768 139622642436738 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36147200 140734605190135 140734605190294 140734605190294 140734605193167 0 [pid=10047/tid=10058] ppid=10022 vsize=8414124 memory=6370719275257063784 CPUtime=1.5 cores=0-7 /proc/10047/task/10058/stat : 10058 (java) S 10022 10022 9857 0 -1 1077944384 13 5802 0 0 0 0 144 6 20 0 23 0 509870639 8616062976 30378 33554432000 4194304 4196468 140734605181088 139621266613152 139622642435797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36147200 140734605190135 140734605190294 140734605190294 140734605193167 0 [pid=10047/tid=10059] ppid=10022 vsize=8414124 memory=6944656575208382560 CPUtime=1.5 cores=0-7 /proc/10047/task/10059/stat : 10059 (java) S 10022 10022 9857 0 -1 1077944384 1 5802 0 0 0 0 144 6 20 0 23 0 509870639 8616062976 30378 33554432000 4194304 4196468 140734605181088 139620998177776 139622642435797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36147200 140734605190135 140734605190294 140734605190294 140734605193167 0 [pid=10047/tid=10060] ppid=10022 vsize=8414124 memory=4639930699739322730 CPUtime=1.5 cores=0-7 /proc/10047/task/10060/stat : 10060 (java) S 10022 10022 9857 0 -1 1077944384 1 5802 0 0 0 0 144 6 20 0 23 0 509870642 8616062976 30378 33554432000 4194304 4196468 140734605181088 139620623669456 139622642444187 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36147200 140734605190135 140734605190294 140734605190294 140734605193167 0 [pid=10047/tid=10061] ppid=10022 vsize=8414124 memory=28479528919 CPUtime=1.56 cores=0-7 /proc/10047/task/10061/stat : 10061 (java) S 10022 10022 9857 0 -1 1077944384 647 5802 0 0 6 0 144 6 20 0 23 0 509870642 8616062976 30378 33554432000 4194304 4196468 140734605181088 139621667162608 139622642436738 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36147200 140734605190135 140734605190294 140734605190294 140734605193167 0 [pid=10047/tid=10062] ppid=10022 vsize=8414124 memory=-1807685287717842718 CPUtime=1.56 cores=0-7 /proc/10047/task/10062/stat : 10062 (java) S 10022 10022 9857 0 -1 1077944384 255 5802 0 0 6 0 144 6 20 0 23 0 509870642 8616062976 30378 33554432000 4194304 4196468 140734605181088 139621666110064 139622642436738 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36147200 140734605190135 140734605190294 140734605190294 140734605193167 0 [pid=10047/tid=10063] ppid=10022 vsize=8414124 memory=6944656592455359580 CPUtime=1.56 cores=0-7 /proc/10047/task/10063/stat : 10063 (java) S 10022 10022 9857 0 -1 1077944384 321 5802 0 0 6 0 144 6 20 0 23 0 509870642 8616062976 30378 33554432000 4194304 4196468 140734605181088 139621665057520 139622642436738 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36147200 140734605190135 140734605190294 140734605190294 140734605193167 0 [pid=10047/tid=10064] ppid=10022 vsize=8414124 memory=6944656592455360604 CPUtime=1.71 cores=0-7 /proc/10047/task/10064/stat : 10064 (java) R 10022 10022 9857 0 -1 4202560 764 5802 0 0 21 0 144 6 20 0 23 0 509870642 8616062976 30378 33554432000 4194304 4196468 140734605181088 139621664004976 139622621560089 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36147200 140734605190135 140734605190294 140734605190294 140734605193167 0 [pid=10047/tid=10065] ppid=10022 vsize=8414124 memory=6944656592387989600 CPUtime=1.5 cores=0-7 /proc/10047/task/10065/stat : 10065 (java) S 10022 10022 9857 0 -1 1077944384 3 5802 0 0 0 0 144 6 20 0 23 0 509870642 8616062976 30378 33554432000 4194304 4196468 140734605181088 139620125763808 139622642435797 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36147200 140734605190135 140734605190294 140734605190294 140734605193167 0 [pid=10047/tid=10066] ppid=10022 vsize=8414124 memory=5495680850141879452 CPUtime=1.5 cores=0-7 /proc/10047/task/10066/stat : 10066 (java) S 10022 10022 9857 0 -1 1077944384 1 5802 0 0 0 0 144 6 20 0 23 0 509870642 8616062976 30378 33554432000 4194304 4196468 140734605181088 139621662951856 139622642436738 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36147200 140734605190135 140734605190294 140734605190294 140734605193167 0 [pid=10047/tid=10068] ppid=10022 vsize=8414124 memory=2116 CPUtime=1.5 cores=0-7 /proc/10047/task/10068/stat : 10068 (java) S 10022 10022 9857 0 -1 1077944384 27 5802 0 0 0 0 144 6 20 0 23 0 509870709 8616062976 30378 33554432000 4194304 4196468 140734605181088 139621655474576 139622642436738 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36147200 140734605190135 140734605190294 140734605190294 140734605193167 0 [pid=10047/tid=10070] ppid=10022 vsize=8414124 memory=12024 CPUtime=1.5 cores=0-7 /proc/10047/task/10070/stat : 10070 (java) R 10022 10022 9857 0 -1 4202560 6 5802 0 0 0 0 144 6 20 0 23 0 509870710 8616062976 30378 33554432000 4194304 4196468 140734605181088 139619454664464 140734605428674 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36147200 140734605190135 140734605190294 140734605190294 140734605193167 0 [pid=10047/tid=10072] ppid=10022 vsize=8414124 memory=1560 CPUtime=1.5 cores=0-7 /proc/10047/task/10072/stat : 10072 (java) S 10022 10022 9857 0 -1 1077944384 7 5802 0 0 0 0 144 6 20 0 23 0 509870712 8616062976 30378 33554432000 4194304 4196468 140734605181088 139619186236864 139622642435797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36147200 140734605190135 140734605190294 140734605190294 140734605193167 0 Current children cumulated CPU time: 17.43 s Current children cumulated vsize: 8527252 KiB Current children cumulated memory: 122988 KiB [startup+7.11044 s] /proc/loadavg: 0.68 0.17 0.10 4/218 10080 /proc/meminfo: memFree=25188408/32770624 swapFree=66941020/67108860 [pid=10022] ppid=10019 vsize=113128 memory=1476 CPUtime=14.74 cores=0-7 /proc/10022/stat : 10022 (scop.sh) S 10019 10022 9857 0 -1 4202496 582 36121 0 0 0 0 1429 45 20 0 1 0 509870036 115843072 369 33554432000 4194304 5098028 140735493109152 140735493105896 139700012757628 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18038784 140735493112612 140735493112940 140735493112940 140735493115853 0 /proc/10022/statm: 28282 369 311 221 0 87 0 [pid=10047] ppid=10022 vsize=8283048 memory=125492 CPUtime=2.88 cores=0-7 /proc/10047/stat : 10047 (java) S 10022 10022 9857 0 -1 1077944320 21900 5802 0 0 129 9 144 6 20 0 22 0 509870636 8481841152 31373 33554432000 4194304 4196468 140734605181088 140734605163632 139622642425591 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36147200 140734605190135 140734605190294 140734605190294 140734605193167 0 /proc/10047/statm: 2070762 31373 3209 1 0 2032106 0 [pid=10047/tid=10048] ppid=10022 vsize=8283048 memory=119456 CPUtime=2.33 cores=0-7 /proc/10047/task/10048/stat : 10048 (java) R 10022 10022 9857 0 -1 4202560 18313 5802 0 0 77 6 144 6 20 0 22 0 509870636 8481841152 31373 33554432000 4194304 4196468 140734605181088 139622614263904 139622642437526 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36147200 140734605190135 140734605190294 140734605190294 140734605193167 0 [pid=10047/tid=10049] ppid=10022 vsize=8283048 memory=1476 CPUtime=1.5 cores=0-7 /proc/10047/task/10049/stat : 10049 (java) S 10022 10022 9857 0 -1 1077944384 1 5802 0 0 0 0 144 6 20 0 22 0 509870637 8481841152 31373 33554432000 4194304 4196468 140734605181088 139622646667536 139622642435797 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36147200 140734605190135 140734605190294 140734605190294 140734605193167 0 [pid=10047/tid=10050] ppid=10022 vsize=8283048 memory=1476 CPUtime=1.5 cores=0-7 /proc/10047/task/10050/stat : 10050 (java) S 10022 10022 9857 0 -1 1077944384 1 5802 0 0 0 0 144 6 20 0 22 0 509870637 8481841152 31373 33554432000 4194304 4196468 140734605181088 139622475762064 139622642435797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36147200 140734605190135 140734605190294 140734605190294 140734605193167 0 [pid=10047/tid=10051] ppid=10022 vsize=8283048 memory=96472 CPUtime=1.5 cores=0-7 /proc/10047/task/10051/stat : 10051 (java) S 10022 10022 9857 0 -1 1077944384 2 5802 0 0 0 0 144 6 20 0 22 0 509870637 8481841152 31373 33554432000 4194304 4196468 140734605181088 139622126881296 139622642435797 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36147200 140734605190135 140734605190294 140734605190294 140734605193167 0 [pid=10047/tid=10052] ppid=10022 vsize=8283048 memory=500 CPUtime=1.5 cores=0-7 /proc/10047/task/10052/stat : 10052 (java) S 10022 10022 9857 0 -1 1077944384 1 5802 0 0 0 0 144 6 20 0 22 0 509870637 8481841152 31373 33554432000 4194304 4196468 140734605181088 139622125828752 139622642435797 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36147200 140734605190135 140734605190294 140734605190294 140734605193167 0 [pid=10047/tid=10053] ppid=10022 vsize=8283048 memory=928 CPUtime=1.5 cores=0-7 /proc/10047/task/10053/stat : 10053 (java) S 10022 10022 9857 0 -1 1077944384 1 5802 0 0 0 0 144 6 20 0 22 0 509870637 8481841152 31373 33554432000 4194304 4196468 140734605181088 139622124776208 139622642435797 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36147200 140734605190135 140734605190294 140734605190294 140734605193167 0 [pid=10047/tid=10054] ppid=10022 vsize=8283048 memory=1984 CPUtime=1.5 cores=0-7 /proc/10047/task/10054/stat : 10054 (java) S 10022 10022 9857 0 -1 1077944384 2 5802 0 0 0 0 144 6 20 0 22 0 509870637 8481841152 31373 33554432000 4194304 4196468 140734605181088 139622123723664 139622642435797 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36147200 140734605190135 140734605190294 140734605190294 140734605193167 0 [pid=10047/tid=10055] ppid=10022 vsize=8283048 memory=2364 CPUtime=1.5 cores=0-7 /proc/10047/task/10055/stat : 10055 (java) S 10022 10022 9857 0 -1 1077944384 2 5802 0 0 0 0 144 6 20 0 22 0 509870637 8481841152 31373 33554432000 4194304 4196468 140734605181088 139622122671120 139622642435797 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36147200 140734605190135 140734605190294 140734605190294 140734605193167 0 [pid=10047/tid=10056] ppid=10022 vsize=8283048 memory=1744 CPUtime=1.5 cores=0-7 /proc/10047/task/10056/stat : 10056 (java) S 10022 10022 9857 0 -1 1077944384 3 5802 0 0 0 0 144 6 20 0 22 0 509870637 8481841152 31373 33554432000 4194304 4196468 140734605181088 139622121618576 139622642435797 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36147200 140734605190135 140734605190294 140734605190294 140734605193167 0 [pid=10047/tid=10057] ppid=10022 vsize=8283048 memory=924 CPUtime=1.5 cores=0-7 /proc/10047/task/10057/stat : 10057 (java) S 10022 10022 9857 0 -1 1077944384 6 5802 0 0 0 0 144 6 20 0 22 0 509870639 8481841152 31373 33554432000 4194304 4196468 140734605181088 139621668214768 139622642436738 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36147200 140734605190135 140734605190294 140734605190294 140734605193167 0 [pid=10047/tid=10058] ppid=10022 vsize=8283048 memory=1448 CPUtime=1.5 cores=0-7 /proc/10047/task/10058/stat : 10058 (java) S 10022 10022 9857 0 -1 1077944384 13 5802 0 0 0 0 144 6 20 0 22 0 509870639 8481841152 31373 33554432000 4194304 4196468 140734605181088 139621266613152 139622642435797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36147200 140734605190135 140734605190294 140734605190294 140734605193167 0 [pid=10047/tid=10059] ppid=10022 vsize=8283048 memory=1748 CPUtime=1.5 cores=0-7 /proc/10047/task/10059/stat : 10059 (java) S 10022 10022 9857 0 -1 1077944384 1 5802 0 0 0 0 144 6 20 0 22 0 509870639 8481841152 31373 33554432000 4194304 4196468 140734605181088 139620998177776 139622642435797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36147200 140734605190135 140734605190294 140734605190294 140734605193167 0 [pid=10047/tid=10060] ppid=10022 vsize=8283048 memory=111632 CPUtime=1.5 cores=0-7 /proc/10047/task/10060/stat : 10060 (java) S 10022 10022 9857 0 -1 1077944384 1 5802 0 0 0 0 144 6 20 0 22 0 509870642 8481841152 31373 33554432000 4194304 4196468 140734605181088 139620623669456 139622642444187 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36147200 140734605190135 140734605190294 140734605190294 140734605193167 0 [pid=10047/tid=10061] ppid=10022 vsize=8283048 memory=808 CPUtime=1.56 cores=0-7 /proc/10047/task/10061/stat : 10061 (java) S 10022 10022 9857 0 -1 1077944384 654 5802 0 0 6 0 144 6 20 0 22 0 509870642 8481841152 31373 33554432000 4194304 4196468 140734605181088 139621667162608 139622642436738 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36147200 140734605190135 140734605190294 140734605190294 140734605193167 0 [pid=10047/tid=10062] ppid=10022 vsize=8283048 memory=4104 CPUtime=1.58 cores=0-7 /proc/10047/task/10062/stat : 10062 (java) S 10022 10022 9857 0 -1 1077944384 266 5802 0 0 8 0 144 6 20 0 22 0 509870642 8481841152 31373 33554432000 4194304 4196468 140734605181088 139621666110064 139622642436738 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36147200 140734605190135 140734605190294 140734605190294 140734605193167 0 [pid=10047/tid=10063] ppid=10022 vsize=8283048 memory=1396 CPUtime=1.57 cores=0-7 /proc/10047/task/10063/stat : 10063 (java) S 10022 10022 9857 0 -1 1077944384 327 5802 0 0 7 0 144 6 20 0 22 0 509870642 8481841152 31373 33554432000 4194304 4196468 140734605181088 139621665057520 139622642436738 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36147200 140734605190135 140734605190294 140734605190294 140734605193167 0 [pid=10047/tid=10064] ppid=10022 vsize=8283048 memory=1951784 CPUtime=1.76 cores=0-7 /proc/10047/task/10064/stat : 10064 (java) R 10022 10022 9857 0 -1 4202560 892 5802 0 0 26 0 144 6 20 0 22 0 509870642 8481841152 31373 33554432000 4194304 4196468 140734605181088 139621664004976 139622628436845 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36147200 140734605190135 140734605190294 140734605190294 140734605193167 0 [pid=10047/tid=10065] ppid=10022 vsize=8283048 memory=784 CPUtime=1.5 cores=0-7 /proc/10047/task/10065/stat : 10065 (java) S 10022 10022 9857 0 -1 1077944384 3 5802 0 0 0 0 144 6 20 0 22 0 509870642 8481841152 31373 33554432000 4194304 4196468 140734605181088 139620125763808 139622642435797 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36147200 140734605190135 140734605190294 140734605190294 140734605193167 0 [pid=10047/tid=10066] ppid=10022 vsize=8283048 memory=1060 CPUtime=1.5 cores=0-7 /proc/10047/task/10066/stat : 10066 (java) S 10022 10022 9857 0 -1 1077944384 1 5802 0 0 0 0 144 6 20 0 22 0 509870642 8481841152 31373 33554432000 4194304 4196468 140734605181088 139621662951856 139622642436738 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36147200 140734605190135 140734605190294 140734605190294 140734605193167 0 [pid=10047/tid=10068] ppid=10022 vsize=8283048 memory=1724 CPUtime=1.5 cores=0-7 /proc/10047/task/10068/stat : 10068 (java) S 10022 10022 9857 0 -1 1077944384 27 5802 0 0 0 0 144 6 20 0 22 0 509870709 8481841152 31373 33554432000 4194304 4196468 140734605181088 139621655474576 139622642436738 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36147200 140734605190135 140734605190294 140734605190294 140734605193167 0 [pid=10047/tid=10072] ppid=10022 vsize=8283048 memory=1228 CPUtime=1.5 cores=0-7 /proc/10047/task/10072/stat : 10072 (java) S 10022 10022 9857 0 -1 1077944384 11 5802 0 0 0 0 144 6 20 0 22 0 509870712 8481841152 31373 33554432000 4194304 4196468 140734605181088 139619186238896 139622642436738 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36147200 140734605190135 140734605190294 140734605190294 140734605193167 0 Current children cumulated CPU time: 17.62 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 126968 KiB Child status: 0 Real time (s): 7.13405 CPU time (s): 17.6894 CPU user time (s): 17.0674 CPU system time (s): 0.621988 CPU usage (%): 247.957 Max. virtual memory (cumulated for all children) (KiB): 27441856 Max. memory (cumulated for all children) (KiB): 2021104 getrusage(RUSAGE_CHILDREN,...) data: user time used= 17.0674 system time used= 0.621988 maximum resident set size= 2027744 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 64486 page faults= 0 swaps= 0 block input operations= 0 block output operations= 1592 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 12613 involuntary context switches= 31 # summary of solver processes directly reported to runsolver: # pid: 10022 # total CPU time (s): 17.6894 # total CPU user time (s): 17.0674 # total CPU system time (s): 0.621988 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.069752 second user time and 0.128936 second system time The end
Begin job on node139 at 2019-09-24 16:42:06 IDJOB=4405431 IDBENCH=126157 IDSOLVER=2868 FILE ID=node139/4405431-1569335993 RUNJOBID= node139-1569336112-9884 PBS_JOBID= 21705055 Free space on /tmp= 5144 MiB SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22) BENCH NAME= XCSP17/QRandom/QRandom-geometric-rw/geometric-50-20-d4-75-08.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-4405431-1569335993/watcher-4405431-1569335993 -o /tmp/evaluation-result-4405431-1569335993/solver-4405431-1569335993 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1569336112-9884 --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-4405431-1569335993.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= ee1da6b537c1ecd46a877bd70c24ae39 RANDOM SEED=969539028 node139.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.57 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.57 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.57 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.57 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: 25325372 kB MemAvailable: 31781500 kB Buffers: 99264 kB Cached: 6444392 kB SwapCached: 64852 kB Active: 3233044 kB Inactive: 3379444 kB Active(anon): 3996 kB Inactive(anon): 121428 kB Active(file): 3229048 kB Inactive(file): 3258016 kB Unevictable: 107084 kB Mlocked: 107084 kB SwapTotal: 67108860 kB SwapFree: 66941020 kB Dirty: 21376 kB Writeback: 0 kB AnonPages: 113476 kB Mapped: 57044 kB Shmem: 47360 kB Slab: 426164 kB SReclaimable: 397524 kB SUnreclaim: 28640 kB KernelStack: 3392 kB PageTables: 5244 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 504572 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 5124 MiB End job on node139 at 2019-09-24 16:42:13