Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP hybrid+ManyGlucose (2019-06-15) | SAT | 71.4445 | 11.3146 |
Name | PseudoBoolean/PseudoBoolean-dec-armies/ Pb-army11-17ls.xml |
MD5SUM | 3a369118bc0c88105fbaeba7564c3313 |
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 | 18.4026 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 370 |
Number of constraints | 557 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":370}] |
Minimum variable degree | 3 |
Maximum variable degree | 13 |
Distribution of variable degrees | [{"degree":3,"count":8},{"degree":4,"count":8},{"degree":5,"count":8},{"degree":6,"count":8},{"degree":7,"count":250},{"degree":8,"count":8},{"degree":9,"count":8},{"degree":10,"count":8},{"degree":11,"count":8},{"degree":12,"count":8},{"degree":13,"count":48}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 121 |
Distribution of constraint arities | [{"arity":2,"count":193},{"arity":3,"count":8},{"arity":4,"count":8},{"arity":5,"count":250},{"arity":6,"count":8},{"arity":7,"count":8},{"arity":8,"count":8},{"arity":9,"count":8},{"arity":10,"count":8},{"arity":11,"count":8},{"arity":12,"count":48},{"arity":121,"count":2}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":557}] |
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-32023-serial-file.bin HOME/instance-4392631-1568437707.xml 0.66/0.54 0.66/0.54 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 0.66/0.54 0.66/0.56 c BEGIN-Prog: Sat Sep 14 07:07:46 CEST 2019 0.66/0.56 c PID: 32026 0.66/0.56 c IP: 172.20.3.134 0.66/0.56 c HOST: node134.alineos.net 0.66/0.57 c (0,0) Parsing Begin 1.99/1.15 c (0,0) Parsing End 1.99/1.16 c (0,0) CSP: 0 int (0 aux), 370 bool (0 aux), 557 ctr, max domain size 2 1.99/1.16 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 1.99/1.16 c (0,0) Constraint Name Generate Begin 1.99/1.17 c (0,0) Ctr:HOME/instance-4392631-1568437707.xml,Num:Var:WeightedSum 1.99/1.17 c (0,0) Constraint Name Generate End 1.99/1.17 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 1.99/1.17 c (0,0) CSP to CSPinCNF Begin 2.55/1.37 c (0,0) translated 56 (10%) constraints 2.55/1.39 c (0,0) translated 112 (20%) constraints 2.91/1.41 c (0,0) translated 168 (30%) constraints 2.91/1.44 c (0,0) translated 223 (40%) constraints 2.91/1.46 c (0,0) translated 279 (50%) constraints 2.91/1.48 c (0,0) translated 335 (60%) constraints 3.26/1.50 c (0,0) translated 390 (70%) constraints 3.26/1.52 c (0,0) translated 446 (80%) constraints 3.26/1.54 c (1,0) translated 502 (90%) constraints 3.26/1.56 c (1,1) translated 557 (100%) constraints 3.26/1.56 c (1,1) =========================================== 3.26/1.57 c (1,1) Hybrid: #OE=0, #LE=370 3.26/1.57 c (1,1) Hybrid 3.26/1.57 c (1,1) =========================================== 3.26/1.58 c (1,1) translated 56 (10%) constraints 3.26/1.59 c (1,1) translated 112 (20%) constraints 3.26/1.59 c (1,1) translated 168 (30%) constraints 3.52/1.60 c (1,1) translated 223 (40%) constraints 3.52/1.61 c (1,1) translated 279 (50%) constraints 3.52/1.61 c (1,1) translated 335 (60%) constraints 3.52/1.62 c (1,1) translated 390 (70%) constraints 3.52/1.63 c (1,1) translated 446 (80%) constraints 3.52/1.63 c (1,1) translated 502 (90%) constraints 3.52/1.64 c (1,1) translated 557 (100%) constraints 3.52/1.64 c (1,1) CSP to CSPinCNF End 3.52/1.65 c (1,1) CSP: 0 int (0 aux), 370 bool (0 aux), 557 ctr, max domain size 2 3.52/1.65 c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB) 3.52/1.65 c (1,1) CSPinCNF Propagation Begin 3.52/1.67 c (1,1) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed 3.52/1.67 c (1,1) CSPinCNF Propagation End 3.52/1.67 c (1,1) CSP: 0 int (0 aux), 370 bool (0 aux), 557 ctr, max domain size 2 3.52/1.67 c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB) 3.52/1.68 c (1,1) Hybrid: #OE=0, #LE=370 3.52/1.68 c (1,1) Simplify CSPinCNF Begin 3.52/1.69 c (1,1) Simplify CSPinCNF End 3.52/1.69 c (1,1) CSP: 0 int (0 aux), 370 bool (0 aux), 557 ctr, max domain size 2 3.52/1.69 c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB) 3.52/1.69 c (1,1) Calculate Precise Domain Begin 3.52/1.69 c (1,1) 0 values are removed by re-calculation 3.52/1.69 c (1,1) Calculate Precise Domain End 3.52/1.69 c (1,1) CSP: 0 int (0 aux), 370 bool (0 aux), 557 ctr, max domain size 2 3.52/1.69 c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB) 3.52/1.69 c (1,1) CSPinCNF to SatSolver Begin 4.22/1.83 c (1,1) 56 (10 %) CSP clauses are encoded (0 SAT variables, 10345 SAT clauses) 4.22/1.84 c (1,1) 112 (20 %) CSP clauses are encoded (0 SAT variables, 10401 SAT clauses) 4.22/1.85 c (1,1) 168 (30 %) CSP clauses are encoded (0 SAT variables, 10457 SAT clauses) 4.22/1.86 c (1,1) 223 (40 %) CSP clauses are encoded (0 SAT variables, 10897 SAT clauses) 4.22/1.87 c (1,1) 279 (50 %) CSP clauses are encoded (0 SAT variables, 11569 SAT clauses) 4.22/1.88 c (1,1) 335 (60 %) CSP clauses are encoded (0 SAT variables, 12241 SAT clauses) 4.22/1.89 c (1,1) 390 (70 %) CSP clauses are encoded (0 SAT variables, 12901 SAT clauses) 4.22/1.90 c (1,1) 446 (80 %) CSP clauses are encoded (0 SAT variables, 13397 SAT clauses) 4.67/1.90 c (1,1) 502 (90 %) CSP clauses are encoded (0 SAT variables, 13453 SAT clauses) 4.67/1.91 c (1,1) 557 (100 %) CSP clauses are encoded (0 SAT variables, 13508 SAT clauses) 4.67/1.91 c (1,1) CSPinCNF to SatSolver End 4.67/1.91 c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 4.67/1.91 c (1,1) 5150 bool, 13509 clause 4.67/1.91 c (1,1) Export Begin 4.93/2.04 c (1,1) Export to HOME/scop-32023-serial-file.bin 4.93/2.04 c (1,1) Export End 4.93/2.04 c (1,1) Export File Size: 0.14 MB 4.93/2.04 c (1,1) 0,0,1,1,1,1,1,STOP-AFTER(DIMACS) 4.93/2.04 c END-Prog: Sat Sep 14 07:07:48 CEST 2019 4.93/2.07 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-32023-serial-file.bin 5.06/2.52 c (0,0) Read Serial File Begin 5.06/2.52 c (0,0) HOME/scop-32023-serial-file.bin 5.06/2.79 c (0,0) Read Serial File End 5.06/2.80 5.06/2.80 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 5.06/2.80 (Solving Process) 5.06/2.80 5.06/2.82 c BEGIN-Prog: Sat Sep 14 07:07:49 CEST 2019 5.06/2.82 c PID: 32046 5.06/2.82 c IP: 172.20.3.134 5.06/2.82 c HOST: node134.alineos.net 5.06/2.82 c (0,0) SatSolver.solve Begin 5.06/2.82 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392631-1568437707.xml-scop-32026.cnf 5.06/2.85 c (0,0) c 5.06/2.85 c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 5.06/2.85 c (0,0) c 5.06/2.85 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 5.06/2.85 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 5.06/2.85 c (0,0) c ========================================[ Problem Statistics ]=========================================== 5.06/2.85 c (0,0) c | | 5.06/2.85 c (0,0) c | Number of variables: 5150 | 5.06/2.85 c (0,0) c | Number of clauses: 13265 | 5.06/2.85 c (0,0) c | Parse time: 0.00 s | 5.06/2.85 c (0,0) c | | 5.06/2.86 c (0,0) c | Simplification time: 0.01 s | 5.06/2.86 c (0,0) c | | 5.06/2.86 c (0,0) c | Generating clones | 5.06/2.87 c (0,0) c | all clones generated. Memory = 34.58Mb. | 5.06/2.87 c (0,0) c ========================================================================================================| 5.06/2.87 c (0,0) c 5.06/2.87 c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 5.06/2.87 c (0,0) c 5.06/2.87 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 5.06/2.87 c (0,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 5.06/2.87 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 5.06/2.87 c (0,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 5.06/2.87 c (0,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 5.06/2.87 c (0,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 5.06/2.87 c (0,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 5.06/2.87 c (0,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 5.06/2.87 c (0,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5.06/2.87 c (0,0) c | glureduce | True | True | True | True | True | True | True | True | 5.06/2.87 c (0,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 5.06/2.87 c (0,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 5.06/2.87 c (0,0) c | luby_restart | False | False | False | False | False | False | False | False | 5.06/2.87 c (0,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 5.06/2.87 c (0,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 5.06/2.87 c (0,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 5.06/2.87 c (0,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 5.06/2.87 c (0,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 5.06/2.87 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 70.95/11.12 c (8,0) c 70.95/11.12 c (8,0) c real time : 8.27259 s 70.95/11.12 c (8,0) c cpu time : 64.2519 s 70.95/11.12 c (8,0) c 70.95/11.12 c (8,0) c 70.95/11.12 c (8,0) c 70.95/11.12 c (8,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 70.95/11.12 c (8,0) c 70.95/11.12 c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 70.95/11.12 c (8,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 70.95/11.12 c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 70.95/11.12 c (8,0) c | Conflicts | 715045 | 86500 | 86593 | 94271 | 90192 | 89607 | 91970 | 88815 | 87097 | 70.95/11.12 c (8,0) c | Decisions | 1182166 | 143122 | 149999 | 150697 | 154698 | 144953 | 155587 | 134056 | 149054 | 70.95/11.12 c (8,0) c | Propagations | 188968684 | 23113924 | 23588198 | 24637432 | 24351973 | 23346884 | 24639539 | 21445781 | 23844953 | 70.95/11.12 c (8,0) c | ReduceDBs | 61 | 7 | 7 | 8 | 8 | 8 | 8 | 8 | 7 | 70.95/11.12 c (8,0) c | SimpDBs | 48 | 7 | 6 | 6 | 6 | 6 | 6 | 5 | 6 | 70.95/11.12 c (8,0) c | Restarts | 2115 | 250 | 332 | 202 | 318 | 225 | 360 | 125 | 303 | 70.95/11.12 c (8,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 70.95/11.12 c (8,0) c | PropBinClauses| 100797986 | 12209220 | 12301350 | 13508731 | 12858452 | 12262706 | 12907771 | 12235728 | 12514028 | 70.95/11.12 c (8,0) c | PropPreBlocker| 1423326482 | 171823198 | 169188306 | 180686283 | 182994768 | 176651300 | 183060728 | 181404325 | 177517574 | 70.95/11.12 c (8,0) c | PropNotBlocker| 502463781 | 61134425 | 61818886 | 63858925 | 64032351 | 60676052 | 64623410 | 61812538 | 64507194 | 70.95/11.12 c (8,0) c | LitFullScans | 4250486086 | 528046465 | 528169476 | 530974184 | 534029573 | 528079925 | 528040254 | 545087298 | 528058911 | 70.95/11.12 c (8,0) c | LitScanFracts | 374488 | 29834 | 152771 | 23307 | 17398 | 64872 | 25328 | 22817 | 38161 | 70.95/11.12 c (8,0) c | DecisionLevel0| 2121 | 251 | 334 | 202 | 319 | 226 | 360 | 125 | 304 | 70.95/11.12 c (8,0) c | Periods | 707 | 88 | 88 | 88 | 89 | 88 | 88 | 90 | 88 | 70.95/11.12 c (8,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 70.95/11.12 c (8,0) c | Avg_Trail | | 1544 | 1593 | 1513 | 1529 | 1520 | 1510 | 1384 | 1505 | 70.95/11.12 c (8,0) c | Avg_DL | | 34 | 34 | 36 | 37 | 34 | 35 | 32 | 36 | 70.95/11.12 c (8,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 70.95/11.12 c (8,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 70.95/11.12 c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 70.95/11.12 c (8,0) c | Exported | 123530 | 14858 | 14056 | 16535 | 14657 | 15489 | 15652 | 17677 | 14606 | 70.95/11.12 c (8,0) c | Imported | 744506 | 93827 | 93238 | 92874 | 93631 | 92180 | 92713 | 92175 | 93868 | 70.95/11.12 c (8,0) c | Good | 5631 | 747 | 680 | 729 | 645 | 718 | 679 | 741 | 692 | 70.95/11.12 c (8,0) c | Purge | 738875 | 93080 | 92558 | 92145 | 92986 | 91462 | 92034 | 91434 | 93176 | 70.95/11.12 c (8,0) c | Promoted | 48373 | 5784 | 5919 | 5479 | 6100 | 5935 | 6185 | 6263 | 6708 | 70.95/11.12 c (8,0) c | Remove_Imp | 398855 | 42845 | 43133 | 51142 | 57972 | 56463 | 53599 | 56608 | 37093 | 70.95/11.12 c (8,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 70.95/11.12 c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 70.95/11.12 c (8,0) c | Unaries | | 1 | 2 | 0 | 1 | 1 | 0 | 0 | 1 | 70.95/11.12 c (8,0) c | Binaries | | 80 | 124 | 81 | 163 | 84 | 125 | 85 | 118 | 70.95/11.12 c (8,0) c | Glues | | 238 | 325 | 224 | 384 | 240 | 352 | 224 | 316 | 70.95/11.12 c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 70.95/11.12 c (8,0) c | Orig_Seen | 76 % | 8398 | 8586 | 8529 | 8433 | 8528 | 8569 | 8216 | 8448 | 70.95/11.12 c (8,0) c | Diff Orig seen| | - 131 | 57 | X | - 96 | - 1 | 40 | - 313 | - 81 | 70.95/11.12 c (8,0) c | Hamming | 14 % | 744 | 631 | X | 778 | 769 | 818 | 757 | 681 | 70.95/11.12 c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 70.95/11.12 c (8,0) c | RunningTime | | 8.2 99%| 8.1 100%| 7.9 99%| 7.9 100%| 8.2 100%| 7.9 99%| 8.0 99%| 8.2 100%| 70.95/11.12 c (8,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%| 70.95/11.12 c (8,0) c | ExchangingTime| | 0.0 0%| 0.0 0%| 0.0 1%| 0.0 0%| 0.0 0%| 0.0 1%| 0.0 1%| 0.0 0%| 70.95/11.12 c (8,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%| 70.95/11.12 c (8,0) c | SolvingTime | | 8.2 | 8.1 | 7.9 | 8.0 | 8.2 | 8.0 | 8.0 | 8.2 | 70.95/11.12 c (8,0) c | PropagationTim| | 5.6 69%| 5.5 68%| 5.5 70%| 5.6 71%| 5.6 68%| 5.8 72%| 5.7 71%| 5.9 72%| 70.95/11.12 c (8,0) c | AnalysisTime | | 2.2 27%| 2.2 28%| 2.0 26%| 2.0 25%| 2.3 28%| 1.8 23%| 2.0 25%| 1.9 24%| 70.95/11.12 c (8,0) c | ReductionTime | | 0.1 1%| 0.1 1%| 0.1 1%| 0.1 1%| 0.1 1%| 0.1 1%| 0.1 1%| 0.1 1%| 70.95/11.12 c (8,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%| 70.95/11.12 c (8,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%| 70.95/11.12 c (8,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%| 70.95/11.12 c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 70.95/11.12 c (8,0) c 70.95/11.12 c (8,0) c 70.95/11.12 c (8,0) c Threads : 8 70.95/11.12 c (8,0) c Winner : 2 70.95/11.12 c (8,0) c Conflicts_0 : 86500 70.95/11.12 c (8,0) c Conflicts_1 : 86593 70.95/11.12 c (8,0) c Conflicts_2 : 94271 70.95/11.12 c (8,0) c Conflicts_3 : 90192 70.95/11.12 c (8,0) c Conflicts_4 : 89607 70.95/11.12 c (8,0) c Conflicts_5 : 91970 70.95/11.12 c (8,0) c Conflicts_6 : 88815 70.95/11.12 c (8,0) c Conflicts_7 : 87097 70.95/11.12 c (8,0) c Conflicts_total : 715045 70.95/11.12 c (8,0) c Conflicts_winner : 94271 70.95/11.12 c (8,0) c Decisions_0 : 143122 70.95/11.12 c (8,0) c Decisions_1 : 149999 70.95/11.12 c (8,0) c Decisions_2 : 150697 70.95/11.12 c (8,0) c Decisions_3 : 154698 70.95/11.12 c (8,0) c Decisions_4 : 144953 70.95/11.12 c (8,0) c Decisions_5 : 155587 70.95/11.12 c (8,0) c Decisions_6 : 134056 70.95/11.12 c (8,0) c Decisions_7 : 149054 70.95/11.12 c (8,0) c Decisions_total : 1182166 70.95/11.12 c (8,0) c Decisions_winner : 150697 70.95/11.12 c (8,0) c Propagations_0 : 23113924 70.95/11.12 c (8,0) c Propagations_1 : 23588198 70.95/11.12 c (8,0) c Propagations_2 : 24637432 70.95/11.12 c (8,0) c Propagations_3 : 24351973 70.95/11.12 c (8,0) c Propagations_4 : 23346884 70.95/11.12 c (8,0) c Propagations_5 : 24639539 70.95/11.12 c (8,0) c Propagations_6 : 21445781 70.95/11.12 c (8,0) c Propagations_7 : 23844953 70.95/11.12 c (8,0) c Propagations_total : 188968684 70.95/11.12 c (8,0) c Propagations_winner : 24637432 70.95/11.12 c (8,0) c ReduceDBs_0 : 7 70.95/11.13 c (8,0) c ReduceDBs_1 : 7 70.95/11.13 c (8,0) c ReduceDBs_2 : 8 70.95/11.13 c (8,0) c ReduceDBs_3 : 8 70.95/11.13 c (8,0) c ReduceDBs_4 : 8 70.95/11.13 c (8,0) c ReduceDBs_5 : 8 70.95/11.13 c (8,0) c ReduceDBs_6 : 8 70.95/11.13 c (8,0) c ReduceDBs_7 : 7 70.95/11.13 c (8,0) c ReduceDBs_total : 61 70.95/11.13 c (8,0) c ReduceDBs_winner : 8 70.95/11.13 c (8,0) c SimpDBs_0 : 7 70.95/11.13 c (8,0) c SimpDBs_1 : 6 70.95/11.13 c (8,0) c SimpDBs_2 : 6 70.95/11.13 c (8,0) c SimpDBs_3 : 6 70.95/11.13 c (8,0) c SimpDBs_4 : 6 70.95/11.13 c (8,0) c SimpDBs_5 : 6 70.95/11.13 c (8,0) c SimpDBs_6 : 5 70.95/11.13 c (8,0) c SimpDBs_7 : 6 70.95/11.13 c (8,0) c SimpDBs_total : 48 70.95/11.13 c (8,0) c SimpDBs_winner : 6 70.95/11.13 c (8,0) c Restarts_0 : 250 70.95/11.13 c (8,0) c Restarts_1 : 332 70.95/11.13 c (8,0) c Restarts_2 : 202 70.95/11.13 c (8,0) c Restarts_3 : 318 70.95/11.13 c (8,0) c Restarts_4 : 225 70.95/11.13 c (8,0) c Restarts_5 : 360 70.95/11.13 c (8,0) c Restarts_6 : 125 70.95/11.13 c (8,0) c Restarts_7 : 303 70.95/11.13 c (8,0) c Restarts_total : 2115 70.95/11.13 c (8,0) c Restarts_winner : 202 70.95/11.13 c (8,0) c ForcedImports_0 : 0 70.95/11.13 c (8,0) c ForcedImports_1 : 0 70.95/11.13 c (8,0) c ForcedImports_2 : 0 70.95/11.13 c (8,0) c ForcedImports_3 : 0 70.95/11.13 c (8,0) c ForcedImports_4 : 0 70.95/11.13 c (8,0) c ForcedImports_5 : 0 70.95/11.13 c (8,0) c ForcedImports_6 : 0 70.95/11.13 c (8,0) c ForcedImports_7 : 0 70.95/11.13 c (8,0) c ForcedImports_total : 0 70.95/11.13 c (8,0) c ForcedImports_winner : 0 70.95/11.13 c (8,0) c PropsBinClauses_0 : 12209220 70.95/11.13 c (8,0) c PropsBinClauses_1 : 12301350 70.95/11.13 c (8,0) c PropsBinClauses_2 : 13508731 70.95/11.13 c (8,0) c PropsBinClauses_3 : 12858452 70.95/11.13 c (8,0) c PropsBinClauses_4 : 12262706 70.95/11.13 c (8,0) c PropsBinClauses_5 : 12907771 70.95/11.13 c (8,0) c PropsBinClauses_6 : 12235728 70.95/11.13 c (8,0) c PropsBinClauses_7 : 12514028 70.95/11.13 c (8,0) c PropsBinClauses_total : 100797986 70.95/11.13 c (8,0) c PropsBinClauses_winner : 13508731 70.95/11.13 c (8,0) c PropsPreBlocker_0 : 171823198 70.95/11.13 c (8,0) c PropsPreBlocker_1 : 169188306 70.95/11.13 c (8,0) c PropsPreBlocker_2 : 180686283 70.95/11.13 c (8,0) c PropsPreBlocker_3 : 182994768 70.95/11.13 c (8,0) c PropsPreBlocker_4 : 176651300 70.95/11.13 c (8,0) c PropsPreBlocker_5 : 183060728 70.95/11.13 c (8,0) c PropsPreBlocker_6 : 181404325 70.95/11.13 c (8,0) c PropsPreBlocker_7 : 177517574 70.95/11.13 c (8,0) c PropsPreBlocker_total : 1423326482 70.95/11.13 c (8,0) c PropsPreBlocker_winner : 180686283 70.95/11.13 c (8,0) c PropsNotBlocker_0 : 61134425 70.95/11.13 c (8,0) c PropsNotBlocker_1 : 61818886 70.95/11.13 c (8,0) c PropsNotBlocker_2 : 63858925 70.95/11.13 c (8,0) c PropsNotBlocker_3 : 64032351 70.95/11.13 c (8,0) c PropsNotBlocker_4 : 60676052 70.95/11.13 c (8,0) c PropsNotBlocker_5 : 64623410 70.95/11.13 c (8,0) c PropsNotBlocker_6 : 61812538 70.95/11.13 c (8,0) c PropsNotBlocker_7 : 64507194 70.95/11.13 c (8,0) c PropsNotBlocker_total : 502463781 70.95/11.13 c (8,0) c PropsNotBlocker_winner : 63858925 70.95/11.13 c (8,0) c PropsLitFullScans_0 : 528046465 70.95/11.13 c (8,0) c PropsLitFullScans_1 : 528169476 70.95/11.13 c (8,0) c PropsLitFullScans_2 : 530974184 70.95/11.13 c (8,0) c PropsLitFullScans_3 : 534029573 70.95/11.13 c (8,0) c PropsLitFullScans_4 : 528079925 70.95/11.13 c (8,0) c PropsLitFullScans_5 : 528040254 70.95/11.13 c (8,0) c PropsLitFullScans_6 : 545087298 70.95/11.13 c (8,0) c PropsLitFullScans_7 : 528058911 70.95/11.13 c (8,0) c PropsLitFullScans_total : 4250486086 70.95/11.13 c (8,0) c PropsLitFullScans_winner : 530974184 70.95/11.13 c (8,0) c LitScanFractions_0 : 29834 70.95/11.13 c (8,0) c LitScanFractions_1 : 152771 70.95/11.13 c (8,0) c LitScanFractions_2 : 23307 70.95/11.13 c (8,0) c LitScanFractions_3 : 17398 70.95/11.13 c (8,0) c LitScanFractions_4 : 64872 70.95/11.13 c (8,0) c LitScanFractions_5 : 25328 70.95/11.13 c (8,0) c LitScanFractions_6 : 22817 70.95/11.13 c (8,0) c LitScanFractions_7 : 38161 70.95/11.13 c (8,0) c LitScanFractions_total : 374488 70.95/11.13 c (8,0) c LitScanFractions_winner : 23307 70.95/11.13 c (8,0) c DecisionLevel0_0 : 251 70.95/11.13 c (8,0) c DecisionLevel0_1 : 334 70.95/11.13 c (8,0) c DecisionLevel0_2 : 202 70.95/11.13 c (8,0) c DecisionLevel0_3 : 319 70.95/11.13 c (8,0) c DecisionLevel0_4 : 226 70.95/11.13 c (8,0) c DecisionLevel0_5 : 360 70.95/11.13 c (8,0) c DecisionLevel0_6 : 125 70.95/11.13 c (8,0) c DecisionLevel0_7 : 304 70.95/11.13 c (8,0) c DecisionLevel0_total : 2121 70.95/11.13 c (8,0) c DecisionLevel0_winner : 202 70.95/11.13 c (8,0) c Periods_0 : 88 70.95/11.13 c (8,0) c Periods_1 : 88 70.95/11.13 c (8,0) c Periods_2 : 88 70.95/11.13 c (8,0) c Periods_3 : 89 70.95/11.13 c (8,0) c Periods_4 : 88 70.95/11.13 c (8,0) c Periods_5 : 88 70.95/11.13 c (8,0) c Periods_6 : 90 70.95/11.13 c (8,0) c Periods_7 : 88 70.95/11.13 c (8,0) c Periods_total : 707 70.95/11.13 c (8,0) c Periods_winner : 88 70.95/11.13 c (8,0) c Margin_0 : 20 70.95/11.13 c (8,0) c Margin_1 : 20 70.95/11.13 c (8,0) c Margin_2 : 20 70.95/11.13 c (8,0) c Margin_3 : 20 70.95/11.13 c (8,0) c Margin_4 : 20 70.95/11.13 c (8,0) c Margin_5 : 20 70.95/11.13 c (8,0) c Margin_6 : 20 70.95/11.13 c (8,0) c Margin_7 : 20 70.95/11.13 c (8,0) c Margin_total : 160 70.95/11.13 c (8,0) c Margin_winner : 20 70.95/11.13 c (8,0) c Exported_0 : 14858 70.95/11.13 c (8,0) c Exported_1 : 14056 70.95/11.13 c (8,0) c Exported_2 : 16535 70.95/11.13 c (8,0) c Exported_3 : 14657 70.95/11.13 c (8,0) c Exported_4 : 15489 70.95/11.13 c (8,0) c Exported_5 : 15652 70.95/11.13 c (8,0) c Exported_6 : 17677 70.95/11.13 c (8,0) c Exported_7 : 14606 70.95/11.13 c (8,0) c Exported_total : 123530 70.95/11.13 c (8,0) c Exported_winner : 16535 70.95/11.13 c (8,0) c Imported_0 : 93827 70.95/11.13 c (8,0) c Imported_1 : 93238 70.95/11.13 c (8,0) c Imported_2 : 92874 70.95/11.13 c (8,0) c Imported_3 : 93631 70.95/11.13 c (8,0) c Imported_4 : 92180 70.95/11.13 c (8,0) c Imported_5 : 92713 70.95/11.13 c (8,0) c Imported_6 : 92175 70.95/11.13 c (8,0) c Imported_7 : 93868 70.95/11.13 c (8,0) c Imported_total : 744506 70.95/11.13 c (8,0) c Imported_winner : 92874 70.95/11.13 c (8,0) c Good_0 : 747 70.95/11.13 c (8,0) c Good_1 : 680 70.95/11.13 c (8,0) c Good_2 : 729 70.95/11.13 c (8,0) c Good_3 : 645 70.95/11.13 c (8,0) c Good_4 : 718 70.95/11.13 c (8,0) c Good_5 : 679 70.95/11.13 c (8,0) c Good_6 : 741 70.95/11.13 c (8,0) c Good_7 : 692 70.95/11.13 c (8,0) c Good_total : 5631 70.95/11.13 c (8,0) c Good_winner : 729 70.95/11.13 c (8,0) c Purge_0 : 93080 70.95/11.13 c (8,0) c Purge_1 : 92558 70.95/11.13 c (8,0) c Purge_2 : 92145 70.95/11.13 c (8,0) c Purge_3 : 92986 70.95/11.13 c (8,0) c Purge_4 : 91462 70.95/11.13 c (8,0) c Purge_5 : 92034 70.95/11.13 c (8,0) c Purge_6 : 91434 70.95/11.13 c (8,0) c Purge_7 : 93176 70.95/11.13 c (8,0) c Purge_total : 738875 70.95/11.13 c (8,0) c Purge_winner : 92145 70.95/11.13 c (8,0) c Promoted_0 : 5784 70.95/11.13 c (8,0) c Promoted_1 : 5919 70.95/11.13 c (8,0) c Promoted_2 : 5479 70.95/11.13 c (8,0) c Promoted_3 : 6100 70.95/11.13 c (8,0) c Promoted_4 : 5935 70.95/11.13 c (8,0) c Promoted_5 : 6185 70.95/11.13 c (8,0) c Promoted_6 : 6263 70.95/11.13 c (8,0) c Promoted_7 : 6708 70.95/11.13 c (8,0) c Promoted_total : 48373 70.95/11.13 c (8,0) c Promoted_winner : 5479 70.95/11.13 c (8,0) c Remove_Imp_0 : 42845 70.95/11.13 c (8,0) c Remove_Imp_1 : 43133 70.95/11.13 c (8,0) c Remove_Imp_2 : 51142 70.95/11.13 c (8,0) c Remove_Imp_3 : 57972 70.95/11.13 c (8,0) c Remove_Imp_4 : 56463 70.95/11.13 c (8,0) c Remove_Imp_5 : 53599 70.95/11.13 c (8,0) c Remove_Imp_6 : 56608 70.95/11.13 c (8,0) c Remove_Imp_7 : 37093 70.95/11.13 c (8,0) c Remove_Imp_total : 398855 70.95/11.13 c (8,0) c Remove_Imp_winner : 51142 70.95/11.13 c (8,0) c Blocked_Reuse_0 : 0 70.95/11.13 c (8,0) c Blocked_Reuse_1 : 0 70.95/11.13 c (8,0) c Blocked_Reuse_2 : 0 70.95/11.13 c (8,0) c Blocked_Reuse_3 : 0 70.95/11.13 c (8,0) c Blocked_Reuse_4 : 0 70.95/11.13 c (8,0) c Blocked_Reuse_5 : 0 70.95/11.13 c (8,0) c Blocked_Reuse_6 : 0 70.95/11.13 c (8,0) c Blocked_Reuse_7 : 0 70.95/11.13 c (8,0) c Blocked_Reuse_total : 0 70.95/11.13 c (8,0) c Blocked_Reuse_winner : 0 70.95/11.13 c (8,0) c Unaries_0 : 1 70.95/11.13 c (8,0) c Unaries_1 : 2 70.95/11.13 c (8,0) c Unaries_2 : 0 70.95/11.13 c (8,0) c Unaries_3 : 1 70.95/11.13 c (8,0) c Unaries_4 : 1 70.95/11.13 c (8,0) c Unaries_5 : 0 70.95/11.13 c (8,0) c Unaries_6 : 0 70.95/11.13 c (8,0) c Unaries_7 : 1 70.95/11.13 c (8,0) c Unaries_total : 6 70.95/11.13 c (8,0) c Unaries_winner : 0 70.95/11.13 c (8,0) c Binaries_0 : 80 70.95/11.13 c (8,0) c Binaries_1 : 124 70.95/11.13 c (8,0) c Binaries_2 : 81 70.95/11.13 c (8,0) c Binaries_3 : 163 70.95/11.13 c (8,0) c Binaries_4 : 84 70.95/11.13 c (8,0) c Binaries_5 : 125 70.95/11.13 c (8,0) c Binaries_6 : 85 70.95/11.13 c (8,0) c Binaries_7 : 118 70.95/11.13 c (8,0) c Binaries_total : 860 70.95/11.13 c (8,0) c Binaries_winner : 81 70.95/11.13 c (8,0) c Glues_0 : 238 70.95/11.13 c (8,0) c Glues_1 : 325 70.95/11.13 c (8,0) c Glues_2 : 224 70.95/11.13 c (8,0) c Glues_3 : 384 70.95/11.13 c (8,0) c Glues_4 : 240 70.95/11.13 c (8,0) c Glues_5 : 352 70.95/11.13 c (8,0) c Glues_6 : 224 70.95/11.13 c (8,0) c Glues_7 : 316 70.95/11.13 c (8,0) c Glues_total : 2303 70.95/11.13 c (8,0) c Glues_winner : 224 70.95/11.13 c (8,0) c RunningTime_0 : 8.183765 70.95/11.13 c (8,0) c RunningTime_1 : 8.068613 70.95/11.13 c (8,0) c RunningTime_2 : 7.901592 70.95/11.13 c (8,0) c RunningTime_3 : 7.935662 70.95/11.13 c (8,0) c RunningTime_4 : 8.203487 70.95/11.13 c (8,0) c RunningTime_5 : 7.949860 70.95/11.13 c (8,0) c RunningTime_6 : 8.006776 70.95/11.13 c (8,0) c RunningTime_7 : 8.167147 70.95/11.13 c (8,0) c RunningTime_total : 64.416901 70.95/11.13 c (8,0) c RunningTime_winner : 7.901592 70.95/11.13 c (8,0) c WaitingTime_0 : 0.000082 70.95/11.13 c (8,0) c WaitingTime_1 : 0.000077 70.95/11.13 c (8,0) c WaitingTime_2 : 0.000107 70.95/11.13 c (8,0) c WaitingTime_3 : 0.000108 70.95/11.13 c (8,0) c WaitingTime_4 : 0.000090 70.95/11.13 c (8,0) c WaitingTime_5 : 0.000092 70.95/11.13 c (8,0) c WaitingTime_6 : 0.000096 70.95/11.13 c (8,0) c WaitingTime_7 : 0.000063 70.95/11.13 c (8,0) c WaitingTime_total : 0.000715 70.95/11.13 c (8,0) c WaitingTime_winner : 0.000107 70.95/11.13 c (8,0) c ExchangingTime_0 : 0.040593 70.95/11.13 c (8,0) c ExchangingTime_1 : 0.039220 70.95/11.13 c (8,0) c ExchangingTime_2 : 0.040298 70.95/11.13 c (8,0) c ExchangingTime_3 : 0.035439 70.95/11.13 c (8,0) c ExchangingTime_4 : 0.036519 70.95/11.13 c (8,0) c ExchangingTime_5 : 0.040376 70.95/11.13 c (8,0) c ExchangingTime_6 : 0.040936 70.95/11.13 c (8,0) c ExchangingTime_7 : 0.036954 70.95/11.13 c (8,0) c ExchangingTime_total : 0.310337 70.95/11.13 c (8,0) c ExchangingTime_winner : 0.040298 70.95/11.13 c (8,0) c PeriodProcTime_0 : 0.000717 70.95/11.13 c (8,0) c PeriodProcTime_1 : 0.000481 70.95/11.13 c (8,0) c PeriodProcTime_2 : 0.000530 70.95/11.13 c (8,0) c PeriodProcTime_3 : 0.000522 70.95/11.13 c (8,0) c PeriodProcTime_4 : 0.000668 70.95/11.13 c (8,0) c PeriodProcTime_5 : 0.000512 70.95/11.13 c (8,0) c PeriodProcTime_6 : 0.000742 70.95/11.13 c (8,0) c PeriodProcTime_7 : 0.000713 70.95/11.13 c (8,0) c PeriodProcTime_total : 0.004885 70.95/11.13 c (8,0) c PeriodProcTime_winner : 0.000530 70.95/11.13 c (8,0) c SolvingTime_0 : 8.225157 70.95/11.13 c (8,0) c SolvingTime_1 : 8.108391 70.95/11.13 c (8,0) c SolvingTime_2 : 7.942527 70.95/11.13 c (8,0) c SolvingTime_3 : 7.971732 70.95/11.13 c (8,0) c SolvingTime_4 : 8.240764 70.95/11.13 c (8,0) c SolvingTime_5 : 7.990840 70.95/11.13 c (8,0) c SolvingTime_6 : 8.048551 70.95/11.13 c (8,0) c SolvingTime_7 : 8.204876 70.95/11.13 c (8,0) c SolvingTime_total : 64.732838 70.95/11.13 c (8,0) c SolvingTime_winner : 7.942527 70.95/11.13 c (8,0) c PropagationTime_0 : 5.636255 70.95/11.13 c (8,0) c PropagationTime_1 : 5.526926 70.95/11.13 c (8,0) c PropagationTime_2 : 5.537278 70.95/11.13 c (8,0) c PropagationTime_3 : 5.639995 70.95/11.13 c (8,0) c PropagationTime_4 : 5.593284 70.95/11.13 c (8,0) c PropagationTime_5 : 5.764895 70.95/11.13 c (8,0) c PropagationTime_6 : 5.683612 70.95/11.13 c (8,0) c PropagationTime_7 : 5.925146 70.95/11.13 c (8,0) c PropagationTime_total : 45.307391 70.95/11.13 c (8,0) c PropagationTime_winner : 5.537278 70.95/11.13 c (8,0) c AnalysisTime_0 : 2.233711 70.95/11.13 c (8,0) c AnalysisTime_1 : 2.243247 70.95/11.13 c (8,0) c AnalysisTime_2 : 2.039909 70.95/11.13 c (8,0) c AnalysisTime_3 : 1.965721 70.95/11.13 c (8,0) c AnalysisTime_4 : 2.276793 70.95/11.13 c (8,0) c AnalysisTime_5 : 1.849620 70.95/11.13 c (8,0) c AnalysisTime_6 : 2.006294 70.95/11.13 c (8,0) c AnalysisTime_7 : 1.934130 70.95/11.13 c (8,0) c AnalysisTime_total : 16.549425 70.95/11.13 c (8,0) c AnalysisTime_winner : 2.039909 70.95/11.13 c (8,0) c ReductionTime_0 : 0.076527 70.95/11.13 c (8,0) c ReductionTime_1 : 0.075029 70.95/11.13 c (8,0) c ReductionTime_2 : 0.104626 70.95/11.13 c (8,0) c ReductionTime_3 : 0.100571 70.95/11.13 c (8,0) c ReductionTime_4 : 0.104178 70.95/11.14 c (8,0) c ReductionTime_5 : 0.106637 70.95/11.14 c (8,0) c ReductionTime_6 : 0.103569 70.95/11.14 c (8,0) c ReductionTime_7 : 0.073088 70.95/11.14 c (8,0) c ReductionTime_total : 0.744225 70.95/11.14 c (8,0) c ReductionTime_winner : 0.104626 70.95/11.14 c (8,0) c SimplifyTime_0 : 0.025729 70.95/11.14 c (8,0) c SimplifyTime_1 : 0.019233 70.95/11.14 c (8,0) c SimplifyTime_2 : 0.023665 70.95/11.14 c (8,0) c SimplifyTime_3 : 0.020235 70.95/11.14 c (8,0) c SimplifyTime_4 : 0.021007 70.95/11.14 c (8,0) c SimplifyTime_5 : 0.020657 70.95/11.14 c (8,0) c SimplifyTime_6 : 0.021155 70.95/11.14 c (8,0) c SimplifyTime_7 : 0.020118 70.95/11.14 c (8,0) c SimplifyTime_total : 0.171798 70.95/11.14 c (8,0) c SimplifyTime_winner : 0.023665 70.95/11.14 c (8,0) c UsedRateTime_0 : 0.000000 70.95/11.14 c (8,0) c UsedRateTime_1 : 0.000000 70.95/11.14 c (8,0) c UsedRateTime_2 : 0.000000 70.95/11.14 c (8,0) c UsedRateTime_3 : 0.000000 70.95/11.14 c (8,0) c UsedRateTime_4 : 0.000000 70.95/11.14 c (8,0) c UsedRateTime_5 : 0.000000 70.95/11.14 c (8,0) c UsedRateTime_6 : 0.000000 70.95/11.14 c (8,0) c UsedRateTime_7 : 0.000000 70.95/11.14 c (8,0) c UsedRateTime_total : 0.000000 70.95/11.14 c (8,0) c UsedRateTime_winner : 0.000000 70.95/11.14 c (8,0) c OverlapRateTime_0 : 0.000000 70.95/11.14 c (8,0) c OverlapRateTime_1 : 0.000000 70.95/11.14 c (8,0) c OverlapRateTime_2 : 0.000000 70.95/11.14 c (8,0) c OverlapRateTime_3 : 0.000000 70.95/11.14 c (8,0) c OverlapRateTime_4 : 0.000000 70.95/11.14 c (8,0) c OverlapRateTime_5 : 0.000000 70.95/11.14 c (8,0) c OverlapRateTime_6 : 0.000000 70.95/11.14 c (8,0) c OverlapRateTime_7 : 0.000000 70.95/11.14 c (8,0) c OverlapRateTime_total : 0.000000 70.95/11.14 c (8,0) c OverlapRateTime_winner : 0.000000 70.95/11.14 c (8,0) c 70.95/11.14 c (8,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 70.95/11.14 c (8,0) c 70.95/11.14 c (8,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 70.95/11.14 c (8,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 70.95/11.14 c (8,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 70.95/11.14 c (8,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 70.95/11.14 c (8,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 70.95/11.14 c (8,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 70.95/11.14 c (8,0) c | Initial random_seed | 1418302884 | 1211293176 | 1125637758 | 1812189665 | 1230909861 | 184647536 | 1170872232 | 643890427 | 70.95/11.14 c (8,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 70.95/11.14 c (8,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 70.95/11.14 c (8,0) c | glureduce | True | True | True | True | True | True | True | True | 70.95/11.14 c (8,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 70.95/11.14 c (8,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 70.95/11.14 c (8,0) c | luby_restart | False | False | False | False | False | False | False | False | 70.95/11.14 c (8,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 70.95/11.14 c (8,0) c | var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 70.95/11.14 c (8,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 70.95/11.14 c (8,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 70.95/11.14 c (8,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 70.95/11.14 c (8,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 70.95/11.14 c (8,0) 70.95/11.14 c (8,0) s SATISFIABLE 70.95/11.16 c (8,0) SatSolver.solve End 70.95/11.16 c (8,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 70.95/11.16 c (8,0) Show results Begin 71.20/11.28 c (8,0) x[0] = 0 71.20/11.28 c (8,0) x[1] = 1 71.20/11.28 c (8,0) x[2] = 0 71.20/11.28 c (8,0) x[3] = 1 71.20/11.28 c (8,0) x[4] = 0 71.20/11.28 c (8,0) x[5] = 0 71.20/11.28 c (8,0) x[6] = 0 71.20/11.28 c (8,0) x[7] = 1 71.20/11.28 c (8,0) x[8] = 0 71.20/11.28 c (8,0) x[9] = 0 71.20/11.28 c (8,0) x[10] = 0 71.20/11.28 c (8,0) x[11] = 0 71.20/11.28 c (8,0) x[12] = 0 71.20/11.28 c (8,0) x[13] = 0 71.20/11.28 c (8,0) x[14] = 0 71.20/11.28 c (8,0) x[15] = 0 71.20/11.28 c (8,0) x[16] = 0 71.20/11.28 c (8,0) x[17] = 1 71.20/11.28 c (8,0) x[18] = 0 71.20/11.28 c (8,0) x[19] = 1 71.20/11.28 c (8,0) x[20] = 0 71.20/11.28 c (8,0) x[21] = 0 71.20/11.28 c (8,0) x[22] = 0 71.20/11.28 c (8,0) x[23] = 1 71.20/11.28 c (8,0) x[24] = 0 71.20/11.28 c (8,0) x[25] = 1 71.20/11.28 c (8,0) x[26] = 0 71.20/11.28 c (8,0) x[27] = 1 71.20/11.28 c (8,0) x[28] = 0 71.20/11.28 c (8,0) x[29] = 0 71.20/11.28 c (8,0) x[30] = 0 71.20/11.28 c (8,0) x[31] = 0 71.20/11.28 c (8,0) x[32] = 0 71.20/11.28 c (8,0) x[33] = 0 71.20/11.28 c (8,0) x[34] = 0 71.20/11.28 c (8,0) x[35] = 0 71.20/11.28 c (8,0) x[36] = 0 71.20/11.28 c (8,0) x[37] = 0 71.20/11.28 c (8,0) x[38] = 0 71.20/11.28 c (8,0) x[39] = 1 71.20/11.28 c (8,0) x[40] = 0 71.20/11.28 c (8,0) x[41] = 0 71.20/11.28 c (8,0) x[42] = 0 71.20/11.28 c (8,0) x[43] = 0 71.20/11.28 c (8,0) x[44] = 0 71.20/11.28 c (8,0) x[45] = 0 71.20/11.28 c (8,0) x[46] = 0 71.20/11.28 c (8,0) x[47] = 1 71.20/11.28 c (8,0) x[48] = 0 71.20/11.28 c (8,0) x[49] = 1 71.20/11.28 c (8,0) x[50] = 0 71.20/11.28 c (8,0) x[51] = 1 71.20/11.28 c (8,0) x[52] = 0 71.20/11.28 c (8,0) x[53] = 0 71.20/11.28 c (8,0) x[54] = 0 71.20/11.28 c (8,0) x[55] = 0 71.20/11.28 c (8,0) x[56] = 0 71.20/11.28 c (8,0) x[57] = 0 71.20/11.28 c (8,0) x[58] = 0 71.20/11.28 c (8,0) x[59] = 0 71.20/11.28 c (8,0) x[60] = 0 71.20/11.28 c (8,0) x[61] = 0 71.20/11.28 c (8,0) x[62] = 0 71.20/11.28 c (8,0) x[63] = 1 71.20/11.28 c (8,0) x[64] = 0 71.20/11.28 c (8,0) x[65] = 0 71.20/11.28 c (8,0) x[66] = 0 71.20/11.28 c (8,0) x[67] = 0 71.20/11.28 c (8,0) x[68] = 0 71.20/11.28 c (8,0) x[69] = 0 71.20/11.28 c (8,0) x[70] = 0 71.20/11.28 c (8,0) x[71] = 1 71.20/11.28 c (8,0) x[72] = 0 71.20/11.28 c (8,0) x[73] = 1 71.20/11.28 c (8,0) x[74] = 0 71.20/11.28 c (8,0) x[75] = 0 71.20/11.28 c (8,0) x[76] = 0 71.20/11.28 c (8,0) x[77] = 0 71.20/11.28 c (8,0) x[78] = 0 71.20/11.28 c (8,0) x[79] = 0 71.20/11.28 c (8,0) x[80] = 0 71.20/11.28 c (8,0) x[81] = 0 71.20/11.28 c (8,0) x[82] = 0 71.20/11.28 c (8,0) x[83] = 1 71.20/11.28 c (8,0) x[84] = 0 71.20/11.28 c (8,0) x[85] = 0 71.20/11.29 c (8,0) x[86] = 0 71.20/11.29 c (8,0) x[87] = 0 71.20/11.29 c (8,0) x[88] = 0 71.20/11.29 c (8,0) x[89] = 0 71.20/11.29 c (8,0) x[90] = 0 71.20/11.29 c (8,0) x[91] = 0 71.20/11.29 c (8,0) x[92] = 0 71.20/11.29 c (8,0) x[93] = 0 71.20/11.29 c (8,0) x[94] = 0 71.20/11.29 c (8,0) x[95] = 0 71.20/11.29 c (8,0) x[96] = 0 71.20/11.29 c (8,0) x[97] = 0 71.20/11.29 c (8,0) x[98] = 0 71.20/11.29 c (8,0) x[99] = 0 71.20/11.29 c (8,0) x[100] = 1 71.20/11.29 c (8,0) x[101] = 0 71.20/11.29 c (8,0) x[102] = 0 71.20/11.29 c (8,0) x[103] = 0 71.20/11.29 c (8,0) x[104] = 0 71.20/11.29 c (8,0) x[105] = 0 71.20/11.29 c (8,0) x[106] = 0 71.20/11.29 c (8,0) x[107] = 0 71.20/11.29 c (8,0) x[108] = 1 71.20/11.29 c (8,0) x[109] = 0 71.20/11.29 c (8,0) x[110] = 0 71.20/11.29 c (8,0) x[111] = 0 71.20/11.29 c (8,0) x[112] = 0 71.20/11.29 c (8,0) x[113] = 0 71.20/11.29 c (8,0) x[114] = 0 71.20/11.29 c (8,0) x[115] = 0 71.20/11.29 c (8,0) x[116] = 0 71.20/11.29 c (8,0) x[117] = 0 71.20/11.29 c (8,0) x[118] = 0 71.20/11.29 c (8,0) x[119] = 0 71.20/11.29 c (8,0) x[120] = 0 71.20/11.29 c (8,0) x[121] = 0 71.20/11.29 c (8,0) x[122] = 0 71.20/11.29 c (8,0) x[123] = 0 71.20/11.29 c (8,0) x[124] = 1 71.20/11.29 c (8,0) x[125] = 0 71.20/11.29 c (8,0) x[126] = 0 71.20/11.29 c (8,0) x[127] = 0 71.20/11.29 c (8,0) x[128] = 0 71.20/11.29 c (8,0) x[129] = 0 71.20/11.29 c (8,0) x[130] = 0 71.20/11.29 c (8,0) x[131] = 0 71.20/11.29 c (8,0) x[132] = 0 71.20/11.29 c (8,0) x[133] = 0 71.20/11.29 c (8,0) x[134] = 0 71.20/11.29 c (8,0) x[135] = 0 71.20/11.29 c (8,0) x[136] = 0 71.20/11.29 c (8,0) x[137] = 0 71.20/11.29 c (8,0) x[138] = 0 71.20/11.29 c (8,0) x[139] = 0 71.20/11.29 c (8,0) x[140] = 1 71.20/11.29 c (8,0) x[141] = 0 71.20/11.29 c (8,0) x[142] = 0 71.20/11.29 c (8,0) x[143] = 0 71.20/11.29 c (8,0) x[144] = 0 71.20/11.29 c (8,0) x[145] = 0 71.20/11.29 c (8,0) x[146] = 0 71.20/11.29 c (8,0) x[147] = 0 71.20/11.29 c (8,0) x[148] = 0 71.20/11.29 c (8,0) x[149] = 0 71.20/11.29 c (8,0) x[150] = 0 71.20/11.29 c (8,0) x[151] = 0 71.20/11.29 c (8,0) x[152] = 1 71.20/11.29 c (8,0) x[153] = 0 71.20/11.29 c (8,0) x[154] = 0 71.20/11.29 c (8,0) x[155] = 1 71.20/11.29 c (8,0) x[156] = 0 71.20/11.29 c (8,0) x[157] = 0 71.20/11.29 c (8,0) x[158] = 0 71.20/11.29 c (8,0) x[159] = 0 71.20/11.29 c (8,0) x[160] = 0 71.20/11.29 c (8,0) x[161] = 0 71.20/11.29 c (8,0) x[162] = 0 71.20/11.29 c (8,0) x[163] = 0 71.20/11.29 c (8,0) x[164] = 0 71.20/11.29 c (8,0) x[165] = 0 71.20/11.29 c (8,0) x[166] = 0 71.20/11.29 c (8,0) x[167] = 0 71.20/11.29 c (8,0) x[168] = 0 71.20/11.29 c (8,0) x[169] = 0 71.20/11.29 c (8,0) x[170] = 0 71.20/11.29 c (8,0) x[171] = 0 71.20/11.29 c (8,0) x[172] = 0 71.20/11.29 c (8,0) x[173] = 0 71.20/11.29 c (8,0) x[174] = 0 71.20/11.29 c (8,0) x[175] = 0 71.20/11.29 c (8,0) x[176] = 0 71.20/11.29 c (8,0) x[177] = 0 71.20/11.29 c (8,0) x[178] = 0 71.20/11.29 c (8,0) x[179] = 0 71.20/11.29 c (8,0) x[180] = 0 71.20/11.29 c (8,0) x[181] = 0 71.20/11.29 c (8,0) x[182] = 0 71.20/11.29 c (8,0) x[183] = 0 71.20/11.29 c (8,0) x[184] = 1 71.20/11.29 c (8,0) x[185] = 0 71.20/11.29 c (8,0) x[186] = 1 71.20/11.29 c (8,0) x[187] = 0 71.20/11.29 c (8,0) x[188] = 1 71.20/11.29 c (8,0) x[189] = 0 71.20/11.29 c (8,0) x[190] = 0 71.20/11.29 c (8,0) x[191] = 0 71.20/11.29 c (8,0) x[192] = 0 71.20/11.29 c (8,0) x[193] = 0 71.20/11.29 c (8,0) x[194] = 0 71.20/11.29 c (8,0) x[195] = 0 71.20/11.29 c (8,0) x[196] = 1 71.20/11.29 c (8,0) x[197] = 0 71.20/11.29 c (8,0) x[198] = 0 71.20/11.29 c (8,0) x[199] = 0 71.20/11.29 c (8,0) x[200] = 0 71.20/11.29 c (8,0) x[201] = 0 71.20/11.29 c (8,0) x[202] = 0 71.20/11.29 c (8,0) x[203] = 0 71.20/11.29 c (8,0) x[204] = 0 71.20/11.29 c (8,0) x[205] = 0 71.20/11.29 c (8,0) x[206] = 1 71.20/11.29 c (8,0) x[207] = 0 71.20/11.29 c (8,0) x[208] = 1 71.20/11.29 c (8,0) x[209] = 0 71.20/11.29 c (8,0) x[210] = 1 71.20/11.29 c (8,0) x[211] = 0 71.20/11.29 c (8,0) x[212] = 1 71.20/11.29 c (8,0) x[213] = 0 71.20/11.29 c (8,0) x[214] = 0 71.20/11.29 c (8,0) x[215] = 0 71.20/11.29 c (8,0) x[216] = 0 71.20/11.29 c (8,0) x[217] = 0 71.20/11.29 c (8,0) x[218] = 0 71.20/11.29 c (8,0) x[219] = 0 71.20/11.29 c (8,0) x[220] = 0 71.20/11.29 c (8,0) x[221] = 0 71.20/11.29 c (8,0) x[222] = 0 71.20/11.29 c (8,0) x[223] = 0 71.20/11.29 c (8,0) x[224] = 0 71.20/11.29 c (8,0) x[225] = 0 71.20/11.29 c (8,0) x[226] = 0 71.20/11.29 c (8,0) x[227] = 0 71.20/11.29 c (8,0) x[228] = 1 71.20/11.29 c (8,0) x[229] = 0 71.20/11.29 c (8,0) x[230] = 1 71.20/11.29 c (8,0) x[231] = 0 71.20/11.29 c (8,0) x[232] = 1 71.20/11.29 c (8,0) x[233] = 0 71.20/11.29 c (8,0) x[234] = 1 71.20/11.29 c (8,0) x[235] = 0 71.20/11.29 c (8,0) x[236] = 0 71.20/11.29 c (8,0) x[237] = 0 71.20/11.29 c (8,0) x[238] = 0 71.20/11.29 c (8,0) x[239] = 0 71.20/11.29 c (8,0) x[240] = 0 71.20/11.29 c (8,0) x[241] = 0 71.20/11.29 c (8,0) x[242] = 1 71.20/11.29 c (8,0) x[243] = 0 71.20/11.29 c (8,0) x[244] = 1 71.20/11.29 c (8,0) x[245] = 0 71.20/11.29 c (8,0) x[246] = 1 71.20/11.29 c (8,0) x[247] = 0 71.20/11.29 c (8,0) x[248] = 1 71.20/11.29 c (8,0) x[249] = 0 71.20/11.29 c (8,0) x[250] = 0 71.20/11.29 c (8,0) x[251] = 1 71.20/11.29 c (8,0) x[252] = 0 71.20/11.29 c (8,0) x[253] = 1 71.20/11.29 c (8,0) x[254] = 0 71.20/11.29 c (8,0) x[255] = 1 71.20/11.29 c (8,0) x[256] = 1 71.20/11.29 c (8,0) x[257] = 0 71.20/11.29 c (8,0) x[258] = 0 71.20/11.29 c (8,0) x[259] = 1 71.20/11.29 c (8,0) x[260] = 0 71.20/11.29 c (8,0) x[261] = 1 71.20/11.29 c (8,0) x[262] = 0 71.20/11.29 c (8,0) x[263] = 1 71.20/11.29 c (8,0) x[264] = 1 71.20/11.29 c (8,0) x[265] = 0 71.20/11.29 c (8,0) x[266] = 1 71.20/11.29 c (8,0) x[267] = 0 71.20/11.29 c (8,0) x[268] = 1 71.20/11.29 c (8,0) x[269] = 0 71.20/11.29 c (8,0) x[270] = 1 71.20/11.29 c (8,0) x[271] = 0 71.20/11.29 c (8,0) x[272] = 0 71.20/11.29 c (8,0) x[273] = 1 71.20/11.29 c (8,0) x[274] = 0 71.20/11.29 c (8,0) x[275] = 1 71.20/11.29 c (8,0) x[276] = 0 71.20/11.29 c (8,0) x[277] = 1 71.20/11.29 c (8,0) x[278] = 0 71.20/11.29 c (8,0) x[279] = 1 71.20/11.29 c (8,0) x[280] = 1 71.20/11.29 c (8,0) x[281] = 0 71.20/11.29 c (8,0) x[282] = 1 71.20/11.29 c (8,0) x[283] = 0 71.20/11.29 c (8,0) x[284] = 0 71.20/11.29 c (8,0) x[285] = 1 71.20/11.29 c (8,0) x[286] = 1 71.20/11.29 c (8,0) x[287] = 0 71.20/11.29 c (8,0) x[288] = 1 71.20/11.29 c (8,0) x[289] = 0 71.20/11.29 c (8,0) x[290] = 0 71.20/11.29 c (8,0) x[291] = 1 71.20/11.29 c (8,0) x[292] = 0 71.20/11.29 c (8,0) x[293] = 1 71.20/11.29 c (8,0) x[294] = 0 71.20/11.29 c (8,0) x[295] = 1 71.20/11.29 c (8,0) x[296] = 0 71.20/11.29 c (8,0) x[297] = 1 71.20/11.29 c (8,0) x[298] = 0 71.20/11.29 c (8,0) x[299] = 1 71.20/11.29 c (8,0) x[300] = 1 71.20/11.29 c (8,0) x[301] = 0 71.20/11.29 c (8,0) x[302] = 0 71.20/11.29 c (8,0) x[303] = 0 71.20/11.29 c (8,0) x[304] = 0 71.20/11.29 c (8,0) x[305] = 0 71.20/11.29 c (8,0) x[306] = 0 71.20/11.29 c (8,0) x[307] = 0 71.20/11.29 c (8,0) x[308] = 1 71.20/11.29 c (8,0) x[309] = 0 71.20/11.29 c (8,0) x[310] = 1 71.20/11.29 c (8,0) x[311] = 0 71.20/11.29 c (8,0) x[312] = 1 71.20/11.29 c (8,0) x[313] = 0 71.20/11.29 c (8,0) x[314] = 1 71.20/11.29 c (8,0) x[315] = 0 71.20/11.29 c (8,0) x[316] = 1 71.20/11.29 c (8,0) x[317] = 0 71.20/11.29 c (8,0) x[318] = 1 71.20/11.29 c (8,0) x[319] = 0 71.20/11.29 c (8,0) x[320] = 1 71.20/11.29 c (8,0) x[321] = 0 71.20/11.29 c (8,0) x[322] = 1 71.20/11.29 c (8,0) x[323] = 0 71.20/11.29 c (8,0) x[324] = 1 71.20/11.29 c (8,0) x[325] = 0 71.20/11.29 c (8,0) x[326] = 1 71.20/11.29 c (8,0) x[327] = 0 71.20/11.29 c (8,0) x[328] = 0 71.20/11.29 c (8,0) x[329] = 1 71.20/11.29 c (8,0) x[330] = 1 71.20/11.29 c (8,0) x[331] = 0 71.20/11.29 c (8,0) x[332] = 0 71.20/11.29 c (8,0) x[333] = 1 71.20/11.29 c (8,0) x[334] = 0 71.20/11.29 c (8,0) x[335] = 1 71.20/11.29 c (8,0) x[336] = 0 71.20/11.29 c (8,0) x[337] = 1 71.20/11.29 c (8,0) x[338] = 0 71.20/11.29 c (8,0) x[339] = 1 71.20/11.29 c (8,0) x[340] = 0 71.20/11.29 c (8,0) x[341] = 1 71.20/11.29 c (8,0) x[342] = 0 71.20/11.29 c (8,0) x[343] = 1 71.20/11.29 c (8,0) x[344] = 0 71.20/11.29 c (8,0) x[345] = 1 71.20/11.29 c (8,0) x[346] = 0 71.20/11.29 c (8,0) x[347] = 0 71.20/11.29 c (8,0) x[348] = 0 71.20/11.29 c (8,0) x[349] = 0 71.20/11.29 c (8,0) x[350] = 0 71.20/11.29 c (8,0) x[351] = 0 71.20/11.29 c (8,0) x[352] = 1 71.20/11.29 c (8,0) x[353] = 0 71.20/11.29 c (8,0) x[354] = 1 71.20/11.29 c (8,0) x[355] = 0 71.20/11.29 c (8,0) x[356] = 1 71.20/11.29 c (8,0) x[357] = 0 71.20/11.29 c (8,0) x[358] = 0 71.20/11.29 c (8,0) x[359] = 1 71.20/11.29 c (8,0) x[360] = 1 71.20/11.29 c (8,0) x[361] = 0 71.20/11.29 c (8,0) x[362] = 0 71.20/11.29 c (8,0) x[363] = 1 71.20/11.29 c (8,0) x[364] = 1 71.20/11.29 c (8,0) x[365] = 0 71.20/11.29 c (8,0) x[366] = 0 71.20/11.29 c (8,0) x[367] = 1 71.20/11.29 c (8,0) x[368] = 1 71.20/11.29 c (8,0) x[369] = 0 71.20/11.29 s SATISFIABLE 71.39/11.30 v <instantiation> 71.39/11.30 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] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369]</list> 71.39/11.30 v <values>0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0</values> 71.39/11.30 v </instantiation> 71.39/11.30 c (8,0) Show results End 71.39/11.30 c (8,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB) 71.39/11.30 c (8,0) 8,8,STOP-AFTER(ALL) 71.39/11.30 c END-Prog: Sat Sep 14 07:07:57 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 (14384 MiB free) memory of node 1: 16384 MiB (15163 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392631-1568437707/watcher-4392631-1568437707 -o /tmp/evaluation-result-4392631-1568437707/solver-4392631-1568437707 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1568437264-31194 --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-4392631-1568437707.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=32023, runsolver pid=32020 Current StackSize limit: 8192 KiB [startup+0.10015 s]* /proc/loadavg: 5.87 5.58 4.34 3/216 32045 /proc/meminfo: memFree=30160600/32770624 swapFree=66916668/67108860 [pid=32023] ppid=32020 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/32023/stat : 32023 (scop.sh) S 32020 32023 31167 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420021241 115843072 349 33554432000 4194304 5098028 140735356666176 140735356663432 140259302949500 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37138432 140735356674852 140735356675180 140735356675180 140735356678093 0 /proc/32023/statm: 28282 349 296 221 0 87 0 [pid=32026] ppid=32023 vsize=27314120 memory=107456 CPUtime=0.1 cores=0-7 /proc/32026/stat : 32026 (java) S 32023 32023 31167 0 -1 1077944320 6427 0 0 0 8 2 0 0 20 0 20 0 420021241 27969658880 26864 33554432000 4194304 4196468 140720747745776 140720747728320 140717199986423 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 /proc/32026/statm: 6828530 26864 2799 1 0 6790935 0 [pid=32026/tid=32027] ppid=32023 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/32026/task/32027/stat : 32027 (java) R 32023 32023 31167 0 -1 4202560 4528 0 0 0 7 2 0 0 20 0 20 0 420021242 27969658880 26864 33554432000 4194304 4196468 140720747745776 140717171821552 140717186054542 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 [pid=32026/tid=32028] ppid=32023 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/32026/task/32028/stat : 32028 (java) S 32023 32023 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420021244 27969658880 26864 33554432000 4194304 4196468 140720747745776 140717204229008 140717199996629 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 [pid=32026/tid=32029] ppid=32023 vsize=27314120 memory=140669446743680 CPUtime=0 cores=0-7 /proc/32026/task/32029/stat : 32029 (java) S 32023 32023 31167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420021244 27969658880 26864 33554432000 4194304 4196468 140720747745776 140717022317328 140717199996629 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 [pid=32026/tid=32030] ppid=32023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32026/task/32030/stat : 32030 (java) S 32023 32023 31167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420021244 27969658880 26864 33554432000 4194304 4196468 140720747745776 140717021265040 140717199996629 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 [pid=32026/tid=32031] ppid=32023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32026/task/32031/stat : 32031 (java) S 32023 32023 31167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420021244 27969658880 26864 33554432000 4194304 4196468 140720747745776 140716620545040 140717199996629 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 [pid=32026/tid=32032] ppid=32023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32026/task/32032/stat : 32032 (java) S 32023 32023 31167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420021244 27969658880 26864 33554432000 4194304 4196468 140720747745776 140716619491728 140717199996629 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 [pid=32026/tid=32033] ppid=32023 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/32026/task/32033/stat : 32033 (java) S 32023 32023 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420021244 27969658880 26864 33554432000 4194304 4196468 140720747745776 140716618438928 140717199996629 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 [pid=32026/tid=32034] ppid=32023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32026/task/32034/stat : 32034 (java) S 32023 32023 31167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420021244 27969658880 27376 33554432000 4194304 4196468 140720747745776 140716617386640 140717199996629 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 [pid=32026/tid=32035] ppid=32023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32026/task/32035/stat : 32035 (java) S 32023 32023 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420021244 27969658880 27376 33554432000 4194304 4196468 140720747745776 140716616333840 140717199996629 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 [pid=32026/tid=32036] ppid=32023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32026/task/32036/stat : 32036 (java) S 32023 32023 31167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420021245 27969658880 27376 33554432000 4194304 4196468 140720747745776 140715453078128 140717199997570 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 [pid=32026/tid=32037] ppid=32023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32026/task/32037/stat : 32037 (java) S 32023 32023 31167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420021246 27969658880 27376 33554432000 4194304 4196468 140720747745776 140715073987872 140717199996629 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 [pid=32026/tid=32038] ppid=32023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32026/task/32038/stat : 32038 (java) S 32023 32023 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420021246 27969658880 27376 33554432000 4194304 4196468 140720747745776 140714805552752 140717199996629 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 [pid=32026/tid=32039] ppid=32023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32026/task/32039/stat : 32039 (java) S 32023 32023 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420021249 27969658880 27376 33554432000 4194304 4196468 140720747745776 140714431044176 140717200005019 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 [pid=32026/tid=32040] ppid=32023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32026/task/32040/stat : 32040 (java) S 32023 32023 31167 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 420021249 27969658880 27376 33554432000 4194304 4196468 140720747745776 140715452024944 140717199997570 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 [pid=32026/tid=32041] ppid=32023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32026/task/32041/stat : 32041 (java) S 32023 32023 31167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420021249 27969658880 27376 33554432000 4194304 4196468 140720747745776 140715450972144 140717199997570 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 [pid=32026/tid=32042] ppid=32023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32026/task/32042/stat : 32042 (java) S 32023 32023 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420021249 27969658880 27376 33554432000 4194304 4196468 140720747745776 140715449919856 140717199997570 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 [pid=32026/tid=32043] ppid=32023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32026/task/32043/stat : 32043 (java) S 32023 32023 31167 0 -1 1077944384 255 0 0 0 0 0 0 0 20 0 20 0 420021249 27969658880 27376 33554432000 4194304 4196468 140720747745776 140715448867056 140717199997570 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 [pid=32026/tid=32044] ppid=32023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32026/task/32044/stat : 32044 (java) S 32023 32023 31167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420021249 27969658880 27376 33554432000 4194304 4196468 140720747745776 140713933138784 140717199996629 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 [pid=32026/tid=32045] ppid=32023 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/32026/task/32045/stat : 32045 (java) S 32023 32023 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420021249 27969658880 27376 33554432000 4194304 4196468 140720747745776 140715447814960 140717199997570 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 108852 KiB [startup+0.210775 s]* /proc/loadavg: 5.87 5.58 4.34 3/216 32045 /proc/meminfo: memFree=30138960/32770624 swapFree=66916668/67108860 [pid=32023] ppid=32020 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/32023/stat : 32023 (scop.sh) S 32020 32023 31167 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420021241 115843072 349 33554432000 4194304 5098028 140735356666176 140735356663432 140259302949500 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37138432 140735356674852 140735356675180 140735356675180 140735356678093 0 /proc/32023/statm: 28282 349 296 221 0 87 0 [pid=32026] ppid=32023 vsize=27314120 memory=126504 CPUtime=0.25 cores=0-7 /proc/32026/stat : 32026 (java) S 32023 32023 31167 0 -1 1077944320 11912 0 0 0 21 4 0 0 20 0 20 0 420021241 27969658880 31626 33554432000 4194304 4196468 140720747745776 140720747728320 140717199986423 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 /proc/32026/statm: 6828530 31626 2938 1 0 6790935 0 [pid=32026/tid=32027] ppid=32023 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/32026/task/32027/stat : 32027 (java) R 32023 32023 31167 0 -1 4202560 9641 0 0 0 16 3 0 0 20 0 20 0 420021242 27969658880 31626 33554432000 4194304 4196468 140720747745776 140717171790032 140717181539736 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 [pid=32026/tid=32028] ppid=32023 vsize=27314120 memory=342 CPUtime=0 cores=0-7 /proc/32026/task/32028/stat : 32028 (java) S 32023 32023 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420021244 27969658880 31626 33554432000 4194304 4196468 140720747745776 140717204229008 140717199996629 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 [pid=32026/tid=32029] ppid=32023 vsize=27314120 memory=140669449929513 CPUtime=0 cores=0-7 /proc/32026/task/32029/stat : 32029 (java) S 32023 32023 31167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420021244 27969658880 31626 33554432000 4194304 4196468 140720747745776 140717022317328 140717199996629 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 [pid=32026/tid=32030] ppid=32023 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/32026/task/32030/stat : 32030 (java) S 32023 32023 31167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420021244 27969658880 31626 33554432000 4194304 4196468 140720747745776 140717021265040 140717199996629 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 [pid=32026/tid=32031] ppid=32023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32026/task/32031/stat : 32031 (java) S 32023 32023 31167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420021244 27969658880 31626 33554432000 4194304 4196468 140720747745776 140716620545040 140717199996629 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 [pid=32026/tid=32032] ppid=32023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32026/task/32032/stat : 32032 (java) S 32023 32023 31167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420021244 27969658880 31626 33554432000 4194304 4196468 140720747745776 140716619491728 140717199996629 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 [pid=32026/tid=32033] ppid=32023 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/32026/task/32033/stat : 32033 (java) S 32023 32023 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420021244 27969658880 31626 33554432000 4194304 4196468 140720747745776 140716618438928 140717199996629 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 [pid=32026/tid=32034] ppid=32023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32026/task/32034/stat : 32034 (java) S 32023 32023 31167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420021244 27969658880 31626 33554432000 4194304 4196468 140720747745776 140716617386640 140717199996629 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 [pid=32026/tid=32035] ppid=32023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32026/task/32035/stat : 32035 (java) S 32023 32023 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420021244 27969658880 31626 33554432000 4194304 4196468 140720747745776 140716616333840 140717199996629 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 [pid=32026/tid=32036] ppid=32023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32026/task/32036/stat : 32036 (java) S 32023 32023 31167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420021245 27969658880 31626 33554432000 4194304 4196468 140720747745776 140715453078128 140717199997570 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 [pid=32026/tid=32037] ppid=32023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32026/task/32037/stat : 32037 (java) S 32023 32023 31167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420021246 27969658880 31626 33554432000 4194304 4196468 140720747745776 140715073987872 140717199996629 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 [pid=32026/tid=32038] ppid=32023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32026/task/32038/stat : 32038 (java) S 32023 32023 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420021246 27969658880 31626 33554432000 4194304 4196468 140720747745776 140714805552752 140717199996629 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 [pid=32026/tid=32039] ppid=32023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32026/task/32039/stat : 32039 (java) S 32023 32023 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420021249 27969658880 31626 33554432000 4194304 4196468 140720747745776 140714431044176 140717200005019 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 [pid=32026/tid=32040] ppid=32023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32026/task/32040/stat : 32040 (java) S 32023 32023 31167 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 420021249 27969658880 31626 33554432000 4194304 4196468 140720747745776 140715452024944 140717199997570 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 [pid=32026/tid=32041] ppid=32023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32026/task/32041/stat : 32041 (java) S 32023 32023 31167 0 -1 1077944384 168 0 0 0 0 0 0 0 20 0 20 0 420021249 27969658880 31626 33554432000 4194304 4196468 140720747745776 140715450972144 140717199997570 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 [pid=32026/tid=32042] ppid=32023 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/32026/task/32042/stat : 32042 (java) S 32023 32023 31167 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 420021249 27969658880 31626 33554432000 4194304 4196468 140720747745776 140715449919856 140717199997570 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 [pid=32026/tid=32043] ppid=32023 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7 /proc/32026/task/32043/stat : 32043 (java) S 32023 32023 31167 0 -1 1077944384 446 0 0 0 2 0 0 0 20 0 20 0 420021249 27969658880 31626 33554432000 4194304 4196468 140720747745776 140715448867056 140717199997570 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 [pid=32026/tid=32044] ppid=32023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32026/task/32044/stat : 32044 (java) S 32023 32023 31167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420021249 27969658880 31626 33554432000 4194304 4196468 140720747745776 140713933138784 140717199996629 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 [pid=32026/tid=32045] ppid=32023 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/32026/task/32045/stat : 32045 (java) S 32023 32023 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420021249 27969658880 31626 33554432000 4194304 4196468 140720747745776 140715447814960 140717199997570 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 Current children cumulated CPU time: 0.25 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 127900 KiB [startup+0.310619 s]* /proc/loadavg: 5.87 5.58 4.34 2/216 32045 /proc/meminfo: memFree=30138004/32770624 swapFree=66916668/67108860 [pid=32023] ppid=32020 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/32023/stat : 32023 (scop.sh) S 32020 32023 31167 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420021241 115843072 349 33554432000 4194304 5098028 140735356666176 140735356663432 140259302949500 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37138432 140735356674852 140735356675180 140735356675180 140735356678093 0 /proc/32023/statm: 28282 349 296 221 0 87 0 [pid=32026] ppid=32023 vsize=27314120 memory=130452 CPUtime=0.42 cores=0-7 /proc/32026/stat : 32026 (java) S 32023 32023 31167 0 -1 1077944320 12887 0 0 0 38 4 0 0 20 0 20 0 420021241 27969658880 32613 33554432000 4194304 4196468 140720747745776 140720747728320 140717199986423 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 /proc/32026/statm: 6828530 32613 3059 1 0 6790935 0 [pid=32026/tid=32027] ppid=32023 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/32026/task/32027/stat : 32027 (java) R 32023 32023 31167 0 -1 4202560 10449 0 0 0 26 4 0 0 20 0 20 0 420021242 27969658880 32613 33554432000 4194304 4196468 140720747745776 140717171816496 140717184066910 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 [pid=32026/tid=32028] ppid=32023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32026/task/32028/stat : 32028 (java) S 32023 32023 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420021244 27969658880 32613 33554432000 4194304 4196468 140720747745776 140717204229008 140717199996629 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 [pid=32026/tid=32029] ppid=32023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32026/task/32029/stat : 32029 (java) S 32023 32023 31167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420021244 27969658880 32613 33554432000 4194304 4196468 140720747745776 140717022317328 140717199996629 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 [pid=32026/tid=32030] ppid=32023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32026/task/32030/stat : 32030 (java) S 32023 32023 31167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420021244 27969658880 32613 33554432000 4194304 4196468 140720747745776 140717021265040 140717199996629 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 [pid=32026/tid=32031] ppid=32023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32026/task/32031/stat : 32031 (java) S 32023 32023 31167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420021244 27969658880 32613 33554432000 4194304 4196468 140720747745776 140716620545040 140717199996629 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 [pid=32026/tid=32032] ppid=32023 vsize=27314120 memory=2244 CPUtime=0 cores=0-7 /proc/32026/task/32032/stat : 32032 (java) S 32023 32023 31167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420021244 27969658880 32613 33554432000 4194304 4196468 140720747745776 140716619491728 140717199996629 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 [pid=32026/tid=32033] ppid=32023 vsize=27314120 memory=140669305844655 CPUtime=0 cores=0-7 /proc/32026/task/32033/stat : 32033 (java) S 32023 32023 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420021244 27969658880 32613 33554432000 4194304 4196468 140720747745776 140716618438928 140717199996629 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 [pid=32026/tid=32034] ppid=32023 vsize=27314120 memory=140669305846960 CPUtime=0 cores=0-7 /proc/32026/task/32034/stat : 32034 (java) S 32023 32023 31167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420021244 27969658880 32613 33554432000 4194304 4196468 140720747745776 140716617386640 140717199996629 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 [pid=32026/tid=32035] ppid=32023 vsize=27314120 memory=140669305849264 CPUtime=0 cores=0-7 /proc/32026/task/32035/stat : 32035 (java) S 32023 32023 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420021244 27969658880 32613 33554432000 4194304 4196468 140720747745776 140716616333840 140717199996629 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 [pid=32026/tid=32036] ppid=32023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32026/task/32036/stat : 32036 (java) S 32023 32023 31167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420021245 27969658880 32613 33554432000 4194304 4196468 140720747745776 140715453078128 140717199997570 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 [pid=32026/tid=32037] ppid=32023 vsize=27314120 memory=281338611705488 CPUtime=0 cores=0-7 /proc/32026/task/32037/stat : 32037 (java) S 32023 32023 31167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420021246 27969658880 32613 33554432000 4194304 4196468 140720747745776 140715073987872 140717199996629 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 [pid=32026/tid=32038] ppid=32023 vsize=27314120 memory=281338611712400 CPUtime=0 cores=0-7 /proc/32026/task/32038/stat : 32038 (java) S 32023 32023 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420021246 27969658880 32613 33554432000 4194304 4196468 140720747745776 140714805552752 140717199996629 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 [pid=32026/tid=32039] ppid=32023 vsize=27314120 memory=281338611653552 CPUtime=0 cores=0-7 /proc/32026/task/32039/stat : 32039 (java) S 32023 32023 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420021249 27969658880 32613 33554432000 4194304 4196468 140720747745776 140714431044176 140717200005019 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 [pid=32026/tid=32040] ppid=32023 vsize=27314120 memory=281338611726224 CPUtime=0.02 cores=0-7 /proc/32026/task/32040/stat : 32040 (java) S 32023 32023 31167 0 -1 1077944384 398 0 0 0 2 0 0 0 20 0 20 0 420021249 27969658880 32613 33554432000 4194304 4196468 140720747745776 140715452024944 140717199997570 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 [pid=32026/tid=32041] ppid=32023 vsize=27314120 memory=281338611733136 CPUtime=0.01 cores=0-7 /proc/32026/task/32041/stat : 32041 (java) R 32023 32023 31167 0 -1 4202560 210 0 0 0 1 0 0 0 20 0 20 0 420021249 27969658880 32613 33554432000 4194304 4196468 140720747745776 140715450972144 140717177621072 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 [pid=32026/tid=32042] ppid=32023 vsize=27314120 memory=281338611730832 CPUtime=0.01 cores=0-7 /proc/32026/task/32042/stat : 32042 (java) S 32023 32023 31167 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 20 0 420021249 27969658880 32613 33554432000 4194304 4196468 140720747745776 140715449919856 140717199997570 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 [pid=32026/tid=32043] ppid=32023 vsize=27314120 memory=281338611746992 CPUtime=0.07 cores=0-7 /proc/32026/task/32043/stat : 32043 (java) S 32023 32023 31167 0 -1 1077944384 467 0 0 0 7 0 0 0 20 0 20 0 420021249 27969658880 32613 33554432000 4194304 4196468 140720747745776 140715448867056 140717199997570 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 [pid=32026/tid=32044] ppid=32023 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/32026/task/32044/stat : 32044 (java) S 32023 32023 31167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420021249 27969658880 32613 33554432000 4194304 4196468 140720747745776 140713933138784 140717199996629 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 [pid=32026/tid=32045] ppid=32023 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/32026/task/32045/stat : 32045 (java) S 32023 32023 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420021249 27969658880 32613 33554432000 4194304 4196468 140720747745776 140715447814960 140717199997570 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 131848 KiB [startup+0.704508 s] /proc/loadavg: 5.87 5.58 4.34 2/216 32045 /proc/meminfo: memFree=30116672/32770624 swapFree=66916668/67108860 [pid=32023] ppid=32020 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/32023/stat : 32023 (scop.sh) S 32020 32023 31167 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420021241 115843072 349 33554432000 4194304 5098028 140735356666176 140735356663432 140259302949500 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37138432 140735356674852 140735356675180 140735356675180 140735356678093 0 /proc/32023/statm: 28282 349 296 221 0 87 0 [pid=32026] ppid=32023 vsize=27320392 memory=166868 CPUtime=1.01 cores=0-7 /proc/32026/stat : 32026 (java) S 32023 32023 31167 0 -1 1077944320 19843 0 0 0 95 6 0 0 20 0 20 0 420021241 27976081408 41717 33554432000 4194304 4196468 140720747745776 140720747728320 140717199986423 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 /proc/32026/statm: 6830098 41717 3183 1 0 6791447 0 [pid=32026/tid=32027] ppid=32023 vsize=27320392 memory=281338612104880 CPUtime=0.68 cores=0-7 /proc/32026/task/32027/stat : 32027 (java) R 32023 32023 31167 0 -1 4202560 16907 0 0 0 63 5 0 0 20 0 20 0 420021242 27976081408 41717 33554432000 4194304 4196468 140720747745776 140717171823760 140717184066910 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 [pid=32026/tid=32028] ppid=32023 vsize=27320392 memory=140669306053488 CPUtime=0 cores=0-7 /proc/32026/task/32028/stat : 32028 (java) S 32023 32023 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420021244 27976081408 41717 33554432000 4194304 4196468 140720747745776 140717204229008 140717199996629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 [pid=32026/tid=32029] ppid=32023 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/32026/task/32029/stat : 32029 (java) S 32023 32023 31167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420021244 27976081408 41717 33554432000 4194304 4196468 140720747745776 140717022317328 140717199996629 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 [pid=32026/tid=32030] ppid=32023 vsize=27320392 memory=5996 CPUtime=0 cores=0-7 /proc/32026/task/32030/stat : 32030 (java) S 32023 32023 31167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420021244 27976081408 41717 33554432000 4194304 4196468 140720747745776 140717021265040 140717199996629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140720747750122 140720747750550 140720747750550 140720747753423 0 ################ # More data... # ################ [pid=32046/tid=32047] ppid=32023 vsize=8414124 memory=8326441112149131689 CPUtime=0.81 cores=0-7 /proc/32046/task/32047/stat : 32047 (java) S 32023 32023 31167 0 -1 1077944384 16946 0 0 0 74 7 0 0 20 0 24 0 420021448 8616062976 30503 33554432000 4194304 4196468 140730533093328 140104573788064 140104601958101 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32048] ppid=32023 vsize=8414124 memory=-7739291840220455296 CPUtime=0 cores=0-7 /proc/32046/task/32048/stat : 32048 (java) S 32023 32023 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420021450 8616062976 30503 33554432000 4194304 4196468 140730533093328 140104606189968 140104601958101 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32049] ppid=32023 vsize=8414124 memory=-7533229591096565664 CPUtime=0 cores=0-7 /proc/32046/task/32049/stat : 32049 (java) S 32023 32023 31167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420021450 8616062976 30503 33554432000 4194304 4196468 140730533093328 140104406358288 140104601958101 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32050] ppid=32023 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/32046/task/32050/stat : 32050 (java) S 32023 32023 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420021450 8616062976 30503 33554432000 4194304 4196468 140730533093328 140104405306000 140104601958101 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32051] ppid=32023 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/32046/task/32051/stat : 32051 (java) S 32023 32023 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420021450 8616062976 30503 33554432000 4194304 4196468 140730533093328 140104404253200 140104601958101 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32052] ppid=32023 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/32046/task/32052/stat : 32052 (java) S 32023 32023 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420021450 8616062976 30503 33554432000 4194304 4196468 140730533093328 140104403200912 140104601958101 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32053] ppid=32023 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/32046/task/32053/stat : 32053 (java) S 32023 32023 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420021450 8616062976 30503 33554432000 4194304 4196468 140730533093328 140104402148112 140104601958101 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32054] ppid=32023 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/32046/task/32054/stat : 32054 (java) S 32023 32023 31167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420021450 8616062976 30503 33554432000 4194304 4196468 140730533093328 140104401095824 140104601958101 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32055] ppid=32023 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/32046/task/32055/stat : 32055 (java) S 32023 32023 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420021450 8616062976 30503 33554432000 4194304 4196468 140730533093328 140104400043024 140104601958101 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32056] ppid=32023 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/32046/task/32056/stat : 32056 (java) S 32023 32023 31167 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 420021451 8616062976 30503 33554432000 4194304 4196468 140730533093328 140103829612656 140104601959042 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32057] ppid=32023 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/32046/task/32057/stat : 32057 (java) S 32023 32023 31167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420021451 8616062976 30503 33554432000 4194304 4196468 140730533093328 140102906929952 140104601958101 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32058] ppid=32023 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/32046/task/32058/stat : 32058 (java) S 32023 32023 31167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 420021452 8616062976 30503 33554432000 4194304 4196468 140730533093328 140102772708464 140104601958101 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32059] ppid=32023 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/32046/task/32059/stat : 32059 (java) S 32023 32023 31167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420021454 8616062976 30503 33554432000 4194304 4196468 140730533093328 140102398203984 140104601966491 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32060] ppid=32023 vsize=8414124 memory=0 CPUtime=0.1 cores=0-7 /proc/32046/task/32060/stat : 32060 (java) S 32023 32023 31167 0 -1 1077944384 608 0 0 0 10 0 0 0 20 0 24 0 420021454 8616062976 30503 33554432000 4194304 4196468 140730533093328 140103828560496 140104601959042 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32061] ppid=32023 vsize=8414124 memory=281338612427568 CPUtime=0.12 cores=0-7 /proc/32046/task/32061/stat : 32061 (java) S 32023 32023 31167 0 -1 1077944384 629 0 0 0 12 0 0 0 20 0 24 0 420021454 8616062976 30503 33554432000 4194304 4196468 140730533093328 140103827507696 140104601959042 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32062] ppid=32023 vsize=8414124 memory=4211974395511469338 CPUtime=0.11 cores=0-7 /proc/32046/task/32062/stat : 32062 (java) S 32023 32023 31167 0 -1 1077944384 339 0 0 0 11 0 0 0 20 0 24 0 420021454 8616062976 30503 33554432000 4194304 4196468 140730533093328 140103826455408 140104601959042 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32063] ppid=32023 vsize=8414124 memory=3467947704731979344 CPUtime=0.23 cores=0-7 /proc/32046/task/32063/stat : 32063 (java) S 32023 32023 31167 0 -1 1077944384 596 0 0 0 23 0 0 0 20 0 24 0 420021454 8616062976 30503 33554432000 4194304 4196468 140730533093328 140103825402608 140104601959042 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32064] ppid=32023 vsize=8414124 memory=4210565890279842210 CPUtime=0 cores=0-7 /proc/32046/task/32064/stat : 32064 (java) S 32023 32023 31167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420021454 8616062976 30503 33554432000 4194304 4196468 140730533093328 140101900298592 140104601958101 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32065] ppid=32023 vsize=8414124 memory=665069601569866874 CPUtime=0 cores=0-7 /proc/32046/task/32065/stat : 32065 (java) S 32023 32023 31167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420021455 8616062976 30503 33554432000 4194304 4196468 140730533093328 140103824349488 140104601959042 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 23 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32067] ppid=32023 vsize=8414124 memory=2308581057162025958 CPUtime=0 cores=0-7 /proc/32046/task/32067/stat : 32067 (java) S 32023 32023 31167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420021526 8616062976 30503 33554432000 4194304 4196468 140730533093328 140103816316224 140104601972505 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32069] ppid=32023 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/32046/task/32069/stat : 32069 (java) S 32023 32023 31167 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 420021527 8616062976 30503 33554432000 4194304 4196468 140730533093328 140101229199280 140104601969821 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32070] ppid=32023 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/32046/task/32070/stat : 32070 (java) S 32023 32023 31167 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 420021527 8616062976 30503 33554432000 4194304 4196468 140730533093328 140101497634608 140104601969821 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32079] ppid=32023 vsize=8414124 memory=4580 CPUtime=0 cores=0-7 /proc/32046/task/32079/stat : 32079 (java) S 32023 32023 31167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420021529 8616062976 30503 33554432000 4194304 4196468 140730533093328 140100960771888 140104601958101 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 Current children cumulated CPU time: 69.59 s Current children cumulated vsize: 9160296 KiB Current children cumulated memory: 304404 KiB [startup+11.2012 s] /proc/loadavg: 5.60 5.53 4.34 4/224 32079 /proc/meminfo: memFree=29965096/32770624 swapFree=66916668/67108860 [pid=32023] ppid=32020 vsize=113128 memory=1476 CPUtime=5.06 cores=0-7 /proc/32023/stat : 32023 (scop.sh) S 32020 32023 31167 0 -1 4202496 582 26163 0 0 0 0 491 15 20 0 1 0 420021241 115843072 369 33554432000 4194304 5098028 140735356666176 140735356662920 140259302949500 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37138432 140735356674852 140735356675180 140735356675180 140735356678093 0 /proc/32023/statm: 28282 369 311 221 0 87 0 [pid=32046] ppid=32023 vsize=8283048 memory=128816 CPUtime=66.14 cores=0-7 /proc/32046/stat : 32046 (java) S 32023 32023 31167 0 -1 1077944320 21158 124016 0 0 155 9 6425 25 20 0 22 0 420021448 8481841152 32204 33554432000 4194304 4196468 140730533093328 140730533075872 140104601947895 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 /proc/32046/statm: 2070762 32204 3230 1 0 2032106 0 [pid=32046/tid=32047] ppid=32023 vsize=8283048 memory=2044 CPUtime=65.35 cores=0-7 /proc/32046/task/32047/stat : 32047 (java) R 32023 32023 31167 0 -1 4202560 16990 124016 0 0 78 7 6425 25 20 0 22 0 420021448 8481841152 32204 33554432000 4194304 4196468 140730533093328 140104573786432 140104583354184 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32048] ppid=32023 vsize=8283048 memory=1296 CPUtime=64.5 cores=0-7 /proc/32046/task/32048/stat : 32048 (java) S 32023 32023 31167 0 -1 1077944384 1 124016 0 0 0 0 6425 25 20 0 22 0 420021450 8481841152 32204 33554432000 4194304 4196468 140730533093328 140104606189968 140104601958101 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32049] ppid=32023 vsize=8283048 memory=620 CPUtime=64.5 cores=0-7 /proc/32046/task/32049/stat : 32049 (java) S 32023 32023 31167 0 -1 1077944384 3 124016 0 0 0 0 6425 25 20 0 22 0 420021450 8481841152 32204 33554432000 4194304 4196468 140730533093328 140104406358288 140104601958101 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32050] ppid=32023 vsize=8283048 memory=182384 CPUtime=64.5 cores=0-7 /proc/32046/task/32050/stat : 32050 (java) S 32023 32023 31167 0 -1 1077944384 1 124016 0 0 0 0 6425 25 20 0 22 0 420021450 8481841152 32204 33554432000 4194304 4196468 140730533093328 140104405306000 140104601958101 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32051] ppid=32023 vsize=8283048 memory=3628 CPUtime=64.5 cores=0-7 /proc/32046/task/32051/stat : 32051 (java) S 32023 32023 31167 0 -1 1077944384 1 124016 0 0 0 0 6425 25 20 0 22 0 420021450 8481841152 32204 33554432000 4194304 4196468 140730533093328 140104404253200 140104601958101 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32052] ppid=32023 vsize=8283048 memory=1476 CPUtime=64.5 cores=0-7 /proc/32046/task/32052/stat : 32052 (java) S 32023 32023 31167 0 -1 1077944384 1 124016 0 0 0 0 6425 25 20 0 22 0 420021450 8481841152 32204 33554432000 4194304 4196468 140730533093328 140104403200912 140104601958101 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32053] ppid=32023 vsize=8283048 memory=122012 CPUtime=64.5 cores=0-7 /proc/32046/task/32053/stat : 32053 (java) S 32023 32023 31167 0 -1 1077944384 1 124016 0 0 0 0 6425 25 20 0 22 0 420021450 8481841152 32204 33554432000 4194304 4196468 140730533093328 140104402148112 140104601958101 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32054] ppid=32023 vsize=8283048 memory=157692 CPUtime=64.5 cores=0-7 /proc/32046/task/32054/stat : 32054 (java) S 32023 32023 31167 0 -1 1077944384 2 124016 0 0 0 0 6425 25 20 0 22 0 420021450 8481841152 32204 33554432000 4194304 4196468 140730533093328 140104401095824 140104601958101 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32055] ppid=32023 vsize=8283048 memory=1296 CPUtime=64.5 cores=0-7 /proc/32046/task/32055/stat : 32055 (java) S 32023 32023 31167 0 -1 1077944384 1 124016 0 0 0 0 6425 25 20 0 22 0 420021450 8481841152 32204 33554432000 4194304 4196468 140730533093328 140104400043024 140104601958101 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32056] ppid=32023 vsize=8283048 memory=620 CPUtime=64.5 cores=0-7 /proc/32046/task/32056/stat : 32056 (java) S 32023 32023 31167 0 -1 1077944384 7 124016 0 0 0 0 6425 25 20 0 22 0 420021451 8481841152 32204 33554432000 4194304 4196468 140730533093328 140103829612656 140104601959042 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32057] ppid=32023 vsize=8283048 memory=4000 CPUtime=64.5 cores=0-7 /proc/32046/task/32057/stat : 32057 (java) S 32023 32023 31167 0 -1 1077944384 13 124016 0 0 0 0 6425 25 20 0 22 0 420021451 8481841152 32204 33554432000 4194304 4196468 140730533093328 140102906929952 140104601958101 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32058] ppid=32023 vsize=8283048 memory=66 CPUtime=64.5 cores=0-7 /proc/32046/task/32058/stat : 32058 (java) S 32023 32023 31167 0 -1 1077944384 21 124016 0 0 0 0 6425 25 20 0 22 0 420021452 8481841152 32204 33554432000 4194304 4196468 140730533093328 140102772708464 140104601958101 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32059] ppid=32023 vsize=8283048 memory=2 CPUtime=64.5 cores=0-7 /proc/32046/task/32059/stat : 32059 (java) S 32023 32023 31167 0 -1 1077944384 1 124016 0 0 0 0 6425 25 20 0 22 0 420021454 8481841152 32204 33554432000 4194304 4196468 140730533093328 140102398203984 140104601966491 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32060] ppid=32023 vsize=8283048 memory=0 CPUtime=64.63 cores=0-7 /proc/32046/task/32060/stat : 32060 (java) S 32023 32023 31167 0 -1 1077944384 624 124016 0 0 13 0 6425 25 20 0 22 0 420021454 8481841152 32204 33554432000 4194304 4196468 140730533093328 140103828560496 140104601959042 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32061] ppid=32023 vsize=8283048 memory=0 CPUtime=64.66 cores=0-7 /proc/32046/task/32061/stat : 32061 (java) S 32023 32023 31167 0 -1 1077944384 652 124016 0 0 16 0 6425 25 20 0 22 0 420021454 8481841152 32204 33554432000 4194304 4196468 140730533093328 140103827507696 140104601959042 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32062] ppid=32023 vsize=8283048 memory=0 CPUtime=64.63 cores=0-7 /proc/32046/task/32062/stat : 32062 (java) S 32023 32023 31167 0 -1 1077944384 460 124016 0 0 13 0 6425 25 20 0 22 0 420021454 8481841152 32204 33554432000 4194304 4196468 140730533093328 140103826455408 140104601959042 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32063] ppid=32023 vsize=8283048 memory=0 CPUtime=64.77 cores=0-7 /proc/32046/task/32063/stat : 32063 (java) S 32023 32023 31167 0 -1 1077944384 947 124016 0 0 27 0 6425 25 20 0 22 0 420021454 8481841152 32204 33554432000 4194304 4196468 140730533093328 140103825402608 140104601959042 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32064] ppid=32023 vsize=8283048 memory=0 CPUtime=64.5 cores=0-7 /proc/32046/task/32064/stat : 32064 (java) S 32023 32023 31167 0 -1 1077944384 3 124016 0 0 0 0 6425 25 20 0 22 0 420021454 8481841152 32204 33554432000 4194304 4196468 140730533093328 140101900298592 140104601958101 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32065] ppid=32023 vsize=8283048 memory=0 CPUtime=64.5 cores=0-7 /proc/32046/task/32065/stat : 32065 (java) S 32023 32023 31167 0 -1 1077944384 3 124016 0 0 0 0 6425 25 20 0 22 0 420021455 8481841152 32204 33554432000 4194304 4196468 140730533093328 140103824349488 140104601959042 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 23 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32067] ppid=32023 vsize=8283048 memory=0 CPUtime=64.5 cores=0-7 /proc/32046/task/32067/stat : 32067 (java) S 32023 32023 31167 0 -1 1077944384 31 124016 0 0 0 0 6425 25 20 0 22 0 420021526 8481841152 32204 33554432000 4194304 4196468 140730533093328 140103816315408 140104601959042 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32079] ppid=32023 vsize=8283048 memory=0 CPUtime=64.5 cores=0-7 /proc/32046/task/32079/stat : 32079 (java) S 32023 32023 31167 0 -1 1077944384 17 124016 0 0 0 0 6425 25 20 0 22 0 420021529 8481841152 32204 33554432000 4194304 4196468 140730533093328 140100960773680 140104601959042 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 Current children cumulated CPU time: 71.2 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 130292 KiB [startup+11.301 s] /proc/loadavg: 5.60 5.53 4.34 4/224 32079 /proc/meminfo: memFree=29965096/32770624 swapFree=66916668/67108860 [pid=32023] ppid=32020 vsize=113128 memory=1476 CPUtime=5.06 cores=0-7 /proc/32023/stat : 32023 (scop.sh) S 32020 32023 31167 0 -1 4202496 582 26163 0 0 0 0 491 15 20 0 1 0 420021241 115843072 369 33554432000 4194304 5098028 140735356666176 140735356662920 140259302949500 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37138432 140735356674852 140735356675180 140735356675180 140735356678093 0 /proc/32023/statm: 28282 369 311 221 0 87 0 [pid=32046] ppid=32023 vsize=8283048 memory=131944 CPUtime=66.33 cores=0-7 /proc/32046/stat : 32046 (java) S 32023 32023 31167 0 -1 1077944320 22505 124016 0 0 172 11 6425 25 20 0 22 0 420021448 8481841152 32986 33554432000 4194304 4196468 140730533093328 140730533075872 140104601947895 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 /proc/32046/statm: 2070762 32986 3231 1 0 2032106 0 [pid=32046/tid=32047] ppid=32023 vsize=8283048 memory=122012 CPUtime=65.45 cores=0-7 /proc/32046/task/32047/stat : 32047 (java) R 32023 32023 31167 0 -1 4202560 18167 124016 0 0 87 8 6425 25 20 0 22 0 420021448 8481841152 32986 33554432000 4194304 4196468 140730533093328 140104573786816 140104064598717 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32048] ppid=32023 vsize=8283048 memory=1476 CPUtime=64.5 cores=0-7 /proc/32046/task/32048/stat : 32048 (java) S 32023 32023 31167 0 -1 1077944384 1 124016 0 0 0 0 6425 25 20 0 22 0 420021450 8481841152 32986 33554432000 4194304 4196468 140730533093328 140104606189968 140104601958101 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32049] ppid=32023 vsize=8283048 memory=122012 CPUtime=64.5 cores=0-7 /proc/32046/task/32049/stat : 32049 (java) S 32023 32023 31167 0 -1 1077944384 3 124016 0 0 0 0 6425 25 20 0 22 0 420021450 8481841152 32986 33554432000 4194304 4196468 140730533093328 140104406358288 140104601958101 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32050] ppid=32023 vsize=8283048 memory=4 CPUtime=64.5 cores=0-7 /proc/32046/task/32050/stat : 32050 (java) S 32023 32023 31167 0 -1 1077944384 1 124016 0 0 0 0 6425 25 20 0 22 0 420021450 8481841152 32986 33554432000 4194304 4196468 140730533093328 140104405306000 140104601958101 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32051] ppid=32023 vsize=8283048 memory=309 CPUtime=64.5 cores=0-7 /proc/32046/task/32051/stat : 32051 (java) S 32023 32023 31167 0 -1 1077944384 1 124016 0 0 0 0 6425 25 20 0 22 0 420021450 8481841152 32986 33554432000 4194304 4196468 140730533093328 140104404253200 140104601958101 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32052] ppid=32023 vsize=8283048 memory=2010 CPUtime=64.5 cores=0-7 /proc/32046/task/32052/stat : 32052 (java) S 32023 32023 31167 0 -1 1077944384 1 124016 0 0 0 0 6425 25 20 0 22 0 420021450 8481841152 32986 33554432000 4194304 4196468 140730533093328 140104403200912 140104601958101 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32053] ppid=32023 vsize=8283048 memory=1476 CPUtime=64.5 cores=0-7 /proc/32046/task/32053/stat : 32053 (java) S 32023 32023 31167 0 -1 1077944384 1 124016 0 0 0 0 6425 25 20 0 22 0 420021450 8481841152 32986 33554432000 4194304 4196468 140730533093328 140104402148112 140104601958101 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32054] ppid=32023 vsize=8283048 memory=122012 CPUtime=64.5 cores=0-7 /proc/32046/task/32054/stat : 32054 (java) S 32023 32023 31167 0 -1 1077944384 2 124016 0 0 0 0 6425 25 20 0 22 0 420021450 8481841152 32986 33554432000 4194304 4196468 140730533093328 140104401095824 140104601958101 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32055] ppid=32023 vsize=8283048 memory=186412 CPUtime=64.5 cores=0-7 /proc/32046/task/32055/stat : 32055 (java) S 32023 32023 31167 0 -1 1077944384 1 124016 0 0 0 0 6425 25 20 0 22 0 420021450 8481841152 32986 33554432000 4194304 4196468 140730533093328 140104400043024 140104601958101 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32056] ppid=32023 vsize=8283048 memory=2436 CPUtime=64.5 cores=0-7 /proc/32046/task/32056/stat : 32056 (java) S 32023 32023 31167 0 -1 1077944384 7 124016 0 0 0 0 6425 25 20 0 22 0 420021451 8481841152 32986 33554432000 4194304 4196468 140730533093328 140103829612656 140104601959042 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32057] ppid=32023 vsize=8283048 memory=1476 CPUtime=64.5 cores=0-7 /proc/32046/task/32057/stat : 32057 (java) S 32023 32023 31167 0 -1 1077944384 13 124016 0 0 0 0 6425 25 20 0 22 0 420021451 8481841152 32986 33554432000 4194304 4196468 140730533093328 140102906929952 140104601958101 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32058] ppid=32023 vsize=8283048 memory=122012 CPUtime=64.5 cores=0-7 /proc/32046/task/32058/stat : 32058 (java) S 32023 32023 31167 0 -1 1077944384 21 124016 0 0 0 0 6425 25 20 0 22 0 420021452 8481841152 32986 33554432000 4194304 4196468 140730533093328 140102772708464 140104601958101 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32059] ppid=32023 vsize=8283048 memory=1476 CPUtime=64.5 cores=0-7 /proc/32046/task/32059/stat : 32059 (java) S 32023 32023 31167 0 -1 1077944384 1 124016 0 0 0 0 6425 25 20 0 22 0 420021454 8481841152 32986 33554432000 4194304 4196468 140730533093328 140102398203984 140104601966491 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32060] ppid=32023 vsize=8283048 memory=122012 CPUtime=64.64 cores=0-7 /proc/32046/task/32060/stat : 32060 (java) S 32023 32023 31167 0 -1 1077944384 635 124016 0 0 14 0 6425 25 20 0 22 0 420021454 8481841152 32986 33554432000 4194304 4196468 140730533093328 140103828560496 140104601959042 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32061] ppid=32023 vsize=8283048 memory=170696 CPUtime=64.67 cores=0-7 /proc/32046/task/32061/stat : 32061 (java) S 32023 32023 31167 0 -1 1077944384 668 124016 0 0 17 0 6425 25 20 0 22 0 420021454 8481841152 32986 33554432000 4194304 4196468 140730533093328 140103827507696 140104601959042 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32062] ppid=32023 vsize=8283048 memory=139810312292842 CPUtime=64.65 cores=0-7 /proc/32046/task/32062/stat : 32062 (java) R 32023 32023 31167 0 -1 4202560 468 124016 0 0 15 0 6425 25 20 0 22 0 420021454 8481841152 32986 33554432000 4194304 4196468 140730533093328 140103826455408 140104583470372 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32063] ppid=32023 vsize=8283048 memory=139810312292842 CPUtime=64.83 cores=0-7 /proc/32046/task/32063/stat : 32063 (java) R 32023 32023 31167 0 -1 4202560 1082 124016 0 0 33 0 6425 25 20 0 22 0 420021454 8481841152 32986 33554432000 4194304 4196468 140730533093328 140103825402736 140104584350945 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32064] ppid=32023 vsize=8283048 memory=139810312292586 CPUtime=64.5 cores=0-7 /proc/32046/task/32064/stat : 32064 (java) S 32023 32023 31167 0 -1 1077944384 3 124016 0 0 0 0 6425 25 20 0 22 0 420021454 8481841152 32986 33554432000 4194304 4196468 140730533093328 140101900298592 140104601958101 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32065] ppid=32023 vsize=8283048 memory=281338612017232 CPUtime=64.5 cores=0-7 /proc/32046/task/32065/stat : 32065 (java) S 32023 32023 31167 0 -1 1077944384 3 124016 0 0 0 0 6425 25 20 0 22 0 420021455 8481841152 32986 33554432000 4194304 4196468 140730533093328 140103824349488 140104601959042 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 23 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32067] ppid=32023 vsize=8283048 memory=1476 CPUtime=64.5 cores=0-7 /proc/32046/task/32067/stat : 32067 (java) S 32023 32023 31167 0 -1 1077944384 31 124016 0 0 0 0 6425 25 20 0 22 0 420021526 8481841152 32986 33554432000 4194304 4196468 140730533093328 140103816315408 140104601959042 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 [pid=32046/tid=32079] ppid=32023 vsize=8283048 memory=122012 CPUtime=64.5 cores=0-7 /proc/32046/task/32079/stat : 32079 (java) S 32023 32023 31167 0 -1 1077944384 17 124016 0 0 0 0 6425 25 20 0 22 0 420021529 8481841152 32986 33554432000 4194304 4196468 140730533093328 140100960773680 140104601959042 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35590144 140730533094391 140730533094550 140730533094550 140730533097423 0 Current children cumulated CPU time: 71.39 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 133420 KiB Child status: 0 Real time (s): 11.3146 CPU time (s): 71.4445 CPU user time (s): 70.9062 CPU system time (s): 0.538306 CPU usage (%): 631.438 Max. virtual memory (cumulated for all children) (KiB): 27441876 Max. memory (cumulated for all children) (KiB): 319312 getrusage(RUSAGE_CHILDREN,...) data: user time used= 70.9062 system time used= 0.538306 maximum resident set size= 290296 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 173330 page faults= 0 swaps= 0 block input operations= 0 block output operations= 912 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 9010 involuntary context switches= 800 # summary of solver processes directly reported to runsolver: # pid: 32023 # total CPU time (s): 71.4445 # total CPU user time (s): 70.9062 # total CPU system time (s): 0.538306 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.137668 second user time and 0.18249 second system time The end
Begin job on node134 at 2019-09-14 07:07:46 IDJOB=4392631 IDBENCH=134844 IDSOLVER=2839 FILE ID=node134/4392631-1568437707 RUNJOBID= node134-1568437264-31194 PBS_JOBID= 21702320 Free space on /tmp= 59576 MiB SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15) BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-armies/Pb-army11-17ls.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-4392631-1568437707/watcher-4392631-1568437707 -o /tmp/evaluation-result-4392631-1568437707/solver-4392631-1568437707 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1568437264-31194 --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-4392631-1568437707.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 3a369118bc0c88105fbaeba7564c3313 RANDOM SEED=1264036047 node134.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30257584 kB MemAvailable: 31792908 kB Buffers: 199696 kB Cached: 1603128 kB SwapCached: 90600 kB Active: 497480 kB Inactive: 1397328 kB Active(anon): 25608 kB Inactive(anon): 106628 kB Active(file): 471872 kB Inactive(file): 1290700 kB Unevictable: 110900 kB Mlocked: 110900 kB SwapTotal: 67108860 kB SwapFree: 66916668 kB Dirty: 20604 kB Writeback: 0 kB AnonPages: 117620 kB Mapped: 43664 kB Shmem: 31112 kB Slab: 207448 kB SReclaimable: 177176 kB SUnreclaim: 30272 kB KernelStack: 3680 kB PageTables: 5952 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498268 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 71680 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 59556 MiB End job on node134 at 2019-09-14 07:07:57